0.01/0.09
0.01/0.09 Abscon 112 (May, 2008)
0.19/0.25
0.19/0.25 configuration
0.19/0.25 name=mac.xml
0.19/0.29
0.19/0.29 instance
0.19/0.29 name=HOME/instance-2097775-1247414011.xml
0.29/0.33
0.29/0.33 domains being loaded...
0.29/0.37
0.29/0.37 variables being loaded...
0.58/0.62 nbVariables=2000 nbDomainTypes=49 minDomainSize=42 maxDomainSize=190 nbTotalValues=320494
0.58/0.62 => wckTime=0.362 cpuTime=0.25 mem=21M580
0.58/0.62
0.58/0.62 predicates being loaded...
0.58/0.68
0.58/0.68 constraints being loaded...
20.70/20.97
20.70/20.97 INFO : Stopping converting binary constraints (cpu=20.05, mem = 72M58)
32.36/32.71 nbConstraints=13669 nbMergedConstraints=11983 nbConvertedConstraints=1475 nbConvertConstraintsChecks=48111930
32.36/32.71 nbExtensionStructures=1354 nbSharedExtensionStructures=468 nbConflictsStructures=3184
32.36/32.71 nbSharedConflictsStructures=649 nbUnbuiltConflictsStructures=7050 nbSharedBinaryRepresentations=331654
32.36/32.71 nbEvaluationManagers=8880 nbSharedEvaluationManagers=3314 minDegree=3 maxDegree=17 minArity=2 maxArity=2
32.36/32.71 nbGenerators=0 nbFusions=0 symmetryWckTime=1.251 symmetryCpuTime=1.0
32.36/32.71 => wckTime=32.448 cpuTime=30.76 mem=77M77
32.76/33.13
32.76/33.13 solver IterativeSystematicSolver being built...
33.25/33.61 => wckTime=33.358 cpuTime=31.11 mem=90M484
43.36/43.87
43.36/43.87 preprocessing
43.36/43.87 nbConstraintChecks=25084615 nbValidityChecks=1089977 nbPropagations=2550 nbRevisions=32780
43.36/43.87 nbUselessRevisions=28704 nbRemovedValues=133228 detectedInconsistency=no
43.36/43.87 => wckTime=10.239 cpuTime=10.12 mem=90M484
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097775-1247414011/watcher-2097775-1247414011 -o /tmp/evaluation-result-2097775-1247414011/solver-2097775-1247414011 -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-2097775-1247414011.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.04 2.03 2.03 4/80 27999
/proc/meminfo: memFree=1739868/2055920 swapFree=4192812/4192956
[pid=27999] ppid=27997 vsize=10676 CPUtime=0
/proc/27999/stat : 27999 (java) S 27997 27999 24991 0 -1 0 678 0 0 0 0 0 0 0 18 0 2 0 28468265 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/27999/statm: 2669 474 207 9 0 1184 0
[pid=27999/tid=28000] ppid=27997 vsize=10676 CPUtime=0
/proc/27999/task/28000/stat : 28000 (java) R 27997 27999 24991 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 28468266 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 9510872 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.027199 s]
/proc/loadavg: 2.04 2.03 2.03 4/80 27999
/proc/meminfo: memFree=1739868/2055920 swapFree=4192812/4192956
[pid=27999] ppid=27997 vsize=861936 CPUtime=0.01
/proc/27999/stat : 27999 (java) S 27997 27999 24991 0 -1 0 1878 0 1 0 0 1 0 0 18 0 5 0 28468265 882622464 1563 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/27999/statm: 215484 1563 686 9 0 210399 0
[pid=27999/tid=28000] ppid=27997 vsize=861936 CPUtime=0
/proc/27999/task/28000/stat : 28000 (java) S 27997 27999 24991 0 -1 64 1187 0 1 0 0 0 0 0 19 0 5 0 28468266 882622464 1563 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16784584 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 861936
[startup+0.101082 s]
/proc/loadavg: 2.04 2.03 2.03 4/80 27999
/proc/meminfo: memFree=1739868/2055920 swapFree=4192812/4192956
[pid=27999] ppid=27997 vsize=865984 CPUtime=0.09
/proc/27999/stat : 27999 (java) S 27997 27999 24991 0 -1 0 3736 0 1 0 7 2 0 0 18 0 9 0 28468265 886767616 3204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27999/statm: 216496 3204 1700 9 0 210981 0
[pid=27999/tid=28000] ppid=27997 vsize=865984 CPUtime=0.06
/proc/27999/task/28000/stat : 28000 (java) R 27997 27999 24991 0 -1 64 2811 0 1 0 5 1 0 0 20 0 9 0 28468266 886767616 3204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.301103 s]
/proc/loadavg: 2.04 2.03 2.03 4/80 27999
/proc/meminfo: memFree=1739868/2055920 swapFree=4192812/4192956
[pid=27999] ppid=27997 vsize=866380 CPUtime=0.29
/proc/27999/stat : 27999 (java) S 27997 27999 24991 0 -1 0 5889 0 1 0 25 4 0 0 18 0 9 0 28468265 887173120 5255 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27999/statm: 216595 5255 1983 9 0 211053 0
[pid=27999/tid=28000] ppid=27997 vsize=866380 CPUtime=0.24
/proc/27999/task/28000/stat : 28000 (java) R 27997 27999 24991 0 -1 64 4907 0 1 0 21 3 0 0 21 0 9 0 28468266 887173120 5255 996147200 134512640 134550932 4294955968 18446744073709551615 4159506199 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380
[startup+0.701148 s]
/proc/loadavg: 2.04 2.03 2.03 4/80 27999
/proc/meminfo: memFree=1739868/2055920 swapFree=4192812/4192956
[pid=27999] ppid=27997 vsize=867588 CPUtime=0.68
/proc/27999/stat : 27999 (java) S 27997 27999 24991 0 -1 0 11012 0 1 0 62 6 0 0 18 0 9 0 28468265 888410112 10366 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27999/statm: 216897 10366 2037 9 0 211333 0
[pid=27999/tid=28000] ppid=27997 vsize=867588 CPUtime=0.5
/proc/27999/task/28000/stat : 28000 (java) R 27997 27999 24991 0 -1 64 9689 0 1 0 45 5 0 0 23 0 9 0 28468266 888410112 10366 996147200 134512640 134550932 4294955968 18446744073709551615 4125925003 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867588
[startup+1.50224 s]
/proc/loadavg: 2.11 2.04 2.04 3/89 28008
/proc/meminfo: memFree=1691028/2055920 swapFree=4192812/4192956
[pid=27999] ppid=27997 vsize=867500 CPUtime=1.48
/proc/27999/stat : 27999 (java) S 27997 27999 24991 0 -1 0 20218 0 1 0 137 11 0 0 18 0 9 0 28468265 888320000 19546 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27999/statm: 216875 19546 2029 9 0 211333 0
[pid=27999/tid=28000] ppid=27997 vsize=867500 CPUtime=1.2
/proc/27999/task/28000/stat : 28000 (java) R 27997 27999 24991 0 -1 64 15795 0 1 0 112 8 0 0 25 0 9 0 28468266 888320000 19546 996147200 134512640 134550932 4294955968 18446744073709551615 4126599096 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28002] ppid=27997 vsize=867500 CPUtime=0.06
/proc/27999/task/28002/stat : 28002 (java) S 27997 27999 24991 0 -1 64 3081 0 0 0 5 1 0 0 16 0 9 0 28468268 888320000 19546 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28003] ppid=27997 vsize=867500 CPUtime=0
/proc/27999/task/28003/stat : 28003 (java) S 27997 27999 24991 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28468268 888320000 19546 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28004] ppid=27997 vsize=867500 CPUtime=0
/proc/27999/task/28004/stat : 28004 (java) S 27997 27999 24991 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28468268 888320000 19546 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28005] ppid=27997 vsize=867500 CPUtime=0
/proc/27999/task/28005/stat : 28005 (java) S 27997 27999 24991 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28468270 888320000 19546 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28006] ppid=27997 vsize=867500 CPUtime=0.18
/proc/27999/task/28006/stat : 28006 (java) S 27997 27999 24991 0 -1 64 641 0 0 0 18 0 0 0 16 0 9 0 28468270 888320000 19546 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28007] ppid=27997 vsize=867500 CPUtime=0
/proc/27999/task/28007/stat : 28007 (java) S 27997 27999 24991 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28468270 888320000 19546 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28008] ppid=27997 vsize=867500 CPUtime=0
/proc/27999/task/28008/stat : 28008 (java) S 27997 27999 24991 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28468270 888320000 19546 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867500
[startup+3.10241 s]
/proc/loadavg: 2.11 2.04 2.04 4/89 28008
/proc/meminfo: memFree=1657108/2055920 swapFree=4192812/4192956
[pid=27999] ppid=27997 vsize=867500 CPUtime=3.06
/proc/27999/stat : 27999 (java) S 27997 27999 24991 0 -1 0 23287 0 1 0 293 13 0 0 18 0 9 0 28468265 888320000 22611 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27999/statm: 216875 22611 2032 9 0 211333 0
[pid=27999/tid=28000] ppid=27997 vsize=867500 CPUtime=2.66
/proc/27999/task/28000/stat : 28000 (java) R 27997 27999 24991 0 -1 64 15832 0 1 0 257 9 0 0 25 0 9 0 28468266 888320000 22611 996147200 134512640 134550932 4294955968 18446744073709551615 4126927744 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28002] ppid=27997 vsize=867500 CPUtime=0.15
/proc/27999/task/28002/stat : 28002 (java) S 27997 27999 24991 0 -1 64 6091 0 0 0 13 2 0 0 17 0 9 0 28468268 888320000 22611 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28003] ppid=27997 vsize=867500 CPUtime=0
/proc/27999/task/28003/stat : 28003 (java) S 27997 27999 24991 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28468268 888320000 22611 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28004] ppid=27997 vsize=867500 CPUtime=0
/proc/27999/task/28004/stat : 28004 (java) S 27997 27999 24991 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28468268 888320000 22611 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28005] ppid=27997 vsize=867500 CPUtime=0
/proc/27999/task/28005/stat : 28005 (java) S 27997 27999 24991 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28468270 888320000 22611 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28006] ppid=27997 vsize=867500 CPUtime=0.22
/proc/27999/task/28006/stat : 28006 (java) S 27997 27999 24991 0 -1 64 663 0 0 0 21 1 0 0 15 0 9 0 28468270 888320000 22611 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28007] ppid=27997 vsize=867500 CPUtime=0
/proc/27999/task/28007/stat : 28007 (java) S 27997 27999 24991 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28468270 888320000 22611 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28008] ppid=27997 vsize=867500 CPUtime=0
/proc/27999/task/28008/stat : 28008 (java) S 27997 27999 24991 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28468270 888320000 22611 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) 867500
[startup+6.30177 s]
/proc/loadavg: 2.11 2.04 2.04 3/89 28008
/proc/meminfo: memFree=1656596/2055920 swapFree=4192812/4192956
[pid=27999] ppid=27997 vsize=867500 CPUtime=6.23
/proc/27999/stat : 27999 (java) S 27997 27999 24991 0 -1 0 23316 0 1 0 608 15 0 0 18 0 9 0 28468265 888320000 22638 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27999/statm: 216875 22638 2032 9 0 211333 0
[pid=27999/tid=28000] ppid=27997 vsize=867500 CPUtime=5.8
/proc/27999/task/28000/stat : 28000 (java) R 27997 27999 24991 0 -1 64 15836 0 1 0 570 10 0 0 25 0 9 0 28468266 888320000 22638 996147200 134512640 134550932 4294955968 18446744073709551615 4126930103 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28002] ppid=27997 vsize=867500 CPUtime=0.15
/proc/27999/task/28002/stat : 28002 (java) S 27997 27999 24991 0 -1 64 6091 0 0 0 13 2 0 0 16 0 9 0 28468268 888320000 22638 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28003] ppid=27997 vsize=867500 CPUtime=0
/proc/27999/task/28003/stat : 28003 (java) S 27997 27999 24991 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28468268 888320000 22638 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28004] ppid=27997 vsize=867500 CPUtime=0
/proc/27999/task/28004/stat : 28004 (java) S 27997 27999 24991 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28468268 888320000 22638 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28005] ppid=27997 vsize=867500 CPUtime=0
/proc/27999/task/28005/stat : 28005 (java) S 27997 27999 24991 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28468270 888320000 22638 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28006] ppid=27997 vsize=867500 CPUtime=0.24
/proc/27999/task/28006/stat : 28006 (java) S 27997 27999 24991 0 -1 64 688 0 0 0 23 1 0 0 15 0 9 0 28468270 888320000 22638 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28007] ppid=27997 vsize=867500 CPUtime=0
/proc/27999/task/28007/stat : 28007 (java) S 27997 27999 24991 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28468270 888320000 22638 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28008] ppid=27997 vsize=867500 CPUtime=0
/proc/27999/task/28008/stat : 28008 (java) S 27997 27999 24991 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28468270 888320000 22638 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) 867500
[startup+12.7025 s]
/proc/loadavg: 2.10 2.04 2.04 3/89 28008
/proc/meminfo: memFree=1647572/2055920 swapFree=4192812/4192956
[pid=27999] ppid=27997 vsize=867500 CPUtime=12.57
/proc/27999/stat : 27999 (java) S 27997 27999 24991 0 -1 0 25518 0 1 0 1239 18 0 0 18 0 9 0 28468265 888320000 24837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27999/statm: 216875 24837 2032 9 0 211333 0
[pid=27999/tid=28000] ppid=27997 vsize=867500 CPUtime=12
/proc/27999/task/28000/stat : 28000 (java) R 27997 27999 24991 0 -1 64 15840 0 1 0 1187 13 0 0 25 0 9 0 28468266 888320000 24837 996147200 134512640 134550932 4294955968 18446744073709551615 4126957254 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28002] ppid=27997 vsize=867500 CPUtime=0.28
/proc/27999/task/28002/stat : 28002 (java) S 27997 27999 24991 0 -1 64 8280 0 0 0 25 3 0 0 16 0 9 0 28468268 888320000 24837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28003] ppid=27997 vsize=867500 CPUtime=0
/proc/27999/task/28003/stat : 28003 (java) S 27997 27999 24991 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28468268 888320000 24837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28004] ppid=27997 vsize=867500 CPUtime=0
/proc/27999/task/28004/stat : 28004 (java) S 27997 27999 24991 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28468268 888320000 24837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28005] ppid=27997 vsize=867500 CPUtime=0
/proc/27999/task/28005/stat : 28005 (java) S 27997 27999 24991 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28468270 888320000 24837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28006] ppid=27997 vsize=867500 CPUtime=0.26
/proc/27999/task/28006/stat : 28006 (java) S 27997 27999 24991 0 -1 64 697 0 0 0 25 1 0 0 15 0 9 0 28468270 888320000 24837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28007] ppid=27997 vsize=867500 CPUtime=0
/proc/27999/task/28007/stat : 28007 (java) S 27997 27999 24991 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28468270 888320000 24837 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28008] ppid=27997 vsize=867500 CPUtime=0
/proc/27999/task/28008/stat : 28008 (java) S 27997 27999 24991 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28468270 888320000 24837 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) 867500
[startup+25.5019 s]
/proc/loadavg: 2.08 2.04 2.03 3/89 28008
/proc/meminfo: memFree=1633172/2055920 swapFree=4192812/4192956
[pid=27999] ppid=27997 vsize=867500 CPUtime=25.25
/proc/27999/stat : 27999 (java) S 27997 27999 24991 0 -1 0 29801 0 1 0 2501 24 0 0 18 0 9 0 28468265 888320000 29114 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27999/statm: 216875 29114 2033 9 0 211333 0
[pid=27999/tid=28000] ppid=27997 vsize=867500 CPUtime=24.33
/proc/27999/task/28000/stat : 28000 (java) R 27997 27999 24991 0 -1 64 15848 0 1 0 2416 17 0 0 25 0 9 0 28468266 888320000 29114 996147200 134512640 134550932 4294955968 18446744073709551615 4126410870 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28002] ppid=27997 vsize=867500 CPUtime=0.6
/proc/27999/task/28002/stat : 28002 (java) S 27997 27999 24991 0 -1 64 12537 0 0 0 56 4 0 0 16 0 9 0 28468268 888320000 29114 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28003] ppid=27997 vsize=867500 CPUtime=0
/proc/27999/task/28003/stat : 28003 (java) S 27997 27999 24991 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28468268 888320000 29114 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28004] ppid=27997 vsize=867500 CPUtime=0
/proc/27999/task/28004/stat : 28004 (java) S 27997 27999 24991 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28468268 888320000 29114 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28005] ppid=27997 vsize=867500 CPUtime=0
/proc/27999/task/28005/stat : 28005 (java) S 27997 27999 24991 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28468270 888320000 29114 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28006] ppid=27997 vsize=867500 CPUtime=0.29
/proc/27999/task/28006/stat : 28006 (java) S 27997 27999 24991 0 -1 64 715 0 0 0 28 1 0 0 16 0 9 0 28468270 888320000 29114 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28007] ppid=27997 vsize=867500 CPUtime=0
/proc/27999/task/28007/stat : 28007 (java) S 27997 27999 24991 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28468270 888320000 29114 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28008] ppid=27997 vsize=867500 CPUtime=0
/proc/27999/task/28008/stat : 28008 (java) S 27997 27999 24991 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28468270 888320000 29114 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) 867500
[startup+51.1018 s]
/proc/loadavg: 2.05 2.04 2.03 3/89 28012
/proc/meminfo: memFree=1589516/2055920 swapFree=4192812/4192956
[pid=27999] ppid=27997 vsize=867824 CPUtime=50.59
/proc/27999/stat : 27999 (java) S 27997 27999 24991 0 -1 0 69001 953 1 0 5005 37 15 2 18 0 9 0 28468265 888651776 39926 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27999/statm: 216956 39926 2642 9 0 211414 0
[pid=27999/tid=28000] ppid=27997 vsize=867824 CPUtime=48.75
/proc/27999/task/28000/stat : 28000 (java) R 27997 27999 24991 0 -1 64 31610 953 1 0 4837 21 15 2 25 0 9 0 28468266 888651776 39926 996147200 134512640 134550932 4294955968 18446744073709551615 4126927697 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28002] ppid=27997 vsize=867824 CPUtime=1.55
/proc/27999/task/28002/stat : 28002 (java) S 27997 27999 24991 0 -1 64 35577 953 0 0 126 12 15 2 16 0 9 0 28468268 888651776 39926 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/27999/task/28004/stat : 28004 (java) S 27997 27999 24991 0 -1 64 30 953 0 0 0 0 15 2 15 0 9 0 28468268 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28005] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28005/stat : 28005 (java) S 27997 27999 24991 0 -1 64 2 953 0 0 0 0 15 2 18 0 9 0 28468270 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28006] ppid=27997 vsize=867824 CPUtime=0.65
/proc/27999/task/28006/stat : 28006 (java) S 27997 27999 24991 0 -1 64 978 953 0 0 46 2 15 2 16 0 9 0 28468270 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28007] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28007/stat : 28007 (java) S 27997 27999 24991 0 -1 64 0 953 0 0 0 0 15 2 19 0 9 0 28468270 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28008] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28008/stat : 28008 (java) S 27997 27999 24991 0 -1 64 8 953 0 0 0 0 15 2 15 0 9 0 28468270 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1527.82
Current children cumulated vsize (KiB) 867824
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/89 28017
/proc/meminfo: memFree=1588684/2055920 swapFree=4192812/4192956
[pid=27999] ppid=27997 vsize=867824 CPUtime=1587.26
/proc/27999/stat : 27999 (java) S 27997 27999 24991 0 -1 0 69036 953 1 0 158671 38 15 2 18 0 9 0 28468265 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27999/statm: 216956 39945 2642 9 0 211414 0
[pid=27999/tid=28000] ppid=27997 vsize=867824 CPUtime=1585.36
/proc/27999/task/28000/stat : 28000 (java) R 27997 27999 24991 0 -1 64 31617 953 1 0 158498 21 15 2 25 0 9 0 28468266 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4127420287 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28002] ppid=27997 vsize=867824 CPUtime=1.55
/proc/27999/task/28002/stat : 28002 (java) S 27997 27999 24991 0 -1 64 35577 953 0 0 126 12 15 2 16 0 9 0 28468268 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28003] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28003/stat : 28003 (java) S 27997 27999 24991 0 -1 64 20 953 0 0 0 0 15 2 16 0 9 0 28468268 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28004] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28004/stat : 28004 (java) S 27997 27999 24991 0 -1 64 30 953 0 0 0 0 15 2 15 0 9 0 28468268 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28005] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28005/stat : 28005 (java) S 27997 27999 24991 0 -1 64 2 953 0 0 0 0 15 2 18 0 9 0 28468270 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28006] ppid=27997 vsize=867824 CPUtime=0.65
/proc/27999/task/28006/stat : 28006 (java) S 27997 27999 24991 0 -1 64 978 953 0 0 46 2 15 2 16 0 9 0 28468270 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28007] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28007/stat : 28007 (java) S 27997 27999 24991 0 -1 64 0 953 0 0 0 0 15 2 19 0 9 0 28468270 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28008] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28008/stat : 28008 (java) S 27997 27999 24991 0 -1 64 8 953 0 0 0 0 15 2 15 0 9 0 28468270 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1587.26
Current children cumulated vsize (KiB) 867824
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/89 28017
/proc/meminfo: memFree=1588556/2055920 swapFree=4192812/4192956
[pid=27999] ppid=27997 vsize=867824 CPUtime=1646.7
/proc/27999/stat : 27999 (java) S 27997 27999 24991 0 -1 0 69036 953 1 0 164615 38 15 2 18 0 9 0 28468265 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27999/statm: 216956 39945 2642 9 0 211414 0
[pid=27999/tid=28000] ppid=27997 vsize=867824 CPUtime=1644.8
/proc/27999/task/28000/stat : 28000 (java) R 27997 27999 24991 0 -1 64 31617 953 1 0 164442 21 15 2 25 0 9 0 28468266 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4127420998 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28002] ppid=27997 vsize=867824 CPUtime=1.55
/proc/27999/task/28002/stat : 28002 (java) S 27997 27999 24991 0 -1 64 35577 953 0 0 126 12 15 2 16 0 9 0 28468268 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28003] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28003/stat : 28003 (java) S 27997 27999 24991 0 -1 64 20 953 0 0 0 0 15 2 16 0 9 0 28468268 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28004] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28004/stat : 28004 (java) S 27997 27999 24991 0 -1 64 30 953 0 0 0 0 15 2 15 0 9 0 28468268 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28005] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28005/stat : 28005 (java) S 27997 27999 24991 0 -1 64 2 953 0 0 0 0 15 2 18 0 9 0 28468270 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28006] ppid=27997 vsize=867824 CPUtime=0.65
/proc/27999/task/28006/stat : 28006 (java) S 27997 27999 24991 0 -1 64 978 953 0 0 46 2 15 2 16 0 9 0 28468270 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28007] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28007/stat : 28007 (java) S 27997 27999 24991 0 -1 64 0 953 0 0 0 0 15 2 19 0 9 0 28468270 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28008] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28008/stat : 28008 (java) S 27997 27999 24991 0 -1 64 8 953 0 0 0 0 15 2 15 0 9 0 28468270 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1646.7
Current children cumulated vsize (KiB) 867824
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/89 28091
/proc/meminfo: memFree=1403580/2055920 swapFree=4192812/4192956
[pid=27999] ppid=27997 vsize=867824 CPUtime=1706.45
/proc/27999/stat : 27999 (java) S 27997 27999 24991 0 -1 0 69036 953 1 0 170586 42 15 2 18 0 9 0 28468265 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27999/statm: 216956 39945 2642 9 0 211414 0
[pid=27999/tid=28000] ppid=27997 vsize=867824 CPUtime=1704.55
/proc/27999/task/28000/stat : 28000 (java) R 27997 27999 24991 0 -1 64 31617 953 1 0 170413 25 15 2 25 0 9 0 28468266 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4127343134 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27999/tid=28002] ppid=27997 vsize=867824 CPUtime=1.55
/proc/27999/task/28002/stat : 28002 (java) S 27997 27999 24991 0 -1 64 35577 953 0 0 126 12 15 2 16 0 9 0 28468268 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28003] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28003/stat : 28003 (java) S 27997 27999 24991 0 -1 64 20 953 0 0 0 0 15 2 16 0 9 0 28468268 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28004] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28004/stat : 28004 (java) S 27997 27999 24991 0 -1 64 30 953 0 0 0 0 15 2 15 0 9 0 28468268 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28005] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28005/stat : 28005 (java) S 27997 27999 24991 0 -1 64 2 953 0 0 0 0 15 2 18 0 9 0 28468270 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28006] ppid=27997 vsize=867824 CPUtime=0.65
/proc/27999/task/28006/stat : 28006 (java) S 27997 27999 24991 0 -1 64 978 953 0 0 46 2 15 2 16 0 9 0 28468270 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28007] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28007/stat : 28007 (java) S 27997 27999 24991 0 -1 64 0 953 0 0 0 0 15 2 19 0 9 0 28468270 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28008] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28008/stat : 28008 (java) S 27997 27999 24991 0 -1 64 8 953 0 0 0 0 15 2 15 0 9 0 28468270 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1706.45
Current children cumulated vsize (KiB) 867824
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 28091
/proc/meminfo: memFree=1403388/2055920 swapFree=4192812/4192956
[pid=27999] ppid=27997 vsize=867824 CPUtime=1766.41
/proc/27999/stat : 27999 (java) S 27997 27999 24991 0 -1 0 69036 953 1 0 176582 42 15 2 18 0 9 0 28468265 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27999/statm: 216956 39945 2642 9 0 211414 0
[pid=27999/tid=28000] ppid=27997 vsize=867824 CPUtime=1764.51
/proc/27999/task/28000/stat : 28000 (java) R 27997 27999 24991 0 -1 64 31617 953 1 0 176409 25 15 2 25 0 9 0 28468266 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4127452345 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27999/tid=28002] ppid=27997 vsize=867824 CPUtime=1.55
/proc/27999/task/28002/stat : 28002 (java) S 27997 27999 24991 0 -1 64 35577 953 0 0 126 12 15 2 16 0 9 0 28468268 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28003] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28003/stat : 28003 (java) S 27997 27999 24991 0 -1 64 20 953 0 0 0 0 15 2 16 0 9 0 28468268 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28004] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28004/stat : 28004 (java) S 27997 27999 24991 0 -1 64 30 953 0 0 0 0 15 2 15 0 9 0 28468268 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28005] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28005/stat : 28005 (java) S 27997 27999 24991 0 -1 64 2 953 0 0 0 0 15 2 18 0 9 0 28468270 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28006] ppid=27997 vsize=867824 CPUtime=0.65
/proc/27999/task/28006/stat : 28006 (java) S 27997 27999 24991 0 -1 64 978 953 0 0 46 2 15 2 16 0 9 0 28468270 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28007] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28007/stat : 28007 (java) S 27997 27999 24991 0 -1 64 0 953 0 0 0 0 15 2 19 0 9 0 28468270 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28008] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28008/stat : 28008 (java) S 27997 27999 24991 0 -1 64 8 953 0 0 0 0 15 2 15 0 9 0 28468270 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1766.41
Current children cumulated vsize (KiB) 867824
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 28091
/proc/meminfo: memFree=1403452/2055920 swapFree=4192812/4192956
[pid=27999] ppid=27997 vsize=867824 CPUtime=1800
/proc/27999/stat : 27999 (java) S 27997 27999 24991 0 -1 0 69036 953 1 0 179941 42 15 2 18 0 9 0 28468265 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27999/statm: 216956 39945 2642 9 0 211414 0
[pid=27999/tid=28000] ppid=27997 vsize=867824 CPUtime=1798.1
/proc/27999/task/28000/stat : 28000 (java) R 27997 27999 24991 0 -1 64 31617 953 1 0 179768 25 15 2 25 0 9 0 28468266 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4127416507 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27999/tid=28002] ppid=27997 vsize=867824 CPUtime=1.55
/proc/27999/task/28002/stat : 28002 (java) S 27997 27999 24991 0 -1 64 35577 953 0 0 126 12 15 2 16 0 9 0 28468268 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28003] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28003/stat : 28003 (java) S 27997 27999 24991 0 -1 64 20 953 0 0 0 0 15 2 16 0 9 0 28468268 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28004] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28004/stat : 28004 (java) S 27997 27999 24991 0 -1 64 30 953 0 0 0 0 15 2 15 0 9 0 28468268 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28005] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28005/stat : 28005 (java) S 27997 27999 24991 0 -1 64 2 953 0 0 0 0 15 2 18 0 9 0 28468270 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28006] ppid=27997 vsize=867824 CPUtime=0.65
/proc/27999/task/28006/stat : 28006 (java) S 27997 27999 24991 0 -1 64 978 953 0 0 46 2 15 2 16 0 9 0 28468270 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28007] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28007/stat : 28007 (java) S 27997 27999 24991 0 -1 64 0 953 0 0 0 0 15 2 19 0 9 0 28468270 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28008] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28008/stat : 28008 (java) S 27997 27999 24991 0 -1 64 8 953 0 0 0 0 15 2 15 0 9 0 28468270 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 867824
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1815.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 28091
/proc/meminfo: memFree=1403452/2055920 swapFree=4192812/4192956
[pid=27999] ppid=27997 vsize=867824 CPUtime=1800
/proc/27999/stat : 27999 (java) S 27997 27999 24991 0 -1 0 69036 953 1 0 179941 42 15 2 18 0 9 0 28468265 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/27999/statm: 216956 39945 2642 9 0 211414 0
[pid=27999/tid=28000] ppid=27997 vsize=867824 CPUtime=1798.1
/proc/27999/task/28000/stat : 28000 (java) R 27997 27999 24991 0 -1 64 31617 953 1 0 179768 25 15 2 25 0 9 0 28468266 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4127416507 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27999/tid=28002] ppid=27997 vsize=867824 CPUtime=1.55
/proc/27999/task/28002/stat : 28002 (java) S 27997 27999 24991 0 -1 64 35577 953 0 0 126 12 15 2 16 0 9 0 28468268 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28003] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28003/stat : 28003 (java) S 27997 27999 24991 0 -1 64 20 953 0 0 0 0 15 2 16 0 9 0 28468268 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28004] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28004/stat : 28004 (java) S 27997 27999 24991 0 -1 64 30 953 0 0 0 0 15 2 15 0 9 0 28468268 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28005] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28005/stat : 28005 (java) S 27997 27999 24991 0 -1 64 2 953 0 0 0 0 15 2 18 0 9 0 28468270 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28006] ppid=27997 vsize=867824 CPUtime=0.65
/proc/27999/task/28006/stat : 28006 (java) S 27997 27999 24991 0 -1 64 978 953 0 0 46 2 15 2 16 0 9 0 28468270 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28007] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28007/stat : 28007 (java) S 27997 27999 24991 0 -1 64 0 953 0 0 0 0 15 2 19 0 9 0 28468270 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27999/tid=28008] ppid=27997 vsize=867824 CPUtime=0.17
/proc/27999/task/28008/stat : 28008 (java) S 27997 27999 24991 0 -1 64 8 953 0 0 0 0 15 2 15 0 9 0 28468270 888651776 39945 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 867824
Child status: 143
Real time (s): 1815.97
CPU time (s): 1800.08
CPU user time (s): 1799.61
CPU system time (s): 0.469928
CPU usage (%): 99.1253
Max. virtual memory (cumulated for all children) (KiB): 867912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.469928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70018
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= 39305
involuntary context switches= 101834
runsolver used 2.51862 second user time and 5.75312 second system time
The end
Begin job on node9 at 2009-07-12 17:53:31
IDJOB=2097775
IDBENCH=57732
IDSOLVER=773
FILE ID=node9/2097775-1247414011
PBS_JOBID= 9510626
Free space on /tmp= 66396 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/fapp/fapp13/normalized-fapp13-2000-6.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-2097775-1247414011/watcher-2097775-1247414011 -o /tmp/evaluation-result-2097775-1247414011/solver-2097775-1247414011 -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-2097775-1247414011.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b1bc0ce20909360461048c9e001540ac
RANDOM SEED=460099828
node9.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1740348 kB
Buffers: 40900 kB
Cached: 121960 kB
SwapCached: 0 kB
Active: 187588 kB
Inactive: 70712 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1740348 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5768 kB
Writeback: 0 kB
Mapped: 115896 kB
Slab: 42528 kB
Committed_AS: 996052 kB
PageTables: 1944 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= 66364 MiB
End job on node9 at 2009-07-12 18:23:49