0.04/0.09
0.04/0.09 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=mac.xml
0.28/0.32
0.28/0.32 instance
0.28/0.32 name=HOME/instance-2097721-1247413874.xml
0.28/0.36
0.28/0.36 domains being loaded...
0.28/0.37
0.28/0.37 variables being loaded...
0.38/0.46 nbVariables=101 nbDomainTypes=2 minDomainSize=1 maxDomainSize=1094 nbTotalValues=109401
0.38/0.46 => wckTime=0.22 cpuTime=0.19 mem=10M830
0.38/0.46
0.38/0.46 predicates being loaded...
0.48/0.54
0.48/0.54 constraints being loaded...
1.17/1.23 nbConstraints=1010 nbGlobalConstraints=910 nbSingletonDomainVariables=1 nbConvertedConstraints=100
1.17/1.23 nbConvertConstraintsChecks=60170 nbExtensionStructures=55 nbSharedExtensionStructures=45
1.17/1.23 nbConflictsStructures=55 nbSharedConflictsStructures=45 nbSharedBinaryRepresentations=60168 minDegree=20
1.17/1.23 maxDegree=101 minArity=2 avgArity=2.08 maxArity=11 nbGenerators=0 nbFusions=0 symmetryWckTime=0.215
1.17/1.23 symmetryCpuTime=0.17 nbCliques=10
1.17/1.23 => wckTime=0.991 cpuTime=0.75 mem=25M637
1.27/1.31
1.27/1.31 solver IterativeSystematicSolver being built...
1.27/1.38
1.27/1.38 INFO : Forward propagation technique limited
1.36/1.45 => wckTime=1.204 cpuTime=0.86 mem=26M823
1.36/1.49
1.36/1.49 preprocessing
1.36/1.49 nbConstraintChecks=109400 nbPropagations=105 nbRevisions=103 nbUselessRevisions=3 nbRemovedValues=14191
1.36/1.49 detectedInconsistency=no
1.36/1.49 => wckTime=0.036 cpuTime=0.02 mem=27M805
9.18/9.36
9.18/9.36 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=18M130)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097721-1247413874/watcher-2097721-1247413874 -o /tmp/evaluation-result-2097721-1247413874/solver-2097721-1247413874 -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-2097721-1247413874.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.00 2.00 4/80 825
/proc/meminfo: memFree=1785640/2055920 swapFree=4192812/4192956
[pid=825] ppid=823 vsize=1616 CPUtime=0
/proc/825/stat : 825 (java) R 823 825 31110 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 28453837 1654784 148 996147200 134512640 134550932 4294956128 18446744073709551615 1827770 0 0 4096 0 0 0 0 17 0 0 0
/proc/825/statm: 404 148 122 9 0 46 0
[startup+0.052394 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 825
/proc/meminfo: memFree=1785640/2055920 swapFree=4192812/4192956
[pid=825] ppid=823 vsize=863616 CPUtime=0.04
/proc/825/stat : 825 (java) S 823 825 31110 0 -1 0 2434 0 1 0 3 1 0 0 18 0 9 0 28453837 884342784 2004 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/825/statm: 215904 2004 911 9 0 210819 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 863616
[startup+0.101401 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 825
/proc/meminfo: memFree=1785640/2055920 swapFree=4192812/4192956
[pid=825] ppid=823 vsize=865984 CPUtime=0.08
/proc/825/stat : 825 (java) S 823 825 31110 0 -1 0 3787 0 1 0 7 1 0 0 18 0 9 0 28453837 886767616 3238 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/825/statm: 216496 3238 1708 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301423 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 825
/proc/meminfo: memFree=1785640/2055920 swapFree=4192812/4192956
[pid=825] ppid=823 vsize=866296 CPUtime=0.28
/proc/825/stat : 825 (java) S 823 825 31110 0 -1 0 5685 0 1 0 25 3 0 0 18 0 9 0 28453837 887087104 5088 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/825/statm: 216574 5088 1927 9 0 211052 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866296
[startup+0.701467 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 825
/proc/meminfo: memFree=1785640/2055920 swapFree=4192812/4192956
[pid=825] ppid=823 vsize=867188 CPUtime=0.67
/proc/825/stat : 825 (java) S 823 825 31110 0 -1 0 8421 0 1 0 62 5 0 0 18 0 9 0 28453837 888000512 7775 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/825/statm: 216797 7775 2034 9 0 211233 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867188
[startup+1.50155 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 834
/proc/meminfo: memFree=1754528/2055920 swapFree=4192812/4192956
[pid=825] ppid=823 vsize=868432 CPUtime=1.46
/proc/825/stat : 825 (java) S 823 825 31110 0 -1 0 20422 327 1 0 130 15 1 0 18 0 9 0 28453837 889274368 12551 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/825/statm: 217108 12551 2658 9 0 211544 0
[pid=825/tid=827] ppid=823 vsize=868432 CPUtime=1.11
/proc/825/task/827/stat : 827 (java) R 823 825 31110 0 -1 64 14194 327 1 0 98 12 1 0 24 0 9 0 28453838 889274368 12551 996147200 134512640 134550932 4294955968 18446744073709551615 4127164643 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=828] ppid=823 vsize=868432 CPUtime=0.07
/proc/825/task/828/stat : 828 (java) S 823 825 31110 0 -1 64 4472 327 0 0 5 1 1 0 16 0 9 0 28453840 889274368 12551 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=829] ppid=823 vsize=868432 CPUtime=0.01
/proc/825/task/829/stat : 829 (java) S 823 825 31110 0 -1 64 16 327 0 0 0 0 1 0 16 0 9 0 28453840 889274368 12551 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=830] ppid=823 vsize=868432 CPUtime=0.01
/proc/825/task/830/stat : 830 (java) S 823 825 31110 0 -1 64 11 327 0 0 0 0 1 0 16 0 9 0 28453840 889274368 12551 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=831] ppid=823 vsize=868432 CPUtime=0.01
/proc/825/task/831/stat : 831 (java) S 823 825 31110 0 -1 64 2 327 0 0 0 0 1 0 18 0 9 0 28453842 889274368 12551 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=832] ppid=823 vsize=868432 CPUtime=0.27
/proc/825/task/832/stat : 832 (java) S 823 825 31110 0 -1 64 914 327 0 0 26 0 1 0 15 0 9 0 28453842 889274368 12551 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=833] ppid=823 vsize=868432 CPUtime=0.01
/proc/825/task/833/stat : 833 (java) S 823 825 31110 0 -1 64 1 327 0 0 0 0 1 0 19 0 9 0 28453842 889274368 12551 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=834] ppid=823 vsize=868432 CPUtime=0.01
/proc/825/task/834/stat : 834 (java) S 823 825 31110 0 -1 64 6 327 0 0 0 0 1 0 15 0 9 0 28453842 889274368 12551 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) 868432
[startup+3.10173 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 838
/proc/meminfo: memFree=1743648/2055920 swapFree=4192812/4192956
[pid=825] ppid=823 vsize=868560 CPUtime=3.05
/proc/825/stat : 825 (java) S 823 825 31110 0 -1 0 22884 327 1 0 288 16 1 0 18 0 9 0 28453837 889405440 15007 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/825/statm: 217140 15007 2658 9 0 211576 0
[pid=825/tid=827] ppid=823 vsize=868560 CPUtime=2.66
/proc/825/task/827/stat : 827 (java) R 823 825 31110 0 -1 64 16631 327 1 0 252 13 1 0 25 0 9 0 28453838 889405440 15007 996147200 134512640 134550932 4294955968 18446744073709551615 4127143197 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=828] ppid=823 vsize=868560 CPUtime=0.07
/proc/825/task/828/stat : 828 (java) S 823 825 31110 0 -1 64 4473 327 0 0 5 1 1 0 17 0 9 0 28453840 889405440 15007 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=829] ppid=823 vsize=868560 CPUtime=0.01
/proc/825/task/829/stat : 829 (java) S 823 825 31110 0 -1 64 16 327 0 0 0 0 1 0 16 0 9 0 28453840 889405440 15007 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=830] ppid=823 vsize=868560 CPUtime=0.01
/proc/825/task/830/stat : 830 (java) S 823 825 31110 0 -1 64 11 327 0 0 0 0 1 0 16 0 9 0 28453840 889405440 15007 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=831] ppid=823 vsize=868560 CPUtime=0.01
/proc/825/task/831/stat : 831 (java) S 823 825 31110 0 -1 64 2 327 0 0 0 0 1 0 18 0 9 0 28453842 889405440 15007 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=832] ppid=823 vsize=868560 CPUtime=0.3
/proc/825/task/832/stat : 832 (java) S 823 825 31110 0 -1 64 938 327 0 0 29 0 1 0 15 0 9 0 28453842 889405440 15007 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=833] ppid=823 vsize=868560 CPUtime=0.01
/proc/825/task/833/stat : 833 (java) S 823 825 31110 0 -1 64 1 327 0 0 0 0 1 0 19 0 9 0 28453842 889405440 15007 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=834] ppid=823 vsize=868560 CPUtime=0.01
/proc/825/task/834/stat : 834 (java) S 823 825 31110 0 -1 64 6 327 0 0 0 0 1 0 15 0 9 0 28453842 889405440 15007 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 868560
[startup+6.30208 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 838
/proc/meminfo: memFree=1724512/2055920 swapFree=4192812/4192956
[pid=825] ppid=823 vsize=868560 CPUtime=6.22
/proc/825/stat : 825 (java) S 823 825 31110 0 -1 0 26286 327 1 0 603 18 1 0 18 0 9 0 28453837 889405440 18362 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/825/statm: 217140 18362 2658 9 0 211576 0
[pid=825/tid=827] ppid=823 vsize=868560 CPUtime=5.82
/proc/825/task/827/stat : 827 (java) R 823 825 31110 0 -1 64 19987 327 1 0 566 15 1 0 25 0 9 0 28453838 889405440 18362 996147200 134512640 134550932 4294955968 18446744073709551615 4125952251 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=828] ppid=823 vsize=868560 CPUtime=0.07
/proc/825/task/828/stat : 828 (java) S 823 825 31110 0 -1 64 4473 327 0 0 5 1 1 0 17 0 9 0 28453840 889405440 18362 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=829] ppid=823 vsize=868560 CPUtime=0.01
/proc/825/task/829/stat : 829 (java) S 823 825 31110 0 -1 64 16 327 0 0 0 0 1 0 16 0 9 0 28453840 889405440 18362 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=830] ppid=823 vsize=868560 CPUtime=0.01
/proc/825/task/830/stat : 830 (java) S 823 825 31110 0 -1 64 11 327 0 0 0 0 1 0 16 0 9 0 28453840 889405440 18362 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=831] ppid=823 vsize=868560 CPUtime=0.01
/proc/825/task/831/stat : 831 (java) S 823 825 31110 0 -1 64 2 327 0 0 0 0 1 0 18 0 9 0 28453842 889405440 18362 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=832] ppid=823 vsize=868560 CPUtime=0.32
/proc/825/task/832/stat : 832 (java) S 823 825 31110 0 -1 64 955 327 0 0 31 0 1 0 16 0 9 0 28453842 889405440 18362 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=833] ppid=823 vsize=868560 CPUtime=0.01
/proc/825/task/833/stat : 833 (java) S 823 825 31110 0 -1 64 1 327 0 0 0 0 1 0 19 0 9 0 28453842 889405440 18362 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=834] ppid=823 vsize=868560 CPUtime=0.01
/proc/825/task/834/stat : 834 (java) S 823 825 31110 0 -1 64 35 327 0 0 0 0 1 0 15 0 9 0 28453842 889405440 18362 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 868560
[startup+12.7028 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 838
/proc/meminfo: memFree=1711776/2055920 swapFree=4192812/4192956
[pid=825] ppid=823 vsize=868472 CPUtime=12.55
/proc/825/stat : 825 (java) S 823 825 31110 0 -1 0 28990 327 1 0 1235 19 1 0 18 0 9 0 28453837 889315328 20884 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/825/statm: 217118 20884 2639 9 0 211576 0
[pid=825/tid=827] ppid=823 vsize=868472 CPUtime=12.11
/proc/825/task/827/stat : 827 (java) R 823 825 31110 0 -1 64 20504 327 1 0 1195 15 1 0 25 0 9 0 28453838 889315328 20884 996147200 134512640 134550932 4294955968 18446744073709551615 4127141176 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=828] ppid=823 vsize=868472 CPUtime=0.09
/proc/825/task/828/stat : 828 (java) S 823 825 31110 0 -1 64 6622 327 0 0 6 2 1 0 16 0 9 0 28453840 889315328 20884 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=829] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/829/stat : 829 (java) S 823 825 31110 0 -1 64 16 327 0 0 0 0 1 0 16 0 9 0 28453840 889315328 20884 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=830] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/830/stat : 830 (java) S 823 825 31110 0 -1 64 11 327 0 0 0 0 1 0 16 0 9 0 28453840 889315328 20884 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=831] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/831/stat : 831 (java) S 823 825 31110 0 -1 64 2 327 0 0 0 0 1 0 18 0 9 0 28453842 889315328 20884 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=832] ppid=823 vsize=868472 CPUtime=0.34
/proc/825/task/832/stat : 832 (java) S 823 825 31110 0 -1 64 993 327 0 0 33 0 1 0 16 0 9 0 28453842 889315328 20884 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=833] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/833/stat : 833 (java) S 823 825 31110 0 -1 64 1 327 0 0 0 0 1 0 19 0 9 0 28453842 889315328 20884 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=834] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/834/stat : 834 (java) S 823 825 31110 0 -1 64 35 327 0 0 0 0 1 0 15 0 9 0 28453842 889315328 20884 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 868472
[startup+25.5022 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 838
/proc/meminfo: memFree=1708000/2055920 swapFree=4192812/4192956
[pid=825] ppid=823 vsize=868472 CPUtime=25.24
/proc/825/stat : 825 (java) S 823 825 31110 0 -1 0 29965 327 1 0 2503 20 1 0 18 0 9 0 28453837 889315328 21853 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/825/statm: 217118 21853 2639 9 0 211576 0
[pid=825/tid=827] ppid=823 vsize=868472 CPUtime=24.78
/proc/825/task/827/stat : 827 (java) R 823 825 31110 0 -1 64 20508 327 1 0 2462 15 1 0 25 0 9 0 28453838 889315328 21853 996147200 134512640 134550932 4294955968 18446744073709551615 4127138446 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=828] ppid=823 vsize=868472 CPUtime=0.1
/proc/825/task/828/stat : 828 (java) S 823 825 31110 0 -1 64 7592 327 0 0 7 2 1 0 16 0 9 0 28453840 889315328 21853 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=829] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/829/stat : 829 (java) S 823 825 31110 0 -1 64 16 327 0 0 0 0 1 0 16 0 9 0 28453840 889315328 21853 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=830] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/830/stat : 830 (java) S 823 825 31110 0 -1 64 11 327 0 0 0 0 1 0 16 0 9 0 28453840 889315328 21853 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=831] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/831/stat : 831 (java) S 823 825 31110 0 -1 64 2 327 0 0 0 0 1 0 18 0 9 0 28453842 889315328 21853 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=832] ppid=823 vsize=868472 CPUtime=0.34
/proc/825/task/832/stat : 832 (java) S 823 825 31110 0 -1 64 994 327 0 0 33 0 1 0 17 0 9 0 28453842 889315328 21853 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=833] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/833/stat : 833 (java) S 823 825 31110 0 -1 64 1 327 0 0 0 0 1 0 19 0 9 0 28453842 889315328 21853 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=834] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/834/stat : 834 (java) S 823 825 31110 0 -1 64 35 327 0 0 0 0 1 0 15 0 9 0 28453842 889315328 21853 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 868472
[startup+51.103 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 838
/proc/meminfo: memFree=1707936/2055920 swapFree=4192812/4192956
[pid=825] ppid=823 vsize=868472 CPUtime=50.6
/proc/825/stat : 825 (java) S 823 825 31110 0 -1 0 30002 327 1 0 5039 20 1 0 18 0 9 0 28453837 889315328 21883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/825/statm: 217118 21883 2639 9 0 211576 0
[pid=825/tid=827] ppid=823 vsize=868472 CPUtime=50.12
/proc/825/task/827/stat : 827 (java) R 823 825 31110 0 -1 64 20515 327 1 0 4996 15 1 0 25 0 9 0 28453838 889315328 21883 996147200 134512640 134550932 4294955968 18446744073709551615 4127139257 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=828] ppid=823 vsize=868472 CPUtime=0.1
/proc/825/task/828/stat : 828 (java) S 823 825 31110 0 -1 64 7620 327 0 0 7 2 1 0 16 0 9 0 28453840 889315328 21883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=829] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/829/stat : 829 (java) S 823 825 31110 0 -1 64 16 327 0 0 0 0 1 0 16 0 9 0 28453840 889315328 21883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=830] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/830/stat : 830 (java) S 823 825 31110 0 -1 64 11 327 0 0 0 0 1 0 16 0 9 0 28453840 889315328 21883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=831] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/831/stat : 831 (java) S 823 825 31110 0 -1 64 2 327 0 0 0 0 1 0 18 0 9 0 28453842 889315328 21883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=832] ppid=823 vsize=868472 CPUtime=0.35
/proc/825/task/832/stat : 832 (java) S 823 825 31110 0 -1 64 996 327 0 0 34 0 1 0 17 0 9 0 28453842 889315328 21883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=833] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/833/stat : 833 (java) S 823 825 31110 0 -1 64 1 327 0 0 0 0 1 0 19 0 9 0 28453842 889315328 21883 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/825/task/830/stat : 830 (java) S 823 825 31110 0 -1 64 11 327 0 0 0 0 1 0 16 0 9 0 28453840 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=831] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/831/stat : 831 (java) S 823 825 31110 0 -1 64 2 327 0 0 0 0 1 0 18 0 9 0 28453842 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=832] ppid=823 vsize=868472 CPUtime=0.36
/proc/825/task/832/stat : 832 (java) S 823 825 31110 0 -1 64 1001 327 0 0 35 0 1 0 16 0 9 0 28453842 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=833] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/833/stat : 833 (java) S 823 825 31110 0 -1 64 1 327 0 0 0 0 1 0 19 0 9 0 28453842 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=834] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/834/stat : 834 (java) S 823 825 31110 0 -1 64 35 327 0 0 0 0 1 0 15 0 9 0 28453842 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1527.99
Current children cumulated vsize (KiB) 868472
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/89 885
/proc/meminfo: memFree=1622760/2055920 swapFree=4192812/4192956
[pid=825] ppid=823 vsize=868472 CPUtime=1587.96
/proc/825/stat : 825 (java) S 823 825 31110 0 -1 0 30249 327 1 0 158770 25 1 0 18 0 9 0 28453837 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/825/statm: 217118 21993 2639 9 0 211576 0
[pid=825/tid=827] ppid=823 vsize=868472 CPUtime=1587.35
/proc/825/task/827/stat : 827 (java) R 823 825 31110 0 -1 64 20650 327 1 0 158714 20 1 0 25 0 9 0 28453838 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4127141176 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=825/tid=828] ppid=823 vsize=868472 CPUtime=0.25
/proc/825/task/828/stat : 828 (java) S 823 825 31110 0 -1 64 7727 327 0 0 21 3 1 0 16 0 9 0 28453840 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=825/tid=829] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/829/stat : 829 (java) S 823 825 31110 0 -1 64 16 327 0 0 0 0 1 0 16 0 9 0 28453840 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=830] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/830/stat : 830 (java) S 823 825 31110 0 -1 64 11 327 0 0 0 0 1 0 16 0 9 0 28453840 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=831] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/831/stat : 831 (java) S 823 825 31110 0 -1 64 2 327 0 0 0 0 1 0 18 0 9 0 28453842 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=832] ppid=823 vsize=868472 CPUtime=0.36
/proc/825/task/832/stat : 832 (java) S 823 825 31110 0 -1 64 1001 327 0 0 35 0 1 0 16 0 9 0 28453842 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=833] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/833/stat : 833 (java) S 823 825 31110 0 -1 64 1 327 0 0 0 0 1 0 19 0 9 0 28453842 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=834] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/834/stat : 834 (java) S 823 825 31110 0 -1 64 35 327 0 0 0 0 1 0 15 0 9 0 28453842 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1587.96
Current children cumulated vsize (KiB) 868472
[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/89 885
/proc/meminfo: memFree=1622568/2055920 swapFree=4192812/4192956
[pid=825] ppid=823 vsize=868472 CPUtime=1647.94
/proc/825/stat : 825 (java) S 823 825 31110 0 -1 0 30254 327 1 0 164768 25 1 0 18 0 9 0 28453837 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/825/statm: 217118 21993 2639 9 0 211576 0
[pid=825/tid=827] ppid=823 vsize=868472 CPUtime=1647.32
/proc/825/task/827/stat : 827 (java) R 823 825 31110 0 -1 64 20655 327 1 0 164711 20 1 0 25 0 9 0 28453838 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4127141176 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=825/tid=828] ppid=823 vsize=868472 CPUtime=0.25
/proc/825/task/828/stat : 828 (java) S 823 825 31110 0 -1 64 7727 327 0 0 21 3 1 0 16 0 9 0 28453840 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=825/tid=829] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/829/stat : 829 (java) S 823 825 31110 0 -1 64 16 327 0 0 0 0 1 0 16 0 9 0 28453840 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=830] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/830/stat : 830 (java) S 823 825 31110 0 -1 64 11 327 0 0 0 0 1 0 16 0 9 0 28453840 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=831] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/831/stat : 831 (java) S 823 825 31110 0 -1 64 2 327 0 0 0 0 1 0 18 0 9 0 28453842 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=832] ppid=823 vsize=868472 CPUtime=0.36
/proc/825/task/832/stat : 832 (java) S 823 825 31110 0 -1 64 1001 327 0 0 35 0 1 0 16 0 9 0 28453842 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=833] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/833/stat : 833 (java) S 823 825 31110 0 -1 64 1 327 0 0 0 0 1 0 19 0 9 0 28453842 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=834] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/834/stat : 834 (java) S 823 825 31110 0 -1 64 35 327 0 0 0 0 1 0 15 0 9 0 28453842 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1647.94
Current children cumulated vsize (KiB) 868472
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 885
/proc/meminfo: memFree=1622376/2055920 swapFree=4192812/4192956
[pid=825] ppid=823 vsize=868472 CPUtime=1707.92
/proc/825/stat : 825 (java) S 823 825 31110 0 -1 0 30255 327 1 0 170765 26 1 0 18 0 9 0 28453837 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/825/statm: 217118 21993 2639 9 0 211576 0
[pid=825/tid=827] ppid=823 vsize=868472 CPUtime=1707.29
/proc/825/task/827/stat : 827 (java) R 823 825 31110 0 -1 64 20656 327 1 0 170708 20 1 0 25 0 9 0 28453838 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4127189924 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=825/tid=828] ppid=823 vsize=868472 CPUtime=0.25
/proc/825/task/828/stat : 828 (java) S 823 825 31110 0 -1 64 7727 327 0 0 21 3 1 0 16 0 9 0 28453840 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=825/tid=829] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/829/stat : 829 (java) S 823 825 31110 0 -1 64 16 327 0 0 0 0 1 0 16 0 9 0 28453840 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=830] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/830/stat : 830 (java) S 823 825 31110 0 -1 64 11 327 0 0 0 0 1 0 16 0 9 0 28453840 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=831] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/831/stat : 831 (java) S 823 825 31110 0 -1 64 2 327 0 0 0 0 1 0 18 0 9 0 28453842 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=832] ppid=823 vsize=868472 CPUtime=0.36
/proc/825/task/832/stat : 832 (java) S 823 825 31110 0 -1 64 1001 327 0 0 35 0 1 0 16 0 9 0 28453842 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=833] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/833/stat : 833 (java) S 823 825 31110 0 -1 64 1 327 0 0 0 0 1 0 19 0 9 0 28453842 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=834] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/834/stat : 834 (java) S 823 825 31110 0 -1 64 35 327 0 0 0 0 1 0 15 0 9 0 28453842 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1707.92
Current children cumulated vsize (KiB) 868472
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 885
/proc/meminfo: memFree=1622376/2055920 swapFree=4192812/4192956
[pid=825] ppid=823 vsize=868472 CPUtime=1767.9
/proc/825/stat : 825 (java) S 823 825 31110 0 -1 0 30257 327 1 0 176763 26 1 0 18 0 9 0 28453837 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/825/statm: 217118 21993 2639 9 0 211576 0
[pid=825/tid=827] ppid=823 vsize=868472 CPUtime=1767.27
/proc/825/task/827/stat : 827 (java) R 823 825 31110 0 -1 64 20658 327 1 0 176705 21 1 0 25 0 9 0 28453838 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4127174286 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=825/tid=828] ppid=823 vsize=868472 CPUtime=0.25
/proc/825/task/828/stat : 828 (java) S 823 825 31110 0 -1 64 7727 327 0 0 21 3 1 0 16 0 9 0 28453840 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=825/tid=829] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/829/stat : 829 (java) S 823 825 31110 0 -1 64 16 327 0 0 0 0 1 0 16 0 9 0 28453840 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=830] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/830/stat : 830 (java) S 823 825 31110 0 -1 64 11 327 0 0 0 0 1 0 16 0 9 0 28453840 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=831] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/831/stat : 831 (java) S 823 825 31110 0 -1 64 2 327 0 0 0 0 1 0 18 0 9 0 28453842 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=832] ppid=823 vsize=868472 CPUtime=0.36
/proc/825/task/832/stat : 832 (java) S 823 825 31110 0 -1 64 1001 327 0 0 35 0 1 0 16 0 9 0 28453842 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=833] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/833/stat : 833 (java) S 823 825 31110 0 -1 64 1 327 0 0 0 0 1 0 19 0 9 0 28453842 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=834] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/834/stat : 834 (java) S 823 825 31110 0 -1 64 35 327 0 0 0 0 1 0 15 0 9 0 28453842 889315328 21993 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1767.9
Current children cumulated vsize (KiB) 868472
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 885
/proc/meminfo: memFree=1622376/2055920 swapFree=4192812/4192956
[pid=825] ppid=823 vsize=868472 CPUtime=1800.09
/proc/825/stat : 825 (java) S 823 825 31110 0 -1 0 30276 327 1 0 179982 26 1 0 18 0 9 0 28453837 889315328 22010 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/825/statm: 217118 22010 2639 9 0 211576 0
[pid=825/tid=827] ppid=823 vsize=868472 CPUtime=1799.46
/proc/825/task/827/stat : 827 (java) R 823 825 31110 0 -1 64 20660 327 1 0 179924 21 1 0 25 0 9 0 28453838 889315328 22010 996147200 134512640 134550932 4294955968 18446744073709551615 4127138446 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=825/tid=828] ppid=823 vsize=868472 CPUtime=0.25
/proc/825/task/828/stat : 828 (java) S 823 825 31110 0 -1 64 7744 327 0 0 21 3 1 0 16 0 9 0 28453840 889315328 22010 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=825/tid=829] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/829/stat : 829 (java) S 823 825 31110 0 -1 64 16 327 0 0 0 0 1 0 16 0 9 0 28453840 889315328 22010 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=830] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/830/stat : 830 (java) S 823 825 31110 0 -1 64 11 327 0 0 0 0 1 0 16 0 9 0 28453840 889315328 22010 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=831] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/831/stat : 831 (java) S 823 825 31110 0 -1 64 2 327 0 0 0 0 1 0 18 0 9 0 28453842 889315328 22010 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=832] ppid=823 vsize=868472 CPUtime=0.36
/proc/825/task/832/stat : 832 (java) S 823 825 31110 0 -1 64 1001 327 0 0 35 0 1 0 16 0 9 0 28453842 889315328 22010 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=833] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/833/stat : 833 (java) S 823 825 31110 0 -1 64 1 327 0 0 0 0 1 0 19 0 9 0 28453842 889315328 22010 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=834] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/834/stat : 834 (java) S 823 825 31110 0 -1 64 35 327 0 0 0 0 1 0 15 0 9 0 28453842 889315328 22010 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 868472
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1814.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 885
/proc/meminfo: memFree=1622376/2055920 swapFree=4192812/4192956
[pid=825] ppid=823 vsize=868472 CPUtime=1800.09
/proc/825/stat : 825 (java) S 823 825 31110 0 -1 0 30276 327 1 0 179982 26 1 0 18 0 9 0 28453837 889315328 22010 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/825/statm: 217118 22010 2639 9 0 211576 0
[pid=825/tid=827] ppid=823 vsize=868472 CPUtime=1799.46
/proc/825/task/827/stat : 827 (java) R 823 825 31110 0 -1 64 20660 327 1 0 179924 21 1 0 25 0 9 0 28453838 889315328 22010 996147200 134512640 134550932 4294955968 18446744073709551615 4127138446 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=825/tid=828] ppid=823 vsize=868472 CPUtime=0.25
/proc/825/task/828/stat : 828 (java) S 823 825 31110 0 -1 64 7744 327 0 0 21 3 1 0 16 0 9 0 28453840 889315328 22010 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=825/tid=829] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/829/stat : 829 (java) S 823 825 31110 0 -1 64 16 327 0 0 0 0 1 0 16 0 9 0 28453840 889315328 22010 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=830] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/830/stat : 830 (java) S 823 825 31110 0 -1 64 11 327 0 0 0 0 1 0 16 0 9 0 28453840 889315328 22010 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=831] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/831/stat : 831 (java) S 823 825 31110 0 -1 64 2 327 0 0 0 0 1 0 18 0 9 0 28453842 889315328 22010 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=832] ppid=823 vsize=868472 CPUtime=0.36
/proc/825/task/832/stat : 832 (java) S 823 825 31110 0 -1 64 1001 327 0 0 35 0 1 0 16 0 9 0 28453842 889315328 22010 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=833] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/833/stat : 833 (java) S 823 825 31110 0 -1 64 1 327 0 0 0 0 1 0 19 0 9 0 28453842 889315328 22010 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=825/tid=834] ppid=823 vsize=868472 CPUtime=0.01
/proc/825/task/834/stat : 834 (java) S 823 825 31110 0 -1 64 35 327 0 0 0 0 1 0 15 0 9 0 28453842 889315328 22010 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 868472
Child status: 143
Real time (s): 1814.54
CPU time (s): 1800.14
CPU user time (s): 1799.86
CPU system time (s): 0.284956
CPU usage (%): 99.2063
Max. virtual memory (cumulated for all children) (KiB): 868560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.284956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30633
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= 39489
involuntary context switches= 67190
runsolver used 2.34064 second user time and 5.9221 second system time
The end
Begin job on node35 at 2009-07-12 17:51:14
IDJOB=2097721
IDBENCH=57651
IDSOLVER=773
FILE ID=node35/2097721-1247413874
PBS_JOBID= 9510574
Free space on /tmp= 66304 MiB
SOLVER NAME= Abscon 112v4 AC
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 mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097721-1247413874/watcher-2097721-1247413874 -o /tmp/evaluation-result-2097721-1247413874/solver-2097721-1247413874 -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-2097721-1247413874.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 2960c39330e67b59bd11d1942a6cbea3
RANDOM SEED=567449372
node35.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: 1786120 kB
Buffers: 40296 kB
Cached: 125964 kB
SwapCached: 0 kB
Active: 137632 kB
Inactive: 77948 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1786120 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2152 kB
Writeback: 0 kB
Mapped: 69796 kB
Slab: 39296 kB
Committed_AS: 1035472 kB
PageTables: 1876 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= 66304 MiB
End job on node35 at 2009-07-12 18:21:31