0.09/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.09/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.09/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.09/0.15 c version SAT COMPETITION 2007
0.09/0.15 c sun.arch.data.model 32
0.09/0.15 c java.version 1.6.0
0.09/0.15 c os.name Linux
0.09/0.15 c os.version 2.6.9-22.EL.rootsmp
0.09/0.15 c os.arch i386
0.09/0.15 c Free memory 1703279312
0.09/0.15 c Max memory 1706164224
0.09/0.15 c Total memory 1706164224
0.09/0.15 c Number of processors 2
0.09/0.19 c --- Begin Solver configuration ---
0.09/0.19 c Stops conflict analysis at the first Unique Implication Point
0.09/0.19 c org.sat4j.minisat.constraints.MixedDataStructureDaniel@15cda3f
0.09/0.19 c Limit learning to clauses of size smaller or equal to 10% of the number of variables
0.09/0.19 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.09/0.19 c VSIDS like heuristics from MiniSAT using a heap
0.09/0.19 c Expensive reason simplification
0.09/0.19 c --- End Solver configuration ---
0.09/0.19 c timeout: 2147483s
0.09/0.19 c solving /tmp/evaluation/304990-1172069626/instance-304990-1172069626.cnf
0.09/0.19 c reading problem ...
0.38/0.37 c ... done. Wall clock time 0.178s.
0.38/0.37 c CPU time (experimental) 0.29s.
0.38/0.37 c #vars 140
0.38/0.37 c #constraints 11900
1200.02/1199.92 c starts : 25
1200.02/1199.92 c conflicts : 4425271
1200.02/1199.92 c decisions : 5055956
1200.02/1199.92 c propagations : 74241928
1200.02/1199.92 c inspects : 5909464376
1200.02/1199.92 c learnt literals : 0
1200.02/1199.92 c learnt binary clauses : 0
1200.02/1199.92 c learnt ternary clauses : 0
1200.02/1199.92 c learnt clauses : 46647
1200.02/1199.92 c root simplifications : 0
1200.02/1199.92 c removed literals (reason simplification) : 12691324
1200.02/1199.92 c reason swapping (by a shorter reason) : 0
1200.02/1199.92 c Calls to reduceDB : 0
1200.02/1199.92 c speed (decisions/second) : 4214.887786806186
1200.02/1199.92 c non guided choices 59
1200.02/1199.92 s UNKNOWN
1200.02/1199.92 c Total wall clock time (in seconds) : 1199.727
1200.02/1199.92 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/node66/watcher-304990-1172069626 -o ROOT/results/node66/solver-304990-1172069626 -C 1200 -M 1800 --output-limit 1,15 java -server -Xmx1650M -Xms1650M -jar /tmp/evaluation/304990-1172069626/sat4j-sat2007.jar /tmp/evaluation/304990-1172069626/instance-304990-1172069626.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.97 0.99 2/64 13345
/proc/meminfo: memFree=1432512/2055920 swapFree=4183456/4192956
[pid=13345] ppid=13343 vsize=0 CPUtime=0
/proc/13345/stat : 13345 (runsolver) R 13343 13345 13180 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 226920172 0 0 18446744073709551615 0 0 0 18446744073709551615 227607637287 0 0 4096 24578 0 0 0 17 1 0 0
/proc/13345/statm: 0 0 0 0 0 0 0
[startup+0.106447 s]
/proc/loadavg: 0.92 0.97 0.99 2/64 13345
/proc/meminfo: memFree=1432512/2055920 swapFree=4183456/4192956
[pid=13345] ppid=13343 vsize=1831496 CPUtime=0.09
/proc/13345/stat : 13345 (java) S 13343 13345 13180 0 -1 0 4027 0 1 0 6 3 0 0 18 0 12 0 226920172 1875451904 3768 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13345/statm: 457874 3768 1123 9 0 455493 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1831496
[startup+0.514529 s]
/proc/loadavg: 0.92 0.97 0.99 2/64 13345
/proc/meminfo: memFree=1432512/2055920 swapFree=4183456/4192956
[pid=13345] ppid=13343 vsize=1837840 CPUtime=0.76
/proc/13345/stat : 13345 (java) S 13343 13345 13180 0 -1 0 6861 0 1 0 72 4 0 0 18 0 13 0 226920172 1881948160 6149 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13345/statm: 459460 6149 1295 9 0 457072 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 1837840
[startup+1.33669 s]
/proc/loadavg: 0.92 0.97 0.99 2/77 13358
/proc/meminfo: memFree=1410584/2055920 swapFree=4183456/4192956
[pid=13345] ppid=13343 vsize=1838684 CPUtime=1.77
/proc/13345/stat : 13345 (java) S 13343 13345 13180 0 -1 0 7959 0 1 0 172 5 0 0 18 0 13 0 226920172 1882812416 6791 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13345/statm: 459671 6791 1309 9 0 457283 0
[pid=13345/tid=13347] ppid=13343 vsize=1838684 CPUtime=1.15
/proc/13345/task/13347/stat : 13347 (java) R 13343 13345 13180 0 -1 64 4748 0 1 0 112 3 0 0 25 0 13 0 226920173 1882812416 6791 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109558737 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13348] ppid=13343 vsize=1838684 CPUtime=0
/proc/13345/task/13348/stat : 13348 (java) S 13343 13345 13180 0 -1 64 2 0 0 0 0 0 0 0 20 0 13 0 226920175 1882812416 6791 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13349] ppid=13343 vsize=1838684 CPUtime=0
/proc/13345/task/13349/stat : 13349 (java) S 13343 13345 13180 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 226920175 1882812416 6791 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13350] ppid=13343 vsize=1838684 CPUtime=0
/proc/13345/task/13350/stat : 13350 (java) S 13343 13345 13180 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 226920177 1882812416 6791 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13351] ppid=13343 vsize=1838684 CPUtime=0
/proc/13345/task/13351/stat : 13351 (java) S 13343 13345 13180 0 -1 64 10 0 0 0 0 0 0 0 23 0 13 0 226920178 1882812416 6791 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13352] ppid=13343 vsize=1838684 CPUtime=0
/proc/13345/task/13352/stat : 13352 (java) S 13343 13345 13180 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 226920178 1882812416 6791 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13353] ppid=13343 vsize=1838684 CPUtime=0
/proc/13345/task/13353/stat : 13353 (java) S 13343 13345 13180 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 226920181 1882812416 6791 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13354] ppid=13343 vsize=1838684 CPUtime=0.29
/proc/13345/task/13354/stat : 13354 (java) S 13343 13345 13180 0 -1 64 1354 0 0 0 29 0 0 0 15 0 13 0 226920181 1882812416 6791 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13355] ppid=13343 vsize=1838684 CPUtime=0.29
/proc/13345/task/13355/stat : 13355 (java) R 13343 13345 13180 0 -1 64 1135 0 0 0 29 0 0 0 16 0 13 0 226920181 1882812416 6791 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 104723529 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13356] ppid=13343 vsize=1838684 CPUtime=0
/proc/13345/task/13356/stat : 13356 (java) S 13343 13345 13180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 226920182 1882812416 6791 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13357] ppid=13343 vsize=1838684 CPUtime=0
/proc/13345/task/13357/stat : 13357 (java) S 13343 13345 13180 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 226920182 1882812416 6791 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13358] ppid=13343 vsize=1838684 CPUtime=0
/proc/13345/task/13358/stat : 13358 (java) S 13343 13345 13180 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 226920210 1882812416 6791 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.77
Current children cumulated vsize (KiB) 1838684
[startup+2.98801 s]
/proc/loadavg: 0.92 0.97 0.99 2/77 13358
/proc/meminfo: memFree=1408472/2055920 swapFree=4183456/4192956
[pid=13345] ppid=13343 vsize=1838684 CPUtime=3.48
/proc/13345/stat : 13345 (java) S 13343 13345 13180 0 -1 0 8707 0 1 0 343 5 0 0 18 0 13 0 226920172 1882812416 7538 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13345/statm: 459671 7538 1312 9 0 457283 0
[pid=13345/tid=13347] ppid=13343 vsize=1838684 CPUtime=2.76
/proc/13345/task/13347/stat : 13347 (java) R 13343 13345 13180 0 -1 64 5485 0 1 0 273 3 0 0 25 0 13 0 226920173 1882812416 7538 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109559132 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13348] ppid=13343 vsize=1838684 CPUtime=0
/proc/13345/task/13348/stat : 13348 (java) S 13343 13345 13180 0 -1 64 2 0 0 0 0 0 0 0 20 0 13 0 226920175 1882812416 7538 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13349] ppid=13343 vsize=1838684 CPUtime=0
/proc/13345/task/13349/stat : 13349 (java) S 13343 13345 13180 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 226920175 1882812416 7538 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13350] ppid=13343 vsize=1838684 CPUtime=0
/proc/13345/task/13350/stat : 13350 (java) S 13343 13345 13180 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 226920177 1882812416 7538 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13351] ppid=13343 vsize=1838684 CPUtime=0
/proc/13345/task/13351/stat : 13351 (java) S 13343 13345 13180 0 -1 64 10 0 0 0 0 0 0 0 23 0 13 0 226920178 1882812416 7538 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13352] ppid=13343 vsize=1838684 CPUtime=0
/proc/13345/task/13352/stat : 13352 (java) S 13343 13345 13180 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 226920178 1882812416 7538 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13353] ppid=13343 vsize=1838684 CPUtime=0
/proc/13345/task/13353/stat : 13353 (java) S 13343 13345 13180 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 226920181 1882812416 7538 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13354] ppid=13343 vsize=1838684 CPUtime=0.34
/proc/13345/task/13354/stat : 13354 (java) S 13343 13345 13180 0 -1 64 1361 0 0 0 34 0 0 0 16 0 13 0 226920181 1882812416 7538 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13355] ppid=13343 vsize=1838684 CPUtime=0.34
/proc/13345/task/13355/stat : 13355 (java) S 13343 13345 13180 0 -1 64 1139 0 0 0 34 0 0 0 17 0 13 0 226920181 1882812416 7538 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13356] ppid=13343 vsize=1838684 CPUtime=0
/proc/13345/task/13356/stat : 13356 (java) S 13343 13345 13180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 226920182 1882812416 7538 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13357] ppid=13343 vsize=1838684 CPUtime=0
/proc/13345/task/13357/stat : 13357 (java) S 13343 13345 13180 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 226920182 1882812416 7538 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13358] ppid=13343 vsize=1838684 CPUtime=0
/proc/13345/task/13358/stat : 13358 (java) S 13343 13345 13180 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 226920210 1882812416 7538 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 1838684
[startup+6.28368 s]
/proc/loadavg: 0.93 0.97 0.99 2/77 13358
/proc/meminfo: memFree=1402008/2055920 swapFree=4183456/4192956
[pid=13345] ppid=13343 vsize=1838620 CPUtime=6.8
/proc/13345/stat : 13345 (java) S 13343 13345 13180 0 -1 0 10214 0 1 0 674 6 0 0 18 0 13 0 226920172 1882746880 9043 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13345/statm: 459655 9043 1312 9 0 457267 0
[pid=13345/tid=13347] ppid=13343 vsize=1838620 CPUtime=6.06
/proc/13345/task/13347/stat : 13347 (java) R 13343 13345 13180 0 -1 64 6990 0 1 0 602 4 0 0 25 0 13 0 226920173 1882746880 9043 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109559138 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13348] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13348/stat : 13348 (java) S 13343 13345 13180 0 -1 64 2 0 0 0 0 0 0 0 20 0 13 0 226920175 1882746880 9043 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13349] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13349/stat : 13349 (java) S 13343 13345 13180 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 226920175 1882746880 9043 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13350] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13350/stat : 13350 (java) S 13343 13345 13180 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 226920177 1882746880 9043 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13351] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13351/stat : 13351 (java) S 13343 13345 13180 0 -1 64 10 0 0 0 0 0 0 0 23 0 13 0 226920178 1882746880 9043 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13352] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13352/stat : 13352 (java) S 13343 13345 13180 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 226920178 1882746880 9044 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13353] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13353/stat : 13353 (java) S 13343 13345 13180 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 226920181 1882746880 9044 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13354] ppid=13343 vsize=1838620 CPUtime=0.34
/proc/13345/task/13354/stat : 13354 (java) S 13343 13345 13180 0 -1 64 1361 0 0 0 34 0 0 0 16 0 13 0 226920181 1882746880 9044 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13355] ppid=13343 vsize=1838620 CPUtime=0.37
/proc/13345/task/13355/stat : 13355 (java) S 13343 13345 13180 0 -1 64 1141 0 0 0 37 0 0 0 17 0 13 0 226920181 1882746880 9044 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13356] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13356/stat : 13356 (java) S 13343 13345 13180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 226920182 1882746880 9044 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13357] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13357/stat : 13357 (java) S 13343 13345 13180 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 226920182 1882746880 9044 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13358] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13358/stat : 13358 (java) S 13343 13345 13180 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 226920210 1882746880 9044 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.8
Current children cumulated vsize (KiB) 1838620
[startup+12.769 s]
/proc/loadavg: 0.93 0.97 0.99 2/77 13358
/proc/meminfo: memFree=1389728/2055920 swapFree=4183456/4192956
[pid=13345] ppid=13343 vsize=1838620 CPUtime=13.29
/proc/13345/stat : 13345 (java) S 13343 13345 13180 0 -1 0 13099 0 1 0 1321 8 0 0 18 0 13 0 226920172 1882746880 11928 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13345/statm: 459655 11928 1312 9 0 457267 0
[pid=13345/tid=13347] ppid=13343 vsize=1838620 CPUtime=12.53
/proc/13345/task/13347/stat : 13347 (java) R 13343 13345 13180 0 -1 64 9875 0 1 0 1248 5 0 0 25 0 13 0 226920173 1882746880 11928 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109629535 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13348] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13348/stat : 13348 (java) S 13343 13345 13180 0 -1 64 2 0 0 0 0 0 0 0 20 0 13 0 226920175 1882746880 11928 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13349] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13349/stat : 13349 (java) S 13343 13345 13180 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 226920175 1882746880 11928 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13350] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13350/stat : 13350 (java) S 13343 13345 13180 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 226920177 1882746880 11928 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13351] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13351/stat : 13351 (java) S 13343 13345 13180 0 -1 64 10 0 0 0 0 0 0 0 23 0 13 0 226920178 1882746880 11928 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13352] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13352/stat : 13352 (java) S 13343 13345 13180 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 226920178 1882746880 11928 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13353] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13353/stat : 13353 (java) S 13343 13345 13180 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 226920181 1882746880 11928 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13354] ppid=13343 vsize=1838620 CPUtime=0.34
/proc/13345/task/13354/stat : 13354 (java) S 13343 13345 13180 0 -1 64 1361 0 0 0 34 0 0 0 16 0 13 0 226920181 1882746880 11928 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13355] ppid=13343 vsize=1838620 CPUtime=0.37
/proc/13345/task/13355/stat : 13355 (java) S 13343 13345 13180 0 -1 64 1141 0 0 0 37 0 0 0 17 0 13 0 226920181 1882746880 11928 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13356] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13356/stat : 13356 (java) S 13343 13345 13180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 226920182 1882746880 11928 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13357] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13357/stat : 13357 (java) S 13343 13345 13180 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 226920182 1882746880 11928 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13358] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13358/stat : 13358 (java) S 13343 13345 13180 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 226920210 1882746880 11928 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 13.29
Current children cumulated vsize (KiB) 1838620
[startup+25.6436 s]
/proc/loadavg: 0.95 0.97 0.99 2/77 13358
/proc/meminfo: memFree=1368928/2055920 swapFree=4183456/4192956
[pid=13345] ppid=13343 vsize=1838620 CPUtime=26.15
/proc/13345/stat : 13345 (java) S 13343 13345 13180 0 -1 0 18441 0 1 0 2605 10 0 0 18 0 13 0 226920172 1882746880 17270 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13345/statm: 459655 17270 1312 9 0 457267 0
[pid=13345/tid=13347] ppid=13343 vsize=1838620 CPUtime=25.41
/proc/13345/task/13347/stat : 13347 (java) R 13343 13345 13180 0 -1 64 15217 0 1 0 2533 8 0 0 25 0 13 0 226920173 1882746880 17270 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109560702 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13348] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13348/stat : 13348 (java) S 13343 13345 13180 0 -1 64 2 0 0 0 0 0 0 0 20 0 13 0 226920175 1882746880 17270 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13349] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13349/stat : 13349 (java) S 13343 13345 13180 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 226920175 1882746880 17270 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13350] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13350/stat : 13350 (java) S 13343 13345 13180 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 226920177 1882746880 17270 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13351] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13351/stat : 13351 (java) S 13343 13345 13180 0 -1 64 10 0 0 0 0 0 0 0 23 0 13 0 226920178 1882746880 17270 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13352] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13352/stat : 13352 (java) S 13343 13345 13180 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 226920178 1882746880 17270 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13353] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13353/stat : 13353 (java) S 13343 13345 13180 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 226920181 1882746880 17270 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13354] ppid=13343 vsize=1838620 CPUtime=0.34
/proc/13345/task/13354/stat : 13354 (java) S 13343 13345 13180 0 -1 64 1361 0 0 0 34 0 0 0 16 0 13 0 226920181 1882746880 17270 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13355] ppid=13343 vsize=1838620 CPUtime=0.37
/proc/13345/task/13355/stat : 13355 (java) S 13343 13345 13180 0 -1 64 1141 0 0 0 37 0 0 0 17 0 13 0 226920181 1882746880 17270 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13356] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13356/stat : 13356 (java) S 13343 13345 13180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 226920182 1882746880 17270 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13357] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13357/stat : 13357 (java) S 13343 13345 13180 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 226920182 1882746880 17270 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13358] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13358/stat : 13358 (java) S 13343 13345 13180 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 226920210 1882746880 17270 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 26.15
################
# More data... #
################
[pid=13345] ppid=13343 vsize=1838620 CPUtime=1003.02
/proc/13345/stat : 13345 (java) S 13343 13345 13180 0 -1 0 45148 0 1 0 100271 31 0 0 18 0 13 0 226920172 1882746880 42536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13345/statm: 459655 42536 1322 9 0 457267 0
[pid=13345/tid=13347] ppid=13343 vsize=1838620 CPUtime=1002.01
/proc/13345/task/13347/stat : 13347 (java) R 13343 13345 13180 0 -1 64 38835 0 1 0 100174 27 0 0 25 0 13 0 226920173 1882746880 42536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109559536 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13348] ppid=13343 vsize=1838620 CPUtime=0.09
/proc/13345/task/13348/stat : 13348 (java) S 13343 13345 13180 0 -1 64 1633 0 0 0 9 0 0 0 17 0 13 0 226920175 1882746880 42536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13349] ppid=13343 vsize=1838620 CPUtime=0.09
/proc/13345/task/13349/stat : 13349 (java) S 13343 13345 13180 0 -1 64 1421 0 0 0 9 0 0 0 17 0 13 0 226920175 1882746880 42536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13350] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13350/stat : 13350 (java) S 13343 13345 13180 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 226920177 1882746880 42536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13351] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13351/stat : 13351 (java) S 13343 13345 13180 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 226920178 1882746880 42536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13352] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13352/stat : 13352 (java) S 13343 13345 13180 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 226920178 1882746880 42536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13353] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13353/stat : 13353 (java) S 13343 13345 13180 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 226920181 1882746880 42536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13354] ppid=13343 vsize=1838620 CPUtime=0.36
/proc/13345/task/13354/stat : 13354 (java) S 13343 13345 13180 0 -1 64 1364 0 0 0 36 0 0 0 16 0 13 0 226920181 1882746880 42536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13355] ppid=13343 vsize=1838620 CPUtime=0.39
/proc/13345/task/13355/stat : 13355 (java) S 13343 13345 13180 0 -1 64 1151 0 0 0 39 0 0 0 16 0 13 0 226920181 1882746880 42536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13356] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13356/stat : 13356 (java) S 13343 13345 13180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 226920182 1882746880 42536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13357] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13357/stat : 13357 (java) S 13343 13345 13180 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 226920182 1882746880 42536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13358] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13358/stat : 13358 (java) S 13343 13345 13180 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 226920210 1882746880 42536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1003.02
Current children cumulated vsize (KiB) 1838620
[startup+1062.89 s]
/proc/loadavg: 1.07 1.02 1.00 2/77 13556
/proc/meminfo: memFree=1266080/2055920 swapFree=4183456/4192956
[pid=13345] ppid=13343 vsize=1838620 CPUtime=1063.01
/proc/13345/stat : 13345 (java) S 13343 13345 13180 0 -1 0 45148 0 1 0 106270 31 0 0 18 0 13 0 226920172 1882746880 42536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13345/statm: 459655 42536 1322 9 0 457267 0
[pid=13345/tid=13347] ppid=13343 vsize=1838620 CPUtime=1062.01
/proc/13345/task/13347/stat : 13347 (java) R 13343 13345 13180 0 -1 64 38835 0 1 0 106174 27 0 0 25 0 13 0 226920173 1882746880 42536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109558580 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13348] ppid=13343 vsize=1838620 CPUtime=0.09
/proc/13345/task/13348/stat : 13348 (java) S 13343 13345 13180 0 -1 64 1633 0 0 0 9 0 0 0 17 0 13 0 226920175 1882746880 42536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13349] ppid=13343 vsize=1838620 CPUtime=0.09
/proc/13345/task/13349/stat : 13349 (java) S 13343 13345 13180 0 -1 64 1421 0 0 0 9 0 0 0 17 0 13 0 226920175 1882746880 42536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13350] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13350/stat : 13350 (java) S 13343 13345 13180 0 -1 64 24 0 0 0 0 0 0 0 16 0 13 0 226920177 1882746880 42536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13351] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13351/stat : 13351 (java) S 13343 13345 13180 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 226920178 1882746880 42536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13352] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13352/stat : 13352 (java) S 13343 13345 13180 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 226920178 1882746880 42536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13353] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13353/stat : 13353 (java) S 13343 13345 13180 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 226920181 1882746880 42536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13354] ppid=13343 vsize=1838620 CPUtime=0.36
/proc/13345/task/13354/stat : 13354 (java) S 13343 13345 13180 0 -1 64 1364 0 0 0 36 0 0 0 16 0 13 0 226920181 1882746880 42536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13355] ppid=13343 vsize=1838620 CPUtime=0.39
/proc/13345/task/13355/stat : 13355 (java) S 13343 13345 13180 0 -1 64 1151 0 0 0 39 0 0 0 16 0 13 0 226920181 1882746880 42536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13356] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13356/stat : 13356 (java) S 13343 13345 13180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 226920182 1882746880 42536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13357] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13357/stat : 13357 (java) S 13343 13345 13180 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 226920182 1882746880 42536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13358] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13358/stat : 13358 (java) S 13343 13345 13180 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 226920210 1882746880 42536 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1063.01
Current children cumulated vsize (KiB) 1838620
[startup+1122.91 s]
/proc/loadavg: 1.02 1.01 1.00 2/77 13556
/proc/meminfo: memFree=1259168/2055920 swapFree=4183456/4192956
[pid=13345] ppid=13343 vsize=1838620 CPUtime=1123.05
/proc/13345/stat : 13345 (java) S 13343 13345 13180 0 -1 0 46915 0 1 0 112273 32 0 0 18 0 13 0 226920172 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13345/statm: 459655 44271 1322 9 0 457267 0
[pid=13345/tid=13347] ppid=13343 vsize=1838620 CPUtime=1121.98
/proc/13345/task/13347/stat : 13347 (java) R 13343 13345 13180 0 -1 64 38836 0 1 0 112171 27 0 0 25 0 13 0 226920173 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109560377 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13348] ppid=13343 vsize=1838620 CPUtime=0.13
/proc/13345/task/13348/stat : 13348 (java) S 13343 13345 13180 0 -1 64 2425 0 0 0 12 1 0 0 17 0 13 0 226920175 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13349] ppid=13343 vsize=1838620 CPUtime=0.13
/proc/13345/task/13349/stat : 13349 (java) S 13343 13345 13180 0 -1 64 2391 0 0 0 12 1 0 0 16 0 13 0 226920175 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13350] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13350/stat : 13350 (java) S 13343 13345 13180 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 226920177 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13351] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13351/stat : 13351 (java) S 13343 13345 13180 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 226920178 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13352] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13352/stat : 13352 (java) S 13343 13345 13180 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 226920178 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13353] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13353/stat : 13353 (java) S 13343 13345 13180 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 226920181 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13354] ppid=13343 vsize=1838620 CPUtime=0.36
/proc/13345/task/13354/stat : 13354 (java) S 13343 13345 13180 0 -1 64 1364 0 0 0 36 0 0 0 16 0 13 0 226920181 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13355] ppid=13343 vsize=1838620 CPUtime=0.39
/proc/13345/task/13355/stat : 13355 (java) S 13343 13345 13180 0 -1 64 1151 0 0 0 39 0 0 0 16 0 13 0 226920181 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13356] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13356/stat : 13356 (java) S 13343 13345 13180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 226920182 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13357] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13357/stat : 13357 (java) S 13343 13345 13180 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 226920182 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13358] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13358/stat : 13358 (java) S 13343 13345 13180 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 226920210 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1123.05
Current children cumulated vsize (KiB) 1838620
[startup+1182.93 s]
/proc/loadavg: 1.01 1.01 1.00 2/77 13556
/proc/meminfo: memFree=1259168/2055920 swapFree=4183456/4192956
[pid=13345] ppid=13343 vsize=1838620 CPUtime=1183.04
/proc/13345/stat : 13345 (java) S 13343 13345 13180 0 -1 0 46915 0 1 0 118272 32 0 0 18 0 13 0 226920172 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13345/statm: 459655 44271 1322 9 0 457267 0
[pid=13345/tid=13347] ppid=13343 vsize=1838620 CPUtime=1181.98
/proc/13345/task/13347/stat : 13347 (java) R 13343 13345 13180 0 -1 64 38836 0 1 0 118171 27 0 0 25 0 13 0 226920173 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109559546 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13348] ppid=13343 vsize=1838620 CPUtime=0.13
/proc/13345/task/13348/stat : 13348 (java) S 13343 13345 13180 0 -1 64 2425 0 0 0 12 1 0 0 17 0 13 0 226920175 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13349] ppid=13343 vsize=1838620 CPUtime=0.13
/proc/13345/task/13349/stat : 13349 (java) S 13343 13345 13180 0 -1 64 2391 0 0 0 12 1 0 0 16 0 13 0 226920175 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13350] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13350/stat : 13350 (java) S 13343 13345 13180 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 226920177 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13351] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13351/stat : 13351 (java) S 13343 13345 13180 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 226920178 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13352] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13352/stat : 13352 (java) S 13343 13345 13180 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 226920178 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13353] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13353/stat : 13353 (java) S 13343 13345 13180 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 226920181 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13354] ppid=13343 vsize=1838620 CPUtime=0.36
/proc/13345/task/13354/stat : 13354 (java) S 13343 13345 13180 0 -1 64 1364 0 0 0 36 0 0 0 16 0 13 0 226920181 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13355] ppid=13343 vsize=1838620 CPUtime=0.39
/proc/13345/task/13355/stat : 13355 (java) S 13343 13345 13180 0 -1 64 1151 0 0 0 39 0 0 0 16 0 13 0 226920181 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13356] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13356/stat : 13356 (java) S 13343 13345 13180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 226920182 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13357] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13357/stat : 13357 (java) S 13343 13345 13180 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 226920182 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13358] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13358/stat : 13358 (java) S 13343 13345 13180 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 226920210 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1183.04
Current children cumulated vsize (KiB) 1838620
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 13556
/proc/meminfo: memFree=1259168/2055920 swapFree=4183456/4192956
[pid=13345] ppid=13343 vsize=1838620 CPUtime=1200.02
/proc/13345/stat : 13345 (java) S 13343 13345 13180 0 -1 0 46915 0 1 0 119970 32 0 0 18 0 13 0 226920172 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13345/statm: 459655 44271 1322 9 0 457267 0
[pid=13345/tid=13347] ppid=13343 vsize=1838620 CPUtime=1198.95
/proc/13345/task/13347/stat : 13347 (java) R 13343 13345 13180 0 -1 64 38836 0 1 0 119868 27 0 0 25 0 13 0 226920173 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109560384 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13348] ppid=13343 vsize=1838620 CPUtime=0.13
/proc/13345/task/13348/stat : 13348 (java) S 13343 13345 13180 0 -1 64 2425 0 0 0 12 1 0 0 17 0 13 0 226920175 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13349] ppid=13343 vsize=1838620 CPUtime=0.13
/proc/13345/task/13349/stat : 13349 (java) S 13343 13345 13180 0 -1 64 2391 0 0 0 12 1 0 0 16 0 13 0 226920175 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13350] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13350/stat : 13350 (java) S 13343 13345 13180 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 226920177 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13351] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13351/stat : 13351 (java) S 13343 13345 13180 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 226920178 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13352] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13352/stat : 13352 (java) S 13343 13345 13180 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 226920178 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13353] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13353/stat : 13353 (java) S 13343 13345 13180 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 226920181 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13354] ppid=13343 vsize=1838620 CPUtime=0.36
/proc/13345/task/13354/stat : 13354 (java) S 13343 13345 13180 0 -1 64 1364 0 0 0 36 0 0 0 16 0 13 0 226920181 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13355] ppid=13343 vsize=1838620 CPUtime=0.39
/proc/13345/task/13355/stat : 13355 (java) S 13343 13345 13180 0 -1 64 1151 0 0 0 39 0 0 0 16 0 13 0 226920181 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13356] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13356/stat : 13356 (java) S 13343 13345 13180 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 226920182 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13345/tid=13357] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13357/stat : 13357 (java) S 13343 13345 13180 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 226920182 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13345/tid=13358] ppid=13343 vsize=1838620 CPUtime=0
/proc/13345/task/13358/stat : 13358 (java) S 13343 13345 13180 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 226920210 1882746880 44271 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 1838620
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200
CPU time (s): 1200.11
CPU user time (s): 1199.76
CPU system time (s): 0.349946
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 1838684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.76
system time used= 0.349946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46935
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= 24649
involuntary context switches= 26378
runsolver used 1.37179 second user time and 2.91956 second system time
The end
Begin job on node66 on Wed Feb 21 14:53:46 UTC 2007
IDJOB= 304990
IDBENCH= 20146
IDSOLVER= 96
FILE ID= node66/304990-1172069626
PBS_JOBID= 3892791
Free space on /tmp= 66561 MiB
SOLVER NAME= SAT4J SAT 2007
BENCH NAME= HOME/pub/bench/SAT07/random/LargeSize/7SAT/v140/unif-k7-r85-v140-c11900-S2026599491-05.cnf
COMMAND LINE= java -server -Xmx1650M -Xms1650M -jar /tmp/evaluation/304990-1172069626/sat4j-sat2007.jar /tmp/evaluation/304990-1172069626/instance-304990-1172069626.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node66/watcher-304990-1172069626 -o ROOT/results/node66/solver-304990-1172069626 -C 1200 -M 1800 --output-limit 1,15 java -server -Xmx1650M -Xms1650M -jar /tmp/evaluation/304990-1172069626/sat4j-sat2007.jar /tmp/evaluation/304990-1172069626/instance-304990-1172069626.cnf
META MD5SUM SOLVER= fd7c3100383641221a90b938607cc598
MD5SUM BENCH= bfa2c67f285f9654993c505ac389a222
RANDOM SEED= 909803846
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node66.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.259
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 : 5931.00
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.259
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: 1432984 kB
Buffers: 37452 kB
Cached: 497868 kB
SwapCached: 3648 kB
Active: 122468 kB
Inactive: 422568 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1432984 kB
SwapTotal: 4192956 kB
SwapFree: 4183456 kB
Dirty: 1536 kB
Writeback: 0 kB
Mapped: 15624 kB
Slab: 64024 kB
Committed_AS: 622244 kB
PageTables: 1376 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= 66561 MiB
End job on node66 on Wed Feb 21 15:13:48 UTC 2007