0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mac.xml
0.28/0.32
0.28/0.32 instance
0.28/0.32 name=HOME/instance-2097485-1247412588.xml
0.28/0.36
0.28/0.36 domains being loaded...
0.28/0.38
0.28/0.38 variables being loaded...
0.48/0.55 nbVariables=600 nbDomainTypes=98 minDomainSize=1326 maxDomainSize=1424 nbTotalValues=826380
0.48/0.55 => wckTime=0.302 cpuTime=0.21 mem=26M552
0.48/0.55
0.48/0.55 predicates being loaded...
0.58/0.61
0.58/0.61 constraints being loaded...
20.88/21.11
20.88/21.11 INFO : Stopping converting binary constraints (cpu=20.21, mem = 46M910)
22.96/23.20 nbConstraints=9705 nbGlobalConstraints=9054 nbConvertedConstraints=85 nbConvertConstraintsChecks=100885320
22.96/23.20 nbExtensionStructures=53 nbSharedExtensionStructures=32 nbConflictsStructures=53 nbSharedConflictsStructures=32
22.96/23.20 nbUnbuiltConflictsStructures=201 nbSharedBinaryRepresentations=69483 nbEvaluationManagers=201
22.96/23.20 nbSharedEvaluationManagers=365 minDegree=21 maxDegree=44 minArity=2 avgArity=2.03 maxArity=21 nbGenerators=0
22.96/23.20 nbFusions=0 symmetryWckTime=1.857 symmetryCpuTime=1.65 nbCliques=15
22.96/23.20 => wckTime=22.96 cpuTime=22.06 mem=81M513
23.15/23.47
23.15/23.47 solver IterativeSystematicSolver being built...
23.25/23.56
23.25/23.56 INFO : Forward propagation technique limited
23.45/23.74 => wckTime=23.493 cpuTime=22.24 mem=84M537
76.43/77.29
76.43/77.29 preprocessing
76.43/77.29 nbConstraintChecks=285009740 nbValidityChecks=1357465 nbPropagations=1166 nbRevisions=2704
76.43/77.29 nbUselessRevisions=1863 nbRemovedValues=400680 detectedInconsistency=no
76.43/77.29 => wckTime=53.523 cpuTime=52.97 mem=113M2
90.99/91.94
90.99/91.94 INFO : Stopping use of transposition table (mapSize=0, nbTooLargekeys=103, mem=109M40)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097485-1247412588/watcher-2097485-1247412588 -o /tmp/evaluation-result-2097485-1247412588/solver-2097485-1247412588 -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-2097485-1247412588.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.03 2.00 4/80 330
/proc/meminfo: memFree=1741936/2055920 swapFree=4192812/4192956
[pid=330] ppid=328 vsize=1616 CPUtime=0
/proc/330/stat : 330 (java) R 328 330 31026 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 28322078 1654784 145 996147200 134512640 134550932 4294956128 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/330/statm: 404 148 122 9 0 46 0
[startup+0.0960221 s]
/proc/loadavg: 2.00 2.03 2.00 4/80 330
/proc/meminfo: memFree=1741936/2055920 swapFree=4192812/4192956
[pid=330] ppid=328 vsize=865984 CPUtime=0.08
/proc/330/stat : 330 (java) S 328 330 31026 0 -1 0 3721 0 1 0 6 2 0 0 18 0 9 0 28322078 886767616 3189 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/330/statm: 216496 3189 1690 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.101021 s]
/proc/loadavg: 2.00 2.03 2.00 4/80 330
/proc/meminfo: memFree=1741936/2055920 swapFree=4192812/4192956
[pid=330] ppid=328 vsize=865984 CPUtime=0.09
/proc/330/stat : 330 (java) S 328 330 31026 0 -1 0 3769 0 1 0 7 2 0 0 18 0 9 0 28322078 886767616 3224 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/330/statm: 216496 3224 1701 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.301061 s]
/proc/loadavg: 2.00 2.03 2.00 4/80 330
/proc/meminfo: memFree=1741936/2055920 swapFree=4192812/4192956
[pid=330] ppid=328 vsize=866296 CPUtime=0.28
/proc/330/stat : 330 (java) S 328 330 31026 0 -1 0 5694 0 1 0 25 3 0 0 18 0 9 0 28322078 887087104 5097 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/330/statm: 216574 5097 1927 9 0 211052 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866296
[startup+0.701127 s]
/proc/loadavg: 2.00 2.03 2.00 4/80 330
/proc/meminfo: memFree=1741936/2055920 swapFree=4192812/4192956
[pid=330] ppid=328 vsize=867196 CPUtime=0.68
/proc/330/stat : 330 (java) S 328 330 31026 0 -1 0 12250 0 1 0 61 7 0 0 18 0 9 0 28322078 888008704 11604 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/330/statm: 216799 11604 2038 9 0 211235 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867196
[startup+1.50125 s]
/proc/loadavg: 2.08 2.05 2.01 3/89 339
/proc/meminfo: memFree=1687400/2055920 swapFree=4192812/4192956
[pid=330] ppid=328 vsize=867696 CPUtime=1.47
/proc/330/stat : 330 (java) S 328 330 31026 0 -1 0 22482 0 1 0 134 13 0 0 18 0 9 0 28322078 888520704 21810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/330/statm: 216924 21810 2029 9 0 211382 0
[pid=330/tid=332] ppid=328 vsize=867696 CPUtime=1.19
/proc/330/task/332/stat : 332 (java) R 328 330 31026 0 -1 64 15814 0 1 0 109 10 0 0 25 0 9 0 28322080 888520704 21810 996147200 134512640 134550932 4294955968 18446744073709551615 4126920395 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=333] ppid=328 vsize=867696 CPUtime=0.07
/proc/330/task/333/stat : 333 (java) S 328 330 31026 0 -1 64 5279 0 0 0 6 1 0 0 17 0 9 0 28322081 888520704 21810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=334] ppid=328 vsize=867696 CPUtime=0
/proc/330/task/334/stat : 334 (java) S 328 330 31026 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28322081 888520704 21810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=335] ppid=328 vsize=867696 CPUtime=0
/proc/330/task/335/stat : 335 (java) S 328 330 31026 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28322081 888520704 21810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=336] ppid=328 vsize=867696 CPUtime=0
/proc/330/task/336/stat : 336 (java) S 328 330 31026 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28322083 888520704 21810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=337] ppid=328 vsize=867696 CPUtime=0.17
/proc/330/task/337/stat : 337 (java) S 328 330 31026 0 -1 64 687 0 0 0 17 0 0 0 16 0 9 0 28322083 888520704 21810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=338] ppid=328 vsize=867696 CPUtime=0
/proc/330/task/338/stat : 338 (java) S 328 330 31026 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28322083 888520704 21810 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=339] ppid=328 vsize=867696 CPUtime=0
/proc/330/task/339/stat : 339 (java) S 328 330 31026 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28322083 888520704 21810 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) 867696
[startup+3.10252 s]
/proc/loadavg: 2.08 2.05 2.01 3/89 339
/proc/meminfo: memFree=1662184/2055920 swapFree=4192812/4192956
[pid=330] ppid=328 vsize=867696 CPUtime=3.06
/proc/330/stat : 330 (java) S 328 330 31026 0 -1 0 22513 0 1 0 292 14 0 0 18 0 9 0 28322078 888520704 21838 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/330/statm: 216924 21838 2031 9 0 211382 0
[pid=330/tid=332] ppid=328 vsize=867696 CPUtime=2.76
/proc/330/task/332/stat : 332 (java) R 328 330 31026 0 -1 64 15826 0 1 0 265 11 0 0 25 0 9 0 28322080 888520704 21838 996147200 134512640 134550932 4294955968 18446744073709551615 4126937490 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=333] ppid=328 vsize=867696 CPUtime=0.07
/proc/330/task/333/stat : 333 (java) S 328 330 31026 0 -1 64 5279 0 0 0 6 1 0 0 17 0 9 0 28322081 888520704 21838 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=334] ppid=328 vsize=867696 CPUtime=0
/proc/330/task/334/stat : 334 (java) S 328 330 31026 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28322081 888520704 21838 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=335] ppid=328 vsize=867696 CPUtime=0
/proc/330/task/335/stat : 335 (java) S 328 330 31026 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28322081 888520704 21838 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=336] ppid=328 vsize=867696 CPUtime=0
/proc/330/task/336/stat : 336 (java) S 328 330 31026 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28322083 888520704 21838 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=337] ppid=328 vsize=867696 CPUtime=0.2
/proc/330/task/337/stat : 337 (java) S 328 330 31026 0 -1 64 706 0 0 0 20 0 0 0 16 0 9 0 28322083 888520704 21838 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=338] ppid=328 vsize=867696 CPUtime=0
/proc/330/task/338/stat : 338 (java) S 328 330 31026 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28322083 888520704 21838 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=339] ppid=328 vsize=867696 CPUtime=0
/proc/330/task/339/stat : 339 (java) S 328 330 31026 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28322083 888520704 21838 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) 867696
[startup+6.30106 s]
/proc/loadavg: 2.08 2.05 2.01 3/89 339
/proc/meminfo: memFree=1661928/2055920 swapFree=4192812/4192956
[pid=330] ppid=328 vsize=867696 CPUtime=6.23
/proc/330/stat : 330 (java) S 328 330 31026 0 -1 0 22524 0 1 0 607 16 0 0 18 0 9 0 28322078 888520704 21846 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/330/statm: 216924 21846 2031 9 0 211382 0
[pid=330/tid=332] ppid=328 vsize=867696 CPUtime=5.9
/proc/330/task/332/stat : 332 (java) R 328 330 31026 0 -1 64 15830 0 1 0 578 12 0 0 25 0 9 0 28322080 888520704 21846 996147200 134512640 134550932 4294955968 18446744073709551615 4126937529 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=333] ppid=328 vsize=867696 CPUtime=0.07
/proc/330/task/333/stat : 333 (java) S 328 330 31026 0 -1 64 5279 0 0 0 6 1 0 0 16 0 9 0 28322081 888520704 21846 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=334] ppid=328 vsize=867696 CPUtime=0
/proc/330/task/334/stat : 334 (java) S 328 330 31026 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28322081 888520704 21846 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=335] ppid=328 vsize=867696 CPUtime=0
/proc/330/task/335/stat : 335 (java) S 328 330 31026 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28322081 888520704 21846 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=336] ppid=328 vsize=867696 CPUtime=0
/proc/330/task/336/stat : 336 (java) S 328 330 31026 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28322083 888520704 21846 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=337] ppid=328 vsize=867696 CPUtime=0.21
/proc/330/task/337/stat : 337 (java) S 328 330 31026 0 -1 64 713 0 0 0 21 0 0 0 16 0 9 0 28322083 888520704 21846 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=338] ppid=328 vsize=867696 CPUtime=0
/proc/330/task/338/stat : 338 (java) S 328 330 31026 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28322083 888520704 21846 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=339] ppid=328 vsize=867696 CPUtime=0
/proc/330/task/339/stat : 339 (java) S 328 330 31026 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28322083 888520704 21846 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) 867696
[startup+12.7021 s]
/proc/loadavg: 2.07 2.04 2.01 3/89 339
/proc/meminfo: memFree=1661736/2055920 swapFree=4192812/4192956
[pid=330] ppid=328 vsize=867696 CPUtime=12.57
/proc/330/stat : 330 (java) S 328 330 31026 0 -1 0 22542 0 1 0 1236 21 0 0 18 0 9 0 28322078 888520704 21863 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/330/statm: 216924 21863 2031 9 0 211382 0
[pid=330/tid=332] ppid=328 vsize=867696 CPUtime=12.21
/proc/330/task/332/stat : 332 (java) R 328 330 31026 0 -1 64 15833 0 1 0 1204 17 0 0 25 0 9 0 28322080 888520704 21863 996147200 134512640 134550932 4294955968 18446744073709551615 4126937395 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=333] ppid=328 vsize=867696 CPUtime=0.07
/proc/330/task/333/stat : 333 (java) S 328 330 31026 0 -1 64 5279 0 0 0 6 1 0 0 16 0 9 0 28322081 888520704 21863 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=334] ppid=328 vsize=867696 CPUtime=0
/proc/330/task/334/stat : 334 (java) S 328 330 31026 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28322081 888520704 21863 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=335] ppid=328 vsize=867696 CPUtime=0
/proc/330/task/335/stat : 335 (java) S 328 330 31026 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28322081 888520704 21863 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=336] ppid=328 vsize=867696 CPUtime=0
/proc/330/task/336/stat : 336 (java) S 328 330 31026 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28322083 888520704 21863 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=337] ppid=328 vsize=867696 CPUtime=0.23
/proc/330/task/337/stat : 337 (java) S 328 330 31026 0 -1 64 728 0 0 0 23 0 0 0 16 0 9 0 28322083 888520704 21863 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=338] ppid=328 vsize=867696 CPUtime=0
/proc/330/task/338/stat : 338 (java) S 328 330 31026 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28322083 888520704 21863 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=339] ppid=328 vsize=867696 CPUtime=0
/proc/330/task/339/stat : 339 (java) S 328 330 31026 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28322083 888520704 21863 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) 867696
[startup+25.5013 s]
/proc/loadavg: 2.06 2.04 2.00 3/89 343
/proc/meminfo: memFree=1597736/2055920 swapFree=4192812/4192956
[pid=330] ppid=328 vsize=868108 CPUtime=25.22
/proc/330/stat : 330 (java) S 328 330 31026 0 -1 0 64028 733 1 0 2471 40 10 1 18 0 9 0 28322078 888942592 38472 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/330/statm: 217027 38472 2662 9 0 211463 0
[pid=330/tid=332] ppid=328 vsize=868108 CPUtime=24.28
/proc/330/task/332/stat : 332 (java) R 328 330 31026 0 -1 64 29347 733 1 0 2390 27 10 1 25 0 9 0 28322080 888942592 38472 996147200 134512640 134550932 4294955968 18446744073709551615 4127141700 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=333] ppid=328 vsize=868108 CPUtime=0.68
/proc/330/task/333/stat : 333 (java) S 328 330 31026 0 -1 64 32868 733 0 0 47 10 10 1 17 0 9 0 28322081 888942592 38472 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=334] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/334/stat : 334 (java) S 328 330 31026 0 -1 64 22 733 0 0 0 0 10 1 16 0 9 0 28322081 888942592 38472 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=335] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/335/stat : 335 (java) S 328 330 31026 0 -1 64 23 733 0 0 0 0 10 1 15 0 9 0 28322081 888942592 38472 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=336] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/336/stat : 336 (java) S 328 330 31026 0 -1 64 1 733 0 0 0 0 10 1 18 0 9 0 28322083 888942592 38472 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=337] ppid=328 vsize=868108 CPUtime=0.43
/proc/330/task/337/stat : 337 (java) S 328 330 31026 0 -1 64 942 733 0 0 32 0 10 1 15 0 9 0 28322083 888942592 38472 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=338] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/338/stat : 338 (java) S 328 330 31026 0 -1 64 1 733 0 0 0 0 10 1 19 0 9 0 28322083 888942592 38472 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=339] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/339/stat : 339 (java) S 328 330 31026 0 -1 64 15 733 0 0 0 0 10 1 15 0 9 0 28322083 888942592 38472 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 868108
[startup+51.1016 s]
/proc/loadavg: 2.04 2.04 2.00 3/89 343
/proc/meminfo: memFree=1597672/2055920 swapFree=4192812/4192956
[pid=330] ppid=328 vsize=868108 CPUtime=50.59
/proc/330/stat : 330 (java) S 328 330 31026 0 -1 0 64345 733 1 0 5007 41 10 1 18 0 9 0 28322078 888942592 38480 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/330/statm: 217027 38480 2662 9 0 211463 0
[pid=330/tid=332] ppid=328 vsize=868108 CPUtime=49.62
/proc/330/task/332/stat : 332 (java) R 328 330 31026 0 -1 64 29649 733 1 0 4924 27 10 1 25 0 9 0 28322080 888942592 38480 996147200 134512640 134550932 4294955968 18446744073709551615 4126916538 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=333] ppid=328 vsize=868108 CPUtime=0.68
/proc/330/task/333/stat : 333 (java) S 328 330 31026 0 -1 64 32868 733 0 0 47 10 10 1 17 0 9 0 28322081 888942592 38480 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=334] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/334/stat : 334 (java) S 328 330 31026 0 -1 64 22 733 0 0 0 0 10 1 16 0 9 0 28322081 888942592 38480 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=335] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/335/stat : 335 (java) S 328 330 31026 0 -1 64 23 733 0 0 0 0 10 1 15 0 9 0 28322081 888942592 38480 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=336] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/336/stat : 336 (java) S 328 330 31026 0 -1 64 1 733 0 0 0 0 10 1 18 0 9 0 28322083 888942592 38480 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=337] ppid=328 vsize=868108 CPUtime=0.45
/proc/330/task/337/stat : 337 (java) S 328 330 31026 0 -1 64 955 733 0 0 34 0 10 1 17 0 9 0 28322083 888942592 38480 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=338] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/338/stat : 338 (java) S 328 330 31026 0 -1 64 1 733 0 0 0 0 10 1 19 0 9 0 28322083 888942592 38480 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/330/task/335/stat : 335 (java) S 328 330 31026 0 -1 64 23 733 0 0 0 0 10 1 15 0 9 0 28322081 888942592 41431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=336] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/336/stat : 336 (java) S 328 330 31026 0 -1 64 1 733 0 0 0 0 10 1 18 0 9 0 28322083 888942592 41431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=337] ppid=328 vsize=868108 CPUtime=0.54
/proc/330/task/337/stat : 337 (java) S 328 330 31026 0 -1 64 1006 733 0 0 43 0 10 1 16 0 9 0 28322083 888942592 41431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=338] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/338/stat : 338 (java) S 328 330 31026 0 -1 64 1 733 0 0 0 0 10 1 19 0 9 0 28322083 888942592 41431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=339] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/339/stat : 339 (java) S 328 330 31026 0 -1 64 17 733 0 0 0 0 10 1 15 0 9 0 28322083 888942592 41431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1468.3
Current children cumulated vsize (KiB) 868108
[startup+1542.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/89 386
/proc/meminfo: memFree=1454000/2055920 swapFree=4192812/4192956
[pid=330] ppid=328 vsize=868108 CPUtime=1528.25
/proc/330/stat : 330 (java) S 328 330 31026 0 -1 0 68120 733 1 0 152765 49 10 1 18 0 9 0 28322078 888942592 41431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/330/statm: 217027 41431 2662 9 0 211463 0
[pid=330/tid=332] ppid=328 vsize=868108 CPUtime=1526.36
/proc/330/task/332/stat : 332 (java) R 328 330 31026 0 -1 64 30289 733 1 0 152593 32 10 1 25 0 9 0 28322080 888942592 41431 996147200 134512640 134550932 4294955968 18446744073709551615 4126917914 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=330/tid=333] ppid=328 vsize=868108 CPUtime=1.51
/proc/330/task/333/stat : 333 (java) S 328 330 31026 0 -1 64 35952 733 0 0 127 13 10 1 16 0 9 0 28322081 888942592 41431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=330/tid=334] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/334/stat : 334 (java) S 328 330 31026 0 -1 64 22 733 0 0 0 0 10 1 16 0 9 0 28322081 888942592 41431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=335] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/335/stat : 335 (java) S 328 330 31026 0 -1 64 23 733 0 0 0 0 10 1 15 0 9 0 28322081 888942592 41431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=336] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/336/stat : 336 (java) S 328 330 31026 0 -1 64 1 733 0 0 0 0 10 1 18 0 9 0 28322083 888942592 41431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=337] ppid=328 vsize=868108 CPUtime=0.54
/proc/330/task/337/stat : 337 (java) S 328 330 31026 0 -1 64 1006 733 0 0 43 0 10 1 16 0 9 0 28322083 888942592 41431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=338] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/338/stat : 338 (java) S 328 330 31026 0 -1 64 1 733 0 0 0 0 10 1 19 0 9 0 28322083 888942592 41431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=339] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/339/stat : 339 (java) S 328 330 31026 0 -1 64 17 733 0 0 0 0 10 1 15 0 9 0 28322083 888942592 41431 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1528.25
Current children cumulated vsize (KiB) 868108
[startup+1602.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/89 499
/proc/meminfo: memFree=1591400/2055920 swapFree=4192812/4192956
[pid=330] ppid=328 vsize=868108 CPUtime=1588.01
/proc/330/stat : 330 (java) S 328 330 31026 0 -1 0 68146 733 1 0 158739 51 10 1 18 0 9 0 28322078 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/330/statm: 217027 41440 2662 9 0 211463 0
[pid=330/tid=332] ppid=328 vsize=868108 CPUtime=1586.08
/proc/330/task/332/stat : 332 (java) R 328 330 31026 0 -1 64 30306 733 1 0 158563 34 10 1 25 0 9 0 28322080 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4126917904 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=333] ppid=328 vsize=868108 CPUtime=1.56
/proc/330/task/333/stat : 333 (java) S 328 330 31026 0 -1 64 35961 733 0 0 132 13 10 1 16 0 9 0 28322081 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=334] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/334/stat : 334 (java) S 328 330 31026 0 -1 64 22 733 0 0 0 0 10 1 16 0 9 0 28322081 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=335] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/335/stat : 335 (java) S 328 330 31026 0 -1 64 23 733 0 0 0 0 10 1 15 0 9 0 28322081 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=336] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/336/stat : 336 (java) S 328 330 31026 0 -1 64 1 733 0 0 0 0 10 1 18 0 9 0 28322083 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=337] ppid=328 vsize=868108 CPUtime=0.54
/proc/330/task/337/stat : 337 (java) S 328 330 31026 0 -1 64 1006 733 0 0 43 0 10 1 16 0 9 0 28322083 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=338] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/338/stat : 338 (java) S 328 330 31026 0 -1 64 1 733 0 0 0 0 10 1 19 0 9 0 28322083 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=339] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/339/stat : 339 (java) S 328 330 31026 0 -1 64 17 733 0 0 0 0 10 1 15 0 9 0 28322083 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1588.01
Current children cumulated vsize (KiB) 868108
[startup+1662.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/89 581
/proc/meminfo: memFree=1576544/2055920 swapFree=4192812/4192956
[pid=330] ppid=328 vsize=868108 CPUtime=1647.86
/proc/330/stat : 330 (java) S 328 330 31026 0 -1 0 68161 733 1 0 164723 52 10 1 18 0 9 0 28322078 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/330/statm: 217027 41440 2662 9 0 211463 0
[pid=330/tid=332] ppid=328 vsize=868108 CPUtime=1645.89
/proc/330/task/332/stat : 332 (java) R 328 330 31026 0 -1 64 30321 733 1 0 164543 35 10 1 25 0 9 0 28322080 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4127161331 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=330/tid=333] ppid=328 vsize=868108 CPUtime=1.6
/proc/330/task/333/stat : 333 (java) S 328 330 31026 0 -1 64 35961 733 0 0 135 14 10 1 17 0 9 0 28322081 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=330/tid=334] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/334/stat : 334 (java) S 328 330 31026 0 -1 64 22 733 0 0 0 0 10 1 16 0 9 0 28322081 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=335] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/335/stat : 335 (java) S 328 330 31026 0 -1 64 23 733 0 0 0 0 10 1 15 0 9 0 28322081 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=336] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/336/stat : 336 (java) S 328 330 31026 0 -1 64 1 733 0 0 0 0 10 1 18 0 9 0 28322083 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=337] ppid=328 vsize=868108 CPUtime=0.54
/proc/330/task/337/stat : 337 (java) S 328 330 31026 0 -1 64 1006 733 0 0 43 0 10 1 16 0 9 0 28322083 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=338] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/338/stat : 338 (java) S 328 330 31026 0 -1 64 1 733 0 0 0 0 10 1 19 0 9 0 28322083 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=339] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/339/stat : 339 (java) S 328 330 31026 0 -1 64 17 733 0 0 0 0 10 1 15 0 9 0 28322083 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1647.86
Current children cumulated vsize (KiB) 868108
[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/89 581
/proc/meminfo: memFree=1576544/2055920 swapFree=4192812/4192956
[pid=330] ppid=328 vsize=868108 CPUtime=1707.83
/proc/330/stat : 330 (java) S 328 330 31026 0 -1 0 68171 733 1 0 170720 52 10 1 18 0 9 0 28322078 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/330/statm: 217027 41440 2662 9 0 211463 0
[pid=330/tid=332] ppid=328 vsize=868108 CPUtime=1705.84
/proc/330/task/332/stat : 332 (java) R 328 330 31026 0 -1 64 30331 733 1 0 170538 35 10 1 25 0 9 0 28322080 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4127141712 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=330/tid=333] ppid=328 vsize=868108 CPUtime=1.63
/proc/330/task/333/stat : 333 (java) S 328 330 31026 0 -1 64 35961 733 0 0 138 14 10 1 16 0 9 0 28322081 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=330/tid=334] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/334/stat : 334 (java) S 328 330 31026 0 -1 64 22 733 0 0 0 0 10 1 16 0 9 0 28322081 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=335] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/335/stat : 335 (java) S 328 330 31026 0 -1 64 23 733 0 0 0 0 10 1 15 0 9 0 28322081 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=336] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/336/stat : 336 (java) S 328 330 31026 0 -1 64 1 733 0 0 0 0 10 1 18 0 9 0 28322083 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=337] ppid=328 vsize=868108 CPUtime=0.54
/proc/330/task/337/stat : 337 (java) S 328 330 31026 0 -1 64 1006 733 0 0 43 0 10 1 16 0 9 0 28322083 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=338] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/338/stat : 338 (java) S 328 330 31026 0 -1 64 1 733 0 0 0 0 10 1 19 0 9 0 28322083 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=339] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/339/stat : 339 (java) S 328 330 31026 0 -1 64 17 733 0 0 0 0 10 1 15 0 9 0 28322083 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1707.83
Current children cumulated vsize (KiB) 868108
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/89 581
/proc/meminfo: memFree=1576416/2055920 swapFree=4192812/4192956
[pid=330] ppid=328 vsize=868108 CPUtime=1767.8
/proc/330/stat : 330 (java) S 328 330 31026 0 -1 0 68182 733 1 0 176717 52 10 1 18 0 9 0 28322078 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/330/statm: 217027 41440 2662 9 0 211463 0
[pid=330/tid=332] ppid=328 vsize=868108 CPUtime=1765.78
/proc/330/task/332/stat : 332 (java) R 328 330 31026 0 -1 64 30342 733 1 0 176532 35 10 1 25 0 9 0 28322080 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4127290936 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=330/tid=333] ppid=328 vsize=868108 CPUtime=1.65
/proc/330/task/333/stat : 333 (java) S 328 330 31026 0 -1 64 35961 733 0 0 140 14 10 1 16 0 9 0 28322081 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=330/tid=334] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/334/stat : 334 (java) S 328 330 31026 0 -1 64 22 733 0 0 0 0 10 1 16 0 9 0 28322081 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=335] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/335/stat : 335 (java) S 328 330 31026 0 -1 64 23 733 0 0 0 0 10 1 15 0 9 0 28322081 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=336] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/336/stat : 336 (java) S 328 330 31026 0 -1 64 1 733 0 0 0 0 10 1 18 0 9 0 28322083 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=337] ppid=328 vsize=868108 CPUtime=0.54
/proc/330/task/337/stat : 337 (java) S 328 330 31026 0 -1 64 1006 733 0 0 43 0 10 1 16 0 9 0 28322083 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=338] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/338/stat : 338 (java) S 328 330 31026 0 -1 64 1 733 0 0 0 0 10 1 19 0 9 0 28322083 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=339] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/339/stat : 339 (java) S 328 330 31026 0 -1 64 17 733 0 0 0 0 10 1 15 0 9 0 28322083 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1767.8
Current children cumulated vsize (KiB) 868108
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/89 581
/proc/meminfo: memFree=1576416/2055920 swapFree=4192812/4192956
[pid=330] ppid=328 vsize=868108 CPUtime=1800.09
/proc/330/stat : 330 (java) S 328 330 31026 0 -1 0 68187 733 1 0 179946 52 10 1 18 0 9 0 28322078 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/330/statm: 217027 41440 2662 9 0 211463 0
[pid=330/tid=332] ppid=328 vsize=868108 CPUtime=1798.06
/proc/330/task/332/stat : 332 (java) R 328 330 31026 0 -1 64 30347 733 1 0 179760 35 10 1 25 0 9 0 28322080 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4127273891 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=330/tid=333] ppid=328 vsize=868108 CPUtime=1.67
/proc/330/task/333/stat : 333 (java) S 328 330 31026 0 -1 64 35961 733 0 0 142 14 10 1 16 0 9 0 28322081 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=330/tid=334] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/334/stat : 334 (java) S 328 330 31026 0 -1 64 22 733 0 0 0 0 10 1 16 0 9 0 28322081 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=335] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/335/stat : 335 (java) S 328 330 31026 0 -1 64 23 733 0 0 0 0 10 1 15 0 9 0 28322081 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=336] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/336/stat : 336 (java) S 328 330 31026 0 -1 64 1 733 0 0 0 0 10 1 18 0 9 0 28322083 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=337] ppid=328 vsize=868108 CPUtime=0.54
/proc/330/task/337/stat : 337 (java) S 328 330 31026 0 -1 64 1006 733 0 0 43 0 10 1 16 0 9 0 28322083 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=338] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/338/stat : 338 (java) S 328 330 31026 0 -1 64 1 733 0 0 0 0 10 1 19 0 9 0 28322083 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=330/tid=339] ppid=328 vsize=868108 CPUtime=0.11
/proc/330/task/339/stat : 339 (java) R 328 330 31026 0 -1 64 17 733 0 0 0 0 10 1 15 0 9 0 28322083 888942592 41440 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 868108
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1814.68
CPU time (s): 1800.2
CPU user time (s): 1799.63
CPU system time (s): 0.569913
CPU usage (%): 99.2019
Max. virtual memory (cumulated for all children) (KiB): 868108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.569913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68950
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= 41618
involuntary context switches= 72402
runsolver used 2.33164 second user time and 5.9361 second system time
The end
Begin job on node57 at 2009-07-12 17:29:49
IDJOB=2097485
IDBENCH=57439
IDSOLVER=773
FILE ID=node57/2097485-1247412588
PBS_JOBID= 9510531
Free space on /tmp= 66412 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/super-js/super-js-taillard-20-15/normalized-super-js-taillard-20-15-14.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-2097485-1247412588/watcher-2097485-1247412588 -o /tmp/evaluation-result-2097485-1247412588/solver-2097485-1247412588 -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-2097485-1247412588.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= fcc319e6fc9e5f3f4a12aa7c5c9c75e3
RANDOM SEED=351797610
node57.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.261
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.261
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: 1742416 kB
Buffers: 48132 kB
Cached: 118944 kB
SwapCached: 0 kB
Active: 183660 kB
Inactive: 74604 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1742416 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3252 kB
Writeback: 0 kB
Mapped: 111668 kB
Slab: 40408 kB
Committed_AS: 1023592 kB
PageTables: 1940 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= 66408 MiB
End job on node57 at 2009-07-12 18:00:05