0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=mac.xml
0.19/0.27
0.19/0.27 instance
0.19/0.27 name=HOME/instance-2099509-1247418222.xml
0.29/0.31
0.29/0.31 domains being loaded...
0.29/0.34
0.29/0.34 variables being loaded...
0.38/0.41 nbVariables=120 nbDomainTypes=107 minDomainSize=2 maxDomainSize=84591 nbTotalValues=319036
0.38/0.41 => wckTime=0.163 cpuTime=0.14 mem=14M2
0.38/0.41
0.38/0.41 predicates being loaded...
0.38/0.46
0.38/0.46 constraints being loaded...
0.87/0.90 nbConstraints=126 nbUnaryConstraints=7 nbGlobalConstraints=14 nbPurgedValues=273966 nbConvertedConstraints=13
0.87/0.90 nbConvertConstraintsChecks=1421 nbExtensionStructures=1 nbSharedExtensionStructures=12 nbConflictsStructures=99
0.87/0.90 nbSharedConflictsStructures=12 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=7
0.87/0.90 nbEvaluationManagers=99 nbSharedEvaluationManagers=0 minDegree=1 maxDegree=11 minArity=2 avgArity=3.49
0.87/0.90 maxArity=15 nbGenerators=0 nbFusions=0 symmetryWckTime=0.064 symmetryCpuTime=0.03
0.87/0.90 => wckTime=0.66 cpuTime=0.49 mem=32M612
0.87/0.97
0.87/0.97 solver IterativeSystematicSolver being built...
0.97/1.09
0.97/1.09 INFO : Forward propagation technique limited
1.08/1.14 => wckTime=0.903 cpuTime=0.65 mem=44M708
1.08/1.17
1.08/1.17 preprocessing
1.08/1.17 nbConstraintChecks=0 nbPropagations=120 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.08/1.17 detectedInconsistency=no
1.08/1.17 => wckTime=0.021 cpuTime=0.01 mem=45M576
2.46/2.51
2.46/2.51 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=49M882)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2099509-1247418222/watcher-2099509-1247418222 -o /tmp/evaluation-result-2099509-1247418222/solver-2099509-1247418222 -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-2099509-1247418222.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: 1.99 2.05 2.01 4/80 31444
/proc/meminfo: memFree=1759976/2055920 swapFree=4192812/4192956
[pid=31444] ppid=31442 vsize=1512 CPUtime=0
/proc/31444/stat : 31444 (java) R 31442 31444 29213 0 -1 0 60 0 0 0 0 0 0 0 20 0 1 0 28886242 1548288 44 996147200 134512640 134550932 4294956128 18446744073709551615 8747661 0 0 4096 0 0 0 0 17 0 0 0
/proc/31444/statm: 378 44 33 9 0 6 0
[startup+0.015802 s]
/proc/loadavg: 1.99 2.05 2.01 4/80 31444
/proc/meminfo: memFree=1759976/2055920 swapFree=4192812/4192956
[pid=31444] ppid=31442 vsize=10964 CPUtime=0
/proc/31444/stat : 31444 (java) S 31442 31444 29213 0 -1 0 823 0 0 0 0 0 0 0 20 0 2 0 28886242 11227136 577 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/31444/statm: 2749 607 309 9 0 1198 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10964
[startup+0.103073 s]
/proc/loadavg: 1.99 2.05 2.01 4/80 31444
/proc/meminfo: memFree=1759976/2055920 swapFree=4192812/4192956
[pid=31444] ppid=31442 vsize=865984 CPUtime=0.09
/proc/31444/stat : 31444 (java) S 31442 31444 29213 0 -1 0 3809 0 1 0 7 2 0 0 20 0 9 0 28886242 886767616 3259 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31444/statm: 216496 3259 1718 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.301097 s]
/proc/loadavg: 1.99 2.05 2.01 4/80 31444
/proc/meminfo: memFree=1759976/2055920 swapFree=4192812/4192956
[pid=31444] ppid=31442 vsize=866380 CPUtime=0.29
/proc/31444/stat : 31444 (java) S 31442 31444 29213 0 -1 0 6077 0 1 0 25 4 0 0 20 0 9 0 28886242 887173120 5443 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31444/statm: 216595 5443 1986 9 0 211053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380
[startup+0.705891 s]
/proc/loadavg: 1.99 2.05 2.01 4/80 31444
/proc/meminfo: memFree=1759976/2055920 swapFree=4192812/4192956
[pid=31444] ppid=31442 vsize=867844 CPUtime=0.69
/proc/31444/stat : 31444 (java) S 31442 31444 29213 0 -1 0 11463 0 1 0 62 7 0 0 20 0 9 0 28886242 888672256 10817 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31444/statm: 216961 10817 2036 9 0 211397 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867844
[startup+1.50223 s]
/proc/loadavg: 1.99 2.05 2.01 5/91 31457
/proc/meminfo: memFree=1711176/2055920 swapFree=4192812/4192956
[pid=31444] ppid=31442 vsize=868492 CPUtime=1.47
/proc/31444/stat : 31444 (java) S 31442 31444 29213 0 -1 0 26297 284 1 0 136 11 0 0 20 0 9 0 28886242 889335808 16689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31444/statm: 217123 16689 2658 9 0 211559 0
[pid=31444/tid=31446] ppid=31442 vsize=868492 CPUtime=1.16
/proc/31444/task/31446/stat : 31446 (java) R 31442 31444 29213 0 -1 64 19259 284 1 0 109 7 0 0 23 0 9 0 28886243 889335808 16689 996147200 134512640 134550932 4294955968 18446744073709551615 4127051561 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31447] ppid=31442 vsize=868492 CPUtime=0.06
/proc/31444/task/31447/stat : 31447 (java) S 31442 31444 29213 0 -1 64 5321 284 0 0 5 1 0 0 17 0 9 0 28886245 889335808 16689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31448] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31448/stat : 31448 (java) S 31442 31444 29213 0 -1 64 19 284 0 0 0 0 0 0 17 0 9 0 28886245 889335808 16689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31449] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31449/stat : 31449 (java) S 31442 31444 29213 0 -1 64 10 284 0 0 0 0 0 0 16 0 9 0 28886245 889335808 16689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31450] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31450/stat : 31450 (java) S 31442 31444 29213 0 -1 64 2 284 0 0 0 0 0 0 18 0 9 0 28886247 889335808 16689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31451] ppid=31442 vsize=868492 CPUtime=0.21
/proc/31444/task/31451/stat : 31451 (java) S 31442 31444 29213 0 -1 64 878 284 0 0 21 0 0 0 15 0 9 0 28886247 889335808 16689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31452] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31452/stat : 31452 (java) S 31442 31444 29213 0 -1 64 0 284 0 0 0 0 0 0 19 0 9 0 28886247 889335808 16689 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31453] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31453/stat : 31453 (java) S 31442 31444 29213 0 -1 64 3 284 0 0 0 0 0 0 15 0 9 0 28886247 889335808 16689 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) 868492
[startup+3.10242 s]
/proc/loadavg: 1.99 2.05 2.01 3/89 31457
/proc/meminfo: memFree=1703184/2055920 swapFree=4192812/4192956
[pid=31444] ppid=31442 vsize=868492 CPUtime=3.05
/proc/31444/stat : 31444 (java) S 31442 31444 29213 0 -1 0 27432 284 1 0 294 11 0 0 20 0 9 0 28886242 889335808 17816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31444/statm: 217123 17816 2659 9 0 211559 0
[pid=31444/tid=31446] ppid=31442 vsize=868492 CPUtime=2.68
/proc/31444/task/31446/stat : 31446 (java) R 31442 31444 29213 0 -1 64 20339 284 1 0 260 8 0 0 25 0 9 0 28886243 889335808 17816 996147200 134512640 134550932 4294955968 18446744073709551615 4127058708 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31447] ppid=31442 vsize=868492 CPUtime=0.06
/proc/31444/task/31447/stat : 31447 (java) S 31442 31444 29213 0 -1 64 5321 284 0 0 5 1 0 0 17 0 9 0 28886245 889335808 17816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31448] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31448/stat : 31448 (java) S 31442 31444 29213 0 -1 64 19 284 0 0 0 0 0 0 17 0 9 0 28886245 889335808 17816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31449] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31449/stat : 31449 (java) S 31442 31444 29213 0 -1 64 10 284 0 0 0 0 0 0 16 0 9 0 28886245 889335808 17816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31450] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31450/stat : 31450 (java) S 31442 31444 29213 0 -1 64 2 284 0 0 0 0 0 0 18 0 9 0 28886247 889335808 17816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31451] ppid=31442 vsize=868492 CPUtime=0.29
/proc/31444/task/31451/stat : 31451 (java) S 31442 31444 29213 0 -1 64 933 284 0 0 28 1 0 0 15 0 9 0 28886247 889335808 17816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31452] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31452/stat : 31452 (java) S 31442 31444 29213 0 -1 64 0 284 0 0 0 0 0 0 19 0 9 0 28886247 889335808 17816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31453] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31453/stat : 31453 (java) S 31442 31444 29213 0 -1 64 3 284 0 0 0 0 0 0 15 0 9 0 28886247 889335808 17816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 868492
[startup+6.3018 s]
/proc/loadavg: 1.99 2.05 2.01 3/89 31457
/proc/meminfo: memFree=1698512/2055920 swapFree=4192812/4192956
[pid=31444] ppid=31442 vsize=868492 CPUtime=6.23
/proc/31444/stat : 31444 (java) S 31442 31444 29213 0 -1 0 27467 284 1 0 612 11 0 0 20 0 9 0 28886242 889335808 17820 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31444/statm: 217123 17820 2659 9 0 211559 0
[pid=31444/tid=31446] ppid=31442 vsize=868492 CPUtime=5.86
/proc/31444/task/31446/stat : 31446 (java) R 31442 31444 29213 0 -1 64 20344 284 1 0 578 8 0 0 25 0 9 0 28886243 889335808 17820 996147200 134512640 134550932 4294955968 18446744073709551615 4127112217 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31447] ppid=31442 vsize=868492 CPUtime=0.06
/proc/31444/task/31447/stat : 31447 (java) S 31442 31444 29213 0 -1 64 5321 284 0 0 5 1 0 0 16 0 9 0 28886245 889335808 17820 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31448] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31448/stat : 31448 (java) S 31442 31444 29213 0 -1 64 19 284 0 0 0 0 0 0 17 0 9 0 28886245 889335808 17820 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31449] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31449/stat : 31449 (java) S 31442 31444 29213 0 -1 64 10 284 0 0 0 0 0 0 16 0 9 0 28886245 889335808 17820 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31450] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31450/stat : 31450 (java) S 31442 31444 29213 0 -1 64 2 284 0 0 0 0 0 0 18 0 9 0 28886247 889335808 17820 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31451] ppid=31442 vsize=868492 CPUtime=0.29
/proc/31444/task/31451/stat : 31451 (java) S 31442 31444 29213 0 -1 64 934 284 0 0 28 1 0 0 16 0 9 0 28886247 889335808 17820 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31452] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31452/stat : 31452 (java) S 31442 31444 29213 0 -1 64 0 284 0 0 0 0 0 0 19 0 9 0 28886247 889335808 17820 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31453] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31453/stat : 31453 (java) S 31442 31444 29213 0 -1 64 32 284 0 0 0 0 0 0 15 0 9 0 28886247 889335808 17820 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) 868492
[startup+12.7025 s]
/proc/loadavg: 1.99 2.05 2.01 3/89 31457
/proc/meminfo: memFree=1698336/2055920 swapFree=4192812/4192956
[pid=31444] ppid=31442 vsize=868492 CPUtime=12.6
/proc/31444/stat : 31444 (java) S 31442 31444 29213 0 -1 0 27468 284 1 0 1249 11 0 0 20 0 9 0 28886242 889335808 17821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31444/statm: 217123 17821 2659 9 0 211559 0
[pid=31444/tid=31446] ppid=31442 vsize=868492 CPUtime=12.23
/proc/31444/task/31446/stat : 31446 (java) R 31442 31444 29213 0 -1 64 20345 284 1 0 1215 8 0 0 25 0 9 0 28886243 889335808 17821 996147200 134512640 134550932 4294955968 18446744073709551615 4126929177 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31447] ppid=31442 vsize=868492 CPUtime=0.06
/proc/31444/task/31447/stat : 31447 (java) S 31442 31444 29213 0 -1 64 5321 284 0 0 5 1 0 0 16 0 9 0 28886245 889335808 17821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31448] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31448/stat : 31448 (java) S 31442 31444 29213 0 -1 64 19 284 0 0 0 0 0 0 17 0 9 0 28886245 889335808 17821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31449] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31449/stat : 31449 (java) S 31442 31444 29213 0 -1 64 10 284 0 0 0 0 0 0 16 0 9 0 28886245 889335808 17821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31450] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31450/stat : 31450 (java) S 31442 31444 29213 0 -1 64 2 284 0 0 0 0 0 0 18 0 9 0 28886247 889335808 17821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31451] ppid=31442 vsize=868492 CPUtime=0.29
/proc/31444/task/31451/stat : 31451 (java) S 31442 31444 29213 0 -1 64 934 284 0 0 28 1 0 0 16 0 9 0 28886247 889335808 17821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31452] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31452/stat : 31452 (java) S 31442 31444 29213 0 -1 64 0 284 0 0 0 0 0 0 19 0 9 0 28886247 889335808 17821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31453] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31453/stat : 31453 (java) S 31442 31444 29213 0 -1 64 32 284 0 0 0 0 0 0 15 0 9 0 28886247 889335808 17821 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 868492
[startup+25.5011 s]
/proc/loadavg: 1.99 2.05 2.00 3/89 31457
/proc/meminfo: memFree=1698336/2055920 swapFree=4192812/4192956
[pid=31444] ppid=31442 vsize=868492 CPUtime=25.35
/proc/31444/stat : 31444 (java) S 31442 31444 29213 0 -1 0 27470 284 1 0 2524 11 0 0 20 0 9 0 28886242 889335808 17822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31444/statm: 217123 17822 2659 9 0 211559 0
[pid=31444/tid=31446] ppid=31442 vsize=868492 CPUtime=24.98
/proc/31444/task/31446/stat : 31446 (java) R 31442 31444 29213 0 -1 64 20347 284 1 0 2490 8 0 0 25 0 9 0 28886243 889335808 17822 996147200 134512640 134550932 4294955968 18446744073709551615 4126928448 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31447] ppid=31442 vsize=868492 CPUtime=0.06
/proc/31444/task/31447/stat : 31447 (java) S 31442 31444 29213 0 -1 64 5321 284 0 0 5 1 0 0 16 0 9 0 28886245 889335808 17822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31448] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31448/stat : 31448 (java) S 31442 31444 29213 0 -1 64 19 284 0 0 0 0 0 0 17 0 9 0 28886245 889335808 17822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31449] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31449/stat : 31449 (java) S 31442 31444 29213 0 -1 64 10 284 0 0 0 0 0 0 16 0 9 0 28886245 889335808 17822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31450] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31450/stat : 31450 (java) S 31442 31444 29213 0 -1 64 2 284 0 0 0 0 0 0 18 0 9 0 28886247 889335808 17822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31451] ppid=31442 vsize=868492 CPUtime=0.29
/proc/31444/task/31451/stat : 31451 (java) S 31442 31444 29213 0 -1 64 934 284 0 0 28 1 0 0 16 0 9 0 28886247 889335808 17822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31452] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31452/stat : 31452 (java) S 31442 31444 29213 0 -1 64 0 284 0 0 0 0 0 0 19 0 9 0 28886247 889335808 17822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31453] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31453/stat : 31453 (java) S 31442 31444 29213 0 -1 64 32 284 0 0 0 0 0 0 15 0 9 0 28886247 889335808 17822 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 868492
[startup+51.1011 s]
/proc/loadavg: 1.99 2.04 2.00 3/89 31457
/proc/meminfo: memFree=1698336/2055920 swapFree=4192812/4192956
[pid=31444] ppid=31442 vsize=868492 CPUtime=50.85
/proc/31444/stat : 31444 (java) S 31442 31444 29213 0 -1 0 27471 284 1 0 5073 12 0 0 20 0 9 0 28886242 889335808 17823 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31444/statm: 217123 17823 2659 9 0 211559 0
[pid=31444/tid=31446] ppid=31442 vsize=868492 CPUtime=50.46
/proc/31444/task/31446/stat : 31446 (java) R 31442 31444 29213 0 -1 64 20348 284 1 0 5038 8 0 0 25 0 9 0 28886243 889335808 17823 996147200 134512640 134550932 4294955968 18446744073709551615 4127058608 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31447] ppid=31442 vsize=868492 CPUtime=0.06
/proc/31444/task/31447/stat : 31447 (java) S 31442 31444 29213 0 -1 64 5321 284 0 0 5 1 0 0 16 0 9 0 28886245 889335808 17823 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31448] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31448/stat : 31448 (java) S 31442 31444 29213 0 -1 64 19 284 0 0 0 0 0 0 17 0 9 0 28886245 889335808 17823 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31449] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31449/stat : 31449 (java) S 31442 31444 29213 0 -1 64 10 284 0 0 0 0 0 0 16 0 9 0 28886245 889335808 17823 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31450] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31450/stat : 31450 (java) S 31442 31444 29213 0 -1 64 2 284 0 0 0 0 0 0 18 0 9 0 28886247 889335808 17823 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31451] ppid=31442 vsize=868492 CPUtime=0.29
/proc/31444/task/31451/stat : 31451 (java) S 31442 31444 29213 0 -1 64 934 284 0 0 28 1 0 0 16 0 9 0 28886247 889335808 17823 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31452] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31452/stat : 31452 (java) S 31442 31444 29213 0 -1 64 0 284 0 0 0 0 0 0 19 0 9 0 28886247 889335808 17823 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/31444/task/31449/stat : 31449 (java) S 31442 31444 29213 0 -1 64 10 284 0 0 0 0 0 0 16 0 9 0 28886245 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31450] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31450/stat : 31450 (java) S 31442 31444 29213 0 -1 64 2 284 0 0 0 0 0 0 18 0 9 0 28886247 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31451] ppid=31442 vsize=868492 CPUtime=0.29
/proc/31444/task/31451/stat : 31451 (java) S 31442 31444 29213 0 -1 64 934 284 0 0 28 1 0 0 16 0 9 0 28886247 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31452] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31452/stat : 31452 (java) S 31442 31444 29213 0 -1 64 0 284 0 0 0 0 0 0 19 0 9 0 28886247 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31453] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31453/stat : 31453 (java) S 31442 31444 29213 0 -1 64 32 284 0 0 0 0 0 0 15 0 9 0 28886247 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1476.24
Current children cumulated vsize (KiB) 868492
[startup+1542.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/89 31457
/proc/meminfo: memFree=1697504/2055920 swapFree=4192812/4192956
[pid=31444] ppid=31442 vsize=868492 CPUtime=1536
/proc/31444/stat : 31444 (java) S 31442 31444 29213 0 -1 0 27476 284 1 0 153586 14 0 0 20 0 9 0 28886242 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31444/statm: 217123 17828 2659 9 0 211559 0
[pid=31444/tid=31446] ppid=31442 vsize=868492 CPUtime=1535.61
/proc/31444/task/31446/stat : 31446 (java) R 31442 31444 29213 0 -1 64 20353 284 1 0 153551 10 0 0 25 0 9 0 28886243 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4127112217 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31447] ppid=31442 vsize=868492 CPUtime=0.06
/proc/31444/task/31447/stat : 31447 (java) S 31442 31444 29213 0 -1 64 5321 284 0 0 5 1 0 0 16 0 9 0 28886245 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31448] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31448/stat : 31448 (java) S 31442 31444 29213 0 -1 64 19 284 0 0 0 0 0 0 17 0 9 0 28886245 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31449] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31449/stat : 31449 (java) S 31442 31444 29213 0 -1 64 10 284 0 0 0 0 0 0 16 0 9 0 28886245 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31450] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31450/stat : 31450 (java) S 31442 31444 29213 0 -1 64 2 284 0 0 0 0 0 0 18 0 9 0 28886247 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31451] ppid=31442 vsize=868492 CPUtime=0.29
/proc/31444/task/31451/stat : 31451 (java) S 31442 31444 29213 0 -1 64 934 284 0 0 28 1 0 0 16 0 9 0 28886247 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31452] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31452/stat : 31452 (java) S 31442 31444 29213 0 -1 64 0 284 0 0 0 0 0 0 19 0 9 0 28886247 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31453] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31453/stat : 31453 (java) S 31442 31444 29213 0 -1 64 32 284 0 0 0 0 0 0 15 0 9 0 28886247 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536
Current children cumulated vsize (KiB) 868492
[startup+1602.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/89 31457
/proc/meminfo: memFree=1697440/2055920 swapFree=4192812/4192956
[pid=31444] ppid=31442 vsize=868492 CPUtime=1595.75
/proc/31444/stat : 31444 (java) S 31442 31444 29213 0 -1 0 27476 284 1 0 159561 14 0 0 20 0 9 0 28886242 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31444/statm: 217123 17828 2659 9 0 211559 0
[pid=31444/tid=31446] ppid=31442 vsize=868492 CPUtime=1595.37
/proc/31444/task/31446/stat : 31446 (java) R 31442 31444 29213 0 -1 64 20353 284 1 0 159527 10 0 0 25 0 9 0 28886243 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4127092908 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31447] ppid=31442 vsize=868492 CPUtime=0.06
/proc/31444/task/31447/stat : 31447 (java) S 31442 31444 29213 0 -1 64 5321 284 0 0 5 1 0 0 16 0 9 0 28886245 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31448] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31448/stat : 31448 (java) S 31442 31444 29213 0 -1 64 19 284 0 0 0 0 0 0 17 0 9 0 28886245 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31449] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31449/stat : 31449 (java) S 31442 31444 29213 0 -1 64 10 284 0 0 0 0 0 0 16 0 9 0 28886245 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31450] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31450/stat : 31450 (java) S 31442 31444 29213 0 -1 64 2 284 0 0 0 0 0 0 18 0 9 0 28886247 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31451] ppid=31442 vsize=868492 CPUtime=0.29
/proc/31444/task/31451/stat : 31451 (java) S 31442 31444 29213 0 -1 64 934 284 0 0 28 1 0 0 16 0 9 0 28886247 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31452] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31452/stat : 31452 (java) S 31442 31444 29213 0 -1 64 0 284 0 0 0 0 0 0 19 0 9 0 28886247 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31453] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31453/stat : 31453 (java) S 31442 31444 29213 0 -1 64 32 284 0 0 0 0 0 0 15 0 9 0 28886247 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.75
Current children cumulated vsize (KiB) 868492
[startup+1662.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/89 31457
/proc/meminfo: memFree=1697440/2055920 swapFree=4192812/4192956
[pid=31444] ppid=31442 vsize=868492 CPUtime=1655.51
/proc/31444/stat : 31444 (java) S 31442 31444 29213 0 -1 0 27476 284 1 0 165537 14 0 0 20 0 9 0 28886242 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31444/statm: 217123 17828 2659 9 0 211559 0
[pid=31444/tid=31446] ppid=31442 vsize=868492 CPUtime=1655.13
/proc/31444/task/31446/stat : 31446 (java) R 31442 31444 29213 0 -1 64 20353 284 1 0 165503 10 0 0 25 0 9 0 28886243 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4127112153 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31447] ppid=31442 vsize=868492 CPUtime=0.06
/proc/31444/task/31447/stat : 31447 (java) S 31442 31444 29213 0 -1 64 5321 284 0 0 5 1 0 0 16 0 9 0 28886245 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31448] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31448/stat : 31448 (java) S 31442 31444 29213 0 -1 64 19 284 0 0 0 0 0 0 17 0 9 0 28886245 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31449] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31449/stat : 31449 (java) S 31442 31444 29213 0 -1 64 10 284 0 0 0 0 0 0 16 0 9 0 28886245 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31450] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31450/stat : 31450 (java) S 31442 31444 29213 0 -1 64 2 284 0 0 0 0 0 0 18 0 9 0 28886247 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31451] ppid=31442 vsize=868492 CPUtime=0.29
/proc/31444/task/31451/stat : 31451 (java) S 31442 31444 29213 0 -1 64 934 284 0 0 28 1 0 0 16 0 9 0 28886247 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31452] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31452/stat : 31452 (java) S 31442 31444 29213 0 -1 64 0 284 0 0 0 0 0 0 19 0 9 0 28886247 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31453] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31453/stat : 31453 (java) S 31442 31444 29213 0 -1 64 32 284 0 0 0 0 0 0 15 0 9 0 28886247 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.51
Current children cumulated vsize (KiB) 868492
[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/89 31457
/proc/meminfo: memFree=1697440/2055920 swapFree=4192812/4192956
[pid=31444] ppid=31442 vsize=868492 CPUtime=1715.27
/proc/31444/stat : 31444 (java) S 31442 31444 29213 0 -1 0 27476 284 1 0 171513 14 0 0 20 0 9 0 28886242 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31444/statm: 217123 17828 2659 9 0 211559 0
[pid=31444/tid=31446] ppid=31442 vsize=868492 CPUtime=1714.88
/proc/31444/task/31446/stat : 31446 (java) R 31442 31444 29213 0 -1 64 20353 284 1 0 171478 10 0 0 25 0 9 0 28886243 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4127112217 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31447] ppid=31442 vsize=868492 CPUtime=0.06
/proc/31444/task/31447/stat : 31447 (java) S 31442 31444 29213 0 -1 64 5321 284 0 0 5 1 0 0 16 0 9 0 28886245 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31448] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31448/stat : 31448 (java) S 31442 31444 29213 0 -1 64 19 284 0 0 0 0 0 0 17 0 9 0 28886245 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31449] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31449/stat : 31449 (java) S 31442 31444 29213 0 -1 64 10 284 0 0 0 0 0 0 16 0 9 0 28886245 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31450] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31450/stat : 31450 (java) S 31442 31444 29213 0 -1 64 2 284 0 0 0 0 0 0 18 0 9 0 28886247 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31451] ppid=31442 vsize=868492 CPUtime=0.29
/proc/31444/task/31451/stat : 31451 (java) S 31442 31444 29213 0 -1 64 934 284 0 0 28 1 0 0 16 0 9 0 28886247 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31452] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31452/stat : 31452 (java) S 31442 31444 29213 0 -1 64 0 284 0 0 0 0 0 0 19 0 9 0 28886247 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31453] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31453/stat : 31453 (java) S 31442 31444 29213 0 -1 64 32 284 0 0 0 0 0 0 15 0 9 0 28886247 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.27
Current children cumulated vsize (KiB) 868492
[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 2.00 2/76 31476
/proc/meminfo: memFree=1761416/2055920 swapFree=4192812/4192956
[pid=31444] ppid=31442 vsize=868492 CPUtime=1775.01
/proc/31444/stat : 31444 (java) S 31442 31444 29213 0 -1 0 27476 284 1 0 177486 15 0 0 20 0 9 0 28886242 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31444/statm: 217123 17828 2659 9 0 211559 0
[pid=31444/tid=31446] ppid=31442 vsize=868492 CPUtime=1774.62
/proc/31444/task/31446/stat : 31446 (java) R 31442 31444 29213 0 -1 64 20353 284 1 0 177451 11 0 0 25 0 9 0 28886243 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4127058398 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31447] ppid=31442 vsize=868492 CPUtime=0.06
/proc/31444/task/31447/stat : 31447 (java) S 31442 31444 29213 0 -1 64 5321 284 0 0 5 1 0 0 16 0 9 0 28886245 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31448] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31448/stat : 31448 (java) S 31442 31444 29213 0 -1 64 19 284 0 0 0 0 0 0 17 0 9 0 28886245 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31449] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31449/stat : 31449 (java) S 31442 31444 29213 0 -1 64 10 284 0 0 0 0 0 0 16 0 9 0 28886245 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31450] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31450/stat : 31450 (java) S 31442 31444 29213 0 -1 64 2 284 0 0 0 0 0 0 18 0 9 0 28886247 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31451] ppid=31442 vsize=868492 CPUtime=0.29
/proc/31444/task/31451/stat : 31451 (java) S 31442 31444 29213 0 -1 64 934 284 0 0 28 1 0 0 16 0 9 0 28886247 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31452] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31452/stat : 31452 (java) S 31442 31444 29213 0 -1 64 0 284 0 0 0 0 0 0 19 0 9 0 28886247 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31453] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31453/stat : 31453 (java) S 31442 31444 29213 0 -1 64 32 284 0 0 0 0 0 0 15 0 9 0 28886247 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.01
Current children cumulated vsize (KiB) 868492
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.4 s]
/proc/loadavg: 1.60 1.90 1.97 2/73 31480
/proc/meminfo: memFree=1763056/2055920 swapFree=4192812/4192956
[pid=31444] ppid=31442 vsize=868492 CPUtime=1800.07
/proc/31444/stat : 31444 (java) S 31442 31444 29213 0 -1 0 27476 284 1 0 179992 15 0 0 20 0 9 0 28886242 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31444/statm: 217123 17828 2659 9 0 211559 0
[pid=31444/tid=31446] ppid=31442 vsize=868492 CPUtime=1799.69
/proc/31444/task/31446/stat : 31446 (java) R 31442 31444 29213 0 -1 64 20353 284 1 0 179958 11 0 0 25 0 9 0 28886243 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4126928491 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31447] ppid=31442 vsize=868492 CPUtime=0.06
/proc/31444/task/31447/stat : 31447 (java) S 31442 31444 29213 0 -1 64 5321 284 0 0 5 1 0 0 16 0 9 0 28886245 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31448] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31448/stat : 31448 (java) S 31442 31444 29213 0 -1 64 19 284 0 0 0 0 0 0 17 0 9 0 28886245 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31449] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31449/stat : 31449 (java) S 31442 31444 29213 0 -1 64 10 284 0 0 0 0 0 0 16 0 9 0 28886245 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31450] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31450/stat : 31450 (java) S 31442 31444 29213 0 -1 64 2 284 0 0 0 0 0 0 18 0 9 0 28886247 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31451] ppid=31442 vsize=868492 CPUtime=0.29
/proc/31444/task/31451/stat : 31451 (java) S 31442 31444 29213 0 -1 64 934 284 0 0 28 1 0 0 16 0 9 0 28886247 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31444/tid=31452] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31452/stat : 31452 (java) S 31442 31444 29213 0 -1 64 0 284 0 0 0 0 0 0 19 0 9 0 28886247 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31444/tid=31453] ppid=31442 vsize=868492 CPUtime=0
/proc/31444/task/31453/stat : 31453 (java) S 31442 31444 29213 0 -1 64 32 284 0 0 0 0 0 0 15 0 9 0 28886247 889335808 17828 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 868492
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): 1807.44
CPU time (s): 1800.12
CPU user time (s): 1799.95
CPU system time (s): 0.169974
CPU usage (%): 99.5951
Max. virtual memory (cumulated for all children) (KiB): 868492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.169974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27789
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= 38083
involuntary context switches= 61186
runsolver used 1.85972 second user time and 4.77827 second system time
The end
Begin job on node53 at 2009-07-12 19:03:42
IDJOB=2099509
IDBENCH=66162
IDSOLVER=773
FILE ID=node53/2099509-1247418222
PBS_JOBID= 9510809
Free space on /tmp= 65976 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/CabinetStart1/normalized-cabinet-5569.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-2099509-1247418222/watcher-2099509-1247418222 -o /tmp/evaluation-result-2099509-1247418222/solver-2099509-1247418222 -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-2099509-1247418222.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 47e179d71727ec724eb6a9387dce9554
RANDOM SEED=266022614
node53.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.232
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.232
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: 1760392 kB
Buffers: 39520 kB
Cached: 119940 kB
SwapCached: 0 kB
Active: 162308 kB
Inactive: 76364 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1760392 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4404 kB
Writeback: 0 kB
Mapped: 97636 kB
Slab: 42096 kB
Committed_AS: 1017356 kB
PageTables: 1892 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= 65976 MiB
End job on node53 at 2009-07-12 19:33:52