0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.14 c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.14 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.15 c version CSP COMPETITION BUGFIX 3
0.15 c sun.arch.data.model 32
0.15 c java.version 1.5.0_10
0.15 c os.name Linux
0.15 c os.version 2.6.9-22.EL.rootsmp
0.15 c os.arch i386
0.15 c Free memory 722620888
0.15 c Max memory 723845120
0.15 c Total memory 723845120
0.15 c Number of processors 2
0.24 c --- Begin Solver configuration ---
0.24 c Stops conflict analysis at the first Unique Implication Point
0.24 c org.sat4j.minisat.constraints.MixedDataStructureWithBinary@19dfbff
0.24 c Learn all clauses as in MiniSAT
0.24 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.24 c VSIDS like heuristics from MiniSAT using a heap
0.24 c No reason simplification
0.24 c --- End Solver configuration ---
0.24 c solving /tmp/evaluation/208801-1168190109/unknown.xml
0.24 c reading problem ...
0.50 c reading problem named ?
0.50 c reading domains done.
0.50 c reading variables
c reading variables (20) done.
0.54 c reading relations
c reading relations (58) done.
2.11 c reading constraints
c reading constraints done.
2.81 c ... done. Wall clock time 2.568s.
2.81 c CPU time (experimental) 1.59s.
2.81 c #vars 400
2.81 c #constraints 296996
269.69 c starts : 18
269.69 c conflicts : 220492
269.69 c decisions : 402119
269.69 c propagations : 9851847
269.69 c inspects : 815977978
269.69 c learnt literals : 0
269.69 c learnt binary clauses : 0
269.69 c learnt ternary clauses : 689
269.69 c learnt clauses : 220474
269.70 c root simplifications : 0
269.70 c removed literals (reason simplification) : 0
269.70 c reason swapping (by a shorter reason) : 0
269.70 c Calls to reduceDB : 0
269.70 c speed (decisions/second) : 1506.706983506066
269.70 c non guided choices 215
269.70 s SATISFIABLE
269.70 v 2 2 19 5 18 16 14 5 11 15 12 6 16 17 12 11 5 7 16 8
269.70 c Total wall clock time (in seconds) : 269.457
269.70 c Total CPU time (experimental, in seconds) : 266.12
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node19/watcher-208801-1168190109 -o ROOT/results/node19/solver-208801-1168190109 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/208801-1168190109/sat4jCSP-bf3.jar /tmp/evaluation/208801-1168190109/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: 2.02 2.00 2.00 4/95 27882
/proc/meminfo: memFree=1208904/2055920 swapFree=4171244/4192956
[pid=27881] ppid=27879 vsize=172 CPUtime=0
/proc/27881/stat : 27881 (java) R 27879 27881 27699 0 -1 0 201 0 0 0 0 0 0 0 18 0 1 0 167405526 176128 24 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 7484196 0 0 4096 0 0 0 0 17 0 0 0
/proc/27881/statm: 55 31 25 14 0 3 0
[startup+0.10833 s]
/proc/loadavg: 2.02 2.00 2.00 4/95 27882
/proc/meminfo: memFree=1208904/2055920 swapFree=4171244/4192956
[pid=27881] ppid=27879 vsize=902816 CPUtime=0.09
/proc/27881/stat : 27881 (java) R 27879 27881 27699 0 -1 0 3413 0 1 0 8 1 0 0 25 0 12 0 167405526 924483584 3173 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4155215354 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27881/statm: 225704 3174 1586 14 0 212148 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 902816
[startup+0.518407 s]
/proc/loadavg: 2.02 2.00 2.00 4/95 27882
/proc/meminfo: memFree=1208904/2055920 swapFree=4171244/4192956
[pid=27881] ppid=27879 vsize=905236 CPUtime=0.49
/proc/27881/stat : 27881 (java) R 27879 27881 27699 0 -1 0 5975 0 1 0 46 3 0 0 25 0 12 0 167405526 926961664 5569 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27881/statm: 226309 5569 2292 14 0 212746 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 905236
[startup+1.33956 s]
/proc/loadavg: 2.02 2.00 2.00 3/106 27893
/proc/meminfo: memFree=1190704/2055920 swapFree=4171244/4192956
[pid=27881] ppid=27879 vsize=907208 CPUtime=1.31
/proc/27881/stat : 27881 (java) R 27879 27881 27699 0 -1 0 9520 0 1 0 126 5 0 0 25 0 12 0 167405526 928980992 8371 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054142793 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27881/statm: 226802 8371 2326 14 0 213239 0
[pid=27881/tid=27883] ppid=27879 vsize=907208 CPUtime=0
/proc/27881/task/27883/stat : 27883 (java) S 27879 27881 27699 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 167405529 928980992 8371 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27884] ppid=27879 vsize=907208 CPUtime=0
/proc/27881/task/27884/stat : 27884 (java) S 27879 27881 27699 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 167405529 928980992 8371 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27885] ppid=27879 vsize=907208 CPUtime=0
/proc/27881/task/27885/stat : 27885 (java) S 27879 27881 27699 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 167405532 928980992 8371 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27886] ppid=27879 vsize=907208 CPUtime=0
/proc/27881/task/27886/stat : 27886 (java) S 27879 27881 27699 0 -1 64 8 0 0 0 0 0 0 0 22 0 12 0 167405532 928980992 8371 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27887] ppid=27879 vsize=907208 CPUtime=0
/proc/27881/task/27887/stat : 27887 (java) S 27879 27881 27699 0 -1 64 4 0 0 0 0 0 0 0 23 0 12 0 167405532 928980992 8371 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27888] ppid=27879 vsize=907208 CPUtime=0
/proc/27881/task/27888/stat : 27888 (java) S 27879 27881 27699 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 167405536 928980992 8371 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27889] ppid=27879 vsize=907208 CPUtime=0
/proc/27881/task/27889/stat : 27889 (java) S 27879 27881 27699 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 167405536 928980992 8371 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27890] ppid=27879 vsize=907208 CPUtime=0.32
/proc/27881/task/27890/stat : 27890 (java) S 27879 27881 27699 0 -1 64 1116 0 0 0 32 0 0 0 16 0 12 0 167405536 928980992 8371 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27891] ppid=27879 vsize=907208 CPUtime=0.4
/proc/27881/task/27891/stat : 27891 (java) S 27879 27881 27699 0 -1 64 1075 0 0 0 40 0 0 0 16 0 12 0 167405536 928980992 8371 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27892] ppid=27879 vsize=907208 CPUtime=0
/proc/27881/task/27892/stat : 27892 (java) S 27879 27881 27699 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 167405536 928980992 8371 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27893] ppid=27879 vsize=907208 CPUtime=0
/proc/27881/task/27893/stat : 27893 (java) S 27879 27881 27699 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 167405536 928980992 8371 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 907208
[startup+2.98687 s]
/proc/loadavg: 2.02 2.00 2.00 4/106 27893
/proc/meminfo: memFree=1128176/2055920 swapFree=4171244/4192956
[pid=27881] ppid=27879 vsize=907724 CPUtime=2.95
/proc/27881/stat : 27881 (java) R 27879 27881 27699 0 -1 0 27751 0 1 0 280 15 0 0 25 0 13 0 167405526 929509376 26598 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27881/statm: 226931 26598 2348 14 0 213368 0
[pid=27881/tid=27883] ppid=27879 vsize=907724 CPUtime=0.1
/proc/27881/task/27883/stat : 27883 (java) S 27879 27881 27699 0 -1 64 3214 0 0 0 9 1 0 0 16 0 13 0 167405529 929509376 26598 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27884] ppid=27879 vsize=907724 CPUtime=0.08
/proc/27881/task/27884/stat : 27884 (java) S 27879 27881 27699 0 -1 64 2635 0 0 0 8 0 0 0 16 0 13 0 167405529 929509376 26598 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27885] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27885/stat : 27885 (java) S 27879 27881 27699 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 167405532 929509376 26598 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27886] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27886/stat : 27886 (java) S 27879 27881 27699 0 -1 64 8 0 0 0 0 0 0 0 17 0 13 0 167405532 929509376 26598 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27887] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27887/stat : 27887 (java) S 27879 27881 27699 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 167405532 929509376 26598 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27888] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27888/stat : 27888 (java) S 27879 27881 27699 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 167405536 929509376 26598 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27889] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27889/stat : 27889 (java) S 27879 27881 27699 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 167405536 929509376 26598 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27890] ppid=27879 vsize=907724 CPUtime=0.46
/proc/27881/task/27890/stat : 27890 (java) S 27879 27881 27699 0 -1 64 1136 0 0 0 46 0 0 0 16 0 13 0 167405536 929509376 26598 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27891] ppid=27879 vsize=907724 CPUtime=0.61
/proc/27881/task/27891/stat : 27891 (java) R 27879 27881 27699 0 -1 64 1094 0 0 0 61 0 0 0 16 0 13 0 167405536 929509376 26598 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4154874243 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27892] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27892/stat : 27892 (java) S 27879 27881 27699 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 167405536 929509376 26598 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27893] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27893/stat : 27893 (java) S 27879 27881 27699 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 167405536 929509376 26598 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 907724
[startup+6.18848 s]
/proc/loadavg: 2.02 2.00 2.00 3/107 27894
/proc/meminfo: memFree=1110952/2055920 swapFree=4171244/4192956
[pid=27881] ppid=27879 vsize=907724 CPUtime=6.13
/proc/27881/stat : 27881 (java) R 27879 27881 27699 0 -1 0 28058 0 1 0 598 15 0 0 25 0 13 0 167405526 929509376 26643 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054333875 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27881/statm: 226931 26643 2357 14 0 213368 0
[pid=27881/tid=27883] ppid=27879 vsize=907724 CPUtime=0.1
/proc/27881/task/27883/stat : 27883 (java) S 27879 27881 27699 0 -1 64 3214 0 0 0 9 1 0 0 16 0 13 0 167405529 929509376 26643 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27884] ppid=27879 vsize=907724 CPUtime=0.08
/proc/27881/task/27884/stat : 27884 (java) S 27879 27881 27699 0 -1 64 2635 0 0 0 8 0 0 0 16 0 13 0 167405529 929509376 26643 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27885] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27885/stat : 27885 (java) S 27879 27881 27699 0 -1 64 20 0 0 0 0 0 0 0 17 0 13 0 167405532 929509376 26643 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27886] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27886/stat : 27886 (java) S 27879 27881 27699 0 -1 64 8 0 0 0 0 0 0 0 17 0 13 0 167405532 929509376 26643 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27887] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27887/stat : 27887 (java) S 27879 27881 27699 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 167405532 929509376 26643 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27888] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27888/stat : 27888 (java) S 27879 27881 27699 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 167405536 929509376 26643 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27889] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27889/stat : 27889 (java) S 27879 27881 27699 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 167405536 929509376 26643 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27890] ppid=27879 vsize=907724 CPUtime=0.64
/proc/27881/task/27890/stat : 27890 (java) S 27879 27881 27699 0 -1 64 1296 0 0 0 64 0 0 0 16 0 13 0 167405536 929509376 26643 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27891] ppid=27879 vsize=907724 CPUtime=0.83
/proc/27881/task/27891/stat : 27891 (java) S 27879 27881 27699 0 -1 64 1231 0 0 0 83 0 0 0 16 0 13 0 167405536 929509376 26643 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27892] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27892/stat : 27892 (java) S 27879 27881 27699 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 167405536 929509376 26643 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27893] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27893/stat : 27893 (java) S 27879 27881 27699 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 167405536 929509376 26643 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27894] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27894/stat : 27894 (java) S 27879 27881 27699 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 167405808 929509376 26643 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 907724
[startup+12.6897 s]
/proc/loadavg: 2.02 2.00 2.00 3/107 27894
/proc/meminfo: memFree=1111144/2055920 swapFree=4171244/4192956
[pid=27881] ppid=27879 vsize=907724 CPUtime=12.58
/proc/27881/stat : 27881 (java) R 27879 27881 27699 0 -1 0 28062 0 1 0 1243 15 0 0 25 0 13 0 167405526 929509376 26645 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054333875 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27881/statm: 226931 26645 2357 14 0 213368 0
[pid=27881/tid=27883] ppid=27879 vsize=907724 CPUtime=0.1
/proc/27881/task/27883/stat : 27883 (java) S 27879 27881 27699 0 -1 64 3214 0 0 0 9 1 0 0 16 0 13 0 167405529 929509376 26645 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27884] ppid=27879 vsize=907724 CPUtime=0.08
/proc/27881/task/27884/stat : 27884 (java) S 27879 27881 27699 0 -1 64 2635 0 0 0 8 0 0 0 16 0 13 0 167405529 929509376 26645 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27885] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27885/stat : 27885 (java) S 27879 27881 27699 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 167405532 929509376 26645 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27886] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27886/stat : 27886 (java) S 27879 27881 27699 0 -1 64 8 0 0 0 0 0 0 0 17 0 13 0 167405532 929509376 26645 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27887] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27887/stat : 27887 (java) S 27879 27881 27699 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 167405532 929509376 26645 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27888] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27888/stat : 27888 (java) S 27879 27881 27699 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 167405536 929509376 26645 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27889] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27889/stat : 27889 (java) S 27879 27881 27699 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 167405536 929509376 26645 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27890] ppid=27879 vsize=907724 CPUtime=0.64
/proc/27881/task/27890/stat : 27890 (java) S 27879 27881 27699 0 -1 64 1297 0 0 0 64 0 0 0 17 0 13 0 167405536 929509376 26645 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27891] ppid=27879 vsize=907724 CPUtime=0.83
/proc/27881/task/27891/stat : 27891 (java) S 27879 27881 27699 0 -1 64 1232 0 0 0 83 0 0 0 16 0 13 0 167405536 929509376 26645 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27892] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27892/stat : 27892 (java) S 27879 27881 27699 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 167405536 929509376 26645 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27893] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27893/stat : 27893 (java) S 27879 27881 27699 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 167405536 929509376 26645 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27894] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27894/stat : 27894 (java) S 27879 27881 27699 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 167405808 929509376 26645 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 907724
[startup+25.4931 s]
/proc/loadavg: 2.09 2.02 2.01 3/107 27894
/proc/meminfo: memFree=1111272/2055920 swapFree=4171244/4192956
[pid=27881] ppid=27879 vsize=907724 CPUtime=25.32
/proc/27881/stat : 27881 (java) R 27879 27881 27699 0 -1 0 28063 0 1 0 2517 15 0 0 25 0 13 0 167405526 929509376 26646 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054344742 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27881/statm: 226931 26646 2357 14 0 213368 0
[pid=27881/tid=27883] ppid=27879 vsize=907724 CPUtime=0.1
/proc/27881/task/27883/stat : 27883 (java) S 27879 27881 27699 0 -1 64 3214 0 0 0 9 1 0 0 16 0 13 0 167405529 929509376 26646 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27884] ppid=27879 vsize=907724 CPUtime=0.08
/proc/27881/task/27884/stat : 27884 (java) S 27879 27881 27699 0 -1 64 2635 0 0 0 8 0 0 0 16 0 13 0 167405529 929509376 26646 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27885] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27885/stat : 27885 (java) S 27879 27881 27699 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 167405532 929509376 26646 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27886] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27886/stat : 27886 (java) S 27879 27881 27699 0 -1 64 8 0 0 0 0 0 0 0 17 0 13 0 167405532 929509376 26646 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27887] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27887/stat : 27887 (java) S 27879 27881 27699 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 167405532 929509376 26646 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27888] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27888/stat : 27888 (java) S 27879 27881 27699 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 167405536 929509376 26646 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27889] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27889/stat : 27889 (java) S 27879 27881 27699 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 167405536 929509376 26646 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27890] ppid=27879 vsize=907724 CPUtime=0.66
/proc/27881/task/27890/stat : 27890 (java) S 27879 27881 27699 0 -1 64 1298 0 0 0 66 0 0 0 17 0 13 0 167405536 929509376 26646 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27891] ppid=27879 vsize=907724 CPUtime=0.84
/proc/27881/task/27891/stat : 27891 (java) S 27879 27881 27699 0 -1 64 1232 0 0 0 84 0 0 0 17 0 13 0 167405536 929509376 26646 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27892] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27892/stat : 27892 (java) S 27879 27881 27699 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 167405536 929509376 26646 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27893] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27893/stat : 27893 (java) S 27879 27881 27699 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 167405536 929509376 26646 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27894] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27894/stat : 27894 (java) S 27879 27881 27699 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 167405808 929509376 26646 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 907724
[startup+51.194 s]
/proc/loadavg: 2.06 2.01 2.00 3/107 27894
/proc/meminfo: memFree=1111272/2055920 swapFree=4171244/4192956
[pid=27881] ppid=27879 vsize=907724 CPUtime=50.89
/proc/27881/stat : 27881 (java) R 27879 27881 27699 0 -1 0 28066 0 1 0 5074 15 0 0 25 0 13 0 167405526 929509376 26649 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054345148 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27881/statm: 226931 26649 2357 14 0 213368 0
[pid=27881/tid=27883] ppid=27879 vsize=907724 CPUtime=0.1
/proc/27881/task/27883/stat : 27883 (java) S 27879 27881 27699 0 -1 64 3214 0 0 0 9 1 0 0 16 0 13 0 167405529 929509376 26649 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27884] ppid=27879 vsize=907724 CPUtime=0.08
/proc/27881/task/27884/stat : 27884 (java) S 27879 27881 27699 0 -1 64 2635 0 0 0 8 0 0 0 16 0 13 0 167405529 929509376 26649 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27885] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27885/stat : 27885 (java) S 27879 27881 27699 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 167405532 929509376 26649 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27886] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27886/stat : 27886 (java) S 27879 27881 27699 0 -1 64 8 0 0 0 0 0 0 0 17 0 13 0 167405532 929509376 26649 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27887] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27887/stat : 27887 (java) S 27879 27881 27699 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 167405532 929509376 26649 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27888] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27888/stat : 27888 (java) S 27879 27881 27699 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 167405536 929509376 26649 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27889] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27889/stat : 27889 (java) S 27879 27881 27699 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 167405536 929509376 26649 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27890] ppid=27879 vsize=907724 CPUtime=0.66
/proc/27881/task/27890/stat : 27890 (java) S 27879 27881 27699 0 -1 64 1298 0 0 0 66 0 0 0 17 0 13 0 167405536 929509376 26649 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27891] ppid=27879 vsize=907724 CPUtime=0.86
/proc/27881/task/27891/stat : 27891 (java) S 27879 27881 27699 0 -1 64 1234 0 0 0 86 0 0 0 17 0 13 0 167405536 929509376 26649 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27892] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27892/stat : 27892 (java) S 27879 27881 27699 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 167405536 929509376 26649 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27893] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27893/stat : 27893 (java) S 27879 27881 27699 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 167405536 929509376 26649 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27894] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27894/stat : 27894 (java) S 27879 27881 27699 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 167405808 929509376 26649 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 907724
[startup+102.486 s]
/proc/loadavg: 2.02 2.01 2.00 3/107 27894
/proc/meminfo: memFree=1054440/2055920 swapFree=4171244/4192956
[pid=27881] ppid=27879 vsize=907724 CPUtime=101.88
/proc/27881/stat : 27881 (java) R 27879 27881 27699 0 -1 0 42305 0 1 0 10166 22 0 0 25 0 13 0 167405526 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054333811 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27881/statm: 226931 40887 2357 14 0 213368 0
[pid=27881/tid=27883] ppid=27879 vsize=907724 CPUtime=0.23
/proc/27881/task/27883/stat : 27883 (java) S 27879 27881 27699 0 -1 64 9266 0 0 0 20 3 0 0 18 0 13 0 167405529 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27884] ppid=27879 vsize=907724 CPUtime=0.26
/proc/27881/task/27884/stat : 27884 (java) S 27879 27881 27699 0 -1 64 10820 0 0 0 22 4 0 0 16 0 13 0 167405529 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27885] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27885/stat : 27885 (java) S 27879 27881 27699 0 -1 64 21 0 0 0 0 0 0 0 16 0 13 0 167405532 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27886] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27886/stat : 27886 (java) S 27879 27881 27699 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 167405532 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27887] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27887/stat : 27887 (java) S 27879 27881 27699 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 167405532 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27888] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27888/stat : 27888 (java) S 27879 27881 27699 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 167405536 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27889] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27889/stat : 27889 (java) S 27879 27881 27699 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 167405536 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27890] ppid=27879 vsize=907724 CPUtime=0.66
/proc/27881/task/27890/stat : 27890 (java) S 27879 27881 27699 0 -1 64 1298 0 0 0 66 0 0 0 17 0 13 0 167405536 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27891] ppid=27879 vsize=907724 CPUtime=0.86
/proc/27881/task/27891/stat : 27891 (java) S 27879 27881 27699 0 -1 64 1234 0 0 0 86 0 0 0 17 0 13 0 167405536 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27892] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27892/stat : 27892 (java) S 27879 27881 27699 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 167405536 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27893] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27893/stat : 27893 (java) S 27879 27881 27699 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 167405536 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27894] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27894/stat : 27894 (java) S 27879 27881 27699 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 167405808 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.88
Current children cumulated vsize (KiB) 907724
[startup+162.556 s]
/proc/loadavg: 2.05 2.02 2.00 3/107 27894
/proc/meminfo: memFree=1054376/2055920 swapFree=4171244/4192956
[pid=27881] ppid=27879 vsize=907724 CPUtime=161.63
/proc/27881/stat : 27881 (java) R 27879 27881 27699 0 -1 0 42305 0 1 0 16141 22 0 0 25 0 13 0 167405526 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054335722 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27881/statm: 226931 40887 2357 14 0 213368 0
[pid=27881/tid=27883] ppid=27879 vsize=907724 CPUtime=0.23
/proc/27881/task/27883/stat : 27883 (java) S 27879 27881 27699 0 -1 64 9266 0 0 0 20 3 0 0 18 0 13 0 167405529 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27884] ppid=27879 vsize=907724 CPUtime=0.26
/proc/27881/task/27884/stat : 27884 (java) S 27879 27881 27699 0 -1 64 10820 0 0 0 22 4 0 0 16 0 13 0 167405529 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27885] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27885/stat : 27885 (java) S 27879 27881 27699 0 -1 64 21 0 0 0 0 0 0 0 16 0 13 0 167405532 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27886] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27886/stat : 27886 (java) S 27879 27881 27699 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 167405532 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27887] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27887/stat : 27887 (java) S 27879 27881 27699 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 167405532 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27888] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27888/stat : 27888 (java) S 27879 27881 27699 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 167405536 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27889] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27889/stat : 27889 (java) S 27879 27881 27699 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 167405536 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27890] ppid=27879 vsize=907724 CPUtime=0.66
/proc/27881/task/27890/stat : 27890 (java) S 27879 27881 27699 0 -1 64 1298 0 0 0 66 0 0 0 17 0 13 0 167405536 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27891] ppid=27879 vsize=907724 CPUtime=0.86
/proc/27881/task/27891/stat : 27891 (java) S 27879 27881 27699 0 -1 64 1234 0 0 0 86 0 0 0 17 0 13 0 167405536 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27892] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27892/stat : 27892 (java) S 27879 27881 27699 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 167405536 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27893] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27893/stat : 27893 (java) S 27879 27881 27699 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 167405536 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27894] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27894/stat : 27894 (java) S 27879 27881 27699 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 167405808 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.63
Current children cumulated vsize (KiB) 907724
[startup+222.623 s]
/proc/loadavg: 2.02 2.01 2.00 3/107 27894
/proc/meminfo: memFree=1054376/2055920 swapFree=4171244/4192956
[pid=27881] ppid=27879 vsize=907724 CPUtime=221.37
/proc/27881/stat : 27881 (java) R 27879 27881 27699 0 -1 0 42305 0 1 0 22115 22 0 0 25 0 13 0 167405526 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054332288 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/27881/statm: 226931 40887 2357 14 0 213368 0
[pid=27881/tid=27883] ppid=27879 vsize=907724 CPUtime=0.23
/proc/27881/task/27883/stat : 27883 (java) S 27879 27881 27699 0 -1 64 9266 0 0 0 20 3 0 0 18 0 13 0 167405529 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27884] ppid=27879 vsize=907724 CPUtime=0.26
/proc/27881/task/27884/stat : 27884 (java) S 27879 27881 27699 0 -1 64 10820 0 0 0 22 4 0 0 16 0 13 0 167405529 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27885] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27885/stat : 27885 (java) S 27879 27881 27699 0 -1 64 21 0 0 0 0 0 0 0 16 0 13 0 167405532 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27886] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27886/stat : 27886 (java) S 27879 27881 27699 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 167405532 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27887] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27887/stat : 27887 (java) S 27879 27881 27699 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 167405532 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27888] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27888/stat : 27888 (java) S 27879 27881 27699 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 167405536 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27889] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27889/stat : 27889 (java) S 27879 27881 27699 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 167405536 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27890] ppid=27879 vsize=907724 CPUtime=0.66
/proc/27881/task/27890/stat : 27890 (java) S 27879 27881 27699 0 -1 64 1298 0 0 0 66 0 0 0 17 0 13 0 167405536 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27891] ppid=27879 vsize=907724 CPUtime=0.86
/proc/27881/task/27891/stat : 27891 (java) S 27879 27881 27699 0 -1 64 1234 0 0 0 86 0 0 0 17 0 13 0 167405536 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27892] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27892/stat : 27892 (java) S 27879 27881 27699 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 167405536 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27893] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27893/stat : 27893 (java) S 27879 27881 27699 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 167405536 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=27881/tid=27894] ppid=27879 vsize=907724 CPUtime=0
/proc/27881/task/27894/stat : 27894 (java) S 27879 27881 27699 0 -1 64 4 0 0 0 0 0 0 0 19 0 13 0 167405808 929509376 40887 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.37
Current children cumulated vsize (KiB) 907724
Child status: 0
Real time (s): 269.745
CPU time (s): 268.233
CPU user time (s): 267.975
CPU system time (s): 0.25796
CPU usage (%): 99.4394
Max. virtual memory (cumulated for all children) (KiB): 907852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 267.975
system time used= 0.25796
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42311
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= 6113
involuntary context switches= 10697
runsolver used 0.277957 s user time and 0.91986 s system time
The end
Begin job on node19 on Sun Jan 7 17:15:09 UTC 2007
IDJOB= 208801
IDBENCH= 4453
FILE ID= node19/208801-1168190109
PBS_JOBID= 3478995
Free space on /tmp= 66312 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-47_ext.xml
COMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/208801-1168190109/sat4jCSP-bf3.jar /tmp/evaluation/208801-1168190109/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-208801-1168190109 -o ROOT/results/node19/solver-208801-1168190109 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/208801-1168190109/sat4jCSP-bf3.jar /tmp/evaluation/208801-1168190109/unknown.xml
META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH= 3731bb3f0f148ab8e8fe28516cd5eff6
RANDOM SEED= 398637445
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.260
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.260
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: 1209320 kB
Buffers: 55160 kB
Cached: 536780 kB
SwapCached: 10472 kB
Active: 295952 kB
Inactive: 483664 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1209320 kB
SwapTotal: 4192956 kB
SwapFree: 4171244 kB
Dirty: 3704 kB
Writeback: 0 kB
Mapped: 205484 kB
Slab: 51212 kB
Committed_AS: 4861504 kB
PageTables: 2776 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= 66312 MiB
End job on node19 on Sun Jan 7 17:19:39 UTC 2007