0.16 c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.16 c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.16 c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.17 c version CSP COMPETITION BUGFIX 3
0.17 c sun.arch.data.model 32
0.17 c java.version 1.5.0_10
0.17 c os.name Linux
0.17 c os.version 2.6.9-22.EL.rootsmp
0.17 c os.arch i386
0.17 c Free memory 722620888
0.17 c Max memory 723845120
0.17 c Total memory 723845120
0.17 c Number of processors 2
0.26 c --- Begin Solver configuration ---
0.26 c Stops conflict analysis at the first Unique Implication Point
0.26 c org.sat4j.minisat.constraints.MixedDataStructureWithBinary@19dfbff
0.26 c Learn all clauses as in MiniSAT
0.26 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.26 c VSIDS like heuristics from MiniSAT using a heap
0.26 c No reason simplification
0.26 c --- End Solver configuration ---
0.26 c solving /tmp/evaluation/252392-1168407297/unknown.xml
0.26 c reading problem ...
0.49 c reading problem named ?
0.49 c reading domains done.
0.50 c reading variables
c reading variables (2810) done.
2.02 c reading predicates
c reading relations (48) done.
2.45 c reading constraintsc starts : 0
1801.90 c conflicts : 0
1801.90 c decisions : 0
1801.90 c propagations : 0
1801.90 c inspects : 0
1801.90 c learnt literals : 0
1801.90 c learnt binary clauses : 0
1801.90 c learnt ternary clauses : 0
1801.90 c learnt clauses : 0
1801.90 c root simplifications : 0
1801.90 c removed literals (reason simplification) : 0
1801.90 c reason swapping (by a shorter reason) : 0
1801.90 c Calls to reduceDB : 0
1801.90 c speed (decisions/second) : 0.0
1801.90 c non guided choices 0
1801.90 s UNKNOWN
1801.90 c Total wall clock time (in seconds) : 1801.636
1801.90 c Total CPU time (experimental, in seconds) : 0.0
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-252392-1168407297 -o ROOT/results/node14/solver-252392-1168407297 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/252392-1168407297/sat4jCSP-bf3.jar /tmp/evaluation/252392-1168407297/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.94 2.03 2.01 4/97 12765
/proc/meminfo: memFree=1355768/2055920 swapFree=4158768/4192956
[pid=12764] ppid=12762 vsize=18540 CPUtime=0
/proc/12764/stat : 12764 (runsolver) R 12762 12764 12706 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 189124728 18984960 279 18446744073709551615 4194304 4267372 548682068992 18446744073709551615 212234464551 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/12764/statm: 4635 279 244 17 0 2626 0
[startup+0.108042 s]
/proc/loadavg: 1.94 2.03 2.01 4/97 12765
/proc/meminfo: memFree=1355768/2055920 swapFree=4158768/4192956
[pid=12764] ppid=12762 vsize=897120 CPUtime=0.08
/proc/12764/stat : 12764 (java) R 12762 12764 12706 0 -1 0 3229 0 1 0 6 2 0 0 17 0 6 0 189124728 918650880 2989 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4053850113 0 4 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/12764/statm: 224280 2989 1519 14 0 211300 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 897120
[startup+0.518676 s]
/proc/loadavg: 1.94 2.03 2.01 4/97 12765
/proc/meminfo: memFree=1355768/2055920 swapFree=4158768/4192956
[pid=12764] ppid=12762 vsize=906260 CPUtime=0.52
/proc/12764/stat : 12764 (java) R 12762 12764 12706 0 -1 0 6024 0 1 0 48 4 0 0 18 0 12 0 189124728 928010240 5590 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12764/statm: 226565 5590 2295 14 0 213002 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 906260
[startup+1.34916 s]
/proc/loadavg: 1.94 2.03 2.01 4/108 12776
/proc/meminfo: memFree=1340640/2055920 swapFree=4158768/4192956
[pid=12764] ppid=12762 vsize=907352 CPUtime=1.35
/proc/12764/stat : 12764 (java) R 12762 12764 12706 0 -1 0 7054 0 1 0 130 5 0 0 17 0 12 0 189124728 929128448 6095 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4053838753 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12764/statm: 226838 6095 2310 14 0 213275 0
[pid=12764/tid=12766] ppid=12762 vsize=907352 CPUtime=0
/proc/12764/task/12766/stat : 12766 (java) S 12762 12764 12706 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 189124732 929128448 6095 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12767] ppid=12762 vsize=907352 CPUtime=0
/proc/12764/task/12767/stat : 12767 (java) S 12762 12764 12706 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 189124732 929128448 6095 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12768] ppid=12762 vsize=907352 CPUtime=0
/proc/12764/task/12768/stat : 12768 (java) S 12762 12764 12706 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 189124735 929128448 6095 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12769] ppid=12762 vsize=907352 CPUtime=0
/proc/12764/task/12769/stat : 12769 (java) S 12762 12764 12706 0 -1 64 8 0 0 0 0 0 0 0 21 0 12 0 189124735 929128448 6095 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12770] ppid=12762 vsize=907352 CPUtime=0
/proc/12764/task/12770/stat : 12770 (java) S 12762 12764 12706 0 -1 64 3 0 0 0 0 0 0 0 22 0 12 0 189124735 929128448 6095 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12771] ppid=12762 vsize=907352 CPUtime=0
/proc/12764/task/12771/stat : 12771 (java) S 12762 12764 12706 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 189124739 929128448 6095 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12772] ppid=12762 vsize=907352 CPUtime=0
/proc/12764/task/12772/stat : 12772 (java) S 12762 12764 12706 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 189124739 929128448 6095 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12773] ppid=12762 vsize=907352 CPUtime=0.18
/proc/12764/task/12773/stat : 12773 (java) S 12762 12764 12706 0 -1 64 272 0 0 0 18 0 0 0 16 0 12 0 189124739 929128448 6095 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12774] ppid=12762 vsize=907352 CPUtime=0.45
/proc/12764/task/12774/stat : 12774 (java) S 12762 12764 12706 0 -1 64 1473 0 0 0 45 0 0 0 16 0 12 0 189124739 929128448 6095 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12775] ppid=12762 vsize=907352 CPUtime=0
/proc/12764/task/12775/stat : 12775 (java) S 12762 12764 12706 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 189124739 929128448 6096 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12776] ppid=12762 vsize=907352 CPUtime=0
/proc/12764/task/12776/stat : 12776 (java) S 12762 12764 12706 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 189124739 929128448 6096 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 907352
[startup+3.00232 s]
/proc/loadavg: 1.94 2.03 2.01 3/108 12776
/proc/meminfo: memFree=1332896/2055920 swapFree=4158768/4192956
[pid=12764] ppid=12762 vsize=910428 CPUtime=3.01
/proc/12764/stat : 12764 (java) R 12762 12764 12706 0 -1 0 11531 0 1 0 294 7 0 0 23 0 12 0 189124728 932278272 8998 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12764/statm: 227607 8998 2466 14 0 214044 0
[pid=12764/tid=12766] ppid=12762 vsize=910428 CPUtime=0
/proc/12764/task/12766/stat : 12766 (java) S 12762 12764 12706 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 189124732 932278272 8998 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12767] ppid=12762 vsize=910428 CPUtime=0
/proc/12764/task/12767/stat : 12767 (java) S 12762 12764 12706 0 -1 64 2 0 0 0 0 0 0 0 19 0 12 0 189124732 932278272 8998 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12768] ppid=12762 vsize=910428 CPUtime=0
/proc/12764/task/12768/stat : 12768 (java) S 12762 12764 12706 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 189124735 932278272 8998 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12769] ppid=12762 vsize=910428 CPUtime=0
/proc/12764/task/12769/stat : 12769 (java) S 12762 12764 12706 0 -1 64 8 0 0 0 0 0 0 0 21 0 12 0 189124735 932278272 8998 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12770] ppid=12762 vsize=910428 CPUtime=0
/proc/12764/task/12770/stat : 12770 (java) S 12762 12764 12706 0 -1 64 3 0 0 0 0 0 0 0 22 0 12 0 189124735 932278272 8998 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12771] ppid=12762 vsize=910428 CPUtime=0
/proc/12764/task/12771/stat : 12771 (java) S 12762 12764 12706 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 189124739 932278272 8998 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12772] ppid=12762 vsize=910428 CPUtime=0
/proc/12764/task/12772/stat : 12772 (java) S 12762 12764 12706 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 189124739 932278272 8998 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12773] ppid=12762 vsize=910428 CPUtime=0.93
/proc/12764/task/12773/stat : 12773 (java) R 12762 12764 12706 0 -1 64 2007 0 0 0 93 0 0 0 17 0 12 0 189124739 932278272 8998 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4155022261 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12774] ppid=12762 vsize=910428 CPUtime=0.72
/proc/12764/task/12774/stat : 12774 (java) S 12762 12764 12706 0 -1 64 1852 0 0 0 72 0 0 0 16 0 12 0 189124739 932278272 8998 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12775] ppid=12762 vsize=910428 CPUtime=0
/proc/12764/task/12775/stat : 12775 (java) S 12762 12764 12706 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 189124739 932278272 8998 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12776] ppid=12762 vsize=910428 CPUtime=0
/proc/12764/task/12776/stat : 12776 (java) S 12762 12764 12706 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 189124739 932278272 8998 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 910428
[startup+6.21062 s]
/proc/loadavg: 2.03 2.04 2.02 3/108 12776
/proc/meminfo: memFree=1271776/2055920 swapFree=4158768/4192956
[pid=12764] ppid=12762 vsize=909572 CPUtime=6.21
/proc/12764/stat : 12764 (java) R 12762 12764 12706 0 -1 0 27725 0 1 0 604 17 0 0 25 0 12 0 189124728 931401728 23284 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054401187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12764/statm: 227393 23284 2478 14 0 213830 0
[pid=12764/tid=12766] ppid=12762 vsize=909572 CPUtime=0.05
/proc/12764/task/12766/stat : 12766 (java) S 12762 12764 12706 0 -1 64 1372 0 0 0 5 0 0 0 16 0 12 0 189124732 931401728 23284 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12767] ppid=12762 vsize=909572 CPUtime=0.03
/proc/12764/task/12767/stat : 12767 (java) S 12762 12764 12706 0 -1 64 280 0 0 0 3 0 0 0 16 0 12 0 189124732 931401728 23284 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12768] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12768/stat : 12768 (java) S 12762 12764 12706 0 -1 64 18 0 0 0 0 0 0 0 16 0 12 0 189124735 931401728 23284 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12769] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12769/stat : 12769 (java) S 12762 12764 12706 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 189124735 931401728 23284 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12770] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12770/stat : 12770 (java) S 12762 12764 12706 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 189124735 931401728 23284 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12771] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12771/stat : 12771 (java) S 12762 12764 12706 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 189124739 931401728 23284 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12772] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12772/stat : 12772 (java) S 12762 12764 12706 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 189124739 931401728 23284 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12773] ppid=12762 vsize=909572 CPUtime=1.33
/proc/12764/task/12773/stat : 12773 (java) S 12762 12764 12706 0 -1 64 3934 0 0 0 132 1 0 0 17 0 12 0 189124739 931401728 23284 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12774] ppid=12762 vsize=909572 CPUtime=0.8
/proc/12764/task/12774/stat : 12774 (java) S 12762 12764 12706 0 -1 64 1863 0 0 0 80 0 0 0 16 0 12 0 189124739 931401728 23284 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12775] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12775/stat : 12775 (java) S 12762 12764 12706 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 189124739 931401728 23284 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12776] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12776/stat : 12776 (java) S 12762 12764 12706 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 189124739 931401728 23284 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 909572
[startup+12.7042 s]
/proc/loadavg: 2.03 2.04 2.02 3/108 12776
/proc/meminfo: memFree=1264288/2055920 swapFree=4158768/4192956
[pid=12764] ppid=12762 vsize=909572 CPUtime=12.71
/proc/12764/stat : 12764 (java) R 12762 12764 12706 0 -1 0 30451 0 1 0 1252 19 0 0 25 0 12 0 189124728 931401728 25189 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054640639 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12764/statm: 227393 25189 2478 14 0 213830 0
[pid=12764/tid=12766] ppid=12762 vsize=909572 CPUtime=0.07
/proc/12764/task/12766/stat : 12766 (java) S 12762 12764 12706 0 -1 64 2103 0 0 0 7 0 0 0 16 0 12 0 189124732 931401728 25189 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12767] ppid=12762 vsize=909572 CPUtime=0.06
/proc/12764/task/12767/stat : 12767 (java) S 12762 12764 12706 0 -1 64 1194 0 0 0 6 0 0 0 15 0 12 0 189124732 931401728 25189 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12768] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12768/stat : 12768 (java) S 12762 12764 12706 0 -1 64 24 0 0 0 0 0 0 0 16 0 12 0 189124735 931401728 25189 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12769] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12769/stat : 12769 (java) S 12762 12764 12706 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 189124735 931401728 25189 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12770] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12770/stat : 12770 (java) S 12762 12764 12706 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 189124735 931401728 25189 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12771] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12771/stat : 12771 (java) S 12762 12764 12706 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 189124739 931401728 25189 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12772] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12772/stat : 12772 (java) S 12762 12764 12706 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 189124739 931401728 25189 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12773] ppid=12762 vsize=909572 CPUtime=1.33
/proc/12764/task/12773/stat : 12773 (java) S 12762 12764 12706 0 -1 64 3934 0 0 0 132 1 0 0 17 0 12 0 189124739 931401728 25189 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12774] ppid=12762 vsize=909572 CPUtime=0.8
/proc/12764/task/12774/stat : 12774 (java) S 12762 12764 12706 0 -1 64 1863 0 0 0 80 0 0 0 16 0 12 0 189124739 931401728 25189 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12775] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12775/stat : 12775 (java) S 12762 12764 12706 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 189124739 931401728 25189 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12776] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12776/stat : 12776 (java) S 12762 12764 12706 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 189124739 931401728 25189 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 909572
[startup+25.5735 s]
/proc/loadavg: 2.02 2.04 2.02 3/108 12776
/proc/meminfo: memFree=1267296/2055920 swapFree=4158768/4192956
[pid=12764] ppid=12762 vsize=909572 CPUtime=25.56
/proc/12764/stat : 12764 (java) R 12762 12764 12706 0 -1 0 30479 0 1 0 2537 19 0 0 25 0 12 0 189124728 931401728 24304 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054487894 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12764/statm: 227393 24304 2478 14 0 213830 0
[pid=12764/tid=12766] ppid=12762 vsize=909572 CPUtime=0.08
/proc/12764/task/12766/stat : 12766 (java) S 12762 12764 12706 0 -1 64 2111 0 0 0 8 0 0 0 16 0 12 0 189124732 931401728 24304 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12767] ppid=12762 vsize=909572 CPUtime=0.06
/proc/12764/task/12767/stat : 12767 (java) S 12762 12764 12706 0 -1 64 1194 0 0 0 6 0 0 0 15 0 12 0 189124732 931401728 24304 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12768] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12768/stat : 12768 (java) S 12762 12764 12706 0 -1 64 25 0 0 0 0 0 0 0 16 0 12 0 189124735 931401728 24304 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12769] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12769/stat : 12769 (java) S 12762 12764 12706 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 189124735 931401728 24304 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12770] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12770/stat : 12770 (java) S 12762 12764 12706 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 189124735 931401728 24304 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12771] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12771/stat : 12771 (java) S 12762 12764 12706 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 189124739 931401728 24304 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12772] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12772/stat : 12772 (java) S 12762 12764 12706 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 189124739 931401728 24304 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12773] ppid=12762 vsize=909572 CPUtime=1.33
/proc/12764/task/12773/stat : 12773 (java) S 12762 12764 12706 0 -1 64 3934 0 0 0 132 1 0 0 17 0 12 0 189124739 931401728 24304 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12774] ppid=12762 vsize=909572 CPUtime=0.8
/proc/12764/task/12774/stat : 12774 (java) S 12762 12764 12706 0 -1 64 1863 0 0 0 80 0 0 0 16 0 12 0 189124739 931401728 24304 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12775] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12775/stat : 12775 (java) S 12762 12764 12706 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 189124739 931401728 24304 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12776] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12776/stat : 12776 (java) S 12762 12764 12706 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 189124739 931401728 24304 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 909572
[startup+51.2429 s]
/proc/loadavg: 2.01 2.03 2.01 3/108 12776
/proc/meminfo: memFree=1276448/2055920 swapFree=4158768/4192956
[pid=12764] ppid=12762 vsize=909572 CPUtime=51.2
/proc/12764/stat : 12764 (java) R 12762 12764 12706 0 -1 0 30538 0 1 0 5100 20 0 0 25 0 12 0 189124728 931401728 22171 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054472656 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12764/statm: 227393 22171 2478 14 0 213830 0
[pid=12764/tid=12766] ppid=12762 vsize=909572 CPUtime=0.09
/proc/12764/task/12766/stat : 12766 (java) S 12762 12764 12706 0 -1 64 2118 0 0 0 9 0 0 0 15 0 12 0 189124732 931401728 22171 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12767] ppid=12762 vsize=909572 CPUtime=0.07
/proc/12764/task/12767/stat : 12767 (java) S 12762 12764 12706 0 -1 64 1199 0 0 0 7 0 0 0 16 0 12 0 189124732 931401728 22171 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12768] ppid=12762 vsize=909572 CPUtime=0.01
################
# More data... #
################
[pid=12764/tid=12774] ppid=12762 vsize=909572 CPUtime=0.8
/proc/12764/task/12774/stat : 12774 (java) S 12762 12764 12706 0 -1 64 1863 0 0 0 80 0 0 0 16 0 12 0 189124739 931401728 24265 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12775] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12775/stat : 12775 (java) S 12762 12764 12706 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 189124739 931401728 24265 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12776] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12776/stat : 12776 (java) S 12762 12764 12706 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 189124739 931401728 24265 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1542.66
Current children cumulated vsize (KiB) 909572
[startup+1604.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/111 12990
/proc/meminfo: memFree=1326584/2055920 swapFree=4158768/4192956
[pid=12764] ppid=12762 vsize=909572 CPUtime=1602.61
/proc/12764/stat : 12764 (java) R 12762 12764 12706 0 -1 0 37903 0 1 0 160167 94 0 0 25 0 12 0 189124728 931401728 24352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054488072 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12764/statm: 227393 24352 2478 14 0 213830 0
[pid=12764/tid=12766] ppid=12762 vsize=909572 CPUtime=1.04
/proc/12764/task/12766/stat : 12766 (java) S 12762 12764 12706 0 -1 64 3025 0 0 0 98 6 0 0 16 0 12 0 189124732 931401728 24352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12767] ppid=12762 vsize=909572 CPUtime=0.98
/proc/12764/task/12767/stat : 12767 (java) S 12762 12764 12706 0 -1 64 2063 0 0 0 93 5 0 0 15 0 12 0 189124732 931401728 24352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12768] ppid=12762 vsize=909572 CPUtime=0.77
/proc/12764/task/12768/stat : 12768 (java) S 12762 12764 12706 0 -1 64 438 0 0 0 44 33 0 0 15 0 12 0 189124735 931401728 24352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12769] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12769/stat : 12769 (java) S 12762 12764 12706 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 189124735 931401728 24352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12770] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12770/stat : 12770 (java) S 12762 12764 12706 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 189124735 931401728 24352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12771] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12771/stat : 12771 (java) S 12762 12764 12706 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 189124739 931401728 24352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12772] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12772/stat : 12772 (java) S 12762 12764 12706 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 189124739 931401728 24352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12773] ppid=12762 vsize=909572 CPUtime=1.33
/proc/12764/task/12773/stat : 12773 (java) S 12762 12764 12706 0 -1 64 3934 0 0 0 132 1 0 0 17 0 12 0 189124739 931401728 24352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12774] ppid=12762 vsize=909572 CPUtime=0.8
/proc/12764/task/12774/stat : 12774 (java) S 12762 12764 12706 0 -1 64 1863 0 0 0 80 0 0 0 16 0 12 0 189124739 931401728 24352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12775] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12775/stat : 12775 (java) S 12762 12764 12706 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 189124739 931401728 24352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12776] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12776/stat : 12776 (java) S 12762 12764 12706 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 189124739 931401728 24352 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1602.61
Current children cumulated vsize (KiB) 909572
[startup+1664.37 s]
/proc/loadavg: 2.03 2.03 2.00 3/105 13050
/proc/meminfo: memFree=1327152/2055920 swapFree=4158768/4192956
[pid=12764] ppid=12762 vsize=909572 CPUtime=1662.63
/proc/12764/stat : 12764 (java) R 12762 12764 12706 0 -1 0 38195 0 1 0 166163 100 0 0 25 0 12 0 189124728 931401728 24440 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054644073 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12764/statm: 227393 24440 2478 14 0 213830 0
[pid=12764/tid=12766] ppid=12762 vsize=909572 CPUtime=1.08
/proc/12764/task/12766/stat : 12766 (java) S 12762 12764 12706 0 -1 64 3058 0 0 0 102 6 0 0 16 0 12 0 189124732 931401728 24440 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12767] ppid=12762 vsize=909572 CPUtime=1.03
/proc/12764/task/12767/stat : 12767 (java) S 12762 12764 12706 0 -1 64 2101 0 0 0 97 6 0 0 15 0 12 0 189124732 931401728 24440 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12768] ppid=12762 vsize=909572 CPUtime=0.81
/proc/12764/task/12768/stat : 12768 (java) S 12762 12764 12706 0 -1 64 455 0 0 0 46 35 0 0 15 0 12 0 189124735 931401728 24440 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12769] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12769/stat : 12769 (java) S 12762 12764 12706 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 189124735 931401728 24440 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12770] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12770/stat : 12770 (java) S 12762 12764 12706 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 189124735 931401728 24440 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12771] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12771/stat : 12771 (java) S 12762 12764 12706 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 189124739 931401728 24440 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12772] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12772/stat : 12772 (java) S 12762 12764 12706 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 189124739 931401728 24440 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12773] ppid=12762 vsize=909572 CPUtime=1.33
/proc/12764/task/12773/stat : 12773 (java) S 12762 12764 12706 0 -1 64 3934 0 0 0 132 1 0 0 17 0 12 0 189124739 931401728 24440 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12774] ppid=12762 vsize=909572 CPUtime=0.8
/proc/12764/task/12774/stat : 12774 (java) S 12762 12764 12706 0 -1 64 1863 0 0 0 80 0 0 0 16 0 12 0 189124739 931401728 24440 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12775] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12775/stat : 12775 (java) S 12762 12764 12706 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 189124739 931401728 24440 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12776] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12776/stat : 12776 (java) S 12762 12764 12706 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 189124739 931401728 24440 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1662.63
Current children cumulated vsize (KiB) 909572
[startup+1724.43 s]
/proc/loadavg: 2.01 2.02 2.00 3/105 13050
/proc/meminfo: memFree=1326904/2055920 swapFree=4158768/4192956
[pid=12764] ppid=12762 vsize=909572 CPUtime=1722.63
/proc/12764/stat : 12764 (java) R 12762 12764 12706 0 -1 0 38486 0 1 0 172161 102 0 0 25 0 12 0 189124728 931401728 24527 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054466513 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12764/statm: 227393 24527 2478 14 0 213830 0
[pid=12764/tid=12766] ppid=12762 vsize=909572 CPUtime=1.12
/proc/12764/task/12766/stat : 12766 (java) S 12762 12764 12706 0 -1 64 3089 0 0 0 106 6 0 0 16 0 12 0 189124732 931401728 24527 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12767] ppid=12762 vsize=909572 CPUtime=1.07
/proc/12764/task/12767/stat : 12767 (java) S 12762 12764 12706 0 -1 64 2140 0 0 0 101 6 0 0 15 0 12 0 189124732 931401728 24527 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12768] ppid=12762 vsize=909572 CPUtime=0.83
/proc/12764/task/12768/stat : 12768 (java) S 12762 12764 12706 0 -1 64 472 0 0 0 48 35 0 0 15 0 12 0 189124735 931401728 24527 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12769] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12769/stat : 12769 (java) S 12762 12764 12706 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 189124735 931401728 24527 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12770] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12770/stat : 12770 (java) S 12762 12764 12706 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 189124735 931401728 24527 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12771] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12771/stat : 12771 (java) S 12762 12764 12706 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 189124739 931401728 24527 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12772] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12772/stat : 12772 (java) S 12762 12764 12706 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 189124739 931401728 24527 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12773] ppid=12762 vsize=909572 CPUtime=1.33
/proc/12764/task/12773/stat : 12773 (java) S 12762 12764 12706 0 -1 64 3934 0 0 0 132 1 0 0 17 0 12 0 189124739 931401728 24527 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12774] ppid=12762 vsize=909572 CPUtime=0.8
/proc/12764/task/12774/stat : 12774 (java) S 12762 12764 12706 0 -1 64 1863 0 0 0 80 0 0 0 16 0 12 0 189124739 931401728 24527 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12775] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12775/stat : 12775 (java) S 12762 12764 12706 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 189124739 931401728 24527 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12776] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12776/stat : 12776 (java) S 12762 12764 12706 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 189124739 931401728 24527 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1722.63
Current children cumulated vsize (KiB) 909572
[startup+1784.48 s]
/proc/loadavg: 2.08 2.03 2.01 3/105 13050
/proc/meminfo: memFree=1326584/2055920 swapFree=4158768/4192956
[pid=12764] ppid=12762 vsize=909572 CPUtime=1782.6
/proc/12764/stat : 12764 (java) R 12762 12764 12706 0 -1 0 38777 0 1 0 178156 104 0 0 25 0 12 0 189124728 931401728 24614 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054458751 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12764/statm: 227393 24614 2478 14 0 213830 0
[pid=12764/tid=12766] ppid=12762 vsize=909572 CPUtime=1.17
/proc/12764/task/12766/stat : 12766 (java) S 12762 12764 12706 0 -1 64 3124 0 0 0 111 6 0 0 16 0 12 0 189124732 931401728 24614 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12767] ppid=12762 vsize=909572 CPUtime=1.11
/proc/12764/task/12767/stat : 12767 (java) S 12762 12764 12706 0 -1 64 2175 0 0 0 105 6 0 0 15 0 12 0 189124732 931401728 24614 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12768] ppid=12762 vsize=909572 CPUtime=0.86
/proc/12764/task/12768/stat : 12768 (java) S 12762 12764 12706 0 -1 64 489 0 0 0 49 37 0 0 15 0 12 0 189124735 931401728 24614 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12769] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12769/stat : 12769 (java) S 12762 12764 12706 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 189124735 931401728 24614 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12770] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12770/stat : 12770 (java) S 12762 12764 12706 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 189124735 931401728 24614 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12771] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12771/stat : 12771 (java) S 12762 12764 12706 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 189124739 931401728 24614 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12772] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12772/stat : 12772 (java) S 12762 12764 12706 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 189124739 931401728 24614 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12773] ppid=12762 vsize=909572 CPUtime=1.33
/proc/12764/task/12773/stat : 12773 (java) S 12762 12764 12706 0 -1 64 3934 0 0 0 132 1 0 0 17 0 12 0 189124739 931401728 24614 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12774] ppid=12762 vsize=909572 CPUtime=0.8
/proc/12764/task/12774/stat : 12774 (java) S 12762 12764 12706 0 -1 64 1863 0 0 0 80 0 0 0 16 0 12 0 189124739 931401728 24614 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12775] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12775/stat : 12775 (java) S 12762 12764 12706 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 189124739 931401728 24614 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12776] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12776/stat : 12776 (java) S 12762 12764 12706 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 189124739 931401728 24614 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1782.6
Current children cumulated vsize (KiB) 909572
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.89 s]
/proc/loadavg: 2.06 2.03 2.00 3/105 13050
/proc/meminfo: memFree=1326520/2055920 swapFree=4158768/4192956
[pid=12764] ppid=12762 vsize=909572 CPUtime=1800.01
/proc/12764/stat : 12764 (java) R 12762 12764 12706 0 -1 0 38861 0 1 0 179896 105 0 0 25 0 12 0 189124728 931401728 24639 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4054466775 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/12764/statm: 227393 24639 2478 14 0 213830 0
[pid=12764/tid=12766] ppid=12762 vsize=909572 CPUtime=1.18
/proc/12764/task/12766/stat : 12766 (java) S 12762 12764 12706 0 -1 64 3134 0 0 0 112 6 0 0 15 0 12 0 189124732 931401728 24639 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12767] ppid=12762 vsize=909572 CPUtime=1.12
/proc/12764/task/12767/stat : 12767 (java) S 12762 12764 12706 0 -1 64 2186 0 0 0 106 6 0 0 16 0 12 0 189124732 931401728 24639 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12768] ppid=12762 vsize=909572 CPUtime=0.87
/proc/12764/task/12768/stat : 12768 (java) S 12762 12764 12706 0 -1 64 493 0 0 0 50 37 0 0 15 0 12 0 189124735 931401728 24639 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12769] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12769/stat : 12769 (java) S 12762 12764 12706 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 189124735 931401728 24639 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12770] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12770/stat : 12770 (java) S 12762 12764 12706 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 189124735 931401728 24639 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12771] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12771/stat : 12771 (java) S 12762 12764 12706 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 189124739 931401728 24639 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12772] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12772/stat : 12772 (java) S 12762 12764 12706 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 189124739 931401728 24639 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12773] ppid=12762 vsize=909572 CPUtime=1.33
/proc/12764/task/12773/stat : 12773 (java) S 12762 12764 12706 0 -1 64 3934 0 0 0 132 1 0 0 17 0 12 0 189124739 931401728 24639 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12774] ppid=12762 vsize=909572 CPUtime=0.8
/proc/12764/task/12774/stat : 12774 (java) S 12762 12764 12706 0 -1 64 1863 0 0 0 80 0 0 0 16 0 12 0 189124739 931401728 24639 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=12764/tid=12775] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12775/stat : 12775 (java) S 12762 12764 12706 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 189124739 931401728 24639 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12764/tid=12776] ppid=12762 vsize=909572 CPUtime=0
/proc/12764/task/12776/stat : 12776 (java) S 12762 12764 12706 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 189124739 931401728 24639 18446744073709551615 134512640 134570532 4294956496 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 909572
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1801.93
CPU time (s): 1800.06
CPU user time (s): 1798.99
CPU system time (s): 1.06884
CPU usage (%): 99.896
Max. virtual memory (cumulated for all children) (KiB): 912628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.99
system time used= 1.06884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38883
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= 112768
involuntary context switches= 134948
runsolver used 2.37264 s user time and 5.9121 s system time
The end
Begin job on node14 on Wed Jan 10 05:34:57 UTC 2007
IDJOB= 252392
IDBENCH= 12932
FILE ID= node14/252392-1168407297
PBS_JOBID= 3523176
Free space on /tmp= 66552 MiB
BENCH NAME= HOME/pub/bench/CPAI06/bmc/bmc-ibm-02-04.xml
COMMAND LINE= java -server -Xmx700M -Xms700M -jar /tmp/evaluation/252392-1168407297/sat4jCSP-bf3.jar /tmp/evaluation/252392-1168407297/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-252392-1168407297 -o ROOT/results/node14/solver-252392-1168407297 -C 1800 -M 900 java -server -Xmx700M -Xms700M -jar /tmp/evaluation/252392-1168407297/sat4jCSP-bf3.jar /tmp/evaluation/252392-1168407297/unknown.xml
META MD5SUM SOLVER= c614762dbe7de46d2af9d7b592545c03
MD5SUM BENCH= b682bb4a72e4154cd20e189cb514581c
RANDOM SEED= 880593778
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.227
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.227
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: 1356184 kB
Buffers: 67216 kB
Cached: 385976 kB
SwapCached: 3360 kB
Active: 485988 kB
Inactive: 144308 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1356184 kB
SwapTotal: 4192956 kB
SwapFree: 4158768 kB
Dirty: 4480 kB
Writeback: 0 kB
Mapped: 194248 kB
Slab: 54016 kB
Committed_AS: 7816168 kB
PageTables: 2512 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= 66552 MiB
End job on node14 on Wed Jan 10 06:05:00 UTC 2007