0.09/0.13 c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
0.09/0.13 c This is free software under the dual EPL/GNU LGPL licenses.
0.09/0.13 c See www.sat4j.org for details.
0.09/0.13 c That software uses the Rhino library from the Mozilla project.
0.09/0.14 c version 2.1.1.v20090622
0.09/0.14 c sun.arch.data.model 32
0.09/0.15 c java.version 1.6.0_12
0.09/0.15 c os.name Linux
0.09/0.15 c os.version 2.6.9-22.EL.rootsmp
0.09/0.15 c os.arch i386
0.09/0.15 c Free memory 671000808
0.09/0.15 c Max memory 672137216
0.09/0.15 c Total memory 672137216
0.09/0.15 c Number of processors 2
0.18/0.23 c c --- Begin Solver configuration ---
0.18/0.23 c Stops conflict analysis at the first Unique Implication Point
0.18/0.23 c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@1f14ceb
0.18/0.23 c Learn all clauses as in MiniSAT
0.18/0.23 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.18/0.23 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.18/0.23 c Expensive reason simplification
0.18/0.23 c MiniSAT restarts strategy
0.18/0.23 c Memory based learned constraints deletion strategy
0.18/0.23 c timeout=2147483s
0.18/0.23 c DB Simplification allowed=false
0.18/0.23 c --- End Solver configuration ---
0.18/0.23 c solving HOME/instance-2090831-1247391415.xml
0.18/0.23 c reading problem ...
0.37/0.46 c reading problem named null
0.37/0.46 c reading domains done.
0.37/0.47 c reading variables done.
0.58/0.63 c reading relations done.
2.60/2.60 c reading constraints
3.32/3.36 c done with constraints.
3.32/3.36 c ... done. Wall clock time 3.136s.
3.32/3.36 c #vars 7200
3.32/3.36 c #constraints 30320
3.32/3.36 c constraints type
3.32/3.36 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30280
3.32/3.37 c org.sat4j.minisat.constraints.card.AtLeast => 40
719.94/726.29 c starts : 14
719.94/726.29 c conflicts : 44209
719.94/726.29 c decisions : 69499
719.94/726.29 c propagations : 34887911
719.94/726.29 c inspects : 890079438
719.94/726.29 c learnt literals : 15
719.94/726.29 c learnt binary clauses : 32
719.94/726.30 c learnt ternary clauses : 25
719.94/726.30 c learnt clauses : 44193
719.94/726.30 c ignored clauses : 0
719.94/726.30 c root simplifications : 0
719.94/726.30 c removed literals (reason simplification) : 7685147
719.94/726.30 c reason swapping (by a shorter reason) : 0
719.94/726.30 c Calls to reduceDB : 0
719.94/726.30 c speed (assignments/second) : 48259.04444413706
719.94/726.30 c non guided choices 396
720.03/726.35 c learnt constraints type
720.03/726.35 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 32
720.03/726.35 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 44161
720.03/726.35 c constraints type
720.03/726.35 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30280
720.03/726.35 c org.sat4j.minisat.constraints.card.AtLeast => 40
720.03/726.35 s UNSATISFIABLE
720.03/726.35 c Total wall clock time (in seconds) : 726.066
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2090831-1247391415/watcher-2090831-1247391415 -o /tmp/evaluation-result-2090831-1247391415/solver-2090831-1247391415 -C 1800 -W 2000 -M 900 java6 -server -Xms650m -Xmx650m -jar HOME/sat4j-csp.jar HOME/instance-2090831-1247391415.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
[startup+0 s]
/proc/loadavg: 2.07 2.02 1.88 3/77 32624
/proc/meminfo: memFree=1825984/2055920 swapFree=4192812/4192956
[pid=32624] ppid=32622 vsize=12928 CPUtime=0
/proc/32624/stat : 32624 (java) R 32622 32624 28079 0 -1 0 607 0 0 0 0 0 0 0 18 0 1 0 26204247 13238272 414 996147200 134512640 134550932 4294956016 18446744073709551615 8704810 0 0 4096 0 0 0 0 17 0 0 0
/proc/32624/statm: 3232 416 140 9 0 1104 0
[startup+0.095097 s]
/proc/loadavg: 2.07 2.02 1.88 3/77 32624
/proc/meminfo: memFree=1825984/2055920 swapFree=4192812/4192956
[pid=32624] ppid=32622 vsize=804560 CPUtime=0.07
/proc/32624/stat : 32624 (java) S 32622 32624 28079 0 -1 0 3005 0 1 0 5 2 0 0 18 0 12 0 26204247 823869440 2748 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32624/statm: 201140 2748 1080 9 0 198474 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 804560
[startup+0.102097 s]
/proc/loadavg: 2.07 2.02 1.88 3/77 32624
/proc/meminfo: memFree=1825984/2055920 swapFree=4192812/4192956
[pid=32624] ppid=32622 vsize=804560 CPUtime=0.09
/proc/32624/stat : 32624 (java) S 32622 32624 28079 0 -1 0 3049 0 1 0 6 3 0 0 18 0 12 0 26204247 823869440 2792 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32624/statm: 201140 2793 1083 9 0 198474 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 804560
[startup+0.301133 s]
/proc/loadavg: 2.07 2.02 1.88 3/77 32624
/proc/meminfo: memFree=1825984/2055920 swapFree=4192812/4192956
[pid=32624] ppid=32622 vsize=805896 CPUtime=0.28
/proc/32624/stat : 32624 (java) S 32622 32624 28079 0 -1 0 4394 0 1 0 24 4 0 0 18 0 12 0 26204247 825237504 4131 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32624/statm: 201474 4131 1363 9 0 198801 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 805896
[startup+0.701199 s]
/proc/loadavg: 2.07 2.02 1.88 3/77 32624
/proc/meminfo: memFree=1825984/2055920 swapFree=4192812/4192956
[pid=32624] ppid=32622 vsize=807172 CPUtime=0.68
/proc/32624/stat : 32624 (java) S 32622 32624 28079 0 -1 0 6078 0 1 0 63 5 0 0 18 0 12 0 26204247 826544128 5289 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32624/statm: 201793 5289 1385 9 0 199120 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 807172
[startup+1.50235 s]
/proc/loadavg: 2.07 2.02 1.88 4/89 32636
/proc/meminfo: memFree=1807328/2055920 swapFree=4192812/4192956
[pid=32624] ppid=32622 vsize=809012 CPUtime=1.48
/proc/32624/stat : 32624 (java) S 32622 32624 28079 0 -1 0 9990 0 1 0 142 6 0 0 18 0 12 0 26204247 828428288 8189 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32624/statm: 202253 8189 1407 9 0 199580 0
[pid=32624/tid=32626] ppid=32622 vsize=809012 CPUtime=0.63
/proc/32624/task/32626/stat : 32626 (java) R 32622 32624 28079 0 -1 64 6284 0 1 0 59 4 0 0 25 0 12 0 26204248 828428288 8189 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32627] ppid=32622 vsize=809012 CPUtime=0
/proc/32624/task/32627/stat : 32627 (java) S 32622 32624 28079 0 -1 64 2 0 0 0 0 0 0 0 20 0 12 0 26204249 828428288 8189 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32628] ppid=32622 vsize=809012 CPUtime=0
/proc/32624/task/32628/stat : 32628 (java) S 32622 32624 28079 0 -1 64 0 0 0 0 0 0 0 0 21 0 12 0 26204249 828428288 8189 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32629] ppid=32622 vsize=809012 CPUtime=0
/proc/32624/task/32629/stat : 32629 (java) S 32622 32624 28079 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 26204251 828428288 8189 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32630] ppid=32622 vsize=809012 CPUtime=0
/proc/32624/task/32630/stat : 32630 (java) S 32622 32624 28079 0 -1 64 10 0 0 0 0 0 0 0 23 0 12 0 26204251 828428288 8189 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32631] ppid=32622 vsize=809012 CPUtime=0
/proc/32624/task/32631/stat : 32631 (java) S 32622 32624 28079 0 -1 64 4 0 0 0 0 0 0 0 24 0 12 0 26204252 828428288 8189 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32632] ppid=32622 vsize=809012 CPUtime=0
/proc/32624/task/32632/stat : 32632 (java) S 32622 32624 28079 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 26204256 828428288 8189 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32633] ppid=32622 vsize=809012 CPUtime=0.04
/proc/32624/task/32633/stat : 32633 (java) S 32622 32624 28079 0 -1 64 262 0 0 0 4 0 0 0 18 0 12 0 26204256 828428288 8189 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32634] ppid=32622 vsize=809012 CPUtime=0.78
/proc/32624/task/32634/stat : 32634 (java) R 32622 32624 28079 0 -1 64 2704 0 0 0 78 0 0 0 17 0 12 0 26204256 828428288 8189 996147200 134512640 134550932 4294956016 18446744073709551615 103124859 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32635] ppid=32622 vsize=809012 CPUtime=0
/proc/32624/task/32635/stat : 32635 (java) S 32622 32624 28079 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 26204256 828428288 8189 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32636] ppid=32622 vsize=809012 CPUtime=0
/proc/32624/task/32636/stat : 32636 (java) S 32622 32624 28079 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 26204256 828428288 8189 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 809012
[startup+3.10261 s]
/proc/loadavg: 2.07 2.02 1.88 3/89 32636
/proc/meminfo: memFree=1746848/2055920 swapFree=4192812/4192956
[pid=32624] ppid=32622 vsize=809924 CPUtime=3.11
/proc/32624/stat : 32624 (java) S 32622 32624 28079 0 -1 0 25313 0 1 0 297 14 0 0 18 0 12 0 26204247 829362176 22970 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32624/statm: 202481 22970 1423 9 0 199808 0
[pid=32624/tid=32626] ppid=32622 vsize=809924 CPUtime=1.7
/proc/32624/task/32626/stat : 32626 (java) R 32622 32624 28079 0 -1 64 16920 0 1 0 161 9 0 0 25 0 12 0 26204248 829362176 22970 996147200 134512640 134550932 4294956016 18446744073709551615 4109710313 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32627] ppid=32622 vsize=809924 CPUtime=0.08
/proc/32624/task/32627/stat : 32627 (java) S 32622 32624 28079 0 -1 64 2322 0 0 0 7 1 0 0 16 0 12 0 26204249 829362176 22970 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32628] ppid=32622 vsize=809924 CPUtime=0.08
/proc/32624/task/32628/stat : 32628 (java) S 32622 32624 28079 0 -1 64 1573 0 0 0 7 1 0 0 16 0 12 0 26204249 829362176 22970 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32624/tid=32629] ppid=32622 vsize=809924 CPUtime=0
/proc/32624/task/32629/stat : 32629 (java) S 32622 32624 28079 0 -1 64 25 0 0 0 0 0 0 0 16 0 12 0 26204251 829362176 22970 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32630] ppid=32622 vsize=809924 CPUtime=0
/proc/32624/task/32630/stat : 32630 (java) S 32622 32624 28079 0 -1 64 10 0 0 0 0 0 0 0 16 0 12 0 26204251 829362176 22970 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32631] ppid=32622 vsize=809924 CPUtime=0
/proc/32624/task/32631/stat : 32631 (java) S 32622 32624 28079 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 26204252 829362176 22970 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32632] ppid=32622 vsize=809924 CPUtime=0
/proc/32624/task/32632/stat : 32632 (java) S 32622 32624 28079 0 -1 64 1 0 0 0 0 0 0 0 25 0 12 0 26204256 829362176 22970 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32633] ppid=32622 vsize=809924 CPUtime=0.04
/proc/32624/task/32633/stat : 32633 (java) S 32622 32624 28079 0 -1 64 262 0 0 0 4 0 0 0 18 0 12 0 26204256 829362176 22970 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32634] ppid=32622 vsize=809924 CPUtime=1.16
/proc/32624/task/32634/stat : 32634 (java) S 32622 32624 28079 0 -1 64 3472 0 0 0 115 1 0 0 16 0 12 0 26204256 829362176 22970 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32635] ppid=32622 vsize=809924 CPUtime=0
/proc/32624/task/32635/stat : 32635 (java) S 32622 32624 28079 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 26204256 829362176 22970 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32636] ppid=32622 vsize=809924 CPUtime=0
/proc/32624/task/32636/stat : 32636 (java) S 32622 32624 28079 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 26204256 829362176 22970 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 809924
[startup+6.30215 s]
/proc/loadavg: 2.06 2.02 1.88 3/90 32637
/proc/meminfo: memFree=1734424/2055920 swapFree=4192812/4192956
[pid=32624] ppid=32622 vsize=810184 CPUtime=6.31
/proc/32624/stat : 32624 (java) S 32622 32624 28079 0 -1 0 26449 0 1 0 616 15 0 0 18 0 13 0 26204247 829628416 24080 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32624/statm: 202546 24080 1441 9 0 199873 0
[pid=32624/tid=32626] ppid=32622 vsize=810184 CPUtime=4.21
/proc/32624/task/32626/stat : 32626 (java) R 32622 32624 28079 0 -1 64 16937 0 1 0 411 10 0 0 25 0 13 0 26204248 829628416 24080 996147200 134512640 134550932 4294956016 18446744073709551615 4109470538 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32627] ppid=32622 vsize=810184 CPUtime=0.14
/proc/32624/task/32627/stat : 32627 (java) S 32622 32624 28079 0 -1 64 3029 0 0 0 13 1 0 0 16 0 13 0 26204249 829628416 24080 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32628] ppid=32622 vsize=810184 CPUtime=0.09
/proc/32624/task/32628/stat : 32628 (java) S 32622 32624 28079 0 -1 64 1911 0 0 0 8 1 0 0 17 0 13 0 26204249 829628416 24080 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32629] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32629/stat : 32629 (java) S 32622 32624 28079 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 26204251 829628416 24080 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32630] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32630/stat : 32630 (java) S 32622 32624 28079 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 26204251 829628416 24080 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32631] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32631/stat : 32631 (java) S 32622 32624 28079 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 26204252 829628416 24080 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32632] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32632/stat : 32632 (java) S 32622 32624 28079 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 26204256 829628416 24080 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32633] ppid=32622 vsize=810184 CPUtime=0.04
/proc/32624/task/32633/stat : 32633 (java) S 32622 32624 28079 0 -1 64 262 0 0 0 4 0 0 0 18 0 13 0 26204256 829628416 24080 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32634] ppid=32622 vsize=810184 CPUtime=1.79
/proc/32624/task/32634/stat : 32634 (java) S 32622 32624 28079 0 -1 64 3538 0 0 0 178 1 0 0 16 0 13 0 26204256 829628416 24080 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32635] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32635/stat : 32635 (java) S 32622 32624 28079 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 26204256 829628416 24080 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32636] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32636/stat : 32636 (java) S 32622 32624 28079 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 26204256 829628416 24080 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32637] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32637/stat : 32637 (java) S 32622 32624 28079 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 26204588 829628416 24080 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 810184
[startup+12.7012 s]
/proc/loadavg: 2.06 2.02 1.88 3/90 32637
/proc/meminfo: memFree=1733976/2055920 swapFree=4192812/4192956
[pid=32624] ppid=32622 vsize=810184 CPUtime=12.71
/proc/32624/stat : 32624 (java) S 32622 32624 28079 0 -1 0 26456 0 1 0 1256 15 0 0 18 0 13 0 26204247 829628416 24086 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32624/statm: 202546 24086 1441 9 0 199873 0
[pid=32624/tid=32626] ppid=32622 vsize=810184 CPUtime=10.57
/proc/32624/task/32626/stat : 32626 (java) R 32622 32624 28079 0 -1 64 16941 0 1 0 1047 10 0 0 25 0 13 0 26204248 829628416 24086 996147200 134512640 134550932 4294956016 18446744073709551615 4109849809 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32627] ppid=32622 vsize=810184 CPUtime=0.14
/proc/32624/task/32627/stat : 32627 (java) S 32622 32624 28079 0 -1 64 3029 0 0 0 13 1 0 0 16 0 13 0 26204249 829628416 24086 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32628] ppid=32622 vsize=810184 CPUtime=0.09
/proc/32624/task/32628/stat : 32628 (java) S 32622 32624 28079 0 -1 64 1911 0 0 0 8 1 0 0 17 0 13 0 26204249 829628416 24086 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32629] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32629/stat : 32629 (java) S 32622 32624 28079 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 26204251 829628416 24086 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32630] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32630/stat : 32630 (java) S 32622 32624 28079 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 26204251 829628416 24086 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32631] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32631/stat : 32631 (java) S 32622 32624 28079 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 26204252 829628416 24086 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32632] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32632/stat : 32632 (java) S 32622 32624 28079 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 26204256 829628416 24086 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32633] ppid=32622 vsize=810184 CPUtime=0.04
/proc/32624/task/32633/stat : 32633 (java) S 32622 32624 28079 0 -1 64 262 0 0 0 4 0 0 0 18 0 13 0 26204256 829628416 24086 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32634] ppid=32622 vsize=810184 CPUtime=1.82
/proc/32624/task/32634/stat : 32634 (java) S 32622 32624 28079 0 -1 64 3541 0 0 0 181 1 0 0 16 0 13 0 26204256 829628416 24086 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32635] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32635/stat : 32635 (java) S 32622 32624 28079 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 26204256 829628416 24086 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32636] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32636/stat : 32636 (java) S 32622 32624 28079 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 26204256 829628416 24086 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32637] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32637/stat : 32637 (java) S 32622 32624 28079 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 26204588 829628416 24086 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 810184
[startup+25.5024 s]
/proc/loadavg: 2.04 2.02 1.88 3/90 32637
/proc/meminfo: memFree=1733784/2055920 swapFree=4192812/4192956
[pid=32624] ppid=32622 vsize=810184 CPUtime=25.5
/proc/32624/stat : 32624 (java) S 32622 32624 28079 0 -1 0 26460 0 1 0 2535 15 0 0 18 0 13 0 26204247 829628416 24090 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32624/statm: 202546 24090 1441 9 0 199873 0
[pid=32624/tid=32626] ppid=32622 vsize=810184 CPUtime=23.34
/proc/32624/task/32626/stat : 32626 (java) R 32622 32624 28079 0 -1 64 16942 0 1 0 2324 10 0 0 25 0 13 0 26204248 829628416 24090 996147200 134512640 134550932 4294956016 18446744073709551615 4109834207 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32627] ppid=32622 vsize=810184 CPUtime=0.14
/proc/32624/task/32627/stat : 32627 (java) S 32622 32624 28079 0 -1 64 3029 0 0 0 13 1 0 0 16 0 13 0 26204249 829628416 24090 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32628] ppid=32622 vsize=810184 CPUtime=0.09
/proc/32624/task/32628/stat : 32628 (java) S 32622 32624 28079 0 -1 64 1911 0 0 0 8 1 0 0 17 0 13 0 26204249 829628416 24090 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32629] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32629/stat : 32629 (java) S 32622 32624 28079 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 26204251 829628416 24090 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32630] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32630/stat : 32630 (java) S 32622 32624 28079 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 26204251 829628416 24090 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32631] ppid=32622 vsize=810184 CPUtime=0
################
# More data... #
################
/proc/loadavg: 2.00 2.00 1.91 3/90 32637
/proc/meminfo: memFree=1560856/2055920 swapFree=4192812/4192956
[pid=32624] ppid=32622 vsize=810184 CPUtime=716.87
/proc/32624/stat : 32624 (java) S 32622 32624 28079 0 -1 0 71644 0 1 0 71650 37 0 0 18 0 13 0 26204247 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32624/statm: 202546 66642 1445 9 0 199873 0
[pid=32624/tid=32626] ppid=32622 vsize=810184 CPUtime=713.24
/proc/32624/task/32626/stat : 32626 (java) R 32622 32624 28079 0 -1 64 16959 0 1 0 71314 10 0 0 25 0 13 0 26204248 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4109821651 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32624/tid=32627] ppid=32622 vsize=810184 CPUtime=0.74
/proc/32624/task/32627/stat : 32627 (java) S 32622 32624 28079 0 -1 64 26015 0 0 0 63 11 0 0 17 0 13 0 26204249 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32624/tid=32628] ppid=32622 vsize=810184 CPUtime=0.69
/proc/32624/task/32628/stat : 32628 (java) S 32622 32624 28079 0 -1 64 24072 0 0 0 58 11 0 0 17 0 13 0 26204249 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32624/tid=32629] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32629/stat : 32629 (java) S 32622 32624 28079 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 26204251 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32624/tid=32630] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32630/stat : 32630 (java) S 32622 32624 28079 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 26204251 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32631] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32631/stat : 32631 (java) S 32622 32624 28079 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 26204252 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32632] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32632/stat : 32632 (java) S 32622 32624 28079 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 26204256 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32633] ppid=32622 vsize=810184 CPUtime=0.04
/proc/32624/task/32633/stat : 32633 (java) S 32622 32624 28079 0 -1 64 262 0 0 0 4 0 0 0 18 0 13 0 26204256 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32634] ppid=32622 vsize=810184 CPUtime=2.1
/proc/32624/task/32634/stat : 32634 (java) S 32622 32624 28079 0 -1 64 3564 0 0 0 209 1 0 0 16 0 13 0 26204256 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32624/tid=32635] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32635/stat : 32635 (java) S 32622 32624 28079 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 26204256 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32636] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32636/stat : 32636 (java) S 32622 32624 28079 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 26204256 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32637] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32637/stat : 32637 (java) S 32622 32624 28079 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 26204588 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 716.87
Current children cumulated vsize (KiB) 810184
[startup+724.703 s]
/proc/loadavg: 2.00 2.00 1.91 3/90 32637
/proc/meminfo: memFree=1560856/2055920 swapFree=4192812/4192956
[pid=32624] ppid=32622 vsize=810184 CPUtime=718.46
/proc/32624/stat : 32624 (java) S 32622 32624 28079 0 -1 0 71644 0 1 0 71809 37 0 0 18 0 13 0 26204247 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32624/statm: 202546 66642 1445 9 0 199873 0
[pid=32624/tid=32626] ppid=32622 vsize=810184 CPUtime=714.83
/proc/32624/task/32626/stat : 32626 (java) R 32622 32624 28079 0 -1 64 16959 0 1 0 71473 10 0 0 25 0 13 0 26204248 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4109834207 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32624/tid=32627] ppid=32622 vsize=810184 CPUtime=0.74
/proc/32624/task/32627/stat : 32627 (java) S 32622 32624 28079 0 -1 64 26015 0 0 0 63 11 0 0 17 0 13 0 26204249 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32624/tid=32628] ppid=32622 vsize=810184 CPUtime=0.69
/proc/32624/task/32628/stat : 32628 (java) S 32622 32624 28079 0 -1 64 24072 0 0 0 58 11 0 0 17 0 13 0 26204249 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32624/tid=32629] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32629/stat : 32629 (java) S 32622 32624 28079 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 26204251 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32624/tid=32630] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32630/stat : 32630 (java) S 32622 32624 28079 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 26204251 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32631] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32631/stat : 32631 (java) S 32622 32624 28079 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 26204252 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32632] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32632/stat : 32632 (java) S 32622 32624 28079 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 26204256 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32633] ppid=32622 vsize=810184 CPUtime=0.04
/proc/32624/task/32633/stat : 32633 (java) S 32622 32624 28079 0 -1 64 262 0 0 0 4 0 0 0 18 0 13 0 26204256 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32634] ppid=32622 vsize=810184 CPUtime=2.1
/proc/32624/task/32634/stat : 32634 (java) S 32622 32624 28079 0 -1 64 3564 0 0 0 209 1 0 0 16 0 13 0 26204256 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32624/tid=32635] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32635/stat : 32635 (java) S 32622 32624 28079 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 26204256 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32636] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32636/stat : 32636 (java) S 32622 32624 28079 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 26204256 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32637] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32637/stat : 32637 (java) S 32622 32624 28079 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 26204588 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 718.46
Current children cumulated vsize (KiB) 810184
[startup+725.502 s]
/proc/loadavg: 2.00 2.00 1.91 3/90 32637
/proc/meminfo: memFree=1560856/2055920 swapFree=4192812/4192956
[pid=32624] ppid=32622 vsize=810184 CPUtime=719.25
/proc/32624/stat : 32624 (java) S 32622 32624 28079 0 -1 0 71644 0 1 0 71888 37 0 0 18 0 13 0 26204247 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32624/statm: 202546 66642 1445 9 0 199873 0
[pid=32624/tid=32626] ppid=32622 vsize=810184 CPUtime=715.61
/proc/32624/task/32626/stat : 32626 (java) R 32622 32624 28079 0 -1 64 16959 0 1 0 71551 10 0 0 25 0 13 0 26204248 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4109821678 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32624/tid=32627] ppid=32622 vsize=810184 CPUtime=0.74
/proc/32624/task/32627/stat : 32627 (java) S 32622 32624 28079 0 -1 64 26015 0 0 0 63 11 0 0 17 0 13 0 26204249 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32624/tid=32628] ppid=32622 vsize=810184 CPUtime=0.69
/proc/32624/task/32628/stat : 32628 (java) S 32622 32624 28079 0 -1 64 24072 0 0 0 58 11 0 0 17 0 13 0 26204249 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32624/tid=32629] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32629/stat : 32629 (java) S 32622 32624 28079 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 26204251 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32624/tid=32630] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32630/stat : 32630 (java) S 32622 32624 28079 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 26204251 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32631] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32631/stat : 32631 (java) S 32622 32624 28079 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 26204252 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32632] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32632/stat : 32632 (java) S 32622 32624 28079 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 26204256 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32633] ppid=32622 vsize=810184 CPUtime=0.04
/proc/32624/task/32633/stat : 32633 (java) S 32622 32624 28079 0 -1 64 262 0 0 0 4 0 0 0 18 0 13 0 26204256 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32634] ppid=32622 vsize=810184 CPUtime=2.1
/proc/32624/task/32634/stat : 32634 (java) S 32622 32624 28079 0 -1 64 3564 0 0 0 209 1 0 0 16 0 13 0 26204256 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32624/tid=32635] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32635/stat : 32635 (java) S 32622 32624 28079 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 26204256 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32636] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32636/stat : 32636 (java) S 32622 32624 28079 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 26204256 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32637] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32637/stat : 32637 (java) S 32622 32624 28079 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 26204588 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 719.25
Current children cumulated vsize (KiB) 810184
[startup+725.902 s]
/proc/loadavg: 2.00 2.00 1.91 3/90 32637
/proc/meminfo: memFree=1560856/2055920 swapFree=4192812/4192956
[pid=32624] ppid=32622 vsize=810184 CPUtime=719.64
/proc/32624/stat : 32624 (java) S 32622 32624 28079 0 -1 0 71644 0 1 0 71927 37 0 0 18 0 13 0 26204247 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32624/statm: 202546 66642 1445 9 0 199873 0
[pid=32624/tid=32626] ppid=32622 vsize=810184 CPUtime=716.01
/proc/32624/task/32626/stat : 32626 (java) R 32622 32624 28079 0 -1 64 16959 0 1 0 71591 10 0 0 25 0 13 0 26204248 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4109821592 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32624/tid=32627] ppid=32622 vsize=810184 CPUtime=0.74
/proc/32624/task/32627/stat : 32627 (java) S 32622 32624 28079 0 -1 64 26015 0 0 0 63 11 0 0 17 0 13 0 26204249 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32624/tid=32628] ppid=32622 vsize=810184 CPUtime=0.69
/proc/32624/task/32628/stat : 32628 (java) S 32622 32624 28079 0 -1 64 24072 0 0 0 58 11 0 0 17 0 13 0 26204249 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32624/tid=32629] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32629/stat : 32629 (java) S 32622 32624 28079 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 26204251 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32624/tid=32630] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32630/stat : 32630 (java) S 32622 32624 28079 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 26204251 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32631] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32631/stat : 32631 (java) S 32622 32624 28079 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 26204252 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32632] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32632/stat : 32632 (java) S 32622 32624 28079 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 26204256 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32633] ppid=32622 vsize=810184 CPUtime=0.04
/proc/32624/task/32633/stat : 32633 (java) S 32622 32624 28079 0 -1 64 262 0 0 0 4 0 0 0 18 0 13 0 26204256 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32634] ppid=32622 vsize=810184 CPUtime=2.1
/proc/32624/task/32634/stat : 32634 (java) S 32622 32624 28079 0 -1 64 3564 0 0 0 209 1 0 0 16 0 13 0 26204256 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32624/tid=32635] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32635/stat : 32635 (java) S 32622 32624 28079 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 26204256 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32636] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32636/stat : 32636 (java) S 32622 32624 28079 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 26204256 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32637] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32637/stat : 32637 (java) S 32622 32624 28079 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 26204588 829628416 66642 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 719.64
Current children cumulated vsize (KiB) 810184
[startup+726.302 s]
/proc/loadavg: 2.00 2.00 1.91 3/90 32637
/proc/meminfo: memFree=1560856/2055920 swapFree=4192812/4192956
[pid=32624] ppid=32622 vsize=810184 CPUtime=720.03
/proc/32624/stat : 32624 (java) S 32622 32624 28079 0 -1 0 71649 0 1 0 71966 37 0 0 18 0 13 0 26204247 829628416 66647 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32624/statm: 202546 66647 1446 9 0 199873 0
[pid=32624/tid=32626] ppid=32622 vsize=810184 CPUtime=716.41
/proc/32624/task/32626/stat : 32626 (java) S 32622 32624 28079 0 -1 64 16961 0 1 0 71630 11 0 0 25 0 13 0 26204248 829628416 66647 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32624/tid=32627] ppid=32622 vsize=810184 CPUtime=0.74
/proc/32624/task/32627/stat : 32627 (java) S 32622 32624 28079 0 -1 64 26015 0 0 0 63 11 0 0 17 0 13 0 26204249 829628416 66647 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32624/tid=32628] ppid=32622 vsize=810184 CPUtime=0.69
/proc/32624/task/32628/stat : 32628 (java) S 32622 32624 28079 0 -1 64 24072 0 0 0 58 11 0 0 17 0 13 0 26204249 829628416 66647 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32624/tid=32629] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32629/stat : 32629 (java) S 32622 32624 28079 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 26204251 829628416 66647 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32624/tid=32630] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32630/stat : 32630 (java) S 32622 32624 28079 0 -1 64 10 0 0 0 0 0 0 0 16 0 13 0 26204251 829628416 66647 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32631] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32631/stat : 32631 (java) S 32622 32624 28079 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 26204252 829628416 66647 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32632] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32632/stat : 32632 (java) S 32622 32624 28079 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 26204256 829628416 66647 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32633] ppid=32622 vsize=810184 CPUtime=0.04
/proc/32624/task/32633/stat : 32633 (java) S 32622 32624 28079 0 -1 64 262 0 0 0 4 0 0 0 18 0 13 0 26204256 829628416 66647 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32634] ppid=32622 vsize=810184 CPUtime=2.1
/proc/32624/task/32634/stat : 32634 (java) S 32622 32624 28079 0 -1 64 3564 0 0 0 209 1 0 0 16 0 13 0 26204256 829628416 66647 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32624/tid=32635] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32635/stat : 32635 (java) S 32622 32624 28079 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 26204256 829628416 66647 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32624/tid=32636] ppid=32622 vsize=810184 CPUtime=0
/proc/32624/task/32636/stat : 32636 (java) S 32622 32624 28079 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 26204256 829628416 66647 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 720.03
Current children cumulated vsize (KiB) 810184
[startup+726.403 s]
/proc/loadavg: 2.00 2.00 1.91 3/90 32637
/proc/meminfo: memFree=1560856/2055920 swapFree=4192812/4192956
[pid=32624] ppid=32622 vsize=0 CPUtime=720.12
/proc/32624/stat : 32624 (java) Z 32622 32624 28079 0 -1 12 71654 0 1 0 71971 41 0 0 16 0 2 0 26204247 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32624/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 720.12
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 726.406
CPU time (s): 720.139
CPU user time (s): 719.72
CPU system time (s): 0.418936
CPU usage (%): 99.1372
Max. virtual memory (cumulated for all children) (KiB): 810248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 719.72
system time used= 0.418936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71654
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= 15806
involuntary context switches= 17068
runsolver used 1.23781 second user time and 2.75358 second system time
The end
Begin job on node68 at 2009-07-12 11:36:56
IDJOB=2090831
IDBENCH=59915
IDSOLVER=731
FILE ID=node68/2090831-1247391415
PBS_JOBID= 9507217
Free space on /tmp= 66452 MiB
SOLVER NAME= SAT4J CSP 2.1.1
BENCH NAME= CPAI08/csp/tightness0.9/normalized-rand-2-40-180-84-900-16_ext.xml
COMMAND LINE= java6 -server -Xms650m -Xmx650m -jar HOME/sat4j-csp.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2090831-1247391415/watcher-2090831-1247391415 -o /tmp/evaluation-result-2090831-1247391415/solver-2090831-1247391415 -C 1800 -W 2000 -M 900 java6 -server -Xms650m -Xmx650m -jar HOME/sat4j-csp.jar HOME/instance-2090831-1247391415.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7ea905fb71112a75fe5551a79352be30
RANDOM SEED=2144657245
node68.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.258
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.258
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: 1826464 kB
Buffers: 26544 kB
Cached: 121288 kB
SwapCached: 0 kB
Active: 111916 kB
Inactive: 63380 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1826464 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3028 kB
Writeback: 0 kB
Mapped: 38892 kB
Slab: 39104 kB
Committed_AS: 238380 kB
PageTables: 2008 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66452 MiB
End job on node68 at 2009-07-12 11:49:02