0.04/0.24 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.04/0.24 c 0 BEGIN Tue Jul 22 21:15:07 2008
0.04/0.24 c 0 PID 3670
0.04/0.25 c 0 HOST node12.alineos.net
0.04/0.25 c 0 CONVERTING HOME/instance-1127251-1216754106.xml TO HOME/temp.csp
0.04/0.25 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1127251-1216754106.xml' 'HOME/temp.csp'
0.38/1.71 c 1 1 domains, 40 variables, 0 predicates, 14 relations, 670 constraints
0.38/1.73 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.38/1.73 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -incremental -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.41/1.82 c 1 Parsing HOME/temp.csp
0.41/1.98 c 1 parsed 725 expressions
0.41/1.98 c 1 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.41/1.99 c 1 MAX CSP: 670 constraints
0.41/1.99 c 1 Converting to clausal form CSP
0.41/2.03 c 1 converted 140 (10%) expressions
0.41/2.04 c 1 converted 280 (20%) expressions
0.41/2.06 c 1 converted 420 (30%) expressions
0.41/2.07 c 1 converted 560 (40%) expressions
0.41/2.07 c 1 converted 699 (50%) expressions
0.41/2.09 c 1 converted 839 (60%) expressions
0.41/2.09 c 1 converted 979 (70%) expressions
0.75/2.17 c 2 converted 1119 (80%) expressions
0.75/2.17 c 2 converted 1259 (90%) expressions
0.84/2.28 c 2 converted 1398 (100%) expressions
0.84/2.29 c 2 CSP : 1380 integers, 0 booleans, 2009 clauses, largest domain size 1006
0.84/2.29 c 2 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.84/2.29 c 2 Propagation in CSP
0.95/2.33 c 2 664 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.95/2.33 c 2 CSP : 1380 integers, 0 booleans, 2009 clauses, largest domain size 671
0.95/2.33 c 2 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.95/2.33 c 2 Simplifing CSP by introducing new Boolean variables
0.95/2.34 c 2 CSP : 1380 integers, 0 booleans, 2009 clauses, largest domain size 671
0.95/2.34 c 2 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.95/2.38 c 2 Encoding CSP to SAT : HOME/temp.cnf
0.95/2.39 c 2 138 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.95/2.39 c 2 276 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.95/2.39 c 2 414 (30%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.95/2.39 c 2 552 (40%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.95/2.39 c 2 690 (50%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.03/2.40 c 2 828 (60%) CSP integer variables are encoded (1241 clauses, 15620 bytes)
1.03/2.41 c 2 966 (70%) CSP integer variables are encoded (2230 clauses, 28477 bytes)
1.03/2.41 c 2 1104 (80%) CSP integer variables are encoded (8769 clauses, 113484 bytes)
1.03/2.42 c 2 1242 (90%) CSP integer variables are encoded (9721 clauses, 127557 bytes)
1.03/2.42 c 2 1380 (100%) CSP integer variables are encoded (11043 clauses, 147387 bytes)
1.03/2.45 c 2 201 (10%) CSP clauses are encoded (11345 clauses, 150576 bytes)
1.03/2.47 c 2 402 (20%) CSP clauses are encoded (11651 clauses, 154033 bytes)
1.03/2.49 c 2 603 (30%) CSP clauses are encoded (11955 clauses, 157618 bytes)
1.14/2.51 c 2 804 (40%) CSP clauses are encoded (14916 clauses, 207524 bytes)
1.14/2.56 c 2 1005 (50%) CSP clauses are encoded (42629 clauses, 709672 bytes)
1.14/2.58 c 2 1206 (60%) CSP clauses are encoded (50962 clauses, 856664 bytes)
2.03/3.40 c 3 1407 (70%) CSP clauses are encoded (478197 clauses, 8682863 bytes)
2.03/3.42 c 3 1608 (80%) CSP clauses are encoded (487798 clauses, 8867429 bytes)
2.03/3.47 c 3 1809 (90%) CSP clauses are encoded (510799 clauses, 9350765 bytes)
2.22/3.63 c 3 2009 (100%) CSP clauses are encoded (595269 clauses, 11147033 bytes)
2.22/3.63 c 3 2009 CSP clauses encoded
2.22/3.63 c 3 Writing map file : HOME/temp.map
2.22/3.64 c 3 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.22/3.64 c 3 SAT : 12423 SAT variables, 595269 SAT clauses, 11147033 bytes
2.22/3.64 c 3 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.22/3.67 c 3 OBJECTIVE minimize _COST
2.22/3.67 c 3 SOLVING HOME/temp.cnf
2.22/3.67 c 3 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
2.22/3.67 c 3 This is MiniSat 2.0 beta incremental
2.22/3.67 c 3 WARNING: for repeatability, setting FPU to use double precision
2.22/3.67 c 3 ============================[ Problem Statistics ]=============================
2.22/3.67 c 3 | |
2.22/3.67 c 3 | Number of variables: 12423 |
2.22/3.67 c 3 | Number of clauses: 595269 |
2.29/3.92 c 3 | Parsing time: 0.22 s |
2.29/3.94 c 3 OK
2.29/3.94 c 3 OBJECTIVE BOUND: 0 <= _COST <=
2.29/3.94 c 3 SEARCHING: _COST <= 335
2.90/4.32 c 3 ============================[ Search Statistics ]==============================
2.90/4.32 c 3 | Conflicts | ORIGINAL | LEARNT | Progress |
2.90/4.32 c 3 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.90/4.32 c 3 ===============================================================================
2.90/4.32 c 3 | 0 | 12423 595269 1751301 | 198423 0 nan | 0.000 % |
2.90/4.32 c 4 | 100 | 12420 595269 1751301 | 218265 98 12 | 0.228 % |
2.90/4.32 c 4 | 250 | 12420 595269 1751301 | 240091 247 14 | 0.364 % |
3.00/4.41 c 4 | 475 | 12420 595269 1751301 | 264101 469 13 | 0.727 % |
3.30/4.77 c 4 | 813 | 12414 595269 1751301 | 290511 801 15 | 1.556 % |
3.60/5.03 c 4 | 1320 | 12412 595269 1751301 | 319562 1306 18 | 1.805 % |
4.00/5.45 c 5 | 2081 | 12412 595269 1751301 | 351518 2067 21 | 1.805 % |
4.50/6.00 c 5 | 3220 | 12412 595269 1751301 | 386670 3205 20 | 1.934 % |
5.50/6.93 c 6 | 4929 | 12183 580422 1707612 | 425337 4913 19 | 1.934 % |
7.40/8.81 c 8 | 7491 | 12183 580422 1707612 | 467871 7475 19 | 1.934 % |
10.18/11.65 c 11 | 11335 | 12165 579617 1705261 | 514658 11318 19 | 2.079 % |
14.16/15.68 c 15 | 17102 | 12150 578501 1701965 | 566123 17084 21 | 2.200 % |
21.05/22.57 c 22 | 25754 | 12150 578501 1701965 | 622736 25736 26 | 2.200 % |
32.44/33.91 c 33 | 38728 | 12150 578501 1701965 | 685010 38710 27 | 2.200 % |
57.62/59.19 c 59 | 58189 | 12144 578395 1701671 | 753511 58169 29 | 2.401 % |
89.81/91.34 c 91 | 87381 | 12057 573280 1686628 | 828862 87352 31 | 3.077 % |
150.19/151.72 c 151 ===============================================================================
150.19/151.72 c 151 restarts : 16
150.19/151.72 c 151 conflicts : 130752 (885 /sec)
150.19/151.72 c 151 decisions : 165529 (0.51 % random) (1120 /sec)
150.19/151.73 c 151 propagations : 69495168 (470148 /sec)
150.19/151.73 c 151 conflict literals : 4341516 (23.72 % deleted)
150.19/151.73 c 151 Memory used : 48.23 MB
150.19/151.73 c 151 CPU time : 147.816 s
150.19/151.73 c 151
150.19/151.73 c 151 SATISFIABLE
150.19/151.73 c 151 OK
150.19/151.73 c 151 FOUND: _COST <= 335
150.19/151.73 s SATISFIABLE
150.19/151.73 c 151 DECODING HOME/temp.out WITH HOME/temp.map
150.19/151.73 c 151 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
150.21/151.82 c 151 Decoding HOME/temp.out
150.21/152.04 c 151 OBJECTIVE _COST 335
150.21/152.04 o 335
150.21/152.04 v 1 1 0 1 1 0 0 0 0 0 1 1 0 1 1 1 0 1 0 0 0 0 1 0 1 1 1 0 0 0 1 0 1 1 1 1 1 0 0 1
150.21/152.07 c 151 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
150.73/152.35 c 152 OK
150.73/152.35 c 152 OBJECTIVE BOUND: 0 <= _COST <= 335
150.73/152.35 c 152 SEARCHING: _COST <= 167
150.73/152.35 c 152 ============================[ Search Statistics ]==============================
150.73/152.35 c 152 | Conflicts | ORIGINAL | LEARNT | Progress |
150.73/152.35 c 152 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
150.73/152.35 c 152 ===============================================================================
150.73/152.35 c 152 | 130752 | 8659 357830 1050149 | 119276 130719 33 | 3.077 % |
151.42/153.02 c 152 | 130852 | 8659 357830 1050149 | 131204 14971 36 | 30.300 % |
151.62/153.20 c 153 | 131003 | 8659 357830 1050149 | 144324 15121 35 | 30.421 % |
151.81/153.44 c 153 | 131229 | 8659 357830 1050149 | 158757 15346 35 | 30.533 % |
152.11/153.76 c 153 | 131566 | 8657 357830 1050149 | 174632 15681 35 | 30.783 % |
152.60/154.20 c 154 | 132072 | 8655 357830 1050149 | 192096 16183 34 | 31.845 % |
153.40/155.00 c 154 | 132835 | 8655 357830 1050149 | 211305 16946 34 | 31.845 % |
154.29/155.92 c 155 | 133974 | 8655 357830 1050149 | 232436 18084 32 | 31.853 % |
155.48/157.19 c 157 | 135683 | 8655 357830 1050149 | 255680 19792 31 | 31.990 % |
157.85/159.53 c 159 | 138246 | 8655 357830 1050149 | 281248 22355 29 | 31.990 % |
161.91/163.62 c 163 | 142090 | 8447 344842 1011896 | 309372 26187 28 | 32.006 % |
167.75/169.51 c 169 | 147856 | 8447 344842 1011896 | 340310 31953 26 | 32.006 % |
177.37/179.27 c 179 | 156506 | 8446 344816 1011822 | 374341 40599 24 | 32.353 % |
196.78/198.82 c 198 | 169480 | 8404 342341 1004538 | 411775 53570 23 | 32.473 % |
231.85/234.21 c 234 | 188941 | 8283 333759 979170 | 452952 73013 22 | 33.327 % |
286.52/289.47 c 289 | 218134 | 8282 333732 979093 | 498248 102205 22 | 33.335 % |
338.64/342.07 c 341 ===============================================================================
338.64/342.07 c 341 restarts : 32
338.64/342.07 c 341 conflicts : 237908 (708 /sec)
338.64/342.07 c 341 decisions : 315318 (0.63 % random) (938 /sec)
338.64/342.07 c 341 propagations : 134612532 (400652 /sec)
338.64/342.07 c 341 conflict literals : 6397375 (29.37 % deleted)
338.64/342.07 c 341 Memory used : 48.85 MB
338.64/342.07 c 341 CPU time : 335.984 s
338.64/342.07 c 341
338.64/342.07 c 341 UNSATISFIABLE
338.64/342.07 c 341 OK
338.64/342.07 c 341 NOT FOUND: _COST <= 167
338.64/342.07 c 341 OK
338.64/342.07 c 341 OBJECTIVE BOUND: 168 <= _COST <= 335
338.64/342.07 c 341 SEARCHING: _COST <= 251
338.64/342.07 c 341 ============================[ Search Statistics ]==============================
338.64/342.07 c 341 | Conflicts | ORIGINAL | LEARNT | Progress |
338.64/342.07 c 341 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
338.64/342.07 c 341 ===============================================================================
338.64/342.07 c 341 | 237908 | 7502 316345 929194 | 105448 82338 21 | 33.335 % |
338.93/342.36 c 342 | 238011 | 7502 316345 929194 | 115993 82441 21 | 39.613 % |
339.13/342.56 c 342 | 238161 | 7502 316345 929194 | 127592 82591 21 | 39.613 % |
339.43/342.88 c 342 | 238387 | 7502 316345 929194 | 140351 82817 21 | 39.613 % |
339.82/343.28 c 343 | 238724 | 7502 316345 929194 | 154386 83154 21 | 39.613 % |
340.62/344.03 c 343 | 239232 | 7502 316345 929194 | 169825 83662 21 | 39.613 % |
341.91/345.36 c 345 | 239991 | 7502 316345 929194 | 186808 84421 21 | 39.613 % |
344.09/347.57 c 347 | 241131 | 7502 316345 929194 | 205488 85561 21 | 39.613 % |
346.37/349.89 c 349 | 242839 | 7502 316345 929194 | 226037 87269 21 | 39.613 % |
349.83/353.37 c 353 | 245403 | 7502 316345 929194 | 248641 89833 21 | 39.613 % |
354.79/358.32 c 358 | 249247 | 7502 316345 929194 | 273505 93677 21 | 39.613 % |
363.61/367.21 c 367 | 255013 | 7502 316345 929194 | 300856 99443 21 | 39.613 % |
376.59/380.37 c 380 | 263662 | 7502 316345 929194 | 330942 108092 22 | 39.613 % |
399.37/403.38 c 403 | 276636 | 7502 316345 929194 | 364036 121066 22 | 39.613 % |
433.05/437.33 c 437 | 296097 | 7502 316345 929194 | 400439 140527 23 | 39.613 % |
489.91/494.71 c 494 | 325289 | 7502 316345 929194 | 440483 169719 25 | 39.613 % |
598.59/604.42 c 604 | 369079 | 7502 316345 929194 | 484532 213509 27 | 39.613 % |
802.06/809.81 c 809 | 434765 | 7502 316345 929194 | 532985 279195 28 | 39.613 % |
1175.34/1186.62 c 1186 | 533293 | 7502 316345 929194 | 586284 377723 28 | 39.613 % |
1914.28/1932.54 c 1932 | 681083 | 7502 316345 929194 | 644912 525513 30 | 39.613 % |
2950.69/2978.71 c 2978 | 902766 | 7502 316345 929194 | 709403 119331 34 | 39.613 % |
3600.01/3633.91 c ERROR INTERRUPTED
3600.01/3633.93 c 3633 CPU 3599.34 (0.06 0.02 3599.28 0.68)
3600.01/3633.93 c 3633 END Tue Jul 22 22:15:40 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-1127251-1216754106/watcher-1127251-1216754106 -o /tmp/evaluation-result-1127251-1216754106/solver-1127251-1216754106 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar++ -max -incremental -c -vv -java=java -Xmx700M -decjava=java -Xmx50M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat-inc -tmp=HOME/temp HOME/instance-1127251-1216754106.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: 1.53 1.89 1.96 3/68 3670
/proc/meminfo: memFree=1682272/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=12132 CPUtime=0
/proc/3670/stat : 3670 (sugar++) R 3668 3670 3599 0 -1 4194304 250 0 0 0 0 0 0 0 18 0 1 0 2501488 12423168 218 996147200 4194304 4206940 548682068528 18446744073709551615 252429374177 0 0 4224 0 0 0 0 17 1 0 0
/proc/3670/statm: 3033 224 169 3 0 133 0
[startup+0.066857 s]
/proc/loadavg: 1.53 1.89 1.96 3/68 3670
/proc/meminfo: memFree=1682272/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=13336 CPUtime=0.03
/proc/3670/stat : 3670 (sugar++) D 3668 3670 3599 0 -1 4194304 732 0 0 0 2 1 0 0 18 0 1 0 2501488 13656064 700 996147200 4194304 4206940 548682068528 18446744073709551615 252429695589 0 0 4224 0 18446744071563608240 0 0 17 0 0 0
/proc/3670/statm: 3334 700 338 3 0 434 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13336
[startup+0.101858 s]
/proc/loadavg: 1.53 1.89 1.96 3/68 3670
/proc/meminfo: memFree=1682272/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=13468 CPUtime=0.03
/proc/3670/stat : 3670 (sugar++) D 3668 3670 3599 0 -1 4194304 764 0 0 0 2 1 0 0 18 0 1 0 2501488 13791232 732 996147200 4194304 4206940 548682068528 18446744073709551615 252429695589 0 2147483391 4224 0 18446744072099781622 0 0 17 0 0 0
/proc/3670/statm: 3367 732 338 3 0 467 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13468
[startup+0.302879 s]
/proc/loadavg: 1.53 1.89 1.96 3/68 3670
/proc/meminfo: memFree=1682272/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16740 CPUtime=0.07
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1219 128 0 0 5 2 0 0 17 0 1 0 2501488 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+0.701915 s]
/proc/loadavg: 1.53 1.89 1.96 3/68 3670
/proc/meminfo: memFree=1682272/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16740 CPUtime=0.07
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1219 128 0 0 5 2 0 0 17 0 1 0 2501488 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16740
[startup+1.503 s]
/proc/loadavg: 1.53 1.89 1.96 6/93 3698
/proc/meminfo: memFree=1652936/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16740 CPUtime=0.07
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1219 128 0 0 5 2 0 0 17 0 1 0 2501488 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4185 1104 409 3 0 764 0
[pid=3681] ppid=3670 vsize=5356 CPUtime=0
/proc/3681/stat : 3681 (sh) S 3670 3670 3599 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2501513 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3681/statm: 1339 233 193 169 0 50 0
[pid=3682] ppid=3681 vsize=864876 CPUtime=0.18
/proc/3682/stat : 3682 (java) S 3681 3670 3599 0 -1 0 3532 0 69 0 13 5 0 0 19 0 9 0 2501514 885633024 3077 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3682/statm: 216219 3077 1702 9 0 210801 0
[pid=3682/tid=3684] ppid=3681 vsize=864876 CPUtime=0.14
/proc/3682/task/3684/stat : 3684 (java) R 3681 3670 3599 0 -1 64 2529 0 68 0 10 4 0 0 18 0 9 0 2501515 885633024 3077 996147200 134512640 134550740 4294956000 18446744073709551615 4126480872 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3682/tid=3686] ppid=3681 vsize=864876 CPUtime=0
/proc/3682/task/3686/stat : 3686 (java) S 3681 3670 3599 0 -1 64 3 0 0 0 0 0 0 0 19 0 9 0 2501553 885633024 3077 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3682/tid=3688] ppid=3681 vsize=864876 CPUtime=0
/proc/3682/task/3688/stat : 3688 (java) S 3681 3670 3599 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 2501563 885633024 3077 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3682/tid=3690] ppid=3681 vsize=864876 CPUtime=0
/proc/3682/task/3690/stat : 3690 (java) S 3681 3670 3599 0 -1 64 3 0 0 0 0 0 0 0 20 0 9 0 2501563 885633024 3077 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3682/tid=3692] ppid=3681 vsize=864876 CPUtime=0
/proc/3682/task/3692/stat : 3692 (java) S 3681 3670 3599 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2501572 885633024 3077 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3682/tid=3694] ppid=3681 vsize=864876 CPUtime=0.03
/proc/3682/task/3694/stat : 3694 (java) S 3681 3670 3599 0 -1 64 310 0 1 0 3 0 0 0 16 0 9 0 2501572 885633024 3077 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3682/tid=3697] ppid=3681 vsize=864876 CPUtime=0
/proc/3682/task/3697/stat : 3697 (java) S 3681 3670 3599 0 -1 64 2 0 0 0 0 0 0 0 20 0 9 0 2501572 885633024 3077 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3682/tid=3698] ppid=3681 vsize=864876 CPUtime=0
/proc/3682/task/3698/stat : 3698 (java) S 3681 3670 3599 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2501572 885633024 3077 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 886972
[startup+3.10216 s]
/proc/loadavg: 1.53 1.89 1.96 5/93 3718
/proc/meminfo: memFree=1642248/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16740 CPUtime=0.41
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1297 4472 0 69 5 2 28 6 15 0 1 0 2501488 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4185 1104 409 3 0 764 0
[pid=3700] ppid=3670 vsize=5356 CPUtime=0
/proc/3700/stat : 3700 (sh) S 3670 3670 3599 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2501662 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3700/statm: 1339 233 193 169 0 50 0
[pid=3702] ppid=3700 vsize=868488 CPUtime=1.32
/proc/3702/stat : 3702 (java) S 3700 3670 3599 0 -1 0 6736 0 6 0 123 9 0 0 19 0 9 0 2501662 889331712 5799 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3702/statm: 217122 5799 2563 9 0 211669 0
[pid=3702/tid=3704] ppid=3700 vsize=868488 CPUtime=0.97
/proc/3702/task/3704/stat : 3704 (java) R 3700 3670 3599 0 -1 64 2889 0 3 0 92 5 0 0 25 0 9 0 2501663 889331712 5799 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3702/tid=3705] ppid=3700 vsize=868488 CPUtime=0.09
/proc/3702/task/3705/stat : 3705 (java) S 3700 3670 3599 0 -1 64 1668 0 3 0 7 2 0 0 16 0 9 0 2501664 889331712 5799 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3702/tid=3707] ppid=3700 vsize=868488 CPUtime=0
/proc/3702/task/3707/stat : 3707 (java) S 3700 3670 3599 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2501665 889331712 5799 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3702/tid=3708] ppid=3700 vsize=868488 CPUtime=0
/proc/3702/task/3708/stat : 3708 (java) S 3700 3670 3599 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2501665 889331712 5799 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3702/tid=3711] ppid=3700 vsize=868488 CPUtime=0
/proc/3702/task/3711/stat : 3711 (java) S 3700 3670 3599 0 -1 64 1 0 0 0 0 0 0 0 22 0 9 0 2501667 889331712 5799 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3702/tid=3712] ppid=3700 vsize=868488 CPUtime=0.22
/proc/3702/task/3712/stat : 3712 (java) S 3700 3670 3599 0 -1 64 1487 0 0 0 22 0 0 0 16 0 9 0 2501667 889331712 5799 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3702/tid=3713] ppid=3700 vsize=868488 CPUtime=0
/proc/3702/task/3713/stat : 3713 (java) S 3700 3670 3599 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 2501667 889331712 5799 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3702/tid=3714] ppid=3700 vsize=868488 CPUtime=0
/proc/3702/task/3714/stat : 3714 (java) S 3700 3670 3599 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2501667 889331712 5799 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 890584
[startup+6.30249 s]
/proc/loadavg: 1.64 1.90 1.97 3/76 3721
/proc/meminfo: memFree=1580424/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.29
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1481 11678 0 75 6 2 201 20 15 0 1 0 2501488 17276928 1131 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3670/statm: 4218 1131 414 3 0 797 0
[pid=3721] ppid=3670 vsize=27704 CPUtime=2.61
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 6752 0 0 0 257 4 0 0 25 0 1 0 2501855 28368896 6700 996147200 134512640 135134323 4294956192 18446744073709551615 134523927 0 0 4096 3 0 0 0 17 0 0 0
/proc/3721/statm: 6926 6700 73 151 0 6772 0
Current children cumulated CPU time (s) 4.9
Current children cumulated vsize (KiB) 44576
[startup+12.7011 s]
/proc/loadavg: 1.67 1.91 1.97 3/76 3721
/proc/meminfo: memFree=1579720/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.29
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1481 11678 0 75 6 2 201 20 16 0 1 0 2501488 17276928 1131 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3670/statm: 4218 1131 414 3 0 797 0
[pid=3721] ppid=3670 vsize=28556 CPUtime=8.98
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 6941 0 0 0 894 4 0 0 25 0 1 0 2501855 29241344 6889 996147200 134512640 135134323 4294956192 18446744073709551615 134532022 0 0 4096 3 0 0 0 17 0 0 0
/proc/3721/statm: 7139 6889 73 151 0 6985 0
Current children cumulated CPU time (s) 11.27
Current children cumulated vsize (KiB) 45428
[startup+25.5016 s]
/proc/loadavg: 1.74 1.91 1.97 3/76 3733
/proc/meminfo: memFree=1576968/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.29
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1481 11678 0 75 6 2 201 20 16 0 1 0 2501488 17276928 1131 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3670/statm: 4218 1131 414 3 0 797 0
[pid=3721] ppid=3670 vsize=31232 CPUtime=21.76
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 7621 0 0 0 2171 5 0 0 25 0 1 0 2501855 31981568 7569 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/3721/statm: 7808 7569 73 151 0 7654 0
Current children cumulated CPU time (s) 24.05
Current children cumulated vsize (KiB) 48104
[startup+51.1011 s]
/proc/loadavg: 1.83 1.92 1.97 3/76 3733
/proc/meminfo: memFree=1573064/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.29
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1481 11678 0 75 6 2 201 20 16 0 1 0 2501488 17276928 1131 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3670/statm: 4218 1131 414 3 0 797 0
[pid=3721] ppid=3670 vsize=35316 CPUtime=47.34
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 8631 0 0 0 4727 7 0 0 25 0 1 0 2501855 36163584 8579 996147200 134512640 135134323 4294956192 18446744073709551615 134532126 0 0 4096 3 0 0 0 17 0 0 0
/proc/3721/statm: 8829 8579 73 151 0 8675 0
Current children cumulated CPU time (s) 49.63
Current children cumulated vsize (KiB) 52188
[startup+102.306 s]
/proc/loadavg: 1.92 1.93 1.97 3/76 3733
/proc/meminfo: memFree=1564424/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.29
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1481 11678 0 75 6 2 201 20 16 0 1 0 2501488 17276928 1131 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3670/statm: 4218 1131 414 3 0 797 0
[pid=3721] ppid=3670 vsize=43560 CPUtime=98.51
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 10659 0 0 0 9842 9 0 0 25 0 1 0 2501855 44605440 10607 996147200 134512640 135134323 4294956192 18446744073709551615 134532158 0 0 4096 3 0 0 0 17 0 0 0
/proc/3721/statm: 10890 10607 74 151 0 10736 0
Current children cumulated CPU time (s) 100.8
Current children cumulated vsize (KiB) 60432
[startup+162.301 s]
/proc/loadavg: 2.05 1.95 1.97 3/76 3745
/proc/meminfo: memFree=1558720/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1566 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=49380 CPUtime=158
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 12167 0 0 0 15789 11 0 0 25 0 1 0 2501855 50565120 12113 996147200 134512640 135134323 4294956192 18446744073709551615 134531908 0 0 4096 3 0 0 0 17 1 0 0
/proc/3721/statm: 12345 12113 80 151 0 12191 0
Current children cumulated CPU time (s) 160.62
Current children cumulated vsize (KiB) 66252
[startup+222.302 s]
/proc/loadavg: 2.09 1.98 1.98 3/76 3745
/proc/meminfo: memFree=1554760/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1566 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=49556 CPUtime=217.44
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 12181 0 0 0 21733 11 0 0 25 0 1 0 2501855 50745344 12127 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3721/statm: 12389 12127 80 151 0 12235 0
Current children cumulated CPU time (s) 220.06
################
# More data... #
################
[pid=3721] ppid=3670 vsize=131652 CPUtime=2892.2
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 32319 0 0 0 289182 38 0 0 25 0 1 0 2501855 134811648 32263 996147200 134512640 135134323 4294956192 18446744073709551615 134531958 0 0 4096 3 0 0 0 17 1 0 0
/proc/3721/statm: 32913 32263 80 151 0 32759 0
Current children cumulated CPU time (s) 2894.82
Current children cumulated vsize (KiB) 148524
[startup+2982.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/76 3753
/proc/meminfo: memFree=1375040/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1569 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=131652 CPUtime=2951.63
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 32319 0 0 0 295125 38 0 0 25 0 1 0 2501855 134811648 32263 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3721/statm: 32913 32263 80 151 0 32759 0
Current children cumulated CPU time (s) 2954.25
Current children cumulated vsize (KiB) 148524
[startup+3042.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3753
/proc/meminfo: memFree=1375040/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1569 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=131652 CPUtime=3011.07
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 32319 0 0 0 301069 38 0 0 25 0 1 0 2501855 134811648 32263 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3721/statm: 32913 32263 80 151 0 32759 0
Current children cumulated CPU time (s) 3013.69
Current children cumulated vsize (KiB) 148524
[startup+3102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3753
/proc/meminfo: memFree=1374984/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1569 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=131652 CPUtime=3070.51
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 32320 0 0 0 307013 38 0 0 25 0 1 0 2501855 134811648 32264 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3721/statm: 32913 32264 80 151 0 32759 0
Current children cumulated CPU time (s) 3073.13
Current children cumulated vsize (KiB) 148524
[startup+3162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3753
/proc/meminfo: memFree=1374920/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1569 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=131652 CPUtime=3129.95
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 32322 0 0 0 312957 38 0 0 25 0 1 0 2501855 134811648 32266 996147200 134512640 135134323 4294956192 18446744073709551615 134531898 0 0 4096 3 0 0 0 17 1 0 0
/proc/3721/statm: 32913 32266 80 151 0 32759 0
Current children cumulated CPU time (s) 3132.57
Current children cumulated vsize (KiB) 148524
[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3753
/proc/meminfo: memFree=1374920/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1569 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=131652 CPUtime=3189.39
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 32324 0 0 0 318901 38 0 0 25 0 1 0 2501855 134811648 32268 996147200 134512640 135134323 4294956192 18446744073709551615 134532035 0 0 4096 3 0 0 0 17 1 0 0
/proc/3721/statm: 32913 32268 80 151 0 32759 0
Current children cumulated CPU time (s) 3192.01
Current children cumulated vsize (KiB) 148524
[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3753
/proc/meminfo: memFree=1374280/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1569 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=131652 CPUtime=3248.83
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 32324 0 0 0 324845 38 0 0 25 0 1 0 2501855 134811648 32268 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/3721/statm: 32913 32268 80 151 0 32759 0
Current children cumulated CPU time (s) 3251.45
Current children cumulated vsize (KiB) 148524
[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3753
/proc/meminfo: memFree=1373896/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1569 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=131896 CPUtime=3308.27
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 32367 0 0 0 330789 38 0 0 25 0 1 0 2501855 135061504 32311 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3721/statm: 32974 32311 80 151 0 32820 0
Current children cumulated CPU time (s) 3310.89
Current children cumulated vsize (KiB) 148768
[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3753
/proc/meminfo: memFree=1373704/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1569 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=131896 CPUtime=3367.71
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 32368 0 0 0 336733 38 0 0 25 0 1 0 2501855 135061504 32312 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3721/statm: 32974 32312 80 151 0 32820 0
Current children cumulated CPU time (s) 3370.33
Current children cumulated vsize (KiB) 148768
[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3753
/proc/meminfo: memFree=1373320/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1569 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=131896 CPUtime=3427.15
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 32369 0 0 0 342677 38 0 0 25 0 1 0 2501855 135061504 32313 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3721/statm: 32974 32313 80 151 0 32820 0
Current children cumulated CPU time (s) 3429.77
Current children cumulated vsize (KiB) 148768
[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3753
/proc/meminfo: memFree=1372616/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1569 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=132060 CPUtime=3486.58
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 32404 0 0 0 348620 38 0 0 25 0 1 0 2501855 135229440 32348 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3721/statm: 33015 32348 80 151 0 32861 0
Current children cumulated CPU time (s) 3489.2
Current children cumulated vsize (KiB) 148932
[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/76 3753
/proc/meminfo: memFree=1372168/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1569 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=132224 CPUtime=3546.03
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 32437 0 0 0 354565 38 0 0 25 0 1 0 2501855 135397376 32381 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3721/statm: 33056 32381 80 151 0 32902 0
Current children cumulated CPU time (s) 3548.65
Current children cumulated vsize (KiB) 149096
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3633.9 s]
/proc/loadavg: 1.95 1.98 1.99 3/82 3789
/proc/meminfo: memFree=1484192/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1569 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=132224 CPUtime=3597.39
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 32439 0 0 0 359697 42 0 0 25 0 1 0 2501855 135397376 32383 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3721/statm: 33056 32383 80 151 0 32902 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 149096
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+3633.9 s]
/proc/loadavg: 1.95 1.98 1.99 3/82 3789
/proc/meminfo: memFree=1484192/2055920 swapFree=4192956/4192956
[pid=3670] ppid=3668 vsize=16872 CPUtime=2.62
/proc/3670/stat : 3670 (sugar++) S 3668 3670 3599 0 -1 4194304 1569 15560 0 76 6 2 231 23 16 0 1 0 2501488 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 252438425698 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3670/statm: 4218 1132 414 3 0 797 0
[pid=3721] ppid=3670 vsize=132224 CPUtime=3597.39
/proc/3721/stat : 3721 (minisat-inc) R 3670 3670 3599 0 -1 4194304 32439 0 0 0 359697 42 0 0 25 0 1 0 2501855 135397376 32383 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3721/statm: 33056 32383 80 151 0 32902 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 149096
Child status: 0
Real time (s): 3633.93
CPU time (s): 3600.07
CPU user time (s): 3599.35
CPU system time (s): 0.71789
CPU usage (%): 99.0681
Max. virtual memory (cumulated for all children) (KiB): 890584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.35
system time used= 0.71789
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49647
page faults= 76
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4749
involuntary context switches= 78345
runsolver used 4.18036 second user time and 12.3291 second system time
The end
Begin job on node12 at 2008-07-22 21:15:06
IDJOB=1127251
IDBENCH=63132
IDSOLVER=367
FILE ID=node12/1127251-1216754106
PBS_JOBID= 7974060
Free space on /tmp= 66564 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/maxcsp/cnf/2-40-2100-3000/normalized-cnf-2-40-2600-873121_ext.xml
COMMAND LINE= DIR/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat-inc" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1127251-1216754106/watcher-1127251-1216754106 -o /tmp/evaluation-result-1127251-1216754106/solver-1127251-1216754106 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar++ -max -incremental -c -vv -java="java -Xmx700M" -decjava="java -Xmx50M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat-inc" -tmp="HOME/temp" HOME/instance-1127251-1216754106.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= a60466ce33107ad33e57e03308beffd2
RANDOM SEED=56241550
node12.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.234
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.234
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: 1683008 kB
Buffers: 17752 kB
Cached: 297700 kB
SwapCached: 0 kB
Active: 248996 kB
Inactive: 80728 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1683008 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 1968 kB
Writeback: 0 kB
Mapped: 24112 kB
Slab: 28940 kB
Committed_AS: 53260 kB
PageTables: 1612 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= 66560 MiB
End job on node12 at 2008-07-22 22:15:42