0.05/0.09
0.05/0.09 Abscon 112 (May, 2008)
0.17/0.27
0.17/0.27 configuration
0.17/0.27 name=mac.xml
0.27/0.31
0.27/0.31 instance
0.27/0.31 name=HOME/instance-1080862-1215213518.xml
0.27/0.34
0.27/0.34 domains being loaded...
0.38/0.41
0.38/0.41 variables being loaded...
0.47/0.50 nbVariables=300 nbDomainTypes=300 minDomainSize=1216 maxDomainSize=1314 nbTotalValues=379367
0.47/0.50 => wckTime=0.226 cpuTime=0.17 mem=16M671
0.47/0.50
0.47/0.50 predicates being loaded...
0.47/0.56
0.47/0.56 constraints being loaded...
2.54/2.64 nbConstraints=3145 nbGlobalConstraints=3143 nbConvertedConstraints=2 nbConvertConstraintsChecks=3131288
2.54/2.64 nbExtensionStructures=2 nbSharedExtensionStructures=0 nbConflictsStructures=2 nbSharedConflictsStructures=0
2.54/2.64 nbSharedBinaryRepresentations=252 minDegree=21 maxDegree=22 minArity=2 avgArity=2.09 maxArity=20
2.54/2.64 nbGenerators=0 nbFusions=0 symmetryWckTime=0.736 symmetryCpuTime=0.51 nbCliques=15
2.54/2.64 => wckTime=2.364 cpuTime=1.93 mem=18M443
2.63/2.72
2.63/2.72 solver IterativeSystematicSolver being built...
2.63/2.79
2.63/2.79 INFO : Forward propagation technique limited
2.73/2.88 => wckTime=2.612 cpuTime=2.07 mem=44M957
3.04/3.10
3.04/3.10 preprocessing
3.04/3.10 nbConstraintChecks=73046 nbPropagations=759 nbRevisions=8 nbUselessRevisions=0 nbRemovedValues=211862
3.04/3.10 detectedInconsistency=no
3.04/3.10 => wckTime=0.198 cpuTime=0.17 mem=61M386
10.06/10.24
10.06/10.24 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=54M715)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1080862-1215213518/watcher-1080862-1215213518 -o /tmp/evaluation-result-1080862-1215213518/solver-1080862-1215213518 -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-1080862-1215213518.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: 2.20 2.22 2.09 3/82 16278
/proc/meminfo: memFree=1662824/2055920 swapFree=4179680/4192956
[pid=16278] ppid=16276 vsize=10616 CPUtime=0
/proc/16278/stat : 16278 (java) S 16276 16278 13008 0 -1 0 676 0 0 0 0 0 0 0 18 0 2 0 2000324419 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/16278/statm: 2654 472 209 9 0 1184 0
[pid=16278/tid=16279] ppid=16276 vsize=10616 CPUtime=0
/proc/16278/task/16279/stat : 16279 (java) R 16276 16278 13008 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 2000324420 10870784 472 996147200 134512640 134550740 4294955968 18446744073709551615 2666456 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.070054 s]
/proc/loadavg: 2.20 2.22 2.09 3/82 16278
/proc/meminfo: memFree=1662824/2055920 swapFree=4179680/4192956
[pid=16278] ppid=16276 vsize=864076 CPUtime=0.05
/proc/16278/stat : 16278 (java) S 16276 16278 13008 0 -1 0 2802 0 1 0 4 1 0 0 18 0 9 0 2000324419 884813824 2340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16278/statm: 216019 2340 1120 9 0 210976 0
[pid=16278/tid=16279] ppid=16276 vsize=864076 CPUtime=0.04
/proc/16278/task/16279/stat : 16279 (java) R 16276 16278 13008 0 -1 64 1903 0 1 0 3 1 0 0 19 0 9 0 2000324420 884813824 2340 996147200 134512640 134550740 4294955968 18446744073709551615 4125969137 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864076
[startup+0.102062 s]
/proc/loadavg: 2.20 2.22 2.09 3/82 16278
/proc/meminfo: memFree=1662824/2055920 swapFree=4179680/4192956
[pid=16278] ppid=16276 vsize=865884 CPUtime=0.08
/proc/16278/stat : 16278 (java) S 16276 16278 13008 0 -1 0 3673 0 1 0 6 2 0 0 18 0 9 0 2000324419 886665216 3148 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16278/statm: 216471 3148 1681 9 0 211026 0
[pid=16278/tid=16279] ppid=16276 vsize=865884 CPUtime=0.06
/proc/16278/task/16279/stat : 16279 (java) R 16276 16278 13008 0 -1 64 2763 0 1 0 5 1 0 0 18 0 9 0 2000324420 886665216 3148 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 2147483391 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.302103 s]
/proc/loadavg: 2.20 2.22 2.09 3/82 16278
/proc/meminfo: memFree=1662824/2055920 swapFree=4179680/4192956
[pid=16278] ppid=16276 vsize=866204 CPUtime=0.27
/proc/16278/stat : 16278 (java) S 16276 16278 13008 0 -1 0 5593 0 1 0 23 4 0 0 18 0 9 0 2000324419 886992896 5016 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16278/statm: 216551 5016 1886 9 0 211099 0
[pid=16278/tid=16279] ppid=16276 vsize=866204 CPUtime=0.22
/proc/16278/task/16279/stat : 16279 (java) R 16276 16278 13008 0 -1 64 4619 0 1 0 19 3 0 0 18 0 9 0 2000324420 886992896 5016 996147200 134512640 134550740 4294955968 18446744073709551615 104253009 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866204
[startup+0.702186 s]
/proc/loadavg: 2.20 2.22 2.09 3/82 16278
/proc/meminfo: memFree=1662824/2055920 swapFree=4179680/4192956
[pid=16278] ppid=16276 vsize=867676 CPUtime=0.67
/proc/16278/stat : 16278 (java) S 16276 16278 13008 0 -1 0 10152 0 1 0 60 7 0 0 18 0 9 0 2000324419 888500224 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16278/statm: 216919 9512 2010 9 0 211425 0
[pid=16278/tid=16279] ppid=16276 vsize=867676 CPUtime=0.5
/proc/16278/task/16279/stat : 16279 (java) R 16276 16278 13008 0 -1 64 8809 0 1 0 44 6 0 0 19 0 9 0 2000324420 888500224 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867676
[startup+1.50135 s]
/proc/loadavg: 2.20 2.22 2.09 3/91 16287
/proc/meminfo: memFree=1620896/2055920 swapFree=4179680/4192956
[pid=16278] ppid=16276 vsize=867676 CPUtime=1.46
/proc/16278/stat : 16278 (java) S 16276 16278 13008 0 -1 0 14562 0 1 0 130 16 0 0 18 0 9 0 2000324419 888500224 13919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16278/statm: 216919 13919 2014 9 0 211425 0
[pid=16278/tid=16279] ppid=16276 vsize=867676 CPUtime=1.21
/proc/16278/task/16279/stat : 16279 (java) R 16276 16278 13008 0 -1 64 13166 0 1 0 107 14 0 0 25 0 9 0 2000324420 888500224 13919 996147200 134512640 134550740 4294955968 18446744073709551615 4126923470 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16281] ppid=16276 vsize=867676 CPUtime=0
/proc/16278/task/16281/stat : 16281 (java) S 16276 16278 13008 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 2000324422 888500224 13919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16282] ppid=16276 vsize=867676 CPUtime=0
/proc/16278/task/16282/stat : 16282 (java) S 16276 16278 13008 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 2000324423 888500224 13919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16283] ppid=16276 vsize=867676 CPUtime=0
/proc/16278/task/16283/stat : 16283 (java) S 16276 16278 13008 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 2000324423 888500224 13919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16284] ppid=16276 vsize=867676 CPUtime=0
/proc/16278/task/16284/stat : 16284 (java) S 16276 16278 13008 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2000324425 888500224 13919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16285] ppid=16276 vsize=867676 CPUtime=0.23
/proc/16278/task/16285/stat : 16285 (java) S 16276 16278 13008 0 -1 64 699 0 0 0 22 1 0 0 15 0 9 0 2000324425 888500224 13919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16286] ppid=16276 vsize=867676 CPUtime=0
/proc/16278/task/16286/stat : 16286 (java) S 16276 16278 13008 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2000324425 888500224 13919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16287] ppid=16276 vsize=867676 CPUtime=0
/proc/16278/task/16287/stat : 16287 (java) S 16276 16278 13008 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2000324425 888500224 13919 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867676
[startup+3.10169 s]
/proc/loadavg: 2.20 2.22 2.09 5/93 16291
/proc/meminfo: memFree=1595024/2055920 swapFree=4179680/4192956
[pid=16278] ppid=16276 vsize=868112 CPUtime=3.04
/proc/16278/stat : 16278 (java) S 16276 16278 13008 0 -1 0 35771 441 1 0 272 29 2 1 18 0 9 0 2000324419 888946688 22104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16278/statm: 217028 22104 2637 9 0 211534 0
[pid=16278/tid=16279] ppid=16276 vsize=868112 CPUtime=2.49
/proc/16278/task/16279/stat : 16279 (java) R 16276 16278 13008 0 -1 64 18927 441 1 0 224 22 2 1 25 0 9 0 2000324420 888946688 22104 996147200 134512640 134550740 4294955968 18446744073709551615 4127179245 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16281] ppid=16276 vsize=868112 CPUtime=0.22
/proc/16278/task/16281/stat : 16281 (java) S 16276 16278 13008 0 -1 64 15118 441 0 0 16 3 2 1 16 0 9 0 2000324422 888946688 22104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16282] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16282/stat : 16282 (java) S 16276 16278 13008 0 -1 64 21 441 0 0 0 0 2 1 16 0 9 0 2000324423 888946688 22104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16283] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16283/stat : 16283 (java) S 16276 16278 13008 0 -1 64 17 441 0 0 0 0 2 1 15 0 9 0 2000324423 888946688 22104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16284] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16284/stat : 16284 (java) S 16276 16278 13008 0 -1 64 1 441 0 0 0 0 2 1 18 0 9 0 2000324425 888946688 22104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16285] ppid=16276 vsize=868112 CPUtime=0.34
/proc/16278/task/16285/stat : 16285 (java) S 16276 16278 13008 0 -1 64 898 441 0 0 30 1 2 1 15 0 9 0 2000324425 888946688 22104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16286] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16286/stat : 16286 (java) S 16276 16278 13008 0 -1 64 1 441 0 0 0 0 2 1 19 0 9 0 2000324425 888946688 22104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16287] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16287/stat : 16287 (java) S 16276 16278 13008 0 -1 64 4 441 0 0 0 0 2 1 15 0 9 0 2000324425 888946688 22104 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 868112
[startup+6.30234 s]
/proc/loadavg: 2.19 2.21 2.09 3/91 16291
/proc/meminfo: memFree=1560856/2055920 swapFree=4179680/4192956
[pid=16278] ppid=16276 vsize=868112 CPUtime=6.21
/proc/16278/stat : 16278 (java) S 16276 16278 13008 0 -1 0 41975 441 1 0 586 32 2 1 18 0 9 0 2000324419 888946688 27900 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16278/statm: 217028 27900 2637 9 0 211534 0
[pid=16278/tid=16279] ppid=16276 vsize=868112 CPUtime=5.55
/proc/16278/task/16279/stat : 16279 (java) R 16276 16278 13008 0 -1 64 19709 441 1 0 529 23 2 1 25 0 9 0 2000324420 888946688 27900 996147200 134512640 134550740 4294955968 18446744073709551615 4127175200 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16281] ppid=16276 vsize=868112 CPUtime=0.28
/proc/16278/task/16281/stat : 16281 (java) S 16276 16278 13008 0 -1 64 20482 441 0 0 20 5 2 1 16 0 9 0 2000324422 888946688 27900 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16282] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16282/stat : 16282 (java) S 16276 16278 13008 0 -1 64 21 441 0 0 0 0 2 1 16 0 9 0 2000324423 888946688 27900 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16283] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16283/stat : 16283 (java) S 16276 16278 13008 0 -1 64 17 441 0 0 0 0 2 1 16 0 9 0 2000324423 888946688 27900 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16284] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16284/stat : 16284 (java) S 16276 16278 13008 0 -1 64 1 441 0 0 0 0 2 1 18 0 9 0 2000324425 888946688 27900 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16285] ppid=16276 vsize=868112 CPUtime=0.39
/proc/16278/task/16285/stat : 16285 (java) S 16276 16278 13008 0 -1 64 927 441 0 0 35 1 2 1 15 0 9 0 2000324425 888946688 27900 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16286] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16286/stat : 16286 (java) S 16276 16278 13008 0 -1 64 1 441 0 0 0 0 2 1 19 0 9 0 2000324425 888946688 27900 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16287] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16287/stat : 16287 (java) S 16276 16278 13008 0 -1 64 33 441 0 0 0 0 2 1 15 0 9 0 2000324425 888946688 27900 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 868112
[startup+12.7017 s]
/proc/loadavg: 2.17 2.21 2.09 3/91 16291
/proc/meminfo: memFree=1557336/2055920 swapFree=4179680/4192956
[pid=16278] ppid=16276 vsize=868112 CPUtime=12.54
/proc/16278/stat : 16278 (java) S 16276 16278 13008 0 -1 0 42852 441 1 0 1219 32 2 1 18 0 9 0 2000324419 888946688 28730 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16278/statm: 217028 28730 2637 9 0 211534 0
[pid=16278/tid=16279] ppid=16276 vsize=868112 CPUtime=11.8
/proc/16278/task/16279/stat : 16279 (java) R 16276 16278 13008 0 -1 64 19719 441 1 0 1154 23 2 1 25 0 9 0 2000324420 888946688 28730 996147200 134512640 134550740 4294955968 18446744073709551615 4126741803 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16281] ppid=16276 vsize=868112 CPUtime=0.33
/proc/16278/task/16281/stat : 16281 (java) S 16276 16278 13008 0 -1 64 21300 441 0 0 25 5 2 1 16 0 9 0 2000324422 888946688 28730 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16282] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16282/stat : 16282 (java) S 16276 16278 13008 0 -1 64 21 441 0 0 0 0 2 1 16 0 9 0 2000324423 888946688 28730 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16283] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16283/stat : 16283 (java) S 16276 16278 13008 0 -1 64 17 441 0 0 0 0 2 1 16 0 9 0 2000324423 888946688 28730 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16284] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16284/stat : 16284 (java) S 16276 16278 13008 0 -1 64 1 441 0 0 0 0 2 1 18 0 9 0 2000324425 888946688 28730 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16285] ppid=16276 vsize=868112 CPUtime=0.43
/proc/16278/task/16285/stat : 16285 (java) S 16276 16278 13008 0 -1 64 976 441 0 0 39 1 2 1 16 0 9 0 2000324425 888946688 28730 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16286] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16286/stat : 16286 (java) S 16276 16278 13008 0 -1 64 1 441 0 0 0 0 2 1 19 0 9 0 2000324425 888946688 28730 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16287] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16287/stat : 16287 (java) S 16276 16278 13008 0 -1 64 33 441 0 0 0 0 2 1 15 0 9 0 2000324425 888946688 28730 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 868112
[startup+25.5023 s]
/proc/loadavg: 2.13 2.20 2.09 3/91 16291
/proc/meminfo: memFree=1557144/2055920 swapFree=4179680/4192956
[pid=16278] ppid=16276 vsize=868112 CPUtime=25.21
/proc/16278/stat : 16278 (java) S 16276 16278 13008 0 -1 0 42927 441 1 0 2486 32 2 1 18 0 9 0 2000324419 888946688 28791 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16278/statm: 217028 28791 2637 9 0 211534 0
[pid=16278/tid=16279] ppid=16276 vsize=868112 CPUtime=24.45
/proc/16278/task/16279/stat : 16279 (java) R 16276 16278 13008 0 -1 64 19733 441 1 0 2419 23 2 1 25 0 9 0 2000324420 888946688 28791 996147200 134512640 134550740 4294955968 18446744073709551615 4126652251 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16281] ppid=16276 vsize=868112 CPUtime=0.36
/proc/16278/task/16281/stat : 16281 (java) S 16276 16278 13008 0 -1 64 21359 441 0 0 28 5 2 1 16 0 9 0 2000324422 888946688 28791 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16282] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16282/stat : 16282 (java) S 16276 16278 13008 0 -1 64 21 441 0 0 0 0 2 1 16 0 9 0 2000324423 888946688 28791 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16283] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16283/stat : 16283 (java) S 16276 16278 13008 0 -1 64 17 441 0 0 0 0 2 1 16 0 9 0 2000324423 888946688 28791 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16284] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16284/stat : 16284 (java) S 16276 16278 13008 0 -1 64 1 441 0 0 0 0 2 1 18 0 9 0 2000324425 888946688 28791 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16285] ppid=16276 vsize=868112 CPUtime=0.43
/proc/16278/task/16285/stat : 16285 (java) S 16276 16278 13008 0 -1 64 978 441 0 0 39 1 2 1 16 0 9 0 2000324425 888946688 28791 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16286] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16286/stat : 16286 (java) S 16276 16278 13008 0 -1 64 1 441 0 0 0 0 2 1 19 0 9 0 2000324425 888946688 28791 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16287] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16287/stat : 16287 (java) S 16276 16278 13008 0 -1 64 33 441 0 0 0 0 2 1 15 0 9 0 2000324425 888946688 28791 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 868112
[startup+51.1026 s]
/proc/loadavg: 2.09 2.18 2.08 3/91 16291
/proc/meminfo: memFree=1556952/2055920 swapFree=4179680/4192956
[pid=16278] ppid=16276 vsize=868112 CPUtime=50.57
/proc/16278/stat : 16278 (java) S 16276 16278 13008 0 -1 0 42988 441 1 0 5022 32 2 1 18 0 9 0 2000324419 888946688 28816 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16278/statm: 217028 28816 2637 9 0 211534 0
[pid=16278/tid=16279] ppid=16276 vsize=868112 CPUtime=49.72
/proc/16278/task/16279/stat : 16279 (java) R 16276 16278 13008 0 -1 64 19768 441 1 0 4946 23 2 1 25 0 9 0 2000324420 888946688 28816 996147200 134512640 134550740 4294955968 18446744073709551615 4127171792 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16281] ppid=16276 vsize=868112 CPUtime=0.44
################
# More data... #
################
/proc/16278/task/16283/stat : 16283 (java) S 16276 16278 13008 0 -1 64 17 441 0 0 0 0 2 1 16 0 9 0 2000324423 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16284] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16284/stat : 16284 (java) S 16276 16278 13008 0 -1 64 1 441 0 0 0 0 2 1 18 0 9 0 2000324425 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16285] ppid=16276 vsize=868112 CPUtime=0.44
/proc/16278/task/16285/stat : 16285 (java) S 16276 16278 13008 0 -1 64 982 441 0 0 40 1 2 1 16 0 9 0 2000324425 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16286] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16286/stat : 16286 (java) S 16276 16278 13008 0 -1 64 1 441 0 0 0 0 2 1 19 0 9 0 2000324425 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16287] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16287/stat : 16287 (java) S 16276 16278 13008 0 -1 64 33 441 0 0 0 0 2 1 15 0 9 0 2000324425 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1527.5
Current children cumulated vsize (KiB) 868112
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/91 16291
/proc/meminfo: memFree=1555416/2055920 swapFree=4179680/4192956
[pid=16278] ppid=16276 vsize=868112 CPUtime=1586.93
/proc/16278/stat : 16278 (java) S 16276 16278 13008 0 -1 0 44564 441 1 0 158641 49 2 1 18 0 9 0 2000324419 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16278/statm: 217028 28865 2637 9 0 211534 0
[pid=16278/tid=16279] ppid=16276 vsize=868112 CPUtime=1583.71
/proc/16278/task/16279/stat : 16279 (java) R 16276 16278 13008 0 -1 64 21294 441 1 0 158338 30 2 1 25 0 9 0 2000324420 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4127181603 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16281] ppid=16276 vsize=868112 CPUtime=2.79
/proc/16278/task/16281/stat : 16281 (java) S 16276 16278 13008 0 -1 64 21431 441 0 0 261 15 2 1 16 0 9 0 2000324422 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16282] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16282/stat : 16282 (java) S 16276 16278 13008 0 -1 64 21 441 0 0 0 0 2 1 16 0 9 0 2000324423 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16283] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16283/stat : 16283 (java) S 16276 16278 13008 0 -1 64 17 441 0 0 0 0 2 1 16 0 9 0 2000324423 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16284] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16284/stat : 16284 (java) S 16276 16278 13008 0 -1 64 1 441 0 0 0 0 2 1 18 0 9 0 2000324425 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16285] ppid=16276 vsize=868112 CPUtime=0.44
/proc/16278/task/16285/stat : 16285 (java) S 16276 16278 13008 0 -1 64 982 441 0 0 40 1 2 1 16 0 9 0 2000324425 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16286] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16286/stat : 16286 (java) S 16276 16278 13008 0 -1 64 1 441 0 0 0 0 2 1 19 0 9 0 2000324425 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16287] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16287/stat : 16287 (java) S 16276 16278 13008 0 -1 64 33 441 0 0 0 0 2 1 15 0 9 0 2000324425 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1586.93
Current children cumulated vsize (KiB) 868112
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/83 16322
/proc/meminfo: memFree=1712296/2055920 swapFree=4179680/4192956
[pid=16278] ppid=16276 vsize=868112 CPUtime=1646.74
/proc/16278/stat : 16278 (java) S 16276 16278 13008 0 -1 0 44626 441 1 0 164621 50 2 1 18 0 9 0 2000324419 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16278/statm: 217028 28865 2637 9 0 211534 0
[pid=16278/tid=16279] ppid=16276 vsize=868112 CPUtime=1643.43
/proc/16278/task/16279/stat : 16279 (java) R 16276 16278 13008 0 -1 64 21356 441 1 0 164309 31 2 1 25 0 9 0 2000324420 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4126652248 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16278/tid=16281] ppid=16276 vsize=868112 CPUtime=2.88
/proc/16278/task/16281/stat : 16281 (java) S 16276 16278 13008 0 -1 64 21431 441 0 0 270 15 2 1 16 0 9 0 2000324422 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16278/tid=16282] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16282/stat : 16282 (java) S 16276 16278 13008 0 -1 64 21 441 0 0 0 0 2 1 16 0 9 0 2000324423 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16283] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16283/stat : 16283 (java) S 16276 16278 13008 0 -1 64 17 441 0 0 0 0 2 1 16 0 9 0 2000324423 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16284] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16284/stat : 16284 (java) S 16276 16278 13008 0 -1 64 1 441 0 0 0 0 2 1 18 0 9 0 2000324425 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16285] ppid=16276 vsize=868112 CPUtime=0.44
/proc/16278/task/16285/stat : 16285 (java) S 16276 16278 13008 0 -1 64 982 441 0 0 40 1 2 1 16 0 9 0 2000324425 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16286] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16286/stat : 16286 (java) S 16276 16278 13008 0 -1 64 1 441 0 0 0 0 2 1 19 0 9 0 2000324425 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16287] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16287/stat : 16287 (java) S 16276 16278 13008 0 -1 64 33 441 0 0 0 0 2 1 15 0 9 0 2000324425 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1646.74
Current children cumulated vsize (KiB) 868112
[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/83 16324
/proc/meminfo: memFree=1712104/2055920 swapFree=4179680/4192956
[pid=16278] ppid=16276 vsize=868112 CPUtime=1706.71
/proc/16278/stat : 16278 (java) S 16276 16278 13008 0 -1 0 44693 441 1 0 170617 51 2 1 18 0 9 0 2000324419 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16278/statm: 217028 28865 2637 9 0 211534 0
[pid=16278/tid=16279] ppid=16276 vsize=868112 CPUtime=1703.3
/proc/16278/task/16279/stat : 16279 (java) R 16276 16278 13008 0 -1 64 21423 441 1 0 170296 31 2 1 25 0 9 0 2000324420 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4127188065 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16278/tid=16281] ppid=16276 vsize=868112 CPUtime=2.98
/proc/16278/task/16281/stat : 16281 (java) S 16276 16278 13008 0 -1 64 21431 441 0 0 280 15 2 1 17 0 9 0 2000324422 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16278/tid=16282] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16282/stat : 16282 (java) S 16276 16278 13008 0 -1 64 21 441 0 0 0 0 2 1 16 0 9 0 2000324423 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16283] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16283/stat : 16283 (java) S 16276 16278 13008 0 -1 64 17 441 0 0 0 0 2 1 16 0 9 0 2000324423 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16284] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16284/stat : 16284 (java) S 16276 16278 13008 0 -1 64 1 441 0 0 0 0 2 1 18 0 9 0 2000324425 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16285] ppid=16276 vsize=868112 CPUtime=0.44
/proc/16278/task/16285/stat : 16285 (java) S 16276 16278 13008 0 -1 64 982 441 0 0 40 1 2 1 16 0 9 0 2000324425 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16286] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16286/stat : 16286 (java) S 16276 16278 13008 0 -1 64 1 441 0 0 0 0 2 1 19 0 9 0 2000324425 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16287] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16287/stat : 16287 (java) S 16276 16278 13008 0 -1 64 33 441 0 0 0 0 2 1 15 0 9 0 2000324425 888946688 28865 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1706.71
Current children cumulated vsize (KiB) 868112
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/83 16324
/proc/meminfo: memFree=1712040/2055920 swapFree=4179680/4192956
[pid=16278] ppid=16276 vsize=868112 CPUtime=1766.68
/proc/16278/stat : 16278 (java) S 16276 16278 13008 0 -1 0 44770 441 1 0 176613 52 2 1 18 0 9 0 2000324419 888946688 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16278/statm: 217028 28869 2637 9 0 211534 0
[pid=16278/tid=16279] ppid=16276 vsize=868112 CPUtime=1763.17
/proc/16278/task/16279/stat : 16279 (java) R 16276 16278 13008 0 -1 64 21496 441 1 0 176283 31 2 1 25 0 9 0 2000324420 888946688 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4125952076 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16278/tid=16281] ppid=16276 vsize=868112 CPUtime=3.08
/proc/16278/task/16281/stat : 16281 (java) S 16276 16278 13008 0 -1 64 21435 441 0 0 289 16 2 1 17 0 9 0 2000324422 888946688 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16278/tid=16282] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16282/stat : 16282 (java) S 16276 16278 13008 0 -1 64 21 441 0 0 0 0 2 1 16 0 9 0 2000324423 888946688 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16283] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16283/stat : 16283 (java) S 16276 16278 13008 0 -1 64 17 441 0 0 0 0 2 1 16 0 9 0 2000324423 888946688 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16284] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16284/stat : 16284 (java) S 16276 16278 13008 0 -1 64 1 441 0 0 0 0 2 1 18 0 9 0 2000324425 888946688 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16285] ppid=16276 vsize=868112 CPUtime=0.44
/proc/16278/task/16285/stat : 16285 (java) S 16276 16278 13008 0 -1 64 982 441 0 0 40 1 2 1 16 0 9 0 2000324425 888946688 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16286] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16286/stat : 16286 (java) S 16276 16278 13008 0 -1 64 1 441 0 0 0 0 2 1 19 0 9 0 2000324425 888946688 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16287] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16287/stat : 16287 (java) S 16276 16278 13008 0 -1 64 33 441 0 0 0 0 2 1 15 0 9 0 2000324425 888946688 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1766.68
Current children cumulated vsize (KiB) 868112
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.7 s]
/proc/loadavg: 2.00 2.02 2.04 3/83 16324
/proc/meminfo: memFree=1712040/2055920 swapFree=4179680/4192956
[pid=16278] ppid=16276 vsize=868112 CPUtime=1800.07
/proc/16278/stat : 16278 (java) S 16276 16278 13008 0 -1 0 44810 441 1 0 179952 52 2 1 18 0 9 0 2000324419 888946688 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16278/statm: 217028 28869 2637 9 0 211534 0
[pid=16278/tid=16279] ppid=16276 vsize=868112 CPUtime=1796.52
/proc/16278/task/16279/stat : 16279 (java) R 16276 16278 13008 0 -1 64 21536 441 1 0 179617 32 2 1 25 0 9 0 2000324420 888946688 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4127178921 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16278/tid=16281] ppid=16276 vsize=868112 CPUtime=3.12
/proc/16278/task/16281/stat : 16281 (java) S 16276 16278 13008 0 -1 64 21435 441 0 0 293 16 2 1 16 0 9 0 2000324422 888946688 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16278/tid=16282] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16282/stat : 16282 (java) S 16276 16278 13008 0 -1 64 21 441 0 0 0 0 2 1 16 0 9 0 2000324423 888946688 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16283] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16283/stat : 16283 (java) S 16276 16278 13008 0 -1 64 17 441 0 0 0 0 2 1 16 0 9 0 2000324423 888946688 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16284] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16284/stat : 16284 (java) S 16276 16278 13008 0 -1 64 1 441 0 0 0 0 2 1 18 0 9 0 2000324425 888946688 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16285] ppid=16276 vsize=868112 CPUtime=0.44
/proc/16278/task/16285/stat : 16285 (java) S 16276 16278 13008 0 -1 64 982 441 0 0 40 1 2 1 16 0 9 0 2000324425 888946688 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16286] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16286/stat : 16286 (java) S 16276 16278 13008 0 -1 64 1 441 0 0 0 0 2 1 19 0 9 0 2000324425 888946688 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16287] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16287/stat : 16287 (java) S 16276 16278 13008 0 -1 64 33 441 0 0 0 0 2 1 15 0 9 0 2000324425 888946688 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 868112
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1815.7 s]
/proc/loadavg: 2.00 2.02 2.04 3/83 16324
/proc/meminfo: memFree=1712040/2055920 swapFree=4179680/4192956
[pid=16278] ppid=16276 vsize=868112 CPUtime=1800.07
/proc/16278/stat : 16278 (java) S 16276 16278 13008 0 -1 0 44810 441 1 0 179952 52 2 1 18 0 9 0 2000324419 888946688 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16278/statm: 217028 28869 2637 9 0 211534 0
[pid=16278/tid=16279] ppid=16276 vsize=868112 CPUtime=1796.52
/proc/16278/task/16279/stat : 16279 (java) R 16276 16278 13008 0 -1 64 21536 441 1 0 179617 32 2 1 25 0 9 0 2000324420 888946688 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4127178921 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16278/tid=16281] ppid=16276 vsize=868112 CPUtime=3.12
/proc/16278/task/16281/stat : 16281 (java) S 16276 16278 13008 0 -1 64 21435 441 0 0 293 16 2 1 16 0 9 0 2000324422 888946688 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16278/tid=16282] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16282/stat : 16282 (java) S 16276 16278 13008 0 -1 64 21 441 0 0 0 0 2 1 16 0 9 0 2000324423 888946688 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16283] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16283/stat : 16283 (java) S 16276 16278 13008 0 -1 64 17 441 0 0 0 0 2 1 16 0 9 0 2000324423 888946688 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16284] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16284/stat : 16284 (java) S 16276 16278 13008 0 -1 64 1 441 0 0 0 0 2 1 18 0 9 0 2000324425 888946688 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16285] ppid=16276 vsize=868112 CPUtime=0.44
/proc/16278/task/16285/stat : 16285 (java) S 16276 16278 13008 0 -1 64 982 441 0 0 40 1 2 1 16 0 9 0 2000324425 888946688 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16286] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16286/stat : 16286 (java) S 16276 16278 13008 0 -1 64 1 441 0 0 0 0 2 1 19 0 9 0 2000324425 888946688 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16278/tid=16287] ppid=16276 vsize=868112 CPUtime=0.03
/proc/16278/task/16287/stat : 16287 (java) S 16276 16278 13008 0 -1 64 33 441 0 0 0 0 2 1 15 0 9 0 2000324425 888946688 28869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 868112
Child status: 143
Real time (s): 1815.78
CPU time (s): 1800.17
CPU user time (s): 1799.61
CPU system time (s): 0.553915
CPU usage (%): 99.14
Max. virtual memory (cumulated for all children) (KiB): 868160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.553915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45282
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= 50205
involuntary context switches= 86150
runsolver used 2.18367 second user time and 6.12107 second system time
The end
Begin job on node54 at 2008-07-05 01:18:38
IDJOB=1080862
IDBENCH=57035
IDSOLVER=363
FILE ID=node54/1080862-1215213518
PBS_JOBID= 7881665
Free space on /tmp= 66528 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/js-taillard-20-15/normalized-js-taillard-20-15-95-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-1080862-1215213518/watcher-1080862-1215213518 -o /tmp/evaluation-result-1080862-1215213518/solver-1080862-1215213518 -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-1080862-1215213518.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 062c12e95edc5eb24e32ca6160b7df4f
RANDOM SEED=645033545
node54.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.279
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.279
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: 1663304 kB
Buffers: 25364 kB
Cached: 139056 kB
SwapCached: 6328 kB
Active: 301708 kB
Inactive: 34684 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1663304 kB
SwapTotal: 4192956 kB
SwapFree: 4179680 kB
Dirty: 2480 kB
Writeback: 0 kB
Mapped: 188344 kB
Slab: 41140 kB
Committed_AS: 4151616 kB
PageTables: 2152 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66524 MiB
End job on node54 at 2008-07-05 01:48:55