0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/278101-1169275426/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.40 => wckTime=0.086 cpuTime=0.08 mem=6M887
0.40
0.40 relations being loaded...
0.42
0.42 constraints being loaded...
0.61 nbConstraints=1386 nbRelationTypes=38 nbExtensionStructures=38 nbSharedExtensionStructures=1348
0.61 nbConflictsStructures=38 nbSharedConflictsStructures=1348 nbSharedBinaryRepresentations=0 maxDegree=124
0.61 maxArity=3
0.61 => wckTime=0.289 cpuTime=0.21 mem=10M788
0.65
0.65 solver LocalSearchSolver being built...
0.69 => wckTime=0.373 cpuTime=0.26 mem=6M96
0.69
0.69 s SATISFIABLE
0.69 o 1208
0.69 c 178
0.70 o 1217
0.70 c 169
0.70 o 1218
0.70 c 168
0.70 o 1226
0.70 c 160
0.70 o 1227
0.70 c 159
0.70 o 1229
0.70 c 157
0.71 o 1233
0.71 c 153
0.71 o 1239
0.71 c 147
0.71 o 1243
0.71 c 143
0.71 o 1246
0.71 c 140
0.71 o 1248
0.71 c 138
0.75 o 1253
0.75 c 133
0.76 o 1255
0.76 c 131
0.76 o 1256
0.76 c 130
0.76 o 1259
0.76 c 127
0.78 o 1260
0.78 c 126
0.78 o 1261
0.78 c 125
0.82 o 1265
0.82 c 121
1.00 o 1267
1.00 c 119
1.00 o 1268
1.00 c 118
1.09 o 1269
1.09 c 117
1.29 o 1270
1.29 c 116
1.29 o 1271
1.29 c 115
5.37
5.37 search
5.37 run=0 nbConstraintChecks=29848468 nbAssignments=10000
5.37 => wckTime=4.684 cpuTime=4.65 mem=6M96
9.97
9.97 search
9.97 run=1 nbConstraintChecks=60610882 nbAssignments=20000
9.97 => wckTime=9.281 cpuTime=9.25 mem=6M96
14.45
14.45 search
14.45 run=2 nbConstraintChecks=90520362 nbAssignments=30000
14.45 => wckTime=13.763 cpuTime=13.72 mem=6M96
19.06
19.06 search
19.06 run=3 nbConstraintChecks=121293803 nbAssignments=40000
19.06 => wckTime=18.37 cpuTime=18.33 mem=6M96
23.53
23.53 search
23.53 run=4 nbConstraintChecks=151169566 nbAssignments=50000
23.53 => wckTime=22.839 cpuTime=22.79 mem=6M96
28.09
28.09 search
28.09 run=5 nbConstraintChecks=181891408 nbAssignments=60000
28.09 => wckTime=27.399 cpuTime=27.35 mem=6M96
31.32
31.32 search
31.32 run=6 nbConstraintChecks=203559425 nbAssignments=67305
31.32 => wckTime=30.629 cpuTime=30.59 mem=6M96
31.32
31.32 global
31.32 nbConstraintChecks=203559425 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.32 solvingWckTime=30.627 solvingCpuTime=30.58 expiredTime=no totalExploration=no nbFoundSolutions=0
31.32 globalCpuTime=30.89
31.32 => wckTime=31.002 cpuTime=30.84 mem=6M96
31.32
31.32 solver IterativeSystematicSolver being built...
31.50 => wckTime=31.183 cpuTime=30.98 mem=24M830
31.60
31.60 preprocessing
31.60 nbConstraintChecks=12373 nbValidityChecks=31279 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.60 nbRemovedValues=0 detectedInconsistency=no
31.60 => wckTime=0.103 cpuTime=0.09 mem=24M830
31.69
31.69 search
31.69 run=0 nbConstraintChecks=27142 nbValidityChecks=74905 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.70 nbAssignments=43 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=63 nbRestartNogoods=0
31.70 => wckTime=0.194 cpuTime=0.17 mem=24M830
31.80
31.80 search
31.80 run=1 nbConstraintChecks=66875 nbValidityChecks=182599 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.80 nbAssignments=96 nbFailedAssignments=23 nbBacktracks=26 nbVisitedNodes=145 nbRestartNogoods=3
31.80 => wckTime=0.3 cpuTime=0.26 mem=24M830
31.91
31.91 search
31.91 run=2 nbConstraintChecks=114454 nbValidityChecks=315447 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.91 nbAssignments=155 nbFailedAssignments=38 nbBacktracks=48 nbVisitedNodes=241 nbRestartNogoods=6
31.91 => wckTime=0.408 cpuTime=0.37 mem=24M830
32.07
32.07 search
32.07 run=3 nbConstraintChecks=182223 nbValidityChecks=520686 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.07 nbAssignments=238 nbFailedAssignments=67 nbBacktracks=81 nbVisitedNodes=385 nbRestartNogoods=8
32.07 => wckTime=0.57 cpuTime=0.53 mem=24M830
32.29
32.29 search
32.29 run=4 nbConstraintChecks=279889 nbValidityChecks=805245 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.29 nbAssignments=346 nbFailedAssignments=102 nbBacktracks=131 nbVisitedNodes=577 nbRestartNogoods=12
32.29 => wckTime=0.787 cpuTime=0.74 mem=24M830
32.65
32.65 search
32.65 run=5 nbConstraintChecks=413004 nbValidityChecks=1244309 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.65 nbAssignments=499 nbFailedAssignments=160 nbBacktracks=206 nbVisitedNodes=861 nbRestartNogoods=15
32.65 => wckTime=1.148 cpuTime=1.1 mem=24M830
33.17
33.17 search
33.17 run=6 nbConstraintChecks=615333 nbValidityChecks=1926976 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.17 nbAssignments=725 nbFailedAssignments=251 nbBacktracks=320 nbVisitedNodes=1284 nbRestartNogoods=19
33.17 => wckTime=1.668 cpuTime=1.61 mem=24M830
33.93
33.93 search
33.93 run=7 nbConstraintChecks=920498 nbValidityChecks=2920925 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.93 nbAssignments=1046 nbFailedAssignments=381 nbBacktracks=490 nbVisitedNodes=1899 nbRestartNogoods=23
33.93 => wckTime=2.432 cpuTime=2.37 mem=24M830
35.06
35.06 search
35.06 run=8 nbConstraintChecks=1354128 nbValidityChecks=4410611 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.06 nbAssignments=1509 nbFailedAssignments=567 nbBacktracks=747 nbVisitedNodes=2800 nbRestartNogoods=27
35.06 => wckTime=3.555 cpuTime=3.48 mem=24M830
36.67
36.67 search
36.67 run=9 nbConstraintChecks=2009131 nbValidityChecks=6635734 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.67 nbAssignments=2204 nbFailedAssignments=855 nbBacktracks=1131 nbVisitedNodes=4139 nbRestartNogoods=31
36.67 => wckTime=5.169 cpuTime=5.08 mem=24M830
39.06
39.06 search
39.06 run=10 nbConstraintChecks=2930554 nbValidityChecks=10057999 nbPropagations=0 nbRevisions=0
39.06 nbUselessRevisions=0 nbAssignments=3235 nbFailedAssignments=1289 nbBacktracks=1709 nbVisitedNodes=6158
39.06 nbRestartNogoods=34
39.06 => wckTime=7.561 cpuTime=7.47 mem=24M830
42.59
42.59 search
42.59 run=11 nbConstraintChecks=4383395 nbValidityChecks=15124052 nbPropagations=0 nbRevisions=0
42.59 nbUselessRevisions=0 nbAssignments=4793 nbFailedAssignments=1962 nbBacktracks=2573 nbVisitedNodes=9212
42.59 nbRestartNogoods=40
42.59 => wckTime=11.09 cpuTime=10.99 mem=24M830
48.05
48.05 search
48.05 run=12 nbConstraintChecks=6450521 nbValidityChecks=22755993 nbPropagations=0 nbRevisions=0
48.05 nbUselessRevisions=0 nbAssignments=7134 nbFailedAssignments=2988 nbBacktracks=3870 nbVisitedNodes=13794
48.05 nbRestartNogoods=45
48.05 => wckTime=16.546 cpuTime=16.45 mem=24M830
55.89
55.89 search
55.89 run=13 nbConstraintChecks=9694964 nbValidityChecks=34052179 nbPropagations=0 nbRevisions=0
55.89 nbUselessRevisions=0 nbAssignments=10516 nbFailedAssignments=4406 nbBacktracks=5816 nbVisitedNodes=20475
55.89 nbRestartNogoods=51
55.89 => wckTime=24.391 cpuTime=24.29 mem=24M830
67.76
67.76 search
67.76 run=14 nbConstraintChecks=14302300 nbValidityChecks=51436011 nbPropagations=0 nbRevisions=0
67.76 nbUselessRevisions=0 nbAssignments=15590 nbFailedAssignments=6542 nbBacktracks=8736 nbVisitedNodes=30510
67.76 nbRestartNogoods=57
67.76 => wckTime=36.258 cpuTime=36.15 mem=24M830
85.18
85.18 search
85.18 run=15 nbConstraintChecks=21192275 nbValidityChecks=76928950 nbPropagations=0 nbRevisions=0
85.18 nbUselessRevisions=0 nbAssignments=22944 nbFailedAssignments=9497 nbBacktracks=13115 nbVisitedNodes=45054
85.18 nbRestartNogoods=60
85.18 => wckTime=53.68 cpuTime=53.57 mem=24M830
112.31
112.31 search
112.31 run=16 nbConstraintChecks=31565791 nbValidityChecks=116379906 nbPropagations=0 nbRevisions=0
112.31 nbUselessRevisions=0 nbAssignments=34307 nbFailedAssignments=14269 nbBacktracks=19683 nbVisitedNodes=67516
112.31 nbRestartNogoods=65
112.31 => wckTime=80.808 cpuTime=80.68 mem=24M830
153.03
153.03 search
153.03 run=17 nbConstraintChecks=46466015 nbValidityChecks=174924123 nbPropagations=0 nbRevisions=0
153.03 nbUselessRevisions=0 nbAssignments=51396 nbFailedAssignments=21486 nbBacktracks=29535 nbVisitedNodes=101105
153.03 nbRestartNogoods=67
153.03 => wckTime=121.531 cpuTime=121.39 mem=24M830
216.42
216.42 search
216.42 run=18 nbConstraintChecks=68709837 nbValidityChecks=263434377 nbPropagations=0 nbRevisions=0
216.42 nbUselessRevisions=0 nbAssignments=77128 nbFailedAssignments=32422 nbBacktracks=44313 nbVisitedNodes=151892
216.42 nbRestartNogoods=71
216.42 => wckTime=184.923 cpuTime=184.76 mem=24M830
309.84
309.84 search
309.84 run=19 nbConstraintChecks=102309957 nbValidityChecks=398531360 nbPropagations=0 nbRevisions=0
309.84 nbUselessRevisions=0 nbAssignments=115699 nbFailedAssignments=48808 nbBacktracks=66482 nbVisitedNodes=227907
309.84 nbRestartNogoods=76
309.84 => wckTime=278.343 cpuTime=278.16 mem=24M830
452.70
452.70 search
452.70 run=20 nbConstraintChecks=152553337 nbValidityChecks=597705685 nbPropagations=0 nbRevisions=0
452.70 nbUselessRevisions=0 nbAssignments=174013 nbFailedAssignments=73851 nbBacktracks=99734 nbVisitedNodes=342373
452.70 nbRestartNogoods=86
452.70 => wckTime=421.2 cpuTime=420.96 mem=24M830
658.62
658.62 search
658.62 run=21 nbConstraintChecks=231287129 nbValidityChecks=896537894 nbPropagations=0 nbRevisions=0
658.62 nbUselessRevisions=0 nbAssignments=261317 nbFailedAssignments=111262 nbBacktracks=149612 nbVisitedNodes=513735
658.62 nbRestartNogoods=91
658.62 => wckTime=627.119 cpuTime=626.81 mem=24M830
958.63
958.63 search
958.63 run=22 nbConstraintChecks=346499380 nbValidityChecks=1320672365 nbPropagations=0 nbRevisions=0
958.63 nbUselessRevisions=0 nbAssignments=390226 nbFailedAssignments=165336 nbBacktracks=224430 nbVisitedNodes=765154
958.63 nbRestartNogoods=97
958.63 => wckTime=927.134 cpuTime=926.73 mem=24M830
1376.70
1376.70 search
1376.70 run=23 nbConstraintChecks=517823066 nbValidityChecks=1913720887 nbPropagations=0 nbRevisions=0
1376.70 nbUselessRevisions=0 nbAssignments=579624 nbFailedAssignments=242492 nbBacktracks=336657 nbVisitedNodes=1128788
1376.70 nbRestartNogoods=104
1376.70 => wckTime=1345.199 cpuTime=1344.65 mem=24M830
1935.94
1935.94 search
1935.94 run=24 nbConstraintChecks=762220489 nbValidityChecks=2683055341 nbPropagations=0 nbRevisions=0
1935.94 nbUselessRevisions=0 nbAssignments=852198 nbFailedAssignments=346702 nbBacktracks=504999 nbVisitedNodes=1632812
1935.94 nbRestartNogoods=116
1935.94 => wckTime=1904.443 cpuTime=1903.71 mem=24M830
2400.95 v 0 0 1 0 0 0 0 1 0 0 0 0 1 1 0 1 1 0 1 1 0 0 1 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 1 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-278101-1169275426 -o ROOT/results/node12/solver-278101-1169275426 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278101-1169275426/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: 1.00 1.00 1.06 3/78 2219
/proc/meminfo: memFree=1378224/2055920 swapFree=4160348/4192956
[pid=2218] ppid=2216 vsize=18540 CPUtime=0
/proc/2218/stat : 2218 (runsolver) R 2216 2218 1411 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 275937668 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/2218/statm: 4635 279 244 17 0 2626 0
[startup+0.10315 s]
/proc/loadavg: 1.00 1.00 1.06 3/78 2219
/proc/meminfo: memFree=1378224/2055920 swapFree=4160348/4192956
[pid=2218] ppid=2216 vsize=912908 CPUtime=0.07
/proc/2218/stat : 2218 (java) S 2216 2218 1411 0 -1 0 2820 0 1 0 6 1 0 0 22 0 8 0 275937668 934817792 2566 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 228227 2566 1390 14 0 215128 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912908
[startup+0.51122 s]
/proc/loadavg: 1.00 1.00 1.06 3/78 2219
/proc/meminfo: memFree=1378224/2055920 swapFree=4160348/4192956
[pid=2218] ppid=2216 vsize=915332 CPUtime=0.48
/proc/2218/stat : 2218 (java) R 2216 2218 1411 0 -1 0 6409 0 1 0 44 4 0 0 16 0 8 0 275937668 937299968 6148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073581937 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2218/statm: 228833 6150 2142 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33556 s]
/proc/loadavg: 1.00 1.00 1.06 2/85 2226
/proc/meminfo: memFree=1357496/2055920 swapFree=4160348/4192956
[pid=2218] ppid=2216 vsize=915436 CPUtime=1.31
/proc/2218/stat : 2218 (java) R 2216 2218 1411 0 -1 0 7882 0 1 0 119 12 0 0 17 0 8 0 275937668 937406464 7620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073741571 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 228860 7620 2478 14 0 215330 0
[pid=2218/tid=2220] ppid=2216 vsize=915436 CPUtime=0.03
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1411 0 -1 64 301 0 0 0 3 0 0 0 16 0 8 0 275937672 937406464 7620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915436 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275937672 937406464 7620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915436 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275937672 937406464 7620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915436 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1411 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275937676 937406464 7620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915436 CPUtime=0.14
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1411 0 -1 64 347 0 0 0 13 1 0 0 16 0 8 0 275937676 937406464 7620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915436 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1411 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275937676 937406464 7620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915436 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275937676 937406464 7620 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915436
[startup+2.97285 s]
/proc/loadavg: 1.00 1.00 1.06 2/85 2226
/proc/meminfo: memFree=1357368/2055920 swapFree=4160348/4192956
[pid=2218] ppid=2216 vsize=915436 CPUtime=2.94
/proc/2218/stat : 2218 (java) R 2216 2218 1411 0 -1 0 7886 0 1 0 267 27 0 0 18 0 8 0 275937668 937406464 7623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 228859 7623 2478 14 0 215329 0
[pid=2218/tid=2220] ppid=2216 vsize=915436 CPUtime=0.03
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1411 0 -1 64 301 0 0 0 3 0 0 0 16 0 8 0 275937672 937406464 7623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915436 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275937672 937406464 7623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915436 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275937672 937406464 7623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915436 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1411 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275937676 937406464 7623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915436 CPUtime=0.15
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1411 0 -1 64 350 0 0 0 14 1 0 0 16 0 8 0 275937676 937406464 7623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915440 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1411 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275937676 937410560 7623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915436 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275937676 937406464 7623 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915436
[startup+6.26944 s]
/proc/loadavg: 1.00 1.00 1.06 2/85 2226
/proc/meminfo: memFree=1357304/2055920 swapFree=4160348/4192956
[pid=2218] ppid=2216 vsize=915436 CPUtime=6.23
/proc/2218/stat : 2218 (java) R 2216 2218 1411 0 -1 0 7888 0 1 0 572 51 0 0 18 0 8 0 275937668 937406464 7625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073739297 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 228859 7625 2478 14 0 215329 0
[pid=2218/tid=2220] ppid=2216 vsize=915436 CPUtime=0.03
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1411 0 -1 64 301 0 0 0 3 0 0 0 16 0 8 0 275937672 937406464 7625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915436 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275937672 937406464 7625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915440 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275937672 937410560 7625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915436 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1411 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275937676 937406464 7625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915436 CPUtime=0.15
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1411 0 -1 64 352 0 0 0 14 1 0 0 16 0 8 0 275937676 937406464 7625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915436 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1411 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275937676 937406464 7625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915436 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275937676 937406464 7625 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915436
[startup+12.7396 s]
/proc/loadavg: 1.00 1.00 1.06 2/85 2226
/proc/meminfo: memFree=1357304/2055920 swapFree=4160348/4192956
[pid=2218] ppid=2216 vsize=915436 CPUtime=12.69
/proc/2218/stat : 2218 (java) R 2216 2218 1411 0 -1 0 7889 0 1 0 1166 103 0 0 25 0 8 0 275937668 937406464 7626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 228859 7626 2478 14 0 215329 0
[pid=2218/tid=2220] ppid=2216 vsize=915436 CPUtime=0.03
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1411 0 -1 64 301 0 0 0 3 0 0 0 16 0 8 0 275937672 937406464 7626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2221] ppid=2216 vsize=915436 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275937672 937406464 7626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=915436 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275937672 937406464 7626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=915436 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1411 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275937676 937406464 7626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2224] ppid=2216 vsize=915436 CPUtime=0.15
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1411 0 -1 64 353 0 0 0 14 1 0 0 16 0 8 0 275937676 937406464 7626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=915436 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1411 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275937676 937406464 7626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2226] ppid=2216 vsize=915436 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) R 2216 2218 1411 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275937676 937406464 7626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915436
[startup+25.5909 s]
/proc/loadavg: 1.00 1.00 1.06 2/85 2226
/proc/meminfo: memFree=1357304/2055920 swapFree=4160348/4192956
[pid=2218] ppid=2216 vsize=916460 CPUtime=25.54
/proc/2218/stat : 2218 (java) R 2216 2218 1411 0 -1 0 7890 0 1 0 2344 210 0 0 25 0 8 0 275937668 938455040 7627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073742454 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 229115 7627 2478 14 0 215585 0
[pid=2218/tid=2220] ppid=2216 vsize=916460 CPUtime=0.03
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1411 0 -1 64 301 0 0 0 3 0 0 0 16 0 8 0 275937672 938455040 7627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2221] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275937672 938455040 7627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275937672 938455040 7627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1411 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275937676 938455040 7627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2224] ppid=2216 vsize=916460 CPUtime=0.15
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1411 0 -1 64 353 0 0 0 14 1 0 0 16 0 8 0 275937676 938455040 7627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1411 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275937676 938455040 7627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2226] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) R 2216 2218 1411 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 275937676 938455040 7627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 916460
[startup+51.2906 s]
/proc/loadavg: 1.00 1.00 1.06 3/85 2226
/proc/meminfo: memFree=1344760/2055920 swapFree=4160348/4192956
[pid=2218] ppid=2216 vsize=916460 CPUtime=51.21
/proc/2218/stat : 2218 (java) R 2216 2218 1411 0 -1 0 11135 0 1 0 4861 260 0 0 25 0 8 0 275937668 938455040 10865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073847383 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 229115 10865 2534 14 0 215585 0
[pid=2218/tid=2220] ppid=2216 vsize=916460 CPUtime=0.03
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1411 0 -1 64 302 0 0 0 3 0 0 0 16 0 8 0 275937672 938455040 10865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2221] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275937672 938455040 10865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275937672 938455040 10865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1411 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275937676 938455040 10865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2224] ppid=2216 vsize=916460 CPUtime=0.26
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1411 0 -1 64 422 0 0 0 25 1 0 0 17 0 8 0 275937676 938455040 10865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1411 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275937676 938455040 10865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2226] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1411 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 275937676 938455040 10865 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 916460
[startup+102.572 s]
/proc/loadavg: 1.07 1.02 1.06 2/85 2226
/proc/meminfo: memFree=1344696/2055920 swapFree=4160348/4192956
[pid=2218] ppid=2216 vsize=916460 CPUtime=102.48
/proc/2218/stat : 2218 (java) R 2216 2218 1411 0 -1 0 11145 0 1 0 9988 260 0 0 25 0 8 0 275937668 938455040 10875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073847412 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 229115 10875 2534 14 0 215585 0
[pid=2218/tid=2220] ppid=2216 vsize=916460 CPUtime=0.03
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1411 0 -1 64 302 0 0 0 3 0 0 0 16 0 8 0 275937672 938455040 10875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2221] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275937672 938455040 10875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275937672 938455040 10875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1411 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275937676 938455040 10875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2224] ppid=2216 vsize=916460 CPUtime=0.26
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1411 0 -1 64 424 0 0 0 25 1 0 0 16 0 8 0 275937676 938455040 10875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1411 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275937676 938455040 10875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2226] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1411 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 275937676 938455040 10875 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.48
Current children cumulated vsize (KiB) 916460
[startup+162.59 s]
/proc/loadavg: 1.02 1.01 1.05 2/85 2226
/proc/meminfo: memFree=1344696/2055920 swapFree=4160348/4192956
[pid=2218] ppid=2216 vsize=916460 CPUtime=162.47
/proc/2218/stat : 2218 (java) R 2216 2218 1411 0 -1 0 11150 0 1 0 15987 260 0 0 25 0 8 0 275937668 938455040 10880 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073950551 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2022.52
Current children cumulated vsize (KiB) 916460
[startup+2083.28 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 2424
/proc/meminfo: memFree=1344376/2055920 swapFree=4160348/4192956
[pid=2218] ppid=2216 vsize=916460 CPUtime=2082.52
/proc/2218/stat : 2218 (java) R 2216 2218 1411 0 -1 0 11170 0 1 0 207975 277 0 0 25 0 8 0 275937668 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073759166 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 229115 10899 2534 14 0 215585 0
[pid=2218/tid=2220] ppid=2216 vsize=916460 CPUtime=0.03
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1411 0 -1 64 302 0 0 0 3 0 0 0 16 0 8 0 275937672 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2221] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275937672 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275937672 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1411 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275937676 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2224] ppid=2216 vsize=916460 CPUtime=0.27
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1411 0 -1 64 425 0 0 0 26 1 0 0 16 0 8 0 275937676 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1411 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275937676 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2226] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1411 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 275937676 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2082.52
Current children cumulated vsize (KiB) 916460
[startup+2143.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 2424
/proc/meminfo: memFree=1344312/2055920 swapFree=4160348/4192956
[pid=2218] ppid=2216 vsize=916460 CPUtime=2142.52
/proc/2218/stat : 2218 (java) R 2216 2218 1411 0 -1 0 11170 0 1 0 213975 277 0 0 25 0 8 0 275937668 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073950242 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 229115 10899 2534 14 0 215585 0
[pid=2218/tid=2220] ppid=2216 vsize=916460 CPUtime=0.03
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1411 0 -1 64 302 0 0 0 3 0 0 0 16 0 8 0 275937672 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2221] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275937672 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275937672 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1411 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275937676 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2224] ppid=2216 vsize=916460 CPUtime=0.27
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1411 0 -1 64 425 0 0 0 26 1 0 0 16 0 8 0 275937676 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1411 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275937676 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2226] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1411 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 275937676 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2142.52
Current children cumulated vsize (KiB) 916460
[startup+2203.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 2424
/proc/meminfo: memFree=1344376/2055920 swapFree=4160348/4192956
[pid=2218] ppid=2216 vsize=916460 CPUtime=2202.51
/proc/2218/stat : 2218 (java) R 2216 2218 1411 0 -1 0 11170 0 1 0 219974 277 0 0 25 0 8 0 275937668 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073949917 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 229115 10899 2534 14 0 215585 0
[pid=2218/tid=2220] ppid=2216 vsize=916460 CPUtime=0.03
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1411 0 -1 64 302 0 0 0 3 0 0 0 16 0 8 0 275937672 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2221] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275937672 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275937672 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1411 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275937676 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2224] ppid=2216 vsize=916460 CPUtime=0.27
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1411 0 -1 64 425 0 0 0 26 1 0 0 16 0 8 0 275937676 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1411 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275937676 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2226] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1411 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 275937676 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2202.51
Current children cumulated vsize (KiB) 916460
[startup+2263.33 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 2426
/proc/meminfo: memFree=1344184/2055920 swapFree=4160348/4192956
[pid=2218] ppid=2216 vsize=916460 CPUtime=2262.51
/proc/2218/stat : 2218 (java) R 2216 2218 1411 0 -1 0 11170 0 1 0 225974 277 0 0 25 0 8 0 275937668 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073902232 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 229115 10899 2534 14 0 215585 0
[pid=2218/tid=2220] ppid=2216 vsize=916460 CPUtime=0.03
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1411 0 -1 64 302 0 0 0 3 0 0 0 16 0 8 0 275937672 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2221] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275937672 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275937672 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1411 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275937676 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2224] ppid=2216 vsize=916460 CPUtime=0.27
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1411 0 -1 64 425 0 0 0 26 1 0 0 16 0 8 0 275937676 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1411 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275937676 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2226] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1411 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 275937676 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2262.51
Current children cumulated vsize (KiB) 916460
[startup+2323.35 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 2426
/proc/meminfo: memFree=1344248/2055920 swapFree=4160348/4192956
[pid=2218] ppid=2216 vsize=916460 CPUtime=2322.51
/proc/2218/stat : 2218 (java) R 2216 2218 1411 0 -1 0 11170 0 1 0 231974 277 0 0 25 0 8 0 275937668 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073914562 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 229115 10899 2534 14 0 215585 0
[pid=2218/tid=2220] ppid=2216 vsize=916460 CPUtime=0.03
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1411 0 -1 64 302 0 0 0 3 0 0 0 16 0 8 0 275937672 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2221] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275937672 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275937672 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1411 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275937676 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2224] ppid=2216 vsize=916460 CPUtime=0.27
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1411 0 -1 64 425 0 0 0 26 1 0 0 16 0 8 0 275937676 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1411 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275937676 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2226] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1411 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 275937676 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2322.51
Current children cumulated vsize (KiB) 916460
[startup+2383.38 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 2426
/proc/meminfo: memFree=1344248/2055920 swapFree=4160348/4192956
[pid=2218] ppid=2216 vsize=916460 CPUtime=2382.51
/proc/2218/stat : 2218 (java) R 2216 2218 1411 0 -1 0 11170 0 1 0 237974 277 0 0 25 0 8 0 275937668 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073885142 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 229115 10899 2534 14 0 215585 0
[pid=2218/tid=2220] ppid=2216 vsize=916460 CPUtime=0.03
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1411 0 -1 64 302 0 0 0 3 0 0 0 16 0 8 0 275937672 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2221] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275937672 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275937672 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1411 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275937676 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2224] ppid=2216 vsize=916460 CPUtime=0.27
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1411 0 -1 64 425 0 0 0 26 1 0 0 16 0 8 0 275937676 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1411 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275937676 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2226] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1411 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 275937676 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2382.51
Current children cumulated vsize (KiB) 916460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.94 s]
/proc/loadavg: 1.00 1.00 1.00 2/85 2426
/proc/meminfo: memFree=1344312/2055920 swapFree=4160348/4192956
[pid=2218] ppid=2216 vsize=916460 CPUtime=2400.08
/proc/2218/stat : 2218 (java) R 2216 2218 1411 0 -1 0 11170 0 1 0 239731 277 0 0 25 0 8 0 275937668 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073883309 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2218/statm: 229115 10899 2534 14 0 215585 0
[pid=2218/tid=2220] ppid=2216 vsize=916460 CPUtime=0.03
/proc/2218/task/2220/stat : 2220 (java) S 2216 2218 1411 0 -1 64 302 0 0 0 3 0 0 0 16 0 8 0 275937672 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2218/tid=2221] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2221/stat : 2221 (java) S 2216 2218 1411 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 275937672 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2222] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2222/stat : 2222 (java) S 2216 2218 1411 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 275937672 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2223] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2223/stat : 2223 (java) S 2216 2218 1411 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 275937676 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2224] ppid=2216 vsize=916460 CPUtime=0.27
/proc/2218/task/2224/stat : 2224 (java) S 2216 2218 1411 0 -1 64 425 0 0 0 26 1 0 0 16 0 8 0 275937676 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2225] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2225/stat : 2225 (java) S 2216 2218 1411 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 275937676 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2218/tid=2226] ppid=2216 vsize=916460 CPUtime=0
/proc/2218/task/2226/stat : 2226 (java) S 2216 2218 1411 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 275937676 938455040 10899 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 916460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2400.99
CPU time (s): 2400.13
CPU user time (s): 2397.35
CPU system time (s): 2.78458
CPU usage (%): 99.9643
Max. virtual memory (cumulated for all children) (KiB): 916464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.35
system time used= 2.78458
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11195
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= 49602
involuntary context switches= 5200
runsolver used 2.22566 s user time and 6.35803 s system time
The end
Begin job on node12 on Sat Jan 20 06:43:46 UTC 2007
IDJOB= 278101
IDBENCH= 8033
IDSOLVER= 68
FILE ID= node12/278101-1169275426
PBS_JOBID= 3607450
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-1100-2000/cnf-3-40-1500-890421_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278101-1169275426/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-278101-1169275426 -o ROOT/results/node12/solver-278101-1169275426 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278101-1169275426/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6c49bbdcb41e3b71c770d87bd49ba58f
RANDOM SEED= 234320412
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.265
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.265
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: 1378704 kB
Buffers: 59820 kB
Cached: 514648 kB
SwapCached: 5164 kB
Active: 259600 kB
Inactive: 343932 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1378704 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 1748 kB
Writeback: 0 kB
Mapped: 38316 kB
Slab: 59284 kB
Committed_AS: 7653608 kB
PageTables: 1720 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= 66563 MiB
End job on node12 on Sat Jan 20 07:23:47 UTC 2007