0.00/0.04 c 0 Sugar v1-13 + HOME/minisat
0.00/0.04 c 0 BEGIN Sat Jul 12 11:25:51 2008
0.00/0.04 c 0 PID 14431
0.03/0.05 c 0 HOST node42.alineos.net
0.03/0.05 c 0 CONVERTING HOME/instance-1111812-1215854751.xml TO HOME/temp.csp
0.03/0.05 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1111812-1215854751.xml' 'HOME/temp.csp'
0.03/0.36 c 1 1 domains, 165 variables, 0 predicates, 2 relations, 26 constraints
0.03/0.42 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.42 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.03/0.50 c 1 Parsing HOME/temp.csp
0.35/0.62 c 1 parsed 194 expressions
0.35/0.62 c 1 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.35/0.62 c 1 MAX CSP: 26 constraints
0.35/0.62 c 1 Converting to clausal form CSP
0.35/0.64 c 1 converted 23 (10%) expressions
0.35/0.65 c 1 converted 45 (20%) expressions
0.35/0.65 c 1 converted 67 (30%) expressions
0.35/0.65 c 1 converted 90 (40%) expressions
0.35/0.65 c 1 converted 112 (50%) expressions
0.35/0.65 c 1 converted 134 (60%) expressions
0.35/0.65 c 1 converted 157 (70%) expressions
0.35/0.79 c 1 converted 179 (80%) expressions
0.91/1.01 c 1 converted 201 (90%) expressions
1.01/1.11 c 2 converted 223 (100%) expressions
1.01/1.11 c 2 CSP : 217 integers, 0 booleans, 77 clauses, largest domain size 40
1.01/1.11 c 2 Heap : 14 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.01/1.11 c 2 Propagation in CSP
1.01/1.13 c 2 23 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.01/1.13 c 2 CSP : 217 integers, 0 booleans, 77 clauses, largest domain size 27
1.01/1.13 c 2 Heap : 15 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.01/1.13 c 2 Simplifing CSP by introducing new Boolean variables
1.01/1.13 c 2 CSP : 217 integers, 0 booleans, 77 clauses, largest domain size 27
1.01/1.13 c 2 Heap : 15 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.11/1.21 c 2 Encoding CSP to SAT : HOME/temp.cnf
1.11/1.23 c 2 22 (10%) CSP integer variables are encoded (528 clauses, 5664 bytes)
1.11/1.24 c 2 44 (20%) CSP integer variables are encoded (1056 clauses, 11665 bytes)
1.11/1.24 c 2 66 (30%) CSP integer variables are encoded (1584 clauses, 18529 bytes)
1.11/1.24 c 2 87 (40%) CSP integer variables are encoded (2088 clauses, 25081 bytes)
1.11/1.24 c 2 109 (50%) CSP integer variables are encoded (2616 clauses, 31945 bytes)
1.11/1.24 c 2 131 (60%) CSP integer variables are encoded (3144 clauses, 38809 bytes)
1.11/1.24 c 2 152 (70%) CSP integer variables are encoded (3648 clauses, 45361 bytes)
1.11/1.25 c 2 174 (80%) CSP integer variables are encoded (3960 clauses, 49417 bytes)
1.11/1.25 c 2 196 (90%) CSP integer variables are encoded (3991 clauses, 49820 bytes)
1.11/1.25 c 2 217 (100%) CSP integer variables are encoded (4140 clauses, 51757 bytes)
17.54/17.81 c 18 8 (10%) CSP clauses are encoded (167100 clauses, 12477571 bytes)
31.88/32.35 c 33 16 (20%) CSP clauses are encoded (311139 clauses, 23803949 bytes)
32.38/32.83 c 33 24 (30%) CSP clauses are encoded (322731 clauses, 24886206 bytes)
32.47/32.95 c 33 31 (40%) CSP clauses are encoded (325649 clauses, 25168172 bytes)
32.47/32.96 c 33 39 (50%) CSP clauses are encoded (325714 clauses, 25169208 bytes)
32.47/32.96 c 33 47 (60%) CSP clauses are encoded (325986 clauses, 25173602 bytes)
32.47/32.96 c 33 54 (70%) CSP clauses are encoded (326573 clauses, 25183790 bytes)
32.47/32.96 c 33 62 (80%) CSP clauses are encoded (326611 clauses, 25184372 bytes)
32.47/32.97 c 33 70 (90%) CSP clauses are encoded (326671 clauses, 25185328 bytes)
32.47/32.97 c 33 77 (100%) CSP clauses are encoded (326834 clauses, 25188017 bytes)
32.47/32.97 c 33 77 CSP clauses encoded
32.47/32.97 c 33 Writing map file : HOME/temp.map
32.47/32.97 c 33 Heap : 22 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
32.47/32.98 c 33 SAT : 4357 SAT variables, 326834 SAT clauses, 25188017 bytes
32.47/32.98 c 33 Heap : 22 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
32.47/32.99 c 33 OBJECTIVE minimize _COST
32.47/32.99 c 33 OBJECTIVE BOUND: 0 <= _COST <=
32.47/32.99 c 33 SEARCHING: _COST <= 13
32.47/32.99 c 33 SOLVING HOME/temp.cnf
32.47/32.99 c 33 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
32.47/32.99 c 33 This is MiniSat 2.0 beta
32.47/32.99 c 33 WARNING: for repeatability, setting FPU to use double precision
32.47/32.99 c 33 ============================[ Problem Statistics ]=============================
32.47/32.99 c 33 | |
32.47/33.00 c 33 | Number of variables: 4357 |
32.47/33.00 c 33 | Number of clauses: 326835 |
32.58/33.53 c 34 | Parsing time: 0.48 s |
32.58/33.56 c 34 ============================[ Search Statistics ]==============================
32.58/33.56 c 34 | Conflicts | ORIGINAL | LEARNT | Progress |
32.58/33.56 c 34 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
32.58/33.56 c 34 ===============================================================================
32.58/33.56 c 34 | 0 | 4292 326352 4742038 | 108784 0 nan | 0.000 % |
32.58/33.58 c 34 | 101 | 4292 326352 4742038 | 119662 101 7 | 1.492 % |
32.58/33.62 c 34 | 251 | 4292 326352 4742038 | 131628 251 7 | 1.492 % |
32.58/33.65 c 34 | 476 | 4292 326352 4742038 | 144791 476 7 | 1.492 % |
32.58/33.69 c 34 | 814 | 4292 326352 4742038 | 159270 814 8 | 1.492 % |
32.58/33.76 c 34 | 1322 | 4292 326352 4742038 | 175197 1322 7 | 1.492 % |
32.58/33.82 c 34 | 2081 | 4292 326352 4742038 | 192717 2081 8 | 1.492 % |
32.58/33.97 c 34 | 3220 | 4292 326352 4742038 | 211989 3220 8 | 1.492 % |
33.67/34.11 c 35 | 4929 | 4292 326352 4742038 | 233188 4929 9 | 1.492 % |
33.76/34.29 c 35 | 7492 | 4292 326352 4742038 | 256506 7492 9 | 1.492 % |
34.06/34.58 c 35 | 11336 | 4292 326352 4742038 | 282157 11336 9 | 1.492 % |
34.65/35.20 c 36 | 17102 | 4292 326352 4742038 | 310373 17102 10 | 1.492 % |
35.54/36.07 c 36 | 25753 | 4292 326352 4742038 | 341410 25753 10 | 1.492 % |
37.13/37.66 c 38 | 38729 | 4292 326352 4742038 | 375551 38729 10 | 1.492 % |
40.00/40.56 c 41 | 58193 | 4292 326352 4742038 | 413107 58193 11 | 1.492 % |
49.81/50.42 c 51 | 87386 | 4292 326352 4742038 | 454417 87386 12 | 1.492 % |
53.47/54.10 c 55 ===============================================================================
53.47/54.10 c 55 restarts : 16
53.47/54.10 c 55 conflicts : 108679 (5218 /sec)
53.47/54.10 c 55 decisions : 169467 (1.62 % random) (8137 /sec)
53.47/54.10 c 55 propagations : 4197588 (201537 /sec)
53.47/54.10 c 55 conflict literals : 1316346 (26.43 % deleted)
53.47/54.10 c 55 Memory used : 45.38 MB
53.47/54.10 c 55 CPU time : 20.8278 s
53.47/54.10 c 55
53.47/54.11 c 55 SATISFIABLE
53.47/54.11 c 55 FOUND: _COST <= 13
53.47/54.11 s SATISFIABLE
53.47/54.11 c 55 DECODING HOME/temp.out WITH HOME/temp.map
53.47/54.11 c 55 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
53.47/54.18 c 55 Decoding HOME/temp.out
53.50/54.23 c 55 OBJECTIVE _COST 13
53.50/54.23 o 13
53.50/54.23 v 2 18 25 25 18 12 15 15 18 2 18 18 4 25 4 14 19 25 25 19 20 7 7 15 14 2 19 16 25 23 19 17 25 25 0 11 24 24 14 20 0 0 20 25 0 19 0 25 25 6 19 18 18 13 13 13 6 8 25 18 14 22 25 25 4 8 8 8 19 19 3 4 13 25 15 13 5 25 25 18 15 14 14 0 4 8 18 14 25 4 12 11 25 25 19 11 6 6 13 17 13 19 2 25 17 14 14 25 25 17 4 13 13 4 18 0 17 19 25 0 20 22 25 25 20 23 14 14 14 20 21 20 8 25 19 19 4 11 4 2 14 12 12 20 13 8 2 0 19 4 7 17 25 25 10 17 24 24 18 10 0 10 11 25 17
53.50/54.23 c 55 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
53.50/54.26 c 55 OBJECTIVE BOUND: 0 <= _COST <= 13
53.50/54.27 c 55 SEARCHING: _COST <= 6
53.50/54.27 c 55 SOLVING HOME/temp.cnf
53.50/54.27 c 55 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
53.50/54.27 c 55 This is MiniSat 2.0 beta
53.50/54.27 c 55 WARNING: for repeatability, setting FPU to use double precision
53.50/54.27 c 55 ============================[ Problem Statistics ]=============================
53.50/54.27 c 55 | |
53.50/54.27 c 55 | Number of variables: 4357 |
53.50/54.27 c 55 | Number of clauses: 326835 |
53.64/54.80 c 55 | Parsing time: 0.48 s |
53.64/54.83 c 55 ============================[ Search Statistics ]==============================
53.64/54.83 c 55 | Conflicts | ORIGINAL | LEARNT | Progress |
53.64/54.83 c 55 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
53.64/54.83 c 55 ===============================================================================
53.64/54.83 c 55 | 0 | 4248 326012 4741143 | 108670 0 nan | 0.000 % |
53.64/54.85 c 55 | 100 | 4248 326012 4741143 | 119537 100 8 | 2.502 % |
53.64/54.86 c 55 | 251 | 4248 326012 4741143 | 131491 251 8 | 2.502 % |
54.26/54.93 c 55 | 477 | 4248 326012 4741143 | 144640 477 8 | 2.502 % |
54.26/54.95 c 55 | 814 | 4248 326012 4741143 | 159104 814 8 | 2.502 % |
54.36/55.03 c 55 | 1321 | 4248 326012 4741143 | 175015 1321 9 | 2.502 % |
55.05/55.71 c 56 | 2080 | 4248 326012 4741143 | 192516 2080 9 | 2.502 % |
55.46/56.13 c 57 | 3219 | 4248 326012 4741143 | 211768 3219 10 | 2.502 % |
55.55/56.26 c 57 | 4927 | 4248 326012 4741143 | 232945 4927 10 | 2.502 % |
55.85/56.57 c 57 | 7494 | 4248 326012 4741143 | 256239 7494 10 | 2.502 % |
56.66/57.35 c 58 | 11338 | 4248 326012 4741143 | 281863 11338 11 | 2.502 % |
57.35/58.03 c 58 | 17104 | 4248 326012 4741143 | 310050 17104 11 | 2.502 % |
60.55/61.28 c 62 | 25753 | 4248 326012 4741143 | 341055 25753 12 | 2.502 % |
66.55/67.27 c 68 | 38727 | 4248 326012 4741143 | 375160 38727 13 | 2.502 % |
77.35/78.01 c 78 | 58189 | 4248 326012 4741143 | 412676 58189 13 | 2.502 % |
88.55/89.24 c 90 | 87381 | 4248 326012 4741143 | 453944 87381 14 | 2.502 % |
114.63/115.34 c 116 | 131171 | 4248 326012 4741143 | 499338 131171 15 | 2.502 % |
193.50/194.24 c 195 | 196855 | 4248 326012 4741143 | 549272 196855 17 | 2.502 % |
411.72/412.54 c 413 | 295381 | 4248 326012 4741143 | 604199 295381 17 | 2.502 % |
820.57/821.60 c 822 | 443170 | 4248 326012 4741143 | 664619 443170 18 | 2.502 % |
1658.56/1659.81 c 1660 | 664855 | 4248 326012 4741143 | 731081 664855 19 | 2.502 % |
2640.87/2642.53 c 2643 | 997380 | 4248 326012 4741143 | 804190 311483 20 | 2.502 % |
3600.02/3602.01 c ERROR INTERRUPTED
3600.02/3602.03 c 3602 CPU 53.14 (0.04 0.01 53.1 0.5)
3600.02/3602.03 c 3602 END Sat Jul 12 12:25:53 2008
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1111812-1215854751/watcher-1111812-1215854751 -o /tmp/evaluation-result-1111812-1215854751/solver-1111812-1215854751 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-1111812-1215854751.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.92 4/73 14431
/proc/meminfo: memFree=1826712/2055920 swapFree=4181040/4192956
[pid=14431] ppid=14429 vsize=12268 CPUtime=0
/proc/14431/stat : 14431 (sugar) R 14429 14431 14221 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 42174568 12562432 316 996147200 4194304 4206940 548682068592 18446744073709551615 259415308901 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/14431/statm: 3067 316 241 3 0 167 0
[startup+0.050371 s]
/proc/loadavg: 2.00 2.00 1.92 4/73 14431
/proc/meminfo: memFree=1826712/2055920 swapFree=4181040/4192956
[pid=14431] ppid=14429 vsize=13600 CPUtime=0.03
/proc/14431/stat : 14431 (sugar) S 14429 14431 14221 0 -1 4194304 838 0 0 0 3 0 0 0 18 0 1 0 42174568 13926400 792 996147200 4194304 4206940 548682068592 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14431/statm: 3400 792 367 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.10161 s]
/proc/loadavg: 2.00 2.00 1.92 4/73 14431
/proc/meminfo: memFree=1826712/2055920 swapFree=4181040/4192956
[pid=14431] ppid=14429 vsize=13600 CPUtime=0.03
/proc/14431/stat : 14431 (sugar) S 14429 14431 14221 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 42174568 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14431/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.30163 s]
/proc/loadavg: 2.00 2.00 1.92 4/73 14431
/proc/meminfo: memFree=1826712/2055920 swapFree=4181040/4192956
[pid=14431] ppid=14429 vsize=13600 CPUtime=0.03
/proc/14431/stat : 14431 (sugar) S 14429 14431 14221 0 -1 4194304 898 127 0 0 3 0 0 0 19 0 1 0 42174568 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14431/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.701677 s]
/proc/loadavg: 2.00 2.00 1.92 4/73 14431
/proc/meminfo: memFree=1826712/2055920 swapFree=4181040/4192956
[pid=14431] ppid=14429 vsize=13600 CPUtime=0.35
/proc/14431/stat : 14431 (sugar) S 14429 14431 14221 0 -1 4194304 974 4367 0 1 3 0 29 3 15 0 1 0 42174568 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14431/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 13600
[startup+1.50276 s]
/proc/loadavg: 2.00 2.00 1.92 4/84 14453
/proc/meminfo: memFree=1804736/2055920 swapFree=4181040/4192956
[pid=14431] ppid=14429 vsize=13600 CPUtime=0.35
/proc/14431/stat : 14431 (sugar) S 14429 14431 14221 0 -1 4194304 974 4367 0 1 3 0 29 3 15 0 1 0 42174568 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14431/statm: 3400 797 370 3 0 500 0
[pid=14444] ppid=14431 vsize=5356 CPUtime=0
/proc/14444/stat : 14444 (sh) S 14431 14431 14221 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 42174610 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14444/statm: 1339 233 193 169 0 50 0
[pid=14445] ppid=14444 vsize=864284 CPUtime=1.04
/proc/14445/stat : 14445 (java) S 14444 14431 14221 0 -1 0 8846 0 1 0 100 4 0 0 18 0 9 0 42174610 885026816 8080 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14445/statm: 216071 8080 2565 9 0 210618 0
[pid=14445/tid=14446] ppid=14444 vsize=864284 CPUtime=0.54
/proc/14445/task/14446/stat : 14446 (java) R 14444 14431 14221 0 -1 64 2859 0 1 0 52 2 0 0 19 0 9 0 42174611 885026816 8080 996147200 134512640 134550740 4294955936 18446744073709551615 4126598041 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14447] ppid=14444 vsize=864284 CPUtime=0.38
/proc/14445/task/14447/stat : 14447 (java) S 14444 14431 14221 0 -1 64 4941 0 0 0 37 1 0 0 16 0 9 0 42174612 885026816 8080 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14448] ppid=14444 vsize=864284 CPUtime=0
/proc/14445/task/14448/stat : 14448 (java) S 14444 14431 14221 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 42174613 885026816 8080 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14449] ppid=14444 vsize=864284 CPUtime=0
/proc/14445/task/14449/stat : 14449 (java) S 14444 14431 14221 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42174613 885026816 8080 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14450] ppid=14444 vsize=864284 CPUtime=0
/proc/14445/task/14450/stat : 14450 (java) S 14444 14431 14221 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42174614 885026816 8080 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14451] ppid=14444 vsize=864284 CPUtime=0.1
/proc/14445/task/14451/stat : 14451 (java) S 14444 14431 14221 0 -1 64 353 0 0 0 10 0 0 0 16 0 9 0 42174614 885026816 8080 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14452] ppid=14444 vsize=864284 CPUtime=0
/proc/14445/task/14452/stat : 14452 (java) S 14444 14431 14221 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42174615 885026816 8080 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14453] ppid=14444 vsize=864284 CPUtime=0
/proc/14445/task/14453/stat : 14453 (java) S 14444 14431 14221 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42174615 885026816 8080 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 883240
[startup+3.10294 s]
/proc/loadavg: 2.00 2.00 1.92 3/84 14453
/proc/meminfo: memFree=1801536/2055920 swapFree=4181040/4192956
[pid=14431] ppid=14429 vsize=13600 CPUtime=0.35
/proc/14431/stat : 14431 (sugar) S 14429 14431 14221 0 -1 4194304 974 4367 0 1 3 0 29 3 15 0 1 0 42174568 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14431/statm: 3400 797 370 3 0 500 0
[pid=14444] ppid=14431 vsize=5356 CPUtime=0
/proc/14444/stat : 14444 (sh) S 14431 14431 14221 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 42174610 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14444/statm: 1339 233 193 169 0 50 0
[pid=14445] ppid=14444 vsize=864284 CPUtime=2.63
/proc/14445/stat : 14445 (java) S 14444 14431 14221 0 -1 0 9474 0 1 0 258 5 0 0 18 0 9 0 42174610 885026816 8670 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14445/statm: 216071 8670 2565 9 0 210618 0
[pid=14445/tid=14446] ppid=14444 vsize=864284 CPUtime=2.09
/proc/14445/task/14446/stat : 14446 (java) R 14444 14431 14221 0 -1 64 2897 0 1 0 207 2 0 0 25 0 9 0 42174611 885026816 8670 996147200 134512640 134550740 4294955936 18446744073709551615 102064907 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14447] ppid=14444 vsize=864284 CPUtime=0.43
/proc/14445/task/14447/stat : 14447 (java) S 14444 14431 14221 0 -1 64 5531 0 0 0 41 2 0 0 15 0 9 0 42174612 885026816 8670 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14448] ppid=14444 vsize=864284 CPUtime=0
/proc/14445/task/14448/stat : 14448 (java) S 14444 14431 14221 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 42174613 885026816 8670 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14449] ppid=14444 vsize=864284 CPUtime=0
/proc/14445/task/14449/stat : 14449 (java) S 14444 14431 14221 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42174613 885026816 8670 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14450] ppid=14444 vsize=864284 CPUtime=0
/proc/14445/task/14450/stat : 14450 (java) S 14444 14431 14221 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42174614 885026816 8670 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14451] ppid=14444 vsize=864284 CPUtime=0.1
/proc/14445/task/14451/stat : 14451 (java) S 14444 14431 14221 0 -1 64 353 0 0 0 10 0 0 0 16 0 9 0 42174614 885026816 8670 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14452] ppid=14444 vsize=864284 CPUtime=0
/proc/14445/task/14452/stat : 14452 (java) S 14444 14431 14221 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42174615 885026816 8670 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14453] ppid=14444 vsize=864284 CPUtime=0
/proc/14445/task/14453/stat : 14453 (java) S 14444 14431 14221 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42174615 885026816 8670 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 883240
[startup+6.3013 s]
/proc/loadavg: 2.00 2.00 1.92 3/84 14453
/proc/meminfo: memFree=1793032/2055920 swapFree=4181040/4192956
[pid=14431] ppid=14429 vsize=13600 CPUtime=0.35
/proc/14431/stat : 14431 (sugar) S 14429 14431 14221 0 -1 4194304 974 4367 0 1 3 0 29 3 15 0 1 0 42174568 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14431/statm: 3400 797 370 3 0 500 0
[pid=14444] ppid=14431 vsize=5356 CPUtime=0
/proc/14444/stat : 14444 (sh) S 14431 14431 14221 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 42174610 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14444/statm: 1339 233 193 169 0 50 0
[pid=14445] ppid=14444 vsize=864284 CPUtime=5.8
/proc/14445/stat : 14445 (java) S 14444 14431 14221 0 -1 0 10829 0 1 0 572 8 0 0 18 0 9 0 42174610 885026816 9886 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14445/statm: 216071 9886 2565 9 0 210618 0
[pid=14445/tid=14446] ppid=14444 vsize=864284 CPUtime=5.14
/proc/14445/task/14446/stat : 14446 (java) R 14444 14431 14221 0 -1 64 3036 0 1 0 510 4 0 0 25 0 9 0 42174611 885026816 9886 996147200 134512640 134550740 4294955936 18446744073709551615 4126616855 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14447] ppid=14444 vsize=864284 CPUtime=0.53
/proc/14445/task/14447/stat : 14447 (java) S 14444 14431 14221 0 -1 64 6741 0 0 0 50 3 0 0 16 0 9 0 42174612 885026816 9886 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14448] ppid=14444 vsize=864284 CPUtime=0
/proc/14445/task/14448/stat : 14448 (java) S 14444 14431 14221 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 42174613 885026816 9886 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14449] ppid=14444 vsize=864284 CPUtime=0
/proc/14445/task/14449/stat : 14449 (java) S 14444 14431 14221 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42174613 885026816 9886 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14450] ppid=14444 vsize=864284 CPUtime=0
/proc/14445/task/14450/stat : 14450 (java) S 14444 14431 14221 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42174614 885026816 9886 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14451] ppid=14444 vsize=864284 CPUtime=0.11
/proc/14445/task/14451/stat : 14451 (java) S 14444 14431 14221 0 -1 64 359 0 0 0 11 0 0 0 16 0 9 0 42174614 885026816 9886 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14452] ppid=14444 vsize=864284 CPUtime=0
/proc/14445/task/14452/stat : 14452 (java) S 14444 14431 14221 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42174615 885026816 9886 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14453] ppid=14444 vsize=864284 CPUtime=0
/proc/14445/task/14453/stat : 14453 (java) S 14444 14431 14221 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42174615 885026816 9886 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 883240
[startup+12.702 s]
/proc/loadavg: 2.07 2.02 1.92 3/84 14453
/proc/meminfo: memFree=1784328/2055920 swapFree=4181040/4192956
[pid=14431] ppid=14429 vsize=13600 CPUtime=0.35
/proc/14431/stat : 14431 (sugar) S 14429 14431 14221 0 -1 4194304 974 4367 0 1 3 0 29 3 15 0 1 0 42174568 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14431/statm: 3400 797 370 3 0 500 0
[pid=14444] ppid=14431 vsize=5356 CPUtime=0
/proc/14444/stat : 14444 (sh) S 14431 14431 14221 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 42174610 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14444/statm: 1339 233 193 169 0 50 0
[pid=14445] ppid=14444 vsize=864368 CPUtime=12.14
/proc/14445/stat : 14445 (java) S 14444 14431 14221 0 -1 0 12907 0 1 0 1199 15 0 0 18 0 9 0 42174610 885112832 10514 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14445/statm: 216092 10514 2565 9 0 210639 0
[pid=14445/tid=14446] ppid=14444 vsize=864368 CPUtime=11.19
/proc/14445/task/14446/stat : 14446 (java) R 14444 14431 14221 0 -1 64 3276 0 1 0 1110 9 0 0 25 0 9 0 42174611 885112832 10514 996147200 134512640 134550740 4294955936 18446744073709551615 4126598016 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14447] ppid=14444 vsize=864368 CPUtime=0.81
/proc/14445/task/14447/stat : 14447 (java) S 14444 14431 14221 0 -1 64 8575 0 0 0 76 5 0 0 16 0 9 0 42174612 885112832 10514 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14448] ppid=14444 vsize=864368 CPUtime=0
/proc/14445/task/14448/stat : 14448 (java) S 14444 14431 14221 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 42174613 885112832 10514 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14449] ppid=14444 vsize=864368 CPUtime=0
/proc/14445/task/14449/stat : 14449 (java) S 14444 14431 14221 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42174613 885112832 10514 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14450] ppid=14444 vsize=864368 CPUtime=0
/proc/14445/task/14450/stat : 14450 (java) S 14444 14431 14221 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 42174614 885112832 10514 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14451] ppid=14444 vsize=864368 CPUtime=0.12
/proc/14445/task/14451/stat : 14451 (java) S 14444 14431 14221 0 -1 64 363 0 0 0 12 0 0 0 17 0 9 0 42174614 885112832 10514 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14452] ppid=14444 vsize=864368 CPUtime=0
/proc/14445/task/14452/stat : 14452 (java) S 14444 14431 14221 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 42174615 885112832 10514 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14453] ppid=14444 vsize=864368 CPUtime=0
/proc/14445/task/14453/stat : 14453 (java) S 14444 14431 14221 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42174615 885112832 10514 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 883324
[startup+25.5024 s]
/proc/loadavg: 2.14 2.03 1.93 3/84 14453
/proc/meminfo: memFree=1772680/2055920 swapFree=4181040/4192956
[pid=14431] ppid=14429 vsize=13600 CPUtime=0.35
/proc/14431/stat : 14431 (sugar) S 14429 14431 14221 0 -1 4194304 974 4367 0 1 3 0 29 3 16 0 1 0 42174568 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14431/statm: 3400 797 370 3 0 500 0
[pid=14444] ppid=14431 vsize=5356 CPUtime=0
/proc/14444/stat : 14444 (sh) S 14431 14431 14221 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 42174610 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14444/statm: 1339 233 193 169 0 50 0
[pid=14445] ppid=14444 vsize=864368 CPUtime=24.8
/proc/14445/stat : 14445 (java) S 14444 14431 14221 0 -1 0 16350 0 1 0 2454 26 0 0 18 0 9 0 42174610 885112832 11089 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14445/statm: 216092 11089 2565 9 0 210639 0
[pid=14445/tid=14446] ppid=14444 vsize=864368 CPUtime=23.26
/proc/14445/task/14446/stat : 14446 (java) R 14444 14431 14221 0 -1 64 3728 0 1 0 2311 15 0 0 25 0 9 0 42174611 885112832 11089 996147200 134512640 134550740 4294955936 18446744073709551615 4126598103 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14447] ppid=14444 vsize=864368 CPUtime=1.38
/proc/14445/task/14447/stat : 14447 (java) S 14444 14431 14221 0 -1 64 11566 0 0 0 129 9 0 0 16 0 9 0 42174612 885112832 11089 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14448] ppid=14444 vsize=864368 CPUtime=0
/proc/14445/task/14448/stat : 14448 (java) S 14444 14431 14221 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 42174613 885112832 11089 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14445/tid=14449] ppid=14444 vsize=864368 CPUtime=0
/proc/14445/task/14449/stat : 14449 (java) S 14444 14431 14221 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42174613 885112832 11089 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/meminfo: memFree=1719048/2055920 swapFree=4181040/4192956
[pid=14431] ppid=14429 vsize=13600 CPUtime=53.65
/proc/14431/stat : 14431 (sugar) S 14429 14431 14221 0 -1 4194304 1173 38442 0 3 4 1 5310 50 16 0 1 0 42174568 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14431/statm: 3400 804 374 3 0 500 0
[pid=14467] ppid=14431 vsize=5356 CPUtime=0
/proc/14467/stat : 14467 (sh) S 14431 14431 14221 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42179995 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14467/statm: 1339 232 193 169 0 50 0
[pid=14468] ppid=14467 vsize=121572 CPUtime=3046.86
/proc/14468/stat : 14468 (minisat) R 14467 14431 14221 0 -1 4194304 29381 0 0 0 304651 35 0 0 25 0 1 0 42179995 124489728 29367 996147200 134512640 135127466 4294956256 18446744073709551615 134530933 0 0 4096 3 0 0 0 17 0 0 0
/proc/14468/statm: 30393 29367 76 150 0 30240 0
Current children cumulated CPU time (s) 3100.51
Current children cumulated vsize (KiB) 140528
[startup+3162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 14503
/proc/meminfo: memFree=1718856/2055920 swapFree=4181040/4192956
[pid=14431] ppid=14429 vsize=13600 CPUtime=53.65
/proc/14431/stat : 14431 (sugar) S 14429 14431 14221 0 -1 4194304 1173 38442 0 3 4 1 5310 50 16 0 1 0 42174568 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14431/statm: 3400 804 374 3 0 500 0
[pid=14467] ppid=14431 vsize=5356 CPUtime=0
/proc/14467/stat : 14467 (sh) S 14431 14431 14221 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42179995 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14467/statm: 1339 232 193 169 0 50 0
[pid=14468] ppid=14467 vsize=121868 CPUtime=3106.83
/proc/14468/stat : 14468 (minisat) R 14467 14431 14221 0 -1 4194304 29437 0 0 0 310648 35 0 0 25 0 1 0 42179995 124792832 29423 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14468/statm: 30467 29423 76 150 0 30314 0
Current children cumulated CPU time (s) 3160.48
Current children cumulated vsize (KiB) 140824
[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 14505
/proc/meminfo: memFree=1718280/2055920 swapFree=4181040/4192956
[pid=14431] ppid=14429 vsize=13600 CPUtime=53.65
/proc/14431/stat : 14431 (sugar) S 14429 14431 14221 0 -1 4194304 1173 38442 0 3 4 1 5310 50 16 0 1 0 42174568 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14431/statm: 3400 804 374 3 0 500 0
[pid=14467] ppid=14431 vsize=5356 CPUtime=0
/proc/14467/stat : 14467 (sh) S 14431 14431 14221 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42179995 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14467/statm: 1339 232 193 169 0 50 0
[pid=14468] ppid=14467 vsize=122152 CPUtime=3166.81
/proc/14468/stat : 14468 (minisat) R 14467 14431 14221 0 -1 4194304 29518 0 0 0 316645 36 0 0 25 0 1 0 42179995 125083648 29504 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14468/statm: 30538 29504 76 150 0 30385 0
Current children cumulated CPU time (s) 3220.46
Current children cumulated vsize (KiB) 141108
[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 14505
/proc/meminfo: memFree=1718280/2055920 swapFree=4181040/4192956
[pid=14431] ppid=14429 vsize=13600 CPUtime=53.65
/proc/14431/stat : 14431 (sugar) S 14429 14431 14221 0 -1 4194304 1173 38442 0 3 4 1 5310 50 16 0 1 0 42174568 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14431/statm: 3400 804 374 3 0 500 0
[pid=14467] ppid=14431 vsize=5356 CPUtime=0
/proc/14467/stat : 14467 (sh) S 14431 14431 14221 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42179995 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14467/statm: 1339 232 193 169 0 50 0
[pid=14468] ppid=14467 vsize=122152 CPUtime=3226.8
/proc/14468/stat : 14468 (minisat) R 14467 14431 14221 0 -1 4194304 29536 0 0 0 322644 36 0 0 25 0 1 0 42179995 125083648 29522 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14468/statm: 30538 29522 76 150 0 30385 0
Current children cumulated CPU time (s) 3280.45
Current children cumulated vsize (KiB) 141108
[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 14505
/proc/meminfo: memFree=1718280/2055920 swapFree=4181040/4192956
[pid=14431] ppid=14429 vsize=13600 CPUtime=53.65
/proc/14431/stat : 14431 (sugar) S 14429 14431 14221 0 -1 4194304 1173 38442 0 3 4 1 5310 50 16 0 1 0 42174568 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14431/statm: 3400 804 374 3 0 500 0
[pid=14467] ppid=14431 vsize=5356 CPUtime=0
/proc/14467/stat : 14467 (sh) S 14431 14431 14221 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42179995 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14467/statm: 1339 232 193 169 0 50 0
[pid=14468] ppid=14467 vsize=122152 CPUtime=3286.77
/proc/14468/stat : 14468 (minisat) R 14467 14431 14221 0 -1 4194304 29550 0 0 0 328641 36 0 0 25 0 1 0 42179995 125083648 29536 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14468/statm: 30538 29536 76 150 0 30385 0
Current children cumulated CPU time (s) 3340.42
Current children cumulated vsize (KiB) 141108
[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 14505
/proc/meminfo: memFree=1718216/2055920 swapFree=4181040/4192956
[pid=14431] ppid=14429 vsize=13600 CPUtime=53.65
/proc/14431/stat : 14431 (sugar) S 14429 14431 14221 0 -1 4194304 1173 38442 0 3 4 1 5310 50 16 0 1 0 42174568 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14431/statm: 3400 804 374 3 0 500 0
[pid=14467] ppid=14431 vsize=5356 CPUtime=0
/proc/14467/stat : 14467 (sh) S 14431 14431 14221 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42179995 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14467/statm: 1339 232 193 169 0 50 0
[pid=14468] ppid=14467 vsize=122232 CPUtime=3346.75
/proc/14468/stat : 14468 (minisat) R 14467 14431 14221 0 -1 4194304 29558 0 0 0 334639 36 0 0 25 0 1 0 42179995 125165568 29544 996147200 134512640 135127466 4294956256 18446744073709551615 134528005 0 0 4096 3 0 0 0 17 0 0 0
/proc/14468/statm: 30558 29544 76 150 0 30405 0
Current children cumulated CPU time (s) 3400.4
Current children cumulated vsize (KiB) 141188
[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 14505
/proc/meminfo: memFree=1717960/2055920 swapFree=4181040/4192956
[pid=14431] ppid=14429 vsize=13600 CPUtime=53.65
/proc/14431/stat : 14431 (sugar) S 14429 14431 14221 0 -1 4194304 1173 38442 0 3 4 1 5310 50 16 0 1 0 42174568 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14431/statm: 3400 804 374 3 0 500 0
[pid=14467] ppid=14431 vsize=5356 CPUtime=0
/proc/14467/stat : 14467 (sh) S 14431 14431 14221 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42179995 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14467/statm: 1339 232 193 169 0 50 0
[pid=14468] ppid=14467 vsize=122476 CPUtime=3406.73
/proc/14468/stat : 14468 (minisat) R 14467 14431 14221 0 -1 4194304 29608 0 0 0 340637 36 0 0 25 0 1 0 42179995 125415424 29594 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14468/statm: 30619 29594 76 150 0 30466 0
Current children cumulated CPU time (s) 3460.38
Current children cumulated vsize (KiB) 141432
[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 14505
/proc/meminfo: memFree=1717320/2055920 swapFree=4181040/4192956
[pid=14431] ppid=14429 vsize=13600 CPUtime=53.65
/proc/14431/stat : 14431 (sugar) S 14429 14431 14221 0 -1 4194304 1173 38442 0 3 4 1 5310 50 16 0 1 0 42174568 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14431/statm: 3400 804 374 3 0 500 0
[pid=14467] ppid=14431 vsize=5356 CPUtime=0
/proc/14467/stat : 14467 (sh) S 14431 14431 14221 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42179995 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14467/statm: 1339 232 193 169 0 50 0
[pid=14468] ppid=14467 vsize=123220 CPUtime=3466.7
/proc/14468/stat : 14468 (minisat) R 14467 14431 14221 0 -1 4194304 29745 0 0 0 346634 36 0 0 25 0 1 0 42179995 126177280 29731 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14468/statm: 30805 29731 76 150 0 30652 0
Current children cumulated CPU time (s) 3520.35
Current children cumulated vsize (KiB) 142176
[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 14505
/proc/meminfo: memFree=1716936/2055920 swapFree=4181040/4192956
[pid=14431] ppid=14429 vsize=13600 CPUtime=53.65
/proc/14431/stat : 14431 (sugar) S 14429 14431 14221 0 -1 4194304 1173 38442 0 3 4 1 5310 50 16 0 1 0 42174568 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14431/statm: 3400 804 374 3 0 500 0
[pid=14467] ppid=14431 vsize=5356 CPUtime=0
/proc/14467/stat : 14467 (sh) S 14431 14431 14221 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42179995 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14467/statm: 1339 232 193 169 0 50 0
[pid=14468] ppid=14467 vsize=123880 CPUtime=3526.68
/proc/14468/stat : 14468 (minisat) R 14467 14431 14221 0 -1 4194304 29848 0 0 0 352632 36 0 0 25 0 1 0 42179995 126853120 29834 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14468/statm: 30970 29834 76 150 0 30817 0
Current children cumulated CPU time (s) 3580.33
Current children cumulated vsize (KiB) 142836
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3602 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 14505
/proc/meminfo: memFree=1716808/2055920 swapFree=4181040/4192956
[pid=14431] ppid=14429 vsize=13600 CPUtime=53.65
/proc/14431/stat : 14431 (sugar) S 14429 14431 14221 0 -1 4194304 1173 38442 0 3 4 1 5310 50 16 0 1 0 42174568 13926400 804 996147200 4194304 4206940 548682068592 18446744073709551615 259424039010 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14431/statm: 3400 804 374 3 0 500 0
[pid=14467] ppid=14431 vsize=5356 CPUtime=0
/proc/14467/stat : 14467 (sh) S 14431 14431 14221 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42179995 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14467/statm: 1339 232 193 169 0 50 0
[pid=14468] ppid=14467 vsize=123880 CPUtime=3546.37
/proc/14468/stat : 14468 (minisat) R 14467 14431 14221 0 -1 4194304 29851 0 0 0 354601 36 0 0 25 0 1 0 42179995 126853120 29837 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/14468/statm: 30970 29837 76 150 0 30817 0
Current children cumulated CPU time (s) 3600.02
Current children cumulated vsize (KiB) 142836
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14431 and gives
# childrusage.ru_utime.tv_sec=53
# childrusage.ru_utime.tv_usec=149919
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=535918
# CPU time returned by wait4() is 53.6858
# while last known CPU time is 3600.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 3602.04
CPU time (s): 3600.02
CPU user time (s): 3599.15
CPU system time (s): 0.87
CPU usage (%): 99.944
Max. virtual memory (cumulated for all children) (KiB): 886536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.1499
system time used= 0.535918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39958
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= 10298
involuntary context switches= 11100
runsolver used 3.75243 second user time and 9.50855 second system time
The end
Begin job on node42 at 2008-07-12 11:25:51
IDJOB=1111812
IDBENCH=61326
IDSOLVER=368
FILE ID=node42/1111812-1215854751
PBS_JOBID= 7903462
Free space on /tmp= 66488 MiB
SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/lexVg/normalized-crossword-m1c-lex-vg11-15_ext.xml
COMMAND LINE= DIR/sugar -max -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1111812-1215854751/watcher-1111812-1215854751 -o /tmp/evaluation-result-1111812-1215854751/solver-1111812-1215854751 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-1111812-1215854751.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 94a222d57bade926026175cb32fe08c2
RANDOM SEED=1369760364
node42.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.232
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.232
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: 1827192 kB
Buffers: 20912 kB
Cached: 92352 kB
SwapCached: 5804 kB
Active: 119900 kB
Inactive: 51184 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1827192 kB
SwapTotal: 4192956 kB
SwapFree: 4181040 kB
Dirty: 1308 kB
Writeback: 0 kB
Mapped: 64788 kB
Slab: 42828 kB
Committed_AS: 191480 kB
PageTables: 1848 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= 66488 MiB
End job on node42 at 2008-07-12 12:25:55