0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.08/0.15 c version SAT COMPETITION 2007
0.08/0.15 c sun.arch.data.model 32
0.08/0.15 c java.version 1.6.0
0.08/0.15 c os.name Linux
0.08/0.15 c os.version 2.6.9-22.EL.rootsmp
0.08/0.15 c os.arch i386
0.08/0.15 c Free memory 1703279312
0.08/0.15 c Max memory 1706164224
0.08/0.15 c Total memory 1706164224
0.08/0.15 c Number of processors 2
0.08/0.19 c --- Begin Solver configuration ---
0.08/0.19 c Stops conflict analysis at the first Unique Implication Point
0.08/0.19 c org.sat4j.minisat.constraints.MixedDataStructureDaniel@15cda3f
0.08/0.19 c Limit learning to clauses of size smaller or equal to 10% of the number of variables
0.08/0.19 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.08/0.19 c VSIDS like heuristics from MiniSAT using a heap
0.08/0.19 c Expensive reason simplification
0.08/0.19 c --- End Solver configuration ---
0.08/0.19 c timeout: 2147483s
0.08/0.19 c solving /tmp/evaluation/339818-1173712043/instance-339818-1173712043.cnf
0.08/0.19 c reading problem ...
0.52/0.46 c ... done. Wall clock time 0.267s.
0.52/0.46 c CPU time (experimental) 0.37s.
0.52/0.46 c #vars 900
0.52/0.46 c #constraints 71378
1200.10/1199.91 c starts : 19
1200.10/1199.91 c conflicts : 296046
1200.10/1199.91 c decisions : 402590
1200.10/1199.91 c propagations : 27011810
1200.10/1199.91 c inspects : 2926608732
1200.10/1199.91 c learnt literals : 0
1200.10/1199.91 c learnt binary clauses : 15
1200.10/1199.91 c learnt ternary clauses : 60
1200.10/1199.91 c learnt clauses : 159042
1200.10/1199.91 c root simplifications : 0
1200.10/1199.91 c removed literals (reason simplification) : 15840847
1200.10/1199.91 c reason swapping (by a shorter reason) : 0
1200.10/1199.91 c Calls to reduceDB : 0
1200.10/1199.91 c speed (decisions/second) : 335.64550418942014
1200.10/1199.91 c non guided choices 18
1200.10/1199.91 s UNKNOWN
1200.10/1199.91 c Total wall clock time (in seconds) : 1199.72
1200.10/1199.91 c Total CPU time (experimental, in seconds) : 0.0
runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node39/watcher-339818-1173712043 -o ROOT/results/node39/solver-339818-1173712043 -C 1200 -W 2400 -M 1800 --output-limit 1,15 java -server -Xmx1650M -Xms1650M -jar /tmp/evaluation/339818-1173712043/sat4j-sat2007.jar /tmp/evaluation/339818-1173712043/instance-339818-1173712043.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 22170
/proc/meminfo: memFree=1779080/2055920 swapFree=4181136/4192956
[pid=22170] ppid=22168 vsize=18568 CPUtime=0
/proc/22170/stat : 22170 (runsolver) R 22168 22170 17268 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 391160181 19013632 293 18446744073709551615 4194304 4294612 548682068928 18446744073709551615 231493659943 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/22170/statm: 4642 293 258 24 0 2626 0
[startup+0.0478899 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 22170
/proc/meminfo: memFree=1779080/2055920 swapFree=4181136/4192956
[pid=22170] ppid=22168 vsize=1827764 CPUtime=0.03
/proc/22170/stat : 22170 (java) S 22168 22170 17268 0 -1 0 3496 0 1 0 1 2 0 0 18 0 4 0 391160181 1871630336 3241 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/22170/statm: 456941 3241 1022 9 0 454577 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1827764
[startup+0.101897 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 22170
/proc/meminfo: memFree=1779080/2055920 swapFree=4181136/4192956
[pid=22170] ppid=22168 vsize=1831496 CPUtime=0.08
/proc/22170/stat : 22170 (java) S 22168 22170 17268 0 -1 0 4013 0 1 0 6 2 0 0 18 0 12 0 391160181 1875451904 3754 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22170/statm: 457874 3754 1122 9 0 455493 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1831496
[startup+0.30193 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 22170
/proc/meminfo: memFree=1779080/2055920 swapFree=4181136/4192956
[pid=22170] ppid=22168 vsize=1834780 CPUtime=0.36
/proc/22170/stat : 22170 (java) S 22168 22170 17268 0 -1 0 5436 0 1 0 33 3 0 0 18 0 12 0 391160181 1878814720 5174 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22170/statm: 458695 5174 1287 9 0 456307 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 1834780
[startup+0.701997 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 22170
/proc/meminfo: memFree=1779080/2055920 swapFree=4181136/4192956
[pid=22170] ppid=22168 vsize=1836536 CPUtime=0.96
/proc/22170/stat : 22170 (java) S 22168 22170 17268 0 -1 0 7744 0 1 0 91 5 0 0 18 0 13 0 391160181 1880612864 6985 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22170/statm: 459134 6985 1308 9 0 456746 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 1836536
[startup+1.50213 s]
/proc/loadavg: 0.99 0.97 0.99 2/77 22183
/proc/meminfo: memFree=1755296/2055920 swapFree=4181136/4192956
[pid=22170] ppid=22168 vsize=1836536 CPUtime=1.83
/proc/22170/stat : 22170 (java) S 22168 22170 17268 0 -1 0 8232 0 1 0 178 5 0 0 18 0 13 0 391160181 1880612864 7447 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22170/statm: 459134 7447 1308 9 0 456746 0
[pid=22170/tid=22172] ppid=22168 vsize=1836536 CPUtime=1.29
/proc/22170/task/22172/stat : 22172 (java) R 22168 22170 17268 0 -1 64 5936 0 1 0 125 4 0 0 20 0 13 0 391160183 1880612864 7448 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109538540 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22170/tid=22173] ppid=22168 vsize=1836536 CPUtime=0
/proc/22170/task/22173/stat : 22173 (java) S 22168 22170 17268 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 391160185 1880612864 7448 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22174] ppid=22168 vsize=1836536 CPUtime=0
/proc/22170/task/22174/stat : 22174 (java) S 22168 22170 17268 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 391160185 1880612864 7448 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22170/tid=22175] ppid=22168 vsize=1836536 CPUtime=0
/proc/22170/task/22175/stat : 22175 (java) S 22168 22170 17268 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 391160187 1880612864 7448 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22176] ppid=22168 vsize=1836536 CPUtime=0
/proc/22170/task/22176/stat : 22176 (java) S 22168 22170 17268 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 391160187 1880612864 7448 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22177] ppid=22168 vsize=1836536 CPUtime=0
/proc/22170/task/22177/stat : 22177 (java) S 22168 22170 17268 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 391160187 1880612864 7448 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22178] ppid=22168 vsize=1836536 CPUtime=0
/proc/22170/task/22178/stat : 22178 (java) S 22168 22170 17268 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 391160191 1880612864 7448 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22179] ppid=22168 vsize=1836536 CPUtime=0.27
/proc/22170/task/22179/stat : 22179 (java) S 22168 22170 17268 0 -1 64 940 0 0 0 27 0 0 0 16 0 13 0 391160191 1880612864 7448 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22180] ppid=22168 vsize=1836536 CPUtime=0.24
/proc/22170/task/22180/stat : 22180 (java) R 22168 22170 17268 0 -1 64 635 0 0 0 24 0 0 0 16 0 13 0 391160191 1880612864 7448 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 103336746 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22181] ppid=22168 vsize=1836536 CPUtime=0
/proc/22170/task/22181/stat : 22181 (java) S 22168 22170 17268 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 391160191 1880612864 7448 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22182] ppid=22168 vsize=1836536 CPUtime=0
/proc/22170/task/22182/stat : 22182 (java) S 22168 22170 17268 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 391160191 1880612864 7448 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22170/tid=22183] ppid=22168 vsize=1836536 CPUtime=0
/proc/22170/task/22183/stat : 22183 (java) S 22168 22170 17268 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 391160228 1880612864 7448 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 1836536
[startup+3.1014 s]
/proc/loadavg: 0.99 0.97 0.99 2/77 22183
/proc/meminfo: memFree=1752544/2055920 swapFree=4181136/4192956
[pid=22170] ppid=22168 vsize=1836536 CPUtime=3.49
/proc/22170/stat : 22170 (java) S 22168 22170 17268 0 -1 0 9148 0 1 0 344 5 0 0 18 0 13 0 391160181 1880612864 8186 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22170/statm: 459134 8186 1311 9 0 456746 0
[pid=22170/tid=22172] ppid=22168 vsize=1836536 CPUtime=2.88
/proc/22170/task/22172/stat : 22172 (java) R 22168 22170 17268 0 -1 64 6665 0 1 0 284 4 0 0 17 0 13 0 391160183 1880612864 8186 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109492666 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22170/tid=22173] ppid=22168 vsize=1836536 CPUtime=0
/proc/22170/task/22173/stat : 22173 (java) S 22168 22170 17268 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 391160185 1880612864 8186 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22174] ppid=22168 vsize=1836536 CPUtime=0
/proc/22170/task/22174/stat : 22174 (java) S 22168 22170 17268 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 391160185 1880612864 8186 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22170/tid=22175] ppid=22168 vsize=1836536 CPUtime=0
/proc/22170/task/22175/stat : 22175 (java) S 22168 22170 17268 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 391160187 1880612864 8186 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22176] ppid=22168 vsize=1836536 CPUtime=0
/proc/22170/task/22176/stat : 22176 (java) S 22168 22170 17268 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 391160187 1880612864 8186 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22177] ppid=22168 vsize=1836536 CPUtime=0
/proc/22170/task/22177/stat : 22177 (java) S 22168 22170 17268 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 391160187 1880612864 8186 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22178] ppid=22168 vsize=1836536 CPUtime=0
/proc/22170/task/22178/stat : 22178 (java) S 22168 22170 17268 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 391160191 1880612864 8186 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22179] ppid=22168 vsize=1836536 CPUtime=0.31
/proc/22170/task/22179/stat : 22179 (java) S 22168 22170 17268 0 -1 64 980 0 0 0 31 0 0 0 15 0 13 0 391160191 1880612864 8186 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22180] ppid=22168 vsize=1836536 CPUtime=0.28
/proc/22170/task/22180/stat : 22180 (java) S 22168 22170 17268 0 -1 64 781 0 0 0 28 0 0 0 16 0 13 0 391160191 1880612864 8186 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22181] ppid=22168 vsize=1836536 CPUtime=0
/proc/22170/task/22181/stat : 22181 (java) S 22168 22170 17268 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 391160191 1880612864 8186 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22182] ppid=22168 vsize=1836536 CPUtime=0
/proc/22170/task/22182/stat : 22182 (java) S 22168 22170 17268 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 391160191 1880612864 8186 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22170/tid=22183] ppid=22168 vsize=1836536 CPUtime=0
/proc/22170/task/22183/stat : 22183 (java) S 22168 22170 17268 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 391160228 1880612864 8186 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 1836536
[startup+6.30295 s]
/proc/loadavg: 0.99 0.97 0.99 2/77 22183
/proc/meminfo: memFree=1748064/2055920 swapFree=4181136/4192956
[pid=22170] ppid=22168 vsize=1836272 CPUtime=6.73
/proc/22170/stat : 22170 (java) S 22168 22170 17268 0 -1 0 10103 0 1 0 667 6 0 0 18 0 13 0 391160181 1880342528 9075 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22170/statm: 459068 9075 1312 9 0 456680 0
[pid=22170/tid=22172] ppid=22168 vsize=1836272 CPUtime=6.08
/proc/22170/task/22172/stat : 22172 (java) R 22168 22170 17268 0 -1 64 7613 0 1 0 603 5 0 0 25 0 13 0 391160183 1880342528 9075 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109553479 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22170/tid=22173] ppid=22168 vsize=1836272 CPUtime=0
/proc/22170/task/22173/stat : 22173 (java) S 22168 22170 17268 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 391160185 1880342528 9075 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22174] ppid=22168 vsize=1836272 CPUtime=0
/proc/22170/task/22174/stat : 22174 (java) S 22168 22170 17268 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 391160185 1880342528 9075 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22170/tid=22175] ppid=22168 vsize=1836272 CPUtime=0
/proc/22170/task/22175/stat : 22175 (java) S 22168 22170 17268 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 391160187 1880342528 9075 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22176] ppid=22168 vsize=1836272 CPUtime=0
/proc/22170/task/22176/stat : 22176 (java) S 22168 22170 17268 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 391160187 1880342528 9075 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22177] ppid=22168 vsize=1836272 CPUtime=0
/proc/22170/task/22177/stat : 22177 (java) S 22168 22170 17268 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 391160187 1880342528 9075 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22178] ppid=22168 vsize=1836272 CPUtime=0
/proc/22170/task/22178/stat : 22178 (java) S 22168 22170 17268 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 391160191 1880342528 9075 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22179] ppid=22168 vsize=1836272 CPUtime=0.31
/proc/22170/task/22179/stat : 22179 (java) S 22168 22170 17268 0 -1 64 980 0 0 0 31 0 0 0 15 0 13 0 391160191 1880342528 9075 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22180] ppid=22168 vsize=1836272 CPUtime=0.31
/proc/22170/task/22180/stat : 22180 (java) S 22168 22170 17268 0 -1 64 788 0 0 0 31 0 0 0 16 0 13 0 391160191 1880342528 9075 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22181] ppid=22168 vsize=1836272 CPUtime=0
/proc/22170/task/22181/stat : 22181 (java) S 22168 22170 17268 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 391160191 1880342528 9075 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22182] ppid=22168 vsize=1836272 CPUtime=0
/proc/22170/task/22182/stat : 22182 (java) S 22168 22170 17268 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 391160191 1880342528 9075 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22170/tid=22183] ppid=22168 vsize=1836272 CPUtime=0
/proc/22170/task/22183/stat : 22183 (java) S 22168 22170 17268 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 391160228 1880342528 9075 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.73
Current children cumulated vsize (KiB) 1836272
[startup+12.701 s]
/proc/loadavg: 0.99 0.97 0.99 2/77 22183
/proc/meminfo: memFree=1741416/2055920 swapFree=4181136/4192956
[pid=22170] ppid=22168 vsize=1836272 CPUtime=13.12
/proc/22170/stat : 22170 (java) S 22168 22170 17268 0 -1 0 11650 0 1 0 1305 7 0 0 18 0 13 0 391160181 1880342528 10622 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22170/statm: 459068 10622 1312 9 0 456680 0
[pid=22170/tid=22172] ppid=22168 vsize=1836272 CPUtime=12.48
/proc/22170/task/22172/stat : 22172 (java) R 22168 22170 17268 0 -1 64 9160 0 1 0 1242 6 0 0 25 0 13 0 391160183 1880342528 10622 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109601043 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22170/tid=22173] ppid=22168 vsize=1836272 CPUtime=0
/proc/22170/task/22173/stat : 22173 (java) S 22168 22170 17268 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 391160185 1880342528 10622 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22174] ppid=22168 vsize=1836272 CPUtime=0
/proc/22170/task/22174/stat : 22174 (java) S 22168 22170 17268 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 391160185 1880342528 10622 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22170/tid=22175] ppid=22168 vsize=1836272 CPUtime=0
/proc/22170/task/22175/stat : 22175 (java) S 22168 22170 17268 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 391160187 1880342528 10622 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22176] ppid=22168 vsize=1836272 CPUtime=0
/proc/22170/task/22176/stat : 22176 (java) S 22168 22170 17268 0 -1 64 9 0 0 0 0 0 0 0 22 0 13 0 391160187 1880342528 10622 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22177] ppid=22168 vsize=1836272 CPUtime=0
/proc/22170/task/22177/stat : 22177 (java) S 22168 22170 17268 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 391160187 1880342528 10622 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22178] ppid=22168 vsize=1836272 CPUtime=0
/proc/22170/task/22178/stat : 22178 (java) S 22168 22170 17268 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 391160191 1880342528 10622 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22179] ppid=22168 vsize=1836272 CPUtime=0.31
/proc/22170/task/22179/stat : 22179 (java) S 22168 22170 17268 0 -1 64 980 0 0 0 31 0 0 0 15 0 13 0 391160191 1880342528 10622 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22180] ppid=22168 vsize=1836272 CPUtime=0.31
/proc/22170/task/22180/stat : 22180 (java) S 22168 22170 17268 0 -1 64 788 0 0 0 31 0 0 0 16 0 13 0 391160191 1880342528 10622 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22181] ppid=22168 vsize=1836272 CPUtime=0
/proc/22170/task/22181/stat : 22181 (java) S 22168 22170 17268 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 391160191 1880342528 10623 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22182] ppid=22168 vsize=1836272 CPUtime=0
/proc/22170/task/22182/stat : 22182 (java) S 22168 22170 17268 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 391160191 1880342528 10623 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22170/tid=22183] ppid=22168 vsize=1836272 CPUtime=0
/proc/22170/task/22183/stat : 22183 (java) S 22168 22170 17268 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 391160228 1880342528 10623 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 13.12
Current children cumulated vsize (KiB) 1836272
[startup+25.5022 s]
/proc/loadavg: 0.99 0.97 0.99 2/77 22183
/proc/meminfo: memFree=1733352/2055920 swapFree=4181136/4192956
[pid=22170] ppid=22168 vsize=1836272 CPUtime=25.92
/proc/22170/stat : 22170 (java) S 22168 22170 17268 0 -1 0 13564 0 1 0 2583 9 0 0 18 0 13 0 391160181 1880342528 12536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22170/statm: 459068 12536 1312 9 0 456680 0
[pid=22170/tid=22172] ppid=22168 vsize=1836272 CPUtime=25.28
/proc/22170/task/22172/stat : 22172 (java) R 22168 22170 17268 0 -1 64 11074 0 1 0 2520 8 0 0 25 0 13 0 391160183 1880342528 12536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109212200 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22170/tid=22173] ppid=22168 vsize=1836272 CPUtime=0
/proc/22170/task/22173/stat : 22173 (java) S 22168 22170 17268 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 391160185 1880342528 12536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22174] ppid=22168 vsize=1836272 CPUtime=0
/proc/22170/task/22174/stat : 22174 (java) S 22168 22170 17268 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 391160185 1880342528 12536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
################
# More data... #
################
[pid=22170] ppid=22168 vsize=1836788 CPUtime=1062.54
/proc/22170/stat : 22170 (java) S 22168 22170 17268 0 -1 0 55371 0 1 0 106201 53 0 0 18 0 13 0 391160181 1880870912 53327 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22170/statm: 459197 53327 1321 9 0 456809 0
[pid=22170/tid=22172] ppid=22168 vsize=1836788 CPUtime=1061.56
/proc/22170/task/22172/stat : 22172 (java) R 22168 22170 17268 0 -1 64 38816 0 1 0 106110 46 0 0 25 0 13 0 391160183 1880870912 53327 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109534392 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22170/tid=22173] ppid=22168 vsize=1836788 CPUtime=0.14
/proc/22170/task/22173/stat : 22173 (java) S 22168 22170 17268 0 -1 64 6770 0 0 0 12 2 0 0 16 0 13 0 391160185 1880870912 53327 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22174] ppid=22168 vsize=1836788 CPUtime=0.15
/proc/22170/task/22174/stat : 22174 (java) S 22168 22170 17268 0 -1 64 7288 0 0 0 12 3 0 0 18 0 13 0 391160185 1880870912 53327 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22170/tid=22175] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22175/stat : 22175 (java) S 22168 22170 17268 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 391160187 1880870912 53327 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22176] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22176/stat : 22176 (java) S 22168 22170 17268 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 391160187 1880870912 53327 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22177] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22177/stat : 22177 (java) S 22168 22170 17268 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 391160187 1880870912 53327 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22178] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22178/stat : 22178 (java) S 22168 22170 17268 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 391160191 1880870912 53327 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22179] ppid=22168 vsize=1836788 CPUtime=0.32
/proc/22170/task/22179/stat : 22179 (java) S 22168 22170 17268 0 -1 64 980 0 0 0 32 0 0 0 16 0 13 0 391160191 1880870912 53327 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22180] ppid=22168 vsize=1836788 CPUtime=0.33
/proc/22170/task/22180/stat : 22180 (java) S 22168 22170 17268 0 -1 64 788 0 0 0 33 0 0 0 16 0 13 0 391160191 1880870912 53327 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22181] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22181/stat : 22181 (java) S 22168 22170 17268 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 391160191 1880870912 53327 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22182] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22182/stat : 22182 (java) S 22168 22170 17268 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 391160191 1880870912 53327 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22170/tid=22183] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22183/stat : 22183 (java) S 22168 22170 17268 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 391160228 1880870912 53327 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1062.54
Current children cumulated vsize (KiB) 1836788
[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/77 22183
/proc/meminfo: memFree=1569576/2055920 swapFree=4181136/4192956
[pid=22170] ppid=22168 vsize=1836788 CPUtime=1122.52
/proc/22170/stat : 22170 (java) S 22168 22170 17268 0 -1 0 55371 0 1 0 112199 53 0 0 18 0 13 0 391160181 1880870912 53327 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22170/statm: 459197 53327 1321 9 0 456809 0
[pid=22170/tid=22172] ppid=22168 vsize=1836788 CPUtime=1121.54
/proc/22170/task/22172/stat : 22172 (java) R 22168 22170 17268 0 -1 64 38816 0 1 0 112108 46 0 0 25 0 13 0 391160183 1880870912 53327 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109538555 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22170/tid=22173] ppid=22168 vsize=1836788 CPUtime=0.14
/proc/22170/task/22173/stat : 22173 (java) S 22168 22170 17268 0 -1 64 6770 0 0 0 12 2 0 0 16 0 13 0 391160185 1880870912 53327 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22174] ppid=22168 vsize=1836788 CPUtime=0.15
/proc/22170/task/22174/stat : 22174 (java) S 22168 22170 17268 0 -1 64 7288 0 0 0 12 3 0 0 18 0 13 0 391160185 1880870912 53327 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22170/tid=22175] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22175/stat : 22175 (java) S 22168 22170 17268 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 391160187 1880870912 53327 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22176] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22176/stat : 22176 (java) S 22168 22170 17268 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 391160187 1880870912 53327 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22177] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22177/stat : 22177 (java) S 22168 22170 17268 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 391160187 1880870912 53327 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22178] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22178/stat : 22178 (java) S 22168 22170 17268 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 391160191 1880870912 53327 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22179] ppid=22168 vsize=1836788 CPUtime=0.32
/proc/22170/task/22179/stat : 22179 (java) S 22168 22170 17268 0 -1 64 980 0 0 0 32 0 0 0 16 0 13 0 391160191 1880870912 53327 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22180] ppid=22168 vsize=1836788 CPUtime=0.33
/proc/22170/task/22180/stat : 22180 (java) S 22168 22170 17268 0 -1 64 788 0 0 0 33 0 0 0 16 0 13 0 391160191 1880870912 53327 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22181] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22181/stat : 22181 (java) S 22168 22170 17268 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 391160191 1880870912 53327 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22182] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22182/stat : 22182 (java) S 22168 22170 17268 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 391160191 1880870912 53327 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22170/tid=22183] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22183/stat : 22183 (java) S 22168 22170 17268 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 391160228 1880870912 53327 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1122.52
Current children cumulated vsize (KiB) 1836788
[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/77 22183
/proc/meminfo: memFree=1569576/2055920 swapFree=4181136/4192956
[pid=22170] ppid=22168 vsize=1836788 CPUtime=1182.5
/proc/22170/stat : 22170 (java) S 22168 22170 17268 0 -1 0 55374 0 1 0 118197 53 0 0 18 0 13 0 391160181 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22170/statm: 459197 53330 1321 9 0 456809 0
[pid=22170/tid=22172] ppid=22168 vsize=1836788 CPUtime=1181.52
/proc/22170/task/22172/stat : 22172 (java) R 22168 22170 17268 0 -1 64 38819 0 1 0 118106 46 0 0 25 0 13 0 391160183 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109538278 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22170/tid=22173] ppid=22168 vsize=1836788 CPUtime=0.14
/proc/22170/task/22173/stat : 22173 (java) S 22168 22170 17268 0 -1 64 6770 0 0 0 12 2 0 0 16 0 13 0 391160185 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22174] ppid=22168 vsize=1836788 CPUtime=0.15
/proc/22170/task/22174/stat : 22174 (java) S 22168 22170 17268 0 -1 64 7288 0 0 0 12 3 0 0 18 0 13 0 391160185 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22170/tid=22175] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22175/stat : 22175 (java) S 22168 22170 17268 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 391160187 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22176] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22176/stat : 22176 (java) S 22168 22170 17268 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 391160187 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22177] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22177/stat : 22177 (java) S 22168 22170 17268 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 391160187 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22178] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22178/stat : 22178 (java) S 22168 22170 17268 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 391160191 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22179] ppid=22168 vsize=1836788 CPUtime=0.32
/proc/22170/task/22179/stat : 22179 (java) S 22168 22170 17268 0 -1 64 980 0 0 0 32 0 0 0 16 0 13 0 391160191 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22180] ppid=22168 vsize=1836788 CPUtime=0.33
/proc/22170/task/22180/stat : 22180 (java) S 22168 22170 17268 0 -1 64 788 0 0 0 33 0 0 0 16 0 13 0 391160191 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22181] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22181/stat : 22181 (java) S 22168 22170 17268 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 391160191 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22182] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22182/stat : 22182 (java) S 22168 22170 17268 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 391160191 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22170/tid=22183] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22183/stat : 22183 (java) S 22168 22170 17268 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 391160228 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1182.5
Current children cumulated vsize (KiB) 1836788
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.9 s]
/proc/loadavg: 0.99 0.97 0.99 2/77 22183
/proc/meminfo: memFree=1569512/2055920 swapFree=4181136/4192956
[pid=22170] ppid=22168 vsize=1836788 CPUtime=1200.1
/proc/22170/stat : 22170 (java) S 22168 22170 17268 0 -1 0 55374 0 1 0 119957 53 0 0 18 0 13 0 391160181 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22170/statm: 459197 53330 1321 9 0 456809 0
[pid=22170/tid=22172] ppid=22168 vsize=1836788 CPUtime=1199.12
/proc/22170/task/22172/stat : 22172 (java) R 22168 22170 17268 0 -1 64 38819 0 1 0 119866 46 0 0 25 0 13 0 391160183 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109534350 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22170/tid=22173] ppid=22168 vsize=1836788 CPUtime=0.14
/proc/22170/task/22173/stat : 22173 (java) S 22168 22170 17268 0 -1 64 6770 0 0 0 12 2 0 0 16 0 13 0 391160185 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22174] ppid=22168 vsize=1836788 CPUtime=0.15
/proc/22170/task/22174/stat : 22174 (java) S 22168 22170 17268 0 -1 64 7288 0 0 0 12 3 0 0 18 0 13 0 391160185 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22170/tid=22175] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22175/stat : 22175 (java) S 22168 22170 17268 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 391160187 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22176] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22176/stat : 22176 (java) S 22168 22170 17268 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 391160187 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22177] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22177/stat : 22177 (java) S 22168 22170 17268 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 391160187 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22178] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22178/stat : 22178 (java) S 22168 22170 17268 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 391160191 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22179] ppid=22168 vsize=1836788 CPUtime=0.32
/proc/22170/task/22179/stat : 22179 (java) S 22168 22170 17268 0 -1 64 980 0 0 0 32 0 0 0 16 0 13 0 391160191 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22180] ppid=22168 vsize=1836788 CPUtime=0.33
/proc/22170/task/22180/stat : 22180 (java) S 22168 22170 17268 0 -1 64 788 0 0 0 33 0 0 0 16 0 13 0 391160191 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22181] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22181/stat : 22181 (java) S 22168 22170 17268 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 391160191 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22182] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22182/stat : 22182 (java) S 22168 22170 17268 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 391160191 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22170/tid=22183] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22183/stat : 22183 (java) S 22168 22170 17268 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 391160228 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 1836788
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1199.9 s]
/proc/loadavg: 0.99 0.97 0.99 2/77 22183
/proc/meminfo: memFree=1569512/2055920 swapFree=4181136/4192956
[pid=22170] ppid=22168 vsize=1836788 CPUtime=1200.1
/proc/22170/stat : 22170 (java) S 22168 22170 17268 0 -1 0 55374 0 1 0 119957 53 0 0 18 0 13 0 391160181 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22170/statm: 459197 53330 1321 9 0 456809 0
[pid=22170/tid=22172] ppid=22168 vsize=1836788 CPUtime=1199.12
/proc/22170/task/22172/stat : 22172 (java) R 22168 22170 17268 0 -1 64 38819 0 1 0 119866 46 0 0 25 0 13 0 391160183 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109534350 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22170/tid=22173] ppid=22168 vsize=1836788 CPUtime=0.14
/proc/22170/task/22173/stat : 22173 (java) S 22168 22170 17268 0 -1 64 6770 0 0 0 12 2 0 0 16 0 13 0 391160185 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22174] ppid=22168 vsize=1836788 CPUtime=0.15
/proc/22170/task/22174/stat : 22174 (java) S 22168 22170 17268 0 -1 64 7288 0 0 0 12 3 0 0 18 0 13 0 391160185 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22170/tid=22175] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22175/stat : 22175 (java) S 22168 22170 17268 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 391160187 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22176] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22176/stat : 22176 (java) S 22168 22170 17268 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 391160187 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22177] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22177/stat : 22177 (java) S 22168 22170 17268 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 391160187 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22178] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22178/stat : 22178 (java) S 22168 22170 17268 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 391160191 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22179] ppid=22168 vsize=1836788 CPUtime=0.32
/proc/22170/task/22179/stat : 22179 (java) S 22168 22170 17268 0 -1 64 980 0 0 0 32 0 0 0 16 0 13 0 391160191 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22180] ppid=22168 vsize=1836788 CPUtime=0.33
/proc/22170/task/22180/stat : 22180 (java) S 22168 22170 17268 0 -1 64 788 0 0 0 33 0 0 0 16 0 13 0 391160191 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22181] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22181/stat : 22181 (java) S 22168 22170 17268 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 391160191 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22170/tid=22182] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22182/stat : 22182 (java) S 22168 22170 17268 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 391160191 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22170/tid=22183] ppid=22168 vsize=1836788 CPUtime=0
/proc/22170/task/22183/stat : 22183 (java) S 22168 22170 17268 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 391160228 1880870912 53330 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 1836788
Child status: 143
Real time (s): 1200
CPU time (s): 1200.2
CPU user time (s): 1199.64
CPU system time (s): 0.567913
CPU usage (%): 100.017
Max. virtual memory (cumulated for all children) (KiB): 1836888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.64
system time used= 0.567913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55394
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= 24591
involuntary context switches= 24640
runsolver used 1.2948 second user time and 3.09853 second system time
The end
Begin job on node39 on Mon Mar 12 15:07:23 UTC 2007
IDJOB= 339818
IDBENCH= 24756
IDSOLVER= 96
FILE ID= node39/339818-1173712043
PBS_JOBID= 4101461
Free space on /tmp= 66548 MiB
SOLVER NAME= SAT4J SAT 2007
BENCH NAME= HOME/pub/bench/SAT07/crafted/Difficult/contest-02-03-04/contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf
COMMAND LINE= java -server -Xmx1650M -Xms1650M -jar /tmp/evaluation/339818-1173712043/sat4j-sat2007.jar /tmp/evaluation/339818-1173712043/instance-339818-1173712043.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-339818-1173712043 -o ROOT/results/node39/solver-339818-1173712043 -C 1200 -W 2400 -M 1800 --output-limit 1,15 java -server -Xmx1650M -Xms1650M -jar /tmp/evaluation/339818-1173712043/sat4j-sat2007.jar /tmp/evaluation/339818-1173712043/instance-339818-1173712043.cnf
META MD5SUM SOLVER= fd7c3100383641221a90b938607cc598
MD5SUM BENCH= 4a0cf034172f796c42342e79509e3449
RANDOM SEED= 908244629
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node39.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux
/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.285
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.285
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: 1779488 kB
Buffers: 32024 kB
Cached: 192972 kB
SwapCached: 6068 kB
Active: 118736 kB
Inactive: 119212 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1779488 kB
SwapTotal: 4192956 kB
SwapFree: 4181136 kB
Dirty: 1956 kB
Writeback: 0 kB
Mapped: 15580 kB
Slab: 24540 kB
Committed_AS: 822284 kB
PageTables: 1412 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= 66548 MiB
End job on node39 on Mon Mar 12 15:27:25 UTC 2007