0.06/0.07 c 0 Sugar v1-14-6 + HOME/minisat
0.06/0.07 c 0 BEGIN Sat Jul 11 22:24:28 2009
0.06/0.07 c 0 PID 14248
0.06/0.07 c 0 HOST node30.alineos.net
0.06/0.07 c 0 CONVERTING HOME/instance-2067078-1247343868.xml TO HOME/temp.csp
0.06/0.07 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.XML2CSP -v -v 'HOME/instance-2067078-1247343868.xml' 'HOME/temp.csp'
0.06/0.65 c 1 2 domains, 1451 variables, 93 predicates, 0 relations, 2898 constraints
0.06/0.70 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.70 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.06/0.78 c 1 Parsing HOME/temp.csp
0.63/0.97 c 1 parsed 4444 expressions
0.63/0.97 c 1 Heap : 4 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
0.63/0.97 c 1 Converting to clausal form CSP
0.63/1.00 c 1 converted 445 (10%) expressions
0.92/1.01 c 1 converted 889 (20%) expressions
0.92/1.01 c 1 converted 1334 (30%) expressions
1.02/1.11 c 1 converted 1778 (40%) expressions
1.02/1.18 c 1 converted 2222 (50%) expressions
1.11/1.29 c 1 converted 2667 (60%) expressions
1.22/1.34 c 1 converted 3111 (70%) expressions
1.41/1.57 c 2 converted 3556 (80%) expressions
1.71/1.85 c 2 converted 4000 (90%) expressions
2.21/2.37 c 2 converted 4444 (100%) expressions
2.21/2.37 c 2 CSP : 6511 integers, 0 booleans, 12836 clauses, largest domain size 28
2.21/2.37 c 2 Heap : 12 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
2.21/2.37 c 2 Propagation in CSP
2.50/2.63 c 3 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.50/2.63 c 3 CSP : 6511 integers, 0 booleans, 12836 clauses, largest domain size 28
2.50/2.63 c 3 Heap : 12 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
2.50/2.65 c 3 Simplifing CSP by introducing new Boolean variables
2.50/2.66 c 3 CSP : 6511 integers, 0 booleans, 12836 clauses, largest domain size 28
2.50/2.66 c 3 Heap : 13 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
2.60/2.74 c 3 Encoding CSP to SAT : HOME/temp.cnf
2.60/2.75 c 3 652 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
2.60/2.75 c 3 1303 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
2.60/2.77 c 3 1954 (30%) CSP integer variables are encoded (1739 clauses, 22671 bytes)
2.60/2.77 c 3 2605 (40%) CSP integer variables are encoded (4439 clauses, 57771 bytes)
2.60/2.78 c 3 3256 (50%) CSP integer variables are encoded (7750 clauses, 102471 bytes)
2.60/2.78 c 3 3907 (60%) CSP integer variables are encoded (11572 clauses, 159801 bytes)
2.60/2.79 c 3 4558 (70%) CSP integer variables are encoded (16537 clauses, 234276 bytes)
2.60/2.80 c 3 5209 (80%) CSP integer variables are encoded (21336 clauses, 306261 bytes)
2.71/2.80 c 3 5860 (90%) CSP integer variables are encoded (26198 clauses, 379191 bytes)
2.71/2.81 c 3 6511 (100%) CSP integer variables are encoded (32563 clauses, 474666 bytes)
9.07/9.25 c 9 1284 (10%) CSP clauses are encoded (33847 clauses, 523466 bytes)
12.55/12.78 c 13 2568 (20%) CSP clauses are encoded (55947 clauses, 945215 bytes)
12.75/12.96 c 13 3851 (30%) CSP clauses are encoded (93206 clauses, 1677532 bytes)
13.16/13.38 c 13 5135 (40%) CSP clauses are encoded (159424 clauses, 3117922 bytes)
13.95/14.17 c 14 6418 (50%) CSP clauses are encoded (263277 clauses, 5552728 bytes)
16.72/16.96 c 17 7702 (60%) CSP clauses are encoded (500183 clauses, 11694294 bytes)
29.36/29.70 c 30 8986 (70%) CSP clauses are encoded (1155649 clauses, 31228307 bytes)
34.33/34.70 c 35 10269 (80%) CSP clauses are encoded (1411952 clauses, 38744618 bytes)
35.13/35.44 c 35 11553 (90%) CSP clauses are encoded (1518090 clauses, 41253966 bytes)
38.70/39.02 c 39 12836 (100%) CSP clauses are encoded (1776041 clauses, 48566199 bytes)
38.70/39.02 c 39 12836 CSP clauses encoded
38.70/39.02 c 39 Writing map file : HOME/temp.map
38.70/39.03 c 39 Heap : 9 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
38.70/39.03 c 39 SAT : 39051 SAT variables, 1776041 SAT clauses, 48566199 bytes
38.70/39.03 c 39 Heap : 9 MiB used (max 694 MiB), NonHeap : 14 MiB used (max 116 MiB)
38.70/39.07 c 39 SOLVING HOME/temp.cnf
38.70/39.07 c 39 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
38.70/39.08 c 39 This is MiniSat 2.0 beta
38.70/39.08 c 39 WARNING: for repeatability, setting FPU to use double precision
38.70/39.08 c 39 ============================[ Problem Statistics ]=============================
38.70/39.08 c 39 | |
38.70/39.08 c 39 | Number of variables: 39051 |
38.70/39.08 c 39 | Number of clauses: 1776041 |
39.85/40.20 c 40 | Parsing time: 0.99 s |
39.85/40.28 c 40 ============================[ Search Statistics ]==============================
39.85/40.28 c 40 | Conflicts | ORIGINAL | LEARNT | Progress |
39.85/40.28 c 40 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
39.85/40.28 c 40 ===============================================================================
39.85/40.28 c 40 | 0 | 39051 1776041 9032385 | 592013 0 nan | 0.000 % |
40.14/40.52 c 40 ===============================================================================
40.14/40.52 c 40 restarts : 1
40.14/40.52 c 40 conflicts : 21 (16 /sec)
40.14/40.52 c 40 decisions : 892 (0.22 % random) (686 /sec)
40.14/40.52 c 40 propagations : 60397 (46466 /sec)
40.14/40.52 c 40 conflict literals : 438 (1.13 % deleted)
40.14/40.52 c 40 Memory used : 96.54 MB
40.14/40.52 c 40 CPU time : 1.2998 s
40.14/40.52 c 40
40.14/40.54 c 40 SATISFIABLE
40.14/40.56 c 41 DECODING HOME/temp.out WITH HOME/temp.map
40.14/40.56 c 41 CMD java -Xmx700M -cp 'HOME/sugar-v1-14-6.jar' jp.ac.kobe_u.cs.sugar.SugarMain -v -v -competition -decode 'HOME/temp.out' 'HOME/temp.map'
40.24/40.64 c 41 Decoding HOME/temp.out
40.44/40.82 s SATISFIABLE
40.44/40.88 v 1 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 1 1 0 0 1 0 0 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 0 1 0 1 0 1 1 0 1 1 1 1 0 0 1 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 1 1 1 1 1 1 0 0 0 1 0 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 1 1 1 1 1 0 0 1 1 0 1 1 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 1 0 0 1 1 0 0 1 0 1 0 0 1 1 0 0 0 0 1 1 1 0 1 0 0 1 0 0 1 0 1 1 1 0 1 1 0 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 0 1 0 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 1 1 1 0 0 0 0 1 0 0 1 1 1 1 1 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 1 1 1 1 1 0 1 1 1 1 1 0 1 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 1 1
40.44/40.89 c 41 Heap : 0 MiB used (max 694 MiB), NonHeap : 13 MiB used (max 116 MiB)
40.53/40.94 c 41 CPU 40.56 (0.07 0.02 39.71 0.76)
40.53/40.94 c 41 END Sat Jul 11 22:25:09 2009
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2067078-1247343868/watcher-2067078-1247343868 -o /tmp/evaluation-result-2067078-1247343868/solver-2067078-1247343868 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar=HOME/sugar-v1-14-6.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-2067078-1247343868.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: 1.93 1.97 1.98 4/81 14248
/proc/meminfo: memFree=1083528/2055920 swapFree=4192956/4192956
[pid=14248] ppid=14246 vsize=13072 CPUtime=0.02
/proc/14248/stat : 14248 (sugar) R 14246 14248 12939 0 -1 4194304 623 0 0 0 2 0 0 0 21 0 1 0 21452906 13385728 591 996147200 4194304 4206940 548682068608 18446744073709551615 264925639728 0 0 4224 0 0 0 0 17 0 0 0
/proc/14248/statm: 3268 591 316 3 0 368 0
[startup+0.0717369 s]
/proc/loadavg: 1.93 1.97 1.98 4/81 14248
/proc/meminfo: memFree=1083528/2055920 swapFree=4192956/4192956
[pid=14248] ppid=14246 vsize=16740 CPUtime=0.06
/proc/14248/stat : 14248 (sugar) R 14246 14248 12939 0 -1 4194304 1105 0 0 0 5 1 0 0 21 0 1 0 21452906 17141760 1073 996147200 4194304 4206940 548682068608 18446744073709551615 264925365589 0 0 4224 0 0 0 0 17 0 0 0
/proc/14248/statm: 4185 1073 380 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.102737 s]
/proc/loadavg: 1.93 1.97 1.98 4/81 14248
/proc/meminfo: memFree=1083528/2055920 swapFree=4192956/4192956
[pid=14248] ppid=14246 vsize=16868 CPUtime=0.06
/proc/14248/stat : 14248 (sugar) S 14246 14248 12939 0 -1 4194304 1227 128 0 0 5 1 0 0 22 0 1 0 21452906 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14248/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.302771 s]
/proc/loadavg: 1.93 1.97 1.98 4/81 14248
/proc/meminfo: memFree=1083528/2055920 swapFree=4192956/4192956
[pid=14248] ppid=14246 vsize=16868 CPUtime=0.06
/proc/14248/stat : 14248 (sugar) S 14246 14248 12939 0 -1 4194304 1227 128 0 0 5 1 0 0 22 0 1 0 21452906 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14248/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+0.702829 s]
/proc/loadavg: 1.93 1.97 1.98 4/81 14248
/proc/meminfo: memFree=1083528/2055920 swapFree=4192956/4192956
[pid=14248] ppid=14246 vsize=16868 CPUtime=0.06
/proc/14248/stat : 14248 (sugar) S 14246 14248 12939 0 -1 4194304 1245 128 0 0 5 1 0 0 15 0 1 0 21452906 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14248/statm: 4217 1111 409 3 0 796 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16868
[startup+1.50194 s]
/proc/loadavg: 1.93 1.97 1.98 3/92 14270
/proc/meminfo: memFree=1071344/2055920 swapFree=4192956/4192956
[pid=14248] ppid=14246 vsize=16868 CPUtime=0.64
/proc/14248/stat : 14248 (sugar) S 14246 14248 12939 0 -1 4194304 1309 7094 0 1 6 1 53 4 15 0 1 0 21452906 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14248/statm: 4217 1111 409 3 0 796 0
[pid=14261] ppid=14248 vsize=5356 CPUtime=0
/proc/14261/stat : 14261 (sh) S 14248 14248 12939 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21452977 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14261/statm: 1339 233 193 169 0 50 0
[pid=14262] ppid=14261 vsize=868512 CPUtime=0.77
/proc/14262/stat : 14262 (java) S 14261 14248 12939 0 -1 0 7622 0 1 0 73 4 0 0 18 0 9 0 21452977 889356288 6856 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14262/statm: 217128 6856 2567 9 0 211633 0
[pid=14262/tid=14263] ppid=14261 vsize=868512 CPUtime=0.47
/proc/14262/task/14263/stat : 14263 (java) R 14261 14248 12939 0 -1 64 2684 0 1 0 45 2 0 0 23 0 9 0 21452978 889356288 6856 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14264] ppid=14261 vsize=868512 CPUtime=0.1
/proc/14262/task/14264/stat : 14264 (java) R 14261 14248 12939 0 -1 64 2753 0 0 0 9 1 0 0 16 0 9 0 21452979 889356288 6856 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14265] ppid=14261 vsize=868512 CPUtime=0
/proc/14262/task/14265/stat : 14265 (java) S 14261 14248 12939 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 21452979 889356288 6856 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14266] ppid=14261 vsize=868512 CPUtime=0
/proc/14262/task/14266/stat : 14266 (java) S 14261 14248 12939 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 21452980 889356288 6857 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14267] ppid=14261 vsize=868512 CPUtime=0
/proc/14262/task/14267/stat : 14267 (java) S 14261 14248 12939 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21452982 889356288 6858 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14268] ppid=14261 vsize=868512 CPUtime=0.17
/proc/14262/task/14268/stat : 14268 (java) S 14261 14248 12939 0 -1 64 1487 0 0 0 17 0 0 0 16 0 9 0 21452982 889356288 6858 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14269] ppid=14261 vsize=868512 CPUtime=0
/proc/14262/task/14269/stat : 14269 (java) S 14261 14248 12939 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21452982 889356288 6858 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14270] ppid=14261 vsize=868512 CPUtime=0
/proc/14262/task/14270/stat : 14270 (java) S 14261 14248 12939 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 21452982 889356288 6858 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 890736
[startup+3.10217 s]
/proc/loadavg: 1.93 1.97 1.98 3/92 14270
/proc/meminfo: memFree=1058672/2055920 swapFree=4192956/4192956
[pid=14248] ppid=14246 vsize=16868 CPUtime=0.64
/proc/14248/stat : 14248 (sugar) S 14246 14248 12939 0 -1 4194304 1310 7094 0 1 6 1 53 4 15 0 1 0 21452906 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14248/statm: 4217 1111 409 3 0 796 0
[pid=14261] ppid=14248 vsize=5356 CPUtime=0
/proc/14261/stat : 14261 (sh) S 14248 14248 12939 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21452977 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14261/statm: 1339 233 193 169 0 50 0
[pid=14262] ppid=14261 vsize=868708 CPUtime=2.36
/proc/14262/stat : 14262 (java) S 14261 14248 12939 0 -1 0 9853 0 1 0 228 8 0 0 18 0 9 0 21452977 889556992 8825 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14262/statm: 217177 8825 2590 9 0 211654 0
[pid=14262/tid=14263] ppid=14261 vsize=868708 CPUtime=1.66
/proc/14262/task/14263/stat : 14263 (java) R 14261 14248 12939 0 -1 64 2996 0 1 0 163 3 0 0 25 0 9 0 21452978 889556992 8825 996147200 134512640 134550932 4294955936 18446744073709551615 4126995429 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14264] ppid=14261 vsize=868708 CPUtime=0.45
/proc/14262/task/14264/stat : 14264 (java) S 14261 14248 12939 0 -1 64 4645 0 0 0 42 3 0 0 16 0 9 0 21452979 889556992 8825 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14265] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14265/stat : 14265 (java) S 14261 14248 12939 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 21452979 889556992 8825 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14266] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14266/stat : 14266 (java) S 14261 14248 12939 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 21452980 889556992 8825 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14267] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14267/stat : 14267 (java) S 14261 14248 12939 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21452982 889556992 8825 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14268] ppid=14261 vsize=868708 CPUtime=0.21
/proc/14262/task/14268/stat : 14268 (java) S 14261 14248 12939 0 -1 64 1514 0 0 0 21 0 0 0 16 0 9 0 21452982 889556992 8825 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14269] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14269/stat : 14269 (java) S 14261 14248 12939 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21452982 889556992 8825 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14270] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14270/stat : 14270 (java) S 14261 14248 12939 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 21452982 889556992 8825 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 890932
[startup+6.30164 s]
/proc/loadavg: 1.94 1.97 1.98 3/92 14270
/proc/meminfo: memFree=1055152/2055920 swapFree=4192956/4192956
[pid=14248] ppid=14246 vsize=16868 CPUtime=0.64
/proc/14248/stat : 14248 (sugar) S 14246 14248 12939 0 -1 4194304 1310 7094 0 1 6 1 53 4 15 0 1 0 21452906 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14248/statm: 4217 1111 409 3 0 796 0
[pid=14261] ppid=14248 vsize=5356 CPUtime=0
/proc/14261/stat : 14261 (sh) S 14248 14248 12939 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21452977 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14261/statm: 1339 233 193 169 0 50 0
[pid=14262] ppid=14261 vsize=868708 CPUtime=5.55
/proc/14262/stat : 14262 (java) S 14261 14248 12939 0 -1 0 9919 0 1 0 546 9 0 0 18 0 9 0 21452977 889556992 8835 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14262/statm: 217177 8835 2590 9 0 211654 0
[pid=14262/tid=14263] ppid=14261 vsize=868708 CPUtime=4.81
/proc/14262/task/14263/stat : 14263 (java) R 14261 14248 12939 0 -1 64 3052 0 1 0 478 3 0 0 25 0 9 0 21452978 889556992 8835 996147200 134512640 134550932 4294955936 18446744073709551615 4126535550 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14264] ppid=14261 vsize=868708 CPUtime=0.47
/proc/14262/task/14264/stat : 14264 (java) S 14261 14248 12939 0 -1 64 4645 0 0 0 44 3 0 0 16 0 9 0 21452979 889556992 8835 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14265] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14265/stat : 14265 (java) S 14261 14248 12939 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 21452979 889556992 8835 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14266] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14266/stat : 14266 (java) S 14261 14248 12939 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 21452980 889556992 8835 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14267] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14267/stat : 14267 (java) S 14261 14248 12939 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21452982 889556992 8835 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14268] ppid=14261 vsize=868708 CPUtime=0.22
/proc/14262/task/14268/stat : 14268 (java) S 14261 14248 12939 0 -1 64 1524 0 0 0 22 0 0 0 16 0 9 0 21452982 889556992 8835 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14269] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14269/stat : 14269 (java) S 14261 14248 12939 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21452982 889556992 8835 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14270] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14270/stat : 14270 (java) S 14261 14248 12939 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 21452982 889556992 8835 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 890932
[startup+12.7016 s]
/proc/loadavg: 2.02 1.99 1.99 3/92 14270
/proc/meminfo: memFree=1054960/2055920 swapFree=4192956/4192956
[pid=14248] ppid=14246 vsize=16868 CPUtime=0.64
/proc/14248/stat : 14248 (sugar) S 14246 14248 12939 0 -1 4194304 1310 7094 0 1 6 1 53 4 16 0 1 0 21452906 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14248/statm: 4217 1111 409 3 0 796 0
[pid=14261] ppid=14248 vsize=5356 CPUtime=0
/proc/14261/stat : 14261 (sh) S 14248 14248 12939 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21452977 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14261/statm: 1339 233 193 169 0 50 0
[pid=14262] ppid=14261 vsize=868708 CPUtime=11.91
/proc/14262/stat : 14262 (java) S 14261 14248 12939 0 -1 0 10028 0 1 0 1182 9 0 0 18 0 9 0 21452977 889556992 8835 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14262/statm: 217177 8835 2590 9 0 211654 0
[pid=14262/tid=14263] ppid=14261 vsize=868708 CPUtime=11.15
/proc/14262/task/14263/stat : 14263 (java) R 14261 14248 12939 0 -1 64 3161 0 1 0 1112 3 0 0 25 0 9 0 21452978 889556992 8835 996147200 134512640 134550932 4294955936 18446744073709551615 4126962395 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14264] ppid=14261 vsize=868708 CPUtime=0.49
/proc/14262/task/14264/stat : 14264 (java) S 14261 14248 12939 0 -1 64 4645 0 0 0 46 3 0 0 16 0 9 0 21452979 889556992 8835 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14265] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14265/stat : 14265 (java) S 14261 14248 12939 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 21452979 889556992 8835 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14266] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14266/stat : 14266 (java) S 14261 14248 12939 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 21452980 889556992 8835 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14267] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14267/stat : 14267 (java) S 14261 14248 12939 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21452982 889556992 8835 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14268] ppid=14261 vsize=868708 CPUtime=0.22
/proc/14262/task/14268/stat : 14268 (java) S 14261 14248 12939 0 -1 64 1524 0 0 0 22 0 0 0 16 0 9 0 21452982 889556992 8835 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14269] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14269/stat : 14269 (java) S 14261 14248 12939 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21452982 889556992 8835 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14270] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14270/stat : 14270 (java) S 14261 14248 12939 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 21452982 889556992 8835 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 890932
[startup+25.5024 s]
/proc/loadavg: 2.09 2.01 1.99 3/92 14270
/proc/meminfo: memFree=1030832/2055920 swapFree=4192956/4192956
[pid=14248] ppid=14246 vsize=16868 CPUtime=0.64
/proc/14248/stat : 14248 (sugar) S 14246 14248 12939 0 -1 4194304 1310 7094 0 1 6 1 53 4 16 0 1 0 21452906 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14248/statm: 4217 1111 409 3 0 796 0
[pid=14261] ppid=14248 vsize=5356 CPUtime=0
/proc/14261/stat : 14261 (sh) S 14248 14248 12939 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21452977 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14261/statm: 1339 233 193 169 0 50 0
[pid=14262] ppid=14261 vsize=868708 CPUtime=24.64
/proc/14262/stat : 14262 (java) S 14261 14248 12939 0 -1 0 10776 0 1 0 2434 30 0 0 18 0 9 0 21452977 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14262/statm: 217177 8842 2590 9 0 211654 0
[pid=14262/tid=14263] ppid=14261 vsize=868708 CPUtime=23.63
/proc/14262/task/14263/stat : 14263 (java) R 14261 14248 12939 0 -1 64 3903 0 1 0 2344 19 0 0 25 0 9 0 21452978 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4126558353 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14264] ppid=14261 vsize=868708 CPUtime=0.74
/proc/14262/task/14264/stat : 14264 (java) S 14261 14248 12939 0 -1 64 4645 0 0 0 66 8 0 0 16 0 9 0 21452979 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14265] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14265/stat : 14265 (java) S 14261 14248 12939 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 21452979 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14266] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14266/stat : 14266 (java) S 14261 14248 12939 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 21452980 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14267] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14267/stat : 14267 (java) S 14261 14248 12939 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21452982 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14268] ppid=14261 vsize=868708 CPUtime=0.24
/proc/14262/task/14268/stat : 14268 (java) S 14261 14248 12939 0 -1 64 1530 0 0 0 23 1 0 0 16 0 9 0 21452982 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14269] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14269/stat : 14269 (java) S 14261 14248 12939 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21452982 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14270] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14270/stat : 14270 (java) S 14261 14248 12939 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 21452982 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 890932
Solver just ended. Dumping a history of the last processes samples
[startup+31.9064 s]
/proc/loadavg: 2.08 2.01 1.99 3/92 14270
/proc/meminfo: memFree=1022000/2055920 swapFree=4192956/4192956
[pid=14248] ppid=14246 vsize=16868 CPUtime=0.64
/proc/14248/stat : 14248 (sugar) S 14246 14248 12939 0 -1 4194304 1310 7094 0 1 6 1 53 4 16 0 1 0 21452906 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14248/statm: 4217 1111 409 3 0 796 0
[pid=14261] ppid=14248 vsize=5356 CPUtime=0
/proc/14261/stat : 14261 (sh) S 14248 14248 12939 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21452977 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14261/statm: 1339 233 193 169 0 50 0
[pid=14262] ppid=14261 vsize=868708 CPUtime=31.01
/proc/14262/stat : 14262 (java) S 14261 14248 12939 0 -1 0 11073 0 1 0 3064 37 0 0 18 0 9 0 21452977 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14262/statm: 217177 8842 2590 9 0 211654 0
[pid=14262/tid=14263] ppid=14261 vsize=868708 CPUtime=29.9
/proc/14262/task/14263/stat : 14263 (java) R 14261 14248 12939 0 -1 64 4200 0 1 0 2965 25 0 0 25 0 9 0 21452978 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4126532880 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14264] ppid=14261 vsize=868708 CPUtime=0.84
/proc/14262/task/14264/stat : 14264 (java) S 14261 14248 12939 0 -1 64 4645 0 0 0 74 10 0 0 16 0 9 0 21452979 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14265] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14265/stat : 14265 (java) S 14261 14248 12939 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 21452979 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14266] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14266/stat : 14266 (java) S 14261 14248 12939 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 21452980 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14267] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14267/stat : 14267 (java) S 14261 14248 12939 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21452982 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14268] ppid=14261 vsize=868708 CPUtime=0.24
/proc/14262/task/14268/stat : 14268 (java) S 14261 14248 12939 0 -1 64 1530 0 0 0 23 1 0 0 16 0 9 0 21452982 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14269] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14269/stat : 14269 (java) S 14261 14248 12939 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21452982 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14270] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14270/stat : 14270 (java) S 14261 14248 12939 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 21452982 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.65
Current children cumulated vsize (KiB) 890932
[startup+35.1028 s]
/proc/loadavg: 2.08 2.01 1.99 3/92 14270
/proc/meminfo: memFree=1015920/2055920 swapFree=4192956/4192956
[pid=14248] ppid=14246 vsize=16868 CPUtime=0.64
/proc/14248/stat : 14248 (sugar) S 14246 14248 12939 0 -1 4194304 1310 7094 0 1 6 1 53 4 16 0 1 0 21452906 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14248/statm: 4217 1111 409 3 0 796 0
[pid=14261] ppid=14248 vsize=5356 CPUtime=0
/proc/14261/stat : 14261 (sh) S 14248 14248 12939 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21452977 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14261/statm: 1339 233 193 169 0 50 0
[pid=14262] ppid=14261 vsize=868708 CPUtime=34.19
/proc/14262/stat : 14262 (java) S 14261 14248 12939 0 -1 0 11250 0 1 0 3377 42 0 0 18 0 9 0 21452977 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14262/statm: 217177 8842 2590 9 0 211654 0
[pid=14262/tid=14263] ppid=14261 vsize=868708 CPUtime=33.03
/proc/14262/task/14263/stat : 14263 (java) R 14261 14248 12939 0 -1 64 4377 0 1 0 3274 29 0 0 25 0 9 0 21452978 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14264] ppid=14261 vsize=868708 CPUtime=0.9
/proc/14262/task/14264/stat : 14264 (java) S 14261 14248 12939 0 -1 64 4645 0 0 0 79 11 0 0 16 0 9 0 21452979 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14265] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14265/stat : 14265 (java) S 14261 14248 12939 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 21452979 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14266] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14266/stat : 14266 (java) S 14261 14248 12939 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 21452980 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14267] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14267/stat : 14267 (java) S 14261 14248 12939 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21452982 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14268] ppid=14261 vsize=868708 CPUtime=0.24
/proc/14262/task/14268/stat : 14268 (java) S 14261 14248 12939 0 -1 64 1530 0 0 0 23 1 0 0 16 0 9 0 21452982 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14269] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14269/stat : 14269 (java) S 14261 14248 12939 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21452982 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14270] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14270/stat : 14270 (java) S 14261 14248 12939 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 21452982 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 34.83
Current children cumulated vsize (KiB) 890932
[startup+38.3023 s]
/proc/loadavg: 2.08 2.01 1.99 3/92 14270
/proc/meminfo: memFree=1010608/2055920 swapFree=4192956/4192956
[pid=14248] ppid=14246 vsize=16868 CPUtime=0.64
/proc/14248/stat : 14248 (sugar) S 14246 14248 12939 0 -1 4194304 1310 7094 0 1 6 1 53 4 15 0 1 0 21452906 17272832 1111 996147200 4194304 4206940 548682068608 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14248/statm: 4217 1111 409 3 0 796 0
[pid=14261] ppid=14248 vsize=5356 CPUtime=0
/proc/14261/stat : 14261 (sh) S 14248 14248 12939 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21452977 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14261/statm: 1339 233 193 169 0 50 0
[pid=14262] ppid=14261 vsize=868708 CPUtime=37.37
/proc/14262/stat : 14262 (java) S 14261 14248 12939 0 -1 0 11434 0 1 0 3687 50 0 0 18 0 9 0 21452977 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14262/statm: 217177 8842 2590 9 0 211654 0
[pid=14262/tid=14263] ppid=14261 vsize=868708 CPUtime=36.13
/proc/14262/task/14263/stat : 14263 (java) R 14261 14248 12939 0 -1 64 4561 0 1 0 3578 35 0 0 25 0 9 0 21452978 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4126985690 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14264] ppid=14261 vsize=868708 CPUtime=0.96
/proc/14262/task/14264/stat : 14264 (java) S 14261 14248 12939 0 -1 64 4645 0 0 0 84 12 0 0 16 0 9 0 21452979 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14265] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14265/stat : 14265 (java) S 14261 14248 12939 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 21452979 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14266] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14266/stat : 14266 (java) S 14261 14248 12939 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 21452980 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14267] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14267/stat : 14267 (java) S 14261 14248 12939 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21452982 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14268] ppid=14261 vsize=868708 CPUtime=0.24
/proc/14262/task/14268/stat : 14268 (java) S 14261 14248 12939 0 -1 64 1530 0 0 0 23 1 0 0 16 0 9 0 21452982 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14269] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14269/stat : 14269 (java) S 14261 14248 12939 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 21452982 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14270] ppid=14261 vsize=868708 CPUtime=0
/proc/14262/task/14270/stat : 14270 (java) S 14261 14248 12939 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 21452982 889556992 8842 996147200 134512640 134550932 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 38.01
Current children cumulated vsize (KiB) 890932
[startup+39.9015 s]
/proc/loadavg: 2.08 2.01 1.99 3/84 14272
/proc/meminfo: memFree=998064/2055920 swapFree=4192956/4192956
[pid=14248] ppid=14246 vsize=16868 CPUtime=38.74
/proc/14248/stat : 14248 (sugar) S 14246 14248 12939 0 -1 4194304 1376 18877 0 2 6 1 3812 55 16 0 1 0 21452906 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14248/statm: 4217 1113 409 3 0 796 0
[pid=14271] ppid=14248 vsize=5356 CPUtime=0
/proc/14271/stat : 14271 (sh) S 14248 14248 12939 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 21456814 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14271/statm: 1339 232 193 169 0 50 0
[pid=14272] ppid=14271 vsize=67040 CPUtime=0.81
/proc/14272/stat : 14272 (minisat) R 14271 14248 12939 0 -1 4194304 16056 0 0 0 71 10 0 0 25 0 1 0 21456814 68648960 16042 996147200 134512640 135127466 4294956256 18446744073709551615 134514069 0 0 4096 3 0 0 0 17 1 0 0
/proc/14272/statm: 16760 16042 62 150 0 16607 0
Current children cumulated CPU time (s) 39.55
Current children cumulated vsize (KiB) 89264
[startup+40.7077 s]
/proc/loadavg: 2.07 2.01 1.99 3/88 14278
/proc/meminfo: memFree=1030032/2055920 swapFree=4192956/4192956
[pid=14248] ppid=14246 vsize=16868 CPUtime=40.22
/proc/14248/stat : 14248 (sugar) S 14246 14248 12939 0 -1 4194304 1448 42772 0 2 6 1 3944 71 16 0 1 0 21452906 17272832 1113 996147200 4194304 4206940 548682068608 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14248/statm: 4217 1113 409 3 0 796 0
[pid=14273] ppid=14248 vsize=5356 CPUtime=0
/proc/14273/stat : 14273 (sh) S 14248 14248 12939 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21456963 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14273/statm: 1339 233 193 169 0 50 0
[pid=14274] ppid=14273 vsize=862012 CPUtime=0.12
/proc/14274/stat : 14274 (java) S 14273 14248 12939 0 -1 0 2938 0 1 0 10 2 0 0 18 0 9 0 21456963 882700288 2411 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14274/statm: 215503 2411 1255 9 0 210416 0
[pid=14274/tid=14275] ppid=14273 vsize=862012 CPUtime=0.08
/proc/14274/task/14275/stat : 14275 (java) R 14273 14248 12939 0 -1 64 2000 0 1 0 7 1 0 0 20 0 9 0 21456964 882700288 2411 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14274/tid=14276] ppid=14273 vsize=862012 CPUtime=0
/proc/14274/task/14276/stat : 14276 (java) S 14273 14248 12939 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 21456965 882700288 2411 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14274/tid=14277] ppid=14273 vsize=862012 CPUtime=0
/proc/14274/task/14277/stat : 14277 (java) S 14273 14248 12939 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 21456965 882700288 2412 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14274/tid=14278] ppid=14273 vsize=862012 CPUtime=0
/proc/14274/task/14278/stat : 14278 (java) S 14273 14248 12939 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 21456965 882700288 2413 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 40.34
Current children cumulated vsize (KiB) 884236
[startup+40.9027 s]
/proc/loadavg: 2.07 2.01 1.99 3/88 14278
/proc/meminfo: memFree=1030032/2055920 swapFree=4192956/4192956
[pid=14248] ppid=14246 vsize=16868 CPUtime=40.24
/proc/14248/stat : 14248 (sugar) S 14246 14248 12939 0 -1 4194304 1451 42772 0 2 7 2 3944 71 15 0 1 0 21452906 17272832 1114 996147200 4194304 4206940 548682068608 18446744073709551615 264916480098 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14248/statm: 4217 1114 409 3 0 796 0
[pid=14273] ppid=14248 vsize=5356 CPUtime=0
/proc/14273/stat : 14273 (sh) S 14248 14248 12939 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 21456963 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 264907580228 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14273/statm: 1339 233 193 169 0 50 0
[pid=14274] ppid=14273 vsize=864120 CPUtime=0.29
/proc/14274/stat : 14274 (java) S 14273 14248 12939 0 -1 0 3694 0 1 0 26 3 0 0 18 0 9 0 21456963 884858880 3158 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14274/statm: 216030 3158 1716 9 0 210535 0
[pid=14274/tid=14275] ppid=14273 vsize=864120 CPUtime=0.2
/proc/14274/task/14275/stat : 14275 (java) S 14273 14248 12939 0 -1 64 2557 0 1 0 18 2 0 0 18 0 9 0 21456964 884858880 3158 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14274/tid=14276] ppid=14273 vsize=864120 CPUtime=0
/proc/14274/task/14276/stat : 14276 (java) S 14273 14248 12939 0 -1 64 119 0 0 0 0 0 0 0 16 0 9 0 21456965 884858880 3158 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14274/tid=14277] ppid=14273 vsize=864120 CPUtime=0
/proc/14274/task/14277/stat : 14277 (java) S 14273 14248 12939 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 21456965 884858880 3158 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14274/tid=14278] ppid=14273 vsize=864120 CPUtime=0
/proc/14274/task/14278/stat : 14278 (java) S 14273 14248 12939 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 21456965 884858880 3158 996147200 134512640 134550932 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 40.53
Current children cumulated vsize (KiB) 886344
Child status: 0
Real time (s): 40.9676
CPU time (s): 40.5978
CPU user time (s): 39.7839
CPU system time (s): 0.813876
CPU usage (%): 99.0975
Max. virtual memory (cumulated for all children) (KiB): 891072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.784
system time used= 0.813876
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48295
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20514
involuntary context switches= 21531
runsolver used 0.050992 second user time and 0.149977 second system time
The end
Begin job on node30 at 2009-07-11 22:24:28
IDJOB=2067078
IDBENCH=54603
IDSOLVER=739
FILE ID=node30/2067078-1247343868
PBS_JOBID= 9506667
Free space on /tmp= 66380 MiB
SOLVER NAME= Sugar v1.14.6+minisat
BENCH NAME= CPAI08/csp/pseudo/logic-synthesis/normalized-rot-b.xml
COMMAND LINE= DIR/sugar -c -vv -memlimit=MEMLIMIT -jar="DIR/sugar-v1-14-6.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2067078-1247343868/watcher-2067078-1247343868 -o /tmp/evaluation-result-2067078-1247343868/solver-2067078-1247343868 -C 1800 -W 2000 -M 900 HOME/sugar -c -vv -memlimit=900 -jar="HOME/sugar-v1-14-6.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-2067078-1247343868.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5e9e5378f7c86cf8c1b1902ee5afb48c
RANDOM SEED=950962493
node30.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.277
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.277
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: 1085032 kB
Buffers: 67964 kB
Cached: 809100 kB
SwapCached: 0 kB
Active: 111752 kB
Inactive: 805580 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1085032 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 2344 kB
Writeback: 0 kB
Mapped: 60716 kB
Slab: 38712 kB
Committed_AS: 201936 kB
PageTables: 1820 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= 66376 MiB
End job on node30 at 2009-07-11 22:25:09