0.01/0.08
0.01/0.08 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mac.xml
0.18/0.27
0.18/0.27 instance
0.18/0.27 name=HOME/instance-1080946-1215214148.xml
0.28/0.31
0.28/0.31 domains being loaded...
0.28/0.37
0.28/0.37 variables being loaded...
0.39/0.45 nbVariables=300 nbDomainTypes=300 minDomainSize=1354 maxDomainSize=1452 nbTotalValues=420767
0.39/0.45 => wckTime=0.209 cpuTime=0.15 mem=17M662
0.39/0.45
0.39/0.45 predicates being loaded...
0.48/0.51
0.48/0.51 constraints being loaded...
2.56/2.62 nbConstraints=3145 nbGlobalConstraints=3143 nbConvertedConstraints=2 nbConvertConstraintsChecks=3860204
2.56/2.62 nbExtensionStructures=2 nbSharedExtensionStructures=0 nbConflictsStructures=2 nbSharedConflictsStructures=0
2.56/2.62 nbSharedBinaryRepresentations=252 minDegree=21 maxDegree=22 minArity=2 avgArity=2.09 maxArity=20
2.56/2.62 nbGenerators=0 nbFusions=0 symmetryWckTime=0.772 symmetryCpuTime=0.56 nbCliques=15
2.56/2.62 => wckTime=2.379 cpuTime=1.97 mem=21M458
2.66/2.71
2.66/2.71 solver IterativeSystematicSolver being built...
2.66/2.78
2.66/2.78 INFO : Forward propagation technique limited
2.76/2.88 => wckTime=2.634 cpuTime=2.11 mem=46M641
3.06/3.16
3.06/3.16 preprocessing
3.06/3.16 nbConstraintChecks=85670 nbPropagations=759 nbRevisions=8 nbUselessRevisions=0 nbRemovedValues=211862
3.06/3.16 detectedInconsistency=no
3.06/3.16 => wckTime=0.263 cpuTime=0.2 mem=33M830
4.25/4.39
4.25/4.39 INFO : Stopping use of transposition table (mapSize=0, nbTooLargekeys=108, mem=78M286)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1080946-1215214148/watcher-1080946-1215214148 -o /tmp/evaluation-result-1080946-1215214148/solver-1080946-1215214148 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1080946-1215214148.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 3472
/proc/meminfo: memFree=1532752/2055920 swapFree=4180028/4192956
[pid=3472] ppid=3470 vsize=1616 CPUtime=0
/proc/3472/stat : 3472 (java) D 3470 3472 979 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 2000390139 1654784 145 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/3472/statm: 404 145 119 9 0 46 0
[startup+0.0211431 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 3472
/proc/meminfo: memFree=1532752/2055920 swapFree=4180028/4192956
[pid=3472] ppid=3470 vsize=860580 CPUtime=0.01
/proc/3472/stat : 3472 (java) S 3470 3472 979 0 -1 0 1422 0 1 0 0 1 0 0 18 0 2 0 2000390139 881233920 1171 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/3472/statm: 215145 1173 441 9 0 210124 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 860580
[startup+0.101152 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 3472
/proc/meminfo: memFree=1532752/2055920 swapFree=4180028/4192956
[pid=3472] ppid=3470 vsize=865884 CPUtime=0.08
/proc/3472/stat : 3472 (java) S 3470 3472 979 0 -1 0 3705 0 1 0 6 2 0 0 18 0 9 0 2000390139 886665216 3178 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3472/statm: 216471 3178 1685 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301174 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 3472
/proc/meminfo: memFree=1532752/2055920 swapFree=4180028/4192956
[pid=3472] ppid=3470 vsize=866284 CPUtime=0.28
/proc/3472/stat : 3472 (java) S 3470 3472 979 0 -1 0 5974 0 1 0 24 4 0 0 18 0 9 0 2000390139 887074816 5349 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3472/statm: 216571 5357 1956 9 0 211099 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866284
[startup+0.701209 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 3472
/proc/meminfo: memFree=1532752/2055920 swapFree=4180028/4192956
[pid=3472] ppid=3470 vsize=867676 CPUtime=0.68
/proc/3472/stat : 3472 (java) S 3470 3472 979 0 -1 0 11163 0 1 0 61 7 0 0 18 0 9 0 2000390139 888500224 10523 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3472/statm: 216919 10523 2010 9 0 211425 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867676
[startup+1.50129 s]
/proc/loadavg: 1.92 1.98 1.99 3/90 3481
/proc/meminfo: memFree=1490056/2055920 swapFree=4180028/4192956
[pid=3472] ppid=3470 vsize=867676 CPUtime=1.48
/proc/3472/stat : 3472 (java) S 3470 3472 979 0 -1 0 14817 0 1 0 132 16 0 0 18 0 9 0 2000390139 888500224 14174 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3472/statm: 216919 14174 2014 9 0 211425 0
[pid=3472/tid=3474] ppid=3470 vsize=867676 CPUtime=1.25
/proc/3472/task/3474/stat : 3474 (java) R 3470 3472 979 0 -1 64 13422 0 1 0 111 14 0 0 25 0 9 0 2000390140 888500224 14174 996147200 134512640 134550740 4294955968 18446744073709551615 4126923645 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3475] ppid=3470 vsize=867676 CPUtime=0
/proc/3472/task/3475/stat : 3475 (java) S 3470 3472 979 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 2000390141 888500224 14174 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3476] ppid=3470 vsize=867676 CPUtime=0
/proc/3472/task/3476/stat : 3476 (java) S 3470 3472 979 0 -1 64 9 0 0 0 0 0 0 0 21 0 9 0 2000390142 888500224 14174 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3477] ppid=3470 vsize=867676 CPUtime=0
/proc/3472/task/3477/stat : 3477 (java) S 3470 3472 979 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 2000390142 888500224 14174 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3478] ppid=3470 vsize=867676 CPUtime=0
/proc/3472/task/3478/stat : 3478 (java) S 3470 3472 979 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 2000390144 888500224 14174 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3479] ppid=3470 vsize=867676 CPUtime=0.21
/proc/3472/task/3479/stat : 3479 (java) S 3470 3472 979 0 -1 64 698 0 0 0 21 0 0 0 15 0 9 0 2000390144 888500224 14174 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3480] ppid=3470 vsize=867676 CPUtime=0
/proc/3472/task/3480/stat : 3480 (java) S 3470 3472 979 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 2000390144 888500224 14174 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3481] ppid=3470 vsize=867676 CPUtime=0
/proc/3472/task/3481/stat : 3481 (java) S 3470 3472 979 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2000390144 888500224 14174 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867676
[startup+3.10244 s]
/proc/loadavg: 1.92 1.98 1.99 3/92 3483
/proc/meminfo: memFree=1457528/2055920 swapFree=4180028/4192956
[pid=3472] ppid=3470 vsize=868104 CPUtime=3.06
/proc/3472/stat : 3472 (java) S 3470 3472 979 0 -1 0 48749 442 1 0 274 29 2 1 18 0 9 0 2000390139 888938496 22663 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3472/statm: 217026 22663 2637 9 0 211532 0
[pid=3472/tid=3474] ppid=3470 vsize=868104 CPUtime=2.53
/proc/3472/task/3474/stat : 3474 (java) R 3470 3472 979 0 -1 64 29339 442 1 0 228 22 2 1 24 0 9 0 2000390140 888938496 22663 996147200 134512640 134550740 4294955968 18446744073709551615 4127177424 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3475] ppid=3470 vsize=868104 CPUtime=0.23
/proc/3472/task/3475/stat : 3475 (java) S 3470 3472 979 0 -1 64 17669 442 0 0 16 4 2 1 16 0 9 0 2000390141 888938496 22663 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3476] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3476/stat : 3476 (java) S 3470 3472 979 0 -1 64 19 442 0 0 0 0 2 1 16 0 9 0 2000390142 888938496 22663 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3477] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3477/stat : 3477 (java) S 3470 3472 979 0 -1 64 14 442 0 0 0 0 2 1 15 0 9 0 2000390142 888938496 22663 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3478] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3478/stat : 3478 (java) S 3470 3472 979 0 -1 64 1 442 0 0 0 0 2 1 23 0 9 0 2000390144 888938496 22663 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3479] ppid=3470 vsize=868104 CPUtime=0.32
/proc/3472/task/3479/stat : 3479 (java) S 3470 3472 979 0 -1 64 909 442 0 0 29 0 2 1 15 0 9 0 2000390144 888938496 22663 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3480] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3480/stat : 3480 (java) S 3470 3472 979 0 -1 64 2 442 0 0 0 0 2 1 24 0 9 0 2000390144 888938496 22663 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3481] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3481/stat : 3481 (java) S 3470 3472 979 0 -1 64 9 442 0 0 0 0 2 1 15 0 9 0 2000390144 888938496 22663 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 868104
[startup+6.30275 s]
/proc/loadavg: 1.93 1.98 1.99 3/90 3485
/proc/meminfo: memFree=1429504/2055920 swapFree=4180028/4192956
[pid=3472] ppid=3470 vsize=868104 CPUtime=6.23
/proc/3472/stat : 3472 (java) S 3470 3472 979 0 -1 0 54670 442 1 0 588 32 2 1 18 0 9 0 2000390139 888938496 28285 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3472/statm: 217026 28285 2637 9 0 211532 0
[pid=3472/tid=3474] ppid=3470 vsize=868104 CPUtime=5.59
/proc/3472/task/3474/stat : 3474 (java) R 3470 3472 979 0 -1 64 29496 442 1 0 534 22 2 1 25 0 9 0 2000390140 888938496 28285 996147200 134512640 134550740 4294955968 18446744073709551615 4127180302 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3475] ppid=3470 vsize=868104 CPUtime=0.28
/proc/3472/task/3475/stat : 3475 (java) S 3470 3472 979 0 -1 64 23376 442 0 0 19 6 2 1 16 0 9 0 2000390141 888938496 28285 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3476] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3476/stat : 3476 (java) S 3470 3472 979 0 -1 64 19 442 0 0 0 0 2 1 16 0 9 0 2000390142 888938496 28285 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3477] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3477/stat : 3477 (java) S 3470 3472 979 0 -1 64 14 442 0 0 0 0 2 1 15 0 9 0 2000390142 888938496 28285 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3478] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3478/stat : 3478 (java) S 3470 3472 979 0 -1 64 1 442 0 0 0 0 2 1 23 0 9 0 2000390144 888938496 28285 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3479] ppid=3470 vsize=868104 CPUtime=0.37
/proc/3472/task/3479/stat : 3479 (java) S 3470 3472 979 0 -1 64 937 442 0 0 33 1 2 1 16 0 9 0 2000390144 888938496 28285 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3480] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3480/stat : 3480 (java) S 3470 3472 979 0 -1 64 2 442 0 0 0 0 2 1 24 0 9 0 2000390144 888938496 28285 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3481] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3481/stat : 3481 (java) S 3470 3472 979 0 -1 64 38 442 0 0 0 0 2 1 15 0 9 0 2000390144 888938496 28285 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 868104
[startup+12.7024 s]
/proc/loadavg: 1.93 1.98 1.99 3/90 3485
/proc/meminfo: memFree=1429248/2055920 swapFree=4180028/4192956
[pid=3472] ppid=3470 vsize=868104 CPUtime=12.56
/proc/3472/stat : 3472 (java) S 3470 3472 979 0 -1 0 54731 442 1 0 1221 32 2 1 18 0 9 0 2000390139 888938496 28298 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3472/statm: 217026 28298 2637 9 0 211532 0
[pid=3472/tid=3474] ppid=3470 vsize=868104 CPUtime=11.86
/proc/3472/task/3474/stat : 3474 (java) R 3470 3472 979 0 -1 64 29506 442 1 0 1161 22 2 1 25 0 9 0 2000390140 888938496 28298 996147200 134512640 134550740 4294955968 18446744073709551615 4126652376 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3475] ppid=3470 vsize=868104 CPUtime=0.32
/proc/3472/task/3475/stat : 3475 (java) S 3470 3472 979 0 -1 64 23376 442 0 0 22 7 2 1 16 0 9 0 2000390141 888938496 28298 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3476] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3476/stat : 3476 (java) S 3470 3472 979 0 -1 64 19 442 0 0 0 0 2 1 16 0 9 0 2000390142 888938496 28298 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3477] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3477/stat : 3477 (java) S 3470 3472 979 0 -1 64 14 442 0 0 0 0 2 1 15 0 9 0 2000390142 888938496 28298 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3478] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3478/stat : 3478 (java) S 3470 3472 979 0 -1 64 1 442 0 0 0 0 2 1 23 0 9 0 2000390144 888938496 28298 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3479] ppid=3470 vsize=868104 CPUtime=0.41
/proc/3472/task/3479/stat : 3479 (java) S 3470 3472 979 0 -1 64 988 442 0 0 37 1 2 1 16 0 9 0 2000390144 888938496 28298 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3480] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3480/stat : 3480 (java) S 3470 3472 979 0 -1 64 2 442 0 0 0 0 2 1 24 0 9 0 2000390144 888938496 28298 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3481] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3481/stat : 3481 (java) S 3470 3472 979 0 -1 64 38 442 0 0 0 0 2 1 15 0 9 0 2000390144 888938496 28298 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 868104
[startup+25.5016 s]
/proc/loadavg: 1.95 1.98 1.99 3/90 3485
/proc/meminfo: memFree=1427520/2055920 swapFree=4180028/4192956
[pid=3472] ppid=3470 vsize=868104 CPUtime=25.25
/proc/3472/stat : 3472 (java) S 3470 3472 979 0 -1 0 55172 442 1 0 2489 33 2 1 18 0 9 0 2000390139 888938496 28713 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3472/statm: 217026 28713 2637 9 0 211532 0
[pid=3472/tid=3474] ppid=3470 vsize=868104 CPUtime=24.49
/proc/3472/task/3474/stat : 3474 (java) R 3470 3472 979 0 -1 64 29524 442 1 0 2424 22 2 1 25 0 9 0 2000390140 888938496 28713 996147200 134512640 134550740 4294955968 18446744073709551615 4127171130 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3475] ppid=3470 vsize=868104 CPUtime=0.37
/proc/3472/task/3475/stat : 3475 (java) S 3470 3472 979 0 -1 64 23797 442 0 0 27 7 2 1 16 0 9 0 2000390141 888938496 28713 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3476] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3476/stat : 3476 (java) S 3470 3472 979 0 -1 64 19 442 0 0 0 0 2 1 16 0 9 0 2000390142 888938496 28713 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3477] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3477/stat : 3477 (java) S 3470 3472 979 0 -1 64 14 442 0 0 0 0 2 1 15 0 9 0 2000390142 888938496 28713 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3478] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3478/stat : 3478 (java) S 3470 3472 979 0 -1 64 1 442 0 0 0 0 2 1 23 0 9 0 2000390144 888938496 28713 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3479] ppid=3470 vsize=868104 CPUtime=0.41
/proc/3472/task/3479/stat : 3479 (java) S 3470 3472 979 0 -1 64 990 442 0 0 37 1 2 1 15 0 9 0 2000390144 888938496 28713 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3480] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3480/stat : 3480 (java) S 3470 3472 979 0 -1 64 2 442 0 0 0 0 2 1 24 0 9 0 2000390144 888938496 28713 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3481] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3481/stat : 3481 (java) S 3470 3472 979 0 -1 64 38 442 0 0 0 0 2 1 15 0 9 0 2000390144 888938496 28713 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 868104
[startup+51.102 s]
/proc/loadavg: 1.96 1.98 1.99 3/90 3485
/proc/meminfo: memFree=1427392/2055920 swapFree=4180028/4192956
[pid=3472] ppid=3470 vsize=868104 CPUtime=50.61
/proc/3472/stat : 3472 (java) S 3470 3472 979 0 -1 0 55246 442 1 0 5024 34 2 1 18 0 9 0 2000390139 888938496 28751 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3472/statm: 217026 28751 2637 9 0 211532 0
[pid=3472/tid=3474] ppid=3470 vsize=868104 CPUtime=49.78
/proc/3472/task/3474/stat : 3474 (java) R 3470 3472 979 0 -1 64 29559 442 1 0 4952 23 2 1 25 0 9 0 2000390140 888938496 28751 996147200 134512640 134550740 4294955968 18446744073709551615 4126742040 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3475] ppid=3470 vsize=868104 CPUtime=0.42
/proc/3472/task/3475/stat : 3475 (java) S 3470 3472 979 0 -1 64 23833 442 0 0 32 7 2 1 16 0 9 0 2000390141 888938496 28751 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3476] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3476/stat : 3476 (java) S 3470 3472 979 0 -1 64 19 442 0 0 0 0 2 1 16 0 9 0 2000390142 888938496 28751 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3477] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3477/stat : 3477 (java) S 3470 3472 979 0 -1 64 14 442 0 0 0 0 2 1 15 0 9 0 2000390142 888938496 28751 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3478] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3478/stat : 3478 (java) S 3470 3472 979 0 -1 64 1 442 0 0 0 0 2 1 23 0 9 0 2000390144 888938496 28751 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3479] ppid=3470 vsize=868104 CPUtime=0.42
/proc/3472/task/3479/stat : 3479 (java) S 3470 3472 979 0 -1 64 993 442 0 0 38 1 2 1 16 0 9 0 2000390144 888938496 28751 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3480] ppid=3470 vsize=868104 CPUtime=0.03
################
# More data... #
################
/proc/3472/task/3477/stat : 3477 (java) S 3470 3472 979 0 -1 64 14 442 0 0 0 0 2 1 15 0 9 0 2000390142 888938496 28878 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3478] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3478/stat : 3478 (java) S 3470 3472 979 0 -1 64 1 442 0 0 0 0 2 1 23 0 9 0 2000390144 888938496 28878 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3479] ppid=3470 vsize=868104 CPUtime=0.42
/proc/3472/task/3479/stat : 3479 (java) S 3470 3472 979 0 -1 64 993 442 0 0 38 1 2 1 16 0 9 0 2000390144 888938496 28878 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3480] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3480/stat : 3480 (java) S 3470 3472 979 0 -1 64 2 442 0 0 0 0 2 1 24 0 9 0 2000390144 888938496 28878 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3481] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3481/stat : 3481 (java) S 3470 3472 979 0 -1 64 38 442 0 0 0 0 2 1 15 0 9 0 2000390144 888938496 28878 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1529.12
Current children cumulated vsize (KiB) 868104
[startup+1602.3 s]
/proc/loadavg: 2.27 2.11 2.03 3/81 3517
/proc/meminfo: memFree=1572432/2055920 swapFree=4180028/4192956
[pid=3472] ppid=3470 vsize=868104 CPUtime=1588.88
/proc/3472/stat : 3472 (java) S 3470 3472 979 0 -1 0 57198 442 1 0 158827 58 2 1 18 0 9 0 2000390139 888938496 28878 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3472/statm: 217026 28878 2637 9 0 211532 0
[pid=3472/tid=3474] ppid=3470 vsize=868104 CPUtime=1585.24
/proc/3472/task/3474/stat : 3474 (java) R 3470 3472 979 0 -1 64 31384 442 1 0 158486 35 2 1 25 0 9 0 2000390140 888938496 28878 996147200 134512640 134550740 4294955968 18446744073709551615 4127178427 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3475] ppid=3470 vsize=868104 CPUtime=3.24
/proc/3472/task/3475/stat : 3475 (java) S 3470 3472 979 0 -1 64 23960 442 0 0 302 19 2 1 16 0 9 0 2000390141 888938496 28878 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3476] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3476/stat : 3476 (java) S 3470 3472 979 0 -1 64 19 442 0 0 0 0 2 1 16 0 9 0 2000390142 888938496 28878 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3477] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3477/stat : 3477 (java) S 3470 3472 979 0 -1 64 14 442 0 0 0 0 2 1 15 0 9 0 2000390142 888938496 28878 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3478] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3478/stat : 3478 (java) S 3470 3472 979 0 -1 64 1 442 0 0 0 0 2 1 23 0 9 0 2000390144 888938496 28878 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3479] ppid=3470 vsize=868104 CPUtime=0.42
/proc/3472/task/3479/stat : 3479 (java) S 3470 3472 979 0 -1 64 993 442 0 0 38 1 2 1 16 0 9 0 2000390144 888938496 28878 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3480] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3480/stat : 3480 (java) S 3470 3472 979 0 -1 64 2 442 0 0 0 0 2 1 24 0 9 0 2000390144 888938496 28878 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3481] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3481/stat : 3481 (java) S 3470 3472 979 0 -1 64 38 442 0 0 0 0 2 1 15 0 9 0 2000390144 888938496 28878 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1588.88
Current children cumulated vsize (KiB) 868104
[startup+1662.3 s]
/proc/loadavg: 2.10 2.09 2.02 3/81 3517
/proc/meminfo: memFree=1572432/2055920 swapFree=4180028/4192956
[pid=3472] ppid=3470 vsize=868104 CPUtime=1648.64
/proc/3472/stat : 3472 (java) S 3470 3472 979 0 -1 0 57282 442 1 0 164802 59 2 1 18 0 9 0 2000390139 888938496 28878 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3472/statm: 217026 28878 2637 9 0 211532 0
[pid=3472/tid=3474] ppid=3470 vsize=868104 CPUtime=1644.86
/proc/3472/task/3474/stat : 3474 (java) R 3470 3472 979 0 -1 64 31468 442 1 0 164448 35 2 1 25 0 9 0 2000390140 888938496 28878 996147200 134512640 134550740 4294955968 18446744073709551615 4127180302 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3475] ppid=3470 vsize=868104 CPUtime=3.38
/proc/3472/task/3475/stat : 3475 (java) S 3470 3472 979 0 -1 64 23960 442 0 0 315 20 2 1 16 0 9 0 2000390141 888938496 28878 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3476] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3476/stat : 3476 (java) S 3470 3472 979 0 -1 64 19 442 0 0 0 0 2 1 16 0 9 0 2000390142 888938496 28878 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3477] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3477/stat : 3477 (java) S 3470 3472 979 0 -1 64 14 442 0 0 0 0 2 1 15 0 9 0 2000390142 888938496 28878 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3478] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3478/stat : 3478 (java) S 3470 3472 979 0 -1 64 1 442 0 0 0 0 2 1 23 0 9 0 2000390144 888938496 28878 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3479] ppid=3470 vsize=868104 CPUtime=0.42
/proc/3472/task/3479/stat : 3479 (java) S 3470 3472 979 0 -1 64 993 442 0 0 38 1 2 1 16 0 9 0 2000390144 888938496 28878 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3480] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3480/stat : 3480 (java) S 3470 3472 979 0 -1 64 2 442 0 0 0 0 2 1 24 0 9 0 2000390144 888938496 28878 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3481] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3481/stat : 3481 (java) S 3470 3472 979 0 -1 64 38 442 0 0 0 0 2 1 15 0 9 0 2000390144 888938496 28878 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1648.64
Current children cumulated vsize (KiB) 868104
[startup+1722.3 s]
/proc/loadavg: 2.03 2.07 2.01 3/81 3517
/proc/meminfo: memFree=1572368/2055920 swapFree=4180028/4192956
[pid=3472] ppid=3470 vsize=868104 CPUtime=1708.4
/proc/3472/stat : 3472 (java) S 3470 3472 979 0 -1 0 57372 442 1 0 170777 60 2 1 18 0 9 0 2000390139 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3472/statm: 217026 28884 2637 9 0 211532 0
[pid=3472/tid=3474] ppid=3470 vsize=868104 CPUtime=1704.51
/proc/3472/task/3474/stat : 3474 (java) R 3470 3472 979 0 -1 64 31552 442 1 0 170412 36 2 1 25 0 9 0 2000390140 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4127066071 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3475] ppid=3470 vsize=868104 CPUtime=3.5
/proc/3472/task/3475/stat : 3475 (java) S 3470 3472 979 0 -1 64 23966 442 0 0 326 21 2 1 17 0 9 0 2000390141 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3476] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3476/stat : 3476 (java) S 3470 3472 979 0 -1 64 19 442 0 0 0 0 2 1 16 0 9 0 2000390142 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3477] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3477/stat : 3477 (java) S 3470 3472 979 0 -1 64 14 442 0 0 0 0 2 1 15 0 9 0 2000390142 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3478] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3478/stat : 3478 (java) S 3470 3472 979 0 -1 64 1 442 0 0 0 0 2 1 23 0 9 0 2000390144 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3479] ppid=3470 vsize=868104 CPUtime=0.42
/proc/3472/task/3479/stat : 3479 (java) S 3470 3472 979 0 -1 64 993 442 0 0 38 1 2 1 16 0 9 0 2000390144 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3480] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3480/stat : 3480 (java) S 3470 3472 979 0 -1 64 2 442 0 0 0 0 2 1 24 0 9 0 2000390144 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3481] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3481/stat : 3481 (java) S 3470 3472 979 0 -1 64 38 442 0 0 0 0 2 1 15 0 9 0 2000390144 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1708.4
Current children cumulated vsize (KiB) 868104
[startup+1782.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/81 3517
/proc/meminfo: memFree=1572304/2055920 swapFree=4180028/4192956
[pid=3472] ppid=3470 vsize=868104 CPUtime=1768.15
/proc/3472/stat : 3472 (java) S 3470 3472 979 0 -1 0 57446 442 1 0 176752 60 2 1 18 0 9 0 2000390139 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3472/statm: 217026 28884 2637 9 0 211532 0
[pid=3472/tid=3474] ppid=3470 vsize=868104 CPUtime=1764.15
/proc/3472/task/3474/stat : 3474 (java) R 3470 3472 979 0 -1 64 31626 442 1 0 176376 36 2 1 25 0 9 0 2000390140 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4127178595 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3475] ppid=3470 vsize=868104 CPUtime=3.6
/proc/3472/task/3475/stat : 3475 (java) S 3470 3472 979 0 -1 64 23966 442 0 0 336 21 2 1 17 0 9 0 2000390141 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3476] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3476/stat : 3476 (java) S 3470 3472 979 0 -1 64 19 442 0 0 0 0 2 1 16 0 9 0 2000390142 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3477] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3477/stat : 3477 (java) S 3470 3472 979 0 -1 64 14 442 0 0 0 0 2 1 15 0 9 0 2000390142 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3478] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3478/stat : 3478 (java) S 3470 3472 979 0 -1 64 1 442 0 0 0 0 2 1 23 0 9 0 2000390144 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3479] ppid=3470 vsize=868104 CPUtime=0.42
/proc/3472/task/3479/stat : 3479 (java) S 3470 3472 979 0 -1 64 993 442 0 0 38 1 2 1 16 0 9 0 2000390144 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3480] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3480/stat : 3480 (java) S 3470 3472 979 0 -1 64 2 442 0 0 0 0 2 1 24 0 9 0 2000390144 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3481] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3481/stat : 3481 (java) S 3470 3472 979 0 -1 64 38 442 0 0 0 0 2 1 15 0 9 0 2000390144 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1768.15
Current children cumulated vsize (KiB) 868104
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/81 3517
/proc/meminfo: memFree=1572304/2055920 swapFree=4180028/4192956
[pid=3472] ppid=3470 vsize=868104 CPUtime=1800.02
/proc/3472/stat : 3472 (java) S 3470 3472 979 0 -1 0 57486 442 1 0 179939 60 2 1 18 0 9 0 2000390139 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3472/statm: 217026 28884 2637 9 0 211532 0
[pid=3472/tid=3474] ppid=3470 vsize=868104 CPUtime=1795.98
/proc/3472/task/3474/stat : 3474 (java) R 3470 3472 979 0 -1 64 31666 442 1 0 179559 36 2 1 25 0 9 0 2000390140 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4127066082 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3475] ppid=3470 vsize=868104 CPUtime=3.65
/proc/3472/task/3475/stat : 3475 (java) S 3470 3472 979 0 -1 64 23966 442 0 0 341 21 2 1 17 0 9 0 2000390141 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3476] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3476/stat : 3476 (java) S 3470 3472 979 0 -1 64 19 442 0 0 0 0 2 1 16 0 9 0 2000390142 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3477] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3477/stat : 3477 (java) S 3470 3472 979 0 -1 64 14 442 0 0 0 0 2 1 15 0 9 0 2000390142 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3478] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3478/stat : 3478 (java) S 3470 3472 979 0 -1 64 1 442 0 0 0 0 2 1 23 0 9 0 2000390144 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3479] ppid=3470 vsize=868104 CPUtime=0.42
/proc/3472/task/3479/stat : 3479 (java) S 3470 3472 979 0 -1 64 993 442 0 0 38 1 2 1 16 0 9 0 2000390144 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3480] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3480/stat : 3480 (java) S 3470 3472 979 0 -1 64 2 442 0 0 0 0 2 1 24 0 9 0 2000390144 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3481] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3481/stat : 3481 (java) S 3470 3472 979 0 -1 64 38 442 0 0 0 0 2 1 15 0 9 0 2000390144 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 868104
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1814.3 s]
/proc/loadavg: 2.00 2.05 2.01 3/81 3517
/proc/meminfo: memFree=1572304/2055920 swapFree=4180028/4192956
[pid=3472] ppid=3470 vsize=868104 CPUtime=1800.02
/proc/3472/stat : 3472 (java) S 3470 3472 979 0 -1 0 57486 442 1 0 179939 60 2 1 18 0 9 0 2000390139 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3472/statm: 217026 28884 2637 9 0 211532 0
[pid=3472/tid=3474] ppid=3470 vsize=868104 CPUtime=1795.98
/proc/3472/task/3474/stat : 3474 (java) R 3470 3472 979 0 -1 64 31666 442 1 0 179559 36 2 1 25 0 9 0 2000390140 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4127066082 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3475] ppid=3470 vsize=868104 CPUtime=3.65
/proc/3472/task/3475/stat : 3475 (java) S 3470 3472 979 0 -1 64 23966 442 0 0 341 21 2 1 17 0 9 0 2000390141 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3476] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3476/stat : 3476 (java) S 3470 3472 979 0 -1 64 19 442 0 0 0 0 2 1 16 0 9 0 2000390142 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3477] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3477/stat : 3477 (java) S 3470 3472 979 0 -1 64 14 442 0 0 0 0 2 1 15 0 9 0 2000390142 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3478] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3478/stat : 3478 (java) S 3470 3472 979 0 -1 64 1 442 0 0 0 0 2 1 23 0 9 0 2000390144 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3479] ppid=3470 vsize=868104 CPUtime=0.42
/proc/3472/task/3479/stat : 3479 (java) S 3470 3472 979 0 -1 64 993 442 0 0 38 1 2 1 16 0 9 0 2000390144 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3472/tid=3480] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3480/stat : 3480 (java) S 3470 3472 979 0 -1 64 2 442 0 0 0 0 2 1 24 0 9 0 2000390144 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3472/tid=3481] ppid=3470 vsize=868104 CPUtime=0.03
/proc/3472/task/3481/stat : 3481 (java) S 3470 3472 979 0 -1 64 38 442 0 0 0 0 2 1 15 0 9 0 2000390144 888938496 28884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 868104
Child status: 143
Real time (s): 1814.38
CPU time (s): 1800.13
CPU user time (s): 1799.49
CPU system time (s): 0.638902
CPU usage (%): 99.2143
Max. virtual memory (cumulated for all children) (KiB): 870248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.638902
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57959
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= 52393
involuntary context switches= 86138
runsolver used 2.74358 second user time and 5.52816 second system time
The end
Begin job on node4 at 2008-07-05 01:29:08
IDJOB=1080946
IDBENCH=57046
IDSOLVER=363
FILE ID=node4/1080946-1215214148
PBS_JOBID= 7881688
Free space on /tmp= 66504 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/js-taillard-20-15/normalized-js-taillard-20-15-105-9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1080946-1215214148/watcher-1080946-1215214148 -o /tmp/evaluation-result-1080946-1215214148/solver-1080946-1215214148 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1080946-1215214148.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 5bbd1ffb651fc1a4ef8ce25488690080
RANDOM SEED=490490948
node4.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.213
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.213
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: 1533232 kB
Buffers: 68764 kB
Cached: 215212 kB
SwapCached: 6792 kB
Active: 372588 kB
Inactive: 91128 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1533232 kB
SwapTotal: 4192956 kB
SwapFree: 4180028 kB
Dirty: 2460 kB
Writeback: 0 kB
Mapped: 196184 kB
Slab: 43528 kB
Committed_AS: 3556924 kB
PageTables: 2360 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= 66500 MiB
End job on node4 at 2008-07-05 01:59:24