0.07/0.16 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.07/0.16 c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.07/0.16 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.07/0.17 c version SAT COMPETITION 2007
0.07/0.17 c sun.arch.data.model 32
0.07/0.17 c java.version 1.6.0
0.07/0.17 c os.name Linux
0.07/0.17 c os.version 2.6.9-22.EL.rootsmp
0.07/0.17 c os.arch i386
0.07/0.18 c Free memory 1703279312
0.07/0.18 c Max memory 1706164224
0.07/0.18 c Total memory 1706164224
0.07/0.18 c Number of processors 2
0.15/0.23 c --- Begin Solver configuration ---
0.15/0.23 c Stops conflict analysis at the first Unique Implication Point
0.15/0.23 c org.sat4j.minisat.constraints.MixedDataStructureDaniel@15cda3f
0.15/0.23 c Limit learning to clauses of size smaller or equal to 10% of the number of variables
0.15/0.23 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.15/0.23 c VSIDS like heuristics from MiniSAT using a heap
0.15/0.23 c Expensive reason simplification
0.15/0.23 c --- End Solver configuration ---
0.15/0.23 c timeout: 2147483s
0.15/0.23 c solving /tmp/evaluation/312532-1176856481/instance-312532-1176856481.cnf
0.15/0.23 c reading problem ...
2.57/2.56 c ... done. Wall clock time 2.331s.
2.57/2.56 c CPU time (experimental) 2.41s.
2.57/2.56 c #vars 193016
2.57/2.56 c #constraints 869679
95.42/94.83 c starts : 11
95.42/94.83 c conflicts : 11920
95.42/94.83 c decisions : 22882
95.42/94.83 c propagations : 46537875
95.42/94.83 c inspects : 214721756
95.42/94.83 c learnt literals : 190
95.42/94.83 c learnt binary clauses : 157
95.42/94.83 c learnt ternary clauses : 170
95.42/94.83 c learnt clauses : 11729
95.42/94.83 c root simplifications : 0
95.42/94.83 c removed literals (reason simplification) : 223754
95.42/94.83 c reason swapping (by a shorter reason) : 0
95.42/94.83 c Calls to reduceDB : 0
95.42/94.83 c speed (decisions/second) : 248.16710771766952
95.42/94.83 c non guided choices 1124
95.42/94.83 s UNSATISFIABLE
95.42/94.83 c Total wall clock time (in seconds) : 94.596
95.42/94.83 c Total CPU time (experimental, in seconds) : 94.5
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-312532-1176856481 -o ROOT/results/node43/solver-312532-1176856481 -C 1200 -W 2400 -M 1800 --output-limit 1,15 java -server -Xmx1650M -Xms1650M -jar /tmp/evaluation/312532-1176856481/sat4j-sat2007.jar /tmp/evaluation/312532-1176856481/instance-312532-1176856481.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: 1.00 1.00 0.99 2/77 24230
/proc/meminfo: memFree=1263184/2055920 swapFree=4184648/4192956
[pid=24230] ppid=24228 vsize=152 CPUtime=0
/proc/24230/stat : 24230 (java) D 24228 24230 23555 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 133559938 155648 26 18446744073709551615 134512640 134550740 4294956560 18446744073709551615 4731684 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/24230/statm: 38 26 19 9 0 4 0
[startup+0.056602 s]
/proc/loadavg: 1.00 1.00 0.99 2/77 24230
/proc/meminfo: memFree=1263184/2055920 swapFree=4184648/4192956
[pid=24230] ppid=24228 vsize=1827476 CPUtime=0.03
/proc/24230/stat : 24230 (java) S 24228 24230 23555 0 -1 0 3269 0 1 0 1 2 0 0 18 0 4 0 133559938 1871335424 3017 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/24230/statm: 456869 3017 887 9 0 454505 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1827476
[startup+0.101606 s]
/proc/loadavg: 1.00 1.00 0.99 2/77 24230
/proc/meminfo: memFree=1263184/2055920 swapFree=4184648/4192956
[pid=24230] ppid=24228 vsize=1829232 CPUtime=0.07
/proc/24230/stat : 24230 (java) S 24228 24230 23555 0 -1 0 3861 0 1 0 5 2 0 0 18 0 7 0 133559938 1873133568 3604 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/24230/statm: 457308 3604 1090 9 0 454944 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1829232
[startup+0.301625 s]
/proc/loadavg: 1.00 1.00 0.99 2/77 24230
/proc/meminfo: memFree=1263184/2055920 swapFree=4184648/4192956
[pid=24230] ppid=24228 vsize=1833896 CPUtime=0.29
/proc/24230/stat : 24230 (java) S 24228 24230 23555 0 -1 0 7807 0 3 0 24 5 0 0 18 0 12 0 133559938 1877909504 7548 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24230/statm: 458474 7548 1278 9 0 456086 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1833896
[startup+0.70165 s]
/proc/loadavg: 1.00 1.00 0.99 2/77 24230
/proc/meminfo: memFree=1263184/2055920 swapFree=4184648/4192956
[pid=24230] ppid=24228 vsize=1834284 CPUtime=0.76
/proc/24230/stat : 24230 (java) S 24228 24230 23555 0 -1 0 13046 0 3 0 69 7 0 0 18 0 12 0 133559938 1878306816 12787 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24230/statm: 458571 12788 1290 9 0 456183 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 1834284
[startup+1.50272 s]
/proc/loadavg: 1.00 1.00 0.99 2/89 24242
/proc/meminfo: memFree=1198448/2055920 swapFree=4184648/4192956
[pid=24230] ppid=24228 vsize=1834284 CPUtime=1.56
/proc/24230/stat : 24230 (java) S 24228 24230 23555 0 -1 0 20361 0 3 0 145 11 0 0 18 0 12 0 133559938 1878306816 20101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24230/statm: 458571 20101 1290 9 0 456183 0
[pid=24230/tid=24232] ppid=24228 vsize=1834284 CPUtime=1.34
/proc/24230/task/24232/stat : 24232 (java) R 24228 24230 23555 0 -1 64 19077 0 3 0 125 9 0 0 20 0 12 0 133559941 1878306816 20101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109515987 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24230/tid=24233] ppid=24228 vsize=1834284 CPUtime=0
/proc/24230/task/24233/stat : 24233 (java) S 24228 24230 23555 0 -1 64 3 0 0 0 0 0 0 0 20 0 12 0 133559942 1878306816 20101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24234] ppid=24228 vsize=1834284 CPUtime=0
/proc/24230/task/24234/stat : 24234 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 133559942 1878306816 20101 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24235] ppid=24228 vsize=1834284 CPUtime=0
/proc/24230/task/24235/stat : 24235 (java) S 24228 24230 23555 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 133559945 1878306816 20102 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24236] ppid=24228 vsize=1834284 CPUtime=0
/proc/24230/task/24236/stat : 24236 (java) S 24228 24230 23555 0 -1 64 10 0 0 0 0 0 0 0 23 0 12 0 133559945 1878306816 20102 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24237] ppid=24228 vsize=1834284 CPUtime=0
/proc/24230/task/24237/stat : 24237 (java) S 24228 24230 23555 0 -1 64 4 0 0 0 0 0 0 0 24 0 12 0 133559945 1878306816 20102 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24238] ppid=24228 vsize=1834284 CPUtime=0
/proc/24230/task/24238/stat : 24238 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 133559949 1878306816 20102 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24239] ppid=24228 vsize=1834284 CPUtime=0.09
/proc/24230/task/24239/stat : 24239 (java) S 24228 24230 23555 0 -1 64 294 0 0 0 9 0 0 0 16 0 12 0 133559949 1878306816 20103 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24230/tid=24240] ppid=24228 vsize=1834284 CPUtime=0.1
/proc/24230/task/24240/stat : 24240 (java) S 24228 24230 23555 0 -1 64 269 0 0 0 10 0 0 0 16 0 12 0 133559949 1878306816 20103 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24241] ppid=24228 vsize=1834284 CPUtime=0
/proc/24230/task/24241/stat : 24241 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 133559949 1878306816 20103 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24242] ppid=24228 vsize=1834284 CPUtime=0
/proc/24230/task/24242/stat : 24242 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 133559949 1878306816 20104 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 1834284
[startup+3.10287 s]
/proc/loadavg: 1.00 1.00 0.99 2/89 24242
/proc/meminfo: memFree=1166448/2055920 swapFree=4184648/4192956
[pid=24230] ppid=24228 vsize=1836468 CPUtime=3.34
/proc/24230/stat : 24230 (java) S 24228 24230 23555 0 -1 0 31161 0 3 0 318 16 0 0 18 0 13 0 133559938 1880543232 30591 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24230/statm: 459117 30591 1305 9 0 456729 0
[pid=24230/tid=24232] ppid=24228 vsize=1836468 CPUtime=2.83
/proc/24230/task/24232/stat : 24232 (java) R 24228 24230 23555 0 -1 64 29082 0 3 0 269 14 0 0 25 0 13 0 133559941 1880543232 30591 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109546386 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24230/tid=24233] ppid=24228 vsize=1836468 CPUtime=0
/proc/24230/task/24233/stat : 24233 (java) S 24228 24230 23555 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 133559942 1880543232 30591 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24234] ppid=24228 vsize=1836468 CPUtime=0
/proc/24230/task/24234/stat : 24234 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 133559942 1880543232 30591 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24235] ppid=24228 vsize=1836468 CPUtime=0
/proc/24230/task/24235/stat : 24235 (java) S 24228 24230 23555 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 133559945 1880543232 30591 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24230/tid=24236] ppid=24228 vsize=1836468 CPUtime=0
/proc/24230/task/24236/stat : 24236 (java) S 24228 24230 23555 0 -1 64 10 0 0 0 0 0 0 0 23 0 13 0 133559945 1880543232 30591 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24237] ppid=24228 vsize=1836468 CPUtime=0
/proc/24230/task/24237/stat : 24237 (java) S 24228 24230 23555 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 133559945 1880543232 30591 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24238] ppid=24228 vsize=1836468 CPUtime=0
/proc/24230/task/24238/stat : 24238 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 133559949 1880543232 30591 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24239] ppid=24228 vsize=1836468 CPUtime=0.23
/proc/24230/task/24239/stat : 24239 (java) S 24228 24230 23555 0 -1 64 434 0 0 0 23 0 0 0 16 0 13 0 133559949 1880543232 30591 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24230/tid=24240] ppid=24228 vsize=1836468 CPUtime=0.24
/proc/24230/task/24240/stat : 24240 (java) S 24228 24230 23555 0 -1 64 920 0 0 0 24 0 0 0 16 0 13 0 133559949 1880543232 30591 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24241] ppid=24228 vsize=1836468 CPUtime=0
/proc/24230/task/24241/stat : 24241 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 133559949 1880543232 30591 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24242] ppid=24228 vsize=1836468 CPUtime=0
/proc/24230/task/24242/stat : 24242 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 133559949 1880543232 30591 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.34
Current children cumulated vsize (KiB) 1836468
[startup+6.30114 s]
/proc/loadavg: 1.00 1.00 0.99 2/90 24243
/proc/meminfo: memFree=1143400/2055920 swapFree=4184648/4192956
[pid=24230] ppid=24228 vsize=1836864 CPUtime=6.81
/proc/24230/stat : 24230 (java) S 24228 24230 23555 0 -1 0 32000 0 3 0 664 17 0 0 18 0 13 0 133559938 1880948736 30822 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24230/statm: 459216 30822 1313 9 0 456828 0
[pid=24230/tid=24232] ppid=24228 vsize=1836864 CPUtime=6
/proc/24230/task/24232/stat : 24232 (java) R 24228 24230 23555 0 -1 64 29171 0 3 0 585 15 0 0 25 0 13 0 133559941 1880948736 30822 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109631042 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24230/tid=24233] ppid=24228 vsize=1836864 CPUtime=0
/proc/24230/task/24233/stat : 24233 (java) S 24228 24230 23555 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 133559942 1880948736 30822 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24234] ppid=24228 vsize=1836864 CPUtime=0
/proc/24230/task/24234/stat : 24234 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 133559942 1880948736 30822 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24235] ppid=24228 vsize=1836864 CPUtime=0
/proc/24230/task/24235/stat : 24235 (java) S 24228 24230 23555 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 133559945 1880948736 30822 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24230/tid=24236] ppid=24228 vsize=1836864 CPUtime=0
/proc/24230/task/24236/stat : 24236 (java) S 24228 24230 23555 0 -1 64 10 0 0 0 0 0 0 0 23 0 13 0 133559945 1880948736 30822 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24237] ppid=24228 vsize=1836864 CPUtime=0
/proc/24230/task/24237/stat : 24237 (java) S 24228 24230 23555 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 133559945 1880948736 30822 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24238] ppid=24228 vsize=1836864 CPUtime=0
/proc/24230/task/24238/stat : 24238 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 133559949 1880948736 30822 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24239] ppid=24228 vsize=1836864 CPUtime=0.39
/proc/24230/task/24239/stat : 24239 (java) S 24228 24230 23555 0 -1 64 853 0 0 0 39 0 0 0 17 0 13 0 133559949 1880948736 30822 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24240] ppid=24228 vsize=1836864 CPUtime=0.39
/proc/24230/task/24240/stat : 24240 (java) S 24228 24230 23555 0 -1 64 1251 0 0 0 39 0 0 0 15 0 13 0 133559949 1880948736 30822 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24241] ppid=24228 vsize=1836864 CPUtime=0
/proc/24230/task/24241/stat : 24241 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 133559949 1880948736 30822 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24242] ppid=24228 vsize=1836864 CPUtime=0
/proc/24230/task/24242/stat : 24242 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 133559949 1880948736 30822 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24230/tid=24243] ppid=24228 vsize=1836864 CPUtime=0
/proc/24230/task/24243/stat : 24243 (java) S 24228 24230 23555 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 133560213 1880948736 30822 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.81
Current children cumulated vsize (KiB) 1836864
[startup+12.7027 s]
/proc/loadavg: 1.00 1.00 0.99 2/90 24243
/proc/meminfo: memFree=1143272/2055920 swapFree=4184648/4192956
[pid=24230] ppid=24228 vsize=1836864 CPUtime=13.21
/proc/24230/stat : 24230 (java) S 24228 24230 23555 0 -1 0 32082 0 3 0 1304 17 0 0 18 0 13 0 133559938 1880948736 30904 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24230/statm: 459216 30904 1313 9 0 456828 0
[pid=24230/tid=24232] ppid=24228 vsize=1836864 CPUtime=12.4
/proc/24230/task/24232/stat : 24232 (java) R 24228 24230 23555 0 -1 64 29253 0 3 0 1225 15 0 0 25 0 13 0 133559941 1880948736 30904 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109546386 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24230/tid=24233] ppid=24228 vsize=1836864 CPUtime=0
/proc/24230/task/24233/stat : 24233 (java) S 24228 24230 23555 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 133559942 1880948736 30904 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24234] ppid=24228 vsize=1836864 CPUtime=0
/proc/24230/task/24234/stat : 24234 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 133559942 1880948736 30904 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24235] ppid=24228 vsize=1836864 CPUtime=0
/proc/24230/task/24235/stat : 24235 (java) S 24228 24230 23555 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 133559945 1880948736 30904 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24230/tid=24236] ppid=24228 vsize=1836864 CPUtime=0
/proc/24230/task/24236/stat : 24236 (java) S 24228 24230 23555 0 -1 64 10 0 0 0 0 0 0 0 23 0 13 0 133559945 1880948736 30904 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24237] ppid=24228 vsize=1836864 CPUtime=0
/proc/24230/task/24237/stat : 24237 (java) S 24228 24230 23555 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 133559945 1880948736 30904 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24238] ppid=24228 vsize=1836864 CPUtime=0
/proc/24230/task/24238/stat : 24238 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 133559949 1880948736 30904 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24239] ppid=24228 vsize=1836864 CPUtime=0.39
/proc/24230/task/24239/stat : 24239 (java) S 24228 24230 23555 0 -1 64 853 0 0 0 39 0 0 0 17 0 13 0 133559949 1880948736 30904 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24240] ppid=24228 vsize=1836864 CPUtime=0.39
/proc/24230/task/24240/stat : 24240 (java) S 24228 24230 23555 0 -1 64 1251 0 0 0 39 0 0 0 15 0 13 0 133559949 1880948736 30904 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24241] ppid=24228 vsize=1836864 CPUtime=0
/proc/24230/task/24241/stat : 24241 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 133559949 1880948736 30904 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24242] ppid=24228 vsize=1836864 CPUtime=0
/proc/24230/task/24242/stat : 24242 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 133559949 1880948736 30904 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24230/tid=24243] ppid=24228 vsize=1836864 CPUtime=0
/proc/24230/task/24243/stat : 24243 (java) S 24228 24230 23555 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 133560213 1880948736 30904 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.21
Current children cumulated vsize (KiB) 1836864
[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 0.99 2/90 24243
/proc/meminfo: memFree=1142760/2055920 swapFree=4184648/4192956
[pid=24230] ppid=24228 vsize=1836864 CPUtime=26.01
/proc/24230/stat : 24230 (java) S 24228 24230 23555 0 -1 0 32210 0 3 0 2583 18 0 0 18 0 13 0 133559938 1880948736 31032 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24230/statm: 459216 31032 1313 9 0 456828 0
[pid=24230/tid=24232] ppid=24228 vsize=1836864 CPUtime=25.19
/proc/24230/task/24232/stat : 24232 (java) R 24228 24230 23555 0 -1 64 29381 0 3 0 2504 15 0 0 25 0 13 0 133559941 1880948736 31032 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109552271 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24230/tid=24233] ppid=24228 vsize=1836864 CPUtime=0
/proc/24230/task/24233/stat : 24233 (java) S 24228 24230 23555 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 133559942 1880948736 31032 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24234] ppid=24228 vsize=1836864 CPUtime=0
/proc/24230/task/24234/stat : 24234 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 133559942 1880948736 31032 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24235] ppid=24228 vsize=1836864 CPUtime=0
/proc/24230/task/24235/stat : 24235 (java) S 24228 24230 23555 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 133559945 1880948736 31032 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24230/tid=24236] ppid=24228 vsize=1836864 CPUtime=0
/proc/24230/task/24236/stat : 24236 (java) S 24228 24230 23555 0 -1 64 10 0 0 0 0 0 0 0 23 0 13 0 133559945 1880948736 31032 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/24230/task/24242/stat : 24242 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 133559949 1880915968 31752 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24230/tid=24243] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24243/stat : 24243 (java) S 24228 24230 23555 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 133560213 1880915968 31752 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 90.11
Current children cumulated vsize (KiB) 1836832
[startup+92.7016 s]
/proc/loadavg: 1.00 1.00 0.99 2/90 24243
/proc/meminfo: memFree=1139816/2055920 swapFree=4184648/4192956
[pid=24230] ppid=24228 vsize=1836832 CPUtime=93.32
/proc/24230/stat : 24230 (java) S 24228 24230 23555 0 -1 0 32970 0 3 0 9312 20 0 0 18 0 13 0 133559938 1880915968 31781 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24230/statm: 459208 31781 1317 9 0 456820 0
[pid=24230/tid=24232] ppid=24228 vsize=1836832 CPUtime=92.38
/proc/24230/task/24232/stat : 24232 (java) R 24228 24230 23555 0 -1 64 30126 0 3 0 9221 17 0 0 25 0 13 0 133559941 1880915968 31781 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109546377 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24230/tid=24233] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24233/stat : 24233 (java) S 24228 24230 23555 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 133559942 1880915968 31781 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24234] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24234/stat : 24234 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 133559942 1880915968 31781 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24235] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24235/stat : 24235 (java) S 24228 24230 23555 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 133559945 1880915968 31781 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24230/tid=24236] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24236/stat : 24236 (java) S 24228 24230 23555 0 -1 64 10 0 0 0 0 0 0 0 23 0 13 0 133559945 1880915968 31781 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24237] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24237/stat : 24237 (java) S 24228 24230 23555 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 133559945 1880915968 31781 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24238] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24238/stat : 24238 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 133559949 1880915968 31781 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24239] ppid=24228 vsize=1836832 CPUtime=0.45
/proc/24230/task/24239/stat : 24239 (java) S 24228 24230 23555 0 -1 64 862 0 0 0 45 0 0 0 17 0 13 0 133559949 1880915968 31781 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24240] ppid=24228 vsize=1836832 CPUtime=0.45
/proc/24230/task/24240/stat : 24240 (java) S 24228 24230 23555 0 -1 64 1257 0 0 0 45 0 0 0 17 0 13 0 133559949 1880915968 31781 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24241] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24241/stat : 24241 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 133559949 1880915968 31781 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24242] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24242/stat : 24242 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 133559949 1880915968 31781 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24230/tid=24243] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24243/stat : 24243 (java) S 24228 24230 23555 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 133560213 1880915968 31781 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 93.32
Current children cumulated vsize (KiB) 1836832
[startup+93.5057 s]
/proc/loadavg: 1.00 1.00 0.99 2/90 24243
/proc/meminfo: memFree=1139752/2055920 swapFree=4184648/4192956
[pid=24230] ppid=24228 vsize=1836832 CPUtime=94.12
/proc/24230/stat : 24230 (java) S 24228 24230 23555 0 -1 0 32980 0 3 0 9392 20 0 0 18 0 13 0 133559938 1880915968 31791 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24230/statm: 459208 31791 1317 9 0 456820 0
[pid=24230/tid=24232] ppid=24228 vsize=1836832 CPUtime=93.18
/proc/24230/task/24232/stat : 24232 (java) R 24228 24230 23555 0 -1 64 30136 0 3 0 9301 17 0 0 25 0 13 0 133559941 1880915968 31791 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109506217 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24230/tid=24233] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24233/stat : 24233 (java) S 24228 24230 23555 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 133559942 1880915968 31791 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24234] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24234/stat : 24234 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 133559942 1880915968 31791 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24235] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24235/stat : 24235 (java) S 24228 24230 23555 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 133559945 1880915968 31791 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24230/tid=24236] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24236/stat : 24236 (java) S 24228 24230 23555 0 -1 64 10 0 0 0 0 0 0 0 23 0 13 0 133559945 1880915968 31791 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24237] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24237/stat : 24237 (java) S 24228 24230 23555 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 133559945 1880915968 31791 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24238] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24238/stat : 24238 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 133559949 1880915968 31791 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24239] ppid=24228 vsize=1836832 CPUtime=0.45
/proc/24230/task/24239/stat : 24239 (java) S 24228 24230 23555 0 -1 64 862 0 0 0 45 0 0 0 17 0 13 0 133559949 1880915968 31791 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24240] ppid=24228 vsize=1836832 CPUtime=0.45
/proc/24230/task/24240/stat : 24240 (java) S 24228 24230 23555 0 -1 64 1257 0 0 0 45 0 0 0 17 0 13 0 133559949 1880915968 31791 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24241] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24241/stat : 24241 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 133559949 1880915968 31791 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24242] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24242/stat : 24242 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 133559949 1880915968 31791 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24230/tid=24243] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24243/stat : 24243 (java) S 24228 24230 23555 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 133560213 1880915968 31791 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 94.12
Current children cumulated vsize (KiB) 1836832
[startup+94.3028 s]
/proc/loadavg: 1.00 1.00 0.99 2/90 24243
/proc/meminfo: memFree=1139752/2055920 swapFree=4184648/4192956
[pid=24230] ppid=24228 vsize=1836832 CPUtime=94.92
/proc/24230/stat : 24230 (java) S 24228 24230 23555 0 -1 0 32985 0 3 0 9472 20 0 0 18 0 13 0 133559938 1880915968 31796 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24230/statm: 459208 31796 1317 9 0 456820 0
[pid=24230/tid=24232] ppid=24228 vsize=1836832 CPUtime=93.98
/proc/24230/task/24232/stat : 24232 (java) R 24228 24230 23555 0 -1 64 30141 0 3 0 9381 17 0 0 25 0 13 0 133559941 1880915968 31796 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109587661 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24230/tid=24233] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24233/stat : 24233 (java) S 24228 24230 23555 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 133559942 1880915968 31796 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24234] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24234/stat : 24234 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 133559942 1880915968 31796 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24235] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24235/stat : 24235 (java) S 24228 24230 23555 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 133559945 1880915968 31796 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24230/tid=24236] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24236/stat : 24236 (java) S 24228 24230 23555 0 -1 64 10 0 0 0 0 0 0 0 23 0 13 0 133559945 1880915968 31796 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24237] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24237/stat : 24237 (java) S 24228 24230 23555 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 133559945 1880915968 31796 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24238] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24238/stat : 24238 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 133559949 1880915968 31796 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24239] ppid=24228 vsize=1836832 CPUtime=0.45
/proc/24230/task/24239/stat : 24239 (java) S 24228 24230 23555 0 -1 64 862 0 0 0 45 0 0 0 17 0 13 0 133559949 1880915968 31796 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24240] ppid=24228 vsize=1836832 CPUtime=0.45
/proc/24230/task/24240/stat : 24240 (java) S 24228 24230 23555 0 -1 64 1257 0 0 0 45 0 0 0 17 0 13 0 133559949 1880915968 31796 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24241] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24241/stat : 24241 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 133559949 1880915968 31796 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24242] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24242/stat : 24242 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 133559949 1880915968 31796 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24230/tid=24243] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24243/stat : 24243 (java) S 24228 24230 23555 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 133560213 1880915968 31796 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 94.92
Current children cumulated vsize (KiB) 1836832
[startup+94.7028 s]
/proc/loadavg: 1.00 1.00 0.99 2/90 24243
/proc/meminfo: memFree=1139752/2055920 swapFree=4184648/4192956
[pid=24230] ppid=24228 vsize=1836832 CPUtime=95.32
/proc/24230/stat : 24230 (java) S 24228 24230 23555 0 -1 0 32989 0 3 0 9512 20 0 0 18 0 13 0 133559938 1880915968 31800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24230/statm: 459208 31800 1317 9 0 456820 0
[pid=24230/tid=24232] ppid=24228 vsize=1836832 CPUtime=94.38
/proc/24230/task/24232/stat : 24232 (java) R 24228 24230 23555 0 -1 64 30145 0 3 0 9421 17 0 0 25 0 13 0 133559941 1880915968 31800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109631288 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24230/tid=24233] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24233/stat : 24233 (java) S 24228 24230 23555 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 133559942 1880915968 31800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24234] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24234/stat : 24234 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 133559942 1880915968 31800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24235] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24235/stat : 24235 (java) S 24228 24230 23555 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 133559945 1880915968 31800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24230/tid=24236] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24236/stat : 24236 (java) S 24228 24230 23555 0 -1 64 10 0 0 0 0 0 0 0 23 0 13 0 133559945 1880915968 31800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24237] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24237/stat : 24237 (java) S 24228 24230 23555 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 133559945 1880915968 31800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24238] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24238/stat : 24238 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 133559949 1880915968 31800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24239] ppid=24228 vsize=1836832 CPUtime=0.45
/proc/24230/task/24239/stat : 24239 (java) S 24228 24230 23555 0 -1 64 862 0 0 0 45 0 0 0 17 0 13 0 133559949 1880915968 31800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24240] ppid=24228 vsize=1836832 CPUtime=0.45
/proc/24230/task/24240/stat : 24240 (java) S 24228 24230 23555 0 -1 64 1257 0 0 0 45 0 0 0 17 0 13 0 133559949 1880915968 31800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24241] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24241/stat : 24241 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 133559949 1880915968 31800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24242] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24242/stat : 24242 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 133559949 1880915968 31800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24230/tid=24243] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24243/stat : 24243 (java) S 24228 24230 23555 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 133560213 1880915968 31800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 95.32
Current children cumulated vsize (KiB) 1836832
[startup+94.8028 s]
/proc/loadavg: 1.00 1.00 0.99 2/90 24243
/proc/meminfo: memFree=1139752/2055920 swapFree=4184648/4192956
[pid=24230] ppid=24228 vsize=1836832 CPUtime=95.42
/proc/24230/stat : 24230 (java) S 24228 24230 23555 0 -1 0 32989 0 3 0 9522 20 0 0 18 0 13 0 133559938 1880915968 31800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24230/statm: 459208 31800 1317 9 0 456820 0
[pid=24230/tid=24232] ppid=24228 vsize=1836832 CPUtime=94.48
/proc/24230/task/24232/stat : 24232 (java) R 24228 24230 23555 0 -1 64 30145 0 3 0 9431 17 0 0 25 0 13 0 133559941 1880915968 31800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4109506249 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24230/tid=24233] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24233/stat : 24233 (java) S 24228 24230 23555 0 -1 64 3 0 0 0 0 0 0 0 20 0 13 0 133559942 1880915968 31800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24234] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24234/stat : 24234 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 133559942 1880915968 31800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24235] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24235/stat : 24235 (java) S 24228 24230 23555 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 133559945 1880915968 31800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24230/tid=24236] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24236/stat : 24236 (java) S 24228 24230 23555 0 -1 64 10 0 0 0 0 0 0 0 23 0 13 0 133559945 1880915968 31800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24237] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24237/stat : 24237 (java) S 24228 24230 23555 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 133559945 1880915968 31800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24238] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24238/stat : 24238 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 133559949 1880915968 31800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24239] ppid=24228 vsize=1836832 CPUtime=0.45
/proc/24230/task/24239/stat : 24239 (java) S 24228 24230 23555 0 -1 64 862 0 0 0 45 0 0 0 17 0 13 0 133559949 1880915968 31800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24240] ppid=24228 vsize=1836832 CPUtime=0.45
/proc/24230/task/24240/stat : 24240 (java) S 24228 24230 23555 0 -1 64 1257 0 0 0 45 0 0 0 17 0 13 0 133559949 1880915968 31800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24241] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24241/stat : 24241 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 133559949 1880915968 31800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24230/tid=24242] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24242/stat : 24242 (java) S 24228 24230 23555 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 133559949 1880915968 31800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24230/tid=24243] ppid=24228 vsize=1836832 CPUtime=0
/proc/24230/task/24243/stat : 24243 (java) S 24228 24230 23555 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 133560213 1880915968 31800 18446744073709551615 134512640 134550740 4294956416 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 95.42
Current children cumulated vsize (KiB) 1836832
Child status: 20
Real time (s): 94.8966
CPU time (s): 95.4765
CPU user time (s): 95.2525
CPU system time (s): 0.223965
CPU usage (%): 100.611
Max. virtual memory (cumulated for all children) (KiB): 1837316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 95.2525
system time used= 0.223965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33001
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2382
involuntary context switches= 2344
runsolver used 0.089986 second user time and 0.267959 second system time
The end
Begin job on node43 on Wed Apr 18 00:34:41 UTC 2007
IDJOB= 312532
IDBENCH= 20344
IDSOLVER= 96
FILE ID= node43/312532-1176856481
PBS_JOBID= 4590225
Free space on /tmp= 66493 MiB
SOLVER NAME= SAT4J SAT 2007
BENCH NAME= HOME/pub/bench/SAT07/industrial/anbulagan/medium-unsat/dated-10-15-u.cnf
COMMAND LINE= java -server -Xmx1650M -Xms1650M -jar /tmp/evaluation/312532-1176856481/sat4j-sat2007.jar /tmp/evaluation/312532-1176856481/instance-312532-1176856481.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-312532-1176856481 -o ROOT/results/node43/solver-312532-1176856481 -C 1200 -W 2400 -M 1800 --output-limit 1,15 java -server -Xmx1650M -Xms1650M -jar /tmp/evaluation/312532-1176856481/sat4j-sat2007.jar /tmp/evaluation/312532-1176856481/instance-312532-1176856481.cnf
META MD5SUM SOLVER= fd7c3100383641221a90b938607cc598
MD5SUM BENCH= 3b92b02eda280b3d74433fa589c2d772
RANDOM SEED= 248612120
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node43.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.218
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.218
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: 1263528 kB
Buffers: 62432 kB
Cached: 499916 kB
SwapCached: 2596 kB
Active: 296584 kB
Inactive: 416536 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1263528 kB
SwapTotal: 4192956 kB
SwapFree: 4184648 kB
Dirty: 16888 kB
Writeback: 0 kB
Mapped: 166048 kB
Slab: 64612 kB
Committed_AS: 1711020 kB
PageTables: 1908 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= 66493 MiB
End job on node43 on Wed Apr 18 00:36:16 UTC 2007