0.02/0.08
0.02/0.08 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mac.xml
0.18/0.27
0.18/0.27 instance
0.18/0.27 name=HOME/instance-1070402-1215164887.xml
0.28/0.30
0.28/0.30 domains being loaded...
0.28/0.31
0.28/0.31 variables being loaded...
0.28/0.35 nbVariables=169 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=338
0.28/0.35 => wckTime=0.114 cpuTime=0.09 mem=7M853
0.28/0.35
0.28/0.35 constraints being loaded...
0.48/0.54 nbConstraints=101 nbGlobalConstraints=101 nbSharedBinaryRepresentations=0 minDegree=7 maxDegree=9 minArity=2
0.48/0.54 avgArity=11.93 maxArity=169 nbGenerators=0 nbFusions=0 symmetryWckTime=0.081 symmetryCpuTime=0.05
0.48/0.54 => wckTime=0.304 cpuTime=0.19 mem=12M754
0.48/0.59
0.48/0.59 solver IterativeSystematicSolver being built...
0.56/0.66
0.56/0.66 INFO : Forward propagation technique limited
0.67/0.73 => wckTime=0.494 cpuTime=0.32 mem=20M691
0.67/0.74
0.67/0.74 preprocessing
0.67/0.74 nbConstraintChecks=0 nbPropagations=169 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.67/0.74 detectedInconsistency=no
0.67/0.74 => wckTime=0.0030 cpuTime=0.0 mem=20M691
0.76/0.83
0.76/0.83 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=21M682)
619.22/622.38
619.22/622.38 search
619.22/622.38 run=27 nbConstraintChecks=110378014 minDepth=0 maxDepth=159 nbPropagations=122409805 nbRevisions=0
619.22/622.38 nbUselessRevisions=0 nbAssignments=20147385 nbFailedAssignments=1357982 nbBacktracks=18786869
619.22/622.38 nbVisitedNodes=38675006 nbRestartNogoods=123 nbSEliminables=0 nbREliminables=91.86 nbIEliminables=0
619.22/622.38 nbDEliminables=0 nbPEliminables=0
619.22/622.38 => wckTime=621.643 cpuTime=618.51 mem=21M682
619.22/622.38
619.22/622.38 global
619.22/622.38 nbConstraintChecks=110378014 nbPropagations=122409974 nbRestartNogoods=123 solvingWckTime=621.645
619.22/622.38 solvingCpuTime=618.51 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=618.87
619.22/622.38 => wckTime=622.14 cpuTime=618.83 mem=21M682
619.22/622.38
619.22/622.38 s UNSATISFIABLE
619.22/622.38 d NODES 20147385
619.22/622.38 d CHECKS 110378014
619.22/622.38
619.22/622.38 totalWckTime=622.207 totalCpuTime=618.87
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1070402-1215164887/watcher-1070402-1215164887 -o /tmp/evaluation-result-1070402-1215164887/solver-1070402-1215164887 -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-1070402-1215164887.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.96 1.98 1.99 4/85 13465
/proc/meminfo: memFree=1775800/2055920 swapFree=4179808/4192956
[pid=13465] ppid=13463 vsize=18572 CPUtime=0
/proc/13465/stat : 13465 (runsolver) R 13463 13465 13193 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 672216303 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 249069890855 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/13465/statm: 4643 292 257 25 0 2626 0
[startup+0.030885 s]
/proc/loadavg: 1.96 1.98 1.99 4/85 13465
/proc/meminfo: memFree=1775800/2055920 swapFree=4179808/4192956
[pid=13465] ppid=13463 vsize=861876 CPUtime=0.02
/proc/13465/stat : 13465 (java) S 13463 13465 13193 0 -1 0 2002 0 1 0 1 1 0 0 21 0 5 0 672216303 882561024 1675 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/13465/statm: 215469 1675 771 9 0 210448 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861876
[startup+0.101893 s]
/proc/loadavg: 1.96 1.98 1.99 4/85 13465
/proc/meminfo: memFree=1775800/2055920 swapFree=4179808/4192956
[pid=13465] ppid=13463 vsize=865884 CPUtime=0.08
/proc/13465/stat : 13465 (java) S 13463 13465 13193 0 -1 0 3742 0 1 0 6 2 0 0 21 0 9 0 672216303 886665216 3205 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13465/statm: 216471 3205 1697 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301912 s]
/proc/loadavg: 1.96 1.98 1.99 4/85 13465
/proc/meminfo: memFree=1775800/2055920 swapFree=4179808/4192956
[pid=13465] ppid=13463 vsize=866408 CPUtime=0.28
/proc/13465/stat : 13465 (java) S 13463 13465 13193 0 -1 0 6029 0 1 0 24 4 0 0 21 0 9 0 672216303 887201792 5403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13465/statm: 216602 5403 1956 9 0 211130 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866408
[startup+0.701953 s]
/proc/loadavg: 1.96 1.98 1.99 4/85 13465
/proc/meminfo: memFree=1775800/2055920 swapFree=4179808/4192956
[pid=13465] ppid=13463 vsize=868200 CPUtime=0.67
/proc/13465/stat : 13465 (java) S 13463 13465 13193 0 -1 0 13244 307 1 0 59 8 0 0 21 0 9 0 672216303 889036800 8653 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13465/statm: 217050 8653 2629 9 0 211556 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 868200
[startup+1.50203 s]
/proc/loadavg: 1.96 1.98 1.99 3/94 13478
/proc/meminfo: memFree=1743024/2055920 swapFree=4179808/4192956
[pid=13465] ppid=13463 vsize=868328 CPUtime=1.46
/proc/13465/stat : 13465 (java) S 13463 13465 13193 0 -1 0 15325 307 1 0 137 9 0 0 21 0 9 0 672216303 889167872 10728 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13465/statm: 217082 10728 2632 9 0 211588 0
[pid=13465/tid=13467] ppid=13463 vsize=868328 CPUtime=1.18
/proc/13465/task/13467/stat : 13467 (java) R 13463 13465 13193 0 -1 64 11432 307 1 0 112 6 0 0 25 0 9 0 672216304 889167872 10728 996147200 134512640 134550740 4294955968 18446744073709551615 4126857712 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13468] ppid=13463 vsize=868328 CPUtime=0.03
/proc/13465/task/13468/stat : 13468 (java) S 13463 13465 13193 0 -1 64 2203 307 0 0 3 0 0 0 16 0 9 0 672216306 889167872 10728 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13469] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13469/stat : 13469 (java) S 13463 13465 13193 0 -1 64 13 307 0 0 0 0 0 0 16 0 9 0 672216306 889167872 10728 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13470] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13470/stat : 13470 (java) S 13463 13465 13193 0 -1 64 8 307 0 0 0 0 0 0 15 0 9 0 672216306 889167872 10728 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13471] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13471/stat : 13471 (java) S 13463 13465 13193 0 -1 64 1 307 0 0 0 0 0 0 25 0 9 0 672216308 889167872 10728 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13472] ppid=13463 vsize=868328 CPUtime=0.23
/proc/13465/task/13472/stat : 13472 (java) S 13463 13465 13193 0 -1 64 849 307 0 0 22 1 0 0 16 0 9 0 672216308 889167872 10728 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13473] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13473/stat : 13473 (java) S 13463 13465 13193 0 -1 64 2 307 0 0 0 0 0 0 25 0 9 0 672216308 889167872 10728 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13474] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13474/stat : 13474 (java) S 13463 13465 13193 0 -1 64 4 307 0 0 0 0 0 0 15 0 9 0 672216308 889167872 10728 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 868328
[startup+3.10218 s]
/proc/loadavg: 1.96 1.98 1.99 3/94 13478
/proc/meminfo: memFree=1742768/2055920 swapFree=4179808/4192956
[pid=13465] ppid=13463 vsize=868328 CPUtime=3.06
/proc/13465/stat : 13465 (java) S 13463 13465 13193 0 -1 0 15329 307 1 0 297 9 0 0 21 0 9 0 672216303 889167872 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13465/statm: 217082 10731 2632 9 0 211588 0
[pid=13465/tid=13467] ppid=13463 vsize=868328 CPUtime=2.77
/proc/13465/task/13467/stat : 13467 (java) R 13463 13465 13193 0 -1 64 11436 307 1 0 271 6 0 0 25 0 9 0 672216304 889167872 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4126914923 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13468] ppid=13463 vsize=868328 CPUtime=0.03
/proc/13465/task/13468/stat : 13468 (java) S 13463 13465 13193 0 -1 64 2203 307 0 0 3 0 0 0 16 0 9 0 672216306 889167872 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13469] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13469/stat : 13469 (java) S 13463 13465 13193 0 -1 64 13 307 0 0 0 0 0 0 16 0 9 0 672216306 889167872 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13470] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13470/stat : 13470 (java) S 13463 13465 13193 0 -1 64 8 307 0 0 0 0 0 0 15 0 9 0 672216306 889167872 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13471] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13471/stat : 13471 (java) S 13463 13465 13193 0 -1 64 1 307 0 0 0 0 0 0 25 0 9 0 672216308 889167872 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13472] ppid=13463 vsize=868328 CPUtime=0.23
/proc/13465/task/13472/stat : 13472 (java) S 13463 13465 13193 0 -1 64 849 307 0 0 22 1 0 0 16 0 9 0 672216308 889167872 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13473] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13473/stat : 13473 (java) S 13463 13465 13193 0 -1 64 2 307 0 0 0 0 0 0 25 0 9 0 672216308 889167872 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13474] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13474/stat : 13474 (java) S 13463 13465 13193 0 -1 64 4 307 0 0 0 0 0 0 15 0 9 0 672216308 889167872 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 868328
[startup+6.3015 s]
/proc/loadavg: 1.96 1.98 1.99 3/94 13478
/proc/meminfo: memFree=1742576/2055920 swapFree=4179808/4192956
[pid=13465] ppid=13463 vsize=868328 CPUtime=6.24
/proc/13465/stat : 13465 (java) S 13463 13465 13193 0 -1 0 15361 307 1 0 615 9 0 0 21 0 9 0 672216303 889167872 10736 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13465/statm: 217082 10736 2632 9 0 211588 0
[pid=13465/tid=13467] ppid=13463 vsize=868328 CPUtime=5.95
/proc/13465/task/13467/stat : 13467 (java) R 13463 13465 13193 0 -1 64 11438 307 1 0 589 6 0 0 25 0 9 0 672216304 889167872 10736 996147200 134512640 134550740 4294955968 18446744073709551615 4126600663 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13468] ppid=13463 vsize=868328 CPUtime=0.03
/proc/13465/task/13468/stat : 13468 (java) S 13463 13465 13193 0 -1 64 2203 307 0 0 3 0 0 0 16 0 9 0 672216306 889167872 10736 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13469] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13469/stat : 13469 (java) S 13463 13465 13193 0 -1 64 13 307 0 0 0 0 0 0 16 0 9 0 672216306 889167872 10736 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13470] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13470/stat : 13470 (java) S 13463 13465 13193 0 -1 64 8 307 0 0 0 0 0 0 15 0 9 0 672216306 889167872 10736 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13471] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13471/stat : 13471 (java) S 13463 13465 13193 0 -1 64 1 307 0 0 0 0 0 0 25 0 9 0 672216308 889167872 10736 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13472] ppid=13463 vsize=868328 CPUtime=0.23
/proc/13465/task/13472/stat : 13472 (java) S 13463 13465 13193 0 -1 64 853 307 0 0 22 1 0 0 15 0 9 0 672216308 889167872 10736 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13473] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13473/stat : 13473 (java) S 13463 13465 13193 0 -1 64 2 307 0 0 0 0 0 0 25 0 9 0 672216308 889167872 10736 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13474] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13474/stat : 13474 (java) S 13463 13465 13193 0 -1 64 30 307 0 0 0 0 0 0 15 0 9 0 672216308 889167872 10736 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 868328
[startup+12.7021 s]
/proc/loadavg: 1.97 1.98 1.99 3/94 13478
/proc/meminfo: memFree=1742448/2055920 swapFree=4179808/4192956
[pid=13465] ppid=13463 vsize=868328 CPUtime=12.61
/proc/13465/stat : 13465 (java) S 13463 13465 13193 0 -1 0 15363 307 1 0 1252 9 0 0 21 0 9 0 672216303 889167872 10738 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13465/statm: 217082 10738 2632 9 0 211588 0
[pid=13465/tid=13467] ppid=13463 vsize=868328 CPUtime=12.32
/proc/13465/task/13467/stat : 13467 (java) R 13463 13465 13193 0 -1 64 11440 307 1 0 1226 6 0 0 25 0 9 0 672216304 889167872 10738 996147200 134512640 134550740 4294955968 18446744073709551615 4126914923 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13468] ppid=13463 vsize=868328 CPUtime=0.03
/proc/13465/task/13468/stat : 13468 (java) S 13463 13465 13193 0 -1 64 2203 307 0 0 3 0 0 0 16 0 9 0 672216306 889167872 10738 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13469] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13469/stat : 13469 (java) S 13463 13465 13193 0 -1 64 13 307 0 0 0 0 0 0 16 0 9 0 672216306 889167872 10738 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13470] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13470/stat : 13470 (java) S 13463 13465 13193 0 -1 64 8 307 0 0 0 0 0 0 15 0 9 0 672216306 889167872 10738 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13471] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13471/stat : 13471 (java) S 13463 13465 13193 0 -1 64 1 307 0 0 0 0 0 0 25 0 9 0 672216308 889167872 10738 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13472] ppid=13463 vsize=868328 CPUtime=0.23
/proc/13465/task/13472/stat : 13472 (java) S 13463 13465 13193 0 -1 64 853 307 0 0 22 1 0 0 15 0 9 0 672216308 889167872 10738 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13473] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13473/stat : 13473 (java) S 13463 13465 13193 0 -1 64 2 307 0 0 0 0 0 0 25 0 9 0 672216308 889167872 10738 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13474] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13474/stat : 13474 (java) S 13463 13465 13193 0 -1 64 30 307 0 0 0 0 0 0 15 0 9 0 672216308 889167872 10738 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 868328
[startup+25.5014 s]
/proc/loadavg: 1.97 1.98 1.99 3/94 13478
/proc/meminfo: memFree=1742448/2055920 swapFree=4179808/4192956
[pid=13465] ppid=13463 vsize=868328 CPUtime=25.34
/proc/13465/stat : 13465 (java) S 13463 13465 13193 0 -1 0 15365 307 1 0 2525 9 0 0 21 0 9 0 672216303 889167872 10740 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13465/statm: 217082 10740 2632 9 0 211588 0
[pid=13465/tid=13467] ppid=13463 vsize=868328 CPUtime=25.05
/proc/13465/task/13467/stat : 13467 (java) R 13463 13465 13193 0 -1 64 11442 307 1 0 2499 6 0 0 25 0 9 0 672216304 889167872 10740 996147200 134512640 134550740 4294955968 18446744073709551615 4126857683 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13468] ppid=13463 vsize=868328 CPUtime=0.03
/proc/13465/task/13468/stat : 13468 (java) S 13463 13465 13193 0 -1 64 2203 307 0 0 3 0 0 0 16 0 9 0 672216306 889167872 10740 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13469] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13469/stat : 13469 (java) S 13463 13465 13193 0 -1 64 13 307 0 0 0 0 0 0 16 0 9 0 672216306 889167872 10740 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13470] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13470/stat : 13470 (java) S 13463 13465 13193 0 -1 64 8 307 0 0 0 0 0 0 15 0 9 0 672216306 889167872 10740 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13471] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13471/stat : 13471 (java) S 13463 13465 13193 0 -1 64 1 307 0 0 0 0 0 0 25 0 9 0 672216308 889167872 10740 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13472] ppid=13463 vsize=868328 CPUtime=0.23
/proc/13465/task/13472/stat : 13472 (java) S 13463 13465 13193 0 -1 64 853 307 0 0 22 1 0 0 15 0 9 0 672216308 889167872 10740 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13473] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13473/stat : 13473 (java) S 13463 13465 13193 0 -1 64 2 307 0 0 0 0 0 0 25 0 9 0 672216308 889167872 10740 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13474] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13474/stat : 13474 (java) S 13463 13465 13193 0 -1 64 30 307 0 0 0 0 0 0 15 0 9 0 672216308 889167872 10740 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 868328
[startup+51.1019 s]
/proc/loadavg: 1.98 1.98 1.99 3/94 13478
/proc/meminfo: memFree=1742384/2055920 swapFree=4179808/4192956
[pid=13465] ppid=13463 vsize=868328 CPUtime=50.82
/proc/13465/stat : 13465 (java) S 13463 13465 13193 0 -1 0 15366 307 1 0 5073 9 0 0 21 0 9 0 672216303 889167872 10741 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13465/statm: 217082 10741 2632 9 0 211588 0
[pid=13465/tid=13467] ppid=13463 vsize=868328 CPUtime=50.53
/proc/13465/task/13467/stat : 13467 (java) R 13463 13465 13193 0 -1 64 11443 307 1 0 5047 6 0 0 25 0 9 0 672216304 889167872 10741 996147200 134512640 134550740 4294955968 18446744073709551615 4126861122 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13468] ppid=13463 vsize=868328 CPUtime=0.03
/proc/13465/task/13468/stat : 13468 (java) S 13463 13465 13193 0 -1 64 2203 307 0 0 3 0 0 0 16 0 9 0 672216306 889167872 10741 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13469] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13469/stat : 13469 (java) S 13463 13465 13193 0 -1 64 13 307 0 0 0 0 0 0 16 0 9 0 672216306 889167872 10741 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13470] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13470/stat : 13470 (java) S 13463 13465 13193 0 -1 64 8 307 0 0 0 0 0 0 15 0 9 0 672216306 889167872 10741 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13471] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13471/stat : 13471 (java) S 13463 13465 13193 0 -1 64 1 307 0 0 0 0 0 0 25 0 9 0 672216308 889167872 10741 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13472] ppid=13463 vsize=868328 CPUtime=0.23
/proc/13465/task/13472/stat : 13472 (java) S 13463 13465 13193 0 -1 64 853 307 0 0 22 1 0 0 15 0 9 0 672216308 889167872 10741 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13473] ppid=13463 vsize=868328 CPUtime=0
################
# More data... #
################
/proc/13465/stat : 13465 (java) S 13463 13465 13193 0 -1 0 15372 307 1 0 61116 10 0 0 21 0 9 0 672216303 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13465/statm: 217082 10747 2632 9 0 211588 0
[pid=13465/tid=13467] ppid=13463 vsize=868328 CPUtime=610.97
/proc/13465/task/13467/stat : 13467 (java) R 13463 13465 13193 0 -1 64 11448 307 1 0 61090 7 0 0 25 0 9 0 672216304 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4126857683 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13468] ppid=13463 vsize=868328 CPUtime=0.03
/proc/13465/task/13468/stat : 13468 (java) S 13463 13465 13193 0 -1 64 2203 307 0 0 3 0 0 0 16 0 9 0 672216306 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13469] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13469/stat : 13469 (java) S 13463 13465 13193 0 -1 64 13 307 0 0 0 0 0 0 16 0 9 0 672216306 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13470] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13470/stat : 13470 (java) S 13463 13465 13193 0 -1 64 8 307 0 0 0 0 0 0 15 0 9 0 672216306 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13471] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13471/stat : 13471 (java) S 13463 13465 13193 0 -1 64 1 307 0 0 0 0 0 0 25 0 9 0 672216308 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13472] ppid=13463 vsize=868328 CPUtime=0.23
/proc/13465/task/13472/stat : 13472 (java) S 13463 13465 13193 0 -1 64 854 307 0 0 22 1 0 0 16 0 9 0 672216308 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13473] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13473/stat : 13473 (java) S 13463 13465 13193 0 -1 64 2 307 0 0 0 0 0 0 25 0 9 0 672216308 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13474] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13474/stat : 13474 (java) S 13463 13465 13193 0 -1 64 30 307 0 0 0 0 0 0 15 0 9 0 672216308 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 611.26
Current children cumulated vsize (KiB) 868328
[startup+617.502 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 13480
/proc/meminfo: memFree=1741872/2055920 swapFree=4179808/4192956
[pid=13465] ppid=13463 vsize=868328 CPUtime=614.44
/proc/13465/stat : 13465 (java) S 13463 13465 13193 0 -1 0 15372 307 1 0 61434 10 0 0 21 0 9 0 672216303 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13465/statm: 217082 10747 2632 9 0 211588 0
[pid=13465/tid=13467] ppid=13463 vsize=868328 CPUtime=614.15
/proc/13465/task/13467/stat : 13467 (java) R 13463 13465 13193 0 -1 64 11448 307 1 0 61408 7 0 0 25 0 9 0 672216304 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4126905508 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13468] ppid=13463 vsize=868328 CPUtime=0.03
/proc/13465/task/13468/stat : 13468 (java) S 13463 13465 13193 0 -1 64 2203 307 0 0 3 0 0 0 16 0 9 0 672216306 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13469] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13469/stat : 13469 (java) S 13463 13465 13193 0 -1 64 13 307 0 0 0 0 0 0 16 0 9 0 672216306 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13470] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13470/stat : 13470 (java) S 13463 13465 13193 0 -1 64 8 307 0 0 0 0 0 0 15 0 9 0 672216306 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13471] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13471/stat : 13471 (java) S 13463 13465 13193 0 -1 64 1 307 0 0 0 0 0 0 25 0 9 0 672216308 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13472] ppid=13463 vsize=868328 CPUtime=0.23
/proc/13465/task/13472/stat : 13472 (java) S 13463 13465 13193 0 -1 64 854 307 0 0 22 1 0 0 16 0 9 0 672216308 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13473] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13473/stat : 13473 (java) S 13463 13465 13193 0 -1 64 2 307 0 0 0 0 0 0 25 0 9 0 672216308 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13474] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13474/stat : 13474 (java) S 13463 13465 13193 0 -1 64 30 307 0 0 0 0 0 0 15 0 9 0 672216308 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 614.44
Current children cumulated vsize (KiB) 868328
[startup+620.701 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 13480
/proc/meminfo: memFree=1741872/2055920 swapFree=4179808/4192956
[pid=13465] ppid=13463 vsize=868328 CPUtime=617.63
/proc/13465/stat : 13465 (java) S 13463 13465 13193 0 -1 0 15372 307 1 0 61753 10 0 0 21 0 9 0 672216303 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13465/statm: 217082 10747 2632 9 0 211588 0
[pid=13465/tid=13467] ppid=13463 vsize=868328 CPUtime=617.33
/proc/13465/task/13467/stat : 13467 (java) R 13463 13465 13193 0 -1 64 11448 307 1 0 61726 7 0 0 25 0 9 0 672216304 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4126857633 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13468] ppid=13463 vsize=868328 CPUtime=0.03
/proc/13465/task/13468/stat : 13468 (java) S 13463 13465 13193 0 -1 64 2203 307 0 0 3 0 0 0 16 0 9 0 672216306 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13469] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13469/stat : 13469 (java) S 13463 13465 13193 0 -1 64 13 307 0 0 0 0 0 0 16 0 9 0 672216306 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13470] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13470/stat : 13470 (java) S 13463 13465 13193 0 -1 64 8 307 0 0 0 0 0 0 15 0 9 0 672216306 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13471] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13471/stat : 13471 (java) S 13463 13465 13193 0 -1 64 1 307 0 0 0 0 0 0 25 0 9 0 672216308 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13472] ppid=13463 vsize=868328 CPUtime=0.23
/proc/13465/task/13472/stat : 13472 (java) S 13463 13465 13193 0 -1 64 854 307 0 0 22 1 0 0 16 0 9 0 672216308 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13473] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13473/stat : 13473 (java) S 13463 13465 13193 0 -1 64 2 307 0 0 0 0 0 0 25 0 9 0 672216308 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13474] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13474/stat : 13474 (java) S 13463 13465 13193 0 -1 64 30 307 0 0 0 0 0 0 15 0 9 0 672216308 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 617.63
Current children cumulated vsize (KiB) 868328
[startup+621.506 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 13480
/proc/meminfo: memFree=1741872/2055920 swapFree=4179808/4192956
[pid=13465] ppid=13463 vsize=868328 CPUtime=618.43
/proc/13465/stat : 13465 (java) S 13463 13465 13193 0 -1 0 15372 307 1 0 61833 10 0 0 21 0 9 0 672216303 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13465/statm: 217082 10747 2632 9 0 211588 0
[pid=13465/tid=13467] ppid=13463 vsize=868328 CPUtime=618.13
/proc/13465/task/13467/stat : 13467 (java) R 13463 13465 13193 0 -1 64 11448 307 1 0 61806 7 0 0 25 0 9 0 672216304 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4126843183 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13468] ppid=13463 vsize=868328 CPUtime=0.03
/proc/13465/task/13468/stat : 13468 (java) S 13463 13465 13193 0 -1 64 2203 307 0 0 3 0 0 0 16 0 9 0 672216306 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13469] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13469/stat : 13469 (java) S 13463 13465 13193 0 -1 64 13 307 0 0 0 0 0 0 16 0 9 0 672216306 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13470] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13470/stat : 13470 (java) S 13463 13465 13193 0 -1 64 8 307 0 0 0 0 0 0 15 0 9 0 672216306 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13471] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13471/stat : 13471 (java) S 13463 13465 13193 0 -1 64 1 307 0 0 0 0 0 0 25 0 9 0 672216308 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13472] ppid=13463 vsize=868328 CPUtime=0.23
/proc/13465/task/13472/stat : 13472 (java) S 13463 13465 13193 0 -1 64 854 307 0 0 22 1 0 0 16 0 9 0 672216308 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13473] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13473/stat : 13473 (java) S 13463 13465 13193 0 -1 64 2 307 0 0 0 0 0 0 25 0 9 0 672216308 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13474] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13474/stat : 13474 (java) S 13463 13465 13193 0 -1 64 30 307 0 0 0 0 0 0 15 0 9 0 672216308 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 618.43
Current children cumulated vsize (KiB) 868328
[startup+621.902 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 13480
/proc/meminfo: memFree=1741872/2055920 swapFree=4179808/4192956
[pid=13465] ppid=13463 vsize=868328 CPUtime=618.82
/proc/13465/stat : 13465 (java) S 13463 13465 13193 0 -1 0 15372 307 1 0 61872 10 0 0 21 0 9 0 672216303 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13465/statm: 217082 10747 2632 9 0 211588 0
[pid=13465/tid=13467] ppid=13463 vsize=868328 CPUtime=618.53
/proc/13465/task/13467/stat : 13467 (java) R 13463 13465 13193 0 -1 64 11448 307 1 0 61846 7 0 0 25 0 9 0 672216304 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4125952076 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13468] ppid=13463 vsize=868328 CPUtime=0.03
/proc/13465/task/13468/stat : 13468 (java) S 13463 13465 13193 0 -1 64 2203 307 0 0 3 0 0 0 16 0 9 0 672216306 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13469] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13469/stat : 13469 (java) S 13463 13465 13193 0 -1 64 13 307 0 0 0 0 0 0 16 0 9 0 672216306 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13470] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13470/stat : 13470 (java) S 13463 13465 13193 0 -1 64 8 307 0 0 0 0 0 0 15 0 9 0 672216306 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13471] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13471/stat : 13471 (java) S 13463 13465 13193 0 -1 64 1 307 0 0 0 0 0 0 25 0 9 0 672216308 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13472] ppid=13463 vsize=868328 CPUtime=0.23
/proc/13465/task/13472/stat : 13472 (java) S 13463 13465 13193 0 -1 64 854 307 0 0 22 1 0 0 16 0 9 0 672216308 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13473] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13473/stat : 13473 (java) S 13463 13465 13193 0 -1 64 2 307 0 0 0 0 0 0 25 0 9 0 672216308 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13474] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13474/stat : 13474 (java) S 13463 13465 13193 0 -1 64 30 307 0 0 0 0 0 0 15 0 9 0 672216308 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 618.82
Current children cumulated vsize (KiB) 868328
[startup+622.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 13480
/proc/meminfo: memFree=1741872/2055920 swapFree=4179808/4192956
[pid=13465] ppid=13463 vsize=868328 CPUtime=619.22
/proc/13465/stat : 13465 (java) S 13463 13465 13193 0 -1 0 15372 307 1 0 61912 10 0 0 21 0 9 0 672216303 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13465/statm: 217082 10747 2632 9 0 211588 0
[pid=13465/tid=13467] ppid=13463 vsize=868328 CPUtime=618.93
/proc/13465/task/13467/stat : 13467 (java) R 13463 13465 13193 0 -1 64 11448 307 1 0 61886 7 0 0 25 0 9 0 672216304 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4126907232 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13468] ppid=13463 vsize=868328 CPUtime=0.03
/proc/13465/task/13468/stat : 13468 (java) S 13463 13465 13193 0 -1 64 2203 307 0 0 3 0 0 0 16 0 9 0 672216306 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13469] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13469/stat : 13469 (java) S 13463 13465 13193 0 -1 64 13 307 0 0 0 0 0 0 16 0 9 0 672216306 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13470] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13470/stat : 13470 (java) S 13463 13465 13193 0 -1 64 8 307 0 0 0 0 0 0 15 0 9 0 672216306 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13471] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13471/stat : 13471 (java) S 13463 13465 13193 0 -1 64 1 307 0 0 0 0 0 0 25 0 9 0 672216308 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13472] ppid=13463 vsize=868328 CPUtime=0.23
/proc/13465/task/13472/stat : 13472 (java) S 13463 13465 13193 0 -1 64 854 307 0 0 22 1 0 0 16 0 9 0 672216308 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13473] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13473/stat : 13473 (java) S 13463 13465 13193 0 -1 64 2 307 0 0 0 0 0 0 25 0 9 0 672216308 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13474] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13474/stat : 13474 (java) S 13463 13465 13193 0 -1 64 30 307 0 0 0 0 0 0 15 0 9 0 672216308 889167872 10747 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 619.22
Current children cumulated vsize (KiB) 868328
[startup+622.402 s]
/proc/loadavg: 1.99 1.98 1.99 3/94 13480
/proc/meminfo: memFree=1741872/2055920 swapFree=4179808/4192956
[pid=13465] ppid=13463 vsize=868328 CPUtime=619.3
/proc/13465/stat : 13465 (java) S 13463 13465 13193 0 -1 0 15462 307 1 0 61920 10 0 0 21 0 9 0 672216303 889167872 10834 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13465/statm: 217082 10834 2632 9 0 211588 0
[pid=13465/tid=13467] ppid=13463 vsize=868328 CPUtime=619.01
/proc/13465/task/13467/stat : 13467 (java) S 13463 13465 13193 0 -1 64 11538 307 1 0 61894 7 0 0 25 0 9 0 672216304 889167872 10834 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13468] ppid=13463 vsize=868328 CPUtime=0.03
/proc/13465/task/13468/stat : 13468 (java) S 13463 13465 13193 0 -1 64 2203 307 0 0 3 0 0 0 16 0 9 0 672216306 889167872 10834 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13469] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13469/stat : 13469 (java) S 13463 13465 13193 0 -1 64 13 307 0 0 0 0 0 0 16 0 9 0 672216306 889167872 10834 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13470] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13470/stat : 13470 (java) S 13463 13465 13193 0 -1 64 8 307 0 0 0 0 0 0 15 0 9 0 672216306 889167872 10834 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13471] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13471/stat : 13471 (java) S 13463 13465 13193 0 -1 64 1 307 0 0 0 0 0 0 25 0 9 0 672216308 889167872 10834 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13472] ppid=13463 vsize=868328 CPUtime=0.23
/proc/13465/task/13472/stat : 13472 (java) S 13463 13465 13193 0 -1 64 854 307 0 0 22 1 0 0 16 0 9 0 672216308 889167872 10834 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13473] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13473/stat : 13473 (java) S 13463 13465 13193 0 -1 64 2 307 0 0 0 0 0 0 25 0 9 0 672216308 889167872 10834 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13465/tid=13474] ppid=13463 vsize=868328 CPUtime=0
/proc/13465/task/13474/stat : 13474 (java) S 13463 13465 13193 0 -1 64 30 307 0 0 0 0 0 0 15 0 9 0 672216308 889167872 10834 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 619.3
Current children cumulated vsize (KiB) 868328
Child status: 0
Real time (s): 622.44
CPU time (s): 619.328
CPU user time (s): 619.214
CPU system time (s): 0.113982
CPU usage (%): 99.5
Max. virtual memory (cumulated for all children) (KiB): 868328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 619.214
system time used= 0.113982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15796
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= 13823
involuntary context switches= 33247
runsolver used 0.814876 second user time and 2.02969 second system time
The end
Begin job on node89 at 2008-07-04 11:48:07
IDJOB=1070402
IDBENCH=55862
IDSOLVER=363
FILE ID=node89/1070402-1215164887
PBS_JOBID= 7881491
Free space on /tmp= 66512 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/pseudoGLB/normalized-t2001-13queen13-1111219348.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-1070402-1215164887/watcher-1070402-1215164887 -o /tmp/evaluation-result-1070402-1215164887/solver-1070402-1215164887 -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-1070402-1215164887.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 5437c57a88c824eaee1ab5469f50c779
RANDOM SEED=2002324862
node89.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.213
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1776216 kB
Buffers: 28540 kB
Cached: 158328 kB
SwapCached: 7136 kB
Active: 187884 kB
Inactive: 41148 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1776216 kB
SwapTotal: 4192956 kB
SwapFree: 4179808 kB
Dirty: 2084 kB
Writeback: 0 kB
Mapped: 59392 kB
Slab: 35708 kB
Committed_AS: 1904916 kB
PageTables: 1924 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= 66512 MiB
End job on node89 at 2008-07-04 11:58:29