0.18 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.18 c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.18 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.19 c version CSP COMPETITION BUGFIX 3 CACHED
0.19 c sun.arch.data.model 32
0.19 c java.version 1.5.0_10
0.19 c os.name Linux
0.19 c os.version 2.6.9-22.EL.rootsmp
0.19 c os.arch i386
0.19 c Free memory 722620888
0.19 c Max memory 723845120
0.19 c Total memory 723845120
0.19 c Number of processors 2
0.28 c --- Begin Solver configuration ---
0.28 c Stops conflict analysis at the first Unique Implication Point
0.28 c org.sat4j.minisat.constraints.MixedDataStructureWithBinary@19dfbff
0.28 c Learn all clauses as in MiniSAT
0.28 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.28 c VSIDS like heuristics from MiniSAT using a heap
0.28 c No reason simplification
0.28 c --- End Solver configuration ---
0.28 c solving /tmp/evaluation/227999-1168279289/unknown.xml
0.28 c reading problem ...
0.54 c reading problem named ?
0.54 c reading domains done.
0.54 c reading variables
c reading variables (40) done.
0.59 c reading relations
c reading relations (414) done.
1.65 c reading constraints
c reading constraints done.
2.17 c ... done. Wall clock time 1.894s.
2.17 c CPU time (experimental) 0.91s.
2.17 c #vars 440
2.17 c #constraints 80
980.49 c starts : 17
980.49 c conflicts : 190876
980.49 c decisions : 247789
980.49 c propagations : 11360893
980.49 c inspects : 2254921621
980.49 c learnt literals : 4
980.49 c learnt binary clauses : 0
980.49 c learnt ternary clauses : 7
980.49 c learnt clauses : 190868
980.49 c root simplifications : 0
980.49 c removed literals (reason simplification) : 0
980.49 c reason swapping (by a shorter reason) : 0
980.49 c Calls to reduceDB : 0
980.49 c speed (decisions/second) : 253.28218400673813
980.49 c non guided choices 53
980.49 s SATISFIABLE
980.49 v 6 1 0 1 2 8 0 10 5 9 3 9 8 7 3 4 4 2 2 4 7 5 0 2 2 9 4 8 2 10 6 7 4 5 3 6 4 2 3 6
980.49 c Total wall clock time (in seconds) : 980.208
980.49 c Total CPU time (experimental, in seconds) : 972.69
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-227999-1168279289 -o ROOT/results/node13/solver-227999-1168279289 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/227999-1168279289/sat4jCSP-bf3-cached.jar /tmp/evaluation/227999-1168279289/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.85 1.99 1.95 2/104 19418
/proc/meminfo: memFree=1518656/2055920 swapFree=4192812/4192956
[pid=19417] ppid=19415 vsize=18540 CPUtime=0
/proc/19417/stat : 19417 (runsolver) R 19415 19417 19060 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 176323886 18984960 279 18446744073709551615 4194304 4267372 548682068976 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/19417/statm: 4635 279 244 17 0 2626 0
[startup+0.102418 s]
/proc/loadavg: 1.85 1.99 1.95 2/104 19418
/proc/meminfo: memFree=1518656/2055920 swapFree=4192812/4192956
[pid=19417] ppid=19415 vsize=897120 CPUtime=0.04
/proc/19417/stat : 19417 (java) R 19415 19417 19060 0 -1 0 2949 0 1 0 3 1 0 0 23 0 6 0 176323886 918650880 2709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/19417/statm: 224280 2709 1412 14 0 211300 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 897120
[startup+0.514473 s]
/proc/loadavg: 1.85 1.99 1.95 2/104 19418
/proc/meminfo: memFree=1518656/2055920 swapFree=4192812/4192956
[pid=19417] ppid=19415 vsize=905236 CPUtime=0.45
/proc/19417/stat : 19417 (java) R 19415 19417 19060 0 -1 0 5823 0 1 0 41 4 0 0 25 0 12 0 176323886 926961664 5418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19417/statm: 226309 5418 2246 14 0 212746 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 905236
[startup+1.34259 s]
/proc/loadavg: 1.85 1.99 1.95 4/115 19429
/proc/meminfo: memFree=1501800/2055920 swapFree=4192812/4192956
[pid=19417] ppid=19415 vsize=906896 CPUtime=1.27
/proc/19417/stat : 19417 (java) R 19415 19417 19060 0 -1 0 8063 0 1 0 122 5 0 0 25 0 12 0 176323886 928661504 6985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4053870407 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19417/statm: 226724 6985 2326 14 0 213161 0
[pid=19417/tid=19419] ppid=19415 vsize=906896 CPUtime=0
/proc/19417/task/19419/stat : 19419 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 176323893 928661504 6985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19420] ppid=19415 vsize=906896 CPUtime=0
/proc/19417/task/19420/stat : 19420 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 21 0 12 0 176323893 928661504 6985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19421] ppid=19415 vsize=906896 CPUtime=0
/proc/19417/task/19421/stat : 19421 (java) S 19415 19417 19060 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 176323895 928661504 6985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19422] ppid=19415 vsize=906896 CPUtime=0
/proc/19417/task/19422/stat : 19422 (java) S 19415 19417 19060 0 -1 64 8 0 0 0 0 0 0 0 23 0 12 0 176323896 928661504 6985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19423] ppid=19415 vsize=906896 CPUtime=0
/proc/19417/task/19423/stat : 19423 (java) S 19415 19417 19060 0 -1 64 4 0 0 0 0 0 0 0 24 0 12 0 176323896 928661504 6985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19424] ppid=19415 vsize=906896 CPUtime=0
/proc/19417/task/19424/stat : 19424 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 176323900 928661504 6985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19425] ppid=19415 vsize=906896 CPUtime=0
/proc/19417/task/19425/stat : 19425 (java) S 19415 19417 19060 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 176323900 928661504 6985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19426] ppid=19415 vsize=906896 CPUtime=0.35
/proc/19417/task/19426/stat : 19426 (java) S 19415 19417 19060 0 -1 64 1125 0 0 0 35 0 0 0 16 0 12 0 176323900 928661504 6985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19427] ppid=19415 vsize=906896 CPUtime=0.32
/proc/19417/task/19427/stat : 19427 (java) S 19415 19417 19060 0 -1 64 896 0 0 0 32 0 0 0 16 0 12 0 176323900 928661504 6985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19428] ppid=19415 vsize=906896 CPUtime=0
/proc/19417/task/19428/stat : 19428 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 176323900 928661504 6985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19429] ppid=19415 vsize=906896 CPUtime=0
/proc/19417/task/19429/stat : 19429 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 176323900 928661504 6985 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 906896
[startup+2.9798 s]
/proc/loadavg: 1.85 1.99 1.95 5/116 19430
/proc/meminfo: memFree=1492256/2055920 swapFree=4192812/4192956
[pid=19417] ppid=19415 vsize=907412 CPUtime=2.9
/proc/19417/stat : 19417 (java) R 19415 19417 19060 0 -1 0 10248 0 1 0 283 7 0 0 25 0 13 0 176323886 929189888 9167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4054418353 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19417/statm: 226853 9167 2352 14 0 213290 0
[pid=19417/tid=19419] ppid=19415 vsize=907412 CPUtime=0
/proc/19417/task/19419/stat : 19419 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 176323893 929189888 9167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19420] ppid=19415 vsize=907412 CPUtime=0
/proc/19417/task/19420/stat : 19420 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 176323893 929189888 9167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19421] ppid=19415 vsize=907412 CPUtime=0
/proc/19417/task/19421/stat : 19421 (java) S 19415 19417 19060 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 176323895 929189888 9167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19422] ppid=19415 vsize=907412 CPUtime=0
/proc/19417/task/19422/stat : 19422 (java) S 19415 19417 19060 0 -1 64 8 0 0 0 0 0 0 0 23 0 13 0 176323896 929189888 9167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19423] ppid=19415 vsize=907412 CPUtime=0
/proc/19417/task/19423/stat : 19423 (java) S 19415 19417 19060 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 176323896 929189888 9167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19424] ppid=19415 vsize=907412 CPUtime=0
/proc/19417/task/19424/stat : 19424 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 176323900 929189888 9167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19425] ppid=19415 vsize=907412 CPUtime=0
/proc/19417/task/19425/stat : 19425 (java) S 19415 19417 19060 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 176323900 929189888 9167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19426] ppid=19415 vsize=907412 CPUtime=0.82
/proc/19417/task/19426/stat : 19426 (java) S 19415 19417 19060 0 -1 64 1182 0 0 0 82 0 0 0 16 0 13 0 176323900 929189888 9167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19427] ppid=19415 vsize=907412 CPUtime=0.67
/proc/19417/task/19427/stat : 19427 (java) S 19415 19417 19060 0 -1 64 922 0 0 0 67 0 0 0 16 0 13 0 176323900 929189888 9167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19428] ppid=19415 vsize=907412 CPUtime=0
/proc/19417/task/19428/stat : 19428 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 176323900 929189888 9167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19429] ppid=19415 vsize=907412 CPUtime=0
/proc/19417/task/19429/stat : 19429 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 176323900 929189888 9167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19430] ppid=19415 vsize=907412 CPUtime=0
/proc/19417/task/19430/stat : 19430 (java) S 19415 19417 19060 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 176324105 929189888 9167 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 907412
[startup+6.27924 s]
/proc/loadavg: 1.86 1.99 1.95 3/116 19432
/proc/meminfo: memFree=1487208/2055920 swapFree=4192812/4192956
[pid=19417] ppid=19415 vsize=907136 CPUtime=6.15
/proc/19417/stat : 19417 (java) R 19415 19417 19060 0 -1 0 11430 0 1 0 607 8 0 0 25 0 13 0 176323886 928907264 10285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4054080056 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19417/statm: 226784 10285 2352 14 0 213221 0
[pid=19417/tid=19419] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19419/stat : 19419 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 176323893 928907264 10285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19420] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19420/stat : 19420 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 176323893 928907264 10285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19421] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19421/stat : 19421 (java) S 19415 19417 19060 0 -1 64 7 0 0 0 0 0 0 0 17 0 13 0 176323895 928907264 10285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19422] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19422/stat : 19422 (java) S 19415 19417 19060 0 -1 64 8 0 0 0 0 0 0 0 23 0 13 0 176323896 928907264 10285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19423] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19423/stat : 19423 (java) S 19415 19417 19060 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 176323896 928907264 10285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19424] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19424/stat : 19424 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 176323900 928907264 10285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19425] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19425/stat : 19425 (java) S 19415 19417 19060 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 176323900 928907264 10285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19426] ppid=19415 vsize=907136 CPUtime=0.83
/proc/19417/task/19426/stat : 19426 (java) S 19415 19417 19060 0 -1 64 1183 0 0 0 83 0 0 0 16 0 13 0 176323900 928907264 10285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19427] ppid=19415 vsize=907136 CPUtime=0.69
/proc/19417/task/19427/stat : 19427 (java) S 19415 19417 19060 0 -1 64 923 0 0 0 69 0 0 0 15 0 13 0 176323900 928907264 10285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19428] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19428/stat : 19428 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 176323900 928907264 10285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19429] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19429/stat : 19429 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 176323900 928907264 10285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19430] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19430/stat : 19430 (java) S 19415 19417 19060 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 176324105 928907264 10285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 907136
[startup+12.7731 s]
/proc/loadavg: 1.88 1.99 1.95 3/116 19452
/proc/meminfo: memFree=1482280/2055920 swapFree=4192812/4192956
[pid=19417] ppid=19415 vsize=907136 CPUtime=12.57
/proc/19417/stat : 19417 (java) R 19415 19417 19060 0 -1 0 12512 0 1 0 1246 11 0 0 25 0 13 0 176323886 928907264 11367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4054019095 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19417/statm: 226784 11367 2352 14 0 213221 0
[pid=19417/tid=19419] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19419/stat : 19419 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 176323893 928907264 11367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19420] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19420/stat : 19420 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 176323893 928907264 11367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19421] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19421/stat : 19421 (java) S 19415 19417 19060 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 176323895 928907264 11367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19422] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19422/stat : 19422 (java) S 19415 19417 19060 0 -1 64 8 0 0 0 0 0 0 0 23 0 13 0 176323896 928907264 11367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19423] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19423/stat : 19423 (java) S 19415 19417 19060 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 176323896 928907264 11367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19424] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19424/stat : 19424 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 176323900 928907264 11367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19425] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19425/stat : 19425 (java) S 19415 19417 19060 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 176323900 928907264 11367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19426] ppid=19415 vsize=907136 CPUtime=0.83
/proc/19417/task/19426/stat : 19426 (java) S 19415 19417 19060 0 -1 64 1183 0 0 0 83 0 0 0 16 0 13 0 176323900 928907264 11367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19427] ppid=19415 vsize=907136 CPUtime=0.69
/proc/19417/task/19427/stat : 19427 (java) S 19415 19417 19060 0 -1 64 923 0 0 0 69 0 0 0 15 0 13 0 176323900 928907264 11367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19428] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19428/stat : 19428 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 176323900 928907264 11367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19429] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19429/stat : 19429 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 176323900 928907264 11367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19430] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19430/stat : 19430 (java) S 19415 19417 19060 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 176324105 928907264 11367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 907136
[startup+25.5828 s]
/proc/loadavg: 1.90 1.99 1.95 3/116 19460
/proc/meminfo: memFree=1477224/2055920 swapFree=4192812/4192956
[pid=19417] ppid=19415 vsize=907136 CPUtime=25.23
/proc/19417/stat : 19417 (java) R 19415 19417 19060 0 -1 0 13834 0 1 0 2508 15 0 0 25 0 13 0 176323886 928907264 12689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4054373473 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19417/statm: 226784 12689 2352 14 0 213221 0
[pid=19417/tid=19419] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19419/stat : 19419 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 176323893 928907264 12689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19420] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19420/stat : 19420 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 21 0 13 0 176323893 928907264 12689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19421] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19421/stat : 19421 (java) S 19415 19417 19060 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 176323895 928907264 12689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19422] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19422/stat : 19422 (java) S 19415 19417 19060 0 -1 64 8 0 0 0 0 0 0 0 23 0 13 0 176323896 928907264 12689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19423] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19423/stat : 19423 (java) S 19415 19417 19060 0 -1 64 4 0 0 0 0 0 0 0 24 0 13 0 176323896 928907264 12689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19424] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19424/stat : 19424 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 176323900 928907264 12689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19425] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19425/stat : 19425 (java) S 19415 19417 19060 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 176323900 928907264 12689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19426] ppid=19415 vsize=907136 CPUtime=0.83
/proc/19417/task/19426/stat : 19426 (java) S 19415 19417 19060 0 -1 64 1183 0 0 0 83 0 0 0 16 0 13 0 176323900 928907264 12689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19427] ppid=19415 vsize=907136 CPUtime=0.69
/proc/19417/task/19427/stat : 19427 (java) S 19415 19417 19060 0 -1 64 923 0 0 0 69 0 0 0 15 0 13 0 176323900 928907264 12689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19428] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19428/stat : 19428 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 176323900 928907264 12689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19429] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19429/stat : 19429 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 176323900 928907264 12689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19430] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19430/stat : 19430 (java) S 19415 19417 19060 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 176324105 928907264 12689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 907136
[startup+51.2732 s]
/proc/loadavg: 1.93 1.99 1.95 4/116 19484
/proc/meminfo: memFree=1469864/2055920 swapFree=4192812/4192956
################
# More data... #
################
/proc/19417/task/19429/stat : 19429 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19430] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19430/stat : 19430 (java) S 19415 19417 19060 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 176324105 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 637.01
Current children cumulated vsize (KiB) 907136
[startup+702.97 s]
/proc/loadavg: 1.20 1.73 1.88 2/90 19598
/proc/meminfo: memFree=1529088/2055920 swapFree=4192812/4192956
[pid=19417] ppid=19415 vsize=907136 CPUtime=697
/proc/19417/stat : 19417 (java) R 19415 19417 19060 0 -1 0 32413 0 1 0 69661 39 0 0 25 0 13 0 176323886 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4054418307 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19417/statm: 226784 31267 2354 14 0 213221 0
[pid=19417/tid=19419] ppid=19415 vsize=907136 CPUtime=0.1
/proc/19417/task/19419/stat : 19419 (java) S 19415 19417 19060 0 -1 64 7607 0 0 0 7 3 0 0 17 0 13 0 176323893 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19420] ppid=19415 vsize=907136 CPUtime=0.04
/proc/19417/task/19420/stat : 19420 (java) S 19415 19417 19060 0 -1 64 3018 0 0 0 3 1 0 0 17 0 13 0 176323893 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19421] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19421/stat : 19421 (java) S 19415 19417 19060 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 176323895 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19422] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19422/stat : 19422 (java) S 19415 19417 19060 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 176323896 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19423] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19423/stat : 19423 (java) S 19415 19417 19060 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 176323896 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19424] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19424/stat : 19424 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19425] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19425/stat : 19425 (java) S 19415 19417 19060 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19426] ppid=19415 vsize=907136 CPUtime=0.84
/proc/19417/task/19426/stat : 19426 (java) S 19415 19417 19060 0 -1 64 1184 0 0 0 84 0 0 0 16 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19427] ppid=19415 vsize=907136 CPUtime=0.71
/proc/19417/task/19427/stat : 19427 (java) S 19415 19417 19060 0 -1 64 924 0 0 0 71 0 0 0 16 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19428] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19428/stat : 19428 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19429] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19429/stat : 19429 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19430] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19430/stat : 19430 (java) S 19415 19417 19060 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 176324105 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 697
Current children cumulated vsize (KiB) 907136
[startup+762.982 s]
/proc/loadavg: 1.07 1.59 1.82 2/90 19598
/proc/meminfo: memFree=1529088/2055920 swapFree=4192812/4192956
[pid=19417] ppid=19415 vsize=907136 CPUtime=757
/proc/19417/stat : 19417 (java) R 19415 19417 19060 0 -1 0 32413 0 1 0 75660 40 0 0 25 0 13 0 176323886 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4054373473 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19417/statm: 226784 31267 2354 14 0 213221 0
[pid=19417/tid=19419] ppid=19415 vsize=907136 CPUtime=0.1
/proc/19417/task/19419/stat : 19419 (java) S 19415 19417 19060 0 -1 64 7607 0 0 0 7 3 0 0 17 0 13 0 176323893 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19420] ppid=19415 vsize=907136 CPUtime=0.04
/proc/19417/task/19420/stat : 19420 (java) S 19415 19417 19060 0 -1 64 3018 0 0 0 3 1 0 0 17 0 13 0 176323893 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19421] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19421/stat : 19421 (java) S 19415 19417 19060 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 176323895 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19422] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19422/stat : 19422 (java) S 19415 19417 19060 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 176323896 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19423] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19423/stat : 19423 (java) S 19415 19417 19060 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 176323896 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19424] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19424/stat : 19424 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19425] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19425/stat : 19425 (java) S 19415 19417 19060 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19426] ppid=19415 vsize=907136 CPUtime=0.84
/proc/19417/task/19426/stat : 19426 (java) S 19415 19417 19060 0 -1 64 1184 0 0 0 84 0 0 0 16 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19427] ppid=19415 vsize=907136 CPUtime=0.71
/proc/19417/task/19427/stat : 19427 (java) S 19415 19417 19060 0 -1 64 924 0 0 0 71 0 0 0 16 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19428] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19428/stat : 19428 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19429] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19429/stat : 19429 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19430] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19430/stat : 19430 (java) S 19415 19417 19060 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 176324105 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 757
Current children cumulated vsize (KiB) 907136
[startup+822.997 s]
/proc/loadavg: 1.02 1.48 1.77 2/90 19598
/proc/meminfo: memFree=1529088/2055920 swapFree=4192812/4192956
[pid=19417] ppid=19415 vsize=907136 CPUtime=816.99
/proc/19417/stat : 19417 (java) R 19415 19417 19060 0 -1 0 32413 0 1 0 81659 40 0 0 25 0 13 0 176323886 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4054373473 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19417/statm: 226784 31267 2354 14 0 213221 0
[pid=19417/tid=19419] ppid=19415 vsize=907136 CPUtime=0.1
/proc/19417/task/19419/stat : 19419 (java) S 19415 19417 19060 0 -1 64 7607 0 0 0 7 3 0 0 17 0 13 0 176323893 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19420] ppid=19415 vsize=907136 CPUtime=0.04
/proc/19417/task/19420/stat : 19420 (java) S 19415 19417 19060 0 -1 64 3018 0 0 0 3 1 0 0 17 0 13 0 176323893 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19421] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19421/stat : 19421 (java) S 19415 19417 19060 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 176323895 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19422] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19422/stat : 19422 (java) S 19415 19417 19060 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 176323896 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19423] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19423/stat : 19423 (java) S 19415 19417 19060 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 176323896 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19424] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19424/stat : 19424 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19425] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19425/stat : 19425 (java) S 19415 19417 19060 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19426] ppid=19415 vsize=907136 CPUtime=0.84
/proc/19417/task/19426/stat : 19426 (java) S 19415 19417 19060 0 -1 64 1184 0 0 0 84 0 0 0 16 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19427] ppid=19415 vsize=907136 CPUtime=0.71
/proc/19417/task/19427/stat : 19427 (java) S 19415 19417 19060 0 -1 64 924 0 0 0 71 0 0 0 16 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19428] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19428/stat : 19428 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19429] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19429/stat : 19429 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19430] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19430/stat : 19430 (java) S 19415 19417 19060 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 176324105 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 816.99
Current children cumulated vsize (KiB) 907136
[startup+883.008 s]
/proc/loadavg: 1.01 1.39 1.72 2/90 19598
/proc/meminfo: memFree=1529088/2055920 swapFree=4192812/4192956
[pid=19417] ppid=19415 vsize=907136 CPUtime=876.99
/proc/19417/stat : 19417 (java) R 19415 19417 19060 0 -1 0 32413 0 1 0 87658 41 0 0 25 0 13 0 176323886 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4054391580 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19417/statm: 226784 31267 2354 14 0 213221 0
[pid=19417/tid=19419] ppid=19415 vsize=907136 CPUtime=0.1
/proc/19417/task/19419/stat : 19419 (java) S 19415 19417 19060 0 -1 64 7607 0 0 0 7 3 0 0 17 0 13 0 176323893 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19420] ppid=19415 vsize=907136 CPUtime=0.04
/proc/19417/task/19420/stat : 19420 (java) S 19415 19417 19060 0 -1 64 3018 0 0 0 3 1 0 0 17 0 13 0 176323893 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19421] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19421/stat : 19421 (java) S 19415 19417 19060 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 176323895 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19422] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19422/stat : 19422 (java) S 19415 19417 19060 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 176323896 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19423] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19423/stat : 19423 (java) S 19415 19417 19060 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 176323896 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19424] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19424/stat : 19424 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19425] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19425/stat : 19425 (java) S 19415 19417 19060 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19426] ppid=19415 vsize=907136 CPUtime=0.84
/proc/19417/task/19426/stat : 19426 (java) S 19415 19417 19060 0 -1 64 1184 0 0 0 84 0 0 0 16 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19427] ppid=19415 vsize=907136 CPUtime=0.71
/proc/19417/task/19427/stat : 19427 (java) S 19415 19417 19060 0 -1 64 924 0 0 0 71 0 0 0 16 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19428] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19428/stat : 19428 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19429] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19429/stat : 19429 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19430] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19430/stat : 19430 (java) S 19415 19417 19060 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 176324105 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 876.99
Current children cumulated vsize (KiB) 907136
[startup+943.022 s]
/proc/loadavg: 1.00 1.32 1.67 2/90 19598
/proc/meminfo: memFree=1529088/2055920 swapFree=4192812/4192956
[pid=19417] ppid=19415 vsize=907136 CPUtime=936.98
/proc/19417/stat : 19417 (java) R 19415 19417 19060 0 -1 0 32413 0 1 0 93657 41 0 0 25 0 13 0 176323886 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4054391810 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19417/statm: 226784 31267 2354 14 0 213221 0
[pid=19417/tid=19419] ppid=19415 vsize=907136 CPUtime=0.1
/proc/19417/task/19419/stat : 19419 (java) S 19415 19417 19060 0 -1 64 7607 0 0 0 7 3 0 0 17 0 13 0 176323893 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19420] ppid=19415 vsize=907136 CPUtime=0.04
/proc/19417/task/19420/stat : 19420 (java) S 19415 19417 19060 0 -1 64 3018 0 0 0 3 1 0 0 17 0 13 0 176323893 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19421] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19421/stat : 19421 (java) S 19415 19417 19060 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 176323895 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19422] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19422/stat : 19422 (java) S 19415 19417 19060 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 176323896 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19423] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19423/stat : 19423 (java) S 19415 19417 19060 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 176323896 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19424] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19424/stat : 19424 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19425] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19425/stat : 19425 (java) S 19415 19417 19060 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19426] ppid=19415 vsize=907136 CPUtime=0.84
/proc/19417/task/19426/stat : 19426 (java) S 19415 19417 19060 0 -1 64 1184 0 0 0 84 0 0 0 16 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19427] ppid=19415 vsize=907136 CPUtime=0.71
/proc/19417/task/19427/stat : 19427 (java) S 19415 19417 19060 0 -1 64 924 0 0 0 71 0 0 0 16 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19428] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19428/stat : 19428 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19429] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19429/stat : 19429 (java) S 19415 19417 19060 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 176323900 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19417/tid=19430] ppid=19415 vsize=907136 CPUtime=0
/proc/19417/task/19430/stat : 19430 (java) S 19415 19417 19060 0 -1 64 4 0 0 0 0 0 0 0 22 0 13 0 176324105 928907264 31267 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 936.98
Current children cumulated vsize (KiB) 907136
Child status: 0
Real time (s): 980.564
CPU time (s): 974.468
CPU user time (s): 974.026
CPU system time (s): 0.441932
CPU usage (%): 99.3783
Max. virtual memory (cumulated for all children) (KiB): 907412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 974.026
system time used= 0.441932
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32421
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= 20459
involuntary context switches= 34858
runsolver used 1.14283 s user time and 2.97755 s system time
The end
Begin job on node13 on Mon Jan 8 18:01:29 UTC 2007
IDJOB= 227999
IDBENCH= 6144
FILE ID= node13/227999-1168279289
PBS_JOBID= 3483115
Free space on /tmp= 66324 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-15_ext.xml
COMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/227999-1168279289/sat4jCSP-bf3-cached.jar /tmp/evaluation/227999-1168279289/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-227999-1168279289 -o ROOT/results/node13/solver-227999-1168279289 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/227999-1168279289/sat4jCSP-bf3-cached.jar /tmp/evaluation/227999-1168279289/unknown.xml
META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH= c8909460f94d8e661e359cb0f138126f
RANDOM SEED= 548849471
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.247
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.247
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: 1519072 kB
Buffers: 60720 kB
Cached: 247320 kB
SwapCached: 0 kB
Active: 288952 kB
Inactive: 187044 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1519072 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2652 kB
Writeback: 0 kB
Mapped: 197372 kB
Slab: 44744 kB
Committed_AS: 5544208 kB
PageTables: 2904 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= 66327 MiB
End job on node13 on Mon Jan 8 18:17:54 UTC 2007