0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=pfc.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/276590-1169241619/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=180 maxDomainSize=180
0.43 => wckTime=0.106 cpuTime=0.09 mem=6M910
0.43
0.43 relations being loaded...
0.79
0.79 constraints being loaded...
0.93 nbConstraints=84 nbRelationTypes=84 nbExtensionStructures=84 nbSharedExtensionStructures=0
0.93 nbConflictsStructures=84 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=8 maxArity=2
0.93 => wckTime=0.603 cpuTime=0.54 mem=36M413
0.98
0.98 solver LocalSearchSolver being built...
1.03 => wckTime=0.702 cpuTime=0.58 mem=7M382
1.04
1.04 s SATISFIABLE
1.04 o 11
1.04 c 73
1.04 o 15
1.04 c 69
1.04 o 18
1.04 c 66
1.05 o 21
1.05 c 63
1.05 o 24
1.05 c 60
1.05 o 27
1.05 c 57
1.05 o 30
1.05 c 54
1.05 o 33
1.05 c 51
1.05 o 35
1.05 c 49
1.06 o 37
1.06 c 47
1.06 o 38
1.06 c 46
1.06 o 40
1.06 c 44
1.06 o 42
1.06 c 42
1.06 o 44
1.06 c 40
1.06 o 46
1.06 c 38
1.07 o 48
1.07 c 36
1.07 o 50
1.07 c 34
1.07 o 51
1.07 c 33
1.07 o 52
1.07 c 32
1.07 o 53
1.07 c 31
1.07 o 54
1.07 c 30
1.07 o 55
1.07 c 29
1.07 o 56
1.07 c 28
1.08 o 58
1.08 c 26
1.08 o 60
1.08 c 24
1.08 o 62
1.08 c 22
1.08 o 63
1.08 c 21
1.09 o 64
1.09 c 20
1.09 o 65
1.09 c 19
1.09 o 66
1.09 c 18
1.10 o 67
1.10 c 17
1.10 o 68
1.10 c 16
1.11 o 69
1.11 c 15
1.13 o 70
1.13 c 14
1.13 o 71
1.13 c 13
1.14 o 72
1.14 c 12
1.20 o 73
1.20 c 11
1.21 o 74
1.21 c 10
1.22 o 75
1.22 c 9
1.28 o 76
1.29 c 8
1.31 o 77
1.31 c 7
1.66 o 78
1.66 c 6
1.67 o 79
1.67 c 5
8.34 o 80
8.34 c 4
9.91
9.91 search
9.91 run=0 nbConstraintChecks=72770121 nbAssignments=10000
9.91 => wckTime=8.884 cpuTime=8.79 mem=7M382
20.84
20.84 search
20.84 run=1 nbConstraintChecks=166088024 nbAssignments=20000
20.84 => wckTime=19.81 cpuTime=19.61 mem=7M382
30.26
30.26 search
30.26 run=2 nbConstraintChecks=245551877 nbAssignments=30000
30.26 => wckTime=29.235 cpuTime=28.95 mem=7M382
38.61
38.61 search
38.61 run=3 nbConstraintChecks=315191385 nbAssignments=39400
38.61 => wckTime=37.583 cpuTime=37.24 mem=7M382
38.61
38.61 global
38.61 nbConstraintChecks=315191385 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.61 solvingWckTime=37.579 solvingCpuTime=37.24 expiredTime=no totalExploration=no nbFoundSolutions=0
38.61 globalCpuTime=37.86
38.61 => wckTime=38.286 cpuTime=37.82 mem=7M382
38.61
38.61 solver IterativeSystematicSolver being built...
38.74 => wckTime=38.411 cpuTime=37.92 mem=18M355
38.74
38.74 preprocessing
38.74 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
38.74 detectedInconsistency=no
38.74 => wckTime=0.0070 cpuTime=0.0 mem=18M355
40.10
40.10 search
40.10 run=0 nbConstraintChecks=12272101 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=390
40.10 nbFailedAssignments=373 nbBacktracks=10 nbVisitedNodes=772 nbRestartNogoods=0
40.10 => wckTime=1.363 cpuTime=1.32 mem=18M355
44.20
44.20 search
44.20 run=1 nbConstraintChecks=38920429 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1368
44.20 nbFailedAssignments=1330 nbBacktracks=25 nbVisitedNodes=2722 nbRestartNogoods=58
44.20 => wckTime=5.461 cpuTime=5.36 mem=18M355
52.55
52.55 search
52.55 run=2 nbConstraintChecks=126062579 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4053
52.55 nbFailedAssignments=3986 nbBacktracks=47 nbVisitedNodes=8085 nbRestartNogoods=257
52.55 => wckTime=13.816 cpuTime=13.62 mem=18M355
70.57
70.57 search
70.57 run=3 nbConstraintChecks=230184175 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7597
70.57 nbFailedAssignments=7487 nbBacktracks=80 nbVisitedNodes=15163 nbRestartNogoods=525
70.57 => wckTime=31.83 cpuTime=31.46 mem=18M355
88.52
88.52 search
88.52 run=4 nbConstraintChecks=415996988 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15167
88.52 nbFailedAssignments=14998 nbBacktracks=130 nbVisitedNodes=30294 nbRestartNogoods=956
88.52 => wckTime=49.788 cpuTime=49.26 mem=18M355
104.91
104.91 search
104.91 run=5 nbConstraintChecks=537480065 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=19650
104.91 nbFailedAssignments=19399 nbBacktracks=205 nbVisitedNodes=39253 nbRestartNogoods=1058
104.91 => wckTime=66.173 cpuTime=65.51 mem=18M355
107.60
107.60 search
107.60 run=6 nbConstraintChecks=555762112 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21157
107.60 nbFailedAssignments=20777 nbBacktracks=318 nbVisitedNodes=42251 nbRestartNogoods=1310
107.60 => wckTime=68.865 cpuTime=68.18 mem=18M355
120.29
120.29 search
120.29 run=7 nbConstraintChecks=640773426 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=26021
120.29 nbFailedAssignments=25456 nbBacktracks=488 nbVisitedNodes=51964 nbRestartNogoods=1447
120.29 => wckTime=81.554 cpuTime=80.76 mem=18M355
153.66
153.66 search
153.66 run=8 nbConstraintChecks=851808712 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=34065
153.66 nbFailedAssignments=33237 nbBacktracks=744 nbVisitedNodes=68045 nbRestartNogoods=1738
153.66 => wckTime=114.92 cpuTime=113.84 mem=18M355
185.01
185.01 search
185.01 run=9 nbConstraintChecks=1065075670 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=42281
185.01 nbFailedAssignments=41062 nbBacktracks=1128 nbVisitedNodes=84469 nbRestartNogoods=1900
185.01 => wckTime=146.269 cpuTime=144.93 mem=18M355
214.71
214.71 search
214.71 run=10 nbConstraintChecks=1294440300 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=51551
214.71 nbFailedAssignments=49750 nbBacktracks=1704 nbVisitedNodes=102999 nbRestartNogoods=1951
214.71 => wckTime=175.97 cpuTime=174.44 mem=18M355
231.09
231.09 search
231.09 run=11 nbConstraintChecks=1382321283 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=58208
231.09 nbFailedAssignments=55534 nbBacktracks=2568 nbVisitedNodes=116302 nbRestartNogoods=2279
231.09 => wckTime=192.358 cpuTime=190.83 mem=18M355
295.77
295.77 search
295.77 run=12 nbConstraintChecks=1784884530 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=73655
295.77 nbFailedAssignments=69680 nbBacktracks=3865 nbVisitedNodes=147178 nbRestartNogoods=2416
295.77 => wckTime=257.029 cpuTime=255.47 mem=18M355
315.98 o 81
315.98 c 3
335.84
335.84 search
335.84 run=13 nbConstraintChecks=1987902527 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=83158
335.84 nbFailedAssignments=77232 nbBacktracks=5811 nbVisitedNodes=166121 nbRestartNogoods=2517
335.84 => wckTime=297.108 cpuTime=295.54 mem=18M355
386.97
386.97 search
386.97 run=14 nbConstraintChecks=2323361606 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=94474
386.97 nbFailedAssignments=85622 nbBacktracks=8730 nbVisitedNodes=188740 nbRestartNogoods=2674
386.97 => wckTime=348.231 cpuTime=346.65 mem=18M355
493.57
493.57 search
493.57 run=15 nbConstraintChecks=2817030234 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=110824
493.57 nbFailedAssignments=97590 nbBacktracks=13108 nbVisitedNodes=221105 nbRestartNogoods=2701
493.57 => wckTime=454.835 cpuTime=453.23 mem=18M355
648.70
648.70 search
648.70 run=16 nbConstraintChecks=3431372177 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=133823
648.70 nbFailedAssignments=114014 nbBacktracks=19676 nbVisitedNodes=266022 nbRestartNogoods=2838
648.70 => wckTime=609.964 cpuTime=608.31 mem=18M355
675.85 o 82
675.85 c 2
752.48 o 83
752.48 c 1
810.16
810.16 search
810.16 run=17 nbConstraintChecks=4056854424 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=158903
810.16 nbFailedAssignments=129238 nbBacktracks=29528 nbVisitedNodes=311381 nbRestartNogoods=2878
810.16 => wckTime=771.426 cpuTime=769.74 mem=18M355
940.13
940.13 search
940.13 run=18 nbConstraintChecks=4561009851 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=177736
940.13 nbFailedAssignments=139746 nbBacktracks=37854 nbVisitedNodes=342479 nbRestartNogoods=2886
940.13 => wckTime=901.392 cpuTime=899.66 mem=18M355
940.13
940.13 global
940.13 nbConstraintChecks=4561009851 nbRestartNogoods=2886 solvingWckTime=901.393 solvingCpuTime=899.66 expiredTime=no
940.13 totalExploration=yes nbFoundSolutions=3 globalCpuTime=937.62
940.13 => wckTime=939.805 cpuTime=937.58 mem=18M355
940.13
940.13 s OPTIMUM FOUND
940.13 v 0 142 79 55 2 22 138 103 116 41 123 157 87 169 5 9 39 149 65 25 122 143 58 139 20 132 124 90 61 124 112 39 93 27 39 162 92 114 172 9
940.13
940.13 totalWckTime=939.883 totalCpuTime=937.62
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node20/watcher-276590-1169241619 -o ROOT/results/node20/solver-276590-1169241619 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276590-1169241619/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.02 2.01 2.00 4/86 18524
/proc/meminfo: memFree=1263960/2055920 swapFree=4170260/4192956
[pid=18523] ppid=18521 vsize=47976 CPUtime=0
/proc/18523/stat : 18523 (java) D 18521 18523 17182 0 -1 0 1223 0 1 0 0 0 0 0 17 0 1 0 272556424 49127424 972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/18523/statm: 11994 972 769 14 0 1707 0
[startup+0.10274 s]
/proc/loadavg: 2.02 2.01 2.00 4/86 18524
/proc/meminfo: memFree=1263960/2055920 swapFree=4170260/4192956
[pid=18523] ppid=18521 vsize=912272 CPUtime=0.06
/proc/18523/stat : 18523 (java) R 18521 18523 17182 0 -1 0 2645 0 1 0 6 0 0 0 20 0 8 0 272556424 934166528 2392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4160643169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18523/statm: 228068 2392 1288 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 912272
[startup+0.510793 s]
/proc/loadavg: 2.02 2.01 2.00 4/86 18524
/proc/meminfo: memFree=1263960/2055920 swapFree=4170260/4192956
[pid=18523] ppid=18521 vsize=915332 CPUtime=0.47
/proc/18523/stat : 18523 (java) R 18521 18523 17182 0 -1 0 7115 0 1 0 43 4 0 0 18 0 8 0 272556424 937299968 6854 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445363 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18523/statm: 228833 6854 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332
[startup+1.33188 s]
/proc/loadavg: 2.02 2.01 2.00 3/93 18531
/proc/meminfo: memFree=1217632/2055920 swapFree=4170260/4192956
[pid=18523] ppid=18521 vsize=915444 CPUtime=1.27
/proc/18523/stat : 18523 (java) R 18521 18523 17182 0 -1 0 14243 0 1 0 119 8 0 0 25 0 8 0 272556424 937414656 13981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073679060 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18523/statm: 228861 13981 2476 14 0 215331 0
[pid=18523/tid=18525] ppid=18521 vsize=915444 CPUtime=0.04
/proc/18523/task/18525/stat : 18525 (java) S 18521 18523 17182 0 -1 64 615 0 0 0 4 0 0 0 17 0 8 0 272556428 937414656 13981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18526] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18526/stat : 18526 (java) S 18521 18523 17182 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272556429 937414656 13981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18527] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18527/stat : 18527 (java) S 18521 18523 17182 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272556429 937414656 13981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18528] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18528/stat : 18528 (java) S 18521 18523 17182 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272556433 937414656 13981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18529] ppid=18521 vsize=915444 CPUtime=0.12
/proc/18523/task/18529/stat : 18529 (java) S 18521 18523 17182 0 -1 64 330 0 0 0 12 0 0 0 16 0 8 0 272556434 937414656 13981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18530] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18530/stat : 18530 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272556434 937414656 13981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18531] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18531/stat : 18531 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272556434 937414656 13981 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915444
[startup+2.98008 s]
/proc/loadavg: 2.02 2.01 2.00 3/93 18531
/proc/meminfo: memFree=1217632/2055920 swapFree=4170260/4192956
[pid=18523] ppid=18521 vsize=915444 CPUtime=2.91
/proc/18523/stat : 18523 (java) R 18521 18523 17182 0 -1 0 14249 0 1 0 277 14 0 0 25 0 8 0 272556424 937414656 13986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073678823 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18523/statm: 228861 13986 2476 14 0 215331 0
[pid=18523/tid=18525] ppid=18521 vsize=915444 CPUtime=0.04
/proc/18523/task/18525/stat : 18525 (java) S 18521 18523 17182 0 -1 64 615 0 0 0 4 0 0 0 17 0 8 0 272556428 937414656 13986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18526] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18526/stat : 18526 (java) S 18521 18523 17182 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272556429 937414656 13986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18527] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18527/stat : 18527 (java) S 18521 18523 17182 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272556429 937414656 13986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18528] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18528/stat : 18528 (java) S 18521 18523 17182 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272556433 937414656 13986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18529] ppid=18521 vsize=915444 CPUtime=0.13
/proc/18523/task/18529/stat : 18529 (java) S 18521 18523 17182 0 -1 64 335 0 0 0 13 0 0 0 15 0 8 0 272556434 937414656 13986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18530] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18530/stat : 18530 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272556434 937414656 13986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18531] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18531/stat : 18531 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272556434 937414656 13986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915444
[startup+6.28048 s]
/proc/loadavg: 2.02 2.01 2.00 3/93 18531
/proc/meminfo: memFree=1217440/2055920 swapFree=4170260/4192956
[pid=18523] ppid=18521 vsize=915444 CPUtime=6.19
/proc/18523/stat : 18523 (java) R 18521 18523 17182 0 -1 0 14249 0 1 0 591 28 0 0 25 0 8 0 272556424 937414656 13986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073678832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18523/statm: 228861 13986 2476 14 0 215331 0
[pid=18523/tid=18525] ppid=18521 vsize=915444 CPUtime=0.04
/proc/18523/task/18525/stat : 18525 (java) S 18521 18523 17182 0 -1 64 615 0 0 0 4 0 0 0 16 0 8 0 272556428 937414656 13986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18526] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18526/stat : 18526 (java) S 18521 18523 17182 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272556429 937414656 13986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18527] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18527/stat : 18527 (java) S 18521 18523 17182 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272556429 937414656 13986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18528] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18528/stat : 18528 (java) S 18521 18523 17182 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272556433 937414656 13986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18529] ppid=18521 vsize=915444 CPUtime=0.13
/proc/18523/task/18529/stat : 18529 (java) S 18521 18523 17182 0 -1 64 335 0 0 0 13 0 0 0 15 0 8 0 272556434 937414656 13986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18530] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18530/stat : 18530 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272556434 937414656 13986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18531] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18531/stat : 18531 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272556434 937414656 13986 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915444
[startup+12.7603 s]
/proc/loadavg: 2.01 2.01 2.00 3/93 18531
/proc/meminfo: memFree=1217440/2055920 swapFree=4170260/4192956
[pid=18523] ppid=18521 vsize=915444 CPUtime=12.61
/proc/18523/stat : 18523 (java) R 18521 18523 17182 0 -1 0 14251 0 1 0 1205 56 0 0 25 0 8 0 272556424 937414656 13988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073682515 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18523/statm: 228861 13988 2476 14 0 215331 0
[pid=18523/tid=18525] ppid=18521 vsize=915444 CPUtime=0.04
/proc/18523/task/18525/stat : 18525 (java) S 18521 18523 17182 0 -1 64 615 0 0 0 4 0 0 0 16 0 8 0 272556428 937414656 13988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18526] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18526/stat : 18526 (java) S 18521 18523 17182 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272556429 937414656 13988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18527] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18527/stat : 18527 (java) S 18521 18523 17182 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272556429 937414656 13988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18528] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18528/stat : 18528 (java) S 18521 18523 17182 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272556433 937414656 13988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18529] ppid=18521 vsize=915444 CPUtime=0.13
/proc/18523/task/18529/stat : 18529 (java) S 18521 18523 17182 0 -1 64 337 0 0 0 13 0 0 0 16 0 8 0 272556434 937414656 13988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18530] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18530/stat : 18530 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272556434 937414656 13988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18531] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18531/stat : 18531 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272556434 937414656 13988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915444
[startup+25.6078 s]
/proc/loadavg: 2.01 2.01 2.00 3/93 18531
/proc/meminfo: memFree=1217632/2055920 swapFree=4170260/4192956
[pid=18523] ppid=18521 vsize=915444 CPUtime=25.34
/proc/18523/stat : 18523 (java) R 18521 18523 17182 0 -1 0 14251 0 1 0 2428 106 0 0 25 0 8 0 272556424 937414656 13988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073682515 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18523/statm: 228861 13988 2476 14 0 215331 0
[pid=18523/tid=18525] ppid=18521 vsize=915444 CPUtime=0.04
/proc/18523/task/18525/stat : 18525 (java) S 18521 18523 17182 0 -1 64 615 0 0 0 4 0 0 0 16 0 8 0 272556428 937414656 13988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18526] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18526/stat : 18526 (java) S 18521 18523 17182 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272556429 937414656 13988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18527] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18527/stat : 18527 (java) S 18521 18523 17182 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272556429 937414656 13988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18528] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18528/stat : 18528 (java) S 18521 18523 17182 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272556433 937414656 13988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18529] ppid=18521 vsize=915444 CPUtime=0.13
/proc/18523/task/18529/stat : 18529 (java) S 18521 18523 17182 0 -1 64 337 0 0 0 13 0 0 0 16 0 8 0 272556434 937414656 13988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18530] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18530/stat : 18530 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272556434 937414656 13988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18531] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18531/stat : 18531 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272556434 937414656 13988 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915444
[startup+51.2179 s]
/proc/loadavg: 2.01 2.00 2.00 3/93 18531
/proc/meminfo: memFree=1217440/2055920 swapFree=4170260/4192956
[pid=18523] ppid=18521 vsize=915444 CPUtime=50.73
/proc/18523/stat : 18523 (java) R 18521 18523 17182 0 -1 0 14408 0 1 0 4909 164 0 0 25 0 8 0 272556424 937414656 14137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786736 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18523/statm: 228861 14137 2527 14 0 215331 0
[pid=18523/tid=18525] ppid=18521 vsize=915444 CPUtime=0.04
/proc/18523/task/18525/stat : 18525 (java) S 18521 18523 17182 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272556428 937414656 14137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18526] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18526/stat : 18526 (java) S 18521 18523 17182 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272556429 937414656 14137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18527] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18527/stat : 18527 (java) S 18521 18523 17182 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272556429 937414656 14137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18528] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18528/stat : 18528 (java) S 18521 18523 17182 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272556433 937414656 14137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18529] ppid=18521 vsize=915444 CPUtime=0.22
/proc/18523/task/18529/stat : 18529 (java) S 18521 18523 17182 0 -1 64 386 0 0 0 21 1 0 0 15 0 8 0 272556434 937414656 14137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18530] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18530/stat : 18530 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272556434 937414656 14137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18531] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18531/stat : 18531 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272556434 937414656 14137 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915444
[startup+102.436 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 18531
/proc/meminfo: memFree=1217440/2055920 swapFree=4170260/4192956
[pid=18523] ppid=18521 vsize=915444 CPUtime=101.5
/proc/18523/stat : 18523 (java) R 18521 18523 17182 0 -1 0 14414 0 1 0 9986 164 0 0 25 0 8 0 272556424 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073675409 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18523/statm: 228861 14142 2527 14 0 215331 0
[pid=18523/tid=18525] ppid=18521 vsize=915444 CPUtime=0.04
/proc/18523/task/18525/stat : 18525 (java) S 18521 18523 17182 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272556428 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18526] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18526/stat : 18526 (java) S 18521 18523 17182 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272556429 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18527] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18527/stat : 18527 (java) S 18521 18523 17182 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272556429 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18528] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18528/stat : 18528 (java) S 18521 18523 17182 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272556433 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18529] ppid=18521 vsize=915444 CPUtime=0.23
/proc/18523/task/18529/stat : 18529 (java) S 18521 18523 17182 0 -1 64 391 0 0 0 22 1 0 0 15 0 8 0 272556434 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18530] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18530/stat : 18530 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272556434 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18531] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18531/stat : 18531 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272556434 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 915444
[startup+162.496 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 18533
/proc/meminfo: memFree=1217248/2055920 swapFree=4170260/4192956
[pid=18523] ppid=18521 vsize=915444 CPUtime=161.06
/proc/18523/stat : 18523 (java) R 18521 18523 17182 0 -1 0 14415 0 1 0 15941 165 0 0 25 0 8 0 272556424 937414656 14142 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793120 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/18523/task/18528/stat : 18528 (java) S 18521 18523 17182 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272556433 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18529] ppid=18521 vsize=915444 CPUtime=0.24
/proc/18523/task/18529/stat : 18529 (java) S 18521 18523 17182 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 272556434 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18523/tid=18530] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18530/stat : 18530 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272556434 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18531] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18531/stat : 18531 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272556434 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 460.76
Current children cumulated vsize (KiB) 915444
[startup+522.664 s]
/proc/loadavg: 1.08 1.35 1.70 2/85 18551
/proc/meminfo: memFree=1266680/2055920 swapFree=4170260/4192956
[pid=18523] ppid=18521 vsize=915444 CPUtime=520.76
/proc/18523/stat : 18523 (java) R 18521 18523 17182 0 -1 0 14421 0 1 0 51910 166 0 0 25 0 8 0 272556424 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793186 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18523/statm: 228861 14145 2527 14 0 215331 0
[pid=18523/tid=18525] ppid=18521 vsize=915444 CPUtime=0.04
/proc/18523/task/18525/stat : 18525 (java) S 18521 18523 17182 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272556428 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18526] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18526/stat : 18526 (java) S 18521 18523 17182 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272556429 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18527] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18527/stat : 18527 (java) S 18521 18523 17182 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272556429 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18528] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18528/stat : 18528 (java) S 18521 18523 17182 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272556433 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18529] ppid=18521 vsize=915444 CPUtime=0.24
/proc/18523/task/18529/stat : 18529 (java) S 18521 18523 17182 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 272556434 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18523/tid=18530] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18530/stat : 18530 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272556434 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18531] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18531/stat : 18531 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272556434 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 520.76
Current children cumulated vsize (KiB) 915444
[startup+582.689 s]
/proc/loadavg: 1.03 1.29 1.66 2/85 18551
/proc/meminfo: memFree=1266616/2055920 swapFree=4170260/4192956
[pid=18523] ppid=18521 vsize=915444 CPUtime=580.77
/proc/18523/stat : 18523 (java) R 18521 18523 17182 0 -1 0 14421 0 1 0 57911 166 0 0 25 0 8 0 272556424 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793120 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18523/statm: 228861 14145 2527 14 0 215331 0
[pid=18523/tid=18525] ppid=18521 vsize=915444 CPUtime=0.04
/proc/18523/task/18525/stat : 18525 (java) S 18521 18523 17182 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272556428 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18526] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18526/stat : 18526 (java) S 18521 18523 17182 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272556429 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18527] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18527/stat : 18527 (java) S 18521 18523 17182 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272556429 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18528] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18528/stat : 18528 (java) S 18521 18523 17182 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272556433 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18529] ppid=18521 vsize=915444 CPUtime=0.24
/proc/18523/task/18529/stat : 18529 (java) S 18521 18523 17182 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 272556434 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18523/tid=18530] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18530/stat : 18530 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272556434 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18531] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18531/stat : 18531 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272556434 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 580.77
Current children cumulated vsize (KiB) 915444
[startup+642.71 s]
/proc/loadavg: 1.01 1.23 1.61 2/85 18551
/proc/meminfo: memFree=1266680/2055920 swapFree=4170260/4192956
[pid=18523] ppid=18521 vsize=915444 CPUtime=640.78
/proc/18523/stat : 18523 (java) R 18521 18523 17182 0 -1 0 14421 0 1 0 63911 167 0 0 25 0 8 0 272556424 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795312 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18523/statm: 228861 14145 2527 14 0 215331 0
[pid=18523/tid=18525] ppid=18521 vsize=915444 CPUtime=0.04
/proc/18523/task/18525/stat : 18525 (java) S 18521 18523 17182 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272556428 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18526] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18526/stat : 18526 (java) S 18521 18523 17182 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272556429 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18527] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18527/stat : 18527 (java) S 18521 18523 17182 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272556429 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18528] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18528/stat : 18528 (java) S 18521 18523 17182 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272556433 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18529] ppid=18521 vsize=915444 CPUtime=0.24
/proc/18523/task/18529/stat : 18529 (java) S 18521 18523 17182 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 272556434 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18523/tid=18530] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18530/stat : 18530 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272556434 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18531] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18531/stat : 18531 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272556434 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 640.78
Current children cumulated vsize (KiB) 915444
[startup+702.732 s]
/proc/loadavg: 1.00 1.19 1.57 2/85 18551
/proc/meminfo: memFree=1266616/2055920 swapFree=4170260/4192956
[pid=18523] ppid=18521 vsize=915444 CPUtime=700.78
/proc/18523/stat : 18523 (java) R 18521 18523 17182 0 -1 0 14421 0 1 0 69911 167 0 0 25 0 8 0 272556424 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786775 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18523/statm: 228861 14145 2527 14 0 215331 0
[pid=18523/tid=18525] ppid=18521 vsize=915444 CPUtime=0.04
/proc/18523/task/18525/stat : 18525 (java) S 18521 18523 17182 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272556428 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18526] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18526/stat : 18526 (java) S 18521 18523 17182 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272556429 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18527] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18527/stat : 18527 (java) S 18521 18523 17182 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272556429 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18528] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18528/stat : 18528 (java) S 18521 18523 17182 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272556433 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18529] ppid=18521 vsize=915444 CPUtime=0.24
/proc/18523/task/18529/stat : 18529 (java) S 18521 18523 17182 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 272556434 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18523/tid=18530] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18530/stat : 18530 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272556434 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18531] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18531/stat : 18531 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272556434 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 700.78
Current children cumulated vsize (KiB) 915444
[startup+762.755 s]
/proc/loadavg: 1.00 1.15 1.53 2/85 18551
/proc/meminfo: memFree=1266616/2055920 swapFree=4170260/4192956
[pid=18523] ppid=18521 vsize=915444 CPUtime=760.79
/proc/18523/stat : 18523 (java) R 18521 18523 17182 0 -1 0 14421 0 1 0 75912 167 0 0 25 0 8 0 272556424 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073799765 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18523/statm: 228861 14145 2527 14 0 215331 0
[pid=18523/tid=18525] ppid=18521 vsize=915444 CPUtime=0.04
/proc/18523/task/18525/stat : 18525 (java) S 18521 18523 17182 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272556428 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18526] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18526/stat : 18526 (java) S 18521 18523 17182 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272556429 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18527] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18527/stat : 18527 (java) S 18521 18523 17182 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272556429 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18528] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18528/stat : 18528 (java) S 18521 18523 17182 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272556433 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18529] ppid=18521 vsize=915444 CPUtime=0.24
/proc/18523/task/18529/stat : 18529 (java) S 18521 18523 17182 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 272556434 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18523/tid=18530] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18530/stat : 18530 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272556434 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18531] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18531/stat : 18531 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272556434 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 760.79
Current children cumulated vsize (KiB) 915444
[startup+822.777 s]
/proc/loadavg: 1.00 1.12 1.50 2/85 18551
/proc/meminfo: memFree=1266616/2055920 swapFree=4170260/4192956
[pid=18523] ppid=18521 vsize=915444 CPUtime=820.79
/proc/18523/stat : 18523 (java) R 18521 18523 17182 0 -1 0 14421 0 1 0 81912 167 0 0 25 0 8 0 272556424 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073675376 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18523/statm: 228861 14145 2527 14 0 215331 0
[pid=18523/tid=18525] ppid=18521 vsize=915444 CPUtime=0.04
/proc/18523/task/18525/stat : 18525 (java) S 18521 18523 17182 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272556428 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18526] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18526/stat : 18526 (java) S 18521 18523 17182 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272556429 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18527] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18527/stat : 18527 (java) S 18521 18523 17182 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272556429 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18528] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18528/stat : 18528 (java) S 18521 18523 17182 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272556433 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18529] ppid=18521 vsize=915444 CPUtime=0.24
/proc/18523/task/18529/stat : 18529 (java) S 18521 18523 17182 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 272556434 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18523/tid=18530] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18530/stat : 18530 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272556434 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18531] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18531/stat : 18531 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272556434 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 820.79
Current children cumulated vsize (KiB) 915444
[startup+882.798 s]
/proc/loadavg: 1.07 1.11 1.47 2/85 18551
/proc/meminfo: memFree=1266616/2055920 swapFree=4170260/4192956
[pid=18523] ppid=18521 vsize=915444 CPUtime=880.8
/proc/18523/stat : 18523 (java) R 18521 18523 17182 0 -1 0 14421 0 1 0 87912 168 0 0 25 0 8 0 272556424 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793108 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18523/statm: 228861 14145 2527 14 0 215331 0
[pid=18523/tid=18525] ppid=18521 vsize=915444 CPUtime=0.04
/proc/18523/task/18525/stat : 18525 (java) S 18521 18523 17182 0 -1 64 616 0 0 0 4 0 0 0 16 0 8 0 272556428 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18526] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18526/stat : 18526 (java) S 18521 18523 17182 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 272556429 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18527] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18527/stat : 18527 (java) S 18521 18523 17182 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 272556429 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18528] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18528/stat : 18528 (java) S 18521 18523 17182 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 272556433 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18529] ppid=18521 vsize=915444 CPUtime=0.24
/proc/18523/task/18529/stat : 18529 (java) S 18521 18523 17182 0 -1 64 395 0 0 0 23 1 0 0 16 0 8 0 272556434 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18523/tid=18530] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18530/stat : 18530 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 272556434 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=18523/tid=18531] ppid=18521 vsize=915444 CPUtime=0
/proc/18523/task/18531/stat : 18531 (java) S 18521 18523 17182 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 272556434 937414656 14145 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 880.8
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 940.195
CPU time (s): 938.143
CPU user time (s): 936.45
CPU system time (s): 1.69374
CPU usage (%): 99.7817
Max. virtual memory (cumulated for all children) (KiB): 915960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 936.45
system time used= 1.69374
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14432
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20174
involuntary context switches= 37910
runsolver used 1.03084 s user time and 2.49762 s system time
The end
Begin job on node20 on Fri Jan 19 21:20:19 UTC 2007
IDJOB= 276590
IDBENCH= 5881
IDSOLVER= 69
FILE ID= node20/276590-1169241619
PBS_JOBID= 3589289
Free space on /tmp= 66555 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.9/rand-2-40-180-84-900-34_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276590-1169241619/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-276590-1169241619 -o ROOT/results/node20/solver-276590-1169241619 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276590-1169241619/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a65f4fc7e0ec1e7e355e8bc7c384be7e
RANDOM SEED= 86880264
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1264440 kB
Buffers: 42820 kB
Cached: 607228 kB
SwapCached: 3160 kB
Active: 183636 kB
Inactive: 534244 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1264440 kB
SwapTotal: 4192956 kB
SwapFree: 4170260 kB
Dirty: 3472 kB
Writeback: 0 kB
Mapped: 84372 kB
Slab: 58340 kB
Committed_AS: 5048580 kB
PageTables: 2412 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node20 on Fri Jan 19 21:35:59 UTC 2007