0.07/0.09
0.07/0.09 Abscon 112 (May, 2008)
0.19/0.23
0.19/0.23 configuration
0.19/0.23 name=mac.xml
0.19/0.28
0.19/0.28 instance
0.19/0.28 name=HOME/instance-2095087-1247406580.xml
0.28/0.32
0.28/0.32 domains being loaded...
0.28/0.33
0.28/0.33 variables being loaded...
0.38/0.48 nbVariables=1344 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=2688
0.38/0.48 => wckTime=0.248 cpuTime=0.16 mem=10M818
0.38/0.48
0.38/0.48 predicates being loaded...
0.48/0.56
0.48/0.56 constraints being loaded...
9.30/9.48 nbConstraints=16103 nbGlobalConstraints=7 nbMergedConstraints=280 nbConvertedConstraints=1624
9.30/9.48 nbConvertConstraintsChecks=17048 nbExtensionStructures=2 nbSharedExtensionStructures=1622
9.30/9.48 nbConflictsStructures=19 nbSharedConflictsStructures=15261 nbUnbuiltConflictsStructures=3
9.30/9.48 nbSharedBinaryRepresentations=5 nbEvaluationManagers=20 nbSharedEvaluationManagers=14452 minDegree=17
9.30/9.48 maxDegree=162 minArity=2 avgArity=6.21 maxArity=660 nbGenerators=7 nbFusions=0 symmetryWckTime=2.844
9.30/9.48 symmetryCpuTime=1.28
9.30/9.48 => wckTime=9.249 cpuTime=6.85 mem=131M209
9.69/9.84
9.69/9.84 solver IterativeSystematicSolver being built...
10.29/10.49
10.39/10.50 INFO : Forward propagation technique limited
10.49/10.61 => wckTime=10.379 cpuTime=7.41 mem=129M777
10.59/10.75
10.59/10.76 preprocessing
10.59/10.76 nbConstraintChecks=10920 nbValidityChecks=9520 nbPropagations=1344 nbRevisions=10192 nbUselessRevisions=10192
10.59/10.76 nbRemovedValues=0 detectedInconsistency=no
10.59/10.76 => wckTime=0.142 cpuTime=0.12 mem=133M796
14.75/14.97
14.75/14.97 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=137M879)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2095087-1247406580/watcher-2095087-1247406580 -o /tmp/evaluation-result-2095087-1247406580/solver-2095087-1247406580 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2095087-1247406580.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): 2000 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.93 4/81 30286
/proc/meminfo: memFree=1593352/2055920 swapFree=4192812/4192956
[pid=30286] ppid=30284 vsize=18576 CPUtime=0
/proc/30286/stat : 30286 (runsolver) R 30284 30286 29131 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 27723218 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 270187162919 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30286/statm: 4644 284 249 26 0 2626 0
[startup+0.0908201 s]
/proc/loadavg: 2.00 2.00 1.93 4/81 30286
/proc/meminfo: memFree=1593352/2055920 swapFree=4192812/4192956
[pid=30286] ppid=30284 vsize=865984 CPUtime=0.07
/proc/30286/stat : 30286 (java) S 30284 30286 29131 0 -1 0 3649 0 1 0 5 2 0 0 18 0 9 0 27723218 886767616 3132 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30286/statm: 216496 3132 1674 9 0 210981 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865984
[startup+0.102823 s]
/proc/loadavg: 2.00 2.00 1.93 4/81 30286
/proc/meminfo: memFree=1593352/2055920 swapFree=4192812/4192956
[pid=30286] ppid=30284 vsize=865984 CPUtime=0.09
/proc/30286/stat : 30286 (java) S 30284 30286 29131 0 -1 0 3779 0 1 0 7 2 0 0 18 0 9 0 27723218 886767616 3234 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30286/statm: 216496 3234 1706 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.302846 s]
/proc/loadavg: 2.00 2.00 1.93 4/81 30286
/proc/meminfo: memFree=1593352/2055920 swapFree=4192812/4192956
[pid=30286] ppid=30284 vsize=866380 CPUtime=0.28
/proc/30286/stat : 30286 (java) S 30284 30286 29131 0 -1 0 5945 0 1 0 25 3 0 0 18 0 9 0 27723218 887173120 5311 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30286/statm: 216595 5311 1983 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.702892 s]
/proc/loadavg: 2.00 2.00 1.93 4/81 30286
/proc/meminfo: memFree=1593352/2055920 swapFree=4192812/4192956
[pid=30286] ppid=30284 vsize=867808 CPUtime=0.68
/proc/30286/stat : 30286 (java) S 30284 30286 29131 0 -1 0 9389 0 1 0 63 5 0 0 18 0 9 0 27723218 888635392 8743 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30286/statm: 216952 8743 2037 9 0 211388 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867808
[startup+1.50198 s]
/proc/loadavg: 2.00 2.00 1.93 3/90 30295
/proc/meminfo: memFree=1547328/2055920 swapFree=4192812/4192956
[pid=30286] ppid=30284 vsize=867720 CPUtime=1.47
/proc/30286/stat : 30286 (java) S 30284 30286 29131 0 -1 0 18919 0 1 0 138 9 0 0 18 0 9 0 27723218 888545280 18247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30286/statm: 216930 18247 2026 9 0 211388 0
[pid=30286/tid=30288] ppid=30284 vsize=867720 CPUtime=1.21
/proc/30286/task/30288/stat : 30288 (java) R 30284 30286 29131 0 -1 64 15797 0 1 0 114 7 0 0 25 0 9 0 27723220 888545280 18247 996147200 134512640 134550932 4294955968 18446744073709551615 4126603159 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30289] ppid=30284 vsize=867720 CPUtime=0.07
/proc/30286/task/30289/stat : 30289 (java) S 30284 30286 29131 0 -1 64 1755 0 0 0 7 0 0 0 16 0 9 0 27723221 888545280 18247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30290] ppid=30284 vsize=867720 CPUtime=0
/proc/30286/task/30290/stat : 30290 (java) S 30284 30286 29131 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27723221 888545280 18247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30291] ppid=30284 vsize=867720 CPUtime=0
/proc/30286/task/30291/stat : 30291 (java) S 30284 30286 29131 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27723221 888545280 18247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30292] ppid=30284 vsize=867720 CPUtime=0
/proc/30286/task/30292/stat : 30292 (java) S 30284 30286 29131 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27723223 888545280 18247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30293] ppid=30284 vsize=867720 CPUtime=0.15
/proc/30286/task/30293/stat : 30293 (java) S 30284 30286 29131 0 -1 64 666 0 0 0 15 0 0 0 16 0 9 0 27723223 888545280 18247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30294] ppid=30284 vsize=867720 CPUtime=0
/proc/30286/task/30294/stat : 30294 (java) S 30284 30286 29131 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 27723223 888545280 18247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30295] ppid=30284 vsize=867720 CPUtime=0
/proc/30286/task/30295/stat : 30295 (java) S 30284 30286 29131 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 27723223 888545280 18247 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867720
[startup+3.10116 s]
/proc/loadavg: 2.00 2.00 1.93 3/90 30295
/proc/meminfo: memFree=1515520/2055920 swapFree=4192812/4192956
[pid=30286] ppid=30284 vsize=867724 CPUtime=3.06
/proc/30286/stat : 30286 (java) S 30284 30286 29131 0 -1 0 24090 0 1 0 265 41 0 0 18 0 9 0 27723218 888549376 23413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30286/statm: 216931 23413 2031 9 0 211389 0
[pid=30286/tid=30288] ppid=30284 vsize=867724 CPUtime=2.56
/proc/30286/task/30288/stat : 30288 (java) R 30284 30286 29131 0 -1 64 15835 0 1 0 219 37 0 0 25 0 9 0 27723220 888549376 23413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30289] ppid=30284 vsize=867724 CPUtime=0.26
/proc/30286/task/30289/stat : 30289 (java) S 30284 30286 29131 0 -1 64 6838 0 0 0 24 2 0 0 17 0 9 0 27723221 888549376 23413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30290] ppid=30284 vsize=867724 CPUtime=0
/proc/30286/task/30290/stat : 30290 (java) S 30284 30286 29131 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27723221 888549376 23413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30291] ppid=30284 vsize=867724 CPUtime=0
/proc/30286/task/30291/stat : 30291 (java) S 30284 30286 29131 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27723221 888549376 23413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30292] ppid=30284 vsize=867724 CPUtime=0
/proc/30286/task/30292/stat : 30292 (java) S 30284 30286 29131 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27723223 888549376 23413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30293] ppid=30284 vsize=867724 CPUtime=0.21
/proc/30286/task/30293/stat : 30293 (java) S 30284 30286 29131 0 -1 64 716 0 0 0 21 0 0 0 16 0 9 0 27723223 888549376 23413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30294] ppid=30284 vsize=867724 CPUtime=0
/proc/30286/task/30294/stat : 30294 (java) S 30284 30286 29131 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 27723223 888549376 23413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30295] ppid=30284 vsize=867724 CPUtime=0
/proc/30286/task/30295/stat : 30295 (java) S 30284 30286 29131 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 27723223 888549376 23413 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867724
[startup+6.30254 s]
/proc/loadavg: 2.00 2.00 1.93 3/90 30295
/proc/meminfo: memFree=1469376/2055920 swapFree=4192812/4192956
[pid=30286] ppid=30284 vsize=867720 CPUtime=6.23
/proc/30286/stat : 30286 (java) S 30284 30286 29131 0 -1 0 35592 0 1 0 550 73 0 0 18 0 9 0 27723218 888545280 34909 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30286/statm: 216930 34909 2031 9 0 211388 0
[pid=30286/tid=30288] ppid=30284 vsize=867720 CPUtime=5.46
/proc/30286/task/30288/stat : 30288 (java) R 30284 30286 29131 0 -1 64 15844 0 1 0 481 65 0 0 25 0 9 0 27723220 888545280 34909 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30289] ppid=30284 vsize=867720 CPUtime=0.51
/proc/30286/task/30289/stat : 30289 (java) R 30284 30286 29131 0 -1 64 18319 0 0 0 45 6 0 0 16 0 9 0 27723221 888545280 34909 996147200 134512640 134550932 4294955968 18446744073709551615 102709373 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30290] ppid=30284 vsize=867720 CPUtime=0
/proc/30286/task/30290/stat : 30290 (java) S 30284 30286 29131 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27723221 888545280 34909 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30291] ppid=30284 vsize=867720 CPUtime=0
/proc/30286/task/30291/stat : 30291 (java) S 30284 30286 29131 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27723221 888545280 34909 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30292] ppid=30284 vsize=867720 CPUtime=0
/proc/30286/task/30292/stat : 30292 (java) S 30284 30286 29131 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27723223 888545280 34909 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30293] ppid=30284 vsize=867720 CPUtime=0.23
/proc/30286/task/30293/stat : 30293 (java) S 30284 30286 29131 0 -1 64 728 0 0 0 22 1 0 0 15 0 9 0 27723223 888545280 34909 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30294] ppid=30284 vsize=867720 CPUtime=0
/proc/30286/task/30294/stat : 30294 (java) S 30284 30286 29131 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 27723223 888545280 34909 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30295] ppid=30284 vsize=867720 CPUtime=0
/proc/30286/task/30295/stat : 30295 (java) S 30284 30286 29131 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 27723223 888545280 34909 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867720
[startup+12.7013 s]
/proc/loadavg: 2.08 2.02 1.94 4/90 30299
/proc/meminfo: memFree=1427632/2055920 swapFree=4192812/4192956
[pid=30286] ppid=30284 vsize=868456 CPUtime=12.57
/proc/30286/stat : 30286 (java) S 30284 30286 29131 0 -1 0 83323 3568 1 0 1030 86 137 4 18 0 9 0 27723218 889298944 43816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30286/statm: 217114 43816 2662 9 0 211550 0
[pid=30286/tid=30288] ppid=30284 vsize=868456 CPUtime=11.03
/proc/30286/task/30288/stat : 30288 (java) R 30284 30286 29131 0 -1 64 34876 3568 1 0 892 70 137 4 18 0 9 0 27723220 889298944 43816 996147200 134512640 134550932 4294955968 18446744073709551615 4126908753 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30289] ppid=30284 vsize=868456 CPUtime=2.52
/proc/30286/task/30289/stat : 30289 (java) R 30284 30286 29131 0 -1 64 46445 3568 0 0 99 12 137 4 20 0 9 0 27723221 889298944 43816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30290] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30290/stat : 30290 (java) S 30284 30286 29131 0 -1 64 24 3568 0 0 0 0 137 4 15 0 9 0 27723221 889298944 43816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30291] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30291/stat : 30291 (java) S 30284 30286 29131 0 -1 64 13 3568 0 0 0 0 137 4 16 0 9 0 27723221 889298944 43816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30292] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30292/stat : 30292 (java) S 30284 30286 29131 0 -1 64 2 3568 0 0 0 0 137 4 18 0 9 0 27723223 889298944 43816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30293] ppid=30284 vsize=868456 CPUtime=1.79
/proc/30286/task/30293/stat : 30293 (java) S 30284 30286 29131 0 -1 64 1156 3568 0 0 37 1 137 4 15 0 9 0 27723223 889298944 43816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30294] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30294/stat : 30294 (java) S 30284 30286 29131 0 -1 64 0 3568 0 0 0 0 137 4 19 0 9 0 27723223 889298944 43816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30295] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30295/stat : 30295 (java) S 30284 30286 29131 0 -1 64 9 3568 0 0 0 0 137 4 15 0 9 0 27723223 889298944 43816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 868456
[startup+25.5027 s]
/proc/loadavg: 2.07 2.02 1.94 3/90 30299
/proc/meminfo: memFree=1427568/2055920 swapFree=4192812/4192956
[pid=30286] ppid=30284 vsize=868456 CPUtime=25.25
/proc/30286/stat : 30286 (java) S 30284 30286 29131 0 -1 0 83353 3568 1 0 2297 87 137 4 18 0 9 0 27723218 889298944 43833 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30286/statm: 217114 43833 2662 9 0 211550 0
[pid=30286/tid=30288] ppid=30284 vsize=868456 CPUtime=23.68
/proc/30286/task/30288/stat : 30288 (java) R 30284 30286 29131 0 -1 64 34881 3568 1 0 2156 71 137 4 25 0 9 0 27723220 889298944 43833 996147200 134512640 134550932 4294955968 18446744073709551615 4126908762 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30289] ppid=30284 vsize=868456 CPUtime=2.52
/proc/30286/task/30289/stat : 30289 (java) S 30284 30286 29131 0 -1 64 46445 3568 0 0 99 12 137 4 16 0 9 0 27723221 889298944 43833 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30290] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30290/stat : 30290 (java) S 30284 30286 29131 0 -1 64 24 3568 0 0 0 0 137 4 15 0 9 0 27723221 889298944 43833 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30291] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30291/stat : 30291 (java) S 30284 30286 29131 0 -1 64 17 3568 0 0 0 0 137 4 16 0 9 0 27723221 889298944 43833 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30292] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30292/stat : 30292 (java) S 30284 30286 29131 0 -1 64 2 3568 0 0 0 0 137 4 18 0 9 0 27723223 889298944 43833 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30293] ppid=30284 vsize=868456 CPUtime=1.82
/proc/30286/task/30293/stat : 30293 (java) S 30284 30286 29131 0 -1 64 1177 3568 0 0 40 1 137 4 16 0 9 0 27723223 889298944 43833 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30294] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30294/stat : 30294 (java) S 30284 30286 29131 0 -1 64 0 3568 0 0 0 0 137 4 19 0 9 0 27723223 889298944 43833 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30295] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30295/stat : 30295 (java) S 30284 30286 29131 0 -1 64 9 3568 0 0 0 0 137 4 15 0 9 0 27723223 889298944 43833 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 868456
[startup+51.1027 s]
/proc/loadavg: 2.04 2.01 1.94 3/90 30299
/proc/meminfo: memFree=1427504/2055920 swapFree=4192812/4192956
[pid=30286] ppid=30284 vsize=868456 CPUtime=50.61
/proc/30286/stat : 30286 (java) S 30284 30286 29131 0 -1 0 83356 3568 1 0 4833 87 137 4 18 0 9 0 27723218 889298944 43834 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30286/statm: 217114 43834 2662 9 0 211550 0
[pid=30286/tid=30288] ppid=30284 vsize=868456 CPUtime=49.03
/proc/30286/task/30288/stat : 30288 (java) R 30284 30286 29131 0 -1 64 34882 3568 1 0 4691 71 137 4 25 0 9 0 27723220 889298944 43834 996147200 134512640 134550932 4294955968 18446744073709551615 4127392543 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30289] ppid=30284 vsize=868456 CPUtime=2.52
/proc/30286/task/30289/stat : 30289 (java) S 30284 30286 29131 0 -1 64 46445 3568 0 0 99 12 137 4 16 0 9 0 27723221 889298944 43834 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30290] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30290/stat : 30290 (java) S 30284 30286 29131 0 -1 64 24 3568 0 0 0 0 137 4 15 0 9 0 27723221 889298944 43834 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30291] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30291/stat : 30291 (java) S 30284 30286 29131 0 -1 64 17 3568 0 0 0 0 137 4 16 0 9 0 27723221 889298944 43834 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30292] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30292/stat : 30292 (java) S 30284 30286 29131 0 -1 64 2 3568 0 0 0 0 137 4 18 0 9 0 27723223 889298944 43834 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30293] ppid=30284 vsize=868456 CPUtime=1.82
/proc/30286/task/30293/stat : 30293 (java) S 30284 30286 29131 0 -1 64 1179 3568 0 0 40 1 137 4 16 0 9 0 27723223 889298944 43834 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30294] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30294/stat : 30294 (java) S 30284 30286 29131 0 -1 64 0 3568 0 0 0 0 137 4 19 0 9 0 27723223 889298944 43834 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/30286/task/30291/stat : 30291 (java) S 30284 30286 29131 0 -1 64 17 3568 0 0 0 0 137 4 16 0 9 0 27723221 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30292] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30292/stat : 30292 (java) S 30284 30286 29131 0 -1 64 2 3568 0 0 0 0 137 4 18 0 9 0 27723223 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30293] ppid=30284 vsize=868456 CPUtime=1.83
/proc/30286/task/30293/stat : 30293 (java) S 30284 30286 29131 0 -1 64 1182 3568 0 0 41 1 137 4 17 0 9 0 27723223 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30294] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30294/stat : 30294 (java) S 30284 30286 29131 0 -1 64 0 3568 0 0 0 0 137 4 19 0 9 0 27723223 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30295] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30295/stat : 30295 (java) S 30284 30286 29131 0 -1 64 9 3568 0 0 0 0 137 4 15 0 9 0 27723223 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1527.83
Current children cumulated vsize (KiB) 868456
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/90 30348
/proc/meminfo: memFree=1626944/2055920 swapFree=4192812/4192956
[pid=30286] ppid=30284 vsize=868456 CPUtime=1587.27
/proc/30286/stat : 30286 (java) S 30284 30286 29131 0 -1 0 83361 3568 1 0 158498 88 137 4 18 0 9 0 27723218 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30286/statm: 217114 43836 2662 9 0 211550 0
[pid=30286/tid=30288] ppid=30284 vsize=868456 CPUtime=1585.69
/proc/30286/task/30288/stat : 30288 (java) R 30284 30286 29131 0 -1 64 34884 3568 1 0 158356 72 137 4 25 0 9 0 27723220 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4127405682 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30289] ppid=30284 vsize=868456 CPUtime=2.52
/proc/30286/task/30289/stat : 30289 (java) S 30284 30286 29131 0 -1 64 46445 3568 0 0 99 12 137 4 16 0 9 0 27723221 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30290] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30290/stat : 30290 (java) S 30284 30286 29131 0 -1 64 24 3568 0 0 0 0 137 4 15 0 9 0 27723221 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30291] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30291/stat : 30291 (java) S 30284 30286 29131 0 -1 64 17 3568 0 0 0 0 137 4 16 0 9 0 27723221 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30292] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30292/stat : 30292 (java) S 30284 30286 29131 0 -1 64 2 3568 0 0 0 0 137 4 18 0 9 0 27723223 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30293] ppid=30284 vsize=868456 CPUtime=1.83
/proc/30286/task/30293/stat : 30293 (java) S 30284 30286 29131 0 -1 64 1182 3568 0 0 41 1 137 4 17 0 9 0 27723223 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30294] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30294/stat : 30294 (java) S 30284 30286 29131 0 -1 64 0 3568 0 0 0 0 137 4 19 0 9 0 27723223 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30295] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30295/stat : 30295 (java) S 30284 30286 29131 0 -1 64 9 3568 0 0 0 0 137 4 15 0 9 0 27723223 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1587.27
Current children cumulated vsize (KiB) 868456
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.94 4/90 30348
/proc/meminfo: memFree=1626944/2055920 swapFree=4192812/4192956
[pid=30286] ppid=30284 vsize=868456 CPUtime=1646.71
/proc/30286/stat : 30286 (java) S 30284 30286 29131 0 -1 0 83361 3568 1 0 164442 88 137 4 18 0 9 0 27723218 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30286/statm: 217114 43836 2662 9 0 211550 0
[pid=30286/tid=30288] ppid=30284 vsize=868456 CPUtime=1645.13
/proc/30286/task/30288/stat : 30288 (java) R 30284 30286 29131 0 -1 64 34884 3568 1 0 164300 72 137 4 25 0 9 0 27723220 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4127405655 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30289] ppid=30284 vsize=868456 CPUtime=2.52
/proc/30286/task/30289/stat : 30289 (java) S 30284 30286 29131 0 -1 64 46445 3568 0 0 99 12 137 4 16 0 9 0 27723221 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30290] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30290/stat : 30290 (java) S 30284 30286 29131 0 -1 64 24 3568 0 0 0 0 137 4 15 0 9 0 27723221 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30291] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30291/stat : 30291 (java) S 30284 30286 29131 0 -1 64 17 3568 0 0 0 0 137 4 16 0 9 0 27723221 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30292] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30292/stat : 30292 (java) S 30284 30286 29131 0 -1 64 2 3568 0 0 0 0 137 4 18 0 9 0 27723223 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30293] ppid=30284 vsize=868456 CPUtime=1.83
/proc/30286/task/30293/stat : 30293 (java) S 30284 30286 29131 0 -1 64 1182 3568 0 0 41 1 137 4 17 0 9 0 27723223 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30294] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30294/stat : 30294 (java) S 30284 30286 29131 0 -1 64 0 3568 0 0 0 0 137 4 19 0 9 0 27723223 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30295] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30295/stat : 30295 (java) S 30284 30286 29131 0 -1 64 9 3568 0 0 0 0 137 4 15 0 9 0 27723223 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1646.71
Current children cumulated vsize (KiB) 868456
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/90 30348
/proc/meminfo: memFree=1626944/2055920 swapFree=4192812/4192956
[pid=30286] ppid=30284 vsize=868456 CPUtime=1706.14
/proc/30286/stat : 30286 (java) S 30284 30286 29131 0 -1 0 83361 3568 1 0 170385 88 137 4 18 0 9 0 27723218 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30286/statm: 217114 43836 2662 9 0 211550 0
[pid=30286/tid=30288] ppid=30284 vsize=868456 CPUtime=1704.57
/proc/30286/task/30288/stat : 30288 (java) R 30284 30286 29131 0 -1 64 34884 3568 1 0 170244 72 137 4 25 0 9 0 27723220 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4127392485 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30289] ppid=30284 vsize=868456 CPUtime=2.52
/proc/30286/task/30289/stat : 30289 (java) S 30284 30286 29131 0 -1 64 46445 3568 0 0 99 12 137 4 16 0 9 0 27723221 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30290] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30290/stat : 30290 (java) S 30284 30286 29131 0 -1 64 24 3568 0 0 0 0 137 4 15 0 9 0 27723221 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30291] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30291/stat : 30291 (java) S 30284 30286 29131 0 -1 64 17 3568 0 0 0 0 137 4 16 0 9 0 27723221 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30292] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30292/stat : 30292 (java) S 30284 30286 29131 0 -1 64 2 3568 0 0 0 0 137 4 18 0 9 0 27723223 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30293] ppid=30284 vsize=868456 CPUtime=1.83
/proc/30286/task/30293/stat : 30293 (java) S 30284 30286 29131 0 -1 64 1182 3568 0 0 41 1 137 4 17 0 9 0 27723223 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30294] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30294/stat : 30294 (java) S 30284 30286 29131 0 -1 64 0 3568 0 0 0 0 137 4 19 0 9 0 27723223 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30295] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30295/stat : 30295 (java) S 30284 30286 29131 0 -1 64 9 3568 0 0 0 0 137 4 15 0 9 0 27723223 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1706.14
Current children cumulated vsize (KiB) 868456
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/90 30348
/proc/meminfo: memFree=1626816/2055920 swapFree=4192812/4192956
[pid=30286] ppid=30284 vsize=868456 CPUtime=1765.58
/proc/30286/stat : 30286 (java) S 30284 30286 29131 0 -1 0 83361 3568 1 0 176329 88 137 4 18 0 9 0 27723218 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30286/statm: 217114 43836 2662 9 0 211550 0
[pid=30286/tid=30288] ppid=30284 vsize=868456 CPUtime=1764
/proc/30286/task/30288/stat : 30288 (java) R 30284 30286 29131 0 -1 64 34884 3568 1 0 176187 72 137 4 25 0 9 0 27723220 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4127404782 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30289] ppid=30284 vsize=868456 CPUtime=2.52
/proc/30286/task/30289/stat : 30289 (java) S 30284 30286 29131 0 -1 64 46445 3568 0 0 99 12 137 4 16 0 9 0 27723221 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30290] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30290/stat : 30290 (java) S 30284 30286 29131 0 -1 64 24 3568 0 0 0 0 137 4 15 0 9 0 27723221 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30291] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30291/stat : 30291 (java) S 30284 30286 29131 0 -1 64 17 3568 0 0 0 0 137 4 16 0 9 0 27723221 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30292] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30292/stat : 30292 (java) S 30284 30286 29131 0 -1 64 2 3568 0 0 0 0 137 4 18 0 9 0 27723223 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30293] ppid=30284 vsize=868456 CPUtime=1.83
/proc/30286/task/30293/stat : 30293 (java) S 30284 30286 29131 0 -1 64 1182 3568 0 0 41 1 137 4 17 0 9 0 27723223 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30294] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30294/stat : 30294 (java) S 30284 30286 29131 0 -1 64 0 3568 0 0 0 0 137 4 19 0 9 0 27723223 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30295] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30295/stat : 30295 (java) S 30284 30286 29131 0 -1 64 9 3568 0 0 0 0 137 4 15 0 9 0 27723223 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1765.58
Current children cumulated vsize (KiB) 868456
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1817.1 s]
/proc/loadavg: 2.06 2.01 1.95 3/90 30348
/proc/meminfo: memFree=1626816/2055920 swapFree=4192812/4192956
[pid=30286] ppid=30284 vsize=868456 CPUtime=1800.06
/proc/30286/stat : 30286 (java) S 30284 30286 29131 0 -1 0 83361 3568 1 0 179777 88 137 4 18 0 9 0 27723218 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30286/statm: 217114 43836 2662 9 0 211550 0
[pid=30286/tid=30288] ppid=30284 vsize=868456 CPUtime=1798.48
/proc/30286/task/30288/stat : 30288 (java) R 30284 30286 29131 0 -1 64 34884 3568 1 0 179635 72 137 4 25 0 9 0 27723220 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4127391002 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30289] ppid=30284 vsize=868456 CPUtime=2.52
/proc/30286/task/30289/stat : 30289 (java) S 30284 30286 29131 0 -1 64 46445 3568 0 0 99 12 137 4 16 0 9 0 27723221 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30290] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30290/stat : 30290 (java) S 30284 30286 29131 0 -1 64 24 3568 0 0 0 0 137 4 15 0 9 0 27723221 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30291] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30291/stat : 30291 (java) S 30284 30286 29131 0 -1 64 17 3568 0 0 0 0 137 4 16 0 9 0 27723221 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30292] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30292/stat : 30292 (java) S 30284 30286 29131 0 -1 64 2 3568 0 0 0 0 137 4 18 0 9 0 27723223 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30293] ppid=30284 vsize=868456 CPUtime=1.83
/proc/30286/task/30293/stat : 30293 (java) S 30284 30286 29131 0 -1 64 1182 3568 0 0 41 1 137 4 17 0 9 0 27723223 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30294] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30294/stat : 30294 (java) S 30284 30286 29131 0 -1 64 0 3568 0 0 0 0 137 4 19 0 9 0 27723223 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30295] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30295/stat : 30295 (java) S 30284 30286 29131 0 -1 64 9 3568 0 0 0 0 137 4 15 0 9 0 27723223 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 868456
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1817.1 s]
/proc/loadavg: 2.06 2.01 1.95 3/90 30348
/proc/meminfo: memFree=1626816/2055920 swapFree=4192812/4192956
[pid=30286] ppid=30284 vsize=868456 CPUtime=1800.06
/proc/30286/stat : 30286 (java) S 30284 30286 29131 0 -1 0 83361 3568 1 0 179777 88 137 4 18 0 9 0 27723218 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30286/statm: 217114 43836 2662 9 0 211550 0
[pid=30286/tid=30288] ppid=30284 vsize=868456 CPUtime=1798.48
/proc/30286/task/30288/stat : 30288 (java) R 30284 30286 29131 0 -1 64 34884 3568 1 0 179635 72 137 4 25 0 9 0 27723220 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4127391002 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30289] ppid=30284 vsize=868456 CPUtime=2.52
/proc/30286/task/30289/stat : 30289 (java) S 30284 30286 29131 0 -1 64 46445 3568 0 0 99 12 137 4 16 0 9 0 27723221 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30290] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30290/stat : 30290 (java) S 30284 30286 29131 0 -1 64 24 3568 0 0 0 0 137 4 15 0 9 0 27723221 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30291] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30291/stat : 30291 (java) S 30284 30286 29131 0 -1 64 17 3568 0 0 0 0 137 4 16 0 9 0 27723221 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30292] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30292/stat : 30292 (java) S 30284 30286 29131 0 -1 64 2 3568 0 0 0 0 137 4 18 0 9 0 27723223 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30293] ppid=30284 vsize=868456 CPUtime=1.83
/proc/30286/task/30293/stat : 30293 (java) S 30284 30286 29131 0 -1 64 1182 3568 0 0 41 1 137 4 17 0 9 0 27723223 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30294] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30294/stat : 30294 (java) S 30284 30286 29131 0 -1 64 0 3568 0 0 0 0 137 4 19 0 9 0 27723223 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30286/tid=30295] ppid=30284 vsize=868456 CPUtime=1.41
/proc/30286/task/30295/stat : 30295 (java) S 30284 30286 29131 0 -1 64 9 3568 0 0 0 0 137 4 15 0 9 0 27723223 889298944 43836 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 868456
Child status: 143
Real time (s): 1817.18
CPU time (s): 1800.14
CPU user time (s): 1799.19
CPU system time (s): 0.948855
CPU usage (%): 99.0624
Max. virtual memory (cumulated for all children) (KiB): 886144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.19
system time used= 0.948855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86956
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= 39513
involuntary context switches= 96226
runsolver used 2.41963 second user time and 5.85411 second system time
The end
Begin job on node88 at 2009-07-12 15:49:40
IDJOB=2095087
IDBENCH=54860
IDSOLVER=773
FILE ID=node88/2095087-1247406580
PBS_JOBID= 9510475
Free space on /tmp= 66148 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/pseudo/ttp/normalized-data-8-3.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= BIN/runsolver --timestamp -w /tmp/evaluation-result-2095087-1247406580/watcher-2095087-1247406580 -o /tmp/evaluation-result-2095087-1247406580/solver-2095087-1247406580 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2095087-1247406580.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a80e9ca6f14152a808d5210c0080ccc5
RANDOM SEED=934925649
node88.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.222
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.222
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: 1593768 kB
Buffers: 38304 kB
Cached: 123400 kB
SwapCached: 0 kB
Active: 349756 kB
Inactive: 65468 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1593768 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5028 kB
Writeback: 0 kB
Mapped: 273904 kB
Slab: 31620 kB
Committed_AS: 1026604 kB
PageTables: 2332 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= 66152 MiB
End job on node88 at 2009-07-12 16:19:59