0.03/0.19
0.03/0.19 Abscon 112 (May, 2008)
0.19/0.36
0.19/0.36 configuration
0.19/0.36 name=mac.xml
0.29/0.43
0.29/0.43 instance
0.29/0.43 name=HOME/instance-1056332-1215062743.xml
0.29/0.47
0.29/0.47 domains being loaded...
0.29/0.48
0.29/0.48 variables being loaded...
0.38/0.53 nbVariables=101 nbDomainTypes=2 minDomainSize=1 maxDomainSize=1078 nbTotalValues=107801
0.38/0.53 => wckTime=0.167 cpuTime=0.11 mem=9M878
0.38/0.53
0.38/0.53 predicates being loaded...
0.38/0.59
0.38/0.59 constraints being loaded...
1.05/1.29 nbConstraints=1010 nbGlobalConstraints=910 nbSingletonDomainVariables=1 nbConvertedConstraints=100
1.05/1.29 nbConvertConstraintsChecks=54978 nbExtensionStructures=51 nbSharedExtensionStructures=49
1.05/1.29 nbConflictsStructures=51 nbSharedConflictsStructures=49 nbSharedBinaryRepresentations=54976 minDegree=20
1.05/1.29 maxDegree=101 minArity=2 avgArity=2.08 maxArity=11 nbGenerators=0 nbFusions=0 symmetryWckTime=0.224
1.05/1.29 symmetryCpuTime=0.17 nbCliques=10
1.05/1.29 => wckTime=0.928 cpuTime=0.66 mem=25M527
1.16/1.37
1.16/1.37 solver IterativeSystematicSolver being built...
1.25/1.44
1.25/1.44 INFO : Forward propagation technique limited
1.36/1.51 => wckTime=1.149 cpuTime=0.78 mem=26M951
1.36/1.55
1.36/1.55 preprocessing
1.36/1.55 nbConstraintChecks=107800 nbPropagations=104 nbRevisions=106 nbUselessRevisions=6 nbRemovedValues=18053
1.36/1.55 detectedInconsistency=no
1.36/1.55 => wckTime=0.037 cpuTime=0.02 mem=26M951
15.52/15.82
15.52/15.82 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=28M361)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056332-1215062743/watcher-1056332-1215062743 -o /tmp/evaluation-result-1056332-1215062743/solver-1056332-1215062743 -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-1056332-1215062743.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.00 2.06 2.09 3/72 8599
/proc/meminfo: memFree=1749136/2055920 swapFree=4179472/4192956
[pid=8599] ppid=8597 vsize=1520 CPUtime=0
/proc/8599/stat : 8599 (java) R 8597 8599 4792 0 -1 0 91 0 0 0 0 0 0 0 18 0 1 0 1985249930 1556480 73 996147200 134512640 134550740 4294956144 18446744073709551615 5797558 0 0 4096 0 0 0 0 17 0 0 0
/proc/8599/statm: 380 75 56 9 0 10 0
[startup+0.064564 s]
/proc/loadavg: 2.00 2.06 2.09 3/72 8599
/proc/meminfo: memFree=1749136/2055920 swapFree=4179472/4192956
[pid=8599] ppid=8597 vsize=10868 CPUtime=0.01
/proc/8599/stat : 8599 (java) S 8597 8599 4792 0 -1 0 792 0 0 0 0 1 0 0 18 0 2 0 1985249930 11128832 554 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/8599/statm: 2717 554 269 9 0 1199 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10868
[startup+0.107857 s]
/proc/loadavg: 2.00 2.06 2.09 3/72 8599
/proc/meminfo: memFree=1749136/2055920 swapFree=4179472/4192956
[pid=8599] ppid=8597 vsize=861228 CPUtime=0.03
/proc/8599/stat : 8599 (java) S 8597 8599 4792 0 -1 0 1708 0 1 0 1 2 0 0 18 0 3 0 1985249930 881897472 1405 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/8599/statm: 215307 1405 563 9 0 210286 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861228
[startup+0.301613 s]
/proc/loadavg: 2.00 2.06 2.09 3/72 8599
/proc/meminfo: memFree=1749136/2055920 swapFree=4179472/4192956
[pid=8599] ppid=8597 vsize=866060 CPUtime=0.19
/proc/8599/stat : 8599 (java) S 8597 8599 4792 0 -1 0 4488 0 1 0 14 5 0 0 18 0 9 0 1985249930 886845440 3920 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8599/statm: 216515 3920 1848 9 0 211063 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 866060
[startup+0.701691 s]
/proc/loadavg: 2.00 2.06 2.09 3/72 8599
/proc/meminfo: memFree=1749136/2055920 swapFree=4179472/4192956
[pid=8599] ppid=8597 vsize=867052 CPUtime=0.58
/proc/8599/stat : 8599 (java) S 8597 8599 4792 0 -1 0 8038 0 1 0 51 7 0 0 18 0 9 0 1985249930 887861248 7398 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8599/statm: 216763 7398 2006 9 0 211269 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 867052
[startup+1.50286 s]
/proc/loadavg: 2.00 2.06 2.09 3/81 8608
/proc/meminfo: memFree=1718472/2055920 swapFree=4179472/4192956
[pid=8599] ppid=8597 vsize=868424 CPUtime=1.36
/proc/8599/stat : 8599 (java) S 8597 8599 4792 0 -1 0 19764 325 1 0 118 17 1 0 18 0 9 0 1985249930 889266176 12306 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8599/statm: 217106 12306 2631 9 0 211612 0
[pid=8599/tid=8601] ppid=8597 vsize=868424 CPUtime=1
/proc/8599/task/8601/stat : 8601 (java) R 8597 8599 4792 0 -1 64 13555 325 1 0 86 13 1 0 18 0 9 0 1985249932 889266176 12306 996147200 134512640 134550740 4294955984 18446744073709551615 4125950500 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8602] ppid=8597 vsize=868424 CPUtime=0.08
/proc/8599/task/8602/stat : 8602 (java) S 8597 8599 4792 0 -1 64 4497 325 0 0 6 1 1 0 16 0 9 0 1985249941 889266176 12306 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8603] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8603/stat : 8603 (java) S 8597 8599 4792 0 -1 64 16 325 0 0 0 0 1 0 17 0 9 0 1985249941 889266176 12306 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8604] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8604/stat : 8604 (java) S 8597 8599 4792 0 -1 64 12 325 0 0 0 0 1 0 16 0 9 0 1985249941 889266176 12306 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8605] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8605/stat : 8605 (java) S 8597 8599 4792 0 -1 64 1 325 0 0 0 0 1 0 18 0 9 0 1985249945 889266176 12306 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8606] ppid=8597 vsize=868424 CPUtime=0.26
/proc/8599/task/8606/stat : 8606 (java) S 8597 8599 4792 0 -1 64 881 325 0 0 25 0 1 0 15 0 9 0 1985249945 889266176 12306 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8607] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8607/stat : 8607 (java) S 8597 8599 4792 0 -1 64 1 325 0 0 0 0 1 0 19 0 9 0 1985249945 889266176 12306 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8608] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8608/stat : 8608 (java) S 8597 8599 4792 0 -1 64 2 325 0 0 0 0 1 0 15 0 9 0 1985249945 889266176 12306 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 868424
[startup+3.10117 s]
/proc/loadavg: 2.00 2.06 2.09 3/81 8612
/proc/meminfo: memFree=1706888/2055920 swapFree=4179472/4192956
[pid=8599] ppid=8597 vsize=868424 CPUtime=2.94
/proc/8599/stat : 8599 (java) S 8597 8599 4792 0 -1 0 21738 325 1 0 276 17 1 0 18 0 9 0 1985249930 889266176 13931 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8599/statm: 217106 13931 2632 9 0 211612 0
[pid=8599/tid=8601] ppid=8597 vsize=868424 CPUtime=2.54
/proc/8599/task/8601/stat : 8601 (java) R 8597 8599 4792 0 -1 64 15498 325 1 0 240 13 1 0 25 0 9 0 1985249932 889266176 13931 996147200 134512640 134550740 4294955984 18446744073709551615 4127107149 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8602] ppid=8597 vsize=868424 CPUtime=0.08
/proc/8599/task/8602/stat : 8602 (java) S 8597 8599 4792 0 -1 64 4498 325 0 0 6 1 1 0 17 0 9 0 1985249941 889266176 13931 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8603] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8603/stat : 8603 (java) S 8597 8599 4792 0 -1 64 16 325 0 0 0 0 1 0 17 0 9 0 1985249941 889266176 13931 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8604] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8604/stat : 8604 (java) S 8597 8599 4792 0 -1 64 12 325 0 0 0 0 1 0 16 0 9 0 1985249941 889266176 13931 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8605] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8605/stat : 8605 (java) S 8597 8599 4792 0 -1 64 1 325 0 0 0 0 1 0 18 0 9 0 1985249945 889266176 13931 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8606] ppid=8597 vsize=868424 CPUtime=0.3
/proc/8599/task/8606/stat : 8606 (java) S 8597 8599 4792 0 -1 64 911 325 0 0 29 0 1 0 15 0 9 0 1985249945 889266176 13931 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8607] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8607/stat : 8607 (java) S 8597 8599 4792 0 -1 64 1 325 0 0 0 0 1 0 19 0 9 0 1985249945 889266176 13931 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8608] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8608/stat : 8608 (java) S 8597 8599 4792 0 -1 64 2 325 0 0 0 0 1 0 15 0 9 0 1985249945 889266176 13931 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 868424
[startup+6.3028 s]
/proc/loadavg: 2.00 2.06 2.09 3/81 8612
/proc/meminfo: memFree=1695240/2055920 swapFree=4179472/4192956
[pid=8599] ppid=8597 vsize=868424 CPUtime=6.11
/proc/8599/stat : 8599 (java) S 8597 8599 4792 0 -1 0 23936 325 1 0 592 18 1 0 18 0 9 0 1985249930 889266176 16090 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8599/statm: 217106 16090 2632 9 0 211612 0
[pid=8599/tid=8601] ppid=8597 vsize=868424 CPUtime=5.69
/proc/8599/task/8601/stat : 8601 (java) R 8597 8599 4792 0 -1 64 17653 325 1 0 554 14 1 0 25 0 9 0 1985249932 889266176 16090 996147200 134512640 134550740 4294955984 18446744073709551615 4127096303 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8602] ppid=8597 vsize=868424 CPUtime=0.08
/proc/8599/task/8602/stat : 8602 (java) S 8597 8599 4792 0 -1 64 4498 325 0 0 6 1 1 0 17 0 9 0 1985249941 889266176 16090 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8603] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8603/stat : 8603 (java) S 8597 8599 4792 0 -1 64 16 325 0 0 0 0 1 0 17 0 9 0 1985249941 889266176 16090 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8604] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8604/stat : 8604 (java) S 8597 8599 4792 0 -1 64 12 325 0 0 0 0 1 0 16 0 9 0 1985249941 889266176 16090 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8605] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8605/stat : 8605 (java) S 8597 8599 4792 0 -1 64 1 325 0 0 0 0 1 0 18 0 9 0 1985249945 889266176 16090 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8606] ppid=8597 vsize=868424 CPUtime=0.32
/proc/8599/task/8606/stat : 8606 (java) S 8597 8599 4792 0 -1 64 922 325 0 0 31 0 1 0 15 0 9 0 1985249945 889266176 16090 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8607] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8607/stat : 8607 (java) S 8597 8599 4792 0 -1 64 1 325 0 0 0 0 1 0 19 0 9 0 1985249945 889266176 16090 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8608] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8608/stat : 8608 (java) S 8597 8599 4792 0 -1 64 34 325 0 0 0 0 1 0 15 0 9 0 1985249945 889266176 16090 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 868424
[startup+12.7011 s]
/proc/loadavg: 2.00 2.06 2.08 3/81 8612
/proc/meminfo: memFree=1674312/2055920 swapFree=4179472/4192956
[pid=8599] ppid=8597 vsize=868424 CPUtime=12.45
/proc/8599/stat : 8599 (java) S 8597 8599 4792 0 -1 0 28859 325 1 0 1223 21 1 0 18 0 9 0 1985249930 889266176 20830 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8599/statm: 217106 20830 2636 9 0 211612 0
[pid=8599/tid=8601] ppid=8597 vsize=868424 CPUtime=11.98
/proc/8599/task/8601/stat : 8601 (java) R 8597 8599 4792 0 -1 64 20348 325 1 0 1181 16 1 0 25 0 9 0 1985249932 889266176 20830 996147200 134512640 134550740 4294955984 18446744073709551615 4127133448 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8602] ppid=8597 vsize=868424 CPUtime=0.1
/proc/8599/task/8602/stat : 8602 (java) S 8597 8599 4792 0 -1 64 6668 325 0 0 7 2 1 0 16 0 9 0 1985249941 889266176 20830 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8603] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8603/stat : 8603 (java) S 8597 8599 4792 0 -1 64 16 325 0 0 0 0 1 0 16 0 9 0 1985249941 889266176 20830 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8604] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8604/stat : 8604 (java) S 8597 8599 4792 0 -1 64 12 325 0 0 0 0 1 0 16 0 9 0 1985249941 889266176 20830 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8605] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8605/stat : 8605 (java) S 8597 8599 4792 0 -1 64 1 325 0 0 0 0 1 0 18 0 9 0 1985249945 889266176 20830 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8606] ppid=8597 vsize=868424 CPUtime=0.35
/proc/8599/task/8606/stat : 8606 (java) S 8597 8599 4792 0 -1 64 980 325 0 0 34 0 1 0 15 0 9 0 1985249945 889266176 20830 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8607] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8607/stat : 8607 (java) S 8597 8599 4792 0 -1 64 1 325 0 0 0 0 1 0 19 0 9 0 1985249945 889266176 20830 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8608] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8608/stat : 8608 (java) S 8597 8599 4792 0 -1 64 34 325 0 0 0 0 1 0 15 0 9 0 1985249945 889266176 20830 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 868424
[startup+25.5026 s]
/proc/loadavg: 2.00 2.06 2.08 3/81 8612
/proc/meminfo: memFree=1668296/2055920 swapFree=4179472/4192956
[pid=8599] ppid=8597 vsize=868424 CPUtime=25.14
/proc/8599/stat : 8599 (java) S 8597 8599 4792 0 -1 0 30397 325 1 0 2491 22 1 0 18 0 9 0 1985249930 889266176 22364 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8599/statm: 217106 22364 2636 9 0 211612 0
[pid=8599/tid=8601] ppid=8597 vsize=868424 CPUtime=24.65
/proc/8599/task/8601/stat : 8601 (java) R 8597 8599 4792 0 -1 64 20355 325 1 0 2448 16 1 0 25 0 9 0 1985249932 889266176 22364 996147200 134512640 134550740 4294955984 18446744073709551615 4127091669 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8602] ppid=8597 vsize=868424 CPUtime=0.12
/proc/8599/task/8602/stat : 8602 (java) S 8597 8599 4792 0 -1 64 8198 325 0 0 8 3 1 0 16 0 9 0 1985249941 889266176 22364 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8603] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8603/stat : 8603 (java) S 8597 8599 4792 0 -1 64 16 325 0 0 0 0 1 0 16 0 9 0 1985249941 889266176 22364 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8604] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8604/stat : 8604 (java) S 8597 8599 4792 0 -1 64 12 325 0 0 0 0 1 0 16 0 9 0 1985249941 889266176 22364 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8605] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8605/stat : 8605 (java) S 8597 8599 4792 0 -1 64 1 325 0 0 0 0 1 0 18 0 9 0 1985249945 889266176 22364 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8606] ppid=8597 vsize=868424 CPUtime=0.35
/proc/8599/task/8606/stat : 8606 (java) S 8597 8599 4792 0 -1 64 981 325 0 0 34 0 1 0 17 0 9 0 1985249945 889266176 22364 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8607] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8607/stat : 8607 (java) S 8597 8599 4792 0 -1 64 1 325 0 0 0 0 1 0 19 0 9 0 1985249945 889266176 22364 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8608] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8608/stat : 8608 (java) S 8597 8599 4792 0 -1 64 34 325 0 0 0 0 1 0 15 0 9 0 1985249945 889266176 22364 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 868424
[startup+51.1026 s]
/proc/loadavg: 2.00 2.05 2.08 3/81 8612
/proc/meminfo: memFree=1668232/2055920 swapFree=4179472/4192956
[pid=8599] ppid=8597 vsize=868424 CPUtime=50.52
/proc/8599/stat : 8599 (java) S 8597 8599 4792 0 -1 0 30399 325 1 0 5029 22 1 0 18 0 9 0 1985249930 889266176 22364 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8599/statm: 217106 22364 2636 9 0 211612 0
[pid=8599/tid=8601] ppid=8597 vsize=868424 CPUtime=50.03
/proc/8599/task/8601/stat : 8601 (java) R 8597 8599 4792 0 -1 64 20356 325 1 0 4985 17 1 0 25 0 9 0 1985249932 889266176 22364 996147200 134512640 134550740 4294955984 18446744073709551615 4127134222 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8602] ppid=8597 vsize=868424 CPUtime=0.12
/proc/8599/task/8602/stat : 8602 (java) S 8597 8599 4792 0 -1 64 8198 325 0 0 8 3 1 0 16 0 9 0 1985249941 889266176 22364 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8603] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8603/stat : 8603 (java) S 8597 8599 4792 0 -1 64 16 325 0 0 0 0 1 0 16 0 9 0 1985249941 889266176 22364 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8604] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8604/stat : 8604 (java) S 8597 8599 4792 0 -1 64 12 325 0 0 0 0 1 0 16 0 9 0 1985249941 889266176 22364 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8605] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8605/stat : 8605 (java) S 8597 8599 4792 0 -1 64 1 325 0 0 0 0 1 0 18 0 9 0 1985249945 889266176 22364 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8606] ppid=8597 vsize=868424 CPUtime=0.35
/proc/8599/task/8606/stat : 8606 (java) S 8597 8599 4792 0 -1 64 982 325 0 0 34 0 1 0 16 0 9 0 1985249945 889266176 22364 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8607] ppid=8597 vsize=868424 CPUtime=0.01
################
# More data... #
################
/proc/8599/task/8604/stat : 8604 (java) S 8597 8599 4792 0 -1 64 12 325 0 0 0 0 1 0 16 0 9 0 1985249941 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8605] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8605/stat : 8605 (java) S 8597 8599 4792 0 -1 64 1 325 0 0 0 0 1 0 18 0 9 0 1985249945 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8606] ppid=8597 vsize=868424 CPUtime=0.36
/proc/8599/task/8606/stat : 8606 (java) S 8597 8599 4792 0 -1 64 989 325 0 0 35 0 1 0 16 0 9 0 1985249945 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8607] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8607/stat : 8607 (java) S 8597 8599 4792 0 -1 64 1 325 0 0 0 0 1 0 19 0 9 0 1985249945 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8608] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8608/stat : 8608 (java) S 8597 8599 4792 0 -1 64 34 325 0 0 0 0 1 0 15 0 9 0 1985249945 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1531.15
Current children cumulated vsize (KiB) 868424
[startup+1602.3 s]
/proc/loadavg: 1.00 1.27 1.65 2/73 10288
/proc/meminfo: memFree=1838040/2055920 swapFree=4179472/4192956
[pid=8599] ppid=8597 vsize=868424 CPUtime=1591.11
/proc/8599/stat : 8599 (java) S 8597 8599 4792 0 -1 0 30629 325 1 0 159053 57 1 0 18 0 9 0 1985249930 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8599/statm: 217106 22481 2636 9 0 211612 0
[pid=8599/tid=8601] ppid=8597 vsize=868424 CPUtime=1590.48
/proc/8599/task/8601/stat : 8601 (java) R 8597 8599 4792 0 -1 64 20466 325 1 0 158997 50 1 0 25 0 9 0 1985249932 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4127134222 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8599/tid=8602] ppid=8597 vsize=868424 CPUtime=0.23
/proc/8599/task/8602/stat : 8602 (java) S 8597 8599 4792 0 -1 64 8311 325 0 0 19 3 1 0 16 0 9 0 1985249941 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8603] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8603/stat : 8603 (java) S 8597 8599 4792 0 -1 64 16 325 0 0 0 0 1 0 16 0 9 0 1985249941 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8604] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8604/stat : 8604 (java) S 8597 8599 4792 0 -1 64 12 325 0 0 0 0 1 0 16 0 9 0 1985249941 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8605] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8605/stat : 8605 (java) S 8597 8599 4792 0 -1 64 1 325 0 0 0 0 1 0 18 0 9 0 1985249945 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8606] ppid=8597 vsize=868424 CPUtime=0.36
/proc/8599/task/8606/stat : 8606 (java) S 8597 8599 4792 0 -1 64 989 325 0 0 35 0 1 0 16 0 9 0 1985249945 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8607] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8607/stat : 8607 (java) S 8597 8599 4792 0 -1 64 1 325 0 0 0 0 1 0 19 0 9 0 1985249945 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8608] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8608/stat : 8608 (java) S 8597 8599 4792 0 -1 64 34 325 0 0 0 0 1 0 15 0 9 0 1985249945 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1591.11
Current children cumulated vsize (KiB) 868424
[startup+1662.3 s]
/proc/loadavg: 1.00 1.22 1.61 2/73 10288
/proc/meminfo: memFree=1838040/2055920 swapFree=4179472/4192956
[pid=8599] ppid=8597 vsize=868424 CPUtime=1651.09
/proc/8599/stat : 8599 (java) S 8597 8599 4792 0 -1 0 30641 325 1 0 165051 57 1 0 18 0 9 0 1985249930 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8599/statm: 217106 22481 2636 9 0 211612 0
[pid=8599/tid=8601] ppid=8597 vsize=868424 CPUtime=1650.44
/proc/8599/task/8601/stat : 8601 (java) R 8597 8599 4792 0 -1 64 20478 325 1 0 164993 50 1 0 25 0 9 0 1985249932 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4127133468 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8599/tid=8602] ppid=8597 vsize=868424 CPUtime=0.24
/proc/8599/task/8602/stat : 8602 (java) S 8597 8599 4792 0 -1 64 8311 325 0 0 20 3 1 0 16 0 9 0 1985249941 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8603] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8603/stat : 8603 (java) S 8597 8599 4792 0 -1 64 16 325 0 0 0 0 1 0 16 0 9 0 1985249941 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8604] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8604/stat : 8604 (java) S 8597 8599 4792 0 -1 64 12 325 0 0 0 0 1 0 16 0 9 0 1985249941 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8605] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8605/stat : 8605 (java) S 8597 8599 4792 0 -1 64 1 325 0 0 0 0 1 0 18 0 9 0 1985249945 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8606] ppid=8597 vsize=868424 CPUtime=0.36
/proc/8599/task/8606/stat : 8606 (java) S 8597 8599 4792 0 -1 64 989 325 0 0 35 0 1 0 16 0 9 0 1985249945 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8607] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8607/stat : 8607 (java) S 8597 8599 4792 0 -1 64 1 325 0 0 0 0 1 0 19 0 9 0 1985249945 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8608] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8608/stat : 8608 (java) S 8597 8599 4792 0 -1 64 34 325 0 0 0 0 1 0 15 0 9 0 1985249945 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1651.09
Current children cumulated vsize (KiB) 868424
[startup+1722.3 s]
/proc/loadavg: 1.00 1.18 1.57 2/73 10288
/proc/meminfo: memFree=1838040/2055920 swapFree=4179472/4192956
[pid=8599] ppid=8597 vsize=868424 CPUtime=1711.07
/proc/8599/stat : 8599 (java) S 8597 8599 4792 0 -1 0 30651 325 1 0 171048 58 1 0 18 0 9 0 1985249930 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8599/statm: 217106 22481 2636 9 0 211612 0
[pid=8599/tid=8601] ppid=8597 vsize=868424 CPUtime=1710.4
/proc/8599/task/8601/stat : 8601 (java) R 8597 8599 4792 0 -1 64 20488 325 1 0 170989 50 1 0 25 0 9 0 1985249932 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4126703967 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8599/tid=8602] ppid=8597 vsize=868424 CPUtime=0.25
/proc/8599/task/8602/stat : 8602 (java) S 8597 8599 4792 0 -1 64 8311 325 0 0 21 3 1 0 16 0 9 0 1985249941 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8603] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8603/stat : 8603 (java) S 8597 8599 4792 0 -1 64 16 325 0 0 0 0 1 0 16 0 9 0 1985249941 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8604] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8604/stat : 8604 (java) S 8597 8599 4792 0 -1 64 12 325 0 0 0 0 1 0 16 0 9 0 1985249941 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8605] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8605/stat : 8605 (java) S 8597 8599 4792 0 -1 64 1 325 0 0 0 0 1 0 18 0 9 0 1985249945 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8606] ppid=8597 vsize=868424 CPUtime=0.36
/proc/8599/task/8606/stat : 8606 (java) S 8597 8599 4792 0 -1 64 989 325 0 0 35 0 1 0 16 0 9 0 1985249945 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8607] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8607/stat : 8607 (java) S 8597 8599 4792 0 -1 64 1 325 0 0 0 0 1 0 19 0 9 0 1985249945 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8608] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8608/stat : 8608 (java) S 8597 8599 4792 0 -1 64 34 325 0 0 0 0 1 0 15 0 9 0 1985249945 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1711.07
Current children cumulated vsize (KiB) 868424
[startup+1782.3 s]
/proc/loadavg: 1.00 1.14 1.53 2/73 10288
/proc/meminfo: memFree=1838040/2055920 swapFree=4179472/4192956
[pid=8599] ppid=8597 vsize=868424 CPUtime=1771.03
/proc/8599/stat : 8599 (java) S 8597 8599 4792 0 -1 0 30655 325 1 0 177044 58 1 0 18 0 9 0 1985249930 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8599/statm: 217106 22481 2636 9 0 211612 0
[pid=8599/tid=8601] ppid=8597 vsize=868424 CPUtime=1770.36
/proc/8599/task/8601/stat : 8601 (java) R 8597 8599 4792 0 -1 64 20492 325 1 0 176985 50 1 0 25 0 9 0 1985249932 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4127099940 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8599/tid=8602] ppid=8597 vsize=868424 CPUtime=0.26
/proc/8599/task/8602/stat : 8602 (java) S 8597 8599 4792 0 -1 64 8311 325 0 0 22 3 1 0 16 0 9 0 1985249941 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8603] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8603/stat : 8603 (java) S 8597 8599 4792 0 -1 64 16 325 0 0 0 0 1 0 16 0 9 0 1985249941 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8604] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8604/stat : 8604 (java) S 8597 8599 4792 0 -1 64 12 325 0 0 0 0 1 0 16 0 9 0 1985249941 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8605] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8605/stat : 8605 (java) S 8597 8599 4792 0 -1 64 1 325 0 0 0 0 1 0 18 0 9 0 1985249945 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8606] ppid=8597 vsize=868424 CPUtime=0.36
/proc/8599/task/8606/stat : 8606 (java) S 8597 8599 4792 0 -1 64 989 325 0 0 35 0 1 0 16 0 9 0 1985249945 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8607] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8607/stat : 8607 (java) S 8597 8599 4792 0 -1 64 1 325 0 0 0 0 1 0 19 0 9 0 1985249945 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8608] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8608/stat : 8608 (java) S 8597 8599 4792 0 -1 64 34 325 0 0 0 0 1 0 15 0 9 0 1985249945 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1771.03
Current children cumulated vsize (KiB) 868424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.3 s]
/proc/loadavg: 1.00 1.13 1.51 2/73 10288
/proc/meminfo: memFree=1838040/2055920 swapFree=4179472/4192956
[pid=8599] ppid=8597 vsize=868424 CPUtime=1800.02
/proc/8599/stat : 8599 (java) S 8597 8599 4792 0 -1 0 30656 325 1 0 179943 58 1 0 18 0 9 0 1985249930 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8599/statm: 217106 22481 2636 9 0 211612 0
[pid=8599/tid=8601] ppid=8597 vsize=868424 CPUtime=1799.35
/proc/8599/task/8601/stat : 8601 (java) R 8597 8599 4792 0 -1 64 20493 325 1 0 179884 50 1 0 25 0 9 0 1985249932 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4127098108 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8599/tid=8602] ppid=8597 vsize=868424 CPUtime=0.27
/proc/8599/task/8602/stat : 8602 (java) S 8597 8599 4792 0 -1 64 8311 325 0 0 22 4 1 0 16 0 9 0 1985249941 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=8599/tid=8603] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8603/stat : 8603 (java) S 8597 8599 4792 0 -1 64 16 325 0 0 0 0 1 0 16 0 9 0 1985249941 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8604] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8604/stat : 8604 (java) S 8597 8599 4792 0 -1 64 12 325 0 0 0 0 1 0 16 0 9 0 1985249941 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8605] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8605/stat : 8605 (java) S 8597 8599 4792 0 -1 64 1 325 0 0 0 0 1 0 18 0 9 0 1985249945 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8606] ppid=8597 vsize=868424 CPUtime=0.36
/proc/8599/task/8606/stat : 8606 (java) S 8597 8599 4792 0 -1 64 989 325 0 0 35 0 1 0 16 0 9 0 1985249945 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8607] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8607/stat : 8607 (java) S 8597 8599 4792 0 -1 64 1 325 0 0 0 0 1 0 19 0 9 0 1985249945 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8608] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8608/stat : 8608 (java) S 8597 8599 4792 0 -1 64 34 325 0 0 0 0 1 0 15 0 9 0 1985249945 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 868424
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1811.3 s]
/proc/loadavg: 1.00 1.13 1.51 2/73 10288
/proc/meminfo: memFree=1838040/2055920 swapFree=4179472/4192956
[pid=8599] ppid=8597 vsize=868424 CPUtime=1800.02
/proc/8599/stat : 8599 (java) S 8597 8599 4792 0 -1 0 30656 325 1 0 179943 58 1 0 18 0 9 0 1985249930 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/8599/statm: 217106 22481 2636 9 0 211612 0
[pid=8599/tid=8601] ppid=8597 vsize=868424 CPUtime=1799.35
/proc/8599/task/8601/stat : 8601 (java) R 8597 8599 4792 0 -1 64 20493 325 1 0 179884 50 1 0 25 0 9 0 1985249932 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4127098108 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8599/tid=8602] ppid=8597 vsize=868424 CPUtime=0.27
/proc/8599/task/8602/stat : 8602 (java) S 8597 8599 4792 0 -1 64 8311 325 0 0 22 4 1 0 16 0 9 0 1985249941 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=8599/tid=8603] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8603/stat : 8603 (java) S 8597 8599 4792 0 -1 64 16 325 0 0 0 0 1 0 16 0 9 0 1985249941 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8604] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8604/stat : 8604 (java) S 8597 8599 4792 0 -1 64 12 325 0 0 0 0 1 0 16 0 9 0 1985249941 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8605] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8605/stat : 8605 (java) S 8597 8599 4792 0 -1 64 1 325 0 0 0 0 1 0 18 0 9 0 1985249945 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8606] ppid=8597 vsize=868424 CPUtime=0.36
/proc/8599/task/8606/stat : 8606 (java) S 8597 8599 4792 0 -1 64 989 325 0 0 35 0 1 0 16 0 9 0 1985249945 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8607] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8607/stat : 8607 (java) S 8597 8599 4792 0 -1 64 1 325 0 0 0 0 1 0 19 0 9 0 1985249945 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=8599/tid=8608] ppid=8597 vsize=868424 CPUtime=0.01
/proc/8599/task/8608/stat : 8608 (java) S 8597 8599 4792 0 -1 64 34 325 0 0 0 0 1 0 15 0 9 0 1985249945 889266176 22481 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 868424
Child status: 143
Real time (s): 1811.37
CPU time (s): 1800.11
CPU user time (s): 1799.5
CPU system time (s): 0.607907
CPU usage (%): 99.3782
Max. virtual memory (cumulated for all children) (KiB): 868424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.607907
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31010
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= 39006
involuntary context switches= 65797
runsolver used 2.30265 second user time and 5.48017 second system time
The end
Begin job on node1 at 2008-07-03 07:25:43
IDJOB=1056332
IDBENCH=57644
IDSOLVER=363
FILE ID=node1/1056332-1215062743
PBS_JOBID= 7875174
Free space on /tmp= 66536 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/os-gp/normalized-gp10-04-1077.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-1056332-1215062743/watcher-1056332-1215062743 -o /tmp/evaluation-result-1056332-1215062743/solver-1056332-1215062743 -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-1056332-1215062743.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 75afcf8e428a7f7d4a33191e7703a36b
RANDOM SEED=509657963
node1.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.265
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.265
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: 1749616 kB
Buffers: 3316 kB
Cached: 56236 kB
SwapCached: 6680 kB
Active: 238032 kB
Inactive: 15056 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1749616 kB
SwapTotal: 4192956 kB
SwapFree: 4179472 kB
Dirty: 2180 kB
Writeback: 0 kB
Mapped: 202268 kB
Slab: 38068 kB
Committed_AS: 3294648 kB
PageTables: 2260 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= 66548 MiB
End job on node1 at 2008-07-03 07:55:56