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.20 c --- Begin Solver configuration ---
0.08/0.20 c Stops conflict analysis at the first Unique Implication Point
0.08/0.20 c org.sat4j.minisat.constraints.MixedDataStructureDaniel@15cda3f
0.08/0.20 c Limit learning to clauses of size smaller or equal to 10% of the number of variables
0.08/0.20 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.08/0.20 c VSIDS like heuristics from MiniSAT using a heap
0.08/0.20 c Expensive reason simplification
0.08/0.20 c --- End Solver configuration ---
0.08/0.20 c timeout: 2147483s
0.08/0.20 c solving /tmp/evaluation/295437-1171805736/instance-295437-1171805736.cnf
0.08/0.20 c reading problem ...
0.37/0.32 c ... done. Wall clock time 0.124s.
0.37/0.32 c CPU time (experimental) 0.23s.
0.37/0.32 c #vars 55
0.37/0.32 c #constraints 4895
1200.08/1200.04 c starts : 29
1200.08/1200.04 c conflicts : 20347930
1200.08/1200.04 c decisions : 22556382
1200.08/1200.04 c propagations : 176966425
1200.08/1200.04 c inspects : 8272674898
1200.08/1200.04 c learnt literals : 0
1200.08/1200.04 c learnt binary clauses : 0
1200.08/1200.04 c learnt ternary clauses : 5
1200.08/1200.04 c learnt clauses : 964
1200.08/1200.04 c root simplifications : 0
1200.08/1200.04 c removed literals (reason simplification) : 78441443
1200.08/1200.04 c reason swapping (by a shorter reason) : 0
1200.08/1200.05 c Calls to reduceDB : 0
1200.08/1200.05 c speed (decisions/second) : 18801.400161204416
1200.08/1200.05 c non guided choices 27
1200.08/1200.05 s UNKNOWN
1200.08/1200.05 c Total wall clock time (in seconds) : 1199.844
1200.08/1200.05 c Total CPU time (experimental, in seconds) : 0.0
runsolver version 3.2.0 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node40/watcher-295437-1171805736 -o ROOT/results/node40/solver-295437-1171805736 -C 1200 -M 1800 --output-limit 1,15 java -server -Xmx1650M -Xms1650M -jar /tmp/evaluation/295437-1171805736/sat4j-sat2007.jar /tmp/evaluation/295437-1171805736/instance-295437-1171805736.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 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 3/64 9282
/proc/meminfo: memFree=781736/2055920 swapFree=4183864/4192956
[pid=9282] ppid=9280 vsize=18568 CPUtime=0
/proc/9282/stat : 9282 (runsolver) R 9280 9282 8384 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 105607873 19013632 292 18446744073709551615 4194304 4293652 548682068864 18446744073709551615 264519609639 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/9282/statm: 4642 292 257 24 0 2626 0
[startup+0.106657 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9282
/proc/meminfo: memFree=781736/2055920 swapFree=4183864/4192956
[pid=9282] ppid=9280 vsize=1831792 CPUtime=0.08
/proc/9282/stat : 9282 (java) S 9280 9282 8384 0 -1 0 4031 0 1 0 6 2 0 0 18 0 12 0 105607873 1875755008 3772 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9282/statm: 457948 3772 1123 9 0 455567 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1831792
[startup+0.514712 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 9282
/proc/meminfo: memFree=781736/2055920 swapFree=4183864/4192956
[pid=9282] ppid=9280 vsize=1836700 CPUtime=0.72
/proc/9282/stat : 9282 (java) S 9280 9282 8384 0 -1 0 6824 0 1 0 68 4 0 0 18 0 13 0 105607873 1880780800 5869 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9282/statm: 459175 5869 1304 9 0 456787 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 1836700
[startup+1.33682 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 9295
/proc/meminfo: memFree=761920/2055920 swapFree=4183864/4192956
[pid=9282] ppid=9280 vsize=1837724 CPUtime=1.7
/proc/9282/stat : 9282 (java) S 9280 9282 8384 0 -1 0 7403 0 1 0 166 4 0 0 18 0 13 0 105607873 1881829376 6283 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9282/statm: 459431 6283 1311 9 0 457043 0
[pid=9282/tid=9284] ppid=9280 vsize=1837724 CPUtime=1.11
/proc/9282/task/9284/stat : 9284 (java) R 9280 9282 8384 0 -1 64 4444 0 1 0 108 3 0 0 18 0 13 0 105607875 1881829376 6283 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109527600 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9285] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9285/stat : 9285 (java) S 9280 9282 8384 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 105607876 1881829376 6283 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9286] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9286/stat : 9286 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 105607876 1881829376 6283 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9287] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9287/stat : 9287 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 105607878 1881829376 6283 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9288] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9288/stat : 9288 (java) S 9280 9282 8384 0 -1 64 9 0 0 0 0 0 0 0 20 0 13 0 105607879 1881829376 6283 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9289] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9289/stat : 9289 (java) S 9280 9282 8384 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 105607879 1881829376 6283 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9290] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9290/stat : 9290 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 105607883 1881829376 6283 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9291] ppid=9280 vsize=1837724 CPUtime=0.28
/proc/9282/task/9291/stat : 9291 (java) S 9280 9282 8384 0 -1 64 1094 0 0 0 28 0 0 0 16 0 13 0 105607883 1881829376 6283 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9292] ppid=9280 vsize=1837724 CPUtime=0.28
/proc/9282/task/9292/stat : 9292 (java) S 9280 9282 8384 0 -1 64 1142 0 0 0 28 0 0 0 16 0 13 0 105607883 1881829376 6283 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9293] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9293/stat : 9293 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 105607883 1881829376 6283 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9294] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9294/stat : 9294 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 105607883 1881829376 6283 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9295] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9295/stat : 9295 (java) S 9280 9282 8384 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 105607906 1881829376 6283 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 1837724
[startup+2.98902 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 9295
/proc/meminfo: memFree=759616/2055920 swapFree=4183864/4192956
[pid=9282] ppid=9280 vsize=1837724 CPUtime=3.36
/proc/9282/stat : 9282 (java) S 9280 9282 8384 0 -1 0 8203 0 1 0 331 5 0 0 18 0 13 0 105607873 1881829376 7082 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9282/statm: 459431 7082 1311 9 0 457043 0
[pid=9282/tid=9284] ppid=9280 vsize=1837724 CPUtime=2.76
/proc/9282/task/9284/stat : 9284 (java) R 9280 9282 8384 0 -1 64 5244 0 1 0 273 3 0 0 25 0 13 0 105607875 1881829376 7082 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109527600 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9285] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9285/stat : 9285 (java) S 9280 9282 8384 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 105607876 1881829376 7082 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9286] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9286/stat : 9286 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 105607876 1881829376 7082 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9287] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9287/stat : 9287 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 105607878 1881829376 7082 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9288] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9288/stat : 9288 (java) S 9280 9282 8384 0 -1 64 9 0 0 0 0 0 0 0 20 0 13 0 105607879 1881829376 7082 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9289] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9289/stat : 9289 (java) S 9280 9282 8384 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 105607879 1881829376 7082 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9290] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9290/stat : 9290 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 105607883 1881829376 7082 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9291] ppid=9280 vsize=1837724 CPUtime=0.28
/proc/9282/task/9291/stat : 9291 (java) S 9280 9282 8384 0 -1 64 1094 0 0 0 28 0 0 0 16 0 13 0 105607883 1881829376 7082 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9292] ppid=9280 vsize=1837724 CPUtime=0.28
/proc/9282/task/9292/stat : 9292 (java) S 9280 9282 8384 0 -1 64 1142 0 0 0 28 0 0 0 15 0 13 0 105607883 1881829376 7082 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9293] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9293/stat : 9293 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 105607883 1881829376 7082 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9294] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9294/stat : 9294 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 105607883 1881829376 7082 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9295] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9295/stat : 9295 (java) S 9280 9282 8384 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 105607906 1881829376 7082 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.36
Current children cumulated vsize (KiB) 1837724
[startup+6.19244 s]
/proc/loadavg: 0.93 0.98 0.99 2/77 9295
/proc/meminfo: memFree=752832/2055920 swapFree=4183864/4192956
[pid=9282] ppid=9280 vsize=1837724 CPUtime=6.55
/proc/9282/stat : 9282 (java) S 9280 9282 8384 0 -1 0 9730 0 1 0 650 5 0 0 18 0 13 0 105607873 1881829376 8608 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9282/statm: 459431 8608 1311 9 0 457043 0
[pid=9282/tid=9284] ppid=9280 vsize=1837724 CPUtime=5.96
/proc/9282/task/9284/stat : 9284 (java) R 9280 9282 8384 0 -1 64 6771 0 1 0 592 4 0 0 25 0 13 0 105607875 1881829376 8608 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109527431 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9285] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9285/stat : 9285 (java) S 9280 9282 8384 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 105607876 1881829376 8608 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9286] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9286/stat : 9286 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 105607876 1881829376 8608 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9287] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9287/stat : 9287 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 105607878 1881829376 8608 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9288] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9288/stat : 9288 (java) S 9280 9282 8384 0 -1 64 9 0 0 0 0 0 0 0 20 0 13 0 105607879 1881829376 8608 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9289] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9289/stat : 9289 (java) S 9280 9282 8384 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 105607879 1881829376 8608 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9290] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9290/stat : 9290 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 105607883 1881829376 8608 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9291] ppid=9280 vsize=1837724 CPUtime=0.28
/proc/9282/task/9291/stat : 9291 (java) S 9280 9282 8384 0 -1 64 1094 0 0 0 28 0 0 0 16 0 13 0 105607883 1881829376 8608 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9292] ppid=9280 vsize=1837724 CPUtime=0.28
/proc/9282/task/9292/stat : 9292 (java) S 9280 9282 8384 0 -1 64 1142 0 0 0 28 0 0 0 15 0 13 0 105607883 1881829376 8608 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9293] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9293/stat : 9293 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 105607883 1881829376 8608 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9294] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9294/stat : 9294 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 105607883 1881829376 8608 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9295] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9295/stat : 9295 (java) S 9280 9282 8384 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 105607906 1881829376 8608 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.55
Current children cumulated vsize (KiB) 1837724
[startup+12.6723 s]
/proc/loadavg: 0.93 0.98 0.99 2/77 9295
/proc/meminfo: memFree=740168/2055920 swapFree=4183864/4192956
[pid=9282] ppid=9280 vsize=1837724 CPUtime=13.04
/proc/9282/stat : 9282 (java) S 9280 9282 8384 0 -1 0 12714 0 1 0 1297 7 0 0 18 0 13 0 105607873 1881829376 11592 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9282/statm: 459431 11592 1311 9 0 457043 0
[pid=9282/tid=9284] ppid=9280 vsize=1837724 CPUtime=12.44
/proc/9282/task/9284/stat : 9284 (java) R 9280 9282 8384 0 -1 64 9755 0 1 0 1239 5 0 0 25 0 13 0 105607875 1881829376 11592 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109527917 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9285] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9285/stat : 9285 (java) S 9280 9282 8384 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 105607876 1881829376 11592 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9286] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9286/stat : 9286 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 105607876 1881829376 11592 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9287] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9287/stat : 9287 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 105607878 1881829376 11592 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9288] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9288/stat : 9288 (java) S 9280 9282 8384 0 -1 64 9 0 0 0 0 0 0 0 20 0 13 0 105607879 1881829376 11592 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9289] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9289/stat : 9289 (java) S 9280 9282 8384 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 105607879 1881829376 11592 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9290] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9290/stat : 9290 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 105607883 1881829376 11592 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9291] ppid=9280 vsize=1837724 CPUtime=0.28
/proc/9282/task/9291/stat : 9291 (java) S 9280 9282 8384 0 -1 64 1094 0 0 0 28 0 0 0 16 0 13 0 105607883 1881829376 11592 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9292] ppid=9280 vsize=1837724 CPUtime=0.28
/proc/9282/task/9292/stat : 9292 (java) S 9280 9282 8384 0 -1 64 1142 0 0 0 28 0 0 0 15 0 13 0 105607883 1881829376 11592 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9293] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9293/stat : 9293 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 105607883 1881829376 11592 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9294] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9294/stat : 9294 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 105607883 1881829376 11592 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9295] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9295/stat : 9295 (java) S 9280 9282 8384 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 105607906 1881829376 11592 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 13.04
Current children cumulated vsize (KiB) 1837724
[startup+25.5319 s]
/proc/loadavg: 0.95 0.98 0.99 2/77 9295
/proc/meminfo: memFree=716552/2055920 swapFree=4183864/4192956
[pid=9282] ppid=9280 vsize=1837724 CPUtime=25.89
/proc/9282/stat : 9282 (java) S 9280 9282 8384 0 -1 0 18779 0 1 0 2579 10 0 0 18 0 13 0 105607873 1881829376 17657 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9282/statm: 459431 17657 1311 9 0 457043 0
[pid=9282/tid=9284] ppid=9280 vsize=1837724 CPUtime=25.3
/proc/9282/task/9284/stat : 9284 (java) R 9280 9282 8384 0 -1 64 15820 0 1 0 2521 9 0 0 25 0 13 0 105607875 1881829376 17657 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109591202 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9285] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9285/stat : 9285 (java) S 9280 9282 8384 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 105607876 1881829376 17657 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9286] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9286/stat : 9286 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 105607876 1881829376 17657 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9287] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9287/stat : 9287 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 105607878 1881829376 17657 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9288] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9288/stat : 9288 (java) S 9280 9282 8384 0 -1 64 9 0 0 0 0 0 0 0 20 0 13 0 105607879 1881829376 17657 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9289] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9289/stat : 9289 (java) S 9280 9282 8384 0 -1 64 4 0 0 0 0 0 0 0 21 0 13 0 105607879 1881829376 17657 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9290] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9290/stat : 9290 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 105607883 1881829376 17657 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9291] ppid=9280 vsize=1837724 CPUtime=0.28
/proc/9282/task/9291/stat : 9291 (java) S 9280 9282 8384 0 -1 64 1094 0 0 0 28 0 0 0 16 0 13 0 105607883 1881829376 17657 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9292] ppid=9280 vsize=1837724 CPUtime=0.28
/proc/9282/task/9292/stat : 9292 (java) S 9280 9282 8384 0 -1 64 1142 0 0 0 28 0 0 0 15 0 13 0 105607883 1881829376 17657 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9293] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9293/stat : 9293 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 105607883 1881829376 17657 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9294] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9294/stat : 9294 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 105607883 1881829376 17657 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9295] ppid=9280 vsize=1837724 CPUtime=0
/proc/9282/task/9295/stat : 9295 (java) S 9280 9282 8384 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 105607906 1881829376 17657 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.89
################
# More data... #
################
[pid=9282] ppid=9280 vsize=1837192 CPUtime=1062.7
/proc/9282/stat : 9282 (java) S 9280 9282 8384 0 -1 0 42643 0 1 0 106245 25 0 0 18 0 13 0 105607873 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9282/statm: 459298 40962 1324 9 0 456910 0
[pid=9282/tid=9284] ppid=9280 vsize=1837192 CPUtime=1062.01
/proc/9282/task/9284/stat : 9284 (java) R 9280 9282 8384 0 -1 64 38818 0 1 0 106178 23 0 0 25 0 13 0 105607875 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109515625 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9285] ppid=9280 vsize=1837192 CPUtime=0.02
/proc/9282/task/9285/stat : 9285 (java) S 9280 9282 8384 0 -1 64 428 0 0 0 2 0 0 0 16 0 13 0 105607876 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9286] ppid=9280 vsize=1837192 CPUtime=0.02
/proc/9282/task/9286/stat : 9286 (java) S 9280 9282 8384 0 -1 64 421 0 0 0 2 0 0 0 16 0 13 0 105607876 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9287] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9287/stat : 9287 (java) S 9280 9282 8384 0 -1 64 15 0 0 0 0 0 0 0 16 0 13 0 105607878 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9288] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9288/stat : 9288 (java) S 9280 9282 8384 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 105607879 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9289] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9289/stat : 9289 (java) S 9280 9282 8384 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 105607879 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9290] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9290/stat : 9290 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 105607883 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9291] ppid=9280 vsize=1837192 CPUtime=0.3
/proc/9282/task/9291/stat : 9291 (java) S 9280 9282 8384 0 -1 64 1096 0 0 0 30 0 0 0 17 0 13 0 105607883 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9292] ppid=9280 vsize=1837192 CPUtime=0.3
/proc/9282/task/9292/stat : 9292 (java) S 9280 9282 8384 0 -1 64 1144 0 0 0 30 0 0 0 16 0 13 0 105607883 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9293] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9293/stat : 9293 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 105607883 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9294] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9294/stat : 9294 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 105607883 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9295] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9295/stat : 9295 (java) S 9280 9282 8384 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 105607906 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1062.7
Current children cumulated vsize (KiB) 1837192
[startup+1122.63 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 9295
/proc/meminfo: memFree=621768/2055920 swapFree=4183864/4192956
[pid=9282] ppid=9280 vsize=1837192 CPUtime=1122.69
/proc/9282/stat : 9282 (java) S 9280 9282 8384 0 -1 0 42656 0 1 0 112244 25 0 0 18 0 13 0 105607873 1881284608 40973 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9282/statm: 459298 40973 1324 9 0 456910 0
[pid=9282/tid=9284] ppid=9280 vsize=1837192 CPUtime=1122
/proc/9282/task/9284/stat : 9284 (java) R 9280 9282 8384 0 -1 64 38819 0 1 0 112177 23 0 0 25 0 13 0 105607875 1881284608 40973 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109648989 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9285] ppid=9280 vsize=1837192 CPUtime=0.02
/proc/9282/task/9285/stat : 9285 (java) S 9280 9282 8384 0 -1 64 433 0 0 0 2 0 0 0 16 0 13 0 105607876 1881284608 40973 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9286] ppid=9280 vsize=1837192 CPUtime=0.02
/proc/9282/task/9286/stat : 9286 (java) S 9280 9282 8384 0 -1 64 428 0 0 0 2 0 0 0 16 0 13 0 105607876 1881284608 40973 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9287] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9287/stat : 9287 (java) S 9280 9282 8384 0 -1 64 15 0 0 0 0 0 0 0 16 0 13 0 105607878 1881284608 40973 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9288] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9288/stat : 9288 (java) S 9280 9282 8384 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 105607879 1881284608 40973 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9289] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9289/stat : 9289 (java) S 9280 9282 8384 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 105607879 1881284608 40973 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9290] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9290/stat : 9290 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 105607883 1881284608 40973 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9291] ppid=9280 vsize=1837192 CPUtime=0.3
/proc/9282/task/9291/stat : 9291 (java) S 9280 9282 8384 0 -1 64 1096 0 0 0 30 0 0 0 17 0 13 0 105607883 1881284608 40973 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9292] ppid=9280 vsize=1837192 CPUtime=0.3
/proc/9282/task/9292/stat : 9292 (java) S 9280 9282 8384 0 -1 64 1144 0 0 0 30 0 0 0 16 0 13 0 105607883 1881284608 40973 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9293] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9293/stat : 9293 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 105607883 1881284608 40973 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9294] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9294/stat : 9294 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 105607883 1881284608 40973 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9295] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9295/stat : 9295 (java) S 9280 9282 8384 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 105607906 1881284608 40973 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1122.69
Current children cumulated vsize (KiB) 1837192
[startup+1182.64 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 9295
/proc/meminfo: memFree=621768/2055920 swapFree=4183864/4192956
[pid=9282] ppid=9280 vsize=1837192 CPUtime=1182.69
/proc/9282/stat : 9282 (java) S 9280 9282 8384 0 -1 0 42659 0 1 0 118244 25 0 0 18 0 13 0 105607873 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9282/statm: 459298 40962 1324 9 0 456910 0
[pid=9282/tid=9284] ppid=9280 vsize=1837192 CPUtime=1181.99
/proc/9282/task/9284/stat : 9284 (java) R 9280 9282 8384 0 -1 64 38820 0 1 0 118176 23 0 0 25 0 13 0 105607875 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109649146 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9285] ppid=9280 vsize=1837192 CPUtime=0.02
/proc/9282/task/9285/stat : 9285 (java) S 9280 9282 8384 0 -1 64 434 0 0 0 2 0 0 0 16 0 13 0 105607876 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9286] ppid=9280 vsize=1837192 CPUtime=0.02
/proc/9282/task/9286/stat : 9286 (java) S 9280 9282 8384 0 -1 64 429 0 0 0 2 0 0 0 16 0 13 0 105607876 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9287] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9287/stat : 9287 (java) S 9280 9282 8384 0 -1 64 15 0 0 0 0 0 0 0 16 0 13 0 105607878 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9288] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9288/stat : 9288 (java) S 9280 9282 8384 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 105607879 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9289] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9289/stat : 9289 (java) S 9280 9282 8384 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 105607879 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9290] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9290/stat : 9290 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 105607883 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9291] ppid=9280 vsize=1837192 CPUtime=0.3
/proc/9282/task/9291/stat : 9291 (java) S 9280 9282 8384 0 -1 64 1096 0 0 0 30 0 0 0 17 0 13 0 105607883 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9292] ppid=9280 vsize=1837192 CPUtime=0.3
/proc/9282/task/9292/stat : 9292 (java) S 9280 9282 8384 0 -1 64 1144 0 0 0 30 0 0 0 16 0 13 0 105607883 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9293] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9293/stat : 9293 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 105607883 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9294] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9294/stat : 9294 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 105607883 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9295] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9295/stat : 9295 (java) S 9280 9282 8384 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 105607906 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1182.69
Current children cumulated vsize (KiB) 1837192
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.04 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 9295
/proc/meminfo: memFree=621704/2055920 swapFree=4183864/4192956
[pid=9282] ppid=9280 vsize=1837192 CPUtime=1200.08
/proc/9282/stat : 9282 (java) S 9280 9282 8384 0 -1 0 42659 0 1 0 119983 25 0 0 18 0 13 0 105607873 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9282/statm: 459298 40962 1324 9 0 456910 0
[pid=9282/tid=9284] ppid=9280 vsize=1837192 CPUtime=1199.39
/proc/9282/task/9284/stat : 9284 (java) R 9280 9282 8384 0 -1 64 38820 0 1 0 119916 23 0 0 25 0 13 0 105607875 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109585280 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9285] ppid=9280 vsize=1837192 CPUtime=0.02
/proc/9282/task/9285/stat : 9285 (java) S 9280 9282 8384 0 -1 64 434 0 0 0 2 0 0 0 16 0 13 0 105607876 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9286] ppid=9280 vsize=1837192 CPUtime=0.02
/proc/9282/task/9286/stat : 9286 (java) S 9280 9282 8384 0 -1 64 429 0 0 0 2 0 0 0 16 0 13 0 105607876 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9287] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9287/stat : 9287 (java) S 9280 9282 8384 0 -1 64 15 0 0 0 0 0 0 0 16 0 13 0 105607878 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9288] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9288/stat : 9288 (java) S 9280 9282 8384 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 105607879 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9289] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9289/stat : 9289 (java) S 9280 9282 8384 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 105607879 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9290] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9290/stat : 9290 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 105607883 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9291] ppid=9280 vsize=1837192 CPUtime=0.3
/proc/9282/task/9291/stat : 9291 (java) S 9280 9282 8384 0 -1 64 1096 0 0 0 30 0 0 0 17 0 13 0 105607883 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9292] ppid=9280 vsize=1837192 CPUtime=0.3
/proc/9282/task/9292/stat : 9292 (java) S 9280 9282 8384 0 -1 64 1144 0 0 0 30 0 0 0 16 0 13 0 105607883 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9293] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9293/stat : 9293 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 105607883 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9294] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9294/stat : 9294 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 105607883 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9295] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9295/stat : 9295 (java) S 9280 9282 8384 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 105607906 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 1837192
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.04 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 9295
/proc/meminfo: memFree=621704/2055920 swapFree=4183864/4192956
[pid=9282] ppid=9280 vsize=1837192 CPUtime=1200.08
/proc/9282/stat : 9282 (java) S 9280 9282 8384 0 -1 0 42659 0 1 0 119983 25 0 0 18 0 13 0 105607873 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9282/statm: 459298 40962 1324 9 0 456910 0
[pid=9282/tid=9284] ppid=9280 vsize=1837192 CPUtime=1199.39
/proc/9282/task/9284/stat : 9284 (java) R 9280 9282 8384 0 -1 64 38820 0 1 0 119916 23 0 0 25 0 13 0 105607875 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109585280 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9285] ppid=9280 vsize=1837192 CPUtime=0.02
/proc/9282/task/9285/stat : 9285 (java) S 9280 9282 8384 0 -1 64 434 0 0 0 2 0 0 0 16 0 13 0 105607876 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9286] ppid=9280 vsize=1837192 CPUtime=0.02
/proc/9282/task/9286/stat : 9286 (java) S 9280 9282 8384 0 -1 64 429 0 0 0 2 0 0 0 16 0 13 0 105607876 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9287] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9287/stat : 9287 (java) S 9280 9282 8384 0 -1 64 15 0 0 0 0 0 0 0 16 0 13 0 105607878 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9288] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9288/stat : 9288 (java) S 9280 9282 8384 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 105607879 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9289] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9289/stat : 9289 (java) S 9280 9282 8384 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 105607879 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9290] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9290/stat : 9290 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 22 0 13 0 105607883 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9291] ppid=9280 vsize=1837192 CPUtime=0.3
/proc/9282/task/9291/stat : 9291 (java) S 9280 9282 8384 0 -1 64 1096 0 0 0 30 0 0 0 17 0 13 0 105607883 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9282/tid=9292] ppid=9280 vsize=1837192 CPUtime=0.3
/proc/9282/task/9292/stat : 9292 (java) S 9280 9282 8384 0 -1 64 1144 0 0 0 30 0 0 0 16 0 13 0 105607883 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9293] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9293/stat : 9293 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 105607883 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9294] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9294/stat : 9294 (java) S 9280 9282 8384 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 105607883 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9282/tid=9295] ppid=9280 vsize=1837192 CPUtime=0
/proc/9282/task/9295/stat : 9295 (java) S 9280 9282 8384 0 -1 64 3 0 0 0 0 0 0 0 25 0 13 0 105607906 1881284608 40962 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 1837192
Child status: 143
Real time (s): 1200.12
CPU time (s): 1200.17
CPU user time (s): 1199.89
CPU system time (s): 0.279957
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 1837724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.89
system time used= 0.279957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42679
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= 24763
involuntary context switches= 2867
runsolver used 1.05584 second user time and 3.20651 second system time
The end
Begin job on node40 on Sun Feb 18 13:35:36 UTC 2007
IDJOB= 295437
IDBENCH= 19913
IDSOLVER= 96
FILE ID= node40/295437-1171805736
PBS_JOBID= 3839598
Free space on /tmp= 66563 MiB
SOLVER NAME= SAT4J SAT 2007
BENCH NAME= HOME/pub/bench/SAT07/random/OnTreshold/7SAT/v55/unif-k7-r89-v55-c4895-S1155123565-17.UNSAT.shuffled.cnf
COMMAND LINE= java -server -Xmx1650M -Xms1650M -jar /tmp/evaluation/295437-1171805736/sat4j-sat2007.jar /tmp/evaluation/295437-1171805736/instance-295437-1171805736.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-295437-1171805736 -o ROOT/results/node40/solver-295437-1171805736 -C 1200 -M 1800 --output-limit 1,15 java -server -Xmx1650M -Xms1650M -jar /tmp/evaluation/295437-1171805736/sat4j-sat2007.jar /tmp/evaluation/295437-1171805736/instance-295437-1171805736.cnf
META MD5SUM SOLVER= fd7c3100383641221a90b938607cc598
MD5SUM BENCH= cc3368792acc31c53b7db8a3b6afc2f4
RANDOM SEED= 434530922
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node40.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.242
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.242
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: 782208 kB
Buffers: 48600 kB
Cached: 1102944 kB
SwapCached: 4252 kB
Active: 822404 kB
Inactive: 340012 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 782208 kB
SwapTotal: 4192956 kB
SwapFree: 4183864 kB
Dirty: 1328 kB
Writeback: 0 kB
Mapped: 15444 kB
Slab: 97364 kB
Committed_AS: 142588 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= 66563 MiB
End job on node40 on Sun Feb 18 13:55:38 UTC 2007