0.06/0.08
0.06/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.28
0.19/0.28 instance
0.19/0.28 name=HOME/instance-2094617-1247404773.xml
0.29/0.31
0.29/0.31 domains being loaded...
0.29/0.32
0.29/0.32 variables being loaded...
0.29/0.36 nbVariables=136 nbDomainTypes=1 minDomainSize=3 maxDomainSize=3 nbTotalValues=408
0.29/0.36 => wckTime=0.117 cpuTime=0.1 mem=7M892
0.29/0.36
0.29/0.36 predicates being loaded...
0.39/0.42
0.39/0.42 constraints being loaded...
0.88/0.95 nbConstraints=696 nbGlobalConstraints=16 nbConflictsStructures=1 nbSharedConflictsStructures=679
0.88/0.95 nbSharedBinaryRepresentations=0 nbEvaluationManagers=1 nbSharedEvaluationManagers=679 minDegree=16 maxDegree=19
0.88/0.95 minArity=3 avgArity=3.62 maxArity=30 nbGenerators=16 nbFusions=0 symmetryWckTime=0.143 symmetryCpuTime=0.07
0.88/0.95 => wckTime=0.71 cpuTime=0.51 mem=25M557
0.99/1.03
0.99/1.03 solver IterativeSystematicSolver being built...
1.08/1.14
1.08/1.14 INFO : Forward propagation technique limited
1.18/1.21 => wckTime=0.965 cpuTime=0.66 mem=26M10
1.18/1.22
1.18/1.22 preprocessing
1.18/1.22 nbConstraintChecks=0 nbPropagations=136 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.18/1.22 detectedInconsistency=no
1.18/1.22 => wckTime=0.013 cpuTime=0.0 mem=26M944
1.37/1.40
1.37/1.40 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=27M943)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2094617-1247404773/watcher-2094617-1247404773 -o /tmp/evaluation-result-2094617-1247404773/solver-2094617-1247404773 -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-2094617-1247404773.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 1.97 4/80 30294
/proc/meminfo: memFree=1805864/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=272 CPUtime=0
/proc/30294/stat : 30294 (java) D 30292 30294 29887 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 27544841 278528 37 996147200 134512640 134550932 4294955968 18446744073709551615 10588964 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/30294/statm: 68 37 28 9 0 6 0
[startup+0.069035 s]
/proc/loadavg: 2.04 2.03 1.97 4/80 30294
/proc/meminfo: memFree=1805864/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=864148 CPUtime=0.06
/proc/30294/stat : 30294 (java) S 30292 30294 29887 0 -1 0 2968 0 1 0 4 2 0 0 18 0 9 0 27544841 884887552 2471 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 216037 2471 1163 9 0 210930 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 864148
[startup+0.101036 s]
/proc/loadavg: 2.04 2.03 1.97 4/80 30294
/proc/meminfo: memFree=1805864/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=865984 CPUtime=0.09
/proc/30294/stat : 30294 (java) S 30292 30294 29887 0 -1 0 3784 0 1 0 7 2 0 0 18 0 9 0 27544841 886767616 3239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 216496 3239 1711 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.30105 s]
/proc/loadavg: 2.04 2.03 1.97 4/80 30294
/proc/meminfo: memFree=1805864/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=867412 CPUtime=0.29
/proc/30294/stat : 30294 (java) S 30292 30294 29887 0 -1 0 6015 0 1 0 26 3 0 0 18 0 9 0 27544841 888229888 5381 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 216853 5381 1986 9 0 211311 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 867412
[startup+0.701087 s]
/proc/loadavg: 2.04 2.03 1.97 4/80 30294
/proc/meminfo: memFree=1805864/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=868688 CPUtime=0.7
/proc/30294/stat : 30294 (java) S 30292 30294 29887 0 -1 0 9235 0 1 0 63 7 0 0 18 0 9 0 27544841 889536512 8589 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 217172 8590 2037 9 0 211608 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 868688
[startup+1.50217 s]
/proc/loadavg: 2.03 2.03 1.97 5/91 30307
/proc/meminfo: memFree=1771920/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=869128 CPUtime=1.48
/proc/30294/stat : 30294 (java) S 30292 30294 29887 0 -1 0 20030 376 1 0 132 12 3 1 18 0 9 0 27544841 889987072 12319 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 217282 12319 2658 9 0 211718 0
[pid=30294/tid=30296] ppid=30292 vsize=869128 CPUtime=1.09
/proc/30294/task/30296/stat : 30296 (java) R 30292 30294 29887 0 -1 64 13881 376 1 0 96 9 3 1 19 0 9 0 27544842 889987072 12319 996147200 134512640 134550932 4294955968 18446744073709551615 4127137730 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30297] ppid=30292 vsize=869128 CPUtime=0.09
/proc/30294/task/30297/stat : 30297 (java) S 30292 30294 29887 0 -1 64 4339 376 0 0 5 0 3 1 16 0 9 0 27544843 889987072 12319 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30298] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30298/stat : 30298 (java) S 30292 30294 29887 0 -1 64 19 376 0 0 0 0 3 1 16 0 9 0 27544844 889987072 12319 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30299] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30299/stat : 30299 (java) S 30292 30294 29887 0 -1 64 13 376 0 0 0 0 3 1 16 0 9 0 27544844 889987072 12319 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30300] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30300/stat : 30300 (java) S 30292 30294 29887 0 -1 64 2 376 0 0 0 0 3 1 18 0 9 0 27544846 889987072 12319 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30301] ppid=30292 vsize=869128 CPUtime=0.34
/proc/30294/task/30301/stat : 30301 (java) S 30292 30294 29887 0 -1 64 963 376 0 0 29 1 3 1 16 0 9 0 27544846 889987072 12319 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30302] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30302/stat : 30302 (java) S 30292 30294 29887 0 -1 64 0 376 0 0 0 0 3 1 19 0 9 0 27544846 889987072 12319 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30303] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30303/stat : 30303 (java) S 30292 30294 29887 0 -1 64 10 376 0 0 0 0 3 1 15 0 9 0 27544846 889987072 12319 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) 869128
[startup+3.10232 s]
/proc/loadavg: 2.03 2.03 1.97 3/89 30307
/proc/meminfo: memFree=1766616/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=869128 CPUtime=3.07
/proc/30294/stat : 30294 (java) S 30292 30294 29887 0 -1 0 20058 376 1 0 290 13 3 1 18 0 9 0 27544841 889987072 12346 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 217282 12346 2658 9 0 211718 0
[pid=30294/tid=30296] ppid=30292 vsize=869128 CPUtime=2.63
/proc/30294/task/30296/stat : 30296 (java) R 30292 30294 29887 0 -1 64 13887 376 1 0 250 9 3 1 25 0 9 0 27544842 889987072 12346 996147200 134512640 134550932 4294955968 18446744073709551615 4127175464 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30297] ppid=30292 vsize=869128 CPUtime=0.09
/proc/30294/task/30297/stat : 30297 (java) S 30292 30294 29887 0 -1 64 4339 376 0 0 5 0 3 1 16 0 9 0 27544843 889987072 12346 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30298] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30298/stat : 30298 (java) S 30292 30294 29887 0 -1 64 19 376 0 0 0 0 3 1 16 0 9 0 27544844 889987072 12346 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30299] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30299/stat : 30299 (java) S 30292 30294 29887 0 -1 64 13 376 0 0 0 0 3 1 16 0 9 0 27544844 889987072 12346 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30300] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30300/stat : 30300 (java) S 30292 30294 29887 0 -1 64 2 376 0 0 0 0 3 1 18 0 9 0 27544846 889987072 12346 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30301] ppid=30292 vsize=869128 CPUtime=0.38
/proc/30294/task/30301/stat : 30301 (java) S 30292 30294 29887 0 -1 64 985 376 0 0 33 1 3 1 16 0 9 0 27544846 889987072 12346 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30302] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30302/stat : 30302 (java) S 30292 30294 29887 0 -1 64 0 376 0 0 0 0 3 1 19 0 9 0 27544846 889987072 12346 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30303] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30303/stat : 30303 (java) S 30292 30294 29887 0 -1 64 10 376 0 0 0 0 3 1 15 0 9 0 27544846 889987072 12346 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 869128
[startup+6.30162 s]
/proc/loadavg: 2.03 2.03 1.97 3/89 30307
/proc/meminfo: memFree=1766424/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=869128 CPUtime=6.24
/proc/30294/stat : 30294 (java) S 30292 30294 29887 0 -1 0 20091 376 1 0 607 13 3 1 18 0 9 0 27544841 889987072 12350 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 217282 12350 2658 9 0 211718 0
[pid=30294/tid=30296] ppid=30292 vsize=869128 CPUtime=5.8
/proc/30294/task/30296/stat : 30296 (java) R 30292 30294 29887 0 -1 64 13893 376 1 0 567 9 3 1 25 0 9 0 27544842 889987072 12350 996147200 134512640 134550932 4294955968 18446744073709551615 4127110000 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30297] ppid=30292 vsize=869128 CPUtime=0.09
/proc/30294/task/30297/stat : 30297 (java) S 30292 30294 29887 0 -1 64 4339 376 0 0 5 0 3 1 16 0 9 0 27544843 889987072 12350 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30298] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30298/stat : 30298 (java) S 30292 30294 29887 0 -1 64 19 376 0 0 0 0 3 1 16 0 9 0 27544844 889987072 12350 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30299] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30299/stat : 30299 (java) S 30292 30294 29887 0 -1 64 13 376 0 0 0 0 3 1 16 0 9 0 27544844 889987072 12350 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30300] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30300/stat : 30300 (java) S 30292 30294 29887 0 -1 64 2 376 0 0 0 0 3 1 18 0 9 0 27544846 889987072 12350 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30301] ppid=30292 vsize=869128 CPUtime=0.38
/proc/30294/task/30301/stat : 30301 (java) S 30292 30294 29887 0 -1 64 986 376 0 0 33 1 3 1 15 0 9 0 27544846 889987072 12350 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30302] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30302/stat : 30302 (java) S 30292 30294 29887 0 -1 64 0 376 0 0 0 0 3 1 19 0 9 0 27544846 889987072 12350 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30303] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30303/stat : 30303 (java) S 30292 30294 29887 0 -1 64 36 376 0 0 0 0 3 1 15 0 9 0 27544846 889987072 12350 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 869128
[startup+12.7015 s]
/proc/loadavg: 2.03 2.03 1.97 3/89 30307
/proc/meminfo: memFree=1766232/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=869128 CPUtime=12.57
/proc/30294/stat : 30294 (java) S 30292 30294 29887 0 -1 0 20095 376 1 0 1240 13 3 1 18 0 9 0 27544841 889987072 12352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 217282 12352 2658 9 0 211718 0
[pid=30294/tid=30296] ppid=30292 vsize=869128 CPUtime=12.14
/proc/30294/task/30296/stat : 30296 (java) R 30292 30294 29887 0 -1 64 13896 376 1 0 1201 9 3 1 25 0 9 0 27544842 889987072 12352 996147200 134512640 134550932 4294955968 18446744073709551615 4127106330 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30297] ppid=30292 vsize=869128 CPUtime=0.09
/proc/30294/task/30297/stat : 30297 (java) S 30292 30294 29887 0 -1 64 4339 376 0 0 5 0 3 1 16 0 9 0 27544843 889987072 12352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30298] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30298/stat : 30298 (java) S 30292 30294 29887 0 -1 64 19 376 0 0 0 0 3 1 16 0 9 0 27544844 889987072 12352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30299] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30299/stat : 30299 (java) S 30292 30294 29887 0 -1 64 13 376 0 0 0 0 3 1 16 0 9 0 27544844 889987072 12352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30300] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30300/stat : 30300 (java) S 30292 30294 29887 0 -1 64 2 376 0 0 0 0 3 1 18 0 9 0 27544846 889987072 12352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30301] ppid=30292 vsize=869128 CPUtime=0.38
/proc/30294/task/30301/stat : 30301 (java) S 30292 30294 29887 0 -1 64 987 376 0 0 33 1 3 1 15 0 9 0 27544846 889987072 12352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30302] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30302/stat : 30302 (java) S 30292 30294 29887 0 -1 64 0 376 0 0 0 0 3 1 19 0 9 0 27544846 889987072 12352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30303] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30303/stat : 30303 (java) S 30292 30294 29887 0 -1 64 36 376 0 0 0 0 3 1 15 0 9 0 27544846 889987072 12352 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) 869128
[startup+25.5014 s]
/proc/loadavg: 2.02 2.03 1.97 4/89 30307
/proc/meminfo: memFree=1766168/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=869128 CPUtime=25.25
/proc/30294/stat : 30294 (java) S 30292 30294 29887 0 -1 0 20096 376 1 0 2508 13 3 1 18 0 9 0 27544841 889987072 12353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 217282 12353 2658 9 0 211718 0
[pid=30294/tid=30296] ppid=30292 vsize=869128 CPUtime=24.81
/proc/30294/task/30296/stat : 30296 (java) R 30292 30294 29887 0 -1 64 13897 376 1 0 2468 9 3 1 25 0 9 0 27544842 889987072 12353 996147200 134512640 134550932 4294955968 18446744073709551615 4127111724 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30297] ppid=30292 vsize=869128 CPUtime=0.09
/proc/30294/task/30297/stat : 30297 (java) S 30292 30294 29887 0 -1 64 4339 376 0 0 5 0 3 1 16 0 9 0 27544843 889987072 12353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30298] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30298/stat : 30298 (java) S 30292 30294 29887 0 -1 64 19 376 0 0 0 0 3 1 16 0 9 0 27544844 889987072 12353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30299] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30299/stat : 30299 (java) S 30292 30294 29887 0 -1 64 13 376 0 0 0 0 3 1 16 0 9 0 27544844 889987072 12353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30300] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30300/stat : 30300 (java) S 30292 30294 29887 0 -1 64 2 376 0 0 0 0 3 1 18 0 9 0 27544846 889987072 12353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30301] ppid=30292 vsize=869128 CPUtime=0.38
/proc/30294/task/30301/stat : 30301 (java) S 30292 30294 29887 0 -1 64 987 376 0 0 33 1 3 1 15 0 9 0 27544846 889987072 12353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30302] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30302/stat : 30302 (java) S 30292 30294 29887 0 -1 64 0 376 0 0 0 0 3 1 19 0 9 0 27544846 889987072 12353 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30303] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30303/stat : 30303 (java) S 30292 30294 29887 0 -1 64 36 376 0 0 0 0 3 1 15 0 9 0 27544846 889987072 12353 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) 869128
[startup+51.1019 s]
/proc/loadavg: 2.07 2.04 1.98 3/89 30348
/proc/meminfo: memFree=1772504/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=869128 CPUtime=50.81
/proc/30294/stat : 30294 (java) S 30292 30294 29887 0 -1 0 20098 376 1 0 5064 13 3 1 18 0 9 0 27544841 889987072 12355 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 217282 12355 2658 9 0 211718 0
[pid=30294/tid=30296] ppid=30292 vsize=869128 CPUtime=50.38
/proc/30294/task/30296/stat : 30296 (java) R 30292 30294 29887 0 -1 64 13899 376 1 0 5024 10 3 1 25 0 9 0 27544842 889987072 12355 996147200 134512640 134550932 4294955968 18446744073709551615 4127248498 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30297] ppid=30292 vsize=869128 CPUtime=0.09
/proc/30294/task/30297/stat : 30297 (java) S 30292 30294 29887 0 -1 64 4339 376 0 0 5 0 3 1 16 0 9 0 27544843 889987072 12355 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30298] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30298/stat : 30298 (java) S 30292 30294 29887 0 -1 64 19 376 0 0 0 0 3 1 16 0 9 0 27544844 889987072 12355 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30299] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30299/stat : 30299 (java) S 30292 30294 29887 0 -1 64 13 376 0 0 0 0 3 1 16 0 9 0 27544844 889987072 12355 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30300] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30300/stat : 30300 (java) S 30292 30294 29887 0 -1 64 2 376 0 0 0 0 3 1 18 0 9 0 27544846 889987072 12355 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30301] ppid=30292 vsize=869128 CPUtime=0.38
/proc/30294/task/30301/stat : 30301 (java) S 30292 30294 29887 0 -1 64 987 376 0 0 33 1 3 1 15 0 9 0 27544846 889987072 12355 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30302] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30302/stat : 30302 (java) S 30292 30294 29887 0 -1 64 0 376 0 0 0 0 3 1 19 0 9 0 27544846 889987072 12355 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/30294/task/30299/stat : 30299 (java) S 30292 30294 29887 0 -1 64 13 376 0 0 0 0 3 1 16 0 9 0 27544844 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30300] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30300/stat : 30300 (java) S 30292 30294 29887 0 -1 64 2 376 0 0 0 0 3 1 18 0 9 0 27544846 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30301] ppid=30292 vsize=869128 CPUtime=0.38
/proc/30294/task/30301/stat : 30301 (java) S 30292 30294 29887 0 -1 64 987 376 0 0 33 1 3 1 16 0 9 0 27544846 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30302] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30302/stat : 30302 (java) S 30292 30294 29887 0 -1 64 0 376 0 0 0 0 3 1 19 0 9 0 27544846 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30303] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30303/stat : 30303 (java) S 30292 30294 29887 0 -1 64 36 376 0 0 0 0 3 1 15 0 9 0 27544846 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.49
Current children cumulated vsize (KiB) 869128
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/89 30348
/proc/meminfo: memFree=1771416/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=869128 CPUtime=1601.47
/proc/30294/stat : 30294 (java) S 30292 30294 29887 0 -1 0 20108 376 1 0 160127 16 3 1 18 0 9 0 27544841 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 217282 12364 2658 9 0 211718 0
[pid=30294/tid=30296] ppid=30292 vsize=869128 CPUtime=1601.03
/proc/30294/task/30296/stat : 30296 (java) R 30292 30294 29887 0 -1 64 13909 376 1 0 160087 12 3 1 25 0 9 0 27544842 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4127098650 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30297] ppid=30292 vsize=869128 CPUtime=0.09
/proc/30294/task/30297/stat : 30297 (java) S 30292 30294 29887 0 -1 64 4339 376 0 0 5 0 3 1 16 0 9 0 27544843 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30298] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30298/stat : 30298 (java) S 30292 30294 29887 0 -1 64 19 376 0 0 0 0 3 1 16 0 9 0 27544844 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30299] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30299/stat : 30299 (java) S 30292 30294 29887 0 -1 64 13 376 0 0 0 0 3 1 16 0 9 0 27544844 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30300] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30300/stat : 30300 (java) S 30292 30294 29887 0 -1 64 2 376 0 0 0 0 3 1 18 0 9 0 27544846 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30301] ppid=30292 vsize=869128 CPUtime=0.38
/proc/30294/task/30301/stat : 30301 (java) S 30292 30294 29887 0 -1 64 987 376 0 0 33 1 3 1 16 0 9 0 27544846 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30302] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30302/stat : 30302 (java) S 30292 30294 29887 0 -1 64 0 376 0 0 0 0 3 1 19 0 9 0 27544846 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30303] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30303/stat : 30303 (java) S 30292 30294 29887 0 -1 64 36 376 0 0 0 0 3 1 15 0 9 0 27544846 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.47
Current children cumulated vsize (KiB) 869128
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/89 30348
/proc/meminfo: memFree=1771352/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=869128 CPUtime=1661.45
/proc/30294/stat : 30294 (java) S 30292 30294 29887 0 -1 0 20108 376 1 0 166125 16 3 1 18 0 9 0 27544841 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 217282 12364 2658 9 0 211718 0
[pid=30294/tid=30296] ppid=30292 vsize=869128 CPUtime=1661.02
/proc/30294/task/30296/stat : 30296 (java) R 30292 30294 29887 0 -1 64 13909 376 1 0 166085 13 3 1 25 0 9 0 27544842 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4127169620 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30297] ppid=30292 vsize=869128 CPUtime=0.09
/proc/30294/task/30297/stat : 30297 (java) S 30292 30294 29887 0 -1 64 4339 376 0 0 5 0 3 1 16 0 9 0 27544843 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30298] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30298/stat : 30298 (java) S 30292 30294 29887 0 -1 64 19 376 0 0 0 0 3 1 16 0 9 0 27544844 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30299] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30299/stat : 30299 (java) S 30292 30294 29887 0 -1 64 13 376 0 0 0 0 3 1 16 0 9 0 27544844 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30300] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30300/stat : 30300 (java) S 30292 30294 29887 0 -1 64 2 376 0 0 0 0 3 1 18 0 9 0 27544846 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30301] ppid=30292 vsize=869128 CPUtime=0.38
/proc/30294/task/30301/stat : 30301 (java) S 30292 30294 29887 0 -1 64 987 376 0 0 33 1 3 1 16 0 9 0 27544846 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30302] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30302/stat : 30302 (java) S 30292 30294 29887 0 -1 64 0 376 0 0 0 0 3 1 19 0 9 0 27544846 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30303] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30303/stat : 30303 (java) S 30292 30294 29887 0 -1 64 36 376 0 0 0 0 3 1 15 0 9 0 27544846 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.45
Current children cumulated vsize (KiB) 869128
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/89 30348
/proc/meminfo: memFree=1771352/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=869128 CPUtime=1721.43
/proc/30294/stat : 30294 (java) S 30292 30294 29887 0 -1 0 20108 376 1 0 172123 16 3 1 18 0 9 0 27544841 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 217282 12364 2658 9 0 211718 0
[pid=30294/tid=30296] ppid=30292 vsize=869128 CPUtime=1721
/proc/30294/task/30296/stat : 30296 (java) R 30292 30294 29887 0 -1 64 13909 376 1 0 172083 13 3 1 25 0 9 0 27544842 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4127220412 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30297] ppid=30292 vsize=869128 CPUtime=0.09
/proc/30294/task/30297/stat : 30297 (java) S 30292 30294 29887 0 -1 64 4339 376 0 0 5 0 3 1 16 0 9 0 27544843 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30298] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30298/stat : 30298 (java) S 30292 30294 29887 0 -1 64 19 376 0 0 0 0 3 1 16 0 9 0 27544844 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30299] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30299/stat : 30299 (java) S 30292 30294 29887 0 -1 64 13 376 0 0 0 0 3 1 16 0 9 0 27544844 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30300] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30300/stat : 30300 (java) S 30292 30294 29887 0 -1 64 2 376 0 0 0 0 3 1 18 0 9 0 27544846 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30301] ppid=30292 vsize=869128 CPUtime=0.38
/proc/30294/task/30301/stat : 30301 (java) S 30292 30294 29887 0 -1 64 987 376 0 0 33 1 3 1 16 0 9 0 27544846 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30302] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30302/stat : 30302 (java) S 30292 30294 29887 0 -1 64 0 376 0 0 0 0 3 1 19 0 9 0 27544846 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30303] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30303/stat : 30303 (java) S 30292 30294 29887 0 -1 64 36 376 0 0 0 0 3 1 15 0 9 0 27544846 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.43
Current children cumulated vsize (KiB) 869128
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/89 30348
/proc/meminfo: memFree=1771224/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=869128 CPUtime=1781.4
/proc/30294/stat : 30294 (java) S 30292 30294 29887 0 -1 0 20108 376 1 0 178120 16 3 1 18 0 9 0 27544841 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 217282 12364 2658 9 0 211718 0
[pid=30294/tid=30296] ppid=30292 vsize=869128 CPUtime=1780.98
/proc/30294/task/30296/stat : 30296 (java) R 30292 30294 29887 0 -1 64 13909 376 1 0 178081 13 3 1 25 0 9 0 27544842 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4126095866 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30297] ppid=30292 vsize=869128 CPUtime=0.09
/proc/30294/task/30297/stat : 30297 (java) S 30292 30294 29887 0 -1 64 4339 376 0 0 5 0 3 1 16 0 9 0 27544843 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30298] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30298/stat : 30298 (java) S 30292 30294 29887 0 -1 64 19 376 0 0 0 0 3 1 16 0 9 0 27544844 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30299] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30299/stat : 30299 (java) S 30292 30294 29887 0 -1 64 13 376 0 0 0 0 3 1 16 0 9 0 27544844 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30300] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30300/stat : 30300 (java) S 30292 30294 29887 0 -1 64 2 376 0 0 0 0 3 1 18 0 9 0 27544846 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30301] ppid=30292 vsize=869128 CPUtime=0.38
/proc/30294/task/30301/stat : 30301 (java) S 30292 30294 29887 0 -1 64 987 376 0 0 33 1 3 1 16 0 9 0 27544846 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30302] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30302/stat : 30302 (java) S 30292 30294 29887 0 -1 64 0 376 0 0 0 0 3 1 19 0 9 0 27544846 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30303] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30303/stat : 30303 (java) S 30292 30294 29887 0 -1 64 36 376 0 0 0 0 3 1 15 0 9 0 27544846 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.4
Current children cumulated vsize (KiB) 869128
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.9 s]
/proc/loadavg: 2.00 2.00 1.99 3/89 30348
/proc/meminfo: memFree=1771224/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=869128 CPUtime=1800
/proc/30294/stat : 30294 (java) S 30292 30294 29887 0 -1 0 20108 376 1 0 179980 16 3 1 18 0 9 0 27544841 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 217282 12364 2658 9 0 211718 0
[pid=30294/tid=30296] ppid=30292 vsize=869128 CPUtime=1799.58
/proc/30294/task/30296/stat : 30296 (java) R 30292 30294 29887 0 -1 64 13909 376 1 0 179941 13 3 1 25 0 9 0 27544842 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4127175550 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30297] ppid=30292 vsize=869128 CPUtime=0.09
/proc/30294/task/30297/stat : 30297 (java) S 30292 30294 29887 0 -1 64 4339 376 0 0 5 0 3 1 16 0 9 0 27544843 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30298] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30298/stat : 30298 (java) S 30292 30294 29887 0 -1 64 19 376 0 0 0 0 3 1 16 0 9 0 27544844 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30299] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30299/stat : 30299 (java) S 30292 30294 29887 0 -1 64 13 376 0 0 0 0 3 1 16 0 9 0 27544844 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30300] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30300/stat : 30300 (java) S 30292 30294 29887 0 -1 64 2 376 0 0 0 0 3 1 18 0 9 0 27544846 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30301] ppid=30292 vsize=869128 CPUtime=0.38
/proc/30294/task/30301/stat : 30301 (java) S 30292 30294 29887 0 -1 64 987 376 0 0 33 1 3 1 16 0 9 0 27544846 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30302] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30302/stat : 30302 (java) S 30292 30294 29887 0 -1 64 0 376 0 0 0 0 3 1 19 0 9 0 27544846 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30303] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30303/stat : 30303 (java) S 30292 30294 29887 0 -1 64 36 376 0 0 0 0 3 1 15 0 9 0 27544846 889987072 12364 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) 869128
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.9 s]
/proc/loadavg: 2.00 2.00 1.99 3/89 30348
/proc/meminfo: memFree=1771224/2055920 swapFree=4192812/4192956
[pid=30294] ppid=30292 vsize=869128 CPUtime=1800
/proc/30294/stat : 30294 (java) S 30292 30294 29887 0 -1 0 20108 376 1 0 179980 16 3 1 18 0 9 0 27544841 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30294/statm: 217282 12364 2658 9 0 211718 0
[pid=30294/tid=30296] ppid=30292 vsize=869128 CPUtime=1799.58
/proc/30294/task/30296/stat : 30296 (java) R 30292 30294 29887 0 -1 64 13909 376 1 0 179941 13 3 1 25 0 9 0 27544842 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4127175550 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30297] ppid=30292 vsize=869128 CPUtime=0.09
/proc/30294/task/30297/stat : 30297 (java) S 30292 30294 29887 0 -1 64 4339 376 0 0 5 0 3 1 16 0 9 0 27544843 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30298] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30298/stat : 30298 (java) S 30292 30294 29887 0 -1 64 19 376 0 0 0 0 3 1 16 0 9 0 27544844 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30299] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30299/stat : 30299 (java) S 30292 30294 29887 0 -1 64 13 376 0 0 0 0 3 1 16 0 9 0 27544844 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30300] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30300/stat : 30300 (java) S 30292 30294 29887 0 -1 64 2 376 0 0 0 0 3 1 18 0 9 0 27544846 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30301] ppid=30292 vsize=869128 CPUtime=0.38
/proc/30294/task/30301/stat : 30301 (java) S 30292 30294 29887 0 -1 64 987 376 0 0 33 1 3 1 16 0 9 0 27544846 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30294/tid=30302] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30302/stat : 30302 (java) S 30292 30294 29887 0 -1 64 0 376 0 0 0 0 3 1 19 0 9 0 27544846 889987072 12364 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30294/tid=30303] ppid=30292 vsize=869128 CPUtime=0.04
/proc/30294/task/30303/stat : 30303 (java) S 30292 30294 29887 0 -1 64 36 376 0 0 0 0 3 1 15 0 9 0 27544846 889987072 12364 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) 869128
Child status: 143
Real time (s): 1800.93
CPU time (s): 1800.04
CPU user time (s): 1799.86
CPU system time (s): 0.181972
CPU usage (%): 99.9507
Max. virtual memory (cumulated for all children) (KiB): 869272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.181972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20516
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= 37915
involuntary context switches= 23133
runsolver used 2.6136 second user time and 5.59415 second system time
The end
Begin job on node4 at 2009-07-12 15:19:33
IDJOB=2094617
IDBENCH=54432
IDSOLVER=773
FILE ID=node4/2094617-1247404773
PBS_JOBID= 9510636
Free space on /tmp= 66268 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/ramsey3/normalized-ramsey-17-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2094617-1247404773/watcher-2094617-1247404773 -o /tmp/evaluation-result-2094617-1247404773/solver-2094617-1247404773 -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-2094617-1247404773.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 10e52fb937aba3eef4652d1b52d5e1e7
RANDOM SEED=48389860
node4.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.213
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.213
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: 1806344 kB
Buffers: 35056 kB
Cached: 105228 kB
SwapCached: 0 kB
Active: 139996 kB
Inactive: 55328 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1806344 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2340 kB
Writeback: 0 kB
Mapped: 75488 kB
Slab: 39404 kB
Committed_AS: 1003124 kB
PageTables: 1980 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= 66264 MiB
End job on node4 at 2009-07-12 15:49:36