0.08/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
0.08/0.14 c This is free software under the dual EPL/GNU LGPL licenses.
0.08/0.14 c See www.sat4j.org for details.
0.08/0.14 c That software uses the Rhino library from the Mozilla project.
0.08/0.16 c version 2.1.1.v20090622
0.08/0.16 c sun.arch.data.model 32
0.08/0.16 c java.version 1.6.0_12
0.08/0.16 c os.name Linux
0.08/0.16 c os.version 2.6.9-22.EL.rootsmp
0.08/0.16 c os.arch i386
0.08/0.16 c Free memory 671000808
0.08/0.16 c Max memory 672137216
0.08/0.16 c Total memory 672137216
0.08/0.16 c Number of processors 2
0.18/0.25 c c --- Begin Solver configuration ---
0.18/0.25 c Stops conflict analysis at the first Unique Implication Point
0.18/0.25 c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@1f14ceb
0.18/0.25 c Learn all clauses as in MiniSAT
0.18/0.25 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.18/0.25 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.18/0.25 c Expensive reason simplification
0.18/0.25 c MiniSAT restarts strategy
0.18/0.25 c Memory based learned constraints deletion strategy
0.18/0.25 c timeout=2147483s
0.18/0.25 c DB Simplification allowed=false
0.18/0.25 c --- End Solver configuration ---
0.18/0.25 c solving HOME/instance-2088279-1247388010.xml
0.18/0.26 c reading problem ...
0.48/0.52 c reading problem named null
0.48/0.52 c reading domains done.
0.48/0.52 c reading variables done.
0.48/0.55 c reading relations done.
5.04/5.13 c reading constraints
7.23/7.09 c done with constraints.
7.23/7.10 c ... done. Wall clock time 6.84s.
7.23/7.10 c #vars 784
7.23/7.10 c #constraints 1290245
7.23/7.10 c constraints type
7.23/7.10 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1290217
7.23/7.10 c org.sat4j.minisat.constraints.card.AtLeast => 28
1800.04/1808.21 c starts : 21
1800.04/1808.21 c conflicts : 789554
1800.04/1808.21 c decisions : 1740416
1800.04/1808.21 c propagations : 50080196
1800.04/1808.21 c inspects : 5460265010
1800.04/1808.21 c learnt literals : 0
1800.04/1808.21 c learnt binary clauses : 1
1800.04/1808.21 c learnt ternary clauses : 597
1800.04/1808.21 c learnt clauses : 789554
1800.04/1808.21 c ignored clauses : 0
1800.04/1808.21 c root simplifications : 0
1800.04/1808.21 c removed literals (reason simplification) : 21371911
1800.04/1808.21 c reason swapping (by a shorter reason) : 0
1800.04/1808.21 c Calls to reduceDB : 0
1800.04/1808.21 c speed (assignments/second) : 27805.10194790341
1800.04/1808.21 c non guided choices 238
1800.38/1808.49 c learnt constraints type
1800.38/1808.49 c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 1
1800.38/1808.49 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 789628
1800.38/1808.49 c constraints type
1800.38/1808.49 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1290217
1800.38/1808.49 c org.sat4j.minisat.constraints.card.AtLeast => 28
1800.38/1808.49 s UNKNOWN
1800.38/1808.49 c Total wall clock time (in seconds) : 1807.955
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2088279-1247388010/watcher-2088279-1247388010 -o /tmp/evaluation-result-2088279-1247388010/solver-2088279-1247388010 -C 1800 -W 2000 -M 900 java6 -server -Xms650m -Xmx650m -jar HOME/sat4j-csp.jar HOME/instance-2088279-1247388010.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.82 2.36 2.12 3/84 26869
/proc/meminfo: memFree=1657784/2055920 swapFree=4192812/4192956
[pid=26869] ppid=26867 vsize=18576 CPUtime=0
/proc/26869/stat : 26869 (runsolver) R 26867 26869 25750 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 25867593 19021824 284 996147200 4194304 4302564 548682068448 18446744073709551615 221236489511 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26869/statm: 4644 284 249 26 0 2626 0
[startup+0.013169 s]
/proc/loadavg: 2.82 2.36 2.12 3/84 26869
/proc/meminfo: memFree=1657784/2055920 swapFree=4192812/4192956
[pid=26869] ppid=26867 vsize=272 CPUtime=0
/proc/26869/stat : 26869 (java) D 26867 26869 25750 0 -1 0 216 0 0 0 0 0 0 0 18 0 1 0 25867593 278528 37 996147200 134512640 134550932 4294956016 18446744073709551615 8438564 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/26869/statm: 68 37 28 9 0 6 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 272
[startup+0.102914 s]
/proc/loadavg: 2.82 2.36 2.12 3/84 26869
/proc/meminfo: memFree=1657784/2055920 swapFree=4192812/4192956
[pid=26869] ppid=26867 vsize=804360 CPUtime=0.08
/proc/26869/stat : 26869 (java) S 26867 26869 25750 0 -1 0 2946 0 1 0 6 2 0 0 18 0 12 0 25867593 823664640 2689 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26869/statm: 201090 2689 1058 9 0 198441 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 804360
[startup+0.302938 s]
/proc/loadavg: 2.82 2.36 2.12 3/84 26869
/proc/meminfo: memFree=1657784/2055920 swapFree=4192812/4192956
[pid=26869] ppid=26867 vsize=805628 CPUtime=0.27
/proc/26869/stat : 26869 (java) S 26867 26869 25750 0 -1 0 4271 0 1 0 24 3 0 0 18 0 12 0 25867593 824963072 4008 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26869/statm: 201407 4008 1358 9 0 198734 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 805628
[startup+0.702979 s]
/proc/loadavg: 2.82 2.36 2.12 3/84 26869
/proc/meminfo: memFree=1657784/2055920 swapFree=4192812/4192956
[pid=26869] ppid=26867 vsize=807184 CPUtime=0.67
/proc/26869/stat : 26869 (java) S 26867 26869 25750 0 -1 0 5795 0 1 0 62 5 0 0 18 0 12 0 25867593 826556416 5251 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26869/statm: 201796 5251 1387 9 0 199123 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 807184
[startup+1.50207 s]
/proc/loadavg: 2.82 2.36 2.12 4/96 26881
/proc/meminfo: memFree=1635992/2055920 swapFree=4192812/4192956
[pid=26869] ppid=26867 vsize=812864 CPUtime=1.47
/proc/26869/stat : 26869 (java) S 26867 26869 25750 0 -1 0 10763 0 1 0 139 8 0 0 18 0 12 0 25867593 832372736 9123 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26869/statm: 203216 9123 1407 9 0 200543 0
[pid=26869/tid=26871] ppid=26867 vsize=812864 CPUtime=0.66
/proc/26869/task/26871/stat : 26871 (java) R 26867 26869 25750 0 -1 64 6368 0 1 0 61 5 0 0 21 0 12 0 25867595 832372736 9123 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26872] ppid=26867 vsize=812864 CPUtime=0
/proc/26869/task/26872/stat : 26872 (java) S 26867 26869 25750 0 -1 64 3 0 0 0 0 0 0 0 18 0 12 0 25867596 832372736 9123 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26873] ppid=26867 vsize=812864 CPUtime=0
/proc/26869/task/26873/stat : 26873 (java) S 26867 26869 25750 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 25867596 832372736 9123 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26874] ppid=26867 vsize=812864 CPUtime=0
/proc/26869/task/26874/stat : 26874 (java) S 26867 26869 25750 0 -1 64 2 0 0 0 0 0 0 0 17 0 12 0 25867598 832372736 9123 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26875] ppid=26867 vsize=812864 CPUtime=0
/proc/26869/task/26875/stat : 26875 (java) S 26867 26869 25750 0 -1 64 10 0 0 0 0 0 0 0 21 0 12 0 25867598 832372736 9123 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26876] ppid=26867 vsize=812864 CPUtime=0
/proc/26869/task/26876/stat : 26876 (java) S 26867 26869 25750 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 25867598 832372736 9123 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26877] ppid=26867 vsize=812864 CPUtime=0
/proc/26869/task/26877/stat : 26877 (java) S 26867 26869 25750 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 25867603 832372736 9123 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26878] ppid=26867 vsize=812864 CPUtime=0
/proc/26869/task/26878/stat : 26878 (java) S 26867 26869 25750 0 -1 64 13 0 0 0 0 0 0 0 19 0 12 0 25867603 832372736 9123 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26879] ppid=26867 vsize=812864 CPUtime=0.79
/proc/26869/task/26879/stat : 26879 (java) R 26867 26869 25750 0 -1 64 3639 0 0 0 78 1 0 0 16 0 12 0 25867603 832372736 9123 996147200 134512640 134550932 4294956016 18446744073709551615 104144744 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26880] ppid=26867 vsize=812864 CPUtime=0
/proc/26869/task/26880/stat : 26880 (java) S 26867 26869 25750 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 25867603 832372736 9123 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26881] ppid=26867 vsize=812864 CPUtime=0
/proc/26869/task/26881/stat : 26881 (java) S 26867 26869 25750 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 25867603 832372736 9123 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 812864
[startup+3.10124 s]
/proc/loadavg: 2.84 2.37 2.13 5/96 26881
/proc/meminfo: memFree=1580952/2055920 swapFree=4192812/4192956
[pid=26869] ppid=26867 vsize=812864 CPUtime=3.05
/proc/26869/stat : 26869 (java) S 26867 26869 25750 0 -1 0 25598 0 1 0 289 16 0 0 18 0 12 0 25867593 832372736 23953 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26869/statm: 203216 23953 1417 9 0 200543 0
[pid=26869/tid=26871] ppid=26867 vsize=812864 CPUtime=1.89
/proc/26869/task/26871/stat : 26871 (java) R 26867 26869 25750 0 -1 64 16904 0 1 0 178 11 0 0 25 0 12 0 25867595 832372736 23953 996147200 134512640 134550932 4294956016 18446744073709551615 4109603014 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26872] ppid=26867 vsize=812864 CPUtime=0.11
/proc/26869/task/26872/stat : 26872 (java) S 26867 26869 25750 0 -1 64 1828 0 0 0 11 0 0 0 16 0 12 0 25867596 832372736 23953 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26873] ppid=26867 vsize=812864 CPUtime=0.1
/proc/26869/task/26873/stat : 26873 (java) S 26867 26869 25750 0 -1 64 2435 0 0 0 9 1 0 0 16 0 12 0 25867596 832372736 23953 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26874] ppid=26867 vsize=812864 CPUtime=0
/proc/26869/task/26874/stat : 26874 (java) S 26867 26869 25750 0 -1 64 28 0 0 0 0 0 0 0 16 0 12 0 25867598 832372736 23953 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26875] ppid=26867 vsize=812864 CPUtime=0
/proc/26869/task/26875/stat : 26875 (java) S 26867 26869 25750 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 25867598 832372736 23953 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26876] ppid=26867 vsize=812864 CPUtime=0
/proc/26869/task/26876/stat : 26876 (java) S 26867 26869 25750 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 25867598 832372736 23953 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26877] ppid=26867 vsize=812864 CPUtime=0
/proc/26869/task/26877/stat : 26877 (java) S 26867 26869 25750 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 25867603 832372736 23953 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26878] ppid=26867 vsize=812864 CPUtime=0
/proc/26869/task/26878/stat : 26878 (java) S 26867 26869 25750 0 -1 64 13 0 0 0 0 0 0 0 19 0 12 0 25867603 832372736 23953 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26879] ppid=26867 vsize=812864 CPUtime=0.9
/proc/26869/task/26879/stat : 26879 (java) S 26867 26869 25750 0 -1 64 3649 0 0 0 89 1 0 0 16 0 12 0 25867603 832372736 23953 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26880] ppid=26867 vsize=812864 CPUtime=0
/proc/26869/task/26880/stat : 26880 (java) S 26867 26869 25750 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 25867603 832372736 23953 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26881] ppid=26867 vsize=812864 CPUtime=0
/proc/26869/task/26881/stat : 26881 (java) S 26867 26869 25750 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 25867603 832372736 23953 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 812864
[startup+6.30259 s]
/proc/loadavg: 2.84 2.37 2.13 4/96 26881
/proc/meminfo: memFree=1546328/2055920 swapFree=4192812/4192956
[pid=26869] ppid=26867 vsize=812864 CPUtime=6.35
/proc/26869/stat : 26869 (java) S 26867 26869 25750 0 -1 0 37217 0 1 0 614 21 0 0 18 0 12 0 25867593 832372736 34590 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26869/statm: 203216 34590 1423 9 0 200543 0
[pid=26869/tid=26871] ppid=26867 vsize=812864 CPUtime=4.13
/proc/26869/task/26871/stat : 26871 (java) R 26867 26869 25750 0 -1 64 16922 0 1 0 401 12 0 0 25 0 12 0 25867595 832372736 34590 996147200 134512640 134550932 4294956016 18446744073709551615 4109696849 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26872] ppid=26867 vsize=812864 CPUtime=0.5
/proc/26869/task/26872/stat : 26872 (java) S 26867 26869 25750 0 -1 64 8722 0 0 0 47 3 0 0 17 0 12 0 25867596 832372736 34590 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26873] ppid=26867 vsize=812864 CPUtime=0.44
/proc/26869/task/26873/stat : 26873 (java) S 26867 26869 25750 0 -1 64 7059 0 0 0 41 3 0 0 17 0 12 0 25867596 832372736 34590 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26874] ppid=26867 vsize=812864 CPUtime=0
/proc/26869/task/26874/stat : 26874 (java) S 26867 26869 25750 0 -1 64 28 0 0 0 0 0 0 0 16 0 12 0 25867598 832372736 34590 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26875] ppid=26867 vsize=812864 CPUtime=0
/proc/26869/task/26875/stat : 26875 (java) S 26867 26869 25750 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 25867598 832372736 34590 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26876] ppid=26867 vsize=812864 CPUtime=0
/proc/26869/task/26876/stat : 26876 (java) S 26867 26869 25750 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 25867598 832372736 34590 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26877] ppid=26867 vsize=812864 CPUtime=0
/proc/26869/task/26877/stat : 26877 (java) S 26867 26869 25750 0 -1 64 0 0 0 0 0 0 0 0 18 0 12 0 25867603 832372736 34590 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26878] ppid=26867 vsize=812864 CPUtime=0
/proc/26869/task/26878/stat : 26878 (java) S 26867 26869 25750 0 -1 64 13 0 0 0 0 0 0 0 19 0 12 0 25867603 832372736 34590 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26879] ppid=26867 vsize=812864 CPUtime=1.24
/proc/26869/task/26879/stat : 26879 (java) S 26867 26869 25750 0 -1 64 3732 0 0 0 123 1 0 0 16 0 12 0 25867603 832372736 34590 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26880] ppid=26867 vsize=812864 CPUtime=0
/proc/26869/task/26880/stat : 26880 (java) S 26867 26869 25750 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 25867603 832372736 34590 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26881] ppid=26867 vsize=812864 CPUtime=0
/proc/26869/task/26881/stat : 26881 (java) S 26867 26869 25750 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 25867603 832372736 34590 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.35
Current children cumulated vsize (KiB) 812864
[startup+12.7023 s]
/proc/loadavg: 2.85 2.39 2.14 3/97 26882
/proc/meminfo: memFree=1463184/2055920 swapFree=4192812/4192956
[pid=26869] ppid=26867 vsize=814052 CPUtime=13.02
/proc/26869/stat : 26869 (java) S 26867 26869 25750 0 -1 0 52998 0 1 0 1273 29 0 0 18 0 13 0 25867593 833589248 49797 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26869/statm: 203513 49797 1445 9 0 200840 0
[pid=26869/tid=26871] ppid=26867 vsize=814052 CPUtime=9.13
/proc/26869/task/26871/stat : 26871 (java) R 26867 26869 25750 0 -1 64 16949 0 1 0 901 12 0 0 25 0 13 0 25867595 833589248 49797 996147200 134512640 134550932 4294956016 18446744073709551615 4109809913 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26872] ppid=26867 vsize=814052 CPUtime=0.98
/proc/26869/task/26872/stat : 26872 (java) S 26867 26869 25750 0 -1 64 17932 0 0 0 90 8 0 0 18 0 13 0 25867596 833589248 49797 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26873] ppid=26867 vsize=814052 CPUtime=0.89
/proc/26869/task/26873/stat : 26873 (java) S 26867 26869 25750 0 -1 64 13518 0 0 0 84 5 0 0 18 0 13 0 25867596 833589248 49797 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26874] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26874/stat : 26874 (java) S 26867 26869 25750 0 -1 64 28 0 0 0 0 0 0 0 17 0 13 0 25867598 833589248 49797 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26875] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26875/stat : 26875 (java) S 26867 26869 25750 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25867598 833589248 49797 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26876] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26876/stat : 26876 (java) S 26867 26869 25750 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 25867598 833589248 49797 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26877] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26877/stat : 26877 (java) S 26867 26869 25750 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 25867603 833589248 49797 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26878] ppid=26867 vsize=814052 CPUtime=0.04
/proc/26869/task/26878/stat : 26878 (java) S 26867 26869 25750 0 -1 64 28 0 0 0 4 0 0 0 16 0 13 0 25867603 833589248 49797 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26879] ppid=26867 vsize=814052 CPUtime=1.91
/proc/26869/task/26879/stat : 26879 (java) S 26867 26869 25750 0 -1 64 3796 0 0 0 190 1 0 0 17 0 13 0 25867603 833589248 49797 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26880] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26880/stat : 26880 (java) S 26867 26869 25750 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 25867603 833589248 49797 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26881] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26881/stat : 26881 (java) S 26867 26869 25750 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 25867603 833589248 49797 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26882] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26882/stat : 26882 (java) S 26867 26869 25750 0 -1 64 6 0 0 0 0 0 0 0 18 0 13 0 25868304 833589248 49797 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 13.02
Current children cumulated vsize (KiB) 814052
[startup+25.5027 s]
/proc/loadavg: 2.72 2.38 2.14 3/97 26882
/proc/meminfo: memFree=1463056/2055920 swapFree=4192812/4192956
[pid=26869] ppid=26867 vsize=814052 CPUtime=25.82
/proc/26869/stat : 26869 (java) S 26867 26869 25750 0 -1 0 53004 0 1 0 2553 29 0 0 18 0 13 0 25867593 833589248 49802 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26869/statm: 203513 49802 1445 9 0 200840 0
[pid=26869/tid=26871] ppid=26867 vsize=814052 CPUtime=21.86
/proc/26869/task/26871/stat : 26871 (java) R 26867 26869 25750 0 -1 64 16950 0 1 0 2174 12 0 0 25 0 13 0 25867595 833589248 49802 996147200 134512640 134550932 4294956016 18446744073709551615 4109839295 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26872] ppid=26867 vsize=814052 CPUtime=0.98
/proc/26869/task/26872/stat : 26872 (java) S 26867 26869 25750 0 -1 64 17932 0 0 0 90 8 0 0 18 0 13 0 25867596 833589248 49802 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26873] ppid=26867 vsize=814052 CPUtime=0.89
/proc/26869/task/26873/stat : 26873 (java) S 26867 26869 25750 0 -1 64 13518 0 0 0 84 5 0 0 18 0 13 0 25867596 833589248 49802 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26874] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26874/stat : 26874 (java) S 26867 26869 25750 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 25867598 833589248 49802 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26875] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26875/stat : 26875 (java) S 26867 26869 25750 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25867598 833589248 49802 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26876] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26876/stat : 26876 (java) S 26867 26869 25750 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 25867598 833589248 49802 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26877] ppid=26867 vsize=814052 CPUtime=0
################
# More data... #
################
/proc/26869/task/26872/stat : 26872 (java) S 26867 26869 25750 0 -1 64 40989 0 0 0 195 17 0 0 16 0 13 0 25867596 833589248 94344 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26873] ppid=26867 vsize=814052 CPUtime=1.96
/proc/26869/task/26873/stat : 26873 (java) S 26867 26869 25750 0 -1 64 36038 0 0 0 181 15 0 0 18 0 13 0 25867596 833589248 94344 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26874] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26874/stat : 26874 (java) S 26867 26869 25750 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 25867598 833589248 94344 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26875] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26875/stat : 26875 (java) S 26867 26869 25750 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25867598 833589248 94344 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26876] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26876/stat : 26876 (java) S 26867 26869 25750 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 25867598 833589248 94344 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26877] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26877/stat : 26877 (java) S 26867 26869 25750 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 25867603 833589248 94344 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26878] ppid=26867 vsize=814052 CPUtime=0.04
/proc/26869/task/26878/stat : 26878 (java) S 26867 26869 25750 0 -1 64 28 0 0 0 4 0 0 0 16 0 13 0 25867603 833589248 94344 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26879] ppid=26867 vsize=814052 CPUtime=2.02
/proc/26869/task/26879/stat : 26879 (java) S 26867 26869 25750 0 -1 64 3803 0 0 0 201 1 0 0 17 0 13 0 25867603 833589248 94344 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26880] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26880/stat : 26880 (java) S 26867 26869 25750 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 25867603 833589248 94344 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26881] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26881/stat : 26881 (java) S 26867 26869 25750 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 25867603 833589248 94344 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26882] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26882/stat : 26882 (java) S 26867 26869 25750 0 -1 64 6 0 0 0 0 0 0 0 18 0 13 0 25868304 833589248 94344 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1714.1
Current children cumulated vsize (KiB) 814052
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/86 26948
/proc/meminfo: memFree=1489832/2055920 swapFree=4192812/4192956
[pid=26869] ppid=26867 vsize=814052 CPUtime=1774.15
/proc/26869/stat : 26869 (java) S 26867 26869 25750 0 -1 0 104582 0 1 0 177362 53 0 0 18 0 13 0 25867593 833589248 100280 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26869/statm: 203513 100280 1445 9 0 200840 0
[pid=26869/tid=26871] ppid=26867 vsize=814052 CPUtime=1767.64
/proc/26869/task/26871/stat : 26871 (java) R 26867 26869 25750 0 -1 64 16962 0 1 0 176750 14 0 0 25 0 13 0 25867595 833589248 100280 996147200 134512640 134550932 4294956016 18446744073709551615 4109761965 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26872] ppid=26867 vsize=814052 CPUtime=2.28
/proc/26869/task/26872/stat : 26872 (java) S 26867 26869 25750 0 -1 64 44903 0 0 0 210 18 0 0 18 0 13 0 25867596 833589248 100280 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26873] ppid=26867 vsize=814052 CPUtime=2.09
/proc/26869/task/26873/stat : 26873 (java) S 26867 26869 25750 0 -1 64 38111 0 0 0 193 16 0 0 18 0 13 0 25867596 833589248 100280 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26874] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26874/stat : 26874 (java) S 26867 26869 25750 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 25867598 833589248 100280 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26875] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26875/stat : 26875 (java) S 26867 26869 25750 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25867598 833589248 100280 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26876] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26876/stat : 26876 (java) S 26867 26869 25750 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 25867598 833589248 100280 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26877] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26877/stat : 26877 (java) S 26867 26869 25750 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 25867603 833589248 100280 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26878] ppid=26867 vsize=814052 CPUtime=0.04
/proc/26869/task/26878/stat : 26878 (java) S 26867 26869 25750 0 -1 64 28 0 0 0 4 0 0 0 16 0 13 0 25867603 833589248 100280 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26879] ppid=26867 vsize=814052 CPUtime=2.02
/proc/26869/task/26879/stat : 26879 (java) S 26867 26869 25750 0 -1 64 3803 0 0 0 201 1 0 0 17 0 13 0 25867603 833589248 100280 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26880] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26880/stat : 26880 (java) S 26867 26869 25750 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 25867603 833589248 100280 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26881] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26881/stat : 26881 (java) S 26867 26869 25750 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 25867603 833589248 100280 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26882] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26882/stat : 26882 (java) S 26867 26869 25750 0 -1 64 6 0 0 0 0 0 0 0 18 0 13 0 25868304 833589248 100280 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1774.15
Current children cumulated vsize (KiB) 814052
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.2 s]
/proc/loadavg: 2.09 2.04 2.00 3/86 26948
/proc/meminfo: memFree=1489832/2055920 swapFree=4192812/4192956
[pid=26869] ppid=26867 vsize=814052 CPUtime=1800.04
/proc/26869/stat : 26869 (java) S 26867 26869 25750 0 -1 0 104582 0 1 0 179951 53 0 0 18 0 13 0 25867593 833589248 100280 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26869/statm: 203513 100280 1445 9 0 200840 0
[pid=26869/tid=26871] ppid=26867 vsize=814052 CPUtime=1793.53
/proc/26869/task/26871/stat : 26871 (java) R 26867 26869 25750 0 -1 64 16962 0 1 0 179339 14 0 0 25 0 13 0 25867595 833589248 100280 996147200 134512640 134550932 4294956016 18446744073709551615 4109850551 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26872] ppid=26867 vsize=814052 CPUtime=2.28
/proc/26869/task/26872/stat : 26872 (java) S 26867 26869 25750 0 -1 64 44903 0 0 0 210 18 0 0 18 0 13 0 25867596 833589248 100280 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26873] ppid=26867 vsize=814052 CPUtime=2.09
/proc/26869/task/26873/stat : 26873 (java) S 26867 26869 25750 0 -1 64 38111 0 0 0 193 16 0 0 18 0 13 0 25867596 833589248 100280 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26874] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26874/stat : 26874 (java) S 26867 26869 25750 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 25867598 833589248 100280 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26875] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26875/stat : 26875 (java) S 26867 26869 25750 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 25867598 833589248 100280 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26876] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26876/stat : 26876 (java) S 26867 26869 25750 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 25867598 833589248 100280 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26877] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26877/stat : 26877 (java) S 26867 26869 25750 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 25867603 833589248 100280 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26878] ppid=26867 vsize=814052 CPUtime=0.04
/proc/26869/task/26878/stat : 26878 (java) S 26867 26869 25750 0 -1 64 28 0 0 0 4 0 0 0 16 0 13 0 25867603 833589248 100280 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26879] ppid=26867 vsize=814052 CPUtime=2.02
/proc/26869/task/26879/stat : 26879 (java) S 26867 26869 25750 0 -1 64 3803 0 0 0 201 1 0 0 17 0 13 0 25867603 833589248 100280 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26880] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26880/stat : 26880 (java) S 26867 26869 25750 0 -1 64 1 0 0 0 0 0 0 0 20 0 13 0 25867603 833589248 100280 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26881] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26881/stat : 26881 (java) S 26867 26869 25750 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 25867603 833589248 100280 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26882] ppid=26867 vsize=814052 CPUtime=0
/proc/26869/task/26882/stat : 26882 (java) S 26867 26869 25750 0 -1 64 6 0 0 0 0 0 0 0 18 0 13 0 25868304 833589248 100280 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 814052
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1808.41 s]
/proc/loadavg: 2.09 2.04 2.00 4/89 26951
/proc/meminfo: memFree=1489808/2055920 swapFree=4192812/4192956
[pid=26869] ppid=26867 vsize=814700 CPUtime=1800.38
/proc/26869/stat : 26869 (java) S 26867 26869 25750 0 -1 0 104602 0 1 0 179985 53 0 0 16 0 15 0 25867593 834252800 100300 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26869/statm: 203675 100300 1445 9 0 201002 0
[pid=26869/tid=26871] ppid=26867 vsize=814700 CPUtime=1793.73
/proc/26869/task/26871/stat : 26871 (java) R 26867 26869 25750 0 -1 64 16962 0 1 0 179359 14 0 0 25 0 15 0 25867595 834252800 100300 996147200 134512640 134550932 4294956016 18446744073709551615 4109761622 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26872] ppid=26867 vsize=814700 CPUtime=2.28
/proc/26869/task/26872/stat : 26872 (java) S 26867 26869 25750 0 -1 64 44903 0 0 0 210 18 0 0 18 0 15 0 25867596 834252800 100300 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26873] ppid=26867 vsize=814700 CPUtime=2.09
/proc/26869/task/26873/stat : 26873 (java) S 26867 26869 25750 0 -1 64 38111 0 0 0 193 16 0 0 18 0 15 0 25867596 834252800 100300 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26874] ppid=26867 vsize=814700 CPUtime=0
/proc/26869/task/26874/stat : 26874 (java) S 26867 26869 25750 0 -1 64 28 0 0 0 0 0 0 0 16 0 15 0 25867598 834252800 100300 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26875] ppid=26867 vsize=814700 CPUtime=0
/proc/26869/task/26875/stat : 26875 (java) S 26867 26869 25750 0 -1 64 11 0 0 0 0 0 0 0 16 0 15 0 25867598 834252800 100300 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26876] ppid=26867 vsize=814700 CPUtime=0
/proc/26869/task/26876/stat : 26876 (java) S 26867 26869 25750 0 -1 64 7 0 0 0 0 0 0 0 16 0 15 0 25867598 834252800 100300 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26877] ppid=26867 vsize=814700 CPUtime=0
/proc/26869/task/26877/stat : 26877 (java) S 26867 26869 25750 0 -1 64 5 0 0 0 0 0 0 0 18 0 15 0 25867603 834252800 100300 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26878] ppid=26867 vsize=814700 CPUtime=0.04
/proc/26869/task/26878/stat : 26878 (java) S 26867 26869 25750 0 -1 64 28 0 0 0 4 0 0 0 16 0 15 0 25867603 834252800 100300 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26879] ppid=26867 vsize=814700 CPUtime=2.05
/proc/26869/task/26879/stat : 26879 (java) S 26867 26869 25750 0 -1 64 3805 0 0 0 204 1 0 0 16 0 15 0 25867603 834252800 100300 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26880] ppid=26867 vsize=814700 CPUtime=0
/proc/26869/task/26880/stat : 26880 (java) S 26867 26869 25750 0 -1 64 1 0 0 0 0 0 0 0 20 0 15 0 25867603 834252800 100300 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26881] ppid=26867 vsize=814700 CPUtime=0
/proc/26869/task/26881/stat : 26881 (java) S 26867 26869 25750 0 -1 64 1 0 0 0 0 0 0 0 15 0 15 0 25867603 834252800 100300 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26882] ppid=26867 vsize=814700 CPUtime=0
/proc/26869/task/26882/stat : 26882 (java) S 26867 26869 25750 0 -1 64 6 0 0 0 0 0 0 0 18 0 15 0 25868304 834252800 100300 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26950] ppid=26867 vsize=814700 CPUtime=0
/proc/26869/task/26950/stat : 26950 (java) S 26867 26869 25750 0 -1 64 7 0 0 0 0 0 0 0 19 0 15 0 26048414 834252800 100300 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26951] ppid=26867 vsize=814700 CPUtime=0.1
/proc/26869/task/26951/stat : 26951 (java) R 26867 26869 25750 0 -1 64 6 0 0 0 10 0 0 0 20 0 15 0 26048415 834252800 100300 996147200 134512640 134550932 4294956016 18446744073709551615 4109970660 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.38
Current children cumulated vsize (KiB) 814700
[startup+1808.5 s]
/proc/loadavg: 2.09 2.04 2.00 4/89 26951
/proc/meminfo: memFree=1489808/2055920 swapFree=4192812/4192956
[pid=26869] ppid=26867 vsize=814700 CPUtime=1800.49
/proc/26869/stat : 26869 (java) S 26867 26869 25750 0 -1 0 104604 0 1 0 179996 53 0 0 16 0 14 0 25867593 834252800 100302 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26869/statm: 203675 100302 1446 9 0 201002 0
[pid=26869/tid=26871] ppid=26867 vsize=814700 CPUtime=1793.82
/proc/26869/task/26871/stat : 26871 (java) R 26867 26869 25750 0 -1 64 16962 0 1 0 179368 14 0 0 25 0 14 0 25867595 834252800 100302 996147200 134512640 134550932 4294956016 18446744073709551615 4109761479 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26872] ppid=26867 vsize=814700 CPUtime=2.28
/proc/26869/task/26872/stat : 26872 (java) S 26867 26869 25750 0 -1 64 44903 0 0 0 210 18 0 0 18 0 14 0 25867596 834252800 100302 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26873] ppid=26867 vsize=814700 CPUtime=2.09
/proc/26869/task/26873/stat : 26873 (java) S 26867 26869 25750 0 -1 64 38111 0 0 0 193 16 0 0 18 0 14 0 25867596 834252800 100302 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26874] ppid=26867 vsize=814700 CPUtime=0
/proc/26869/task/26874/stat : 26874 (java) S 26867 26869 25750 0 -1 64 28 0 0 0 0 0 0 0 16 0 14 0 25867598 834252800 100302 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26875] ppid=26867 vsize=814700 CPUtime=0
/proc/26869/task/26875/stat : 26875 (java) S 26867 26869 25750 0 -1 64 11 0 0 0 0 0 0 0 16 0 14 0 25867598 834252800 100302 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26876] ppid=26867 vsize=814700 CPUtime=0
/proc/26869/task/26876/stat : 26876 (java) S 26867 26869 25750 0 -1 64 7 0 0 0 0 0 0 0 16 0 14 0 25867598 834252800 100302 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26877] ppid=26867 vsize=814700 CPUtime=0
/proc/26869/task/26877/stat : 26877 (java) S 26867 26869 25750 0 -1 64 5 0 0 0 0 0 0 0 18 0 14 0 25867603 834252800 100302 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26878] ppid=26867 vsize=814700 CPUtime=0.04
/proc/26869/task/26878/stat : 26878 (java) S 26867 26869 25750 0 -1 64 28 0 0 0 4 0 0 0 16 0 14 0 25867603 834252800 100302 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26879] ppid=26867 vsize=814700 CPUtime=2.05
/proc/26869/task/26879/stat : 26879 (java) S 26867 26869 25750 0 -1 64 3805 0 0 0 204 1 0 0 16 0 14 0 25867603 834252800 100302 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26880] ppid=26867 vsize=814700 CPUtime=0
/proc/26869/task/26880/stat : 26880 (java) S 26867 26869 25750 0 -1 64 1 0 0 0 0 0 0 0 20 0 14 0 25867603 834252800 100302 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26869/tid=26881] ppid=26867 vsize=814700 CPUtime=0
/proc/26869/task/26881/stat : 26881 (java) S 26867 26869 25750 0 -1 64 1 0 0 0 0 0 0 0 15 0 14 0 25867603 834252800 100302 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26882] ppid=26867 vsize=814700 CPUtime=0
/proc/26869/task/26882/stat : 26882 (java) S 26867 26869 25750 0 -1 64 6 0 0 0 0 0 0 0 18 0 14 0 25868304 834252800 100302 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=26869/tid=26950] ppid=26867 vsize=814700 CPUtime=0
/proc/26869/task/26950/stat : 26950 (java) S 26867 26869 25750 0 -1 64 8 0 0 0 0 0 0 0 16 0 14 0 26048414 834252800 100302 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.49
Current children cumulated vsize (KiB) 814700
Child status: 143
Real time (s): 1808.59
CPU time (s): 1800.59
CPU user time (s): 1799.99
CPU system time (s): 0.594909
CPU usage (%): 99.5574
Max. virtual memory (cumulated for all children) (KiB): 814700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.594909
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104605
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= 37839
involuntary context switches= 50644
runsolver used 2.16467 second user time and 6.11207 second system time
The end
Begin job on node21 at 2009-07-12 10:40:11
IDJOB=2088279
IDBENCH=58904
IDSOLVER=731
FILE ID=node21/2088279-1247388010
PBS_JOBID= 9507322
Free space on /tmp= 66396 MiB
SOLVER NAME= SAT4J CSP 2.1.1
BENCH NAME= CPAI08/csp/rand-3-28-28-fcd/normalized-rand-3-28-28-93-632-fcd-43_ext.xml
COMMAND LINE= java6 -server -Xms650m -Xmx650m -jar HOME/sat4j-csp.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2088279-1247388010/watcher-2088279-1247388010 -o /tmp/evaluation-result-2088279-1247388010/solver-2088279-1247388010 -C 1800 -W 2000 -M 900 java6 -server -Xms650m -Xmx650m -jar HOME/sat4j-csp.jar HOME/instance-2088279-1247388010.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6cc5738dfc5cd2d9998e11f021fde373
RANDOM SEED=1550260255
node21.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.240
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.240
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: 1658264 kB
Buffers: 18428 kB
Cached: 81056 kB
SwapCached: 0 kB
Active: 314252 kB
Inactive: 31612 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1658264 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7048 kB
Writeback: 0 kB
Mapped: 262060 kB
Slab: 36780 kB
Committed_AS: 876396 kB
PageTables: 2204 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= 66400 MiB
End job on node21 at 2009-07-12 11:10:21