0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.08/0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.08/0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.08/0.15 c version SAT COMPETITION 2007
0.08/0.15 c sun.arch.data.model 32
0.08/0.15 c java.version 1.6.0
0.08/0.15 c os.name Linux
0.08/0.15 c os.version 2.6.9-22.EL.rootsmp
0.08/0.15 c os.arch i386
0.08/0.15 c Free memory 1651659224
0.08/0.15 c Max memory 1654456320
0.08/0.15 c Total memory 1654456320
0.08/0.15 c Number of processors 2
0.08/0.19 c --- Begin Solver configuration ---
0.08/0.19 c Stops conflict analysis at the first Unique Implication Point
0.08/0.19 c org.sat4j.minisat.constraints.MixedDataStructureDaniel@15cda3f
0.08/0.19 c Limit learning to clauses of size smaller or equal to 10% of the number of variables
0.08/0.19 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.08/0.19 c VSIDS like heuristics from MiniSAT using a heap
0.08/0.19 c Expensive reason simplification
0.08/0.19 c --- End Solver configuration ---
0.08/0.19 c timeout: 2147483s
0.08/0.19 c solving /tmp/evaluation/331711-1176898885/instance-331711-1176898885.cnf
0.08/0.19 c reading problem ...
2.12/2.10 c ... done. Wall clock time 1.907s.
2.23/2.10 c CPU time (experimental) 2.0s.
2.23/2.10 c #vars 164158
2.23/2.10 c #constraints 717437
1200.14/1198.68 c starts : 16
1200.14/1198.68 c conflicts : 101074
1200.14/1198.68 c decisions : 237692
1200.14/1198.68 c propagations : 420279228
1200.14/1198.68 c inspects : 1595349125
1200.14/1198.68 c learnt literals : 175
1200.14/1198.68 c learnt binary clauses : 828
1200.14/1198.68 c learnt ternary clauses : 933
1200.14/1198.68 c learnt clauses : 100899
1200.14/1198.68 c root simplifications : 0
1200.14/1198.68 c removed literals (reason simplification) : 7817841
1200.14/1198.68 c reason swapping (by a shorter reason) : 0
1200.14/1198.68 c Calls to reduceDB : 0
1200.14/1198.68 c speed (decisions/second) : 198.65192954597688
1200.14/1198.68 c non guided choices 664
1200.14/1198.68 s UNKNOWN
1200.14/1198.68 c Total wall clock time (in seconds) : 1198.491
1200.14/1198.68 c Total CPU time (experimental, in seconds) : 0.0
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-331711-1176898885 -o ROOT/results/node3/solver-331711-1176898885 -C 1200 -W 2400 -M 1800 --output-limit 1,15 java6 -server -Xmx1600m -Xms1600m -jar /tmp/evaluation/331711-1176898885/sat4j-sat2007.jar /tmp/evaluation/331711-1176898885/instance-331711-1176898885.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.74 1.34 1.12 2/77 3260
/proc/meminfo: memFree=1322976/2055920 swapFree=4132108/4192956
[pid=3260] ppid=3258 vsize=152 CPUtime=0
/proc/3260/stat : 3260 (java6) R 3258 3260 2065 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 165926300 155648 26 18446744073709551615 134512640 134550740 4294956608 18446744073709551615 10924836 0 0 4096 0 0 0 0 17 1 0 0
/proc/3260/statm: 38 26 19 9 0 4 0
[startup+0.0375119 s]
/proc/loadavg: 1.74 1.34 1.12 2/77 3260
/proc/meminfo: memFree=1322976/2055920 swapFree=4132108/4192956
[pid=3260] ppid=3258 vsize=1776088 CPUtime=0.02
/proc/3260/stat : 3260 (java) S 3258 3260 2065 0 -1 0 3170 0 1 0 0 2 0 0 18 0 4 0 165926300 1818714112 2917 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/3260/statm: 444022 2917 887 9 0 441658 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1776088
[startup+0.101518 s]
/proc/loadavg: 1.74 1.34 1.12 2/77 3260
/proc/meminfo: memFree=1322976/2055920 swapFree=4132108/4192956
[pid=3260] ppid=3258 vsize=1780108 CPUtime=0.08
/proc/3260/stat : 3260 (java) S 3258 3260 2065 0 -1 0 3969 0 1 0 5 3 0 0 18 0 12 0 165926300 1822830592 3710 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3260/statm: 445027 3710 1122 9 0 442646 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1780108
[startup+0.301555 s]
/proc/loadavg: 1.74 1.34 1.12 2/77 3260
/proc/meminfo: memFree=1322976/2055920 swapFree=4132108/4192956
[pid=3260] ppid=3258 vsize=1782348 CPUtime=0.35
/proc/3260/stat : 3260 (java) S 3258 3260 2065 0 -1 0 7777 0 1 0 30 5 0 0 18 0 12 0 165926300 1825124352 7515 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3260/statm: 445587 7518 1286 9 0 443199 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 1782348
[startup+0.701608 s]
/proc/loadavg: 1.74 1.34 1.12 2/77 3260
/proc/meminfo: memFree=1322976/2055920 swapFree=4132108/4192956
[pid=3260] ppid=3258 vsize=1782348 CPUtime=0.82
/proc/3260/stat : 3260 (java) S 3258 3260 2065 0 -1 0 13490 0 1 0 74 8 0 0 18 0 12 0 165926300 1825124352 13206 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3260/statm: 445587 13206 1290 9 0 443199 0
Current children cumulated CPU time (s) 0.82
Current children cumulated vsize (KiB) 1782348
[startup+1.50174 s]
/proc/loadavg: 1.74 1.34 1.12 2/89 3272
/proc/meminfo: memFree=1261952/2055920 swapFree=4132108/4192956
[pid=3260] ppid=3258 vsize=1782348 CPUtime=1.61
/proc/3260/stat : 3260 (java) S 3258 3260 2065 0 -1 0 20065 0 1 0 151 10 0 0 18 0 12 0 165926300 1825124352 19780 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3260/statm: 445587 19780 1290 9 0 443199 0
[pid=3260/tid=3262] ppid=3258 vsize=1782348 CPUtime=1.4
/proc/3260/task/3262/stat : 3262 (java) R 3258 3260 2065 0 -1 64 18752 0 1 0 131 9 0 0 20 0 12 0 165926301 1825124352 19780 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109513044 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3260/tid=3263] ppid=3258 vsize=1782348 CPUtime=0
/proc/3260/task/3263/stat : 3263 (java) S 3258 3260 2065 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 165926303 1825124352 19780 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3264] ppid=3258 vsize=1782348 CPUtime=0
/proc/3260/task/3264/stat : 3264 (java) S 3258 3260 2065 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 165926303 1825124352 19781 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3260/tid=3265] ppid=3258 vsize=1782348 CPUtime=0
/proc/3260/task/3265/stat : 3265 (java) S 3258 3260 2065 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 165926305 1825124352 19781 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3266] ppid=3258 vsize=1782348 CPUtime=0
/proc/3260/task/3266/stat : 3266 (java) S 3258 3260 2065 0 -1 64 10 0 0 0 0 0 0 0 22 0 12 0 165926305 1825124352 19781 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3267] ppid=3258 vsize=1782348 CPUtime=0
/proc/3260/task/3267/stat : 3267 (java) S 3258 3260 2065 0 -1 64 3 0 0 0 0 0 0 0 23 0 12 0 165926305 1825124352 19781 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3268] ppid=3258 vsize=1782348 CPUtime=0
/proc/3260/task/3268/stat : 3268 (java) S 3258 3260 2065 0 -1 64 0 0 0 0 0 0 0 0 24 0 12 0 165926309 1825124352 19782 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3269] ppid=3258 vsize=1782348 CPUtime=0.1
/proc/3260/task/3269/stat : 3269 (java) S 3258 3260 2065 0 -1 64 360 0 0 0 10 0 0 0 16 0 12 0 165926309 1825124352 19782 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3260/tid=3270] ppid=3258 vsize=1782348 CPUtime=0.09
/proc/3260/task/3270/stat : 3270 (java) S 3258 3260 2065 0 -1 64 232 0 0 0 9 0 0 0 16 0 12 0 165926309 1825124352 19783 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3271] ppid=3258 vsize=1782348 CPUtime=0
/proc/3260/task/3271/stat : 3271 (java) S 3258 3260 2065 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 165926309 1825124352 19783 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3272] ppid=3258 vsize=1782348 CPUtime=0
/proc/3260/task/3272/stat : 3272 (java) S 3258 3260 2065 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 165926309 1825124352 19784 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.61
Current children cumulated vsize (KiB) 1782348
[startup+3.10301 s]
/proc/loadavg: 1.74 1.34 1.12 3/89 3272
/proc/meminfo: memFree=1230144/2055920 swapFree=4132108/4192956
[pid=3260] ppid=3258 vsize=1784080 CPUtime=3.55
/proc/3260/stat : 3260 (java) S 3258 3260 2065 0 -1 0 27408 0 1 0 341 14 0 0 18 0 13 0 165926300 1826897920 26135 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3260/statm: 446020 26135 1313 9 0 443632 0
[pid=3260/tid=3262] ppid=3258 vsize=1784080 CPUtime=2.84
/proc/3260/task/3262/stat : 3262 (java) R 3258 3260 2065 0 -1 64 24748 0 1 0 272 12 0 0 25 0 13 0 165926301 1826897920 26135 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109630737 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3263] ppid=3258 vsize=1784080 CPUtime=0
/proc/3260/task/3263/stat : 3263 (java) S 3258 3260 2065 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 165926303 1826897920 26135 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3264] ppid=3258 vsize=1784080 CPUtime=0
/proc/3260/task/3264/stat : 3264 (java) S 3258 3260 2065 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 165926303 1826897920 26135 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3260/tid=3265] ppid=3258 vsize=1784080 CPUtime=0
/proc/3260/task/3265/stat : 3265 (java) S 3258 3260 2065 0 -1 64 2 0 0 0 0 0 0 0 17 0 13 0 165926305 1826897920 26135 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3266] ppid=3258 vsize=1784080 CPUtime=0
/proc/3260/task/3266/stat : 3266 (java) S 3258 3260 2065 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 165926305 1826897920 26135 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3267] ppid=3258 vsize=1784080 CPUtime=0
/proc/3260/task/3267/stat : 3267 (java) S 3258 3260 2065 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 165926305 1826897920 26135 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3268] ppid=3258 vsize=1784080 CPUtime=0
/proc/3260/task/3268/stat : 3268 (java) S 3258 3260 2065 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 165926309 1826897920 26135 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3269] ppid=3258 vsize=1784080 CPUtime=0.35
/proc/3260/task/3269/stat : 3269 (java) S 3258 3260 2065 0 -1 64 865 0 0 0 35 0 0 0 16 0 13 0 165926309 1826897920 26135 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3260/tid=3270] ppid=3258 vsize=1784080 CPUtime=0.33
/proc/3260/task/3270/stat : 3270 (java) S 3258 3260 2065 0 -1 64 1070 0 0 0 33 0 0 0 15 0 13 0 165926309 1826897920 26135 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3271] ppid=3258 vsize=1784080 CPUtime=0
/proc/3260/task/3271/stat : 3271 (java) S 3258 3260 2065 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165926309 1826897920 26135 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3272] ppid=3258 vsize=1784080 CPUtime=0
/proc/3260/task/3272/stat : 3272 (java) S 3258 3260 2065 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 165926309 1826897920 26135 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 1784080
[startup+6.30152 s]
/proc/loadavg: 1.68 1.34 1.12 2/90 3273
/proc/meminfo: memFree=1223096/2055920 swapFree=4132108/4192956
[pid=3260] ppid=3258 vsize=1783828 CPUtime=6.74
/proc/3260/stat : 3260 (java) S 3258 3260 2065 0 -1 0 27510 0 1 0 660 14 0 0 18 0 13 0 165926300 1826639872 26103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3260/statm: 445957 26103 1313 9 0 443569 0
[pid=3260/tid=3262] ppid=3258 vsize=1783828 CPUtime=6.04
/proc/3260/task/3262/stat : 3262 (java) R 3258 3260 2065 0 -1 64 24850 0 1 0 591 13 0 0 25 0 13 0 165926301 1826639872 26103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109595085 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3260/tid=3263] ppid=3258 vsize=1783828 CPUtime=0
/proc/3260/task/3263/stat : 3263 (java) S 3258 3260 2065 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 165926303 1826639872 26103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3264] ppid=3258 vsize=1783828 CPUtime=0
/proc/3260/task/3264/stat : 3264 (java) S 3258 3260 2065 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 165926303 1826639872 26103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3260/tid=3265] ppid=3258 vsize=1783828 CPUtime=0
/proc/3260/task/3265/stat : 3265 (java) S 3258 3260 2065 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 165926305 1826639872 26103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3266] ppid=3258 vsize=1783828 CPUtime=0
/proc/3260/task/3266/stat : 3266 (java) S 3258 3260 2065 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 165926305 1826639872 26103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3267] ppid=3258 vsize=1783828 CPUtime=0
/proc/3260/task/3267/stat : 3267 (java) S 3258 3260 2065 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 165926305 1826639872 26103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3268] ppid=3258 vsize=1783828 CPUtime=0
/proc/3260/task/3268/stat : 3268 (java) S 3258 3260 2065 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 165926309 1826639872 26103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3269] ppid=3258 vsize=1783828 CPUtime=0.35
/proc/3260/task/3269/stat : 3269 (java) S 3258 3260 2065 0 -1 64 865 0 0 0 35 0 0 0 16 0 13 0 165926309 1826639872 26103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3260/tid=3270] ppid=3258 vsize=1783828 CPUtime=0.33
/proc/3260/task/3270/stat : 3270 (java) S 3258 3260 2065 0 -1 64 1070 0 0 0 33 0 0 0 15 0 13 0 165926309 1826639872 26103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3271] ppid=3258 vsize=1783828 CPUtime=0
/proc/3260/task/3271/stat : 3271 (java) S 3258 3260 2065 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165926309 1826639872 26103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3272] ppid=3258 vsize=1783828 CPUtime=0
/proc/3260/task/3272/stat : 3272 (java) S 3258 3260 2065 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 165926309 1826639872 26103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3260/tid=3273] ppid=3258 vsize=1783828 CPUtime=0
/proc/3260/task/3273/stat : 3273 (java) S 3258 3260 2065 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 165926528 1826639872 26103 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.74
Current children cumulated vsize (KiB) 1783828
[startup+12.7026 s]
/proc/loadavg: 1.63 1.33 1.12 2/90 3273
/proc/meminfo: memFree=1222584/2055920 swapFree=4132108/4192956
[pid=3260] ppid=3258 vsize=1783828 CPUtime=13.15
/proc/3260/stat : 3260 (java) S 3258 3260 2065 0 -1 0 27698 0 1 0 1300 15 0 0 18 0 13 0 165926300 1826639872 26291 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3260/statm: 445957 26291 1313 9 0 443569 0
[pid=3260/tid=3262] ppid=3258 vsize=1783828 CPUtime=12.43
/proc/3260/task/3262/stat : 3262 (java) R 3258 3260 2065 0 -1 64 25038 0 1 0 1230 13 0 0 25 0 13 0 165926301 1826639872 26291 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109557038 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3263] ppid=3258 vsize=1783828 CPUtime=0
/proc/3260/task/3263/stat : 3263 (java) S 3258 3260 2065 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 165926303 1826639872 26291 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3264] ppid=3258 vsize=1783828 CPUtime=0
/proc/3260/task/3264/stat : 3264 (java) S 3258 3260 2065 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 165926303 1826639872 26291 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3260/tid=3265] ppid=3258 vsize=1783828 CPUtime=0
/proc/3260/task/3265/stat : 3265 (java) S 3258 3260 2065 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 165926305 1826639872 26291 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3266] ppid=3258 vsize=1783828 CPUtime=0
/proc/3260/task/3266/stat : 3266 (java) S 3258 3260 2065 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 165926305 1826639872 26291 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3267] ppid=3258 vsize=1783828 CPUtime=0
/proc/3260/task/3267/stat : 3267 (java) S 3258 3260 2065 0 -1 64 3 0 0 0 0 0 0 0 23 0 13 0 165926305 1826639872 26291 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3268] ppid=3258 vsize=1783828 CPUtime=0
/proc/3260/task/3268/stat : 3268 (java) S 3258 3260 2065 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 165926309 1826639872 26291 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3269] ppid=3258 vsize=1783828 CPUtime=0.36
/proc/3260/task/3269/stat : 3269 (java) S 3258 3260 2065 0 -1 64 865 0 0 0 36 0 0 0 17 0 13 0 165926309 1826639872 26291 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3260/tid=3270] ppid=3258 vsize=1783828 CPUtime=0.33
/proc/3260/task/3270/stat : 3270 (java) S 3258 3260 2065 0 -1 64 1070 0 0 0 33 0 0 0 16 0 13 0 165926309 1826639872 26291 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3271] ppid=3258 vsize=1783828 CPUtime=0
/proc/3260/task/3271/stat : 3271 (java) S 3258 3260 2065 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165926309 1826639872 26291 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3272] ppid=3258 vsize=1783828 CPUtime=0
/proc/3260/task/3272/stat : 3272 (java) S 3258 3260 2065 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 165926309 1826639872 26291 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3260/tid=3273] ppid=3258 vsize=1783828 CPUtime=0
/proc/3260/task/3273/stat : 3273 (java) S 3258 3260 2065 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 165926528 1826639872 26291 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.15
Current children cumulated vsize (KiB) 1783828
[startup+25.5016 s]
/proc/loadavg: 1.49 1.31 1.12 2/90 3273
/proc/meminfo: memFree=1220536/2055920 swapFree=4132108/4192956
[pid=3260] ppid=3258 vsize=1783796 CPUtime=26.01
/proc/3260/stat : 3260 (java) S 3258 3260 2065 0 -1 0 28221 0 1 0 2585 16 0 0 18 0 13 0 165926300 1826607104 26763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3260/statm: 445949 26763 1316 9 0 443561 0
[pid=3260/tid=3262] ppid=3258 vsize=1783796 CPUtime=25.21
/proc/3260/task/3262/stat : 3262 (java) R 3258 3260 2065 0 -1 64 25517 0 1 0 2507 14 0 0 25 0 13 0 165926301 1826607104 26763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109550779 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3260/tid=3263] ppid=3258 vsize=1783796 CPUtime=0
/proc/3260/task/3263/stat : 3263 (java) S 3258 3260 2065 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 165926303 1826607104 26763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3264] ppid=3258 vsize=1783796 CPUtime=0
/proc/3260/task/3264/stat : 3264 (java) S 3258 3260 2065 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 165926303 1826607104 26763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3260/tid=3265] ppid=3258 vsize=1783796 CPUtime=0
/proc/3260/task/3265/stat : 3265 (java) S 3258 3260 2065 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 165926305 1826607104 26763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3266] ppid=3258 vsize=1783796 CPUtime=0
/proc/3260/task/3266/stat : 3266 (java) S 3258 3260 2065 0 -1 64 10 0 0 0 0 0 0 0 22 0 13 0 165926305 1826607104 26763 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
################
# More data... #
################
[pid=3260] ppid=3258 vsize=1789564 CPUtime=1003.35
/proc/3260/stat : 3260 (java) S 3258 3260 2065 0 -1 0 77308 0 1 0 100280 55 0 0 18 0 13 0 165926300 1832513536 71722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3260/statm: 447391 71722 1326 9 0 445003 0
[pid=3260/tid=3262] ppid=3258 vsize=1789564 CPUtime=1000.83
/proc/3260/task/3262/stat : 3262 (java) R 3258 3260 2065 0 -1 64 37719 0 1 0 100046 37 0 0 25 0 13 0 165926301 1832513536 71722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109490835 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3260/tid=3263] ppid=3258 vsize=1789564 CPUtime=0.8
/proc/3260/task/3263/stat : 3263 (java) S 3258 3260 2065 0 -1 64 14128 0 0 0 75 5 0 0 24 0 13 0 165926303 1832513536 71722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3264] ppid=3258 vsize=1789564 CPUtime=0.81
/proc/3260/task/3264/stat : 3264 (java) S 3258 3260 2065 0 -1 64 22742 0 0 0 71 10 0 0 24 0 13 0 165926303 1832513536 71722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3265] ppid=3258 vsize=1789564 CPUtime=0
/proc/3260/task/3265/stat : 3265 (java) S 3258 3260 2065 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 165926305 1832513536 71722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3266] ppid=3258 vsize=1789564 CPUtime=0
/proc/3260/task/3266/stat : 3266 (java) S 3258 3260 2065 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 165926305 1832513536 71722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3267] ppid=3258 vsize=1789564 CPUtime=0
/proc/3260/task/3267/stat : 3267 (java) S 3258 3260 2065 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 165926305 1832513536 71722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3268] ppid=3258 vsize=1789564 CPUtime=0
/proc/3260/task/3268/stat : 3268 (java) S 3258 3260 2065 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 165926309 1832513536 71722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3269] ppid=3258 vsize=1789564 CPUtime=0.44
/proc/3260/task/3269/stat : 3269 (java) S 3258 3260 2065 0 -1 64 873 0 0 0 44 0 0 0 17 0 13 0 165926309 1832513536 71722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3260/tid=3270] ppid=3258 vsize=1789564 CPUtime=0.42
/proc/3260/task/3270/stat : 3270 (java) S 3258 3260 2065 0 -1 64 1115 0 0 0 42 0 0 0 17 0 13 0 165926309 1832513536 71722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3271] ppid=3258 vsize=1789564 CPUtime=0
/proc/3260/task/3271/stat : 3271 (java) S 3258 3260 2065 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165926309 1832513536 71722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3272] ppid=3258 vsize=1789564 CPUtime=0
/proc/3260/task/3272/stat : 3272 (java) S 3258 3260 2065 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 165926309 1832513536 71722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3260/tid=3273] ppid=3258 vsize=1789564 CPUtime=0
/proc/3260/task/3273/stat : 3273 (java) S 3258 3260 2065 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 165926528 1832513536 71722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1003.35
Current children cumulated vsize (KiB) 1789564
[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.04 2/90 3275
/proc/meminfo: memFree=1039992/2055920 swapFree=4132108/4192956
[pid=3260] ppid=3258 vsize=1789564 CPUtime=1063.33
/proc/3260/stat : 3260 (java) S 3258 3260 2065 0 -1 0 77308 0 1 0 106278 55 0 0 18 0 13 0 165926300 1832513536 71722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3260/statm: 447391 71722 1326 9 0 445003 0
[pid=3260/tid=3262] ppid=3258 vsize=1789564 CPUtime=1060.8
/proc/3260/task/3262/stat : 3262 (java) R 3258 3260 2065 0 -1 64 37719 0 1 0 106043 37 0 0 25 0 13 0 165926301 1832513536 71722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109622743 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3260/tid=3263] ppid=3258 vsize=1789564 CPUtime=0.8
/proc/3260/task/3263/stat : 3263 (java) S 3258 3260 2065 0 -1 64 14128 0 0 0 75 5 0 0 24 0 13 0 165926303 1832513536 71722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3264] ppid=3258 vsize=1789564 CPUtime=0.81
/proc/3260/task/3264/stat : 3264 (java) S 3258 3260 2065 0 -1 64 22742 0 0 0 71 10 0 0 24 0 13 0 165926303 1832513536 71722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3265] ppid=3258 vsize=1789564 CPUtime=0
/proc/3260/task/3265/stat : 3265 (java) S 3258 3260 2065 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 165926305 1832513536 71722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3266] ppid=3258 vsize=1789564 CPUtime=0
/proc/3260/task/3266/stat : 3266 (java) S 3258 3260 2065 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 165926305 1832513536 71722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3267] ppid=3258 vsize=1789564 CPUtime=0
/proc/3260/task/3267/stat : 3267 (java) S 3258 3260 2065 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 165926305 1832513536 71722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3268] ppid=3258 vsize=1789564 CPUtime=0
/proc/3260/task/3268/stat : 3268 (java) S 3258 3260 2065 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 165926309 1832513536 71722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3269] ppid=3258 vsize=1789564 CPUtime=0.45
/proc/3260/task/3269/stat : 3269 (java) S 3258 3260 2065 0 -1 64 873 0 0 0 45 0 0 0 17 0 13 0 165926309 1832513536 71722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3260/tid=3270] ppid=3258 vsize=1789564 CPUtime=0.42
/proc/3260/task/3270/stat : 3270 (java) S 3258 3260 2065 0 -1 64 1115 0 0 0 42 0 0 0 17 0 13 0 165926309 1832513536 71722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3271] ppid=3258 vsize=1789564 CPUtime=0
/proc/3260/task/3271/stat : 3271 (java) S 3258 3260 2065 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165926309 1832513536 71722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3272] ppid=3258 vsize=1789564 CPUtime=0
/proc/3260/task/3272/stat : 3272 (java) S 3258 3260 2065 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 165926309 1832513536 71722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3260/tid=3273] ppid=3258 vsize=1789564 CPUtime=0
/proc/3260/task/3273/stat : 3273 (java) S 3258 3260 2065 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 165926528 1832513536 71722 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1063.33
Current children cumulated vsize (KiB) 1789564
[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.03 2/90 3275
/proc/meminfo: memFree=875768/2055920 swapFree=4132108/4192956
[pid=3260] ppid=3258 vsize=1791484 CPUtime=1123.79
/proc/3260/stat : 3260 (java) S 3258 3260 2065 0 -1 0 133468 0 1 0 112297 82 0 0 18 0 13 0 165926300 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3260/statm: 447871 112747 1326 9 0 445483 0
[pid=3260/tid=3262] ppid=3258 vsize=1791484 CPUtime=1120.3
/proc/3260/task/3262/stat : 3262 (java) R 3258 3260 2065 0 -1 64 37720 0 1 0 111992 38 0 0 25 0 13 0 165926301 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109630737 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3260/tid=3263] ppid=3258 vsize=1791484 CPUtime=1.29
/proc/3260/task/3263/stat : 3263 (java) S 3258 3260 2065 0 -1 64 46743 0 0 0 110 19 0 0 21 0 13 0 165926303 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3264] ppid=3258 vsize=1791484 CPUtime=1.28
/proc/3260/task/3264/stat : 3264 (java) S 3258 3260 2065 0 -1 64 46286 0 0 0 106 22 0 0 20 0 13 0 165926303 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3265] ppid=3258 vsize=1791484 CPUtime=0
/proc/3260/task/3265/stat : 3265 (java) S 3258 3260 2065 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 165926305 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3266] ppid=3258 vsize=1791484 CPUtime=0
/proc/3260/task/3266/stat : 3266 (java) S 3258 3260 2065 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 165926305 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3267] ppid=3258 vsize=1791484 CPUtime=0
/proc/3260/task/3267/stat : 3267 (java) S 3258 3260 2065 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 165926305 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3268] ppid=3258 vsize=1791484 CPUtime=0
/proc/3260/task/3268/stat : 3268 (java) S 3258 3260 2065 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 165926309 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3269] ppid=3258 vsize=1791484 CPUtime=0.45
/proc/3260/task/3269/stat : 3269 (java) S 3258 3260 2065 0 -1 64 873 0 0 0 45 0 0 0 17 0 13 0 165926309 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3260/tid=3270] ppid=3258 vsize=1791484 CPUtime=0.42
/proc/3260/task/3270/stat : 3270 (java) S 3258 3260 2065 0 -1 64 1115 0 0 0 42 0 0 0 17 0 13 0 165926309 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3271] ppid=3258 vsize=1791484 CPUtime=0
/proc/3260/task/3271/stat : 3271 (java) S 3258 3260 2065 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165926309 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3272] ppid=3258 vsize=1791484 CPUtime=0
/proc/3260/task/3272/stat : 3272 (java) S 3258 3260 2065 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 165926309 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3260/tid=3273] ppid=3258 vsize=1791484 CPUtime=0
/proc/3260/task/3273/stat : 3273 (java) S 3258 3260 2065 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 165926528 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1123.79
Current children cumulated vsize (KiB) 1791484
[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.02 2/90 3275
/proc/meminfo: memFree=875768/2055920 swapFree=4132108/4192956
[pid=3260] ppid=3258 vsize=1791484 CPUtime=1183.77
/proc/3260/stat : 3260 (java) S 3258 3260 2065 0 -1 0 133468 0 1 0 118295 82 0 0 18 0 13 0 165926300 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3260/statm: 447871 112747 1326 9 0 445483 0
[pid=3260/tid=3262] ppid=3258 vsize=1791484 CPUtime=1180.28
/proc/3260/task/3262/stat : 3262 (java) R 3258 3260 2065 0 -1 64 37720 0 1 0 117990 38 0 0 25 0 13 0 165926301 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109622717 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3260/tid=3263] ppid=3258 vsize=1791484 CPUtime=1.29
/proc/3260/task/3263/stat : 3263 (java) S 3258 3260 2065 0 -1 64 46743 0 0 0 110 19 0 0 21 0 13 0 165926303 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3264] ppid=3258 vsize=1791484 CPUtime=1.28
/proc/3260/task/3264/stat : 3264 (java) S 3258 3260 2065 0 -1 64 46286 0 0 0 106 22 0 0 20 0 13 0 165926303 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3265] ppid=3258 vsize=1791484 CPUtime=0
/proc/3260/task/3265/stat : 3265 (java) S 3258 3260 2065 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 165926305 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3266] ppid=3258 vsize=1791484 CPUtime=0
/proc/3260/task/3266/stat : 3266 (java) S 3258 3260 2065 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 165926305 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3267] ppid=3258 vsize=1791484 CPUtime=0
/proc/3260/task/3267/stat : 3267 (java) S 3258 3260 2065 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 165926305 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3268] ppid=3258 vsize=1791484 CPUtime=0
/proc/3260/task/3268/stat : 3268 (java) S 3258 3260 2065 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 165926309 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3269] ppid=3258 vsize=1791484 CPUtime=0.45
/proc/3260/task/3269/stat : 3269 (java) S 3258 3260 2065 0 -1 64 873 0 0 0 45 0 0 0 17 0 13 0 165926309 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3260/tid=3270] ppid=3258 vsize=1791484 CPUtime=0.42
/proc/3260/task/3270/stat : 3270 (java) S 3258 3260 2065 0 -1 64 1115 0 0 0 42 0 0 0 17 0 13 0 165926309 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3271] ppid=3258 vsize=1791484 CPUtime=0
/proc/3260/task/3271/stat : 3271 (java) S 3258 3260 2065 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165926309 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3272] ppid=3258 vsize=1791484 CPUtime=0
/proc/3260/task/3272/stat : 3272 (java) S 3258 3260 2065 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 165926309 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3260/tid=3273] ppid=3258 vsize=1791484 CPUtime=0
/proc/3260/task/3273/stat : 3273 (java) S 3258 3260 2065 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 165926528 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1183.77
Current children cumulated vsize (KiB) 1791484
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1198.6 s]
/proc/loadavg: 1.00 1.01 1.02 2/90 3275
/proc/meminfo: memFree=875768/2055920 swapFree=4132108/4192956
[pid=3260] ppid=3258 vsize=1791484 CPUtime=1200.14
/proc/3260/stat : 3260 (java) S 3258 3260 2065 0 -1 0 133468 0 1 0 119932 82 0 0 18 0 13 0 165926300 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3260/statm: 447871 112747 1326 9 0 445483 0
[pid=3260/tid=3262] ppid=3258 vsize=1791484 CPUtime=1196.65
/proc/3260/task/3262/stat : 3262 (java) R 3258 3260 2065 0 -1 64 37720 0 1 0 119627 38 0 0 25 0 13 0 165926301 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109557194 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3260/tid=3263] ppid=3258 vsize=1791484 CPUtime=1.29
/proc/3260/task/3263/stat : 3263 (java) S 3258 3260 2065 0 -1 64 46743 0 0 0 110 19 0 0 21 0 13 0 165926303 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3264] ppid=3258 vsize=1791484 CPUtime=1.28
/proc/3260/task/3264/stat : 3264 (java) S 3258 3260 2065 0 -1 64 46286 0 0 0 106 22 0 0 20 0 13 0 165926303 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3265] ppid=3258 vsize=1791484 CPUtime=0
/proc/3260/task/3265/stat : 3265 (java) S 3258 3260 2065 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 165926305 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3266] ppid=3258 vsize=1791484 CPUtime=0
/proc/3260/task/3266/stat : 3266 (java) S 3258 3260 2065 0 -1 64 11 0 0 0 0 0 0 0 17 0 13 0 165926305 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3267] ppid=3258 vsize=1791484 CPUtime=0
/proc/3260/task/3267/stat : 3267 (java) S 3258 3260 2065 0 -1 64 6 0 0 0 0 0 0 0 16 0 13 0 165926305 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3268] ppid=3258 vsize=1791484 CPUtime=0
/proc/3260/task/3268/stat : 3268 (java) S 3258 3260 2065 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 165926309 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3269] ppid=3258 vsize=1791484 CPUtime=0.45
/proc/3260/task/3269/stat : 3269 (java) S 3258 3260 2065 0 -1 64 873 0 0 0 45 0 0 0 17 0 13 0 165926309 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3260/tid=3270] ppid=3258 vsize=1791484 CPUtime=0.42
/proc/3260/task/3270/stat : 3270 (java) S 3258 3260 2065 0 -1 64 1115 0 0 0 42 0 0 0 17 0 13 0 165926309 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3271] ppid=3258 vsize=1791484 CPUtime=0
/proc/3260/task/3271/stat : 3271 (java) S 3258 3260 2065 0 -1 64 2 0 0 0 0 0 0 0 25 0 13 0 165926309 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3260/tid=3272] ppid=3258 vsize=1791484 CPUtime=0
/proc/3260/task/3272/stat : 3272 (java) S 3258 3260 2065 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 165926309 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3260/tid=3273] ppid=3258 vsize=1791484 CPUtime=0
/proc/3260/task/3273/stat : 3273 (java) S 3258 3260 2065 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 165926528 1834479616 112747 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1200.14
Current children cumulated vsize (KiB) 1791484
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): 1198.76
CPU time (s): 1200.24
CPU user time (s): 1199.34
CPU system time (s): 0.895863
CPU usage (%): 100.123
Max. virtual memory (cumulated for all children) (KiB): 1792128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.34
system time used= 0.895863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133491
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= 24729
involuntary context switches= 41034
runsolver used 1.3238 second user time and 3.05953 second system time
The end
Begin job on node3 on Wed Apr 18 12:21:26 UTC 2007
IDJOB= 331711
IDBENCH= 20386
IDSOLVER= 141
FILE ID= node3/331711-1176898885
PBS_JOBID= 4595137
Free space on /tmp= 66400 MiB
SOLVER NAME= SAT4J JVM PARAM CHANGED SAT 2007
BENCH NAME= HOME/pub/bench/SAT07/industrial/anbulagan/hard-unsat/partial-5-11-u.cnf
COMMAND LINE= java6 -server -Xmx1600m -Xms1600m -jar /tmp/evaluation/331711-1176898885/sat4j-sat2007.jar /tmp/evaluation/331711-1176898885/instance-331711-1176898885.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-331711-1176898885 -o ROOT/results/node3/solver-331711-1176898885 -C 1200 -W 2400 -M 1800 --output-limit 1,15 java6 -server -Xmx1600m -Xms1600m -jar /tmp/evaluation/331711-1176898885/sat4j-sat2007.jar /tmp/evaluation/331711-1176898885/instance-331711-1176898885.cnf
META MD5SUM SOLVER= fd7c3100383641221a90b938607cc598
MD5SUM BENCH= 8e22d84b1ae625d44fbf300a32374a2d
RANDOM SEED= 161911356
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node3.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.270
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.270
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: 1323576 kB
Buffers: 35848 kB
Cached: 621424 kB
SwapCached: 23816 kB
Active: 231796 kB
Inactive: 458388 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1323576 kB
SwapTotal: 4192956 kB
SwapFree: 4132108 kB
Dirty: 13932 kB
Writeback: 0 kB
Mapped: 31296 kB
Slab: 27676 kB
Committed_AS: 5206920 kB
PageTables: 1780 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= 66400 MiB
End job on node3 on Wed Apr 18 12:41:26 UTC 2007