0.12/0.38 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.12/0.38 c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.12/0.38 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.12/0.39 c version SAT COMPETITION 2007
0.12/0.39 c sun.arch.data.model 32
0.12/0.39 c java.version 1.6.0
0.12/0.39 c os.name Linux
0.12/0.39 c os.version 2.6.9-22.EL.rootsmp
0.12/0.39 c os.arch i386
0.12/0.39 c Free memory 1703279312
0.12/0.39 c Max memory 1706164224
0.12/0.39 c Total memory 1706164224
0.12/0.39 c Number of processors 2
0.19/0.45 c --- Begin Solver configuration ---
0.19/0.45 c Stops conflict analysis at the first Unique Implication Point
0.19/0.45 c org.sat4j.minisat.constraints.MixedDataStructureDaniel@15cda3f
0.19/0.45 c Limit learning to clauses of size smaller or equal to 10% of the number of variables
0.19/0.45 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.19/0.45 c VSIDS like heuristics from MiniSAT using a heap
0.19/0.45 c Expensive reason simplification
0.19/0.45 c --- End Solver configuration ---
0.19/0.45 c timeout: 2147483s
0.19/0.45 c solving /tmp/evaluation/339440-1173704891/instance-339440-1173704891.cnf
0.19/0.45 c reading problem ...
0.19/0.48 c ... done. Wall clock time 0.03s.
0.19/0.48 c CPU time (experimental) 0.21s.
0.19/0.48 c #vars 160
0.19/0.48 c #constraints 640
391.76/391.83 c starts : 20
391.76/391.83 c conflicts : 480798
391.76/391.83 c decisions : 604963
391.76/391.83 c propagations : 2870197
391.76/391.83 c inspects : 1820291474
391.76/391.83 c learnt literals : 17
391.76/391.83 c learnt binary clauses : 123
391.76/391.83 c learnt ternary clauses : 740
391.76/391.83 c learnt clauses : 401808
391.76/391.83 c root simplifications : 0
391.76/391.83 c removed literals (reason simplification) : 1828197
391.76/391.83 c reason swapping (by a shorter reason) : 0
391.76/391.83 c Calls to reduceDB : 0
391.76/391.83 c speed (decisions/second) : 1545.8164582029103
391.76/391.83 c non guided choices 621
391.76/391.83 s UNSATISFIABLE
391.76/391.83 c Total wall clock time (in seconds) : 391.387
391.76/391.83 c Total CPU time (experimental, in seconds) : 391.25
runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node42/watcher-339440-1173704891 -o ROOT/results/node42/solver-339440-1173704891 -C 1200 -W 2400 -M 1800 --output-limit 1,15 java -server -Xmx1650M -Xms1650M -jar /tmp/evaluation/339440-1173704891/sat4j-sat2007.jar /tmp/evaluation/339440-1173704891/instance-339440-1173704891.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 13074
/proc/meminfo: memFree=1788192/2055920 swapFree=4182364/4192956
[pid=13074] ppid=13072 vsize=18568 CPUtime=0
/proc/13074/stat : 13074 (runsolver) R 13072 13074 12030 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 96442507 19013632 293 18446744073709551615 4194304 4294612 548682068912 18446744073709551615 259415141671 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/13074/statm: 4642 293 258 24 0 2626 0
[startup+0.062854 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 13074
/proc/meminfo: memFree=1788192/2055920 swapFree=4182364/4192956
[pid=13074] ppid=13072 vsize=12056 CPUtime=0.01
/proc/13074/stat : 13074 (java) R 13072 13074 12030 0 -1 0 369 0 8 0 0 1 0 0 18 0 1 0 96442507 12345344 184 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 12378922 0 0 4096 0 0 0 0 17 0 0 0
/proc/13074/statm: 3014 184 135 9 0 1148 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12056
[startup+0.10279 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 13074
/proc/meminfo: memFree=1788192/2055920 swapFree=4182364/4192956
[pid=13074] ppid=13072 vsize=12448 CPUtime=0.02
/proc/13074/stat : 13074 (java) S 13072 13074 12030 0 -1 0 745 0 27 0 0 2 0 0 18 0 2 0 96442507 12746752 554 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/13074/statm: 3112 554 243 9 0 1241 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12448
[startup+0.301829 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 13074
/proc/meminfo: memFree=1788192/2055920 swapFree=4182364/4192956
[pid=13074] ppid=13072 vsize=1829232 CPUtime=0.12
/proc/13074/stat : 13074 (java) S 13072 13074 12030 0 -1 0 3890 0 35 0 6 6 0 0 18 0 7 0 96442507 1873133568 3666 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23755 18446744073709551615 0 0 17 0 0 0
/proc/13074/statm: 457308 3666 1096 9 0 454944 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 1829232
[startup+0.702905 s]
/proc/loadavg: 0.92 0.98 0.99 2/64 13074
/proc/meminfo: memFree=1788192/2055920 swapFree=4182364/4192956
[pid=13074] ppid=13072 vsize=1835824 CPUtime=0.62
/proc/13074/stat : 13074 (java) S 13072 13074 12030 0 -1 0 6183 0 35 0 55 7 0 0 18 0 13 0 96442507 1879883776 5496 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13074/statm: 458956 5496 1300 9 0 456568 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 1835824
[startup+1.50105 s]
/proc/loadavg: 0.92 0.98 0.99 4/77 13087
/proc/meminfo: memFree=1761336/2055920 swapFree=4182364/4192956
[pid=13074] ppid=13072 vsize=1835472 CPUtime=1.58
/proc/13074/stat : 13074 (java) S 13072 13074 12030 0 -1 0 7049 0 35 0 150 8 0 0 18 0 13 0 96442507 1879523328 6219 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13074/statm: 458868 6219 1311 9 0 456480 0
[pid=13074/tid=13076] ppid=13072 vsize=1835472 CPUtime=1.08
/proc/13074/task/13076/stat : 13076 (java) R 13072 13074 12030 0 -1 64 4705 0 9 0 104 4 0 0 25 0 13 0 96442517 1879523328 6219 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109486436 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13077] ppid=13072 vsize=1835472 CPUtime=0
/proc/13074/task/13077/stat : 13077 (java) S 13072 13074 12030 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 96442524 1879523328 6219 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13078] ppid=13072 vsize=1835472 CPUtime=0
/proc/13074/task/13078/stat : 13078 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 96442524 1879523328 6219 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13079] ppid=13072 vsize=1835472 CPUtime=0
/proc/13074/task/13079/stat : 13079 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 17 0 13 0 96442528 1879523328 6219 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13080] ppid=13072 vsize=1835472 CPUtime=0
/proc/13074/task/13080/stat : 13080 (java) S 13072 13074 12030 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 96442529 1879523328 6219 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13081] ppid=13072 vsize=1835472 CPUtime=0
/proc/13074/task/13081/stat : 13081 (java) S 13072 13074 12030 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 96442529 1879523328 6219 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13082] ppid=13072 vsize=1835472 CPUtime=0
/proc/13074/task/13082/stat : 13082 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 96442538 1879523328 6219 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13083] ppid=13072 vsize=1835472 CPUtime=0.19
/proc/13074/task/13083/stat : 13083 (java) S 13072 13074 12030 0 -1 64 716 0 0 0 19 0 0 0 16 0 13 0 96442538 1879523328 6219 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13074/tid=13084] ppid=13072 vsize=1835472 CPUtime=0.25
/proc/13074/task/13084/stat : 13084 (java) S 13072 13074 12030 0 -1 64 932 0 0 0 25 0 0 0 16 0 13 0 96442538 1879523328 6219 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13085] ppid=13072 vsize=1835472 CPUtime=0
/proc/13074/task/13085/stat : 13085 (java) S 13072 13074 12030 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 96442538 1879523328 6219 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13086] ppid=13072 vsize=1835472 CPUtime=0
/proc/13074/task/13086/stat : 13086 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 96442538 1879523328 6219 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13087] ppid=13072 vsize=1835472 CPUtime=0
/proc/13074/task/13087/stat : 13087 (java) S 13072 13074 12030 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 96442556 1879523328 6219 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 1835472
[startup+3.10237 s]
/proc/loadavg: 0.92 0.98 0.99 2/77 13087
/proc/meminfo: memFree=1756920/2055920 swapFree=4182364/4192956
[pid=13074] ppid=13072 vsize=1835472 CPUtime=3.19
/proc/13074/stat : 13074 (java) S 13072 13074 12030 0 -1 0 8409 0 35 0 311 8 0 0 18 0 13 0 96442507 1879523328 7578 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13074/statm: 458868 7578 1312 9 0 456480 0
[pid=13074/tid=13076] ppid=13072 vsize=1835472 CPUtime=2.66
/proc/13074/task/13076/stat : 13076 (java) R 13072 13074 12030 0 -1 64 6063 0 9 0 262 4 0 0 25 0 13 0 96442517 1879523328 7578 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109479527 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13077] ppid=13072 vsize=1835472 CPUtime=0
/proc/13074/task/13077/stat : 13077 (java) S 13072 13074 12030 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 96442524 1879523328 7578 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13078] ppid=13072 vsize=1835472 CPUtime=0
/proc/13074/task/13078/stat : 13078 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 96442524 1879523328 7578 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13079] ppid=13072 vsize=1835472 CPUtime=0
/proc/13074/task/13079/stat : 13079 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 96442528 1879523328 7578 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13080] ppid=13072 vsize=1835472 CPUtime=0
/proc/13074/task/13080/stat : 13080 (java) S 13072 13074 12030 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 96442529 1879523328 7578 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13081] ppid=13072 vsize=1835472 CPUtime=0
/proc/13074/task/13081/stat : 13081 (java) S 13072 13074 12030 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 96442529 1879523328 7578 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13082] ppid=13072 vsize=1835472 CPUtime=0
/proc/13074/task/13082/stat : 13082 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 96442538 1879523328 7578 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13083] ppid=13072 vsize=1835472 CPUtime=0.21
/proc/13074/task/13083/stat : 13083 (java) S 13072 13074 12030 0 -1 64 716 0 0 0 21 0 0 0 16 0 13 0 96442538 1879523328 7578 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13074/tid=13084] ppid=13072 vsize=1835472 CPUtime=0.26
/proc/13074/task/13084/stat : 13084 (java) S 13072 13074 12030 0 -1 64 934 0 0 0 26 0 0 0 15 0 13 0 96442538 1879523328 7578 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13085] ppid=13072 vsize=1835472 CPUtime=0
/proc/13074/task/13085/stat : 13085 (java) S 13072 13074 12030 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 96442538 1879523328 7578 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13086] ppid=13072 vsize=1835472 CPUtime=0
/proc/13074/task/13086/stat : 13086 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 96442538 1879523328 7578 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13087] ppid=13072 vsize=1835472 CPUtime=0
/proc/13074/task/13087/stat : 13087 (java) S 13072 13074 12030 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 96442556 1879523328 7578 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 1835472
[startup+6.30196 s]
/proc/loadavg: 0.93 0.98 0.99 2/77 13087
/proc/meminfo: memFree=1748024/2055920 swapFree=4182364/4192956
[pid=13074] ppid=13072 vsize=1834900 CPUtime=6.4
/proc/13074/stat : 13074 (java) S 13072 13074 12030 0 -1 0 10375 0 35 0 630 10 0 0 18 0 13 0 96442507 1878937600 9407 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13074/statm: 458725 9407 1312 9 0 456337 0
[pid=13074/tid=13076] ppid=13072 vsize=1834900 CPUtime=5.86
/proc/13074/task/13076/stat : 13076 (java) R 13072 13074 12030 0 -1 64 8028 0 9 0 580 6 0 0 25 0 13 0 96442517 1878937600 9407 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109479341 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13074/tid=13077] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13077/stat : 13077 (java) S 13072 13074 12030 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 96442524 1878937600 9407 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13078] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13078/stat : 13078 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 96442524 1878937600 9407 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13079] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13079/stat : 13079 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 96442528 1878937600 9407 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13080] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13080/stat : 13080 (java) S 13072 13074 12030 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 96442529 1878937600 9407 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13081] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13081/stat : 13081 (java) S 13072 13074 12030 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 96442529 1878937600 9407 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13082] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13082/stat : 13082 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 96442538 1878937600 9407 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13083] ppid=13072 vsize=1834900 CPUtime=0.21
/proc/13074/task/13083/stat : 13083 (java) S 13072 13074 12030 0 -1 64 716 0 0 0 21 0 0 0 16 0 13 0 96442538 1878937600 9407 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13074/tid=13084] ppid=13072 vsize=1834900 CPUtime=0.27
/proc/13074/task/13084/stat : 13084 (java) S 13072 13074 12030 0 -1 64 935 0 0 0 27 0 0 0 16 0 13 0 96442538 1878937600 9407 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13085] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13085/stat : 13085 (java) S 13072 13074 12030 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 96442538 1878937600 9407 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13086] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13086/stat : 13086 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 96442538 1878937600 9407 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13087] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13087/stat : 13087 (java) S 13072 13074 12030 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 96442556 1878937600 9407 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.4
Current children cumulated vsize (KiB) 1834900
[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/77 13087
/proc/meminfo: memFree=1738104/2055920 swapFree=4182364/4192956
[pid=13074] ppid=13072 vsize=1834900 CPUtime=12.79
/proc/13074/stat : 13074 (java) S 13072 13074 12030 0 -1 0 12666 0 35 0 1268 11 0 0 18 0 13 0 96442507 1878937600 11698 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13074/statm: 458725 11698 1312 9 0 456337 0
[pid=13074/tid=13076] ppid=13072 vsize=1834900 CPUtime=12.26
/proc/13074/task/13076/stat : 13076 (java) R 13072 13074 12030 0 -1 64 10319 0 9 0 1219 7 0 0 25 0 13 0 96442517 1878937600 11698 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109572319 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13074/tid=13077] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13077/stat : 13077 (java) S 13072 13074 12030 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 96442524 1878937600 11698 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13078] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13078/stat : 13078 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 96442524 1878937600 11698 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13079] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13079/stat : 13079 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 96442528 1878937600 11698 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13080] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13080/stat : 13080 (java) S 13072 13074 12030 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 96442529 1878937600 11698 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13081] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13081/stat : 13081 (java) S 13072 13074 12030 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 96442529 1878937600 11698 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13082] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13082/stat : 13082 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 96442538 1878937600 11698 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13083] ppid=13072 vsize=1834900 CPUtime=0.21
/proc/13074/task/13083/stat : 13083 (java) S 13072 13074 12030 0 -1 64 716 0 0 0 21 0 0 0 16 0 13 0 96442538 1878937600 11698 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13074/tid=13084] ppid=13072 vsize=1834900 CPUtime=0.27
/proc/13074/task/13084/stat : 13084 (java) S 13072 13074 12030 0 -1 64 935 0 0 0 27 0 0 0 16 0 13 0 96442538 1878937600 11698 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13085] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13085/stat : 13085 (java) S 13072 13074 12030 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 96442538 1878937600 11698 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13086] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13086/stat : 13086 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 96442538 1878937600 11698 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13087] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13087/stat : 13087 (java) S 13072 13074 12030 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 96442556 1878937600 11698 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 1834900
[startup+25.5026 s]
/proc/loadavg: 0.95 0.98 0.99 2/77 13087
/proc/meminfo: memFree=1727488/2055920 swapFree=4182364/4192956
[pid=13074] ppid=13072 vsize=1834900 CPUtime=25.59
/proc/13074/stat : 13074 (java) S 13072 13074 12030 0 -1 0 15051 0 35 0 2546 13 0 0 18 0 13 0 96442507 1878937600 14083 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13074/statm: 458725 14083 1312 9 0 456337 0
[pid=13074/tid=13076] ppid=13072 vsize=1834900 CPUtime=25.05
/proc/13074/task/13076/stat : 13076 (java) R 13072 13074 12030 0 -1 64 12704 0 9 0 2496 9 0 0 25 0 13 0 96442517 1878937600 14083 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109488264 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13074/tid=13077] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13077/stat : 13077 (java) S 13072 13074 12030 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 96442524 1878937600 14083 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13078] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13078/stat : 13078 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 96442524 1878937600 14083 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/13074/task/13086/stat : 13086 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 96442538 1878937600 25519 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13087] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13087/stat : 13087 (java) S 13072 13074 12030 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 96442556 1878937600 25519 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 387.06
Current children cumulated vsize (KiB) 1834900
[startup+390.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 13087
/proc/meminfo: memFree=1681088/2055920 swapFree=4182364/4192956
[pid=13074] ppid=13072 vsize=1834900 CPUtime=390.26
/proc/13074/stat : 13074 (java) S 13072 13074 12030 0 -1 0 26517 0 35 0 39002 24 0 0 18 0 13 0 96442507 1878937600 25549 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13074/statm: 458725 25549 1312 9 0 456337 0
[pid=13074/tid=13076] ppid=13072 vsize=1834900 CPUtime=389.72
/proc/13074/task/13076/stat : 13076 (java) R 13072 13074 12030 0 -1 64 24170 0 9 0 38952 20 0 0 25 0 13 0 96442517 1878937600 25549 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109479046 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13074/tid=13077] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13077/stat : 13077 (java) S 13072 13074 12030 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 96442524 1878937600 25549 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13078] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13078/stat : 13078 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 96442524 1878937600 25549 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13079] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13079/stat : 13079 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 96442528 1878937600 25549 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13080] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13080/stat : 13080 (java) S 13072 13074 12030 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 96442529 1878937600 25549 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13081] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13081/stat : 13081 (java) S 13072 13074 12030 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 96442529 1878937600 25549 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13082] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13082/stat : 13082 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 96442538 1878937600 25549 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13083] ppid=13072 vsize=1834900 CPUtime=0.21
/proc/13074/task/13083/stat : 13083 (java) S 13072 13074 12030 0 -1 64 716 0 0 0 21 0 0 0 17 0 13 0 96442538 1878937600 25549 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13074/tid=13084] ppid=13072 vsize=1834900 CPUtime=0.27
/proc/13074/task/13084/stat : 13084 (java) S 13072 13074 12030 0 -1 64 935 0 0 0 27 0 0 0 16 0 13 0 96442538 1878937600 25549 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13085] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13085/stat : 13085 (java) S 13072 13074 12030 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 96442538 1878937600 25549 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13086] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13086/stat : 13086 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 96442538 1878937600 25549 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13087] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13087/stat : 13087 (java) S 13072 13074 12030 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 96442556 1878937600 25549 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 390.26
Current children cumulated vsize (KiB) 1834900
[startup+391.102 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 13087
/proc/meminfo: memFree=1681088/2055920 swapFree=4182364/4192956
[pid=13074] ppid=13072 vsize=1834900 CPUtime=391.06
/proc/13074/stat : 13074 (java) S 13072 13074 12030 0 -1 0 26521 0 35 0 39082 24 0 0 18 0 13 0 96442507 1878937600 25553 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13074/statm: 458725 25553 1312 9 0 456337 0
[pid=13074/tid=13076] ppid=13072 vsize=1834900 CPUtime=390.52
/proc/13074/task/13076/stat : 13076 (java) R 13072 13074 12030 0 -1 64 24174 0 9 0 39032 20 0 0 25 0 13 0 96442517 1878937600 25553 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109488312 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13074/tid=13077] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13077/stat : 13077 (java) S 13072 13074 12030 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 96442524 1878937600 25553 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13078] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13078/stat : 13078 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 96442524 1878937600 25553 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13079] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13079/stat : 13079 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 96442528 1878937600 25553 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13080] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13080/stat : 13080 (java) S 13072 13074 12030 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 96442529 1878937600 25553 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13081] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13081/stat : 13081 (java) S 13072 13074 12030 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 96442529 1878937600 25553 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13082] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13082/stat : 13082 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 96442538 1878937600 25553 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13083] ppid=13072 vsize=1834900 CPUtime=0.21
/proc/13074/task/13083/stat : 13083 (java) S 13072 13074 12030 0 -1 64 716 0 0 0 21 0 0 0 17 0 13 0 96442538 1878937600 25553 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13074/tid=13084] ppid=13072 vsize=1834900 CPUtime=0.27
/proc/13074/task/13084/stat : 13084 (java) S 13072 13074 12030 0 -1 64 935 0 0 0 27 0 0 0 16 0 13 0 96442538 1878937600 25553 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13085] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13085/stat : 13085 (java) S 13072 13074 12030 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 96442538 1878937600 25553 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13086] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13086/stat : 13086 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 96442538 1878937600 25553 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13087] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13087/stat : 13087 (java) S 13072 13074 12030 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 96442556 1878937600 25553 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 391.06
Current children cumulated vsize (KiB) 1834900
[startup+391.502 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 13087
/proc/meminfo: memFree=1681024/2055920 swapFree=4182364/4192956
[pid=13074] ppid=13072 vsize=1834900 CPUtime=391.46
/proc/13074/stat : 13074 (java) S 13072 13074 12030 0 -1 0 26523 0 35 0 39122 24 0 0 18 0 13 0 96442507 1878937600 25555 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13074/statm: 458725 25555 1312 9 0 456337 0
[pid=13074/tid=13076] ppid=13072 vsize=1834900 CPUtime=390.92
/proc/13074/task/13076/stat : 13076 (java) R 13072 13074 12030 0 -1 64 24176 0 9 0 39072 20 0 0 25 0 13 0 96442517 1878937600 25555 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109488312 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13074/tid=13077] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13077/stat : 13077 (java) S 13072 13074 12030 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 96442524 1878937600 25555 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13078] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13078/stat : 13078 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 96442524 1878937600 25555 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13079] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13079/stat : 13079 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 96442528 1878937600 25555 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13080] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13080/stat : 13080 (java) S 13072 13074 12030 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 96442529 1878937600 25555 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13081] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13081/stat : 13081 (java) S 13072 13074 12030 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 96442529 1878937600 25555 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13082] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13082/stat : 13082 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 96442538 1878937600 25555 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13083] ppid=13072 vsize=1834900 CPUtime=0.21
/proc/13074/task/13083/stat : 13083 (java) S 13072 13074 12030 0 -1 64 716 0 0 0 21 0 0 0 17 0 13 0 96442538 1878937600 25555 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13074/tid=13084] ppid=13072 vsize=1834900 CPUtime=0.27
/proc/13074/task/13084/stat : 13084 (java) S 13072 13074 12030 0 -1 64 935 0 0 0 27 0 0 0 16 0 13 0 96442538 1878937600 25555 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13085] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13085/stat : 13085 (java) S 13072 13074 12030 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 96442538 1878937600 25555 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13086] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13086/stat : 13086 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 96442538 1878937600 25555 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13087] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13087/stat : 13087 (java) S 13072 13074 12030 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 96442556 1878937600 25555 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 391.46
Current children cumulated vsize (KiB) 1834900
[startup+391.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 13087
/proc/meminfo: memFree=1681024/2055920 swapFree=4182364/4192956
[pid=13074] ppid=13072 vsize=1834900 CPUtime=391.66
/proc/13074/stat : 13074 (java) S 13072 13074 12030 0 -1 0 26525 0 35 0 39142 24 0 0 18 0 13 0 96442507 1878937600 25557 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13074/statm: 458725 25557 1312 9 0 456337 0
[pid=13074/tid=13076] ppid=13072 vsize=1834900 CPUtime=391.12
/proc/13074/task/13076/stat : 13076 (java) R 13072 13074 12030 0 -1 64 24178 0 9 0 39092 20 0 0 25 0 13 0 96442517 1878937600 25557 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109488312 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13074/tid=13077] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13077/stat : 13077 (java) S 13072 13074 12030 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 96442524 1878937600 25557 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13078] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13078/stat : 13078 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 96442524 1878937600 25557 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13079] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13079/stat : 13079 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 96442528 1878937600 25557 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13080] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13080/stat : 13080 (java) S 13072 13074 12030 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 96442529 1878937600 25557 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13081] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13081/stat : 13081 (java) S 13072 13074 12030 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 96442529 1878937600 25557 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13082] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13082/stat : 13082 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 96442538 1878937600 25557 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13083] ppid=13072 vsize=1834900 CPUtime=0.21
/proc/13074/task/13083/stat : 13083 (java) S 13072 13074 12030 0 -1 64 716 0 0 0 21 0 0 0 17 0 13 0 96442538 1878937600 25557 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13074/tid=13084] ppid=13072 vsize=1834900 CPUtime=0.27
/proc/13074/task/13084/stat : 13084 (java) S 13072 13074 12030 0 -1 64 935 0 0 0 27 0 0 0 16 0 13 0 96442538 1878937600 25557 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13085] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13085/stat : 13085 (java) S 13072 13074 12030 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 96442538 1878937600 25557 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13086] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13086/stat : 13086 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 96442538 1878937600 25557 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13087] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13087/stat : 13087 (java) S 13072 13074 12030 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 96442556 1878937600 25557 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 391.66
Current children cumulated vsize (KiB) 1834900
[startup+391.802 s]
/proc/loadavg: 0.99 0.98 0.99 2/77 13087
/proc/meminfo: memFree=1681024/2055920 swapFree=4182364/4192956
[pid=13074] ppid=13072 vsize=1834900 CPUtime=391.76
/proc/13074/stat : 13074 (java) S 13072 13074 12030 0 -1 0 26525 0 35 0 39152 24 0 0 18 0 13 0 96442507 1878937600 25557 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13074/statm: 458725 25557 1312 9 0 456337 0
[pid=13074/tid=13076] ppid=13072 vsize=1834900 CPUtime=391.22
/proc/13074/task/13076/stat : 13076 (java) R 13072 13074 12030 0 -1 64 24178 0 9 0 39102 20 0 0 25 0 13 0 96442517 1878937600 25557 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4109479305 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13074/tid=13077] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13077/stat : 13077 (java) S 13072 13074 12030 0 -1 64 3 0 0 0 0 0 0 0 19 0 13 0 96442524 1878937600 25557 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13078] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13078/stat : 13078 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 96442524 1878937600 25557 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13079] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13079/stat : 13079 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 96442528 1878937600 25557 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13080] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13080/stat : 13080 (java) S 13072 13074 12030 0 -1 64 9 0 0 0 0 0 0 0 21 0 13 0 96442529 1878937600 25557 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13081] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13081/stat : 13081 (java) S 13072 13074 12030 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 96442529 1878937600 25557 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13082] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13082/stat : 13082 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 96442538 1878937600 25557 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13083] ppid=13072 vsize=1834900 CPUtime=0.21
/proc/13074/task/13083/stat : 13083 (java) S 13072 13074 12030 0 -1 64 716 0 0 0 21 0 0 0 17 0 13 0 96442538 1878937600 25557 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13074/tid=13084] ppid=13072 vsize=1834900 CPUtime=0.27
/proc/13074/task/13084/stat : 13084 (java) S 13072 13074 12030 0 -1 64 935 0 0 0 27 0 0 0 16 0 13 0 96442538 1878937600 25557 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13085] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13085/stat : 13085 (java) S 13072 13074 12030 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 96442538 1878937600 25557 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13086] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13086/stat : 13086 (java) S 13072 13074 12030 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 96442538 1878937600 25557 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13074/tid=13087] ppid=13072 vsize=1834900 CPUtime=0
/proc/13074/task/13087/stat : 13087 (java) S 13072 13074 12030 0 -1 64 3 0 0 0 0 0 0 0 18 0 13 0 96442556 1878937600 25557 18446744073709551615 134512640 134550740 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 391.76
Current children cumulated vsize (KiB) 1834900
Child status: 20
Real time (s): 391.893
CPU time (s): 391.818
CPU user time (s): 391.557
CPU system time (s): 0.26096
CPU usage (%): 99.981
Max. virtual memory (cumulated for all children) (KiB): 1835824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 391.557
system time used= 0.26096
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26540
page faults= 35
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8651
involuntary context switches= 930
runsolver used 0.494924 second user time and 0.946856 second system time
The end
Begin job on node42 on Mon Mar 12 13:08:11 UTC 2007
IDJOB= 339440
IDBENCH= 24747
IDSOLVER= 96
FILE ID= node42/339440-1173704891
PBS_JOBID= 4101764
Free space on /tmp= 66558 MiB
SOLVER NAME= SAT4J SAT 2007
BENCH NAME= HOME/pub/bench/SAT07/crafted/Difficult/contest05/jarvisalo/mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf
COMMAND LINE= java -server -Xmx1650M -Xms1650M -jar /tmp/evaluation/339440-1173704891/sat4j-sat2007.jar /tmp/evaluation/339440-1173704891/instance-339440-1173704891.cnf
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-339440-1173704891 -o ROOT/results/node42/solver-339440-1173704891 -C 1200 -W 2400 -M 1800 --output-limit 1,15 java -server -Xmx1650M -Xms1650M -jar /tmp/evaluation/339440-1173704891/sat4j-sat2007.jar /tmp/evaluation/339440-1173704891/instance-339440-1173704891.cnf
META MD5SUM SOLVER= fd7c3100383641221a90b938607cc598
MD5SUM BENCH= b8ad54973e17f84e99bf9d2e7bc768ce
RANDOM SEED= 538348476
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
Linux node42.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.263
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.263
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: 1788600 kB
Buffers: 34372 kB
Cached: 183236 kB
SwapCached: 4820 kB
Active: 97184 kB
Inactive: 132024 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1788600 kB
SwapTotal: 4192956 kB
SwapFree: 4182364 kB
Dirty: 1212 kB
Writeback: 0 kB
Mapped: 15500 kB
Slab: 24196 kB
Committed_AS: 159064 kB
PageTables: 1408 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= 66558 MiB
End job on node42 on Mon Mar 12 13:14:43 UTC 2007