0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=esac.xml
0.18/0.29
0.18/0.29 instance
0.18/0.29 name=HOME/instance-2098738-1247416848.xml
0.29/0.32
0.29/0.32 domains being loaded...
0.29/0.33
0.29/0.33 variables being loaded...
0.29/0.36 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28 nbTotalValues=784
0.29/0.36 => wckTime=0.103 cpuTime=0.08 mem=7M892
0.29/0.36
0.29/0.36 relations being loaded...
1.19/1.24
1.19/1.24 constraints being loaded...
1.97/2.00 nbConstraints=92 nbRelationTypes=93 nbGlobalConstraints=92 nbMergedConstraints=1 nbExtensionStructures=92
1.97/2.00 nbSharedExtensionStructures=0 nbConflictsStructures=92 nbSharedConflictsStructures=0
1.97/2.00 nbSharedBinaryRepresentations=0 minDegree=3 maxDegree=16 minArity=3 maxArity=3 nbGenerators=0 nbFusions=0
1.97/2.00 symmetryWckTime=0.053 symmetryCpuTime=0.02
1.97/2.00 => wckTime=1.748 cpuTime=1.39 mem=62M327
2.17/2.23
2.17/2.24 solver IterativeSystematicSolver being built...
2.27/2.31
2.27/2.31 INFO : Forward propagation technique limited
2.27/2.38 => wckTime=2.127 cpuTime=1.51 mem=64M78
2.67/2.76
2.67/2.76 preprocessing
2.67/2.76 nbConstraintChecks=0 nbValidityChecks=5348048 nbPropagations=217 nbRevisions=0 nbUselessRevisions=0
2.67/2.76 nbSingletonTests=34 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
2.67/2.76 detectedInconsistency=no
2.67/2.76 => wckTime=0.38 cpuTime=0.35 mem=65M89
4.56/4.64
4.56/4.64 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=66M116)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2098738-1247416848/watcher-2098738-1247416848 -o /tmp/evaluation-result-2098738-1247416848/solver-2098738-1247416848 -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-2098738-1247416848.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.92 2.01 2.00 4/80 2634
/proc/meminfo: memFree=1748696/2055920 swapFree=4192812/4192956
[pid=2634] ppid=2632 vsize=1616 CPUtime=0
/proc/2634/stat : 2634 (java) R 2632 2634 2597 0 -1 0 179 0 0 0 0 0 0 0 18 0 1 0 28751819 1654784 147 996147200 134512640 134550932 4294956128 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/2634/statm: 404 148 122 9 0 46 0
[startup+0.0139829 s]
/proc/loadavg: 1.92 2.01 2.00 4/80 2634
/proc/meminfo: memFree=1748696/2055920 swapFree=4192812/4192956
[pid=2634] ppid=2632 vsize=10764 CPUtime=0
/proc/2634/stat : 2634 (java) S 2632 2634 2597 0 -1 0 740 0 0 0 0 0 0 0 18 0 2 0 28751819 11022336 520 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/2634/statm: 2691 520 240 9 0 1196 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10764
[startup+0.102349 s]
/proc/loadavg: 1.92 2.01 2.00 4/80 2634
/proc/meminfo: memFree=1748696/2055920 swapFree=4192812/4192956
[pid=2634] ppid=2632 vsize=865984 CPUtime=0.09
/proc/2634/stat : 2634 (java) S 2632 2634 2597 0 -1 0 3731 0 1 0 6 3 0 0 18 0 9 0 28751819 886767616 3199 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2634/statm: 216496 3199 1695 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.30138 s]
/proc/loadavg: 1.92 2.01 2.00 4/80 2634
/proc/meminfo: memFree=1748696/2055920 swapFree=4192812/4192956
[pid=2634] ppid=2632 vsize=866380 CPUtime=0.29
/proc/2634/stat : 2634 (java) S 2632 2634 2597 0 -1 0 5925 0 1 0 25 4 0 0 18 0 9 0 28751819 887173120 5291 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2634/statm: 216595 5291 1983 9 0 211053 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380
[startup+0.70143 s]
/proc/loadavg: 1.92 2.01 2.00 4/80 2634
/proc/meminfo: memFree=1748696/2055920 swapFree=4192812/4192956
[pid=2634] ppid=2632 vsize=866492 CPUtime=0.68
/proc/2634/stat : 2634 (java) S 2632 2634 2597 0 -1 0 14650 0 1 0 60 8 0 0 18 0 9 0 28751819 887287808 14012 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2634/statm: 216623 14013 1999 9 0 211081 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866492
[startup+1.50154 s]
/proc/loadavg: 1.93 2.01 2.00 3/89 2643
/proc/meminfo: memFree=1681424/2055920 swapFree=4192812/4192956
[pid=2634] ppid=2632 vsize=866624 CPUtime=1.49
/proc/2634/stat : 2634 (java) S 2632 2634 2597 0 -1 0 23866 0 1 0 136 13 0 0 18 0 9 0 28751819 887422976 23210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2634/statm: 216656 23210 2029 9 0 211114 0
[pid=2634/tid=2636] ppid=2632 vsize=866624 CPUtime=1.22
/proc/2634/task/2636/stat : 2636 (java) R 2632 2634 2597 0 -1 64 15783 0 1 0 113 9 0 0 25 0 9 0 28751820 887422976 23210 996147200 134512640 134550932 4294955968 18446744073709551615 103822967 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2634/tid=2637] ppid=2632 vsize=866624 CPUtime=0.12
/proc/2634/task/2637/stat : 2637 (java) S 2632 2634 2597 0 -1 64 7017 0 0 0 10 2 0 0 16 0 9 0 28751822 887422976 23210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2634/tid=2638] ppid=2632 vsize=866624 CPUtime=0
/proc/2634/task/2638/stat : 2638 (java) S 2632 2634 2597 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28751822 887422976 23210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2634/tid=2639] ppid=2632 vsize=866624 CPUtime=0
/proc/2634/task/2639/stat : 2639 (java) S 2632 2634 2597 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28751822 887422976 23210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2634/tid=2640] ppid=2632 vsize=866624 CPUtime=0
/proc/2634/task/2640/stat : 2640 (java) S 2632 2634 2597 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 28751824 887422976 23210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2641] ppid=2632 vsize=866624 CPUtime=0.11
/proc/2634/task/2641/stat : 2641 (java) S 2632 2634 2597 0 -1 64 364 0 0 0 11 0 0 0 16 0 9 0 28751824 887422976 23210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2634/tid=2642] ppid=2632 vsize=866624 CPUtime=0
/proc/2634/task/2642/stat : 2642 (java) S 2632 2634 2597 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 28751824 887422976 23210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2643] ppid=2632 vsize=866624 CPUtime=0
/proc/2634/task/2643/stat : 2643 (java) S 2632 2634 2597 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28751824 887422976 23210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 866624
[startup+3.10175 s]
/proc/loadavg: 1.93 2.01 2.00 4/91 2647
/proc/meminfo: memFree=1646656/2055920 swapFree=4192812/4192956
[pid=2634] ppid=2632 vsize=867164 CPUtime=3.07
/proc/2634/stat : 2634 (java) S 2632 2634 2597 0 -1 0 46773 273 1 0 286 20 0 1 18 0 9 0 28751819 887975936 31399 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2634/statm: 216791 31399 2659 9 0 211227 0
[pid=2634/tid=2636] ppid=2632 vsize=867164 CPUtime=2.39
/proc/2634/task/2636/stat : 2636 (java) R 2632 2634 2597 0 -1 64 19907 273 1 0 228 10 0 1 22 0 9 0 28751820 887975936 31399 996147200 134512640 134550932 4294955968 18446744073709551615 4126855058 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2637] ppid=2632 vsize=867164 CPUtime=0.46
/proc/2634/task/2637/stat : 2637 (java) S 2632 2634 2597 0 -1 64 25467 273 0 0 38 7 0 1 18 0 9 0 28751822 887975936 31399 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2634/tid=2638] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2638/stat : 2638 (java) S 2632 2634 2597 0 -1 64 22 273 0 0 0 0 0 1 16 0 9 0 28751822 887975936 31399 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2639] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2639/stat : 2639 (java) S 2632 2634 2597 0 -1 64 8 273 0 0 0 0 0 1 16 0 9 0 28751822 887975936 31399 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2640] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2640/stat : 2640 (java) S 2632 2634 2597 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 28751824 887975936 31399 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2641] ppid=2632 vsize=867164 CPUtime=0.19
/proc/2634/task/2641/stat : 2641 (java) S 2632 2634 2597 0 -1 64 552 273 0 0 18 0 0 1 15 0 9 0 28751824 887975936 31399 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2642] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2642/stat : 2642 (java) S 2632 2634 2597 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 28751824 887975936 31399 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2643] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2643/stat : 2643 (java) S 2632 2634 2597 0 -1 64 11 273 0 0 0 0 0 1 15 0 9 0 28751824 887975936 31399 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) 867164
[startup+6.30217 s]
/proc/loadavg: 1.93 2.01 2.00 3/89 2647
/proc/meminfo: memFree=1632712/2055920 swapFree=4192812/4192956
[pid=2634] ppid=2632 vsize=867164 CPUtime=6.24
/proc/2634/stat : 2634 (java) S 2632 2634 2597 0 -1 0 46808 273 1 0 602 21 0 1 18 0 9 0 28751819 887975936 31416 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2634/statm: 216791 31416 2659 9 0 211227 0
[pid=2634/tid=2636] ppid=2632 vsize=867164 CPUtime=5.52
/proc/2634/task/2636/stat : 2636 (java) R 2632 2634 2597 0 -1 64 19923 273 1 0 541 10 0 1 25 0 9 0 28751820 887975936 31416 996147200 134512640 134550932 4294955968 18446744073709551615 4126855009 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2637] ppid=2632 vsize=867164 CPUtime=0.46
/proc/2634/task/2637/stat : 2637 (java) S 2632 2634 2597 0 -1 64 25467 273 0 0 38 7 0 1 17 0 9 0 28751822 887975936 31416 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2638] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2638/stat : 2638 (java) S 2632 2634 2597 0 -1 64 22 273 0 0 0 0 0 1 16 0 9 0 28751822 887975936 31416 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2639] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2639/stat : 2639 (java) S 2632 2634 2597 0 -1 64 8 273 0 0 0 0 0 1 16 0 9 0 28751822 887975936 31416 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2640] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2640/stat : 2640 (java) S 2632 2634 2597 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 28751824 887975936 31416 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2641] ppid=2632 vsize=867164 CPUtime=0.22
/proc/2634/task/2641/stat : 2641 (java) S 2632 2634 2597 0 -1 64 571 273 0 0 21 0 0 1 15 0 9 0 28751824 887975936 31416 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2642] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2642/stat : 2642 (java) S 2632 2634 2597 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 28751824 887975936 31416 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2643] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2643/stat : 2643 (java) S 2632 2634 2597 0 -1 64 11 273 0 0 0 0 0 1 15 0 9 0 28751824 887975936 31416 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) 867164
[startup+12.703 s]
/proc/loadavg: 1.94 2.00 2.00 3/89 2647
/proc/meminfo: memFree=1632656/2055920 swapFree=4192812/4192956
[pid=2634] ppid=2632 vsize=867164 CPUtime=12.58
/proc/2634/stat : 2634 (java) S 2632 2634 2597 0 -1 0 46832 273 1 0 1236 21 0 1 18 0 9 0 28751819 887975936 31427 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2634/statm: 216791 31427 2659 9 0 211227 0
[pid=2634/tid=2636] ppid=2632 vsize=867164 CPUtime=11.84
/proc/2634/task/2636/stat : 2636 (java) R 2632 2634 2597 0 -1 64 19934 273 1 0 1173 10 0 1 25 0 9 0 28751820 887975936 31427 996147200 134512640 134550932 4294955968 18446744073709551615 4126855058 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2637] ppid=2632 vsize=867164 CPUtime=0.46
/proc/2634/task/2637/stat : 2637 (java) S 2632 2634 2597 0 -1 64 25467 273 0 0 38 7 0 1 16 0 9 0 28751822 887975936 31427 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2638] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2638/stat : 2638 (java) S 2632 2634 2597 0 -1 64 22 273 0 0 0 0 0 1 16 0 9 0 28751822 887975936 31427 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2639] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2639/stat : 2639 (java) S 2632 2634 2597 0 -1 64 8 273 0 0 0 0 0 1 16 0 9 0 28751822 887975936 31427 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2640] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2640/stat : 2640 (java) S 2632 2634 2597 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 28751824 887975936 31427 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2641] ppid=2632 vsize=867164 CPUtime=0.25
/proc/2634/task/2641/stat : 2641 (java) S 2632 2634 2597 0 -1 64 584 273 0 0 24 0 0 1 15 0 9 0 28751824 887975936 31427 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2642] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2642/stat : 2642 (java) S 2632 2634 2597 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 28751824 887975936 31427 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2643] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2643/stat : 2643 (java) S 2632 2634 2597 0 -1 64 11 273 0 0 0 0 0 1 15 0 9 0 28751824 887975936 31427 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 867164
[startup+25.5017 s]
/proc/loadavg: 1.95 2.00 2.00 3/89 2647
/proc/meminfo: memFree=1632784/2055920 swapFree=4192812/4192956
[pid=2634] ppid=2632 vsize=867164 CPUtime=25.26
/proc/2634/stat : 2634 (java) S 2632 2634 2597 0 -1 0 46856 273 1 0 2504 21 0 1 18 0 9 0 28751819 887975936 31430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2634/statm: 216791 31430 2659 9 0 211227 0
[pid=2634/tid=2636] ppid=2632 vsize=867164 CPUtime=24.51
/proc/2634/task/2636/stat : 2636 (java) R 2632 2634 2597 0 -1 64 19953 273 1 0 2440 10 0 1 25 0 9 0 28751820 887975936 31430 996147200 134512640 134550932 4294955968 18446744073709551615 4126854901 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2637] ppid=2632 vsize=867164 CPUtime=0.46
/proc/2634/task/2637/stat : 2637 (java) S 2632 2634 2597 0 -1 64 25467 273 0 0 38 7 0 1 16 0 9 0 28751822 887975936 31430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2638] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2638/stat : 2638 (java) S 2632 2634 2597 0 -1 64 22 273 0 0 0 0 0 1 16 0 9 0 28751822 887975936 31430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2639] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2639/stat : 2639 (java) S 2632 2634 2597 0 -1 64 8 273 0 0 0 0 0 1 16 0 9 0 28751822 887975936 31430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2640] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2640/stat : 2640 (java) S 2632 2634 2597 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 28751824 887975936 31430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2641] ppid=2632 vsize=867164 CPUtime=0.25
/proc/2634/task/2641/stat : 2641 (java) S 2632 2634 2597 0 -1 64 589 273 0 0 24 0 0 1 16 0 9 0 28751824 887975936 31430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2642] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2642/stat : 2642 (java) S 2632 2634 2597 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 28751824 887975936 31430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2643] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2643/stat : 2643 (java) S 2632 2634 2597 0 -1 64 11 273 0 0 0 0 0 1 15 0 9 0 28751824 887975936 31430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 867164
[startup+51.1011 s]
/proc/loadavg: 1.96 2.00 2.00 3/89 2647
/proc/meminfo: memFree=1632784/2055920 swapFree=4192812/4192956
[pid=2634] ppid=2632 vsize=867164 CPUtime=50.61
/proc/2634/stat : 2634 (java) S 2632 2634 2597 0 -1 0 46890 273 1 0 5039 21 0 1 18 0 9 0 28751819 887975936 31430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2634/statm: 216791 31430 2659 9 0 211227 0
[pid=2634/tid=2636] ppid=2632 vsize=867164 CPUtime=49.87
/proc/2634/task/2636/stat : 2636 (java) R 2632 2634 2597 0 -1 64 19987 273 1 0 4975 11 0 1 25 0 9 0 28751820 887975936 31430 996147200 134512640 134550932 4294955968 18446744073709551615 4126854885 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2637] ppid=2632 vsize=867164 CPUtime=0.46
/proc/2634/task/2637/stat : 2637 (java) S 2632 2634 2597 0 -1 64 25467 273 0 0 38 7 0 1 16 0 9 0 28751822 887975936 31430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2638] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2638/stat : 2638 (java) S 2632 2634 2597 0 -1 64 22 273 0 0 0 0 0 1 16 0 9 0 28751822 887975936 31430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2639] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2639/stat : 2639 (java) S 2632 2634 2597 0 -1 64 8 273 0 0 0 0 0 1 16 0 9 0 28751822 887975936 31430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2640] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2640/stat : 2640 (java) S 2632 2634 2597 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 28751824 887975936 31430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2641] ppid=2632 vsize=867164 CPUtime=0.25
/proc/2634/task/2641/stat : 2641 (java) S 2632 2634 2597 0 -1 64 589 273 0 0 24 0 0 1 16 0 9 0 28751824 887975936 31430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2642] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2642/stat : 2642 (java) S 2632 2634 2597 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 28751824 887975936 31430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/2634/task/2639/stat : 2639 (java) S 2632 2634 2597 0 -1 64 8 273 0 0 0 0 0 1 16 0 9 0 28751822 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2640] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2640/stat : 2640 (java) S 2632 2634 2597 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 28751824 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2641] ppid=2632 vsize=867164 CPUtime=0.26
/proc/2634/task/2641/stat : 2641 (java) S 2632 2634 2597 0 -1 64 593 273 0 0 25 0 0 1 16 0 9 0 28751824 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2642] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2642/stat : 2642 (java) S 2632 2634 2597 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 28751824 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2643] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2643/stat : 2643 (java) S 2632 2634 2597 0 -1 64 11 273 0 0 0 0 0 1 15 0 9 0 28751824 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1527.8
Current children cumulated vsize (KiB) 867164
[startup+1602.3 s]
/proc/loadavg: 2.02 2.07 2.03 3/89 2696
/proc/meminfo: memFree=1670672/2055920 swapFree=4192812/4192956
[pid=2634] ppid=2632 vsize=867164 CPUtime=1587.24
/proc/2634/stat : 2634 (java) S 2632 2634 2597 0 -1 0 48933 273 1 0 158698 25 0 1 18 0 9 0 28751819 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2634/statm: 216791 31433 2659 9 0 211227 0
[pid=2634/tid=2636] ppid=2632 vsize=867164 CPUtime=1586.49
/proc/2634/task/2636/stat : 2636 (java) R 2632 2634 2597 0 -1 64 22026 273 1 0 158633 15 0 1 25 0 9 0 28751820 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4126855058 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2637] ppid=2632 vsize=867164 CPUtime=0.46
/proc/2634/task/2637/stat : 2637 (java) S 2632 2634 2597 0 -1 64 25467 273 0 0 38 7 0 1 16 0 9 0 28751822 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2634/tid=2638] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2638/stat : 2638 (java) S 2632 2634 2597 0 -1 64 22 273 0 0 0 0 0 1 16 0 9 0 28751822 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2639] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2639/stat : 2639 (java) S 2632 2634 2597 0 -1 64 8 273 0 0 0 0 0 1 16 0 9 0 28751822 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2640] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2640/stat : 2640 (java) S 2632 2634 2597 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 28751824 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2641] ppid=2632 vsize=867164 CPUtime=0.26
/proc/2634/task/2641/stat : 2641 (java) S 2632 2634 2597 0 -1 64 593 273 0 0 25 0 0 1 16 0 9 0 28751824 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2642] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2642/stat : 2642 (java) S 2632 2634 2597 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 28751824 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2643] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2643/stat : 2643 (java) S 2632 2634 2597 0 -1 64 11 273 0 0 0 0 0 1 15 0 9 0 28751824 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1587.24
Current children cumulated vsize (KiB) 867164
[startup+1662.3 s]
/proc/loadavg: 2.01 2.06 2.02 3/89 2696
/proc/meminfo: memFree=1670672/2055920 swapFree=4192812/4192956
[pid=2634] ppid=2632 vsize=867164 CPUtime=1646.67
/proc/2634/stat : 2634 (java) S 2632 2634 2597 0 -1 0 49002 273 1 0 164641 25 0 1 18 0 9 0 28751819 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2634/statm: 216791 31433 2659 9 0 211227 0
[pid=2634/tid=2636] ppid=2632 vsize=867164 CPUtime=1645.92
/proc/2634/task/2636/stat : 2636 (java) R 2632 2634 2597 0 -1 64 22095 273 1 0 164576 15 0 1 25 0 9 0 28751820 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4126855058 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2637] ppid=2632 vsize=867164 CPUtime=0.46
/proc/2634/task/2637/stat : 2637 (java) S 2632 2634 2597 0 -1 64 25467 273 0 0 38 7 0 1 16 0 9 0 28751822 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2634/tid=2638] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2638/stat : 2638 (java) S 2632 2634 2597 0 -1 64 22 273 0 0 0 0 0 1 16 0 9 0 28751822 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2639] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2639/stat : 2639 (java) S 2632 2634 2597 0 -1 64 8 273 0 0 0 0 0 1 16 0 9 0 28751822 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2640] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2640/stat : 2640 (java) S 2632 2634 2597 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 28751824 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2641] ppid=2632 vsize=867164 CPUtime=0.26
/proc/2634/task/2641/stat : 2641 (java) S 2632 2634 2597 0 -1 64 593 273 0 0 25 0 0 1 16 0 9 0 28751824 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2642] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2642/stat : 2642 (java) S 2632 2634 2597 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 28751824 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2643] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2643/stat : 2643 (java) S 2632 2634 2597 0 -1 64 11 273 0 0 0 0 0 1 15 0 9 0 28751824 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1646.67
Current children cumulated vsize (KiB) 867164
[startup+1722.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/89 2696
/proc/meminfo: memFree=1670544/2055920 swapFree=4192812/4192956
[pid=2634] ppid=2632 vsize=867164 CPUtime=1706.11
/proc/2634/stat : 2634 (java) S 2632 2634 2597 0 -1 0 49073 273 1 0 170585 25 0 1 18 0 9 0 28751819 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2634/statm: 216791 31433 2659 9 0 211227 0
[pid=2634/tid=2636] ppid=2632 vsize=867164 CPUtime=1705.36
/proc/2634/task/2636/stat : 2636 (java) R 2632 2634 2597 0 -1 64 22166 273 1 0 170520 15 0 1 25 0 9 0 28751820 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4126855472 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2637] ppid=2632 vsize=867164 CPUtime=0.46
/proc/2634/task/2637/stat : 2637 (java) S 2632 2634 2597 0 -1 64 25467 273 0 0 38 7 0 1 16 0 9 0 28751822 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2634/tid=2638] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2638/stat : 2638 (java) S 2632 2634 2597 0 -1 64 22 273 0 0 0 0 0 1 16 0 9 0 28751822 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2639] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2639/stat : 2639 (java) S 2632 2634 2597 0 -1 64 8 273 0 0 0 0 0 1 16 0 9 0 28751822 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2640] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2640/stat : 2640 (java) S 2632 2634 2597 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 28751824 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2641] ppid=2632 vsize=867164 CPUtime=0.26
/proc/2634/task/2641/stat : 2641 (java) S 2632 2634 2597 0 -1 64 593 273 0 0 25 0 0 1 16 0 9 0 28751824 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2642] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2642/stat : 2642 (java) S 2632 2634 2597 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 28751824 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2643] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2643/stat : 2643 (java) S 2632 2634 2597 0 -1 64 11 273 0 0 0 0 0 1 15 0 9 0 28751824 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1706.11
Current children cumulated vsize (KiB) 867164
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.01 3/89 2696
/proc/meminfo: memFree=1670288/2055920 swapFree=4192812/4192956
[pid=2634] ppid=2632 vsize=867164 CPUtime=1765.55
/proc/2634/stat : 2634 (java) S 2632 2634 2597 0 -1 0 49142 273 1 0 176529 25 0 1 18 0 9 0 28751819 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2634/statm: 216791 31433 2659 9 0 211227 0
[pid=2634/tid=2636] ppid=2632 vsize=867164 CPUtime=1764.8
/proc/2634/task/2636/stat : 2636 (java) R 2632 2634 2597 0 -1 64 22235 273 1 0 176464 15 0 1 25 0 9 0 28751820 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4126854979 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2637] ppid=2632 vsize=867164 CPUtime=0.46
/proc/2634/task/2637/stat : 2637 (java) S 2632 2634 2597 0 -1 64 25467 273 0 0 38 7 0 1 16 0 9 0 28751822 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2634/tid=2638] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2638/stat : 2638 (java) S 2632 2634 2597 0 -1 64 22 273 0 0 0 0 0 1 16 0 9 0 28751822 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2639] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2639/stat : 2639 (java) S 2632 2634 2597 0 -1 64 8 273 0 0 0 0 0 1 16 0 9 0 28751822 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2640] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2640/stat : 2640 (java) S 2632 2634 2597 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 28751824 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2641] ppid=2632 vsize=867164 CPUtime=0.26
/proc/2634/task/2641/stat : 2641 (java) S 2632 2634 2597 0 -1 64 593 273 0 0 25 0 0 1 16 0 9 0 28751824 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2642] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2642/stat : 2642 (java) S 2632 2634 2597 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 28751824 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2643] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2643/stat : 2643 (java) S 2632 2634 2597 0 -1 64 11 273 0 0 0 0 0 1 15 0 9 0 28751824 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1765.55
Current children cumulated vsize (KiB) 867164
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1817.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/89 2696
/proc/meminfo: memFree=1670224/2055920 swapFree=4192812/4192956
[pid=2634] ppid=2632 vsize=867164 CPUtime=1800.02
/proc/2634/stat : 2634 (java) S 2632 2634 2597 0 -1 0 49182 273 1 0 179976 25 0 1 18 0 9 0 28751819 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2634/statm: 216791 31433 2659 9 0 211227 0
[pid=2634/tid=2636] ppid=2632 vsize=867164 CPUtime=1799.27
/proc/2634/task/2636/stat : 2636 (java) R 2632 2634 2597 0 -1 64 22275 273 1 0 179911 15 0 1 25 0 9 0 28751820 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4126854875 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2637] ppid=2632 vsize=867164 CPUtime=0.46
/proc/2634/task/2637/stat : 2637 (java) S 2632 2634 2597 0 -1 64 25467 273 0 0 38 7 0 1 16 0 9 0 28751822 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2634/tid=2638] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2638/stat : 2638 (java) S 2632 2634 2597 0 -1 64 22 273 0 0 0 0 0 1 16 0 9 0 28751822 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2639] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2639/stat : 2639 (java) S 2632 2634 2597 0 -1 64 8 273 0 0 0 0 0 1 16 0 9 0 28751822 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2640] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2640/stat : 2640 (java) S 2632 2634 2597 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 28751824 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2641] ppid=2632 vsize=867164 CPUtime=0.26
/proc/2634/task/2641/stat : 2641 (java) S 2632 2634 2597 0 -1 64 593 273 0 0 25 0 0 1 16 0 9 0 28751824 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2642] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2642/stat : 2642 (java) S 2632 2634 2597 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 28751824 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2643] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2643/stat : 2643 (java) S 2632 2634 2597 0 -1 64 11 273 0 0 0 0 0 1 15 0 9 0 28751824 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 867164
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1817.1 s]
/proc/loadavg: 2.00 2.03 2.00 3/89 2696
/proc/meminfo: memFree=1670224/2055920 swapFree=4192812/4192956
[pid=2634] ppid=2632 vsize=867164 CPUtime=1800.02
/proc/2634/stat : 2634 (java) S 2632 2634 2597 0 -1 0 49182 273 1 0 179976 25 0 1 18 0 9 0 28751819 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2634/statm: 216791 31433 2659 9 0 211227 0
[pid=2634/tid=2636] ppid=2632 vsize=867164 CPUtime=1799.27
/proc/2634/task/2636/stat : 2636 (java) R 2632 2634 2597 0 -1 64 22275 273 1 0 179911 15 0 1 25 0 9 0 28751820 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4126854875 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2637] ppid=2632 vsize=867164 CPUtime=0.46
/proc/2634/task/2637/stat : 2637 (java) S 2632 2634 2597 0 -1 64 25467 273 0 0 38 7 0 1 16 0 9 0 28751822 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2634/tid=2638] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2638/stat : 2638 (java) S 2632 2634 2597 0 -1 64 22 273 0 0 0 0 0 1 16 0 9 0 28751822 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2639] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2639/stat : 2639 (java) S 2632 2634 2597 0 -1 64 8 273 0 0 0 0 0 1 16 0 9 0 28751822 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2640] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2640/stat : 2640 (java) S 2632 2634 2597 0 -1 64 1 273 0 0 0 0 0 1 18 0 9 0 28751824 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2641] ppid=2632 vsize=867164 CPUtime=0.26
/proc/2634/task/2641/stat : 2641 (java) S 2632 2634 2597 0 -1 64 593 273 0 0 25 0 0 1 16 0 9 0 28751824 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2642] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2642/stat : 2642 (java) S 2632 2634 2597 0 -1 64 1 273 0 0 0 0 0 1 19 0 9 0 28751824 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2634/tid=2643] ppid=2632 vsize=867164 CPUtime=0.01
/proc/2634/task/2643/stat : 2643 (java) S 2632 2634 2597 0 -1 64 11 273 0 0 0 0 0 1 15 0 9 0 28751824 887975936 31433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 867164
Child status: 143
Real time (s): 1817.14
CPU time (s): 1800.06
CPU user time (s): 1799.78
CPU system time (s): 0.288956
CPU usage (%): 99.0603
Max. virtual memory (cumulated for all children) (KiB): 867164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.288956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49490
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= 38064
involuntary context switches= 65465
runsolver used 2.48262 second user time and 5.79012 second system time
The end
Begin job on node13 at 2009-07-12 18:40:49
IDJOB=2098738
IDBENCH=58931
IDSOLVER=774
FILE ID=node13/2098738-1247416848
PBS_JOBID= 9510804
Free space on /tmp= 66296 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-35_ext.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-2098738-1247416848/watcher-2098738-1247416848 -o /tmp/evaluation-result-2098738-1247416848/solver-2098738-1247416848 -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-2098738-1247416848.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ce13c0980bbdb5f29ac424dd30b98fd3
RANDOM SEED=356597516
node13.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.241
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.241
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: 1749176 kB
Buffers: 43104 kB
Cached: 114520 kB
SwapCached: 0 kB
Active: 189732 kB
Inactive: 59472 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1749176 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 8032 kB
Writeback: 0 kB
Mapped: 112080 kB
Slab: 42628 kB
Committed_AS: 1014940 kB
PageTables: 2036 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= 66292 MiB
End job on node13 at 2009-07-12 19:11:08