0.08/0.28 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.08/0.28 c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.08/0.28 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.08/0.30 c version SAT COMPETITION 2007
0.08/0.30 c sun.arch.data.model 32
0.08/0.30 c java.version 1.6.0
0.08/0.30 c os.name Linux
0.08/0.30 c os.version 2.6.9-22.EL.rootsmp
0.08/0.30 c os.arch i386
0.08/0.30 c Free memory 1703279312
0.08/0.30 c Max memory 1706164224
0.08/0.30 c Total memory 1706164224
0.15/0.30 c Number of processors 2
0.15/0.35 c --- Begin Solver configuration ---
0.15/0.35 c Stops conflict analysis at the first Unique Implication Point
0.15/0.35 c org.sat4j.minisat.constraints.MixedDataStructureDaniel@15cda3f
0.15/0.35 c Limit learning to clauses of size smaller or equal to 10% of the number of variables
0.15/0.35 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.15/0.35 c VSIDS like heuristics from MiniSAT using a heap
0.15/0.35 c Expensive reason simplification
0.15/0.35 c --- End Solver configuration ---
0.15/0.35 c timeout: 2147483s
0.15/0.35 c solving /tmp/evaluation/314892-1172644646/instance-314892-1172644646.cnf
0.15/0.35 c reading problem ...
0.67/0.71 c ... done. Wall clock time 0.361s.
0.67/0.71 c CPU time (experimental) 0.45s.
0.67/0.71 c #vars 21734
0.67/0.71 c #constraints 78817
1200.05/1198.61 c starts : 20
1200.05/1198.61 c conflicts : 506716
1200.05/1198.61 c decisions : 872819
1200.05/1198.61 c propagations : 327056972
1200.05/1198.61 c inspects : 2551176003
1200.05/1198.61 c learnt literals : 0
1200.05/1198.61 c learnt binary clauses : 2195
1200.05/1198.61 c learnt ternary clauses : 5637
1200.05/1198.61 c learnt clauses : 506716
1200.05/1198.61 c root simplifications : 0
1200.05/1198.61 c removed literals (reason simplification) : 35565130
1200.05/1198.61 c reason swapping (by a shorter reason) : 0
1200.05/1198.61 c Calls to reduceDB : 0
1200.05/1198.61 c speed (decisions/second) : 728.6522397554293
1200.05/1198.61 c non guided choices 2783
1200.05/1198.61 s UNKNOWN
1200.05/1198.61 c Total wall clock time (in seconds) : 1198.258
1200.05/1198.61 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/node61/watcher-314892-1172644646 -o ROOT/results/node61/solver-314892-1172644646 -C 1200 -W 2400 -M 1800 --output-limit 1,15 java -server -Xmx1650M -Xms1650M -jar /tmp/evaluation/314892-1172644646/sat4j-sat2007.jar /tmp/evaluation/314892-1172644646/instance-314892-1172644646.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.92 0.98 0.99 2/64 24914
/proc/meminfo: memFree=1558688/2055920 swapFree=4183264/4192956
[pid=24914] ppid=24912 vsize=152 CPUtime=0
/proc/24914/stat : 24914 (java) R 24912 24914 23744 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 284421585 155648 26 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 10383659 0 0 4096 0 0 0 0 17 1 0 0
/proc/24914/statm: 38 26 19 9 0 4 0
[startup+0.0743839 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 24914
/proc/meminfo: memFree=1558688/2055920 swapFree=4183264/4192956
[pid=24914] ppid=24912 vsize=12916 CPUtime=0.01
/proc/24914/stat : 24914 (java) S 24912 24914 23744 0 -1 0 870 0 30 0 0 1 0 0 18 0 2 0 284421585 13225984 656 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/24914/statm: 3229 656 328 9 0 1243 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12916
[startup+0.101398 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 24914
/proc/meminfo: memFree=1558688/2055920 swapFree=4183264/4192956
[pid=24914] ppid=24912 vsize=1824340 CPUtime=0.01
/proc/24914/stat : 24914 (java) S 24912 24914 23744 0 -1 0 1829 0 31 0 0 1 0 0 18 0 2 0 284421585 1868124160 1609 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/24914/statm: 456085 1609 381 9 0 454099 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1824340
[startup+0.301405 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 24914
/proc/meminfo: memFree=1558688/2055920 swapFree=4183264/4192956
[pid=24914] ppid=24912 vsize=1831816 CPUtime=0.15
/proc/24914/stat : 24914 (java) S 24912 24914 23744 0 -1 0 4433 0 31 0 11 4 0 0 18 0 12 0 284421585 1875779584 4204 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24914/statm: 457955 4205 1234 9 0 455567 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 1831816
[startup+0.701438 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 24914
/proc/meminfo: memFree=1558688/2055920 swapFree=4183264/4192956
[pid=24914] ppid=24912 vsize=1834148 CPUtime=0.67
/proc/24914/stat : 24914 (java) S 24912 24914 23744 0 -1 0 7183 0 31 0 61 6 0 0 18 0 12 0 284421585 1878167552 6919 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24914/statm: 458537 6920 1290 9 0 456149 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 1834148
[startup+1.50253 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 24927
/proc/meminfo: memFree=1528184/2055920 swapFree=4183264/4192956
[pid=24914] ppid=24912 vsize=1836648 CPUtime=1.77
/proc/24914/stat : 24914 (java) S 24912 24914 23744 0 -1 0 8911 0 31 0 171 6 0 0 18 0 13 0 284421585 1880727552 7972 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24914/statm: 459162 7972 1313 9 0 456774 0
[pid=24914/tid=24916] ppid=24912 vsize=1836648 CPUtime=1.07
/proc/24914/task/24916/stat : 24916 (java) R 24912 24914 23744 0 -1 64 6388 0 6 0 103 4 0 0 18 0 13 0 284421589 1880727552 7972 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109191268 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24917] ppid=24912 vsize=1836648 CPUtime=0
/proc/24914/task/24917/stat : 24917 (java) S 24912 24914 23744 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 284421595 1880727552 7972 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24918] ppid=24912 vsize=1836648 CPUtime=0
/proc/24914/task/24918/stat : 24918 (java) S 24912 24914 23744 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 284421596 1880727552 7972 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24919] ppid=24912 vsize=1836648 CPUtime=0
/proc/24914/task/24919/stat : 24919 (java) S 24912 24914 23744 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 284421599 1880727552 7972 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24920] ppid=24912 vsize=1836648 CPUtime=0
/proc/24914/task/24920/stat : 24920 (java) S 24912 24914 23744 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 284421600 1880727552 7972 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24921] ppid=24912 vsize=1836648 CPUtime=0
/proc/24914/task/24921/stat : 24921 (java) S 24912 24914 23744 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 284421600 1880727552 7972 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24922] ppid=24912 vsize=1836648 CPUtime=0
/proc/24914/task/24922/stat : 24922 (java) S 24912 24914 23744 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 284421606 1880727552 7972 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24923] ppid=24912 vsize=1836648 CPUtime=0.33
/proc/24914/task/24923/stat : 24923 (java) S 24912 24914 23744 0 -1 64 1152 0 0 0 33 0 0 0 16 0 13 0 284421606 1880727552 7972 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24914/tid=24924] ppid=24912 vsize=1836648 CPUtime=0.33
/proc/24914/task/24924/stat : 24924 (java) S 24912 24914 23744 0 -1 64 675 0 0 0 33 0 0 0 16 0 13 0 284421606 1880727552 7972 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24925] ppid=24912 vsize=1836648 CPUtime=0
/proc/24914/task/24925/stat : 24925 (java) S 24912 24914 23744 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 284421606 1880727552 7972 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24926] ppid=24912 vsize=1836648 CPUtime=0
/proc/24914/task/24926/stat : 24926 (java) S 24912 24914 23744 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 284421606 1880727552 7972 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24927] ppid=24912 vsize=1836648 CPUtime=0
/proc/24914/task/24927/stat : 24927 (java) S 24912 24914 23744 0 -1 64 3 0 0 0 0 0 0 0 22 0 13 0 284421662 1880727552 7972 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.77
Current children cumulated vsize (KiB) 1836648
[startup+3.10268 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 24927
/proc/meminfo: memFree=1527288/2055920 swapFree=4183264/4192956
[pid=24914] ppid=24912 vsize=1836648 CPUtime=3.44
/proc/24914/stat : 24914 (java) S 24912 24914 23744 0 -1 0 9086 0 31 0 338 6 0 0 18 0 13 0 284421585 1880727552 8145 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24914/statm: 459162 8145 1316 9 0 456774 0
[pid=24914/tid=24916] ppid=24912 vsize=1836648 CPUtime=2.65
/proc/24914/task/24916/stat : 24916 (java) R 24912 24914 23744 0 -1 64 6553 0 6 0 261 4 0 0 24 0 13 0 284421589 1880727552 8145 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109538659 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24917] ppid=24912 vsize=1836648 CPUtime=0
/proc/24914/task/24917/stat : 24917 (java) S 24912 24914 23744 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 284421595 1880727552 8145 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24918] ppid=24912 vsize=1836648 CPUtime=0
/proc/24914/task/24918/stat : 24918 (java) S 24912 24914 23744 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 284421596 1880727552 8145 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24919] ppid=24912 vsize=1836648 CPUtime=0
/proc/24914/task/24919/stat : 24919 (java) S 24912 24914 23744 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 284421599 1880727552 8145 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24920] ppid=24912 vsize=1836648 CPUtime=0
/proc/24914/task/24920/stat : 24920 (java) S 24912 24914 23744 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 284421600 1880727552 8145 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24921] ppid=24912 vsize=1836648 CPUtime=0
/proc/24914/task/24921/stat : 24921 (java) S 24912 24914 23744 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 284421600 1880727552 8145 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24922] ppid=24912 vsize=1836648 CPUtime=0
/proc/24914/task/24922/stat : 24922 (java) S 24912 24914 23744 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 284421606 1880727552 8145 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24923] ppid=24912 vsize=1836648 CPUtime=0.38
/proc/24914/task/24923/stat : 24923 (java) S 24912 24914 23744 0 -1 64 1154 0 0 0 38 0 0 0 17 0 13 0 284421606 1880727552 8145 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24914/tid=24924] ppid=24912 vsize=1836648 CPUtime=0.38
/proc/24914/task/24924/stat : 24924 (java) S 24912 24914 23744 0 -1 64 683 0 0 0 38 0 0 0 15 0 13 0 284421606 1880727552 8145 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24925] ppid=24912 vsize=1836648 CPUtime=0
/proc/24914/task/24925/stat : 24925 (java) S 24912 24914 23744 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 284421606 1880727552 8145 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24926] ppid=24912 vsize=1836648 CPUtime=0
/proc/24914/task/24926/stat : 24926 (java) S 24912 24914 23744 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 284421606 1880727552 8145 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24927] ppid=24912 vsize=1836648 CPUtime=0
/proc/24914/task/24927/stat : 24927 (java) S 24912 24914 23744 0 -1 64 3 0 0 0 0 0 0 0 22 0 13 0 284421662 1880727552 8145 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.44
Current children cumulated vsize (KiB) 1836648
[startup+6.30199 s]
/proc/loadavg: 0.93 0.98 0.99 2/77 24927
/proc/meminfo: memFree=1525624/2055920 swapFree=4183264/4192956
[pid=24914] ppid=24912 vsize=1836332 CPUtime=6.66
/proc/24914/stat : 24914 (java) S 24912 24914 23744 0 -1 0 9453 0 31 0 659 7 0 0 18 0 13 0 284421585 1880403968 8431 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24914/statm: 459083 8431 1317 9 0 456695 0
[pid=24914/tid=24916] ppid=24912 vsize=1836332 CPUtime=5.81
/proc/24914/task/24916/stat : 24916 (java) R 24912 24914 23744 0 -1 64 6912 0 6 0 576 5 0 0 25 0 13 0 284421589 1880403968 8431 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109538659 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24917] ppid=24912 vsize=1836332 CPUtime=0
/proc/24914/task/24917/stat : 24917 (java) S 24912 24914 23744 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 284421595 1880403968 8431 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24918] ppid=24912 vsize=1836332 CPUtime=0
/proc/24914/task/24918/stat : 24918 (java) S 24912 24914 23744 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 284421596 1880403968 8431 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24919] ppid=24912 vsize=1836332 CPUtime=0
/proc/24914/task/24919/stat : 24919 (java) S 24912 24914 23744 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 284421599 1880403968 8431 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24920] ppid=24912 vsize=1836332 CPUtime=0
/proc/24914/task/24920/stat : 24920 (java) S 24912 24914 23744 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 284421600 1880403968 8431 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24921] ppid=24912 vsize=1836332 CPUtime=0
/proc/24914/task/24921/stat : 24921 (java) S 24912 24914 23744 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 284421600 1880403968 8431 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24922] ppid=24912 vsize=1836332 CPUtime=0
/proc/24914/task/24922/stat : 24922 (java) S 24912 24914 23744 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 284421606 1880403968 8431 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24923] ppid=24912 vsize=1836332 CPUtime=0.41
/proc/24914/task/24923/stat : 24923 (java) S 24912 24914 23744 0 -1 64 1160 0 0 0 41 0 0 0 17 0 13 0 284421606 1880403968 8431 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24914/tid=24924] ppid=24912 vsize=1836332 CPUtime=0.41
/proc/24914/task/24924/stat : 24924 (java) S 24912 24914 23744 0 -1 64 685 0 0 0 41 0 0 0 17 0 13 0 284421606 1880403968 8431 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24925] ppid=24912 vsize=1836332 CPUtime=0
/proc/24914/task/24925/stat : 24925 (java) S 24912 24914 23744 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 284421606 1880403968 8431 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24926] ppid=24912 vsize=1836332 CPUtime=0
/proc/24914/task/24926/stat : 24926 (java) S 24912 24914 23744 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 284421606 1880403968 8431 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24927] ppid=24912 vsize=1836332 CPUtime=0
/proc/24914/task/24927/stat : 24927 (java) S 24912 24914 23744 0 -1 64 3 0 0 0 0 0 0 0 22 0 13 0 284421662 1880403968 8431 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.66
Current children cumulated vsize (KiB) 1836332
[startup+12.7016 s]
/proc/loadavg: 0.93 0.98 0.99 2/77 24927
/proc/meminfo: memFree=1522488/2055920 swapFree=4183264/4192956
[pid=24914] ppid=24912 vsize=1836332 CPUtime=13.06
/proc/24914/stat : 24914 (java) S 24912 24914 23744 0 -1 0 10326 0 31 0 1298 8 0 0 18 0 13 0 284421585 1880403968 9303 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24914/statm: 459083 9303 1317 9 0 456695 0
[pid=24914/tid=24916] ppid=24912 vsize=1836332 CPUtime=12.21
/proc/24914/task/24916/stat : 24916 (java) R 24912 24914 23744 0 -1 64 7785 0 6 0 1215 6 0 0 25 0 13 0 284421589 1880403968 9303 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109618505 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24914/tid=24917] ppid=24912 vsize=1836332 CPUtime=0
/proc/24914/task/24917/stat : 24917 (java) S 24912 24914 23744 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 284421595 1880403968 9303 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24918] ppid=24912 vsize=1836332 CPUtime=0
/proc/24914/task/24918/stat : 24918 (java) S 24912 24914 23744 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 284421596 1880403968 9303 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24919] ppid=24912 vsize=1836332 CPUtime=0
/proc/24914/task/24919/stat : 24919 (java) S 24912 24914 23744 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 284421599 1880403968 9303 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24920] ppid=24912 vsize=1836332 CPUtime=0
/proc/24914/task/24920/stat : 24920 (java) S 24912 24914 23744 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 284421600 1880403968 9303 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24921] ppid=24912 vsize=1836332 CPUtime=0
/proc/24914/task/24921/stat : 24921 (java) S 24912 24914 23744 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 284421600 1880403968 9303 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24922] ppid=24912 vsize=1836332 CPUtime=0
/proc/24914/task/24922/stat : 24922 (java) S 24912 24914 23744 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 284421606 1880403968 9303 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24923] ppid=24912 vsize=1836332 CPUtime=0.41
/proc/24914/task/24923/stat : 24923 (java) S 24912 24914 23744 0 -1 64 1160 0 0 0 41 0 0 0 17 0 13 0 284421606 1880403968 9303 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24914/tid=24924] ppid=24912 vsize=1836332 CPUtime=0.41
/proc/24914/task/24924/stat : 24924 (java) S 24912 24914 23744 0 -1 64 685 0 0 0 41 0 0 0 17 0 13 0 284421606 1880403968 9303 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24925] ppid=24912 vsize=1836332 CPUtime=0
/proc/24914/task/24925/stat : 24925 (java) S 24912 24914 23744 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 284421606 1880403968 9303 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24926] ppid=24912 vsize=1836332 CPUtime=0
/proc/24914/task/24926/stat : 24926 (java) S 24912 24914 23744 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 284421606 1880403968 9303 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24927] ppid=24912 vsize=1836332 CPUtime=0
/proc/24914/task/24927/stat : 24927 (java) S 24912 24914 23744 0 -1 64 3 0 0 0 0 0 0 0 22 0 13 0 284421662 1880403968 9303 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.06
Current children cumulated vsize (KiB) 1836332
[startup+25.5028 s]
/proc/loadavg: 0.95 0.98 0.99 2/77 24927
/proc/meminfo: memFree=1516536/2055920 swapFree=4183264/4192956
[pid=24914] ppid=24912 vsize=1836332 CPUtime=25.86
/proc/24914/stat : 24914 (java) S 24912 24914 23744 0 -1 0 11751 0 31 0 2577 9 0 0 18 0 13 0 284421585 1880403968 10728 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24914/statm: 459083 10728 1317 9 0 456695 0
[pid=24914/tid=24916] ppid=24912 vsize=1836332 CPUtime=25
/proc/24914/task/24916/stat : 24916 (java) R 24912 24914 23744 0 -1 64 9209 0 6 0 2493 7 0 0 25 0 13 0 284421589 1880403968 10728 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109568887 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24914/tid=24917] ppid=24912 vsize=1836332 CPUtime=0
/proc/24914/task/24917/stat : 24917 (java) S 24912 24914 23744 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 284421595 1880403968 10728 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24918] ppid=24912 vsize=1836332 CPUtime=0
/proc/24914/task/24918/stat : 24918 (java) S 24912 24914 23744 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 284421596 1880403968 10728 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
################
# More data... #
################
[pid=24914/tid=24919] ppid=24912 vsize=1840180 CPUtime=0
/proc/24914/task/24919/stat : 24919 (java) S 24912 24914 23744 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 284421599 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24920] ppid=24912 vsize=1840180 CPUtime=0
/proc/24914/task/24920/stat : 24920 (java) S 24912 24914 23744 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 284421600 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24921] ppid=24912 vsize=1840180 CPUtime=0
/proc/24914/task/24921/stat : 24921 (java) S 24912 24914 23744 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 284421600 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24922] ppid=24912 vsize=1840180 CPUtime=0
/proc/24914/task/24922/stat : 24922 (java) S 24912 24914 23744 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 284421606 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24923] ppid=24912 vsize=1840180 CPUtime=0.42
/proc/24914/task/24923/stat : 24923 (java) S 24912 24914 23744 0 -1 64 1161 0 0 0 42 0 0 0 17 0 13 0 284421606 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24914/tid=24924] ppid=24912 vsize=1840180 CPUtime=0.42
/proc/24914/task/24924/stat : 24924 (java) S 24912 24914 23744 0 -1 64 685 0 0 0 42 0 0 0 16 0 13 0 284421606 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24925] ppid=24912 vsize=1840180 CPUtime=0
/proc/24914/task/24925/stat : 24925 (java) S 24912 24914 23744 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 284421606 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24926] ppid=24912 vsize=1840180 CPUtime=0
/proc/24914/task/24926/stat : 24926 (java) S 24912 24914 23744 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 284421606 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24927] ppid=24912 vsize=1840180 CPUtime=0
/proc/24914/task/24927/stat : 24927 (java) S 24912 24914 23744 0 -1 64 3 0 0 0 0 0 0 0 22 0 13 0 284421662 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1003.24
Current children cumulated vsize (KiB) 1840180
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 24929
/proc/meminfo: memFree=1088248/2055920 swapFree=4183264/4192956
[pid=24914] ppid=24912 vsize=1840180 CPUtime=1063.23
/proc/24914/stat : 24914 (java) S 24912 24914 23744 0 -1 0 145622 0 31 0 106230 93 0 0 18 0 13 0 284421585 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24914/statm: 460045 117476 1324 9 0 457657 0
[pid=24914/tid=24916] ppid=24912 vsize=1840180 CPUtime=1060.63
/proc/24914/task/24916/stat : 24916 (java) R 24912 24914 23744 0 -1 64 38829 0 6 0 106020 43 0 0 25 0 13 0 284421589 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109567656 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24914/tid=24917] ppid=24912 vsize=1840180 CPUtime=0.85
/proc/24914/task/24917/stat : 24917 (java) S 24912 24914 23744 0 -1 64 56726 0 0 0 59 26 0 0 22 0 13 0 284421595 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24918] ppid=24912 vsize=1840180 CPUtime=0.85
/proc/24914/task/24918/stat : 24918 (java) S 24912 24914 23744 0 -1 64 47520 0 0 0 64 21 0 0 21 0 13 0 284421596 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24919] ppid=24912 vsize=1840180 CPUtime=0
/proc/24914/task/24919/stat : 24919 (java) S 24912 24914 23744 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 284421599 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24920] ppid=24912 vsize=1840180 CPUtime=0
/proc/24914/task/24920/stat : 24920 (java) S 24912 24914 23744 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 284421600 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24921] ppid=24912 vsize=1840180 CPUtime=0
/proc/24914/task/24921/stat : 24921 (java) S 24912 24914 23744 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 284421600 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24922] ppid=24912 vsize=1840180 CPUtime=0
/proc/24914/task/24922/stat : 24922 (java) S 24912 24914 23744 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 284421606 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24923] ppid=24912 vsize=1840180 CPUtime=0.42
/proc/24914/task/24923/stat : 24923 (java) S 24912 24914 23744 0 -1 64 1161 0 0 0 42 0 0 0 17 0 13 0 284421606 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24914/tid=24924] ppid=24912 vsize=1840180 CPUtime=0.42
/proc/24914/task/24924/stat : 24924 (java) S 24912 24914 23744 0 -1 64 685 0 0 0 42 0 0 0 16 0 13 0 284421606 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24925] ppid=24912 vsize=1840180 CPUtime=0
/proc/24914/task/24925/stat : 24925 (java) S 24912 24914 23744 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 284421606 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24926] ppid=24912 vsize=1840180 CPUtime=0
/proc/24914/task/24926/stat : 24926 (java) S 24912 24914 23744 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 284421606 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24927] ppid=24912 vsize=1840180 CPUtime=0
/proc/24914/task/24927/stat : 24927 (java) S 24912 24914 23744 0 -1 64 3 0 0 0 0 0 0 0 22 0 13 0 284421662 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1063.23
Current children cumulated vsize (KiB) 1840180
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 24929
/proc/meminfo: memFree=1088184/2055920 swapFree=4183264/4192956
[pid=24914] ppid=24912 vsize=1840180 CPUtime=1123.22
/proc/24914/stat : 24914 (java) S 24912 24914 23744 0 -1 0 145622 0 31 0 112229 93 0 0 18 0 13 0 284421585 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24914/statm: 460045 117476 1324 9 0 457657 0
[pid=24914/tid=24916] ppid=24912 vsize=1840180 CPUtime=1120.62
/proc/24914/task/24916/stat : 24916 (java) R 24912 24914 23744 0 -1 64 38829 0 6 0 112019 43 0 0 25 0 13 0 284421589 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109593600 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24914/tid=24917] ppid=24912 vsize=1840180 CPUtime=0.85
/proc/24914/task/24917/stat : 24917 (java) S 24912 24914 23744 0 -1 64 56726 0 0 0 59 26 0 0 22 0 13 0 284421595 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24918] ppid=24912 vsize=1840180 CPUtime=0.85
/proc/24914/task/24918/stat : 24918 (java) S 24912 24914 23744 0 -1 64 47520 0 0 0 64 21 0 0 21 0 13 0 284421596 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24919] ppid=24912 vsize=1840180 CPUtime=0
/proc/24914/task/24919/stat : 24919 (java) S 24912 24914 23744 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 284421599 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24920] ppid=24912 vsize=1840180 CPUtime=0
/proc/24914/task/24920/stat : 24920 (java) S 24912 24914 23744 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 284421600 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24921] ppid=24912 vsize=1840180 CPUtime=0
/proc/24914/task/24921/stat : 24921 (java) S 24912 24914 23744 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 284421600 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24922] ppid=24912 vsize=1840180 CPUtime=0
/proc/24914/task/24922/stat : 24922 (java) S 24912 24914 23744 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 284421606 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24923] ppid=24912 vsize=1840180 CPUtime=0.42
/proc/24914/task/24923/stat : 24923 (java) S 24912 24914 23744 0 -1 64 1161 0 0 0 42 0 0 0 17 0 13 0 284421606 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24914/tid=24924] ppid=24912 vsize=1840180 CPUtime=0.42
/proc/24914/task/24924/stat : 24924 (java) S 24912 24914 23744 0 -1 64 685 0 0 0 42 0 0 0 16 0 13 0 284421606 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24925] ppid=24912 vsize=1840180 CPUtime=0
/proc/24914/task/24925/stat : 24925 (java) S 24912 24914 23744 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 284421606 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24926] ppid=24912 vsize=1840180 CPUtime=0
/proc/24914/task/24926/stat : 24926 (java) S 24912 24914 23744 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 284421606 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24927] ppid=24912 vsize=1840180 CPUtime=0
/proc/24914/task/24927/stat : 24927 (java) S 24912 24914 23744 0 -1 64 3 0 0 0 0 0 0 0 22 0 13 0 284421662 1884344320 117476 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1123.22
Current children cumulated vsize (KiB) 1840180
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 24929
/proc/meminfo: memFree=939704/2055920 swapFree=4183264/4192956
[pid=24914] ppid=24912 vsize=1841460 CPUtime=1183.75
/proc/24914/stat : 24914 (java) S 24912 24914 23744 0 -1 0 200868 0 31 0 118258 117 0 0 18 0 13 0 284421585 1885655040 154562 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24914/statm: 460365 154562 1324 9 0 457977 0
[pid=24914/tid=24916] ppid=24912 vsize=1841460 CPUtime=1180.02
/proc/24914/task/24916/stat : 24916 (java) R 24912 24914 23744 0 -1 64 38830 0 6 0 117958 44 0 0 25 0 13 0 284421589 1885655040 154562 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109593600 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24914/tid=24917] ppid=24912 vsize=1841460 CPUtime=1.43
/proc/24914/task/24917/stat : 24917 (java) S 24912 24914 23744 0 -1 64 85990 0 0 0 105 38 0 0 22 0 13 0 284421595 1885655040 154562 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24918] ppid=24912 vsize=1841460 CPUtime=1.4
/proc/24914/task/24918/stat : 24918 (java) S 24912 24914 23744 0 -1 64 73501 0 0 0 108 32 0 0 20 0 13 0 284421596 1885655040 154562 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24919] ppid=24912 vsize=1841460 CPUtime=0
/proc/24914/task/24919/stat : 24919 (java) S 24912 24914 23744 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 284421599 1885655040 154562 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24920] ppid=24912 vsize=1841460 CPUtime=0
/proc/24914/task/24920/stat : 24920 (java) S 24912 24914 23744 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 284421600 1885655040 154562 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24921] ppid=24912 vsize=1841460 CPUtime=0
/proc/24914/task/24921/stat : 24921 (java) S 24912 24914 23744 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 284421600 1885655040 154562 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24922] ppid=24912 vsize=1841460 CPUtime=0
/proc/24914/task/24922/stat : 24922 (java) S 24912 24914 23744 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 284421606 1885655040 154562 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24923] ppid=24912 vsize=1841460 CPUtime=0.42
/proc/24914/task/24923/stat : 24923 (java) S 24912 24914 23744 0 -1 64 1161 0 0 0 42 0 0 0 17 0 13 0 284421606 1885655040 154562 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24914/tid=24924] ppid=24912 vsize=1841460 CPUtime=0.42
/proc/24914/task/24924/stat : 24924 (java) S 24912 24914 23744 0 -1 64 685 0 0 0 42 0 0 0 16 0 13 0 284421606 1885655040 154562 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24925] ppid=24912 vsize=1841460 CPUtime=0
/proc/24914/task/24925/stat : 24925 (java) S 24912 24914 23744 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 284421606 1885655040 154562 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24926] ppid=24912 vsize=1841460 CPUtime=0
/proc/24914/task/24926/stat : 24926 (java) S 24912 24914 23744 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 284421606 1885655040 154562 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24927] ppid=24912 vsize=1841460 CPUtime=0
/proc/24914/task/24927/stat : 24927 (java) S 24912 24914 23744 0 -1 64 3 0 0 0 0 0 0 0 22 0 13 0 284421662 1885655040 154562 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1183.75
Current children cumulated vsize (KiB) 1841460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1198.6 s]
/proc/loadavg: 1.07 1.00 1.00 2/77 24929
/proc/meminfo: memFree=939704/2055920 swapFree=4183264/4192956
[pid=24914] ppid=24912 vsize=1841460 CPUtime=1200.05
/proc/24914/stat : 24914 (java) S 24912 24914 23744 0 -1 0 200868 0 31 0 119888 117 0 0 18 0 13 0 284421585 1885655040 154562 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24914/statm: 460365 154562 1324 9 0 457977 0
[pid=24914/tid=24916] ppid=24912 vsize=1841460 CPUtime=1196.32
/proc/24914/task/24916/stat : 24916 (java) R 24912 24914 23744 0 -1 64 38830 0 6 0 119588 44 0 0 25 0 13 0 284421589 1885655040 154562 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109593600 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24914/tid=24917] ppid=24912 vsize=1841460 CPUtime=1.43
/proc/24914/task/24917/stat : 24917 (java) S 24912 24914 23744 0 -1 64 85990 0 0 0 105 38 0 0 22 0 13 0 284421595 1885655040 154562 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24918] ppid=24912 vsize=1841460 CPUtime=1.4
/proc/24914/task/24918/stat : 24918 (java) S 24912 24914 23744 0 -1 64 73501 0 0 0 108 32 0 0 20 0 13 0 284421596 1885655040 154562 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24919] ppid=24912 vsize=1841460 CPUtime=0
/proc/24914/task/24919/stat : 24919 (java) S 24912 24914 23744 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 284421599 1885655040 154562 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24920] ppid=24912 vsize=1841460 CPUtime=0
/proc/24914/task/24920/stat : 24920 (java) S 24912 24914 23744 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 284421600 1885655040 154562 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24921] ppid=24912 vsize=1841460 CPUtime=0
/proc/24914/task/24921/stat : 24921 (java) S 24912 24914 23744 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 284421600 1885655040 154562 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24922] ppid=24912 vsize=1841460 CPUtime=0
/proc/24914/task/24922/stat : 24922 (java) S 24912 24914 23744 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 284421606 1885655040 154562 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24923] ppid=24912 vsize=1841460 CPUtime=0.42
/proc/24914/task/24923/stat : 24923 (java) S 24912 24914 23744 0 -1 64 1161 0 0 0 42 0 0 0 17 0 13 0 284421606 1885655040 154562 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24914/tid=24924] ppid=24912 vsize=1841460 CPUtime=0.42
/proc/24914/task/24924/stat : 24924 (java) S 24912 24914 23744 0 -1 64 685 0 0 0 42 0 0 0 16 0 13 0 284421606 1885655040 154562 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24925] ppid=24912 vsize=1841460 CPUtime=0
/proc/24914/task/24925/stat : 24925 (java) S 24912 24914 23744 0 -1 64 0 0 0 0 0 0 0 0 22 0 13 0 284421606 1885655040 154562 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24926] ppid=24912 vsize=1841460 CPUtime=0
/proc/24914/task/24926/stat : 24926 (java) S 24912 24914 23744 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 284421606 1885655040 154562 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24914/tid=24927] ppid=24912 vsize=1841460 CPUtime=0
/proc/24914/task/24927/stat : 24927 (java) S 24912 24914 23744 0 -1 64 3 0 0 0 0 0 0 0 22 0 13 0 284421662 1885655040 154562 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 1841460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1198.71 s]
/proc/loadavg: 1.07 1.00 1.00 2/77 24929
/proc/meminfo: memFree=939704/2055920 swapFree=4183264/4192956
[pid=24914] ppid=24912 vsize=0 CPUtime=1200.16
/proc/24914/stat : 24914 (java) Z 24912 24914 23744 0 -1 1036 200888 0 31 0 119894 122 0 0 15 0 2 0 284421585 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24914/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1200.16
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1198.76
CPU time (s): 1200.21
CPU user time (s): 1198.95
CPU system time (s): 1.26281
CPU usage (%): 100.121
Max. virtual memory (cumulated for all children) (KiB): 1841460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1198.95
system time used= 1.26281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200888
page faults= 31
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25071
involuntary context switches= 2503
runsolver used 1.42178 second user time and 2.95955 second system time
The end
Begin job on node61 on Wed Feb 28 06:37:27 UTC 2007
IDJOB= 314892
IDBENCH= 20403
IDSOLVER= 96
FILE ID= node61/314892-1172644646
PBS_JOBID= 3981156
Free space on /tmp= 66521 MiB
SOLVER NAME= SAT4J SAT 2007
BENCH NAME= HOME/pub/bench/SAT07/industrial/fuhs/hard/AProVE07-26.cnf
COMMAND LINE= java -server -Xmx1650M -Xms1650M -jar /tmp/evaluation/314892-1172644646/sat4j-sat2007.jar /tmp/evaluation/314892-1172644646/instance-314892-1172644646.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-314892-1172644646 -o ROOT/results/node61/solver-314892-1172644646 -C 1200 -W 2400 -M 1800 --output-limit 1,15 java -server -Xmx1650M -Xms1650M -jar /tmp/evaluation/314892-1172644646/sat4j-sat2007.jar /tmp/evaluation/314892-1172644646/instance-314892-1172644646.cnf
META MD5SUM SOLVER= fd7c3100383641221a90b938607cc598
MD5SUM BENCH= 0cf155110f71a43081221b427d368ee8
RANDOM SEED= 953454544
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node61.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.216
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.216
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: 1559224 kB
Buffers: 30356 kB
Cached: 414924 kB
SwapCached: 3996 kB
Active: 56276 kB
Inactive: 399064 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1559224 kB
SwapTotal: 4192956 kB
SwapFree: 4183264 kB
Dirty: 2576 kB
Writeback: 0 kB
Mapped: 15424 kB
Slab: 27500 kB
Committed_AS: 790656 kB
PageTables: 1388 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= 66521 MiB
End job on node61 on Wed Feb 28 06:57:27 UTC 2007