0.07/0.08
0.07/0.08 Abscon 112 (May, 2008)
0.19/0.23
0.19/0.23 configuration
0.19/0.23 name=esac.xml
0.28/0.31
0.28/0.31 instance
0.28/0.31 name=HOME/instance-1085489-1215234042.xml
0.28/0.35
0.28/0.35 domains being loaded...
0.28/0.36
0.28/0.36 variables being loaded...
0.39/0.42 nbVariables=100 nbDomainTypes=46 minDomainSize=116 maxDomainSize=135 nbTotalValues=12720
0.39/0.42 => wckTime=0.187 cpuTime=0.12 mem=7M886
0.39/0.42
0.39/0.42 predicates being loaded...
0.39/0.49
0.39/0.49 constraints being loaded...
2.35/2.43 nbConstraints=850 nbGlobalConstraints=5 nbConvertedConstraints=845 nbConvertConstraintsChecks=5791879
2.35/2.43 nbExtensionStructures=358 nbSharedExtensionStructures=617 nbConflictsStructures=358
2.35/2.43 nbSharedConflictsStructures=617 nbSharedBinaryRepresentations=73150 minDegree=11 maxDegree=24 minArity=2
2.35/2.43 avgArity=2.05 maxArity=11 nbGenerators=0 nbFusions=0 symmetryWckTime=0.11 symmetryCpuTime=0.06 nbCliques=5
2.35/2.43 => wckTime=2.192 cpuTime=1.9 mem=26M489
2.45/2.51
2.45/2.51 solver IterativeSystematicSolver being built...
2.45/2.57
2.45/2.57 INFO : Forward propagation technique limited
2.55/2.64 => wckTime=2.403 cpuTime=2.01 mem=22M757
3.93/4.03
3.93/4.03 preprocessing
3.93/4.03 nbConstraintChecks=17859905 nbPropagations=43579 nbRevisions=142130 nbUselessRevisions=91050
3.93/4.03 nbSingletonTests=1686 nbEffectiveSingletonTests=30 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=96
3.93/4.03 detectedInconsistency=no
3.93/4.03 => wckTime=1.382 cpuTime=1.32 mem=14M164
4.52/4.63
4.52/4.63 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=22M582)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085489-1215234042/watcher-1085489-1215234042 -o /tmp/evaluation-result-1085489-1215234042/solver-1085489-1215234042 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1085489-1215234042.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.99 1.97 1.99 4/81 17319
/proc/meminfo: memFree=1592784/2055920 swapFree=4174728/4192956
[pid=17319] ppid=17317 vsize=1616 CPUtime=0
/proc/17319/stat : 17319 (java) D 17317 17319 14387 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 1007806768 1654784 148 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/17319/statm: 404 148 122 9 0 46 0
[startup+0.0842191 s]
/proc/loadavg: 1.99 1.97 1.99 4/81 17319
/proc/meminfo: memFree=1592784/2055920 swapFree=4174728/4192956
[pid=17319] ppid=17317 vsize=865856 CPUtime=0.07
/proc/17319/stat : 17319 (java) S 17317 17319 14387 0 -1 0 3557 0 1 0 5 2 0 0 18 0 9 0 1007806768 886636544 3047 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17319/statm: 216464 3047 1634 9 0 211026 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865856
[startup+0.10122 s]
/proc/loadavg: 1.99 1.97 1.99 4/81 17319
/proc/meminfo: memFree=1592784/2055920 swapFree=4174728/4192956
[pid=17319] ppid=17317 vsize=865884 CPUtime=0.09
/proc/17319/stat : 17319 (java) S 17317 17319 14387 0 -1 0 3752 0 1 0 7 2 0 0 18 0 9 0 1007806768 886665216 3209 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17319/statm: 216471 3209 1701 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.30126 s]
/proc/loadavg: 1.99 1.97 1.99 4/81 17319
/proc/meminfo: memFree=1592784/2055920 swapFree=4174728/4192956
[pid=17319] ppid=17317 vsize=866196 CPUtime=0.28
/proc/17319/stat : 17319 (java) S 17317 17319 14387 0 -1 0 5622 0 1 0 25 3 0 0 18 0 9 0 1007806768 886984704 5036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17319/statm: 216549 5036 1903 9 0 211097 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866196
[startup+0.701333 s]
/proc/loadavg: 1.99 1.97 1.99 4/81 17319
/proc/meminfo: memFree=1592784/2055920 swapFree=4174728/4192956
[pid=17319] ppid=17317 vsize=867684 CPUtime=0.68
/proc/17319/stat : 17319 (java) S 17317 17319 14387 0 -1 0 8275 0 1 0 63 5 0 0 18 0 9 0 1007806768 888508416 7635 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17319/statm: 216921 7635 2011 9 0 211427 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867684
[startup+1.50149 s]
/proc/loadavg: 2.07 1.99 2.00 3/90 17328
/proc/meminfo: memFree=1567880/2055920 swapFree=4174728/4192956
[pid=17319] ppid=17317 vsize=867684 CPUtime=1.47
/proc/17319/stat : 17319 (java) S 17317 17319 14387 0 -1 0 9607 0 1 0 139 8 0 0 18 0 9 0 1007806768 888508416 8964 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17319/statm: 216921 8964 2014 9 0 211427 0
[pid=17319/tid=17321] ppid=17317 vsize=867684 CPUtime=1.26
/proc/17319/task/17321/stat : 17321 (java) R 17317 17319 14387 0 -1 64 8214 0 1 0 119 7 0 0 25 0 9 0 1007806769 888508416 8964 996147200 134512640 134550740 4294955968 18446744073709551615 4126873727 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17322] ppid=17317 vsize=867684 CPUtime=0
/proc/17319/task/17322/stat : 17322 (java) S 17317 17319 14387 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 1007806770 888508416 8964 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17323] ppid=17317 vsize=867684 CPUtime=0
/proc/17319/task/17323/stat : 17323 (java) S 17317 17319 14387 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 1007806771 888508416 8964 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17324] ppid=17317 vsize=867684 CPUtime=0
/proc/17319/task/17324/stat : 17324 (java) S 17317 17319 14387 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1007806771 888508416 8964 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17325] ppid=17317 vsize=867684 CPUtime=0
/proc/17319/task/17325/stat : 17325 (java) S 17317 17319 14387 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1007806773 888508416 8964 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17326] ppid=17317 vsize=867684 CPUtime=0.2
/proc/17319/task/17326/stat : 17326 (java) S 17317 17319 14387 0 -1 64 696 0 0 0 20 0 0 0 16 0 9 0 1007806773 888508416 8964 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17327] ppid=17317 vsize=867684 CPUtime=0
/proc/17319/task/17327/stat : 17327 (java) S 17317 17319 14387 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1007806773 888508416 8964 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17328] ppid=17317 vsize=867684 CPUtime=0
/proc/17319/task/17328/stat : 17328 (java) S 17317 17319 14387 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1007806773 888508416 8964 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867684
[startup+3.10279 s]
/proc/loadavg: 2.07 1.99 2.00 3/90 17328
/proc/meminfo: memFree=1561224/2055920 swapFree=4174728/4192956
[pid=17319] ppid=17317 vsize=868452 CPUtime=3.04
/proc/17319/stat : 17319 (java) S 17317 17319 14387 0 -1 0 21988 319 1 0 287 17 0 0 18 0 9 0 1007806768 889294848 13869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17319/statm: 217113 13869 2632 9 0 211619 0
[pid=17319/tid=17321] ppid=17317 vsize=868452 CPUtime=2.64
/proc/17319/task/17321/stat : 17321 (java) R 17317 17319 14387 0 -1 64 16231 319 1 0 251 13 0 0 25 0 9 0 1007806769 889294848 13869 996147200 134512640 134550740 4294955968 18446744073709551615 4127135124 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17322] ppid=17317 vsize=868452 CPUtime=0.05
/proc/17319/task/17322/stat : 17322 (java) S 17317 17319 14387 0 -1 64 3998 319 0 0 5 0 0 0 16 0 9 0 1007806770 889294848 13869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17323] ppid=17317 vsize=868452 CPUtime=0
/proc/17319/task/17323/stat : 17323 (java) S 17317 17319 14387 0 -1 64 16 319 0 0 0 0 0 0 17 0 9 0 1007806771 889294848 13869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17324] ppid=17317 vsize=868452 CPUtime=0
/proc/17319/task/17324/stat : 17324 (java) S 17317 17319 14387 0 -1 64 11 319 0 0 0 0 0 0 16 0 9 0 1007806771 889294848 13869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17325] ppid=17317 vsize=868452 CPUtime=0
/proc/17319/task/17325/stat : 17325 (java) S 17317 17319 14387 0 -1 64 1 319 0 0 0 0 0 0 18 0 9 0 1007806773 889294848 13869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17326] ppid=17317 vsize=868452 CPUtime=0.31
/proc/17319/task/17326/stat : 17326 (java) S 17317 17319 14387 0 -1 64 922 319 0 0 30 1 0 0 15 0 9 0 1007806773 889294848 13869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17327] ppid=17317 vsize=868452 CPUtime=0
/proc/17319/task/17327/stat : 17327 (java) S 17317 17319 14387 0 -1 64 1 319 0 0 0 0 0 0 19 0 9 0 1007806773 889294848 13869 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17328] ppid=17317 vsize=868452 CPUtime=0
/proc/17319/task/17328/stat : 17328 (java) S 17317 17319 14387 0 -1 64 1 319 0 0 0 0 0 0 15 0 9 0 1007806773 889294848 13869 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) 868452
[startup+6.3014 s]
/proc/loadavg: 2.06 1.99 2.00 3/90 17332
/proc/meminfo: memFree=1525064/2055920 swapFree=4174728/4192956
[pid=17319] ppid=17317 vsize=868364 CPUtime=6.2
/proc/17319/stat : 17319 (java) S 17317 17319 14387 0 -1 0 27717 319 1 0 600 20 0 0 18 0 9 0 1007806768 889204736 19408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17319/statm: 217091 19408 2614 9 0 211619 0
[pid=17319/tid=17321] ppid=17317 vsize=868364 CPUtime=5.74
/proc/17319/task/17321/stat : 17321 (java) R 17317 17319 14387 0 -1 64 20791 319 1 0 558 16 0 0 25 0 9 0 1007806769 889204736 19408 996147200 134512640 134550740 4294955968 18446744073709551615 4127038216 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17322] ppid=17317 vsize=868364 CPUtime=0.07
/proc/17319/task/17322/stat : 17322 (java) S 17317 17319 14387 0 -1 64 5105 319 0 0 6 1 0 0 17 0 9 0 1007806770 889204736 19408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17323] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17323/stat : 17323 (java) S 17317 17319 14387 0 -1 64 16 319 0 0 0 0 0 0 16 0 9 0 1007806771 889204736 19408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17324] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17324/stat : 17324 (java) S 17317 17319 14387 0 -1 64 11 319 0 0 0 0 0 0 16 0 9 0 1007806771 889204736 19408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17325] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17325/stat : 17325 (java) S 17317 17319 14387 0 -1 64 1 319 0 0 0 0 0 0 18 0 9 0 1007806773 889204736 19408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17326] ppid=17317 vsize=868364 CPUtime=0.36
/proc/17319/task/17326/stat : 17326 (java) S 17317 17319 14387 0 -1 64 957 319 0 0 35 1 0 0 15 0 9 0 1007806773 889204736 19408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17327] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17327/stat : 17327 (java) S 17317 17319 14387 0 -1 64 1 319 0 0 0 0 0 0 19 0 9 0 1007806773 889204736 19408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17328] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17328/stat : 17328 (java) S 17317 17319 14387 0 -1 64 28 319 0 0 0 0 0 0 15 0 9 0 1007806773 889204736 19408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 868364
[startup+12.7026 s]
/proc/loadavg: 2.06 1.99 2.00 3/90 17332
/proc/meminfo: memFree=1520392/2055920 swapFree=4174728/4192956
[pid=17319] ppid=17317 vsize=868364 CPUtime=12.54
/proc/17319/stat : 17319 (java) S 17317 17319 14387 0 -1 0 28860 319 1 0 1233 21 0 0 18 0 9 0 1007806768 889204736 20537 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17319/statm: 217091 20537 2614 9 0 211619 0
[pid=17319/tid=17321] ppid=17317 vsize=868364 CPUtime=12.05
/proc/17319/task/17321/stat : 17321 (java) R 17317 17319 14387 0 -1 64 20796 319 1 0 1189 16 0 0 25 0 9 0 1007806769 889204736 20537 996147200 134512640 134550740 4294955968 18446744073709551615 4127207109 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17322] ppid=17317 vsize=868364 CPUtime=0.08
/proc/17319/task/17322/stat : 17322 (java) S 17317 17319 14387 0 -1 64 6231 319 0 0 7 1 0 0 16 0 9 0 1007806770 889204736 20537 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17323] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17323/stat : 17323 (java) S 17317 17319 14387 0 -1 64 16 319 0 0 0 0 0 0 16 0 9 0 1007806771 889204736 20537 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17324] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17324/stat : 17324 (java) S 17317 17319 14387 0 -1 64 11 319 0 0 0 0 0 0 16 0 9 0 1007806771 889204736 20537 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17325] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17325/stat : 17325 (java) S 17317 17319 14387 0 -1 64 1 319 0 0 0 0 0 0 18 0 9 0 1007806773 889204736 20537 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17326] ppid=17317 vsize=868364 CPUtime=0.37
/proc/17319/task/17326/stat : 17326 (java) S 17317 17319 14387 0 -1 64 969 319 0 0 36 1 0 0 16 0 9 0 1007806773 889204736 20537 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17327] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17327/stat : 17327 (java) S 17317 17319 14387 0 -1 64 1 319 0 0 0 0 0 0 19 0 9 0 1007806773 889204736 20537 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17328] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17328/stat : 17328 (java) R 17317 17319 14387 0 -1 64 28 319 0 0 0 0 0 0 15 0 9 0 1007806773 889204736 20537 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) 868364
[startup+25.5011 s]
/proc/loadavg: 2.05 1.99 2.00 3/90 17338
/proc/meminfo: memFree=1520384/2055920 swapFree=4174728/4192956
[pid=17319] ppid=17317 vsize=868364 CPUtime=25.19
/proc/17319/stat : 17319 (java) S 17317 17319 14387 0 -1 0 28871 319 1 0 2498 21 0 0 18 0 9 0 1007806768 889204736 20544 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17319/statm: 217091 20544 2614 9 0 211619 0
[pid=17319/tid=17321] ppid=17317 vsize=868364 CPUtime=24.7
/proc/17319/task/17321/stat : 17321 (java) R 17317 17319 14387 0 -1 64 20799 319 1 0 2454 16 0 0 25 0 9 0 1007806769 889204736 20544 996147200 134512640 134550740 4294955968 18446744073709551615 4127228689 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17322] ppid=17317 vsize=868364 CPUtime=0.08
/proc/17319/task/17322/stat : 17322 (java) S 17317 17319 14387 0 -1 64 6237 319 0 0 7 1 0 0 16 0 9 0 1007806770 889204736 20544 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17323] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17323/stat : 17323 (java) S 17317 17319 14387 0 -1 64 16 319 0 0 0 0 0 0 16 0 9 0 1007806771 889204736 20544 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17324] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17324/stat : 17324 (java) S 17317 17319 14387 0 -1 64 11 319 0 0 0 0 0 0 16 0 9 0 1007806771 889204736 20544 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17325] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17325/stat : 17325 (java) S 17317 17319 14387 0 -1 64 1 319 0 0 0 0 0 0 18 0 9 0 1007806773 889204736 20544 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17326] ppid=17317 vsize=868364 CPUtime=0.37
/proc/17319/task/17326/stat : 17326 (java) S 17317 17319 14387 0 -1 64 971 319 0 0 36 1 0 0 16 0 9 0 1007806773 889204736 20544 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17327] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17327/stat : 17327 (java) S 17317 17319 14387 0 -1 64 1 319 0 0 0 0 0 0 19 0 9 0 1007806773 889204736 20544 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17328] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17328/stat : 17328 (java) S 17317 17319 14387 0 -1 64 28 319 0 0 0 0 0 0 15 0 9 0 1007806773 889204736 20544 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 868364
[startup+51.1019 s]
/proc/loadavg: 2.03 1.99 2.00 3/90 17338
/proc/meminfo: memFree=1520392/2055920 swapFree=4174728/4192956
[pid=17319] ppid=17317 vsize=868364 CPUtime=50.54
/proc/17319/stat : 17319 (java) S 17317 17319 14387 0 -1 0 28880 319 1 0 5033 21 0 0 18 0 9 0 1007806768 889204736 20546 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17319/statm: 217091 20546 2614 9 0 211619 0
[pid=17319/tid=17321] ppid=17317 vsize=868364 CPUtime=50.04
/proc/17319/task/17321/stat : 17321 (java) R 17317 17319 14387 0 -1 64 20806 319 1 0 4988 16 0 0 25 0 9 0 1007806769 889204736 20546 996147200 134512640 134550740 4294955968 18446744073709551615 4127135219 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17322] ppid=17317 vsize=868364 CPUtime=0.09
/proc/17319/task/17322/stat : 17322 (java) S 17317 17319 14387 0 -1 64 6239 319 0 0 8 1 0 0 16 0 9 0 1007806770 889204736 20546 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17323] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17323/stat : 17323 (java) S 17317 17319 14387 0 -1 64 16 319 0 0 0 0 0 0 16 0 9 0 1007806771 889204736 20546 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17324] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17324/stat : 17324 (java) S 17317 17319 14387 0 -1 64 11 319 0 0 0 0 0 0 16 0 9 0 1007806771 889204736 20546 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17325] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17325/stat : 17325 (java) S 17317 17319 14387 0 -1 64 1 319 0 0 0 0 0 0 18 0 9 0 1007806773 889204736 20546 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17326] ppid=17317 vsize=868364 CPUtime=0.37
/proc/17319/task/17326/stat : 17326 (java) S 17317 17319 14387 0 -1 64 971 319 0 0 36 1 0 0 16 0 9 0 1007806773 889204736 20546 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17327] ppid=17317 vsize=868364 CPUtime=0
################
# More data... #
################
/proc/17319/task/17324/stat : 17324 (java) S 17317 17319 14387 0 -1 64 11 319 0 0 0 0 0 0 16 0 9 0 1007806771 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17325] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17325/stat : 17325 (java) S 17317 17319 14387 0 -1 64 1 319 0 0 0 0 0 0 18 0 9 0 1007806773 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17326] ppid=17317 vsize=868364 CPUtime=0.37
/proc/17319/task/17326/stat : 17326 (java) S 17317 17319 14387 0 -1 64 971 319 0 0 36 1 0 0 16 0 9 0 1007806773 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17327] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17327/stat : 17327 (java) S 17317 17319 14387 0 -1 64 1 319 0 0 0 0 0 0 19 0 9 0 1007806773 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17328] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17328/stat : 17328 (java) S 17317 17319 14387 0 -1 64 28 319 0 0 0 0 0 0 15 0 9 0 1007806773 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1467.8
Current children cumulated vsize (KiB) 868364
[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 2.00 3/90 17338
/proc/meminfo: memFree=1519752/2055920 swapFree=4174728/4192956
[pid=17319] ppid=17317 vsize=868364 CPUtime=1527.23
/proc/17319/stat : 17319 (java) S 17317 17319 14387 0 -1 0 29276 319 1 0 152693 30 0 0 18 0 9 0 1007806768 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17319/statm: 217091 20597 2614 9 0 211619 0
[pid=17319/tid=17321] ppid=17317 vsize=868364 CPUtime=1526.45
/proc/17319/task/17321/stat : 17321 (java) R 17317 17319 14387 0 -1 64 21151 319 1 0 152622 23 0 0 25 0 9 0 1007806769 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4127127193 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17322] ppid=17317 vsize=868364 CPUtime=0.37
/proc/17319/task/17322/stat : 17322 (java) S 17317 17319 14387 0 -1 64 6290 319 0 0 34 3 0 0 17 0 9 0 1007806770 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17323] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17323/stat : 17323 (java) S 17317 17319 14387 0 -1 64 16 319 0 0 0 0 0 0 16 0 9 0 1007806771 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17324] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17324/stat : 17324 (java) S 17317 17319 14387 0 -1 64 11 319 0 0 0 0 0 0 16 0 9 0 1007806771 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17325] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17325/stat : 17325 (java) S 17317 17319 14387 0 -1 64 1 319 0 0 0 0 0 0 18 0 9 0 1007806773 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17326] ppid=17317 vsize=868364 CPUtime=0.37
/proc/17319/task/17326/stat : 17326 (java) S 17317 17319 14387 0 -1 64 971 319 0 0 36 1 0 0 16 0 9 0 1007806773 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17327] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17327/stat : 17327 (java) S 17317 17319 14387 0 -1 64 1 319 0 0 0 0 0 0 19 0 9 0 1007806773 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17328] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17328/stat : 17328 (java) S 17317 17319 14387 0 -1 64 28 319 0 0 0 0 0 0 15 0 9 0 1007806773 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1527.23
Current children cumulated vsize (KiB) 868364
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 2.00 3/90 17338
/proc/meminfo: memFree=1519688/2055920 swapFree=4174728/4192956
[pid=17319] ppid=17317 vsize=868364 CPUtime=1586.63
/proc/17319/stat : 17319 (java) S 17317 17319 14387 0 -1 0 29292 319 1 0 158633 30 0 0 18 0 9 0 1007806768 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17319/statm: 217091 20597 2614 9 0 211619 0
[pid=17319/tid=17321] ppid=17317 vsize=868364 CPUtime=1585.84
/proc/17319/task/17321/stat : 17321 (java) R 17317 17319 14387 0 -1 64 21167 319 1 0 158561 23 0 0 25 0 9 0 1007806769 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4126865280 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17322] ppid=17317 vsize=868364 CPUtime=0.38
/proc/17319/task/17322/stat : 17322 (java) S 17317 17319 14387 0 -1 64 6290 319 0 0 35 3 0 0 16 0 9 0 1007806770 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17323] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17323/stat : 17323 (java) S 17317 17319 14387 0 -1 64 16 319 0 0 0 0 0 0 16 0 9 0 1007806771 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17324] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17324/stat : 17324 (java) S 17317 17319 14387 0 -1 64 11 319 0 0 0 0 0 0 16 0 9 0 1007806771 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17325] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17325/stat : 17325 (java) S 17317 17319 14387 0 -1 64 1 319 0 0 0 0 0 0 18 0 9 0 1007806773 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17326] ppid=17317 vsize=868364 CPUtime=0.37
/proc/17319/task/17326/stat : 17326 (java) S 17317 17319 14387 0 -1 64 971 319 0 0 36 1 0 0 16 0 9 0 1007806773 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17327] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17327/stat : 17327 (java) S 17317 17319 14387 0 -1 64 1 319 0 0 0 0 0 0 19 0 9 0 1007806773 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17328] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17328/stat : 17328 (java) S 17317 17319 14387 0 -1 64 28 319 0 0 0 0 0 0 15 0 9 0 1007806773 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1586.63
Current children cumulated vsize (KiB) 868364
[startup+1662.3 s]
/proc/loadavg: 1.94 1.97 1.99 3/91 17379
/proc/meminfo: memFree=1468752/2055920 swapFree=4174728/4192956
[pid=17319] ppid=17317 vsize=868364 CPUtime=1646.05
/proc/17319/stat : 17319 (java) S 17317 17319 14387 0 -1 0 29309 319 1 0 164574 31 0 0 18 0 9 0 1007806768 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17319/statm: 217091 20597 2614 9 0 211619 0
[pid=17319/tid=17321] ppid=17317 vsize=868364 CPUtime=1645.25
/proc/17319/task/17321/stat : 17321 (java) R 17317 17319 14387 0 -1 64 21184 319 1 0 164501 24 0 0 25 0 9 0 1007806769 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4127135209 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17322] ppid=17317 vsize=868364 CPUtime=0.39
/proc/17319/task/17322/stat : 17322 (java) S 17317 17319 14387 0 -1 64 6290 319 0 0 36 3 0 0 16 0 9 0 1007806770 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17323] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17323/stat : 17323 (java) S 17317 17319 14387 0 -1 64 16 319 0 0 0 0 0 0 16 0 9 0 1007806771 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17324] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17324/stat : 17324 (java) S 17317 17319 14387 0 -1 64 11 319 0 0 0 0 0 0 16 0 9 0 1007806771 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17325] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17325/stat : 17325 (java) S 17317 17319 14387 0 -1 64 1 319 0 0 0 0 0 0 18 0 9 0 1007806773 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17326] ppid=17317 vsize=868364 CPUtime=0.37
/proc/17319/task/17326/stat : 17326 (java) S 17317 17319 14387 0 -1 64 971 319 0 0 36 1 0 0 16 0 9 0 1007806773 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17327] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17327/stat : 17327 (java) S 17317 17319 14387 0 -1 64 1 319 0 0 0 0 0 0 19 0 9 0 1007806773 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17328] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17328/stat : 17328 (java) S 17317 17319 14387 0 -1 64 28 319 0 0 0 0 0 0 15 0 9 0 1007806773 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1646.05
Current children cumulated vsize (KiB) 868364
[startup+1722.3 s]
/proc/loadavg: 1.98 1.97 1.99 3/90 17380
/proc/meminfo: memFree=1287880/2055920 swapFree=4174728/4192956
[pid=17319] ppid=17317 vsize=868364 CPUtime=1705.49
/proc/17319/stat : 17319 (java) S 17317 17319 14387 0 -1 0 29328 319 1 0 170518 31 0 0 18 0 9 0 1007806768 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17319/statm: 217091 20597 2614 9 0 211619 0
[pid=17319/tid=17321] ppid=17317 vsize=868364 CPUtime=1704.67
/proc/17319/task/17321/stat : 17321 (java) R 17317 17319 14387 0 -1 64 21203 319 1 0 170443 24 0 0 25 0 9 0 1007806769 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4127127100 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17322] ppid=17317 vsize=868364 CPUtime=0.41
/proc/17319/task/17322/stat : 17322 (java) S 17317 17319 14387 0 -1 64 6290 319 0 0 38 3 0 0 16 0 9 0 1007806770 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17323] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17323/stat : 17323 (java) S 17317 17319 14387 0 -1 64 16 319 0 0 0 0 0 0 16 0 9 0 1007806771 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17324] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17324/stat : 17324 (java) S 17317 17319 14387 0 -1 64 11 319 0 0 0 0 0 0 16 0 9 0 1007806771 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17325] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17325/stat : 17325 (java) S 17317 17319 14387 0 -1 64 1 319 0 0 0 0 0 0 18 0 9 0 1007806773 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17326] ppid=17317 vsize=868364 CPUtime=0.37
/proc/17319/task/17326/stat : 17326 (java) S 17317 17319 14387 0 -1 64 971 319 0 0 36 1 0 0 16 0 9 0 1007806773 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17327] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17327/stat : 17327 (java) S 17317 17319 14387 0 -1 64 1 319 0 0 0 0 0 0 19 0 9 0 1007806773 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17328] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17328/stat : 17328 (java) S 17317 17319 14387 0 -1 64 28 319 0 0 0 0 0 0 15 0 9 0 1007806773 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1705.49
Current children cumulated vsize (KiB) 868364
[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/90 17380
/proc/meminfo: memFree=1287304/2055920 swapFree=4174728/4192956
[pid=17319] ppid=17317 vsize=868364 CPUtime=1764.92
/proc/17319/stat : 17319 (java) S 17317 17319 14387 0 -1 0 29344 319 1 0 176461 31 0 0 18 0 9 0 1007806768 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17319/statm: 217091 20597 2614 9 0 211619 0
[pid=17319/tid=17321] ppid=17317 vsize=868364 CPUtime=1764.08
/proc/17319/task/17321/stat : 17321 (java) R 17317 17319 14387 0 -1 64 21219 319 1 0 176384 24 0 0 25 0 9 0 1007806769 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4126683480 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17322] ppid=17317 vsize=868364 CPUtime=0.42
/proc/17319/task/17322/stat : 17322 (java) S 17317 17319 14387 0 -1 64 6290 319 0 0 39 3 0 0 16 0 9 0 1007806770 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17323] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17323/stat : 17323 (java) S 17317 17319 14387 0 -1 64 16 319 0 0 0 0 0 0 16 0 9 0 1007806771 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17324] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17324/stat : 17324 (java) S 17317 17319 14387 0 -1 64 11 319 0 0 0 0 0 0 16 0 9 0 1007806771 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17325] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17325/stat : 17325 (java) S 17317 17319 14387 0 -1 64 1 319 0 0 0 0 0 0 18 0 9 0 1007806773 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17326] ppid=17317 vsize=868364 CPUtime=0.37
/proc/17319/task/17326/stat : 17326 (java) S 17317 17319 14387 0 -1 64 971 319 0 0 36 1 0 0 16 0 9 0 1007806773 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17327] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17327/stat : 17327 (java) S 17317 17319 14387 0 -1 64 1 319 0 0 0 0 0 0 19 0 9 0 1007806773 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17328] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17328/stat : 17328 (java) S 17317 17319 14387 0 -1 64 28 319 0 0 0 0 0 0 15 0 9 0 1007806773 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1764.92
Current children cumulated vsize (KiB) 868364
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1817.8 s]
/proc/loadavg: 1.99 1.97 1.99 3/90 17380
/proc/meminfo: memFree=1287240/2055920 swapFree=4174728/4192956
[pid=17319] ppid=17317 vsize=868364 CPUtime=1800.08
/proc/17319/stat : 17319 (java) S 17317 17319 14387 0 -1 0 29355 319 1 0 179977 31 0 0 18 0 9 0 1007806768 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17319/statm: 217091 20597 2614 9 0 211619 0
[pid=17319/tid=17321] ppid=17317 vsize=868364 CPUtime=1799.24
/proc/17319/task/17321/stat : 17321 (java) R 17317 17319 14387 0 -1 64 21230 319 1 0 179900 24 0 0 25 0 9 0 1007806769 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4127135141 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17322] ppid=17317 vsize=868364 CPUtime=0.43
/proc/17319/task/17322/stat : 17322 (java) S 17317 17319 14387 0 -1 64 6290 319 0 0 40 3 0 0 16 0 9 0 1007806770 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17323] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17323/stat : 17323 (java) S 17317 17319 14387 0 -1 64 16 319 0 0 0 0 0 0 16 0 9 0 1007806771 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17324] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17324/stat : 17324 (java) S 17317 17319 14387 0 -1 64 11 319 0 0 0 0 0 0 16 0 9 0 1007806771 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17325] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17325/stat : 17325 (java) S 17317 17319 14387 0 -1 64 1 319 0 0 0 0 0 0 18 0 9 0 1007806773 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17326] ppid=17317 vsize=868364 CPUtime=0.37
/proc/17319/task/17326/stat : 17326 (java) S 17317 17319 14387 0 -1 64 971 319 0 0 36 1 0 0 16 0 9 0 1007806773 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17327] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17327/stat : 17327 (java) S 17317 17319 14387 0 -1 64 1 319 0 0 0 0 0 0 19 0 9 0 1007806773 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17319/tid=17328] ppid=17317 vsize=868364 CPUtime=0
/proc/17319/task/17328/stat : 17328 (java) S 17317 17319 14387 0 -1 64 28 319 0 0 0 0 0 0 15 0 9 0 1007806773 889204736 20597 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 868364
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1817.84
CPU time (s): 1800.15
CPU user time (s): 1799.81
CPU system time (s): 0.340948
CPU usage (%): 99.0266
Max. virtual memory (cumulated for all children) (KiB): 868452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.81
system time used= 0.340948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29703
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= 41159
involuntary context switches= 97443
runsolver used 2.04869 second user time and 6.23105 second system time
The end
Begin job on node35 at 2008-07-05 07:00:42
IDJOB=1085489
IDBENCH=57634
IDSOLVER=364
FILE ID=node35/1085489-1215234042
PBS_JOBID= 7881754
Free space on /tmp= 66472 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/super-jobShop/super-jobShop-e0ddr2/normalized-super-jobShop-e0ddr2-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1085489-1215234042/watcher-1085489-1215234042 -o /tmp/evaluation-result-1085489-1215234042/solver-1085489-1215234042 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1085489-1215234042.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 0e9de7d7e957d5badc45089cee55bf01
RANDOM SEED=1513152612
node35.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.261
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.261
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: 1593264 kB
Buffers: 73688 kB
Cached: 282392 kB
SwapCached: 12276 kB
Active: 208148 kB
Inactive: 182924 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1593264 kB
SwapTotal: 4192956 kB
SwapFree: 4174728 kB
Dirty: 2140 kB
Writeback: 0 kB
Mapped: 51084 kB
Slab: 56620 kB
Committed_AS: 1670492 kB
PageTables: 1896 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= 66468 MiB
End job on node35 at 2008-07-05 07:31:02