0.05/0.09
0.05/0.09 Abscon 112 (May, 2008)
0.18/0.26
0.18/0.26 configuration
0.18/0.26 name=esac.xml
0.29/0.30
0.29/0.30 instance
0.29/0.30 name=HOME/instance-2097722-1247413878.xml
0.29/0.34
0.29/0.34 domains being loaded...
0.29/0.35
0.29/0.35 variables being loaded...
0.38/0.40 nbVariables=101 nbDomainTypes=2 minDomainSize=1 maxDomainSize=1094 nbTotalValues=109401
0.38/0.40 => wckTime=0.132 cpuTime=0.12 mem=10M830
0.38/0.40
0.38/0.40 predicates being loaded...
0.38/0.46
0.38/0.46 constraints being loaded...
1.07/1.16 nbConstraints=1010 nbGlobalConstraints=910 nbSingletonDomainVariables=1 nbConvertedConstraints=100
1.07/1.16 nbConvertConstraintsChecks=60170 nbExtensionStructures=55 nbSharedExtensionStructures=45
1.07/1.16 nbConflictsStructures=55 nbSharedConflictsStructures=45 nbSharedBinaryRepresentations=60168 minDegree=20
1.07/1.16 maxDegree=101 minArity=2 avgArity=2.08 maxArity=11 nbGenerators=0 nbFusions=0 symmetryWckTime=0.221
1.07/1.16 symmetryCpuTime=0.18 nbCliques=10
1.07/1.16 => wckTime=0.897 cpuTime=0.67 mem=25M637
1.16/1.24
1.16/1.24 solver IterativeSystematicSolver being built...
1.26/1.31
1.26/1.31 INFO : Forward propagation technique limited
1.26/1.37 => wckTime=1.107 cpuTime=0.78 mem=26M823
1.36/1.42
1.36/1.42 preprocessing
1.36/1.42 nbConstraintChecks=109400 nbPropagations=105 nbRevisions=103 nbUselessRevisions=3 nbRemovedValues=14191
1.36/1.42 detectedInconsistency=no
1.36/1.42 => wckTime=0.037 cpuTime=0.02 mem=27M805
9.19/9.34
9.19/9.34 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=18M131)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097722-1247413878/watcher-2097722-1247413878 -o /tmp/evaluation-result-2097722-1247413878/solver-2097722-1247413878 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097722-1247413878.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.02 2.01 4/80 30822
/proc/meminfo: memFree=1770144/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=152 CPUtime=0
/proc/30822/stat : 30822 (java) D 30820 30822 29549 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 28454591 155648 26 996147200 134512640 134550932 4294956128 18446744073709551615 2605860 0 2147483391 4096 0 18446744072099855350 0 0 17 1 0 0
/proc/30822/statm: 38 26 19 9 0 4 0
[startup+0.0777061 s]
/proc/loadavg: 2.00 2.02 2.01 4/80 30822
/proc/meminfo: memFree=1770144/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=864148 CPUtime=0.05
/proc/30822/stat : 30822 (java) S 30820 30822 29549 0 -1 0 2976 0 1 0 4 1 0 0 18 0 9 0 28454591 884887552 2477 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 216037 2477 1165 9 0 210930 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864148
[startup+0.101708 s]
/proc/loadavg: 2.00 2.02 2.01 4/80 30822
/proc/meminfo: memFree=1770144/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=865984 CPUtime=0.08
/proc/30822/stat : 30822 (java) S 30820 30822 29549 0 -1 0 3719 0 1 0 6 2 0 0 18 0 9 0 28454591 886767616 3187 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 216496 3187 1695 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.30175 s]
/proc/loadavg: 2.00 2.02 2.01 4/80 30822
/proc/meminfo: memFree=1770144/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=866384 CPUtime=0.29
/proc/30822/stat : 30822 (java) S 30820 30822 29549 0 -1 0 5792 0 1 0 25 4 0 0 18 0 9 0 28454591 887177216 5174 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 216596 5174 1966 9 0 211054 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866384
[startup+0.701821 s]
/proc/loadavg: 2.00 2.02 2.01 4/80 30822
/proc/meminfo: memFree=1770144/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=867772 CPUtime=0.68
/proc/30822/stat : 30822 (java) S 30820 30822 29549 0 -1 0 9068 0 1 0 63 5 0 0 18 0 9 0 28454591 888598528 8420 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 216943 8420 2039 9 0 211379 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867772
[startup+1.50196 s]
/proc/loadavg: 2.00 2.02 2.01 3/91 30833
/proc/meminfo: memFree=1736712/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=868420 CPUtime=1.46
/proc/30822/stat : 30822 (java) S 30820 30822 29549 0 -1 0 20456 326 1 0 133 12 1 0 18 0 9 0 28454591 889262080 12563 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 217105 12563 2658 9 0 211541 0
[pid=30822/tid=30824] ppid=30820 vsize=868420 CPUtime=1.09
/proc/30822/task/30824/stat : 30824 (java) R 30820 30822 29549 0 -1 64 14199 326 1 0 99 9 1 0 24 0 9 0 28454593 889262080 12563 996147200 134512640 134550932 4294955968 18446744073709551615 4127164511 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30825] ppid=30820 vsize=868420 CPUtime=0.07
/proc/30822/task/30825/stat : 30825 (java) S 30820 30822 29549 0 -1 64 4500 326 0 0 6 0 1 0 16 0 9 0 28454594 889262080 12563 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30826] ppid=30820 vsize=868420 CPUtime=0.01
/proc/30822/task/30826/stat : 30826 (java) S 30820 30822 29549 0 -1 64 19 326 0 0 0 0 1 0 17 0 9 0 28454595 889262080 12563 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30827] ppid=30820 vsize=868420 CPUtime=0.01
/proc/30822/task/30827/stat : 30827 (java) S 30820 30822 29549 0 -1 64 12 326 0 0 0 0 1 0 16 0 9 0 28454595 889262080 12563 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30828] ppid=30820 vsize=868420 CPUtime=0.01
/proc/30822/task/30828/stat : 30828 (java) S 30820 30822 29549 0 -1 64 2 326 0 0 0 0 1 0 18 0 9 0 28454597 889262080 12563 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30829] ppid=30820 vsize=868420 CPUtime=0.28
/proc/30822/task/30829/stat : 30829 (java) S 30820 30822 29549 0 -1 64 911 326 0 0 27 0 1 0 15 0 9 0 28454597 889262080 12563 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30830] ppid=30820 vsize=868420 CPUtime=0.01
/proc/30822/task/30830/stat : 30830 (java) S 30820 30822 29549 0 -1 64 0 326 0 0 0 0 1 0 19 0 9 0 28454597 889262080 12563 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30831] ppid=30820 vsize=868420 CPUtime=0.01
/proc/30822/task/30831/stat : 30831 (java) S 30820 30822 29549 0 -1 64 7 326 0 0 0 0 1 0 15 0 9 0 28454597 889262080 12563 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 868420
[startup+3.10226 s]
/proc/loadavg: 2.00 2.02 2.01 3/89 30835
/proc/meminfo: memFree=1727248/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=868552 CPUtime=3.04
/proc/30822/stat : 30822 (java) S 30820 30822 29549 0 -1 0 22967 326 1 0 290 13 1 0 18 0 9 0 28454591 889397248 15066 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 217138 15066 2658 9 0 211574 0
[pid=30822/tid=30824] ppid=30820 vsize=868552 CPUtime=2.64
/proc/30822/task/30824/stat : 30824 (java) R 30820 30822 29549 0 -1 64 16686 326 1 0 253 10 1 0 25 0 9 0 28454593 889397248 15066 996147200 134512640 134550932 4294955968 18446744073709551615 4127139320 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30825] ppid=30820 vsize=868552 CPUtime=0.07
/proc/30822/task/30825/stat : 30825 (java) S 30820 30822 29549 0 -1 64 4500 326 0 0 6 0 1 0 17 0 9 0 28454594 889397248 15066 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30826] ppid=30820 vsize=868552 CPUtime=0.01
/proc/30822/task/30826/stat : 30826 (java) S 30820 30822 29549 0 -1 64 19 326 0 0 0 0 1 0 17 0 9 0 28454595 889397248 15066 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30827] ppid=30820 vsize=868552 CPUtime=0.01
/proc/30822/task/30827/stat : 30827 (java) S 30820 30822 29549 0 -1 64 12 326 0 0 0 0 1 0 16 0 9 0 28454595 889397248 15066 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30828] ppid=30820 vsize=868552 CPUtime=0.01
/proc/30822/task/30828/stat : 30828 (java) S 30820 30822 29549 0 -1 64 2 326 0 0 0 0 1 0 18 0 9 0 28454597 889397248 15066 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30829] ppid=30820 vsize=868552 CPUtime=0.32
/proc/30822/task/30829/stat : 30829 (java) S 30820 30822 29549 0 -1 64 935 326 0 0 30 1 1 0 15 0 9 0 28454597 889397248 15066 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30830] ppid=30820 vsize=868552 CPUtime=0.01
/proc/30822/task/30830/stat : 30830 (java) S 30820 30822 29549 0 -1 64 0 326 0 0 0 0 1 0 19 0 9 0 28454597 889397248 15066 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30831] ppid=30820 vsize=868552 CPUtime=0.01
/proc/30822/task/30831/stat : 30831 (java) S 30820 30822 29549 0 -1 64 7 326 0 0 0 0 1 0 15 0 9 0 28454597 889397248 15066 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 868552
[startup+6.30185 s]
/proc/loadavg: 2.00 2.01 2.01 3/89 30835
/proc/meminfo: memFree=1708752/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=868552 CPUtime=6.21
/proc/30822/stat : 30822 (java) S 30820 30822 29549 0 -1 0 26313 326 1 0 606 14 1 0 18 0 9 0 28454591 889397248 18366 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 217138 18366 2658 9 0 211574 0
[pid=30822/tid=30824] ppid=30820 vsize=868552 CPUtime=5.8
/proc/30822/task/30824/stat : 30824 (java) R 30820 30822 29549 0 -1 64 19985 326 1 0 568 11 1 0 25 0 9 0 28454593 889397248 18366 996147200 134512640 134550932 4294955968 18446744073709551615 4127137436 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30825] ppid=30820 vsize=868552 CPUtime=0.07
/proc/30822/task/30825/stat : 30825 (java) S 30820 30822 29549 0 -1 64 4500 326 0 0 6 0 1 0 16 0 9 0 28454594 889397248 18366 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30826] ppid=30820 vsize=868552 CPUtime=0.01
/proc/30822/task/30826/stat : 30826 (java) S 30820 30822 29549 0 -1 64 19 326 0 0 0 0 1 0 17 0 9 0 28454595 889397248 18366 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30827] ppid=30820 vsize=868552 CPUtime=0.01
/proc/30822/task/30827/stat : 30827 (java) S 30820 30822 29549 0 -1 64 12 326 0 0 0 0 1 0 16 0 9 0 28454595 889397248 18366 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30828] ppid=30820 vsize=868552 CPUtime=0.01
/proc/30822/task/30828/stat : 30828 (java) S 30820 30822 29549 0 -1 64 2 326 0 0 0 0 1 0 18 0 9 0 28454597 889397248 18366 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30829] ppid=30820 vsize=868552 CPUtime=0.33
/proc/30822/task/30829/stat : 30829 (java) S 30820 30822 29549 0 -1 64 953 326 0 0 31 1 1 0 16 0 9 0 28454597 889397248 18366 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30830] ppid=30820 vsize=868552 CPUtime=0.01
/proc/30822/task/30830/stat : 30830 (java) S 30820 30822 29549 0 -1 64 0 326 0 0 0 0 1 0 19 0 9 0 28454597 889397248 18366 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30831] ppid=30820 vsize=868552 CPUtime=0.01
/proc/30822/task/30831/stat : 30831 (java) S 30820 30822 29549 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28454597 889397248 18366 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 868552
[startup+12.703 s]
/proc/loadavg: 2.00 2.01 2.01 3/89 30835
/proc/meminfo: memFree=1696400/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=868464 CPUtime=12.56
/proc/30822/stat : 30822 (java) S 30820 30822 29549 0 -1 0 28995 326 1 0 1240 15 1 0 18 0 9 0 28454591 889307136 20879 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 217116 20879 2639 9 0 211574 0
[pid=30822/tid=30824] ppid=30820 vsize=868464 CPUtime=12.09
/proc/30822/task/30824/stat : 30824 (java) R 30820 30822 29549 0 -1 64 20494 326 1 0 1197 11 1 0 25 0 9 0 28454593 889307136 20879 996147200 134512640 134550932 4294955968 18446744073709551615 4127185043 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30825] ppid=30820 vsize=868464 CPUtime=0.09
/proc/30822/task/30825/stat : 30825 (java) S 30820 30822 29549 0 -1 64 6649 326 0 0 7 1 1 0 16 0 9 0 28454594 889307136 20879 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30826] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30826/stat : 30826 (java) S 30820 30822 29549 0 -1 64 19 326 0 0 0 0 1 0 16 0 9 0 28454595 889307136 20879 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30827] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30827/stat : 30827 (java) S 30820 30822 29549 0 -1 64 12 326 0 0 0 0 1 0 16 0 9 0 28454595 889307136 20879 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30828] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30828/stat : 30828 (java) S 30820 30822 29549 0 -1 64 2 326 0 0 0 0 1 0 18 0 9 0 28454597 889307136 20879 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30829] ppid=30820 vsize=868464 CPUtime=0.36
/proc/30822/task/30829/stat : 30829 (java) S 30820 30822 29549 0 -1 64 977 326 0 0 34 1 1 0 16 0 9 0 28454597 889307136 20879 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30830] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30830/stat : 30830 (java) S 30820 30822 29549 0 -1 64 0 326 0 0 0 0 1 0 19 0 9 0 28454597 889307136 20879 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30831] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30831/stat : 30831 (java) S 30820 30822 29549 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28454597 889307136 20879 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 868464
[startup+25.5014 s]
/proc/loadavg: 2.00 2.01 2.01 3/89 30835
/proc/meminfo: memFree=1692496/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=868464 CPUtime=25.23
/proc/30822/stat : 30822 (java) S 30820 30822 29549 0 -1 0 29970 326 1 0 2507 15 1 0 18 0 9 0 28454591 889307136 21848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 217116 21848 2639 9 0 211574 0
[pid=30822/tid=30824] ppid=30820 vsize=868464 CPUtime=24.75
/proc/30822/task/30824/stat : 30824 (java) R 30820 30822 29549 0 -1 64 20498 326 1 0 2463 11 1 0 25 0 9 0 28454593 889307136 21848 996147200 134512640 134550932 4294955968 18446744073709551615 4127134800 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30825] ppid=30820 vsize=868464 CPUtime=0.1
/proc/30822/task/30825/stat : 30825 (java) S 30820 30822 29549 0 -1 64 7619 326 0 0 8 1 1 0 16 0 9 0 28454594 889307136 21848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30826] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30826/stat : 30826 (java) S 30820 30822 29549 0 -1 64 19 326 0 0 0 0 1 0 16 0 9 0 28454595 889307136 21848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30827] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30827/stat : 30827 (java) S 30820 30822 29549 0 -1 64 12 326 0 0 0 0 1 0 16 0 9 0 28454595 889307136 21848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30828] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30828/stat : 30828 (java) S 30820 30822 29549 0 -1 64 2 326 0 0 0 0 1 0 18 0 9 0 28454597 889307136 21848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30829] ppid=30820 vsize=868464 CPUtime=0.36
/proc/30822/task/30829/stat : 30829 (java) S 30820 30822 29549 0 -1 64 978 326 0 0 34 1 1 0 17 0 9 0 28454597 889307136 21848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30830] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30830/stat : 30830 (java) S 30820 30822 29549 0 -1 64 0 326 0 0 0 0 1 0 19 0 9 0 28454597 889307136 21848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30831] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30831/stat : 30831 (java) S 30820 30822 29549 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28454597 889307136 21848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 868464
[startup+51.1011 s]
/proc/loadavg: 2.00 2.01 2.00 3/89 30835
/proc/meminfo: memFree=1692304/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=868464 CPUtime=50.59
/proc/30822/stat : 30822 (java) S 30820 30822 29549 0 -1 0 30007 326 1 0 5043 15 1 0 18 0 9 0 28454591 889307136 21878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 217116 21878 2639 9 0 211574 0
[pid=30822/tid=30824] ppid=30820 vsize=868464 CPUtime=50.1
/proc/30822/task/30824/stat : 30824 (java) R 30820 30822 29549 0 -1 64 20505 326 1 0 4998 11 1 0 25 0 9 0 28454593 889307136 21878 996147200 134512640 134550932 4294955968 18446744073709551615 4127187079 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30825] ppid=30820 vsize=868464 CPUtime=0.11
/proc/30822/task/30825/stat : 30825 (java) S 30820 30822 29549 0 -1 64 7647 326 0 0 9 1 1 0 16 0 9 0 28454594 889307136 21878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30826] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30826/stat : 30826 (java) S 30820 30822 29549 0 -1 64 19 326 0 0 0 0 1 0 16 0 9 0 28454595 889307136 21878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30827] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30827/stat : 30827 (java) S 30820 30822 29549 0 -1 64 12 326 0 0 0 0 1 0 16 0 9 0 28454595 889307136 21878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30828] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30828/stat : 30828 (java) S 30820 30822 29549 0 -1 64 2 326 0 0 0 0 1 0 18 0 9 0 28454597 889307136 21878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30829] ppid=30820 vsize=868464 CPUtime=0.37
/proc/30822/task/30829/stat : 30829 (java) S 30820 30822 29549 0 -1 64 980 326 0 0 35 1 1 0 17 0 9 0 28454597 889307136 21878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30830] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30830/stat : 30830 (java) S 30820 30822 29549 0 -1 64 0 326 0 0 0 0 1 0 19 0 9 0 28454597 889307136 21878 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/30822/task/30827/stat : 30827 (java) S 30820 30822 29549 0 -1 64 12 326 0 0 0 0 1 0 16 0 9 0 28454595 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30828] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30828/stat : 30828 (java) S 30820 30822 29549 0 -1 64 2 326 0 0 0 0 1 0 18 0 9 0 28454597 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30829] ppid=30820 vsize=868464 CPUtime=0.37
/proc/30822/task/30829/stat : 30829 (java) S 30820 30822 29549 0 -1 64 985 326 0 0 35 1 1 0 16 0 9 0 28454597 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30830] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30830/stat : 30830 (java) S 30820 30822 29549 0 -1 64 0 326 0 0 0 0 1 0 19 0 9 0 28454597 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30831] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30831/stat : 30831 (java) S 30820 30822 29549 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28454597 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1468.28
Current children cumulated vsize (KiB) 868464
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30841
/proc/meminfo: memFree=1691024/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=868464 CPUtime=1527.71
/proc/30822/stat : 30822 (java) S 30820 30822 29549 0 -1 0 30251 326 1 0 152753 17 1 0 18 0 9 0 28454591 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 217116 21989 2639 9 0 211574 0
[pid=30822/tid=30824] ppid=30820 vsize=868464 CPUtime=1527.07
/proc/30822/task/30824/stat : 30824 (java) R 30820 30822 29549 0 -1 64 20637 326 1 0 152695 11 1 0 25 0 9 0 28454593 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4127137422 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30825] ppid=30820 vsize=868464 CPUtime=0.25
/proc/30822/task/30825/stat : 30825 (java) S 30820 30822 29549 0 -1 64 7754 326 0 0 21 3 1 0 16 0 9 0 28454594 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30826] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30826/stat : 30826 (java) S 30820 30822 29549 0 -1 64 19 326 0 0 0 0 1 0 16 0 9 0 28454595 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30827] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30827/stat : 30827 (java) S 30820 30822 29549 0 -1 64 12 326 0 0 0 0 1 0 16 0 9 0 28454595 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30828] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30828/stat : 30828 (java) S 30820 30822 29549 0 -1 64 2 326 0 0 0 0 1 0 18 0 9 0 28454597 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30829] ppid=30820 vsize=868464 CPUtime=0.37
/proc/30822/task/30829/stat : 30829 (java) S 30820 30822 29549 0 -1 64 985 326 0 0 35 1 1 0 16 0 9 0 28454597 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30830] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30830/stat : 30830 (java) S 30820 30822 29549 0 -1 64 0 326 0 0 0 0 1 0 19 0 9 0 28454597 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30831] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30831/stat : 30831 (java) S 30820 30822 29549 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28454597 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1527.71
Current children cumulated vsize (KiB) 868464
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30841
/proc/meminfo: memFree=1690960/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=868464 CPUtime=1587.15
/proc/30822/stat : 30822 (java) S 30820 30822 29549 0 -1 0 30255 326 1 0 158697 17 1 0 18 0 9 0 28454591 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 217116 21989 2639 9 0 211574 0
[pid=30822/tid=30824] ppid=30820 vsize=868464 CPUtime=1586.5
/proc/30822/task/30824/stat : 30824 (java) R 30820 30822 29549 0 -1 64 20641 326 1 0 158638 11 1 0 25 0 9 0 28454593 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4127134651 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30825] ppid=30820 vsize=868464 CPUtime=0.26
/proc/30822/task/30825/stat : 30825 (java) S 30820 30822 29549 0 -1 64 7754 326 0 0 22 3 1 0 16 0 9 0 28454594 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30826] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30826/stat : 30826 (java) S 30820 30822 29549 0 -1 64 19 326 0 0 0 0 1 0 16 0 9 0 28454595 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30827] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30827/stat : 30827 (java) S 30820 30822 29549 0 -1 64 12 326 0 0 0 0 1 0 16 0 9 0 28454595 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30828] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30828/stat : 30828 (java) S 30820 30822 29549 0 -1 64 2 326 0 0 0 0 1 0 18 0 9 0 28454597 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30829] ppid=30820 vsize=868464 CPUtime=0.37
/proc/30822/task/30829/stat : 30829 (java) S 30820 30822 29549 0 -1 64 985 326 0 0 35 1 1 0 16 0 9 0 28454597 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30830] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30830/stat : 30830 (java) S 30820 30822 29549 0 -1 64 0 326 0 0 0 0 1 0 19 0 9 0 28454597 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30831] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30831/stat : 30831 (java) S 30820 30822 29549 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28454597 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1587.15
Current children cumulated vsize (KiB) 868464
[startup+1662.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/89 30841
/proc/meminfo: memFree=1690960/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=868464 CPUtime=1646.58
/proc/30822/stat : 30822 (java) S 30820 30822 29549 0 -1 0 30260 326 1 0 164640 17 1 0 18 0 9 0 28454591 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 217116 21989 2639 9 0 211574 0
[pid=30822/tid=30824] ppid=30820 vsize=868464 CPUtime=1645.93
/proc/30822/task/30824/stat : 30824 (java) R 30820 30822 29549 0 -1 64 20646 326 1 0 164581 11 1 0 25 0 9 0 28454593 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4127136595 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30825] ppid=30820 vsize=868464 CPUtime=0.26
/proc/30822/task/30825/stat : 30825 (java) S 30820 30822 29549 0 -1 64 7754 326 0 0 22 3 1 0 16 0 9 0 28454594 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30826] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30826/stat : 30826 (java) S 30820 30822 29549 0 -1 64 19 326 0 0 0 0 1 0 16 0 9 0 28454595 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30827] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30827/stat : 30827 (java) S 30820 30822 29549 0 -1 64 12 326 0 0 0 0 1 0 16 0 9 0 28454595 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30828] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30828/stat : 30828 (java) S 30820 30822 29549 0 -1 64 2 326 0 0 0 0 1 0 18 0 9 0 28454597 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30829] ppid=30820 vsize=868464 CPUtime=0.37
/proc/30822/task/30829/stat : 30829 (java) S 30820 30822 29549 0 -1 64 985 326 0 0 35 1 1 0 16 0 9 0 28454597 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30830] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30830/stat : 30830 (java) S 30820 30822 29549 0 -1 64 0 326 0 0 0 0 1 0 19 0 9 0 28454597 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30831] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30831/stat : 30831 (java) S 30820 30822 29549 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28454597 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1646.58
Current children cumulated vsize (KiB) 868464
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/89 30841
/proc/meminfo: memFree=1690832/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=868464 CPUtime=1706.01
/proc/30822/stat : 30822 (java) S 30820 30822 29549 0 -1 0 30262 326 1 0 170583 17 1 0 18 0 9 0 28454591 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 217116 21989 2639 9 0 211574 0
[pid=30822/tid=30824] ppid=30820 vsize=868464 CPUtime=1705.36
/proc/30822/task/30824/stat : 30824 (java) R 30820 30822 29549 0 -1 64 20648 326 1 0 170524 11 1 0 25 0 9 0 28454593 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4127143864 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30825] ppid=30820 vsize=868464 CPUtime=0.26
/proc/30822/task/30825/stat : 30825 (java) S 30820 30822 29549 0 -1 64 7754 326 0 0 22 3 1 0 16 0 9 0 28454594 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30826] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30826/stat : 30826 (java) S 30820 30822 29549 0 -1 64 19 326 0 0 0 0 1 0 16 0 9 0 28454595 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30827] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30827/stat : 30827 (java) S 30820 30822 29549 0 -1 64 12 326 0 0 0 0 1 0 16 0 9 0 28454595 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30828] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30828/stat : 30828 (java) S 30820 30822 29549 0 -1 64 2 326 0 0 0 0 1 0 18 0 9 0 28454597 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30829] ppid=30820 vsize=868464 CPUtime=0.37
/proc/30822/task/30829/stat : 30829 (java) S 30820 30822 29549 0 -1 64 985 326 0 0 35 1 1 0 16 0 9 0 28454597 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30830] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30830/stat : 30830 (java) S 30820 30822 29549 0 -1 64 0 326 0 0 0 0 1 0 19 0 9 0 28454597 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30831] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30831/stat : 30831 (java) S 30820 30822 29549 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28454597 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1706.01
Current children cumulated vsize (KiB) 868464
[startup+1782.3 s]
/proc/loadavg: 1.90 1.98 1.99 3/89 30915
/proc/meminfo: memFree=1725336/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=868464 CPUtime=1765.5
/proc/30822/stat : 30822 (java) S 30820 30822 29549 0 -1 0 30262 326 1 0 176530 19 1 0 18 0 9 0 28454591 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 217116 21989 2639 9 0 211574 0
[pid=30822/tid=30824] ppid=30820 vsize=868464 CPUtime=1764.85
/proc/30822/task/30824/stat : 30824 (java) R 30820 30822 29549 0 -1 64 20648 326 1 0 176471 13 1 0 25 0 9 0 28454593 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4127141236 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30825] ppid=30820 vsize=868464 CPUtime=0.26
/proc/30822/task/30825/stat : 30825 (java) S 30820 30822 29549 0 -1 64 7754 326 0 0 22 3 1 0 16 0 9 0 28454594 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30826] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30826/stat : 30826 (java) S 30820 30822 29549 0 -1 64 19 326 0 0 0 0 1 0 16 0 9 0 28454595 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30827] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30827/stat : 30827 (java) S 30820 30822 29549 0 -1 64 12 326 0 0 0 0 1 0 16 0 9 0 28454595 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30828] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30828/stat : 30828 (java) S 30820 30822 29549 0 -1 64 2 326 0 0 0 0 1 0 18 0 9 0 28454597 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30829] ppid=30820 vsize=868464 CPUtime=0.37
/proc/30822/task/30829/stat : 30829 (java) S 30820 30822 29549 0 -1 64 985 326 0 0 35 1 1 0 16 0 9 0 28454597 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30830] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30830/stat : 30830 (java) S 30820 30822 29549 0 -1 64 0 326 0 0 0 0 1 0 19 0 9 0 28454597 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30831] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30831/stat : 30831 (java) S 30820 30822 29549 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28454597 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1765.5
Current children cumulated vsize (KiB) 868464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1817.21 s]
/proc/loadavg: 1.94 1.98 1.99 3/89 30915
/proc/meminfo: memFree=1725400/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=868464 CPUtime=1800.07
/proc/30822/stat : 30822 (java) S 30820 30822 29549 0 -1 0 30265 326 1 0 179987 19 1 0 18 0 9 0 28454591 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 217116 21989 2639 9 0 211574 0
[pid=30822/tid=30824] ppid=30820 vsize=868464 CPUtime=1799.42
/proc/30822/task/30824/stat : 30824 (java) R 30820 30822 29549 0 -1 64 20651 326 1 0 179928 13 1 0 25 0 9 0 28454593 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4127139320 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30825] ppid=30820 vsize=868464 CPUtime=0.27
/proc/30822/task/30825/stat : 30825 (java) S 30820 30822 29549 0 -1 64 7754 326 0 0 23 3 1 0 16 0 9 0 28454594 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30826] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30826/stat : 30826 (java) S 30820 30822 29549 0 -1 64 19 326 0 0 0 0 1 0 16 0 9 0 28454595 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30827] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30827/stat : 30827 (java) S 30820 30822 29549 0 -1 64 12 326 0 0 0 0 1 0 16 0 9 0 28454595 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30828] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30828/stat : 30828 (java) S 30820 30822 29549 0 -1 64 2 326 0 0 0 0 1 0 18 0 9 0 28454597 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30829] ppid=30820 vsize=868464 CPUtime=0.37
/proc/30822/task/30829/stat : 30829 (java) S 30820 30822 29549 0 -1 64 985 326 0 0 35 1 1 0 16 0 9 0 28454597 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30830] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30830/stat : 30830 (java) S 30820 30822 29549 0 -1 64 0 326 0 0 0 0 1 0 19 0 9 0 28454597 889307136 21989 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30831] ppid=30820 vsize=868464 CPUtime=0.01
/proc/30822/task/30831/stat : 30831 (java) S 30820 30822 29549 0 -1 64 36 326 0 0 0 0 1 0 15 0 9 0 28454597 889307136 21989 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) 868464
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): 1817.26
CPU time (s): 1800.14
CPU user time (s): 1799.92
CPU system time (s): 0.212967
CPU usage (%): 99.0578
Max. virtual memory (cumulated for all children) (KiB): 869552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.212967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30619
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= 39801
involuntary context switches= 81092
runsolver used 2.21266 second user time and 6.05808 second system time
The end
Begin job on node24 at 2009-07-12 17:51:18
IDJOB=2097722
IDBENCH=57651
IDSOLVER=774
FILE ID=node24/2097722-1247413878
PBS_JOBID= 9510595
Free space on /tmp= 66464 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/os-gp/normalized-gp10-01-1093.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097722-1247413878/watcher-2097722-1247413878 -o /tmp/evaluation-result-2097722-1247413878/solver-2097722-1247413878 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097722-1247413878.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 2960c39330e67b59bd11d1942a6cbea3
RANDOM SEED=2021170537
node24.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.287
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.287
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: 1770624 kB
Buffers: 41812 kB
Cached: 100920 kB
SwapCached: 0 kB
Active: 177888 kB
Inactive: 53100 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1770624 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2168 kB
Writeback: 0 kB
Mapped: 108716 kB
Slab: 39256 kB
Committed_AS: 1004352 kB
PageTables: 1992 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= 66460 MiB
End job on node24 at 2009-07-12 18:21:37