0.07/0.20
0.07/0.20 Abscon 112 (May, 2008)
0.17/0.37
0.17/0.37 configuration
0.17/0.37 name=mac.xml
0.26/0.44
0.26/0.44 instance
0.26/0.44 name=HOME/instance-1063444-1215137179.xml
0.26/0.48
0.26/0.48 domains being loaded...
0.26/0.49
0.26/0.49 variables being loaded...
0.44/0.67 nbVariables=1296 nbDomainTypes=2 minDomainSize=1 maxDomainSize=2 nbTotalValues=2034
0.44/0.67 => wckTime=0.302 cpuTime=0.19 mem=11M754
0.44/0.67
0.44/0.67 predicates being loaded...
0.75/0.91
0.75/0.91 constraints being loaded...
1.42/1.63 nbConstraints=46 nbMergedConstraints=21 nbSingletonDomainVariables=558 nbConflictsStructures=1
1.42/1.63 nbSharedConflictsStructures=2 nbUnbuiltConflictsStructures=13 nbSharedBinaryRepresentations=0
1.42/1.63 nbEvaluationManagers=14 nbSharedEvaluationManagers=32 minDegree=1 maxDegree=3 minArity=4 avgArity=70.17
1.42/1.63 maxArity=150 nbGenerators=0 nbFusions=0 symmetryWckTime=0.233 symmetryCpuTime=0.17
1.42/1.63 => wckTime=1.259 cpuTime=0.95 mem=26M436
1.52/1.70
1.52/1.70 solver IterativeSystematicSolver being built...
1.62/1.81
1.62/1.81 INFO : Forward propagation technique limited
1.72/1.92 => wckTime=1.553 cpuTime=1.15 mem=36M352
7.27/7.59
7.27/7.59 preprocessing
7.27/7.59 nbConstraintChecks=2035930 nbValidityChecks=665 nbPropagations=1296 nbRevisions=666 nbUselessRevisions=666
7.27/7.59 nbRemovedValues=0 detectedInconsistency=no
7.27/7.59 => wckTime=5.664 cpuTime=5.6 mem=37M347
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1063444-1215137179/watcher-1063444-1215137179 -o /tmp/evaluation-result-1063444-1215137179/solver-1063444-1215137179 -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-1063444-1215137179.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.01 2.12 2.07 4/81 19498
/proc/meminfo: memFree=1899224/2055920 swapFree=4157744/4192956
[pid=19498] ppid=19496 vsize=152 CPUtime=0
/proc/19498/stat : 19498 (java) D 19496 19498 17098 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 636641049 155648 26 996147200 134512640 134550740 4294956144 18446744073709551615 5534500 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/19498/statm: 38 26 19 9 0 4 0
[startup+0.108627 s]
/proc/loadavg: 2.01 2.12 2.07 4/81 19498
/proc/meminfo: memFree=1899224/2055920 swapFree=4157744/4192956
[pid=19498] ppid=19496 vsize=10904 CPUtime=0
/proc/19498/stat : 19498 (java) S 19496 19498 17098 0 -1 0 825 0 0 0 0 0 0 0 18 0 2 0 636641049 11165696 578 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/19498/statm: 2726 578 288 9 0 1198 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10904
[startup+0.201641 s]
/proc/loadavg: 2.01 2.12 2.07 4/81 19498
/proc/meminfo: memFree=1899224/2055920 swapFree=4157744/4192956
[pid=19498] ppid=19496 vsize=865856 CPUtime=0.07
/proc/19498/stat : 19498 (java) S 19496 19498 17098 0 -1 0 3554 0 1 0 5 2 0 0 18 0 9 0 636641049 886636544 3044 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19498/statm: 216464 3044 1634 9 0 211026 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865856
[startup+0.301656 s]
/proc/loadavg: 2.01 2.12 2.07 4/81 19498
/proc/meminfo: memFree=1899224/2055920 swapFree=4157744/4192956
[pid=19498] ppid=19496 vsize=866068 CPUtime=0.17
/proc/19498/stat : 19498 (java) S 19496 19498 17098 0 -1 0 4347 0 1 0 13 4 0 0 18 0 9 0 636641049 886853632 3782 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19498/statm: 216517 3782 1845 9 0 211065 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 866068
[startup+0.701689 s]
/proc/loadavg: 2.01 2.12 2.07 4/81 19498
/proc/meminfo: memFree=1899224/2055920 swapFree=4157744/4192956
[pid=19498] ppid=19496 vsize=867092 CPUtime=0.54
/proc/19498/stat : 19498 (java) S 19496 19498 17098 0 -1 0 7987 0 1 0 47 7 0 0 18 0 9 0 636641049 887902208 7348 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19498/statm: 216773 7348 1998 9 0 211279 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 867092
[startup+1.50177 s]
/proc/loadavg: 2.01 2.12 2.07 3/90 19507
/proc/meminfo: memFree=1851856/2055920 swapFree=4157744/4192956
[pid=19498] ppid=19496 vsize=868248 CPUtime=1.33
/proc/19498/stat : 19498 (java) S 19496 19498 17098 0 -1 0 18619 354 1 0 117 14 1 1 18 0 9 0 636641049 889085952 17203 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19498/statm: 217062 17203 2015 9 0 211590 0
[pid=19498/tid=19500] ppid=19496 vsize=868248 CPUtime=1.07
/proc/19498/task/19500/stat : 19500 (java) R 19496 19498 17098 0 -1 64 16376 354 1 0 93 12 1 1 23 0 9 0 636641051 889085952 17203 996147200 134512640 134550740 4294955984 18446744073709551615 4125975782 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19501] ppid=19496 vsize=868248 CPUtime=0.03
/proc/19498/task/19501/stat : 19501 (java) S 19496 19498 17098 0 -1 64 654 354 0 0 1 0 1 1 16 0 9 0 636641062 889085952 17203 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19502] ppid=19496 vsize=868248 CPUtime=0.02
/proc/19498/task/19502/stat : 19502 (java) S 19496 19498 17098 0 -1 64 13 354 0 0 0 0 1 1 16 0 9 0 636641062 889085952 17203 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19503] ppid=19496 vsize=868248 CPUtime=0.02
/proc/19498/task/19503/stat : 19503 (java) S 19496 19498 17098 0 -1 64 5 354 0 0 0 0 1 1 16 0 9 0 636641062 889085952 17203 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19504] ppid=19496 vsize=868248 CPUtime=0.02
/proc/19498/task/19504/stat : 19504 (java) S 19496 19498 17098 0 -1 64 0 354 0 0 0 0 1 1 18 0 9 0 636641066 889085952 17203 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19505] ppid=19496 vsize=868248 CPUtime=0.23
/proc/19498/task/19505/stat : 19505 (java) S 19496 19498 17098 0 -1 64 749 354 0 0 21 0 1 1 15 0 9 0 636641066 889085952 17203 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19506] ppid=19496 vsize=868248 CPUtime=0.02
/proc/19498/task/19506/stat : 19506 (java) S 19496 19498 17098 0 -1 64 2 354 0 0 0 0 1 1 19 0 9 0 636641066 889085952 17203 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19507] ppid=19496 vsize=868248 CPUtime=0.02
/proc/19498/task/19507/stat : 19507 (java) S 19496 19498 17098 0 -1 64 7 354 0 0 0 0 1 1 15 0 9 0 636641066 889085952 17203 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 868248
[startup+3.10192 s]
/proc/loadavg: 2.01 2.12 2.07 3/90 19511
/proc/meminfo: memFree=1832400/2055920 swapFree=4157744/4192956
[pid=19498] ppid=19496 vsize=868336 CPUtime=2.91
/proc/19498/stat : 19498 (java) S 19496 19498 17098 0 -1 0 30314 354 1 0 272 17 1 1 18 0 9 0 636641049 889176064 18883 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19498/statm: 217084 18883 2637 9 0 211590 0
[pid=19498/tid=19500] ppid=19496 vsize=868336 CPUtime=2.53
/proc/19498/task/19500/stat : 19500 (java) R 19496 19498 17098 0 -1 64 24519 354 1 0 238 13 1 1 25 0 9 0 636641051 889176064 18883 996147200 134512640 134550740 4294955984 18446744073709551615 4127100057 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19501] ppid=19496 vsize=868336 CPUtime=0.1
/proc/19498/task/19501/stat : 19501 (java) S 19496 19498 17098 0 -1 64 4033 354 0 0 7 1 1 1 17 0 9 0 636641062 889176064 18883 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19502] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19502/stat : 19502 (java) S 19496 19498 17098 0 -1 64 17 354 0 0 0 0 1 1 16 0 9 0 636641062 889176064 18883 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19503] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19503/stat : 19503 (java) S 19496 19498 17098 0 -1 64 8 354 0 0 0 0 1 1 15 0 9 0 636641062 889176064 18883 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19504] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19504/stat : 19504 (java) S 19496 19498 17098 0 -1 64 0 354 0 0 0 0 1 1 18 0 9 0 636641066 889176064 18883 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19505] ppid=19496 vsize=868336 CPUtime=0.29
/proc/19498/task/19505/stat : 19505 (java) S 19496 19498 17098 0 -1 64 913 354 0 0 26 1 1 1 15 0 9 0 636641066 889176064 18883 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19506] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19506/stat : 19506 (java) S 19496 19498 17098 0 -1 64 2 354 0 0 0 0 1 1 19 0 9 0 636641066 889176064 18883 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19507] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19507/stat : 19507 (java) S 19496 19498 17098 0 -1 64 9 354 0 0 0 0 1 1 15 0 9 0 636641066 889176064 18883 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 868336
[startup+6.30223 s]
/proc/loadavg: 2.01 2.12 2.07 3/90 19511
/proc/meminfo: memFree=1832152/2055920 swapFree=4157744/4192956
[pid=19498] ppid=19496 vsize=868336 CPUtime=6.08
/proc/19498/stat : 19498 (java) S 19496 19498 17098 0 -1 0 30355 354 1 0 589 17 1 1 18 0 9 0 636641049 889176064 18884 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19498/statm: 217084 18884 2637 9 0 211590 0
[pid=19498/tid=19500] ppid=19496 vsize=868336 CPUtime=5.7
/proc/19498/task/19500/stat : 19500 (java) R 19496 19498 17098 0 -1 64 24519 354 1 0 555 13 1 1 25 0 9 0 636641051 889176064 18884 996147200 134512640 134550740 4294955984 18446744073709551615 4127096068 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19501] ppid=19496 vsize=868336 CPUtime=0.1
/proc/19498/task/19501/stat : 19501 (java) S 19496 19498 17098 0 -1 64 4033 354 0 0 7 1 1 1 16 0 9 0 636641062 889176064 18884 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19502] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19502/stat : 19502 (java) S 19496 19498 17098 0 -1 64 17 354 0 0 0 0 1 1 16 0 9 0 636641062 889176064 18884 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19503] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19503/stat : 19503 (java) S 19496 19498 17098 0 -1 64 8 354 0 0 0 0 1 1 15 0 9 0 636641062 889176064 18884 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19504] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19504/stat : 19504 (java) S 19496 19498 17098 0 -1 64 0 354 0 0 0 0 1 1 18 0 9 0 636641066 889176064 18884 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19505] ppid=19496 vsize=868336 CPUtime=0.29
/proc/19498/task/19505/stat : 19505 (java) S 19496 19498 17098 0 -1 64 921 354 0 0 26 1 1 1 17 0 9 0 636641066 889176064 18884 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19506] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19506/stat : 19506 (java) S 19496 19498 17098 0 -1 64 2 354 0 0 0 0 1 1 19 0 9 0 636641066 889176064 18884 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19507] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19507/stat : 19507 (java) S 19496 19498 17098 0 -1 64 42 354 0 0 0 0 1 1 15 0 9 0 636641066 889176064 18884 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 868336
[startup+12.7019 s]
/proc/loadavg: 2.01 2.11 2.07 3/90 19511
/proc/meminfo: memFree=1832088/2055920 swapFree=4157744/4192956
[pid=19498] ppid=19496 vsize=868336 CPUtime=12.41
/proc/19498/stat : 19498 (java) S 19496 19498 17098 0 -1 0 30709 354 1 0 1222 17 1 1 18 0 9 0 636641049 889176064 18903 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19498/statm: 217084 18903 2637 9 0 211590 0
[pid=19498/tid=19500] ppid=19496 vsize=868336 CPUtime=11.99
/proc/19498/task/19500/stat : 19500 (java) R 19496 19498 17098 0 -1 64 24820 354 1 0 1184 13 1 1 25 0 9 0 636641051 889176064 18903 996147200 134512640 134550740 4294955984 18446744073709551615 4127094037 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19501] ppid=19496 vsize=868336 CPUtime=0.1
/proc/19498/task/19501/stat : 19501 (java) S 19496 19498 17098 0 -1 64 4033 354 0 0 7 1 1 1 16 0 9 0 636641062 889176064 18903 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19502] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19502/stat : 19502 (java) S 19496 19498 17098 0 -1 64 17 354 0 0 0 0 1 1 16 0 9 0 636641062 889176064 18903 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19503] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19503/stat : 19503 (java) S 19496 19498 17098 0 -1 64 8 354 0 0 0 0 1 1 15 0 9 0 636641062 889176064 18903 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19504] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19504/stat : 19504 (java) S 19496 19498 17098 0 -1 64 0 354 0 0 0 0 1 1 18 0 9 0 636641066 889176064 18903 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19505] ppid=19496 vsize=868336 CPUtime=0.33
/proc/19498/task/19505/stat : 19505 (java) S 19496 19498 17098 0 -1 64 974 354 0 0 30 1 1 1 16 0 9 0 636641066 889176064 18903 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19506] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19506/stat : 19506 (java) S 19496 19498 17098 0 -1 64 2 354 0 0 0 0 1 1 19 0 9 0 636641066 889176064 18903 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19507] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19507/stat : 19507 (java) S 19496 19498 17098 0 -1 64 42 354 0 0 0 0 1 1 15 0 9 0 636641066 889176064 18903 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 868336
[startup+25.5011 s]
/proc/loadavg: 2.01 2.11 2.06 3/90 19511
/proc/meminfo: memFree=1832216/2055920 swapFree=4157744/4192956
[pid=19498] ppid=19496 vsize=868336 CPUtime=25.1
/proc/19498/stat : 19498 (java) S 19496 19498 17098 0 -1 0 30716 354 1 0 2491 17 1 1 18 0 9 0 636641049 889176064 18903 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19498/statm: 217084 18903 2637 9 0 211590 0
[pid=19498/tid=19500] ppid=19496 vsize=868336 CPUtime=24.68
/proc/19498/task/19500/stat : 19500 (java) R 19496 19498 17098 0 -1 64 24827 354 1 0 2453 13 1 1 25 0 9 0 636641051 889176064 18903 996147200 134512640 134550740 4294955984 18446744073709551615 4127094033 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19501] ppid=19496 vsize=868336 CPUtime=0.1
/proc/19498/task/19501/stat : 19501 (java) S 19496 19498 17098 0 -1 64 4033 354 0 0 7 1 1 1 16 0 9 0 636641062 889176064 18903 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19502] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19502/stat : 19502 (java) S 19496 19498 17098 0 -1 64 17 354 0 0 0 0 1 1 16 0 9 0 636641062 889176064 18903 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19503] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19503/stat : 19503 (java) S 19496 19498 17098 0 -1 64 8 354 0 0 0 0 1 1 15 0 9 0 636641062 889176064 18903 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19504] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19504/stat : 19504 (java) S 19496 19498 17098 0 -1 64 0 354 0 0 0 0 1 1 18 0 9 0 636641066 889176064 18903 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19505] ppid=19496 vsize=868336 CPUtime=0.33
/proc/19498/task/19505/stat : 19505 (java) S 19496 19498 17098 0 -1 64 974 354 0 0 30 1 1 1 16 0 9 0 636641066 889176064 18903 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19506] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19506/stat : 19506 (java) S 19496 19498 17098 0 -1 64 2 354 0 0 0 0 1 1 19 0 9 0 636641066 889176064 18903 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19507] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19507/stat : 19507 (java) S 19496 19498 17098 0 -1 64 42 354 0 0 0 0 1 1 15 0 9 0 636641066 889176064 18903 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 868336
[startup+51.1026 s]
/proc/loadavg: 2.00 2.10 2.06 2/76 19531
/proc/meminfo: memFree=1850312/2055920 swapFree=4157744/4192956
[pid=19498] ppid=19496 vsize=868336 CPUtime=50.47
/proc/19498/stat : 19498 (java) S 19496 19498 17098 0 -1 0 30722 354 1 0 5026 19 1 1 18 0 9 0 636641049 889176064 18904 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19498/statm: 217084 18904 2637 9 0 211590 0
[pid=19498/tid=19500] ppid=19496 vsize=868336 CPUtime=50.05
/proc/19498/task/19500/stat : 19500 (java) R 19496 19498 17098 0 -1 64 24833 354 1 0 4988 15 1 1 25 0 9 0 636641051 889176064 18904 996147200 134512640 134550740 4294955984 18446744073709551615 4127066459 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19501] ppid=19496 vsize=868336 CPUtime=0.1
/proc/19498/task/19501/stat : 19501 (java) S 19496 19498 17098 0 -1 64 4033 354 0 0 7 1 1 1 16 0 9 0 636641062 889176064 18904 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19502] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19502/stat : 19502 (java) S 19496 19498 17098 0 -1 64 17 354 0 0 0 0 1 1 16 0 9 0 636641062 889176064 18904 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19503] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19503/stat : 19503 (java) S 19496 19498 17098 0 -1 64 8 354 0 0 0 0 1 1 15 0 9 0 636641062 889176064 18904 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19504] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19504/stat : 19504 (java) S 19496 19498 17098 0 -1 64 0 354 0 0 0 0 1 1 18 0 9 0 636641066 889176064 18904 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19505] ppid=19496 vsize=868336 CPUtime=0.33
/proc/19498/task/19505/stat : 19505 (java) S 19496 19498 17098 0 -1 64 974 354 0 0 30 1 1 1 16 0 9 0 636641066 889176064 18904 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19506] ppid=19496 vsize=868336 CPUtime=0.02
################
# More data... #
################
/proc/19498/task/19503/stat : 19503 (java) S 19496 19498 17098 0 -1 64 8 354 0 0 0 0 1 1 15 0 9 0 636641062 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19504] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19504/stat : 19504 (java) S 19496 19498 17098 0 -1 64 0 354 0 0 0 0 1 1 18 0 9 0 636641066 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19505] ppid=19496 vsize=868336 CPUtime=0.34
/proc/19498/task/19505/stat : 19505 (java) S 19496 19498 17098 0 -1 64 981 354 0 0 31 1 1 1 16 0 9 0 636641066 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19498/tid=19506] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19506/stat : 19506 (java) S 19496 19498 17098 0 -1 64 2 354 0 0 0 0 1 1 19 0 9 0 636641066 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19507] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19507/stat : 19507 (java) S 19496 19498 17098 0 -1 64 42 354 0 0 0 0 1 1 15 0 9 0 636641066 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1528.64
Current children cumulated vsize (KiB) 868336
[startup+1602.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/92 19552
/proc/meminfo: memFree=1651600/2055920 swapFree=4157744/4192956
[pid=19498] ppid=19496 vsize=868336 CPUtime=1588.39
/proc/19498/stat : 19498 (java) S 19496 19498 17098 0 -1 0 30760 354 1 0 158816 21 1 1 18 0 9 0 636641049 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19498/statm: 217084 18911 2637 9 0 211590 0
[pid=19498/tid=19500] ppid=19496 vsize=868336 CPUtime=1587.95
/proc/19498/task/19500/stat : 19500 (java) R 19496 19498 17098 0 -1 64 24864 354 1 0 158776 17 1 1 25 0 9 0 636641051 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4127089876 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19498/tid=19501] ppid=19496 vsize=868336 CPUtime=0.1
/proc/19498/task/19501/stat : 19501 (java) S 19496 19498 17098 0 -1 64 4033 354 0 0 7 1 1 1 16 0 9 0 636641062 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19502] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19502/stat : 19502 (java) S 19496 19498 17098 0 -1 64 17 354 0 0 0 0 1 1 16 0 9 0 636641062 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19503] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19503/stat : 19503 (java) S 19496 19498 17098 0 -1 64 8 354 0 0 0 0 1 1 15 0 9 0 636641062 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19504] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19504/stat : 19504 (java) S 19496 19498 17098 0 -1 64 0 354 0 0 0 0 1 1 18 0 9 0 636641066 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19505] ppid=19496 vsize=868336 CPUtime=0.34
/proc/19498/task/19505/stat : 19505 (java) S 19496 19498 17098 0 -1 64 981 354 0 0 31 1 1 1 16 0 9 0 636641066 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19498/tid=19506] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19506/stat : 19506 (java) S 19496 19498 17098 0 -1 64 2 354 0 0 0 0 1 1 19 0 9 0 636641066 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19507] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19507/stat : 19507 (java) S 19496 19498 17098 0 -1 64 42 354 0 0 0 0 1 1 15 0 9 0 636641066 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1588.39
Current children cumulated vsize (KiB) 868336
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/92 19552
/proc/meminfo: memFree=1651152/2055920 swapFree=4157744/4192956
[pid=19498] ppid=19496 vsize=868336 CPUtime=1648.14
/proc/19498/stat : 19498 (java) S 19496 19498 17098 0 -1 0 30764 354 1 0 164791 21 1 1 18 0 9 0 636641049 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19498/statm: 217084 18911 2637 9 0 211590 0
[pid=19498/tid=19500] ppid=19496 vsize=868336 CPUtime=1647.71
/proc/19498/task/19500/stat : 19500 (java) R 19496 19498 17098 0 -1 64 24868 354 1 0 164752 17 1 1 25 0 9 0 636641051 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4127099531 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19498/tid=19501] ppid=19496 vsize=868336 CPUtime=0.1
/proc/19498/task/19501/stat : 19501 (java) S 19496 19498 17098 0 -1 64 4033 354 0 0 7 1 1 1 16 0 9 0 636641062 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19502] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19502/stat : 19502 (java) S 19496 19498 17098 0 -1 64 17 354 0 0 0 0 1 1 16 0 9 0 636641062 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19503] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19503/stat : 19503 (java) S 19496 19498 17098 0 -1 64 8 354 0 0 0 0 1 1 15 0 9 0 636641062 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19504] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19504/stat : 19504 (java) S 19496 19498 17098 0 -1 64 0 354 0 0 0 0 1 1 18 0 9 0 636641066 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19505] ppid=19496 vsize=868336 CPUtime=0.34
/proc/19498/task/19505/stat : 19505 (java) S 19496 19498 17098 0 -1 64 981 354 0 0 31 1 1 1 16 0 9 0 636641066 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19498/tid=19506] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19506/stat : 19506 (java) S 19496 19498 17098 0 -1 64 2 354 0 0 0 0 1 1 19 0 9 0 636641066 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19507] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19507/stat : 19507 (java) S 19496 19498 17098 0 -1 64 42 354 0 0 0 0 1 1 15 0 9 0 636641066 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1648.14
Current children cumulated vsize (KiB) 868336
[startup+1722.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/92 19552
/proc/meminfo: memFree=1650512/2055920 swapFree=4157744/4192956
[pid=19498] ppid=19496 vsize=868336 CPUtime=1707.9
/proc/19498/stat : 19498 (java) S 19496 19498 17098 0 -1 0 30765 354 1 0 170767 21 1 1 18 0 9 0 636641049 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19498/statm: 217084 18911 2637 9 0 211590 0
[pid=19498/tid=19500] ppid=19496 vsize=868336 CPUtime=1707.46
/proc/19498/task/19500/stat : 19500 (java) R 19496 19498 17098 0 -1 64 24869 354 1 0 170727 17 1 1 25 0 9 0 636641051 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4127094045 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19498/tid=19501] ppid=19496 vsize=868336 CPUtime=0.1
/proc/19498/task/19501/stat : 19501 (java) S 19496 19498 17098 0 -1 64 4033 354 0 0 7 1 1 1 16 0 9 0 636641062 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19502] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19502/stat : 19502 (java) S 19496 19498 17098 0 -1 64 17 354 0 0 0 0 1 1 16 0 9 0 636641062 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19503] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19503/stat : 19503 (java) S 19496 19498 17098 0 -1 64 8 354 0 0 0 0 1 1 15 0 9 0 636641062 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19504] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19504/stat : 19504 (java) S 19496 19498 17098 0 -1 64 0 354 0 0 0 0 1 1 18 0 9 0 636641066 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19505] ppid=19496 vsize=868336 CPUtime=0.34
/proc/19498/task/19505/stat : 19505 (java) S 19496 19498 17098 0 -1 64 981 354 0 0 31 1 1 1 16 0 9 0 636641066 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19498/tid=19506] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19506/stat : 19506 (java) S 19496 19498 17098 0 -1 64 2 354 0 0 0 0 1 1 19 0 9 0 636641066 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19507] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19507/stat : 19507 (java) S 19496 19498 17098 0 -1 64 42 354 0 0 0 0 1 1 15 0 9 0 636641066 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1707.9
Current children cumulated vsize (KiB) 868336
[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/92 19552
/proc/meminfo: memFree=1650064/2055920 swapFree=4157744/4192956
[pid=19498] ppid=19496 vsize=868336 CPUtime=1767.64
/proc/19498/stat : 19498 (java) S 19496 19498 17098 0 -1 0 30765 354 1 0 176741 21 1 1 18 0 9 0 636641049 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19498/statm: 217084 18911 2637 9 0 211590 0
[pid=19498/tid=19500] ppid=19496 vsize=868336 CPUtime=1767.21
/proc/19498/task/19500/stat : 19500 (java) R 19496 19498 17098 0 -1 64 24869 354 1 0 176702 17 1 1 25 0 9 0 636641051 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4127094080 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19498/tid=19501] ppid=19496 vsize=868336 CPUtime=0.1
/proc/19498/task/19501/stat : 19501 (java) S 19496 19498 17098 0 -1 64 4033 354 0 0 7 1 1 1 16 0 9 0 636641062 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19502] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19502/stat : 19502 (java) S 19496 19498 17098 0 -1 64 17 354 0 0 0 0 1 1 16 0 9 0 636641062 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19503] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19503/stat : 19503 (java) S 19496 19498 17098 0 -1 64 8 354 0 0 0 0 1 1 15 0 9 0 636641062 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19504] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19504/stat : 19504 (java) S 19496 19498 17098 0 -1 64 0 354 0 0 0 0 1 1 18 0 9 0 636641066 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19505] ppid=19496 vsize=868336 CPUtime=0.34
/proc/19498/task/19505/stat : 19505 (java) S 19496 19498 17098 0 -1 64 981 354 0 0 31 1 1 1 16 0 9 0 636641066 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19498/tid=19506] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19506/stat : 19506 (java) S 19496 19498 17098 0 -1 64 2 354 0 0 0 0 1 1 19 0 9 0 636641066 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19507] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19507/stat : 19507 (java) S 19496 19498 17098 0 -1 64 42 354 0 0 0 0 1 1 15 0 9 0 636641066 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1767.64
Current children cumulated vsize (KiB) 868336
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.8 s]
/proc/loadavg: 2.02 2.03 2.00 3/92 19552
/proc/meminfo: memFree=1649808/2055920 swapFree=4157744/4192956
[pid=19498] ppid=19496 vsize=868336 CPUtime=1800.01
/proc/19498/stat : 19498 (java) S 19496 19498 17098 0 -1 0 30765 354 1 0 179978 21 1 1 18 0 9 0 636641049 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19498/statm: 217084 18911 2637 9 0 211590 0
[pid=19498/tid=19500] ppid=19496 vsize=868336 CPUtime=1799.58
/proc/19498/task/19500/stat : 19500 (java) R 19496 19498 17098 0 -1 64 24869 354 1 0 179939 17 1 1 25 0 9 0 636641051 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4127094045 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19498/tid=19501] ppid=19496 vsize=868336 CPUtime=0.1
/proc/19498/task/19501/stat : 19501 (java) S 19496 19498 17098 0 -1 64 4033 354 0 0 7 1 1 1 16 0 9 0 636641062 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19502] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19502/stat : 19502 (java) S 19496 19498 17098 0 -1 64 17 354 0 0 0 0 1 1 16 0 9 0 636641062 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19503] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19503/stat : 19503 (java) S 19496 19498 17098 0 -1 64 8 354 0 0 0 0 1 1 15 0 9 0 636641062 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19504] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19504/stat : 19504 (java) S 19496 19498 17098 0 -1 64 0 354 0 0 0 0 1 1 18 0 9 0 636641066 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19505] ppid=19496 vsize=868336 CPUtime=0.34
/proc/19498/task/19505/stat : 19505 (java) S 19496 19498 17098 0 -1 64 981 354 0 0 31 1 1 1 16 0 9 0 636641066 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19498/tid=19506] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19506/stat : 19506 (java) S 19496 19498 17098 0 -1 64 2 354 0 0 0 0 1 1 19 0 9 0 636641066 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19507] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19507/stat : 19507 (java) S 19496 19498 17098 0 -1 64 42 354 0 0 0 0 1 1 15 0 9 0 636641066 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 868336
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1814.8 s]
/proc/loadavg: 2.02 2.03 2.00 3/92 19552
/proc/meminfo: memFree=1649808/2055920 swapFree=4157744/4192956
[pid=19498] ppid=19496 vsize=868336 CPUtime=1800.01
/proc/19498/stat : 19498 (java) S 19496 19498 17098 0 -1 0 30765 354 1 0 179978 21 1 1 18 0 9 0 636641049 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19498/statm: 217084 18911 2637 9 0 211590 0
[pid=19498/tid=19500] ppid=19496 vsize=868336 CPUtime=1799.58
/proc/19498/task/19500/stat : 19500 (java) R 19496 19498 17098 0 -1 64 24869 354 1 0 179939 17 1 1 25 0 9 0 636641051 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4127094045 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19498/tid=19501] ppid=19496 vsize=868336 CPUtime=0.1
/proc/19498/task/19501/stat : 19501 (java) S 19496 19498 17098 0 -1 64 4033 354 0 0 7 1 1 1 16 0 9 0 636641062 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19502] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19502/stat : 19502 (java) S 19496 19498 17098 0 -1 64 17 354 0 0 0 0 1 1 16 0 9 0 636641062 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19503] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19503/stat : 19503 (java) S 19496 19498 17098 0 -1 64 8 354 0 0 0 0 1 1 15 0 9 0 636641062 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19504] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19504/stat : 19504 (java) S 19496 19498 17098 0 -1 64 0 354 0 0 0 0 1 1 18 0 9 0 636641066 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19505] ppid=19496 vsize=868336 CPUtime=0.34
/proc/19498/task/19505/stat : 19505 (java) S 19496 19498 17098 0 -1 64 981 354 0 0 31 1 1 1 16 0 9 0 636641066 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19498/tid=19506] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19506/stat : 19506 (java) S 19496 19498 17098 0 -1 64 2 354 0 0 0 0 1 1 19 0 9 0 636641066 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19498/tid=19507] ppid=19496 vsize=868336 CPUtime=0.02
/proc/19498/task/19507/stat : 19507 (java) S 19496 19498 17098 0 -1 64 42 354 0 0 0 0 1 1 15 0 9 0 636641066 889176064 18911 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 868336
Child status: 143
Real time (s): 1814.88
CPU time (s): 1800.11
CPU user time (s): 1799.86
CPU system time (s): 0.243962
CPU usage (%): 99.1861
Max. virtual memory (cumulated for all children) (KiB): 868336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.243962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31150
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= 38356
involuntary context switches= 86112
runsolver used 2.08068 second user time and 5.78712 second system time
The end
Begin job on node60 at 2008-07-04 04:06:19
IDJOB=1063444
IDBENCH=54750
IDSOLVER=363
FILE ID=node60/1063444-1215137179
PBS_JOBID= 7877289
Free space on /tmp= 66560 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/pseudo/mpsReduced/normalized-mps-red-sample2.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-1063444-1215137179/watcher-1063444-1215137179 -o /tmp/evaluation-result-1063444-1215137179/solver-1063444-1215137179 -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-1063444-1215137179.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 7791005450e5fd362bbc07619d3c6f20
RANDOM SEED=606559684
node60.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.216
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.216
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: 1899704 kB
Buffers: 2924 kB
Cached: 46936 kB
SwapCached: 29088 kB
Active: 95340 kB
Inactive: 9740 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1899704 kB
SwapTotal: 4192956 kB
SwapFree: 4157744 kB
Dirty: 2468 kB
Writeback: 0 kB
Mapped: 71268 kB
Slab: 36108 kB
Committed_AS: 1075764 kB
PageTables: 2008 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= 66556 MiB
End job on node60 at 2008-07-04 04:36:36