0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=epfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/278308-1169286286/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=40 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.41 => wckTime=0.091 cpuTime=0.09 mem=6M887
0.41
0.41 relations being loaded...
0.43
0.43 constraints being loaded...
0.69 nbConstraints=2512 nbRelationTypes=55 nbExtensionStructures=55 nbSharedExtensionStructures=2457
0.69 nbConflictsStructures=55 nbSharedConflictsStructures=2457 nbSharedBinaryRepresentations=0 maxDegree=210
0.69 maxArity=3
0.69 => wckTime=0.371 cpuTime=0.25 mem=14M705
0.75
0.75 solver LocalSearchSolver being built...
0.79 => wckTime=0.469 cpuTime=0.29 mem=6M704
0.79
0.79 s SATISFIABLE
0.79 o 2142
0.80 c 370
0.80 o 2152
0.80 c 360
0.80 o 2168
0.80 c 344
0.80 o 2178
0.80 c 334
0.80 o 2182
0.80 c 330
0.80 o 2190
0.80 c 322
0.80 o 2192
0.80 c 320
0.80 o 2207
0.80 c 305
0.80 o 2216
0.80 c 296
0.80 o 2217
0.80 c 295
0.81 o 2229
0.81 c 283
0.81 o 2239
0.81 c 273
0.84 o 2240
0.84 c 272
1.04 o 2241
1.04 c 271
1.20 o 2245
1.20 c 267
1.66 o 2246
1.66 c 266
1.83 o 2247
1.83 c 265
1.90 o 2248
1.90 c 264
1.90 o 2250
1.90 c 262
1.93 o 2255
1.93 c 257
2.63 o 2256
2.63 c 256
10.62
10.62 search
10.62 run=0 nbConstraintChecks=57562582 nbAssignments=10000
10.62 => wckTime=9.83 cpuTime=9.72 mem=6M704
20.37
20.37 search
20.37 run=1 nbConstraintChecks=116825691 nbAssignments=20000
20.37 => wckTime=19.582 cpuTime=19.38 mem=6M704
29.30
29.30 search
29.30 run=2 nbConstraintChecks=174305089 nbAssignments=30000
29.30 => wckTime=28.517 cpuTime=28.29 mem=6M704
32.82
32.82 search
32.82 run=3 nbConstraintChecks=197463833 nbAssignments=33909
32.82 => wckTime=32.034 cpuTime=31.81 mem=6M704
32.82
32.82 global
32.82 nbConstraintChecks=197463833 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
32.82 solvingWckTime=32.033 solvingCpuTime=31.81 expiredTime=no totalExploration=no nbFoundSolutions=0
32.82 globalCpuTime=32.15
32.82 => wckTime=32.504 cpuTime=32.1 mem=6M704
32.82
32.82 solver IterativeSystematicSolver being built...
33.02 => wckTime=32.698 cpuTime=32.26 mem=30M289
33.19
33.19 preprocessing
33.19 nbConstraintChecks=26922 nbValidityChecks=64439 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.19 nbRemovedValues=0 detectedInconsistency=no
33.19 => wckTime=0.173 cpuTime=0.15 mem=31M264
33.34
33.34 search
33.34 run=0 nbConstraintChecks=51390 nbValidityChecks=124871 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.34 nbAssignments=42 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=60 nbRestartNogoods=0
33.34 => wckTime=0.321 cpuTime=0.29 mem=31M264
33.54
33.54 search
33.54 run=1 nbConstraintChecks=118420 nbValidityChecks=300499 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.54 nbAssignments=91 nbFailedAssignments=18 nbBacktracks=25 nbVisitedNodes=135 nbRestartNogoods=2
33.54 => wckTime=0.519 cpuTime=0.48 mem=31M264
33.76
33.76 search
33.76 run=2 nbConstraintChecks=223324 nbValidityChecks=538666 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
33.76 nbAssignments=153 nbFailedAssignments=33 nbBacktracks=47 nbVisitedNodes=234 nbRestartNogoods=4
33.76 => wckTime=0.744 cpuTime=0.7 mem=31M264
34.08
34.08 search
34.08 run=3 nbConstraintChecks=363797 nbValidityChecks=892115 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.08 nbAssignments=234 nbFailedAssignments=57 nbBacktracks=80 nbVisitedNodes=370 nbRestartNogoods=6
34.08 => wckTime=1.062 cpuTime=1.02 mem=31M264
34.53
34.53 search
34.53 run=4 nbConstraintChecks=571061 nbValidityChecks=1404958 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.53 nbAssignments=342 nbFailedAssignments=90 nbBacktracks=130 nbVisitedNodes=561 nbRestartNogoods=9
34.53 => wckTime=1.516 cpuTime=1.47 mem=31M264
35.28
35.28 search
35.28 run=5 nbConstraintChecks=859810 nbValidityChecks=2229651 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.28 nbAssignments=500 nbFailedAssignments=151 nbBacktracks=205 nbVisitedNodes=854 nbRestartNogoods=13
35.28 => wckTime=2.259 cpuTime=2.21 mem=31M264
36.23
36.23 search
36.23 run=6 nbConstraintChecks=1307737 nbValidityChecks=3368902 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.23 nbAssignments=717 nbFailedAssignments=232 nbBacktracks=318 nbVisitedNodes=1262 nbRestartNogoods=18
36.23 => wckTime=3.21 cpuTime=3.16 mem=31M264
37.91
37.91 search
37.91 run=7 nbConstraintChecks=1936508 nbValidityChecks=5275557 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.91 nbAssignments=1056 nbFailedAssignments=379 nbBacktracks=489 nbVisitedNodes=1907 nbRestartNogoods=23
37.91 => wckTime=4.891 cpuTime=4.84 mem=31M264
40.15
40.15 search
40.15 run=8 nbConstraintChecks=2897584 nbValidityChecks=7972517 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.15 nbAssignments=1529 nbFailedAssignments=573 nbBacktracks=745 nbVisitedNodes=2823 nbRestartNogoods=28
40.15 => wckTime=7.131 cpuTime=7.07 mem=31M264
43.53
43.53 search
43.53 run=9 nbConstraintChecks=4269364 nbValidityChecks=12090069 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.53 nbAssignments=2226 nbFailedAssignments=862 nbBacktracks=1129 nbVisitedNodes=4184 nbRestartNogoods=33
43.53 => wckTime=10.514 cpuTime=10.44 mem=31M264
48.97
48.97 search
48.97 run=10 nbConstraintChecks=6240628 nbValidityChecks=18432892 nbPropagations=0 nbRevisions=0
48.97 nbUselessRevisions=0 nbAssignments=3267 nbFailedAssignments=1310 nbBacktracks=1705 nbVisitedNodes=6235
48.97 nbRestartNogoods=36
48.97 => wckTime=15.956 cpuTime=15.85 mem=31M264
56.99
56.99 search
56.99 run=11 nbConstraintChecks=9294292 nbValidityChecks=28026622 nbPropagations=0 nbRevisions=0
56.99 nbUselessRevisions=0 nbAssignments=4845 nbFailedAssignments=2003 nbBacktracks=2570 nbVisitedNodes=9346
56.99 nbRestartNogoods=43
56.99 => wckTime=23.973 cpuTime=23.85 mem=31M264
68.76
68.76 search
68.76 run=12 nbConstraintChecks=13832968 nbValidityChecks=42435477 nbPropagations=0 nbRevisions=0
68.76 nbUselessRevisions=0 nbAssignments=7193 nbFailedAssignments=3035 nbBacktracks=3867 nbVisitedNodes=13974
68.76 nbRestartNogoods=49
68.76 => wckTime=35.74 cpuTime=35.62 mem=31M264
87.09
87.09 search
87.09 run=13 nbConstraintChecks=20467219 nbValidityChecks=64302091 nbPropagations=0 nbRevisions=0
87.09 nbUselessRevisions=0 nbAssignments=10744 nbFailedAssignments=4618 nbBacktracks=5813 nbVisitedNodes=20990
87.09 nbRestartNogoods=57
87.09 => wckTime=54.073 cpuTime=53.95 mem=31M264
114.60
114.60 search
114.60 run=14 nbConstraintChecks=30206569 nbValidityChecks=96283477 nbPropagations=0 nbRevisions=0
114.60 nbUselessRevisions=0 nbAssignments=15934 nbFailedAssignments=6872 nbBacktracks=8732 nbVisitedNodes=31266
114.60 nbRestartNogoods=62
114.60 => wckTime=81.586 cpuTime=81.41 mem=31M264
156.48
156.48 search
156.48 run=15 nbConstraintChecks=44984115 nbValidityChecks=146432628 nbPropagations=0 nbRevisions=0
156.48 nbUselessRevisions=0 nbAssignments=23894 nbFailedAssignments=10434 nbBacktracks=13111 nbVisitedNodes=46999
156.48 nbRestartNogoods=69
156.48 => wckTime=123.461 cpuTime=123.25 mem=31M264
217.24
217.24 search
217.24 run=16 nbConstraintChecks=66294802 nbValidityChecks=220046472 nbPropagations=0 nbRevisions=0
217.24 nbUselessRevisions=0 nbAssignments=35471 nbFailedAssignments=15422 nbBacktracks=19679 nbVisitedNodes=69927
217.24 nbRestartNogoods=76
217.24 => wckTime=184.225 cpuTime=183.98 mem=31M264
308.32
308.32 search
308.32 run=17 nbConstraintChecks=98252057 nbValidityChecks=329120596 nbPropagations=0 nbRevisions=0
308.32 nbUselessRevisions=0 nbAssignments=52572 nbFailedAssignments=22651 nbBacktracks=29532 nbVisitedNodes=103866
308.32 nbRestartNogoods=83
308.32 => wckTime=275.303 cpuTime=274.98 mem=31M264
455.73
455.73 search
455.73 run=18 nbConstraintChecks=145815583 nbValidityChecks=499718937 nbPropagations=0 nbRevisions=0
455.73 nbUselessRevisions=0 nbAssignments=79270 nbFailedAssignments=34554 nbBacktracks=44310 nbVisitedNodes=156709
455.73 nbRestartNogoods=90
455.73 => wckTime=422.717 cpuTime=422.27 mem=31M264
676.67
676.67 search
676.67 run=19 nbConstraintChecks=215297907 nbValidityChecks=759216767 nbPropagations=0 nbRevisions=0
676.67 nbUselessRevisions=0 nbAssignments=119243 nbFailedAssignments=52339 nbBacktracks=66478 nbVisitedNodes=235891
676.67 nbRestartNogoods=98
676.67 => wckTime=643.657 cpuTime=643.05 mem=31M264
1003.53
1003.53 search
1003.53 run=20 nbConstraintChecks=321400060 nbValidityChecks=1138871508 nbPropagations=0 nbRevisions=0
1003.53 nbUselessRevisions=0 nbAssignments=177593 nbFailedAssignments=77421 nbBacktracks=99730 nbVisitedNodes=351619
1003.53 nbRestartNogoods=105
1003.53 => wckTime=970.513 cpuTime=969.62 mem=31M264
1513.08
1513.08 search
1513.08 run=21 nbConstraintChecks=477564516 nbValidityChecks=1723112123 nbPropagations=0 nbRevisions=0
1513.08 nbUselessRevisions=0 nbAssignments=267065 nbFailedAssignments=116998 nbBacktracks=149608 nbVisitedNodes=528700
1513.08 nbRestartNogoods=115
1513.08 => wckTime=1480.066 cpuTime=1477.45 mem=31M264
2264.68
2264.68 search
2264.68 run=22 nbConstraintChecks=713164811 nbValidityChecks=2602570423 nbPropagations=0 nbRevisions=0
2264.68 nbUselessRevisions=0 nbAssignments=400093 nbFailedAssignments=175189 nbBacktracks=224426 nbVisitedNodes=792365
2264.68 nbRestartNogoods=120
2264.68 => wckTime=2231.66 cpuTime=2227.7 mem=31M264
2404.15 v 1 1 1 1 1 1 1 1 0 1 0 0 1 0 1 0 0 0 1 1 0 0 1 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 0 1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node16/watcher-278308-1169286286 -o ROOT/results/node16/solver-278308-1169286286 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278308-1169286286/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.05 2.01 1.92 4/87 27525
/proc/meminfo: memFree=1144224/2055920 swapFree=4191880/4192956
[pid=27524] ppid=27522 vsize=11868 CPUtime=0
/proc/27524/stat : 27524 (java) D 27522 27524 26948 0 -1 0 765 0 1 0 0 0 0 0 17 0 1 0 277023430 12152832 515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 7205668 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/27524/statm: 2967 515 425 14 0 1602 0
[startup+0.103121 s]
/proc/loadavg: 2.05 2.01 1.92 4/87 27525
/proc/meminfo: memFree=1144224/2055920 swapFree=4191880/4192956
[pid=27524] ppid=27522 vsize=916012 CPUtime=0.08
/proc/27524/stat : 27524 (java) R 27522 27524 26948 0 -1 0 2995 0 1 0 7 1 0 0 17 0 8 0 277023430 937996288 2741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926600 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27524/statm: 229003 2741 1427 14 0 215498 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 916012
[startup+0.511044 s]
/proc/loadavg: 2.05 2.01 1.92 4/87 27525
/proc/meminfo: memFree=1144224/2055920 swapFree=4191880/4192956
[pid=27524] ppid=27522 vsize=916356 CPUtime=0.48
/proc/27524/stat : 27524 (java) R 27522 27524 26948 0 -1 0 6285 0 1 0 45 3 0 0 18 0 8 0 277023430 938348544 6024 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154015731 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27524/statm: 229089 6024 2142 14 0 215559 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 916356
[startup+1.33489 s]
/proc/loadavg: 2.05 2.01 1.92 3/94 27532
/proc/meminfo: memFree=1119720/2055920 swapFree=4191880/4192956
[pid=27524] ppid=27522 vsize=916468 CPUtime=1.3
/proc/27524/stat : 27524 (java) R 27522 27524 26948 0 -1 0 8792 0 1 0 121 9 0 0 24 0 8 0 277023430 938463232 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27524/statm: 229117 8530 2477 14 0 215587 0
[pid=27524/tid=27526] ppid=27522 vsize=916468 CPUtime=0.04
/proc/27524/task/27526/stat : 27526 (java) S 27522 27524 26948 0 -1 64 448 0 0 0 4 0 0 0 16 0 8 0 277023434 938463232 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27527] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27527/stat : 27527 (java) S 27522 27524 26948 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277023435 938463232 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27528] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27528/stat : 27528 (java) S 27522 27524 26948 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277023435 938463232 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27529] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27529/stat : 27529 (java) S 27522 27524 26948 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277023438 938463232 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27530] ppid=27522 vsize=916468 CPUtime=0.17
/proc/27524/task/27530/stat : 27530 (java) S 27522 27524 26948 0 -1 64 367 0 0 0 17 0 0 0 16 0 8 0 277023438 938463232 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27531] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27531/stat : 27531 (java) S 27522 27524 26948 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277023438 938463232 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27532] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27532/stat : 27532 (java) S 27522 27524 26948 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277023438 938463232 8530 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 916468
[startup+2.98258 s]
/proc/loadavg: 2.04 2.01 1.92 3/94 27532
/proc/meminfo: memFree=1119656/2055920 swapFree=4191880/4192956
[pid=27524] ppid=27522 vsize=916468 CPUtime=2.93
/proc/27524/stat : 27524 (java) R 27522 27524 26948 0 -1 0 8799 0 1 0 277 16 0 0 25 0 8 0 277023430 938463232 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819901 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27524/statm: 229117 8536 2479 14 0 215587 0
[pid=27524/tid=27526] ppid=27522 vsize=916468 CPUtime=0.04
/proc/27524/task/27526/stat : 27526 (java) S 27522 27524 26948 0 -1 64 448 0 0 0 4 0 0 0 16 0 8 0 277023434 938463232 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27527] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27527/stat : 27527 (java) S 27522 27524 26948 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277023435 938463232 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27528] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27528/stat : 27528 (java) S 27522 27524 26948 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277023435 938463232 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27529] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27529/stat : 27529 (java) S 27522 27524 26948 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277023438 938463232 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27530] ppid=27522 vsize=916468 CPUtime=0.19
/proc/27524/task/27530/stat : 27530 (java) S 27522 27524 26948 0 -1 64 373 0 0 0 18 1 0 0 16 0 8 0 277023438 938463232 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27531] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27531/stat : 27531 (java) S 27522 27524 26948 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277023438 938463232 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27532] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27532/stat : 27532 (java) S 27522 27524 26948 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277023438 938463232 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 916468
[startup+6.26096 s]
/proc/loadavg: 2.04 2.01 1.92 3/94 27532
/proc/meminfo: memFree=1119592/2055920 swapFree=4191880/4192956
[pid=27524] ppid=27522 vsize=916468 CPUtime=6.18
/proc/27524/stat : 27524 (java) R 27522 27524 26948 0 -1 0 8799 0 1 0 587 31 0 0 25 0 8 0 277023430 938463232 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817609 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27524/statm: 229117 8536 2479 14 0 215587 0
[pid=27524/tid=27526] ppid=27522 vsize=916468 CPUtime=0.04
/proc/27524/task/27526/stat : 27526 (java) S 27522 27524 26948 0 -1 64 448 0 0 0 4 0 0 0 16 0 8 0 277023434 938463232 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27527] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27527/stat : 27527 (java) S 27522 27524 26948 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277023435 938463232 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27528] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27528/stat : 27528 (java) S 27522 27524 26948 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277023435 938463232 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27529] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27529/stat : 27529 (java) S 27522 27524 26948 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277023438 938463232 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27530] ppid=27522 vsize=916468 CPUtime=0.19
/proc/27524/task/27530/stat : 27530 (java) S 27522 27524 26948 0 -1 64 373 0 0 0 18 1 0 0 16 0 8 0 277023438 938463232 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27531] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27531/stat : 27531 (java) S 27522 27524 26948 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277023438 938463232 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27532] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27532/stat : 27532 (java) S 27522 27524 26948 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277023438 938463232 8536 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 916468
[startup+12.7498 s]
/proc/loadavg: 2.04 2.01 1.92 3/94 27532
/proc/meminfo: memFree=1119536/2055920 swapFree=4191880/4192956
[pid=27524] ppid=27522 vsize=916468 CPUtime=12.61
/proc/27524/stat : 27524 (java) R 27522 27524 26948 0 -1 0 8802 0 1 0 1197 64 0 0 25 0 8 0 277023430 938463232 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073833465 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27524/statm: 229117 8539 2479 14 0 215587 0
[pid=27524/tid=27526] ppid=27522 vsize=916468 CPUtime=0.04
/proc/27524/task/27526/stat : 27526 (java) S 27522 27524 26948 0 -1 64 448 0 0 0 4 0 0 0 16 0 8 0 277023434 938463232 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27527] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27527/stat : 27527 (java) S 27522 27524 26948 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277023435 938463232 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27528] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27528/stat : 27528 (java) S 27522 27524 26948 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277023435 938463232 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27529] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27529/stat : 27529 (java) S 27522 27524 26948 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277023438 938463232 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27530] ppid=27522 vsize=916468 CPUtime=0.19
/proc/27524/task/27530/stat : 27530 (java) S 27522 27524 26948 0 -1 64 376 0 0 0 18 1 0 0 17 0 8 0 277023438 938463232 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27531] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27531/stat : 27531 (java) S 27522 27524 26948 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277023438 938463232 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27532] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27532/stat : 27532 (java) S 27522 27524 26948 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277023438 938463232 8539 18446744073709551615 134512640 134570532 4294956464 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) 916468
[startup+25.5933 s]
/proc/loadavg: 2.03 2.01 1.92 2/88 27559
/proc/meminfo: memFree=1173984/2055920 swapFree=4191880/4192956
[pid=27524] ppid=27522 vsize=916468 CPUtime=25.37
/proc/27524/stat : 27524 (java) R 27522 27524 26948 0 -1 0 8802 0 1 0 2405 132 0 0 25 0 8 0 277023430 938463232 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817621 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27524/statm: 229117 8539 2479 14 0 215587 0
[pid=27524/tid=27526] ppid=27522 vsize=916472 CPUtime=0.04
/proc/27524/task/27526/stat : 27526 (java) S 27522 27524 26948 0 -1 64 448 0 0 0 4 0 0 0 16 0 8 0 277023434 938467328 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27527] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27527/stat : 27527 (java) S 27522 27524 26948 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277023435 938463232 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27528] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27528/stat : 27528 (java) S 27522 27524 26948 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277023435 938463232 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27529] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27529/stat : 27529 (java) S 27522 27524 26948 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277023438 938463232 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27530] ppid=27522 vsize=916468 CPUtime=0.19
/proc/27524/task/27530/stat : 27530 (java) S 27522 27524 26948 0 -1 64 376 0 0 0 18 1 0 0 17 0 8 0 277023438 938463232 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27531] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27531/stat : 27531 (java) S 27522 27524 26948 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277023438 938463232 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27532] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27532/stat : 27532 (java) S 27522 27524 26948 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277023438 938463232 8539 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 916468
[startup+51.1956 s]
/proc/loadavg: 2.02 2.01 1.92 3/95 27624
/proc/meminfo: memFree=1154136/2055920 swapFree=4191880/4192956
[pid=27524] ppid=27522 vsize=916468 CPUtime=50.94
/proc/27524/stat : 27524 (java) R 27522 27524 26948 0 -1 0 12729 0 1 0 4924 170 0 0 25 0 8 0 277023430 938463232 12459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073956514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27524/statm: 229117 12459 2535 14 0 215587 0
[pid=27524/tid=27526] ppid=27522 vsize=916468 CPUtime=0.04
/proc/27524/task/27526/stat : 27526 (java) S 27522 27524 26948 0 -1 64 449 0 0 0 4 0 0 0 16 0 8 0 277023434 938463232 12459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27524/tid=27527] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27527/stat : 27527 (java) S 27522 27524 26948 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277023435 938463232 12459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27528] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27528/stat : 27528 (java) S 27522 27524 26948 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277023435 938463232 12459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27529] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27529/stat : 27529 (java) S 27522 27524 26948 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277023438 938463232 12459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27530] ppid=27522 vsize=916468 CPUtime=0.3
/proc/27524/task/27530/stat : 27530 (java) S 27522 27524 26948 0 -1 64 444 0 0 0 29 1 0 0 17 0 8 0 277023438 938463232 12459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27524/tid=27531] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27531/stat : 27531 (java) S 27522 27524 26948 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277023438 938463232 12459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27532] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27532/stat : 27532 (java) S 27522 27524 26948 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277023438 938463232 12459 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 916468
[startup+102.429 s]
/proc/loadavg: 2.01 2.00 1.92 3/94 27625
/proc/meminfo: memFree=1152688/2055920 swapFree=4191880/4192956
[pid=27524] ppid=27522 vsize=916468 CPUtime=102.11
/proc/27524/stat : 27524 (java) R 27522 27524 26948 0 -1 0 12739 0 1 0 10041 170 0 0 25 0 8 0 277023430 938463232 12469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073973335 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27524/statm: 229117 12469 2535 14 0 215587 0
[pid=27524/tid=27526] ppid=27522 vsize=916468 CPUtime=0.04
/proc/27524/task/27526/stat : 27526 (java) S 27522 27524 26948 0 -1 64 449 0 0 0 4 0 0 0 16 0 8 0 277023434 938463232 12469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27524/tid=27527] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27527/stat : 27527 (java) S 27522 27524 26948 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277023435 938463232 12469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27528] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27528/stat : 27528 (java) S 27522 27524 26948 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277023435 938463232 12469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27529] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27529/stat : 27529 (java) S 27522 27524 26948 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277023438 938463232 12469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27530] ppid=27522 vsize=916468 CPUtime=0.3
/proc/27524/task/27530/stat : 27530 (java) S 27522 27524 26948 0 -1 64 446 0 0 0 29 1 0 0 16 0 8 0 277023438 938463232 12469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27524/tid=27531] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27531/stat : 27531 (java) S 27522 27524 26948 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277023438 938463232 12469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27532] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27532/stat : 27532 (java) S 27522 27524 26948 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277023438 938463232 12469 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.11
Current children cumulated vsize (KiB) 916468
[startup+162.525 s]
/proc/loadavg: 2.00 2.00 1.92 3/94 27625
/proc/meminfo: memFree=1152752/2055920 swapFree=4191880/4192956
[pid=27524] ppid=27522 vsize=916468 CPUtime=162.17
/proc/27524/stat : 27524 (java) R 27522 27524 26948 0 -1 0 12744 0 1 0 16047 170 0 0 25 0 8 0 277023430 938463232 12474 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073956502 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2020.75
Current children cumulated vsize (KiB) 916468
[startup+2084.87 s]
/proc/loadavg: 1.01 1.43 1.70 2/85 28050
/proc/meminfo: memFree=1163856/2055920 swapFree=4191880/4192956
[pid=27524] ppid=27522 vsize=916468 CPUtime=2080.77
/proc/27524/stat : 27524 (java) R 27522 27524 26948 0 -1 0 12759 0 1 0 207885 192 0 0 25 0 8 0 277023430 938463232 12489 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073912961 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27524/statm: 229117 12489 2535 14 0 215587 0
[pid=27524/tid=27526] ppid=27522 vsize=916468 CPUtime=0.04
/proc/27524/task/27526/stat : 27526 (java) S 27522 27524 26948 0 -1 64 449 0 0 0 4 0 0 0 16 0 8 0 277023434 938463232 12489 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27527] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27527/stat : 27527 (java) S 27522 27524 26948 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277023435 938463232 12489 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27528] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27528/stat : 27528 (java) S 27522 27524 26948 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277023435 938463232 12489 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27529] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27529/stat : 27529 (java) S 27522 27524 26948 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277023438 938463232 12489 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27530] ppid=27522 vsize=916468 CPUtime=0.3
/proc/27524/task/27530/stat : 27530 (java) S 27522 27524 26948 0 -1 64 446 0 0 0 29 1 0 0 16 0 8 0 277023438 938463232 12489 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27524/tid=27531] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27531/stat : 27531 (java) S 27522 27524 26948 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277023438 938463232 12489 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27532] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27532/stat : 27532 (java) S 27522 27524 26948 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277023438 938463232 12489 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2080.77
Current children cumulated vsize (KiB) 916468
[startup+2144.88 s]
/proc/loadavg: 1.00 1.35 1.66 2/85 28050
/proc/meminfo: memFree=1163856/2055920 swapFree=4191880/4192956
[pid=27524] ppid=27522 vsize=916468 CPUtime=2140.78
/proc/27524/stat : 27524 (java) R 27522 27524 26948 0 -1 0 12759 0 1 0 213886 192 0 0 25 0 8 0 277023430 938463232 12489 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074025649 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27524/statm: 229117 12489 2535 14 0 215587 0
[pid=27524/tid=27526] ppid=27522 vsize=916468 CPUtime=0.04
/proc/27524/task/27526/stat : 27526 (java) S 27522 27524 26948 0 -1 64 449 0 0 0 4 0 0 0 16 0 8 0 277023434 938463232 12489 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27527] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27527/stat : 27527 (java) S 27522 27524 26948 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277023435 938463232 12489 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27528] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27528/stat : 27528 (java) S 27522 27524 26948 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277023435 938463232 12489 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27529] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27529/stat : 27529 (java) S 27522 27524 26948 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277023438 938463232 12489 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27530] ppid=27522 vsize=916468 CPUtime=0.3
/proc/27524/task/27530/stat : 27530 (java) S 27522 27524 26948 0 -1 64 446 0 0 0 29 1 0 0 16 0 8 0 277023438 938463232 12489 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27524/tid=27531] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27531/stat : 27531 (java) S 27522 27524 26948 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277023438 938463232 12489 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27532] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27532/stat : 27532 (java) S 27522 27524 26948 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277023438 938463232 12489 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2140.78
Current children cumulated vsize (KiB) 916468
[startup+2204.89 s]
/proc/loadavg: 1.00 1.28 1.61 2/85 28050
/proc/meminfo: memFree=1163856/2055920 swapFree=4191880/4192956
[pid=27524] ppid=27522 vsize=916468 CPUtime=2200.79
/proc/27524/stat : 27524 (java) R 27522 27524 26948 0 -1 0 12759 0 1 0 219887 192 0 0 25 0 8 0 277023430 938463232 12489 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073912970 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27524/statm: 229117 12489 2535 14 0 215587 0
[pid=27524/tid=27526] ppid=27522 vsize=916468 CPUtime=0.04
/proc/27524/task/27526/stat : 27526 (java) S 27522 27524 26948 0 -1 64 449 0 0 0 4 0 0 0 16 0 8 0 277023434 938463232 12489 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27527] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27527/stat : 27527 (java) S 27522 27524 26948 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277023435 938463232 12489 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27528] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27528/stat : 27528 (java) S 27522 27524 26948 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277023435 938463232 12489 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27529] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27529/stat : 27529 (java) S 27522 27524 26948 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277023438 938463232 12489 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27530] ppid=27522 vsize=916468 CPUtime=0.3
/proc/27524/task/27530/stat : 27530 (java) S 27522 27524 26948 0 -1 64 446 0 0 0 29 1 0 0 16 0 8 0 277023438 938463232 12489 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27524/tid=27531] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27531/stat : 27531 (java) S 27522 27524 26948 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277023438 938463232 12489 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27532] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27532/stat : 27532 (java) S 27522 27524 26948 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277023438 938463232 12489 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2200.79
Current children cumulated vsize (KiB) 916468
[startup+2264.9 s]
/proc/loadavg: 1.04 1.24 1.58 2/85 28050
/proc/meminfo: memFree=1163856/2055920 swapFree=4191880/4192956
[pid=27524] ppid=27522 vsize=916468 CPUtime=2260.8
/proc/27524/stat : 27524 (java) R 27522 27524 26948 0 -1 0 12762 0 1 0 225888 192 0 0 25 0 8 0 277023430 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073951945 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27524/statm: 229117 12492 2535 14 0 215587 0
[pid=27524/tid=27526] ppid=27522 vsize=916468 CPUtime=0.04
/proc/27524/task/27526/stat : 27526 (java) S 27522 27524 26948 0 -1 64 449 0 0 0 4 0 0 0 16 0 8 0 277023434 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27527] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27527/stat : 27527 (java) S 27522 27524 26948 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277023435 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27528] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27528/stat : 27528 (java) S 27522 27524 26948 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277023435 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27529] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27529/stat : 27529 (java) S 27522 27524 26948 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277023438 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27530] ppid=27522 vsize=916468 CPUtime=0.3
/proc/27524/task/27530/stat : 27530 (java) S 27522 27524 26948 0 -1 64 446 0 0 0 29 1 0 0 16 0 8 0 277023438 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27524/tid=27531] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27531/stat : 27531 (java) S 27522 27524 26948 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277023438 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27532] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27532/stat : 27532 (java) S 27522 27524 26948 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277023438 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2260.8
Current children cumulated vsize (KiB) 916468
[startup+2324.91 s]
/proc/loadavg: 1.01 1.19 1.54 2/85 28050
/proc/meminfo: memFree=1163920/2055920 swapFree=4191880/4192956
[pid=27524] ppid=27522 vsize=916468 CPUtime=2320.81
/proc/27524/stat : 27524 (java) R 27522 27524 26948 0 -1 0 12762 0 1 0 231889 192 0 0 25 0 8 0 277023430 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073912970 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27524/statm: 229117 12492 2535 14 0 215587 0
[pid=27524/tid=27526] ppid=27522 vsize=916468 CPUtime=0.04
/proc/27524/task/27526/stat : 27526 (java) S 27522 27524 26948 0 -1 64 449 0 0 0 4 0 0 0 16 0 8 0 277023434 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27527] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27527/stat : 27527 (java) S 27522 27524 26948 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277023435 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27528] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27528/stat : 27528 (java) S 27522 27524 26948 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277023435 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27529] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27529/stat : 27529 (java) S 27522 27524 26948 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277023438 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27530] ppid=27522 vsize=916468 CPUtime=0.3
/proc/27524/task/27530/stat : 27530 (java) S 27522 27524 26948 0 -1 64 446 0 0 0 29 1 0 0 16 0 8 0 277023438 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27524/tid=27531] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27531/stat : 27531 (java) S 27522 27524 26948 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277023438 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27532] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27532/stat : 27532 (java) S 27522 27524 26948 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277023438 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2320.81
Current children cumulated vsize (KiB) 916468
[startup+2384.92 s]
/proc/loadavg: 1.00 1.16 1.50 2/85 28050
/proc/meminfo: memFree=1163920/2055920 swapFree=4191880/4192956
[pid=27524] ppid=27522 vsize=916468 CPUtime=2380.82
/proc/27524/stat : 27524 (java) R 27522 27524 26948 0 -1 0 12762 0 1 0 237889 193 0 0 25 0 8 0 277023430 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074026644 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27524/statm: 229117 12492 2535 14 0 215587 0
[pid=27524/tid=27526] ppid=27522 vsize=916468 CPUtime=0.04
/proc/27524/task/27526/stat : 27526 (java) S 27522 27524 26948 0 -1 64 449 0 0 0 4 0 0 0 16 0 8 0 277023434 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27527] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27527/stat : 27527 (java) S 27522 27524 26948 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277023435 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27528] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27528/stat : 27528 (java) S 27522 27524 26948 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277023435 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27529] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27529/stat : 27529 (java) S 27522 27524 26948 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277023438 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27530] ppid=27522 vsize=916468 CPUtime=0.3
/proc/27524/task/27530/stat : 27530 (java) S 27522 27524 26948 0 -1 64 446 0 0 0 29 1 0 0 16 0 8 0 277023438 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27524/tid=27531] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27531/stat : 27531 (java) S 27522 27524 26948 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277023438 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27532] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27532/stat : 27532 (java) S 27522 27524 26948 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277023438 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2380.82
Current children cumulated vsize (KiB) 916468
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2404.14 s]
/proc/loadavg: 1.00 1.14 1.49 2/85 28050
/proc/meminfo: memFree=1163920/2055920 swapFree=4191880/4192956
[pid=27524] ppid=27522 vsize=916468 CPUtime=2400.05
/proc/27524/stat : 27524 (java) R 27522 27524 26948 0 -1 0 12762 0 1 0 239812 193 0 0 25 0 8 0 277023430 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073913043 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27524/statm: 229117 12492 2535 14 0 215587 0
[pid=27524/tid=27526] ppid=27522 vsize=916468 CPUtime=0.04
/proc/27524/task/27526/stat : 27526 (java) S 27522 27524 26948 0 -1 64 449 0 0 0 4 0 0 0 16 0 8 0 277023434 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27527] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27527/stat : 27527 (java) S 27522 27524 26948 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277023435 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27528] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27528/stat : 27528 (java) S 27522 27524 26948 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277023435 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27529] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27529/stat : 27529 (java) S 27522 27524 26948 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 277023438 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27530] ppid=27522 vsize=916468 CPUtime=0.3
/proc/27524/task/27530/stat : 27530 (java) S 27522 27524 26948 0 -1 64 446 0 0 0 29 1 0 0 16 0 8 0 277023438 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27524/tid=27531] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27531/stat : 27531 (java) S 27522 27524 26948 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 277023438 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27524/tid=27532] ppid=27522 vsize=916468 CPUtime=0
/proc/27524/task/27532/stat : 27532 (java) S 27522 27524 26948 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 277023438 938463232 12492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 916468
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2404.18
CPU time (s): 2400.09
CPU user time (s): 2398.15
CPU system time (s): 1.9387
CPU usage (%): 99.8299
Max. virtual memory (cumulated for all children) (KiB): 916472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.15
system time used= 1.93871
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12783
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= 50006
involuntary context switches= 72582
runsolver used 2.35464 s user time and 7.83881 s system time
The end
Begin job on node16 on Sat Jan 20 09:44:46 UTC 2007
IDJOB= 278308
IDBENCH= 8258
IDSOLVER= 68
FILE ID= node16/278308-1169286286
PBS_JOBID= 3609497
Free space on /tmp= 66560 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/cnf/3-40-2100-3000/cnf-3-40-2900-050221_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278308-1169286286/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-278308-1169286286 -o ROOT/results/node16/solver-278308-1169286286 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278308-1169286286/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 05bc73a7d963a6889edc1062360eac85
RANDOM SEED= 403724589
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.220
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.220
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: 1144704 kB
Buffers: 54544 kB
Cached: 680472 kB
SwapCached: 268 kB
Active: 350612 kB
Inactive: 484308 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1144704 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1964 kB
Writeback: 0 kB
Mapped: 119424 kB
Slab: 61008 kB
Committed_AS: 7835804 kB
PageTables: 2468 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 node16 on Sat Jan 20 10:24:50 UTC 2007