0.04/0.28 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.04/0.28 c 0 BEGIN Tue Jul 22 21:15:27 2008
0.04/0.28 c 0 PID 3515
0.04/0.28 c 0 HOST node89.alineos.net
0.04/0.28 c 0 CONVERTING HOME/instance-1127259-1216754127.xml TO HOME/temp.csp
0.04/0.28 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1127259-1216754127.xml' 'HOME/temp.csp'
0.08/0.64 c 1 1 domains, 40 variables, 0 predicates, 14 relations, 680 constraints
0.08/0.66 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.08/0.66 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.39/0.74 c 1 Parsing HOME/temp.csp
0.39/0.88 c 1 parsed 735 expressions
0.39/0.88 c 1 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.39/0.90 c 1 MAX CSP: 680 constraints
0.39/0.90 c 1 Converting to clausal form CSP
0.39/0.94 c 1 converted 142 (10%) expressions
0.39/0.95 c 1 converted 284 (20%) expressions
0.39/0.96 c 1 converted 426 (30%) expressions
0.39/0.97 c 1 converted 568 (40%) expressions
0.39/0.98 c 1 converted 709 (50%) expressions
0.39/0.99 c 1 converted 851 (60%) expressions
0.71/1.00 c 1 converted 993 (70%) expressions
0.71/1.08 c 1 converted 1135 (80%) expressions
0.71/1.08 c 1 converted 1277 (90%) expressions
0.80/1.20 c 1 converted 1418 (100%) expressions
0.80/1.20 c 1 CSP : 1400 integers, 0 booleans, 2039 clauses, largest domain size 1021
0.80/1.20 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.90/1.20 c 1 Propagation in CSP
0.90/1.25 c 1 676 values, 0 unsatisfiable literals, and 0 valid clauses are removed
0.90/1.25 c 1 CSP : 1400 integers, 0 booleans, 2039 clauses, largest domain size 681
0.90/1.25 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.90/1.25 c 1 Simplifing CSP by introducing new Boolean variables
0.90/1.26 c 1 CSP : 1400 integers, 0 booleans, 2039 clauses, largest domain size 681
0.90/1.26 c 1 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
0.90/1.29 c 1 Encoding CSP to SAT : HOME/temp.cnf
0.90/1.30 c 1 140 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.99/1.30 c 1 280 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.99/1.30 c 1 420 (30%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.99/1.30 c 1 560 (40%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.99/1.30 c 1 700 (50%) CSP integer variables are encoded (0 clauses, 64 bytes)
0.99/1.32 c 1 840 (60%) CSP integer variables are encoded (5853 clauses, 75596 bytes)
0.99/1.32 c 1 980 (70%) CSP integer variables are encoded (7367 clauses, 95278 bytes)
0.99/1.32 c 1 1120 (80%) CSP integer variables are encoded (8908 clauses, 115354 bytes)
0.99/1.33 c 1 1260 (90%) CSP integer variables are encoded (9875 clauses, 129859 bytes)
0.99/1.33 c 1 1400 (100%) CSP integer variables are encoded (11221 clauses, 150049 bytes)
0.99/1.36 c 1 204 (10%) CSP clauses are encoded (11521 clauses, 153253 bytes)
0.99/1.37 c 1 408 (20%) CSP clauses are encoded (11821 clauses, 156658 bytes)
0.99/1.39 c 1 612 (30%) CSP clauses are encoded (12114 clauses, 160081 bytes)
1.19/1.54 c 2 816 (40%) CSP clauses are encoded (50019 clauses, 814273 bytes)
1.49/1.88 c 2 1020 (50%) CSP clauses are encoded (256163 clauses, 4597187 bytes)
1.49/1.90 c 2 1224 (60%) CSP clauses are encoded (264679 clauses, 4747455 bytes)
1.88/2.28 c 2 1428 (70%) CSP clauses are encoded (492143 clauses, 8937677 bytes)
1.98/2.30 c 2 1632 (80%) CSP clauses are encoded (501983 clauses, 9131332 bytes)
1.98/2.35 c 2 1836 (90%) CSP clauses are encoded (525515 clauses, 9625920 bytes)
2.17/2.50 c 3 2039 (100%) CSP clauses are encoded (612647 clauses, 11479050 bytes)
2.17/2.50 c 3 2039 CSP clauses encoded
2.17/2.50 c 3 Writing map file : HOME/temp.map
2.17/2.52 c 3 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.17/2.52 c 3 SAT : 12621 SAT variables, 612647 SAT clauses, 11479050 bytes
2.17/2.52 c 3 Heap : 1 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.17/2.54 c 3 OBJECTIVE minimize _COST
2.17/2.54 c 3 SOLVING HOME/temp.cnf
2.17/2.54 c 3 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
2.17/2.54 c 3 This is MiniSat 2.0 beta incremental
2.17/2.54 c 3 WARNING: for repeatability, setting FPU to use double precision
2.17/2.54 c 3 ============================[ Problem Statistics ]=============================
2.17/2.54 c 3 | |
2.17/2.54 c 3 | Number of variables: 12621 |
2.17/2.54 c 3 | Number of clauses: 612647 |
2.21/2.80 c 3 | Parsing time: 0.22 s |
2.21/2.81 c 3 OK
2.21/2.81 c 3 OBJECTIVE BOUND: 0 <= _COST <=
2.21/2.81 c 3 SEARCHING: _COST <= 340
2.21/2.81 c 3 ============================[ Search Statistics ]==============================
2.21/2.81 c 3 | Conflicts | ORIGINAL | LEARNT | Progress |
2.21/2.81 c 3 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.21/2.81 c 3 ===============================================================================
2.21/2.81 c 3 | 0 | 12621 612647 1802959 | 204215 0 nan | 0.000 % |
2.86/3.23 c 3 | 100 | 12616 612647 1802959 | 224637 95 20 | 0.612 % |
2.97/3.33 c 3 | 252 | 12616 612647 1802959 | 247100 246 22 | 0.747 % |
3.07/3.46 c 4 | 477 | 12616 612647 1802959 | 271811 471 24 | 0.747 % |
3.27/3.68 c 4 | 814 | 12616 612647 1802959 | 298992 808 25 | 0.747 % |
3.67/4.03 c 4 | 1322 | 12616 612647 1802959 | 328891 1316 26 | 0.747 % |
4.07/4.49 c 5 | 2081 | 12616 612647 1802959 | 361780 2074 29 | 0.890 % |
4.67/5.10 c 5 | 3221 | 12616 612647 1802959 | 397958 3214 30 | 0.890 % |
5.87/6.24 c 6 | 4929 | 12509 605353 1781486 | 437754 4922 30 | 0.890 % |
6.97/7.36 c 7 | 7491 | 12509 605353 1781486 | 481529 7484 32 | 0.890 % |
9.56/9.99 c 10 | 11335 | 12490 604571 1779209 | 529682 11326 33 | 1.175 % |
14.86/15.21 c 15 | 17103 | 12490 604571 1779209 | 582651 17094 32 | 1.175 % |
20.35/20.73 c 21 ===============================================================================
20.35/20.73 c 21 restarts : 12
20.35/20.73 c 21 conflicts : 22620 (1248 /sec)
20.35/20.73 c 21 decisions : 29886 (0.50 % random) (1649 /sec)
20.35/20.73 c 21 propagations : 13437377 (741363 /sec)
20.35/20.73 c 21 conflict literals : 671795 (24.66 % deleted)
20.35/20.73 c 21 Memory used : 30.79 MB
20.35/20.73 c 21 CPU time : 18.1252 s
20.35/20.73 c 21
20.35/20.73 c 21 SATISFIABLE
20.35/20.74 c 21 OK
20.35/20.74 c 21 FOUND: _COST <= 340
20.35/20.74 s SATISFIABLE
20.35/20.74 c 21 DECODING HOME/temp.out WITH HOME/temp.map
20.35/20.74 c 21 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
20.44/20.82 c 21 Decoding HOME/temp.out
20.53/20.95 c 21 OBJECTIVE _COST 340
20.53/20.95 o 340
20.53/20.95 v 1 1 1 1 1 0 1 0 1 0 1 0 1 1 0 0 1 1 1 1 0 0 1 0 0 1 0 1 1 1 0 1 1 1 0 0 1 1 1 0
20.53/20.96 c 21 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
20.53/21.00 c 21 OK
20.53/21.00 c 21 OBJECTIVE BOUND: 0 <= _COST <= 340
20.53/21.00 c 21 SEARCHING: _COST <= 170
20.53/21.00 c 21 ============================[ Search Statistics ]==============================
20.53/21.00 c 21 | Conflicts | ORIGINAL | LEARNT | Progress |
20.53/21.00 c 21 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
20.53/21.00 c 21 ===============================================================================
20.53/21.00 c 21 | 22620 | 12457 602676 1773642 | 200892 22610 30 | 1.175 % |
20.81/21.22 c 21 | 22720 | 12452 602676 1773642 | 220981 22703 30 | 28.993 % |
20.91/21.33 c 21 | 22871 | 12452 602676 1773642 | 243079 22854 30 | 28.993 % |
21.21/21.60 c 22 | 23097 | 12451 602676 1773642 | 267387 23077 29 | 29.357 % |
21.51/21.97 c 22 | 23438 | 12449 602676 1773642 | 294125 23416 29 | 29.935 % |
22.21/22.68 c 23 | 23944 | 12448 602676 1773642 | 323538 23920 29 | 30.165 % |
23.09/23.50 c 24 | 24703 | 12446 602676 1773642 | 355892 24676 28 | 30.522 % |
24.18/24.69 c 25 | 25846 | 12446 602676 1773642 | 391481 25819 28 | 30.522 % |
26.07/26.56 c 27 | 27554 | 12444 602676 1773642 | 430629 27525 27 | 30.815 % |
28.35/28.84 c 29 | 30118 | 8732 361085 1059802 | 473692 30069 26 | 31.045 % |
31.92/32.45 c 33 | 33963 | 8687 358100 1050996 | 521062 33803 26 | 31.172 % |
37.17/37.77 c 38 | 39732 | 8687 358100 1050996 | 573168 39572 25 | 31.172 % |
48.19/48.88 c 49 | 48381 | 8668 357245 1048498 | 630485 48220 24 | 31.322 % |
64.55/65.32 c 65 | 61357 | 8653 356246 1045551 | 693533 61195 24 | 31.441 % |
95.59/96.64 c 97 | 80820 | 8653 356246 1045551 | 762887 80658 23 | 31.441 % |
154.13/155.61 c 156 | 110012 | 8627 354169 1039400 | 839175 109846 23 | 31.869 % |
265.34/267.76 c 268 | 153801 | 8587 351184 1030573 | 923093 153588 22 | 31.964 % |
459.67/463.66 c 464 | 219486 | 8557 349524 1025695 | 1015402 219271 22 | 32.202 % |
799.79/806.59 c 807 | 318013 | 8541 348665 1023173 | 1116942 317796 22 | 32.328 % |
868.25/875.52 c 876 ===============================================================================
868.25/875.52 c 876 restarts : 31
868.25/875.52 c 876 conflicts : 335676 (388 /sec)
868.25/875.52 c 876 decisions : 438733 (0.73 % random) (507 /sec)
868.25/875.52 c 876 propagations : 199470925 (230431 /sec)
868.25/875.52 c 876 conflict literals : 7227662 (38.37 % deleted)
868.25/875.52 c 876 Memory used : 62.59 MB
868.25/875.52 c 876 CPU time : 865.643 s
868.25/875.52 c 876
868.25/875.52 c 876 UNSATISFIABLE
868.25/875.52 c 876 OK
868.25/875.52 c 876 NOT FOUND: _COST <= 170
868.25/875.52 c 876 OK
868.25/875.52 c 876 OBJECTIVE BOUND: 171 <= _COST <= 340
868.25/875.52 c 876 SEARCHING: _COST <= 255
868.25/875.52 c 876 ============================[ Search Statistics ]==============================
868.25/875.52 c 876 | Conflicts | ORIGINAL | LEARNT | Progress |
868.25/875.52 c 876 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
868.25/875.52 c 876 ===============================================================================
868.25/875.52 c 876 | 335676 | 7682 328163 964165 | 109387 295465 22 | 32.328 % |
874.39/881.71 c 882 | 335778 | 7682 328163 964165 | 120326 13068 11 | 39.134 % |
874.49/881.82 c 882 | 335928 | 7682 328163 964165 | 132359 13218 11 | 39.134 % |
874.69/882.00 c 882 | 336153 | 7682 328163 964165 | 145594 13443 12 | 39.134 % |
874.89/882.27 c 882 | 336490 | 7682 328163 964165 | 160154 13780 12 | 39.134 % |
875.28/882.61 c 883 | 336996 | 7682 328163 964165 | 176169 14286 12 | 39.134 % |
875.78/883.12 c 883 | 337756 | 7682 328163 964165 | 193786 15046 12 | 39.134 % |
877.26/884.67 c 885 | 338895 | 7682 328163 964165 | 213165 16185 14 | 39.134 % |
878.75/886.19 c 886 | 340603 | 7682 328163 964165 | 234482 17893 15 | 39.134 % |
880.53/887.98 c 888 | 343165 | 7682 328163 964165 | 257930 20455 16 | 39.134 % |
884.00/891.43 c 892 | 347009 | 7682 328163 964165 | 283723 24299 17 | 39.134 % |
888.47/895.92 c 896 | 352777 | 7682 328163 964165 | 312095 30067 17 | 39.134 % |
896.21/903.74 c 904 | 361426 | 7682 328163 964165 | 343305 38716 18 | 39.134 % |
909.90/917.59 c 918 | 374400 | 7682 328163 964165 | 377635 51690 19 | 39.134 % |
939.85/947.71 c 948 | 393861 | 7682 328163 964165 | 415399 71151 20 | 39.134 % |
984.21/992.48 c 993 | 423053 | 7682 328163 964165 | 456939 100343 22 | 39.134 % |
1072.60/1081.53 c 1082 | 466843 | 7682 328163 964165 | 502633 144133 24 | 39.134 % |
1218.23/1228.37 c 1228 | 532528 | 7682 328163 964165 | 552896 209818 26 | 39.134 % |
1542.32/1555.16 c 1555 | 631056 | 7682 328163 964165 | 608186 308346 28 | 39.134 % |
2062.33/2079.43 c 2080 | 778845 | 7682 328163 964165 | 669005 456135 28 | 39.134 % |
3154.99/3181.20 c 3181 | 1000528 | 7682 328163 964165 | 735905 23178 25 | 39.134 % |
3600.01/3629.91 c ERROR INTERRUPTED
3600.01/3629.93 c 3630 CPU 3599.16 (0.06 0.04 3599.1 0.85)
3600.01/3629.93 c 3630 END Tue Jul 22 22:15:57 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-1127259-1216754127/watcher-1127259-1216754127 -o /tmp/evaluation-result-1127259-1216754127/solver-1127259-1216754127 -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-1127259-1216754127.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.45 1.88 1.95 3/68 3515
/proc/meminfo: memFree=1810384/2055920 swapFree=4192956/4192956
[pid=3515] ppid=3513 vsize=12268 CPUtime=0
/proc/3515/stat : 3515 (sugar++) D 3513 3515 3455 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 2497716 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 249070058085 0 2147483391 4224 0 18446744072099855350 0 0 17 1 0 0
/proc/3515/statm: 3067 316 241 3 0 167 0
[startup+0.081999 s]
/proc/loadavg: 1.45 1.88 1.95 3/68 3515
/proc/meminfo: memFree=1810384/2055920 swapFree=4192956/4192956
[pid=3515] ppid=3513 vsize=13336 CPUtime=0.03
/proc/3515/stat : 3515 (sugar++) D 3513 3515 3455 0 -1 4194304 723 0 0 0 2 1 0 0 18 0 1 0 2497716 13656064 691 996147200 4194304 4206940 548682068528 18446744073709551615 249078788194 0 0 4224 0 18446744071563479169 0 0 17 0 0 0
/proc/3515/statm: 3334 691 338 3 0 434 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13336
[startup+0.102001 s]
/proc/loadavg: 1.45 1.88 1.95 3/68 3515
/proc/meminfo: memFree=1810384/2055920 swapFree=4192956/4192956
[pid=3515] ppid=3513 vsize=13336 CPUtime=0.03
/proc/3515/stat : 3515 (sugar++) D 3513 3515 3455 0 -1 4194304 732 0 0 0 2 1 0 0 18 0 1 0 2497716 13656064 700 996147200 4194304 4206940 548682068528 18446744073709551615 249070058085 0 0 4224 0 18446744071563608240 0 0 17 0 0 0
/proc/3515/statm: 3334 700 338 3 0 434 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13336
[startup+0.302131 s]
/proc/loadavg: 1.45 1.88 1.95 3/68 3515
/proc/meminfo: memFree=1810384/2055920 swapFree=4192956/4192956
[pid=3515] ppid=3513 vsize=16740 CPUtime=0.08
/proc/3515/stat : 3515 (sugar++) S 3513 3515 3455 0 -1 4194304 1219 128 0 0 5 3 0 0 16 0 1 0 2497716 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3515/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 16740
[startup+0.701062 s]
/proc/loadavg: 1.45 1.88 1.95 3/68 3515
/proc/meminfo: memFree=1810384/2055920 swapFree=4192956/4192956
[pid=3515] ppid=3513 vsize=16740 CPUtime=0.39
/proc/3515/stat : 3515 (sugar++) S 3513 3515 3455 0 -1 4194304 1279 4530 0 1 5 3 27 4 16 0 1 0 2497716 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3515/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 16740
[startup+1.50213 s]
/proc/loadavg: 1.45 1.88 1.95 4/94 3566
/proc/meminfo: memFree=1767088/2055920 swapFree=4192956/4192956
[pid=3515] ppid=3513 vsize=16740 CPUtime=0.39
/proc/3515/stat : 3515 (sugar++) S 3513 3515 3455 0 -1 4194304 1297 4530 0 1 5 3 27 4 15 0 1 0 2497716 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3515/statm: 4185 1104 409 3 0 764 0
[pid=3550] ppid=3515 vsize=5356 CPUtime=0
/proc/3550/stat : 3550 (sh) S 3515 3515 3455 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2497783 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3550/statm: 1339 233 193 169 0 50 0
[pid=3551] ppid=3550 vsize=868492 CPUtime=0.8
/proc/3551/stat : 3551 (java) S 3550 3515 3455 0 -1 0 6591 0 1 0 75 5 0 0 20 0 9 0 2497783 889335808 5806 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/3551/statm: 217123 5806 2563 9 0 211670 0
[pid=3551/tid=3555] ppid=3550 vsize=868492 CPUtime=0.48
/proc/3551/task/3555/stat : 3555 (java) R 3550 3515 3455 0 -1 64 2732 0 1 0 46 2 0 0 25 0 9 0 2497784 889335808 5806 996147200 134512640 134550740 4294955920 18446744073709551615 4126478520 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3551/tid=3556] ppid=3550 vsize=868492 CPUtime=0.06
/proc/3551/task/3556/stat : 3556 (java) S 3550 3515 3455 0 -1 64 1676 0 0 0 6 0 0 0 16 0 9 0 2497785 889335808 5806 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=3551/tid=3557] ppid=3550 vsize=868492 CPUtime=0
/proc/3551/task/3557/stat : 3557 (java) S 3550 3515 3455 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2497785 889335808 5806 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3551/tid=3558] ppid=3550 vsize=868492 CPUtime=0
/proc/3551/task/3558/stat : 3558 (java) S 3550 3515 3455 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2497785 889335808 5806 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3551/tid=3563] ppid=3550 vsize=868492 CPUtime=0
/proc/3551/task/3563/stat : 3563 (java) S 3550 3515 3455 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2497787 889335808 5806 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3551/tid=3564] ppid=3550 vsize=868492 CPUtime=0.23
/proc/3551/task/3564/stat : 3564 (java) S 3550 3515 3455 0 -1 64 1491 0 0 0 22 1 0 0 16 0 9 0 2497787 889335808 5806 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3551/tid=3565] ppid=3550 vsize=868492 CPUtime=0
/proc/3551/task/3565/stat : 3565 (java) S 3550 3515 3455 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2497787 889335808 5806 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3551/tid=3566] ppid=3550 vsize=868492 CPUtime=0
/proc/3551/task/3566/stat : 3566 (java) S 3550 3515 3455 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2497787 889335808 5806 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 890588
[startup+3.1023 s]
/proc/loadavg: 1.45 1.88 1.95 3/94 3566
/proc/meminfo: memFree=1739120/2055920 swapFree=4192956/4192956
[pid=3515] ppid=3513 vsize=16872 CPUtime=2.21
/proc/3515/stat : 3515 (sugar++) S 3513 3515 3455 0 -1 4194304 1481 11760 0 2 5 3 194 19 15 0 1 0 2497716 17276928 1131 996147200 4194304 4206940 548682068528 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3515/statm: 4218 1131 414 3 0 797 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 16872
[startup+6.3016 s]
/proc/loadavg: 1.50 1.88 1.95 3/77 3569
/proc/meminfo: memFree=1702960/2055920 swapFree=4192956/4192956
[pid=3515] ppid=3513 vsize=16872 CPUtime=2.22
/proc/3515/stat : 3515 (sugar++) S 3513 3515 3455 0 -1 4194304 1481 11760 0 2 6 3 194 19 16 0 1 0 2497716 17276928 1131 996147200 4194304 4206940 548682068528 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3515/statm: 4218 1131 414 3 0 797 0
[pid=3569] ppid=3515 vsize=28604 CPUtime=3.75
/proc/3569/stat : 3569 (minisat-inc) R 3515 3515 3455 0 -1 4194304 6999 0 0 0 371 4 0 0 25 0 1 0 2497970 29290496 6948 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3569/statm: 7151 6948 74 151 0 6997 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 45476
[startup+12.7022 s]
/proc/loadavg: 1.62 1.90 1.95 3/77 3569
/proc/meminfo: memFree=1702336/2055920 swapFree=4192956/4192956
[pid=3515] ppid=3513 vsize=16872 CPUtime=2.22
/proc/3515/stat : 3515 (sugar++) S 3513 3515 3455 0 -1 4194304 1481 11760 0 2 6 3 194 19 16 0 1 0 2497716 17276928 1131 996147200 4194304 4206940 548682068528 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3515/statm: 4218 1131 414 3 0 797 0
[pid=3569] ppid=3515 vsize=30212 CPUtime=10.14
/proc/3569/stat : 3569 (minisat-inc) R 3515 3515 3455 0 -1 4194304 7401 0 0 0 1010 4 0 0 25 0 1 0 2497970 30937088 7350 996147200 134512640 135134323 4294956192 18446744073709551615 134532198 0 0 4096 3 0 0 0 17 1 0 0
/proc/3569/statm: 7553 7350 74 151 0 7399 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 47084
[startup+25.5014 s]
/proc/loadavg: 1.70 1.90 1.95 3/77 3591
/proc/meminfo: memFree=1700608/2055920 swapFree=4192956/4192956
[pid=3515] ppid=3513 vsize=16872 CPUtime=2.44
/proc/3515/stat : 3515 (sugar++) S 3513 3515 3455 0 -1 4194304 1565 15635 0 3 6 4 211 23 16 0 1 0 2497716 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3515/statm: 4218 1132 414 3 0 797 0
[pid=3569] ppid=3515 vsize=31788 CPUtime=22.63
/proc/3569/stat : 3569 (minisat-inc) R 3515 3515 3455 0 -1 4194304 7802 0 0 0 2258 5 0 0 25 0 1 0 2497970 32550912 7749 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3569/statm: 7947 7749 80 151 0 7793 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 48660
[startup+51.1019 s]
/proc/loadavg: 1.80 1.91 1.95 3/77 3591
/proc/meminfo: memFree=1700096/2055920 swapFree=4192956/4192956
[pid=3515] ppid=3513 vsize=16872 CPUtime=2.44
/proc/3515/stat : 3515 (sugar++) S 3513 3515 3455 0 -1 4194304 1565 15635 0 3 6 4 211 23 16 0 1 0 2497716 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3515/statm: 4218 1132 414 3 0 797 0
[pid=3569] ppid=3515 vsize=32164 CPUtime=48.03
/proc/3569/stat : 3569 (minisat-inc) R 3515 3515 3455 0 -1 4194304 7869 0 0 0 4798 5 0 0 25 0 1 0 2497970 32935936 7816 996147200 134512640 135134323 4294956192 18446744073709551615 134531938 0 0 4096 3 0 0 0 17 0 0 0
/proc/3569/statm: 8041 7816 80 151 0 7887 0
Current children cumulated CPU time (s) 50.47
Current children cumulated vsize (KiB) 49036
[startup+102.307 s]
/proc/loadavg: 1.91 1.92 1.95 3/77 3591
/proc/meminfo: memFree=1698944/2055920 swapFree=4192956/4192956
[pid=3515] ppid=3513 vsize=16872 CPUtime=2.44
/proc/3515/stat : 3515 (sugar++) S 3513 3515 3455 0 -1 4194304 1565 15635 0 3 6 4 211 23 16 0 1 0 2497716 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3515/statm: 4218 1132 414 3 0 797 0
[pid=3569] ppid=3515 vsize=32956 CPUtime=98.81
/proc/3569/stat : 3569 (minisat-inc) R 3515 3515 3455 0 -1 4194304 8066 0 0 0 9876 5 0 0 25 0 1 0 2497970 33746944 8013 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
/proc/3569/statm: 8239 8013 80 151 0 8085 0
Current children cumulated CPU time (s) 101.25
Current children cumulated vsize (KiB) 49828
[startup+162.302 s]
/proc/loadavg: 1.97 1.93 1.95 3/77 3591
/proc/meminfo: memFree=1691456/2055920 swapFree=4192956/4192956
[pid=3515] ppid=3513 vsize=16872 CPUtime=2.44
/proc/3515/stat : 3515 (sugar++) S 3513 3515 3455 0 -1 4194304 1565 15635 0 3 6 4 211 23 16 0 1 0 2497716 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3515/statm: 4218 1132 414 3 0 797 0
[pid=3569] ppid=3515 vsize=36700 CPUtime=158.33
/proc/3569/stat : 3569 (minisat-inc) R 3515 3515 3455 0 -1 4194304 8970 0 0 0 15826 7 0 0 25 0 1 0 2497970 37580800 8917 996147200 134512640 135134323 4294956192 18446744073709551615 134532164 0 0 4096 3 0 0 0 17 0 0 0
/proc/3569/statm: 9175 8917 80 151 0 9021 0
Current children cumulated CPU time (s) 160.77
Current children cumulated vsize (KiB) 53572
[startup+222.301 s]
/proc/loadavg: 1.99 1.94 1.95 3/77 3591
/proc/meminfo: memFree=1685440/2055920 swapFree=4192956/4192956
[pid=3515] ppid=3513 vsize=16872 CPUtime=2.44
/proc/3515/stat : 3515 (sugar++) S 3513 3515 3455 0 -1 4194304 1565 15635 0 3 6 4 211 23 16 0 1 0 2497716 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3515/statm: 4218 1132 414 3 0 797 0
[pid=3569] ppid=3515 vsize=39580 CPUtime=217.85
/proc/3569/stat : 3569 (minisat-inc) R 3515 3515 3455 0 -1 4194304 9719 0 0 0 21777 8 0 0 25 0 1 0 2497970 40529920 9666 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3569/statm: 9895 9666 80 151 0 9741 0
Current children cumulated CPU time (s) 220.29
Current children cumulated vsize (KiB) 56452
[startup+282.302 s]
/proc/loadavg: 1.99 1.95 1.95 3/77 3591
/proc/meminfo: memFree=1679680/2055920 swapFree=4192956/4192956
[pid=3515] ppid=3513 vsize=16872 CPUtime=2.44
/proc/3515/stat : 3515 (sugar++) S 3513 3515 3455 0 -1 4194304 1565 15635 0 3 6 4 211 23 16 0 1 0 2497716 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3515/statm: 4218 1132 414 3 0 797 0
[pid=3569] ppid=3515 vsize=42724 CPUtime=277.39
/proc/3569/stat : 3569 (minisat-inc) R 3515 3515 3455 0 -1 4194304 10430 0 0 0 27730 9 0 0 25 0 1 0 2497970 43749376 10377 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3569/statm: 10681 10377 80 151 0 10527 0
Current children cumulated CPU time (s) 279.83
Current children cumulated vsize (KiB) 59596
[startup+342.302 s]
/proc/loadavg: 1.99 1.95 1.95 3/77 3593
/proc/meminfo: memFree=1674304/2055920 swapFree=4192956/4192956
[pid=3515] ppid=3513 vsize=16872 CPUtime=2.44
/proc/3515/stat : 3515 (sugar++) S 3513 3515 3455 0 -1 4194304 1565 15635 0 3 6 4 211 23 16 0 1 0 2497716 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3515/statm: 4218 1132 414 3 0 797 0
[pid=3569] ppid=3515 vsize=45024 CPUtime=336.89
/proc/3569/stat : 3569 (minisat-inc) R 3515 3515 3455 0 -1 4194304 11045 0 0 0 33679 10 0 0 25 0 1 0 2497970 46104576 10992 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 0 0 0
################
# More data... #
################
[pid=3569] ppid=3515 vsize=123648 CPUtime=2895.86
/proc/3569/stat : 3569 (minisat-inc) R 3515 3515 3455 0 -1 4194304 30341 0 0 0 289533 53 0 0 25 0 1 0 2497970 126615552 30286 996147200 134512640 135134323 4294956192 18446744073709551615 134531982 0 0 4096 3 0 0 0 17 0 0 0
/proc/3569/statm: 30912 30286 80 151 0 30758 0
Current children cumulated CPU time (s) 2898.3
Current children cumulated vsize (KiB) 140520
[startup+2982.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/77 3601
/proc/meminfo: memFree=1525888/2055920 swapFree=4192956/4192956
[pid=3515] ppid=3513 vsize=16872 CPUtime=2.44
/proc/3515/stat : 3515 (sugar++) S 3513 3515 3455 0 -1 4194304 1568 15635 0 3 6 4 211 23 16 0 1 0 2497716 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3515/statm: 4218 1132 414 3 0 797 0
[pid=3569] ppid=3515 vsize=125780 CPUtime=2955.34
/proc/3569/stat : 3569 (minisat-inc) R 3515 3515 3455 0 -1 4194304 30869 0 0 0 295481 53 0 0 25 0 1 0 2497970 128798720 30814 996147200 134512640 135134323 4294956192 18446744073709551615 134532114 0 0 4096 3 0 0 0 17 0 0 0
/proc/3569/statm: 31445 30814 80 151 0 31291 0
Current children cumulated CPU time (s) 2957.78
Current children cumulated vsize (KiB) 142652
[startup+3042.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/77 3601
/proc/meminfo: memFree=1521728/2055920 swapFree=4192956/4192956
[pid=3515] ppid=3513 vsize=16872 CPUtime=2.44
/proc/3515/stat : 3515 (sugar++) S 3513 3515 3455 0 -1 4194304 1568 15635 0 3 6 4 211 23 16 0 1 0 2497716 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3515/statm: 4218 1132 414 3 0 797 0
[pid=3569] ppid=3515 vsize=127368 CPUtime=3014.82
/proc/3569/stat : 3569 (minisat-inc) R 3515 3515 3455 0 -1 4194304 31310 0 0 0 301428 54 0 0 25 0 1 0 2497970 130424832 31255 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3569/statm: 31842 31255 80 151 0 31688 0
Current children cumulated CPU time (s) 3017.26
Current children cumulated vsize (KiB) 144240
[startup+3102.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/77 3601
/proc/meminfo: memFree=1517760/2055920 swapFree=4192956/4192956
[pid=3515] ppid=3513 vsize=16872 CPUtime=2.44
/proc/3515/stat : 3515 (sugar++) S 3513 3515 3455 0 -1 4194304 1568 15635 0 3 6 4 211 23 16 0 1 0 2497716 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3515/statm: 4218 1132 414 3 0 797 0
[pid=3569] ppid=3515 vsize=129364 CPUtime=3074.32
/proc/3569/stat : 3569 (minisat-inc) R 3515 3515 3455 0 -1 4194304 31795 0 0 0 307377 55 0 0 25 0 1 0 2497970 132468736 31740 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3569/statm: 32341 31740 80 151 0 32187 0
Current children cumulated CPU time (s) 3076.76
Current children cumulated vsize (KiB) 146236
[startup+3162.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/77 3601
/proc/meminfo: memFree=1514240/2055920 swapFree=4192956/4192956
[pid=3515] ppid=3513 vsize=16872 CPUtime=2.44
/proc/3515/stat : 3515 (sugar++) S 3513 3515 3455 0 -1 4194304 1568 15635 0 3 6 4 211 23 16 0 1 0 2497716 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3515/statm: 4218 1132 414 3 0 797 0
[pid=3569] ppid=3515 vsize=131128 CPUtime=3133.81
/proc/3569/stat : 3569 (minisat-inc) R 3515 3515 3455 0 -1 4194304 32215 0 0 0 313325 56 0 0 25 0 1 0 2497970 134275072 32160 996147200 134512640 135134323 4294956192 18446744073709551615 134532114 0 0 4096 3 0 0 0 17 0 0 0
/proc/3569/statm: 32782 32160 80 151 0 32628 0
Current children cumulated CPU time (s) 3136.25
Current children cumulated vsize (KiB) 148000
[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/77 3601
/proc/meminfo: memFree=1511872/2055920 swapFree=4192956/4192956
[pid=3515] ppid=3513 vsize=16872 CPUtime=2.44
/proc/3515/stat : 3515 (sugar++) S 3513 3515 3455 0 -1 4194304 1568 15635 0 3 6 4 211 23 16 0 1 0 2497716 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3515/statm: 4218 1132 414 3 0 797 0
[pid=3569] ppid=3515 vsize=131292 CPUtime=3193.29
/proc/3569/stat : 3569 (minisat-inc) R 3515 3515 3455 0 -1 4194304 32268 0 0 0 319273 56 0 0 25 0 1 0 2497970 134443008 32213 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3569/statm: 32823 32213 80 151 0 32669 0
Current children cumulated CPU time (s) 3195.73
Current children cumulated vsize (KiB) 148164
[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/77 3601
/proc/meminfo: memFree=1509696/2055920 swapFree=4192956/4192956
[pid=3515] ppid=3513 vsize=16872 CPUtime=2.44
/proc/3515/stat : 3515 (sugar++) S 3513 3515 3455 0 -1 4194304 1568 15635 0 3 6 4 211 23 16 0 1 0 2497716 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3515/statm: 4218 1132 414 3 0 797 0
[pid=3569] ppid=3515 vsize=131292 CPUtime=3252.79
/proc/3569/stat : 3569 (minisat-inc) R 3515 3515 3455 0 -1 4194304 32268 0 0 0 325222 57 0 0 25 0 1 0 2497970 134443008 32213 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3569/statm: 32823 32213 80 151 0 32669 0
Current children cumulated CPU time (s) 3255.23
Current children cumulated vsize (KiB) 148164
[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/77 3601
/proc/meminfo: memFree=1507392/2055920 swapFree=4192956/4192956
[pid=3515] ppid=3513 vsize=16872 CPUtime=2.44
/proc/3515/stat : 3515 (sugar++) S 3513 3515 3455 0 -1 4194304 1568 15635 0 3 6 4 211 23 16 0 1 0 2497716 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3515/statm: 4218 1132 414 3 0 797 0
[pid=3569] ppid=3515 vsize=131292 CPUtime=3312.27
/proc/3569/stat : 3569 (minisat-inc) R 3515 3515 3455 0 -1 4194304 32269 0 0 0 331170 57 0 0 25 0 1 0 2497970 134443008 32214 996147200 134512640 135134323 4294956192 18446744073709551615 134531850 0 0 4096 3 0 0 0 17 0 0 0
/proc/3569/statm: 32823 32214 80 151 0 32669 0
Current children cumulated CPU time (s) 3314.71
Current children cumulated vsize (KiB) 148164
[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 1.99 3/77 3601
/proc/meminfo: memFree=1505280/2055920 swapFree=4192956/4192956
[pid=3515] ppid=3513 vsize=16872 CPUtime=2.44
/proc/3515/stat : 3515 (sugar++) S 3513 3515 3455 0 -1 4194304 1568 15635 0 3 6 4 211 23 16 0 1 0 2497716 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3515/statm: 4218 1132 414 3 0 797 0
[pid=3569] ppid=3515 vsize=131292 CPUtime=3371.76
/proc/3569/stat : 3569 (minisat-inc) R 3515 3515 3455 0 -1 4194304 32274 0 0 0 337119 57 0 0 25 0 1 0 2497970 134443008 32219 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3569/statm: 32823 32219 80 151 0 32669 0
Current children cumulated CPU time (s) 3374.2
Current children cumulated vsize (KiB) 148164
[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/77 3601
/proc/meminfo: memFree=1502592/2055920 swapFree=4192956/4192956
[pid=3515] ppid=3513 vsize=16872 CPUtime=2.44
/proc/3515/stat : 3515 (sugar++) S 3513 3515 3455 0 -1 4194304 1568 15635 0 3 6 4 211 23 16 0 1 0 2497716 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3515/statm: 4218 1132 414 3 0 797 0
[pid=3569] ppid=3515 vsize=131292 CPUtime=3431.24
/proc/3569/stat : 3569 (minisat-inc) R 3515 3515 3455 0 -1 4194304 32280 0 0 0 343067 57 0 0 25 0 1 0 2497970 134443008 32225 996147200 134512640 135134323 4294956192 18446744073709551615 134532166 0 0 4096 3 0 0 0 17 0 0 0
/proc/3569/statm: 32823 32225 80 151 0 32669 0
Current children cumulated CPU time (s) 3433.68
Current children cumulated vsize (KiB) 148164
[startup+3522.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/77 3601
/proc/meminfo: memFree=1500544/2055920 swapFree=4192956/4192956
[pid=3515] ppid=3513 vsize=16872 CPUtime=2.44
/proc/3515/stat : 3515 (sugar++) S 3513 3515 3455 0 -1 4194304 1568 15635 0 3 6 4 211 23 16 0 1 0 2497716 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3515/statm: 4218 1132 414 3 0 797 0
[pid=3569] ppid=3515 vsize=131820 CPUtime=3490.74
/proc/3569/stat : 3569 (minisat-inc) R 3515 3515 3455 0 -1 4194304 32374 0 0 0 349016 58 0 0 25 0 1 0 2497970 134983680 32319 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3569/statm: 32955 32319 80 151 0 32801 0
Current children cumulated CPU time (s) 3493.18
Current children cumulated vsize (KiB) 148692
[startup+3582.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/77 3601
/proc/meminfo: memFree=1500224/2055920 swapFree=4192956/4192956
[pid=3515] ppid=3513 vsize=16872 CPUtime=2.44
/proc/3515/stat : 3515 (sugar++) S 3513 3515 3455 0 -1 4194304 1568 15635 0 3 6 4 211 23 16 0 1 0 2497716 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3515/statm: 4218 1132 414 3 0 797 0
[pid=3569] ppid=3515 vsize=131820 CPUtime=3550.27
/proc/3569/stat : 3569 (minisat-inc) R 3515 3515 3455 0 -1 4194304 32380 0 0 0 354969 58 0 0 25 0 1 0 2497970 134983680 32325 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3569/statm: 32955 32325 80 151 0 32801 0
Current children cumulated CPU time (s) 3552.71
Current children cumulated vsize (KiB) 148692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3629.9 s]
/proc/loadavg: 2.06 2.02 2.00 3/84 3640
/proc/meminfo: memFree=1625280/2055920 swapFree=4192956/4192956
[pid=3515] ppid=3513 vsize=16872 CPUtime=2.44
/proc/3515/stat : 3515 (sugar++) S 3513 3515 3455 0 -1 4194304 1568 15635 0 3 6 4 211 23 16 0 1 0 2497716 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3515/statm: 4218 1132 414 3 0 797 0
[pid=3569] ppid=3515 vsize=131820 CPUtime=3597.57
/proc/3569/stat : 3569 (minisat-inc) R 3515 3515 3455 0 -1 4194304 32391 0 0 0 359698 59 0 0 25 0 1 0 2497970 134983680 32336 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3569/statm: 32955 32336 80 151 0 32801 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 148692
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+3629.9 s]
/proc/loadavg: 2.06 2.02 2.00 3/84 3640
/proc/meminfo: memFree=1625280/2055920 swapFree=4192956/4192956
[pid=3515] ppid=3513 vsize=16872 CPUtime=2.44
/proc/3515/stat : 3515 (sugar++) S 3513 3515 3455 0 -1 4194304 1568 15635 0 3 6 4 211 23 16 0 1 0 2497716 17276928 1132 996147200 4194304 4206940 548682068528 18446744073709551615 249078788194 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/3515/statm: 4218 1132 414 3 0 797 0
[pid=3569] ppid=3515 vsize=131820 CPUtime=3597.57
/proc/3569/stat : 3569 (minisat-inc) R 3515 3515 3455 0 -1 4194304 32391 0 0 0 359698 59 0 0 25 0 1 0 2497970 134983680 32336 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/3569/statm: 32955 32336 80 151 0 32801 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 148692
Child status: 0
Real time (s): 3629.94
CPU time (s): 3600.07
CPU user time (s): 3599.17
CPU system time (s): 0.898863
CPU usage (%): 99.1772
Max. virtual memory (cumulated for all children) (KiB): 890588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.17
system time used= 0.898863
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49673
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= 4644
involuntary context switches= 89392
runsolver used 3.79342 second user time and 10.1695 second system time
The end
Begin job on node89 at 2008-07-22 21:15:27
IDJOB=1127259
IDBENCH=63147
IDSOLVER=367
FILE ID=node89/1127259-1216754127
PBS_JOBID= 7974067
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-2400-421722_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-1127259-1216754127/watcher-1127259-1216754127 -o /tmp/evaluation-result-1127259-1216754127/solver-1127259-1216754127 -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-1127259-1216754127.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= f79aca6fdaa209b12c2cdef49e18e5f0
RANDOM SEED=117692442
node89.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.239
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.239
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1811120 kB
Buffers: 18136 kB
Cached: 171176 kB
SwapCached: 0 kB
Active: 143640 kB
Inactive: 59824 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1811120 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 908 kB
Writeback: 0 kB
Mapped: 23848 kB
Slab: 27052 kB
Committed_AS: 52564 kB
PageTables: 1568 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 node89 at 2008-07-22 22:15:59