0.00/0.05 c 0 Sugar v1-13 + HOME/minisat
0.00/0.05 c 0 BEGIN Wed Jul 23 02:18:56 2008
0.00/0.05 c 0 PID 4126
0.00/0.06 c 0 HOST node74.alineos.net
0.00/0.06 c 0 CONVERTING HOME/instance-1127564-1216772336.xml TO HOME/temp.csp
0.00/0.06 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1127564-1216772336.xml' 'HOME/temp.csp'
0.04/0.45 c 1 1 domains, 40 variables, 0 predicates, 38 relations, 1738 constraints
0.04/0.48 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.04/0.48 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.42/0.56 c 1 Parsing HOME/temp.csp
0.42/0.74 c 1 parsed 1817 expressions
0.42/0.75 c 1 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.42/0.77 c 1 MAX CSP: 1738 constraints
0.42/0.77 c 1 Converting to clausal form CSP
0.42/0.82 c 1 converted 356 (10%) expressions
0.42/0.85 c 1 converted 712 (20%) expressions
0.42/0.87 c 1 converted 1068 (30%) expressions
0.42/0.95 c 1 converted 1424 (40%) expressions
0.42/0.97 c 1 converted 1779 (50%) expressions
0.42/0.98 c 1 converted 2135 (60%) expressions
0.42/0.99 c 1 converted 2491 (70%) expressions
0.42/0.99 c 1 converted 2847 (80%) expressions
0.91/1.03 c 1 converted 3203 (90%) expressions
1.11/1.24 c 2 converted 3558 (100%) expressions
1.11/1.24 c 2 CSP : 3516 integers, 0 booleans, 5213 clauses, largest domain size 2608
1.11/1.24 c 2 Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.11/1.24 c 2 Propagation in CSP
1.20/1.32 c 2 1732 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.20/1.32 c 2 CSP : 3516 integers, 0 booleans, 5213 clauses, largest domain size 1739
1.20/1.32 c 2 Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.20/1.32 c 2 Simplifing CSP by introducing new Boolean variables
1.20/1.33 c 2 CSP : 3516 integers, 0 booleans, 5213 clauses, largest domain size 1739
1.20/1.33 c 2 Heap : 5 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.20/1.37 c 2 Encoding CSP to SAT : HOME/temp.cnf
1.20/1.38 c 2 352 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.20/1.39 c 2 704 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.20/1.39 c 2 1055 (30%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.20/1.39 c 2 1407 (40%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.20/1.40 c 2 1758 (50%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.30/1.41 c 2 2110 (60%) CSP integer variables are encoded (3876 clauses, 50452 bytes)
1.30/1.43 c 2 2462 (70%) CSP integer variables are encoded (20214 clauses, 287961 bytes)
1.30/1.44 c 2 2813 (80%) CSP integer variables are encoded (25960 clauses, 374151 bytes)
1.30/1.44 c 2 3165 (90%) CSP integer variables are encoded (28832 clauses, 417231 bytes)
1.30/1.45 c 2 3516 (100%) CSP integer variables are encoded (32719 clauses, 475536 bytes)
1.40/1.51 c 2 522 (10%) CSP clauses are encoded (33268 clauses, 484231 bytes)
1.40/1.53 c 2 1043 (20%) CSP clauses are encoded (33810 clauses, 493256 bytes)
1.40/1.55 c 2 1564 (30%) CSP clauses are encoded (34354 clauses, 503235 bytes)
1.50/1.60 c 2 2086 (40%) CSP clauses are encoded (51570 clauses, 809104 bytes)
1.80/1.93 c 2 2607 (50%) CSP clauses are encoded (231003 clauses, 4097859 bytes)
3.19/3.37 c 4 3128 (60%) CSP clauses are encoded (1016990 clauses, 20278729 bytes)
6.90/7.16 c 8 3650 (70%) CSP clauses are encoded (3108208 clauses, 63839027 bytes)
7.01/7.28 c 8 4171 (80%) CSP clauses are encoded (3167923 clauses, 65094306 bytes)
7.31/7.55 c 8 4692 (90%) CSP clauses are encoded (3317052 clauses, 68267348 bytes)
8.29/8.57 c 9 5213 (100%) CSP clauses are encoded (3875777 clauses, 80225011 bytes)
8.29/8.57 c 9 5213 CSP clauses encoded
8.29/8.57 c 9 Writing map file : HOME/temp.map
8.39/8.61 c 9 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
8.39/8.61 c 9 SAT : 36235 SAT variables, 3875777 SAT clauses, 80225011 bytes
8.39/8.61 c 9 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
8.39/8.62 c 9 OBJECTIVE minimize _COST
8.39/8.62 c 9 OBJECTIVE BOUND: 0 <= _COST <=
8.39/8.62 c 9 SEARCHING: _COST <= 869
8.39/8.62 c 9 SOLVING HOME/temp.cnf
8.39/8.62 c 9 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
8.39/8.63 c 9 This is MiniSat 2.0 beta
8.39/8.63 c 9 WARNING: for repeatability, setting FPU to use double precision
8.39/8.63 c 9 ============================[ Problem Statistics ]=============================
8.39/8.63 c 9 | |
8.39/8.63 c 9 | Number of variables: 36235 |
8.39/8.63 c 9 | Number of clauses: 3875778 |
10.36/10.62 c 11 | Parsing time: 1.72 s |
13.63/13.95 c 14 ============================[ Search Statistics ]==============================
13.63/13.95 c 14 | Conflicts | ORIGINAL | LEARNT | Progress |
13.63/13.95 c 14 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
13.63/13.95 c 14 ===============================================================================
13.63/13.96 c 14 | 0 | 26676 2464131 7322052 | 821377 0 nan | 0.000 % |
14.82/15.14 c 16 ===============================================================================
14.82/15.14 c 16 restarts : 1
14.82/15.14 c 16 conflicts : 22 (4 /sec)
14.82/15.14 c 16 decisions : 962 (1.04 % random) (155 /sec)
14.82/15.14 c 16 propagations : 270306 (43618 /sec)
14.82/15.14 c 16 conflict literals : 304 (11.63 % deleted)
14.82/15.14 c 16 Memory used : 156.09 MB
14.82/15.14 c 16 CPU time : 6.19706 s
14.82/15.14 c 16
14.82/15.15 c 16 SATISFIABLE
14.82/15.18 c 16 FOUND: _COST <= 869
14.82/15.18 s SATISFIABLE
14.82/15.18 c 16 DECODING HOME/temp.out WITH HOME/temp.map
14.82/15.18 c 16 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
14.91/15.26 c 16 Decoding HOME/temp.out
15.30/15.65 c 16 OBJECTIVE _COST 537
15.30/15.65 o 537
15.30/15.66 v 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
15.30/15.67 c 16 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
15.37/15.71 c 16 OBJECTIVE BOUND: 0 <= _COST <= 537
15.37/15.71 c 16 SEARCHING: _COST <= 268
15.37/15.71 c 16 SOLVING HOME/temp.cnf
15.37/15.71 c 16 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
15.37/15.71 c 16 This is MiniSat 2.0 beta
15.37/15.71 c 16 WARNING: for repeatability, setting FPU to use double precision
15.37/15.71 c 16 ============================[ Problem Statistics ]=============================
15.37/15.71 c 16 | |
15.37/15.71 c 16 | Number of variables: 36235 |
15.37/15.71 c 16 | Number of clauses: 3875778 |
17.35/17.77 c 18 | Parsing time: 1.79 s |
22.30/22.70 c 23 ============================[ Search Statistics ]==============================
22.30/22.70 c 23 | Conflicts | ORIGINAL | LEARNT | Progress |
22.30/22.70 c 23 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
22.30/22.70 c 23 ===============================================================================
22.30/22.70 c 23 | 0 | 18964 1055036 3117302 | 351678 0 nan | 0.000 % |
22.99/23.41 c 24 ===============================================================================
22.99/23.41 c 24 restarts : 1
22.99/23.41 c 24 conflicts : 36 (5 /sec)
22.99/23.41 c 24 decisions : 593 (1.18 % random) (80 /sec)
22.99/23.41 c 24 propagations : 306984 (41614 /sec)
22.99/23.41 c 24 conflict literals : 673 (14.92 % deleted)
22.99/23.41 c 24 Memory used : 159.34 MB
22.99/23.41 c 24 CPU time : 7.37688 s
22.99/23.41 c 24
22.99/23.43 c 24 SATISFIABLE
22.99/23.45 c 24 FOUND: _COST <= 268
22.99/23.45 c 24 DECODING HOME/temp.out WITH HOME/temp.map
22.99/23.45 c 24 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
23.05/23.53 c 24 Decoding HOME/temp.out
23.05/23.73 c 24 OBJECTIVE _COST 268
23.05/23.73 o 268
23.05/23.73 v 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 1 1 1 1 1 1 1 1 1 1 1 1
23.05/23.74 c 24 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
23.05/23.77 c 24 OBJECTIVE BOUND: 0 <= _COST <= 268
23.05/23.77 c 24 SEARCHING: _COST <= 134
23.05/23.77 c 24 SOLVING HOME/temp.cnf
23.05/23.77 c 24 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
23.05/23.77 c 24 This is MiniSat 2.0 beta
23.05/23.77 c 24 WARNING: for repeatability, setting FPU to use double precision
23.05/23.77 c 24 ============================[ Problem Statistics ]=============================
23.05/23.77 c 24 | |
23.05/23.77 c 24 | Number of variables: 36235 |
23.05/23.78 c 24 | Number of clauses: 3875778 |
25.33/25.84 c 26 | Parsing time: 1.83 s |
30.38/30.96 c 31 ============================[ Search Statistics ]==============================
30.38/30.96 c 31 | Conflicts | ORIGINAL | LEARNT | Progress |
30.38/30.96 c 31 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
30.38/30.96 c 31 ===============================================================================
30.38/30.96 c 31 | 0 | 16371 576653 1689798 | 192217 0 nan | 0.000 % |
30.98/31.55 c 32 | 100 | 16371 576653 1689798 | 211439 100 29 | 54.820 % |
31.47/32.07 c 32 | 251 | 16371 576653 1689798 | 232583 251 30 | 54.820 % |
32.27/32.88 c 33 | 477 | 16371 576653 1689798 | 255841 477 31 | 54.820 % |
33.56/34.12 c 35 | 814 | 16371 576653 1689798 | 281425 814 32 | 54.820 % |
35.24/35.89 c 36 | 1321 | 16371 576653 1689798 | 309568 1321 33 | 54.820 % |
38.10/38.73 c 39 | 2080 | 16371 576653 1689798 | 340525 2080 33 | 54.820 % |
42.27/42.96 c 43 | 3219 | 16371 576653 1689798 | 374577 3219 33 | 54.820 % |
48.81/49.59 c 50 | 4927 | 16371 576653 1689798 | 412035 4927 34 | 54.820 % |
59.10/59.96 c 60 | 7490 | 16371 576653 1689798 | 453239 7490 35 | 54.820 % |
75.15/76.14 c 77 | 11334 | 16371 576653 1689798 | 498563 11334 35 | 54.820 % |
98.43/99.65 c 100 | 17100 | 16371 576653 1689798 | 548419 17100 34 | 54.820 % |
132.70/134.23 c 135 | 25750 | 16371 576653 1689798 | 603261 25750 34 | 54.820 % |
186.10/188.16 c 189 | 38724 | 16371 576653 1689798 | 663587 38724 34 | 54.820 % |
269.99/272.86 c 273 | 58186 | 16371 576653 1689798 | 729946 58186 34 | 54.820 % |
412.23/416.48 c 417 | 87379 | 16371 576653 1689798 | 802940 87379 34 | 54.820 % |
636.18/642.56 c 643 | 131168 | 16371 576653 1689798 | 883234 131168 34 | 54.820 % |
981.09/990.78 c 991 | 196852 | 16371 576653 1689798 | 971558 196852 34 | 54.820 % |
1541.52/1556.56 c 1557 | 295378 | 16371 576653 1689798 | 1068714 295378 33 | 54.820 % |
2538.74/2563.38 c 2564 | 443169 | 16371 576653 1689798 | 1175585 443169 33 | 54.820 % |
3600.03/3634.42 c ERROR INTERRUPTED
3600.03/3634.44 c 3635 CPU 21.98 (0.04 0.02 21.94 1.34)
3600.03/3634.44 c 3635 END Wed Jul 23 03:19:31 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-1127564-1216772336/watcher-1127564-1216772336 -o /tmp/evaluation-result-1127564-1216772336/solver-1127564-1216772336 -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-1127564-1216772336.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.08 2.00 1.91 4/81 4126
/proc/meminfo: memFree=1624312/2055920 swapFree=4192956/4192956
[pid=4126] ppid=4124 vsize=6268 CPUtime=0
/proc/4126/stat : 4126 (sugar) R 4124 4126 3886 0 -1 4194304 62 0 0 0 0 0 0 0 19 0 1 0 4320419 6418432 47 996147200 4194304 4206940 548682068592 18446744073709551615 228772083081 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/4126/statm: 1567 47 36 3 0 8 0
[startup+0.099581 s]
/proc/loadavg: 2.08 2.00 1.91 4/81 4126
/proc/meminfo: memFree=1624312/2055920 swapFree=4192956/4192956
[pid=4126] ppid=4124 vsize=13600 CPUtime=0.04
/proc/4126/stat : 4126 (sugar) S 4124 4126 3886 0 -1 4194304 898 127 0 0 3 1 0 0 19 0 1 0 4320419 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4126/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+0.101578 s]
/proc/loadavg: 2.08 2.00 1.91 4/81 4126
/proc/meminfo: memFree=1624312/2055920 swapFree=4192956/4192956
[pid=4126] ppid=4124 vsize=13600 CPUtime=0.04
/proc/4126/stat : 4126 (sugar) S 4124 4126 3886 0 -1 4194304 898 127 0 0 3 1 0 0 19 0 1 0 4320419 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4126/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+0.301619 s]
/proc/loadavg: 2.08 2.00 1.91 4/81 4126
/proc/meminfo: memFree=1624312/2055920 swapFree=4192956/4192956
[pid=4126] ppid=4124 vsize=13600 CPUtime=0.04
/proc/4126/stat : 4126 (sugar) S 4124 4126 3886 0 -1 4194304 898 127 0 0 3 1 0 0 19 0 1 0 4320419 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4126/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+0.701697 s]
/proc/loadavg: 2.08 2.00 1.91 4/81 4126
/proc/meminfo: memFree=1624312/2055920 swapFree=4192956/4192956
[pid=4126] ppid=4124 vsize=13600 CPUtime=0.42
/proc/4126/stat : 4126 (sugar) S 4124 4126 3886 0 -1 4194304 974 4802 0 1 3 1 35 3 16 0 1 0 4320419 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4126/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13600
[startup+1.50285 s]
/proc/loadavg: 2.07 2.00 1.91 3/92 4148
/proc/meminfo: memFree=1609568/2055920 swapFree=4192956/4192956
[pid=4126] ppid=4124 vsize=13600 CPUtime=0.42
/proc/4126/stat : 4126 (sugar) S 4124 4126 3886 0 -1 4194304 974 4802 0 1 3 1 35 3 15 0 1 0 4320419 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4126/statm: 3400 797 370 3 0 500 0
[pid=4139] ppid=4126 vsize=5356 CPUtime=0
/proc/4139/stat : 4139 (sh) S 4126 4126 3886 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 4320468 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4139/statm: 1339 233 193 169 0 50 0
[pid=4140] ppid=4139 vsize=868480 CPUtime=0.98
/proc/4140/stat : 4140 (java) S 4139 4126 3886 0 -1 0 7428 0 1 0 93 5 0 0 18 0 9 0 4320469 889323520 6605 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4140/statm: 217120 6605 2564 9 0 211667 0
[pid=4140/tid=4141] ppid=4139 vsize=868480 CPUtime=0.56
/proc/4140/task/4141/stat : 4141 (java) R 4139 4126 3886 0 -1 64 2753 0 1 0 54 2 0 0 21 0 9 0 4320469 889323520 6605 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4140/tid=4142] ppid=4139 vsize=868480 CPUtime=0.14
/proc/4140/task/4142/stat : 4142 (java) R 4139 4126 3886 0 -1 64 2473 0 0 0 14 0 0 0 16 0 9 0 4320471 889323520 6605 996147200 134512640 134550740 4294955936 18446744073709551615 101459301 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4140/tid=4143] ppid=4139 vsize=868480 CPUtime=0
/proc/4140/task/4143/stat : 4143 (java) S 4139 4126 3886 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 4320471 889323520 6605 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4140/tid=4144] ppid=4139 vsize=868480 CPUtime=0
/proc/4140/task/4144/stat : 4144 (java) S 4139 4126 3886 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4320471 889323520 6605 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4140/tid=4145] ppid=4139 vsize=868480 CPUtime=0
/proc/4140/task/4145/stat : 4145 (java) S 4139 4126 3886 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 4320473 889323520 6605 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4140/tid=4146] ppid=4139 vsize=868480 CPUtime=0.26
/proc/4140/task/4146/stat : 4146 (java) S 4139 4126 3886 0 -1 64 1510 0 0 0 25 1 0 0 16 0 9 0 4320473 889323520 6605 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4140/tid=4147] ppid=4139 vsize=868480 CPUtime=0
/proc/4140/task/4147/stat : 4147 (java) S 4139 4126 3886 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 4320473 889323520 6605 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4140/tid=4148] ppid=4139 vsize=868480 CPUtime=0
/proc/4140/task/4148/stat : 4148 (java) S 4139 4126 3886 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 4320473 889323520 6605 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 887436
[startup+3.10217 s]
/proc/loadavg: 2.07 2.00 1.91 3/92 4148
/proc/meminfo: memFree=1599392/2055920 swapFree=4192956/4192956
[pid=4126] ppid=4124 vsize=13600 CPUtime=0.42
/proc/4126/stat : 4126 (sugar) S 4124 4126 3886 0 -1 4194304 974 4802 0 1 3 1 35 3 15 0 1 0 4320419 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4126/statm: 3400 797 370 3 0 500 0
[pid=4139] ppid=4126 vsize=5356 CPUtime=0
/proc/4139/stat : 4139 (sh) S 4126 4126 3886 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 4320468 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4139/statm: 1339 233 193 169 0 50 0
[pid=4140] ppid=4139 vsize=868480 CPUtime=2.57
/proc/4140/stat : 4140 (java) S 4139 4126 3886 0 -1 0 7915 0 1 0 236 21 0 0 18 0 9 0 4320469 889323520 6620 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4140/statm: 217120 6620 2564 9 0 211667 0
[pid=4140/tid=4141] ppid=4139 vsize=868480 CPUtime=2
/proc/4140/task/4141/stat : 4141 (java) R 4139 4126 3886 0 -1 64 3225 0 1 0 185 15 0 0 25 0 9 0 4320469 889323520 6620 996147200 134512640 134550740 4294955936 18446744073709551615 102064826 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4140/tid=4142] ppid=4139 vsize=868480 CPUtime=0.26
/proc/4140/task/4142/stat : 4142 (java) S 4139 4126 3886 0 -1 64 2473 0 0 0 23 3 0 0 16 0 9 0 4320471 889323520 6620 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4140/tid=4143] ppid=4139 vsize=868480 CPUtime=0
/proc/4140/task/4143/stat : 4143 (java) S 4139 4126 3886 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 4320471 889323520 6620 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4140/tid=4144] ppid=4139 vsize=868480 CPUtime=0
/proc/4140/task/4144/stat : 4144 (java) S 4139 4126 3886 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4320471 889323520 6620 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4140/tid=4145] ppid=4139 vsize=868480 CPUtime=0
/proc/4140/task/4145/stat : 4145 (java) S 4139 4126 3886 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 4320473 889323520 6620 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4140/tid=4146] ppid=4139 vsize=868480 CPUtime=0.28
/proc/4140/task/4146/stat : 4146 (java) S 4139 4126 3886 0 -1 64 1525 0 0 0 27 1 0 0 16 0 9 0 4320473 889323520 6620 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4140/tid=4147] ppid=4139 vsize=868480 CPUtime=0
/proc/4140/task/4147/stat : 4147 (java) S 4139 4126 3886 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 4320473 889323520 6620 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4140/tid=4148] ppid=4139 vsize=868480 CPUtime=0
/proc/4140/task/4148/stat : 4148 (java) S 4139 4126 3886 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 4320473 889323520 6620 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 887436
[startup+6.3028 s]
/proc/loadavg: 2.07 2.00 1.91 3/92 4148
/proc/meminfo: memFree=1559456/2055920 swapFree=4192956/4192956
[pid=4126] ppid=4124 vsize=13600 CPUtime=0.42
/proc/4126/stat : 4126 (sugar) S 4124 4126 3886 0 -1 4194304 974 4802 0 1 3 1 35 3 16 0 1 0 4320419 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4126/statm: 3400 797 370 3 0 500 0
[pid=4139] ppid=4126 vsize=5356 CPUtime=0
/proc/4139/stat : 4139 (sh) S 4126 4126 3886 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 4320468 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4139/statm: 1339 233 193 169 0 50 0
[pid=4140] ppid=4139 vsize=868480 CPUtime=5.71
/proc/4140/stat : 4140 (java) S 4139 4126 3886 0 -1 0 8923 0 1 0 521 50 0 0 18 0 9 0 4320469 889323520 6621 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4140/statm: 217120 6621 2564 9 0 211667 0
[pid=4140/tid=4141] ppid=4139 vsize=868480 CPUtime=4.89
/proc/4140/task/4141/stat : 4141 (java) R 4139 4126 3886 0 -1 64 4232 0 1 0 450 39 0 0 25 0 9 0 4320469 889323520 6621 996147200 134512640 134550740 4294955936 18446744073709551615 4127082743 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4140/tid=4142] ppid=4139 vsize=868480 CPUtime=0.51
/proc/4140/task/4142/stat : 4142 (java) S 4139 4126 3886 0 -1 64 2473 0 0 0 43 8 0 0 16 0 9 0 4320471 889323520 6621 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4140/tid=4143] ppid=4139 vsize=868480 CPUtime=0
/proc/4140/task/4143/stat : 4143 (java) S 4139 4126 3886 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 4320471 889323520 6621 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4140/tid=4144] ppid=4139 vsize=868480 CPUtime=0
/proc/4140/task/4144/stat : 4144 (java) S 4139 4126 3886 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 4320471 889323520 6621 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4140/tid=4145] ppid=4139 vsize=868480 CPUtime=0
/proc/4140/task/4145/stat : 4145 (java) S 4139 4126 3886 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 4320473 889323520 6621 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4140/tid=4146] ppid=4139 vsize=868480 CPUtime=0.28
/proc/4140/task/4146/stat : 4146 (java) S 4139 4126 3886 0 -1 64 1526 0 0 0 27 1 0 0 17 0 9 0 4320473 889323520 6621 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4140/tid=4147] ppid=4139 vsize=868480 CPUtime=0
/proc/4140/task/4147/stat : 4147 (java) S 4139 4126 3886 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 4320473 889323520 6621 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4140/tid=4148] ppid=4139 vsize=868480 CPUtime=0
/proc/4140/task/4148/stat : 4148 (java) S 4139 4126 3886 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 4320473 889323520 6621 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 887436
[startup+12.7021 s]
/proc/loadavg: 2.21 2.04 1.93 3/84 4150
/proc/meminfo: memFree=1387040/2055920 swapFree=4192956/4192956
[pid=4126] ppid=4124 vsize=13864 CPUtime=8.44
/proc/4126/stat : 4126 (sugar) S 4124 4126 3886 0 -1 4194304 1103 14760 0 2 4 1 764 75 16 0 1 0 4320419 14196736 851 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4126/statm: 3466 851 374 3 0 566 0
[pid=4149] ppid=4126 vsize=5356 CPUtime=0
/proc/4149/stat : 4149 (sh) S 4126 4126 3886 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4321282 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4149/statm: 1339 232 193 169 0 50 0
[pid=4150] ppid=4149 vsize=159828 CPUtime=4
/proc/4150/stat : 4150 (minisat) R 4149 4126 3886 0 -1 4194304 38381 0 0 0 377 23 0 0 25 0 1 0 4321283 163663872 38367 996147200 134512640 135127466 4294956256 18446744073709551615 134523436 0 0 4096 3 0 0 0 17 1 0 0
/proc/4150/statm: 39957 38367 71 150 0 39804 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 179048
[startup+25.5016 s]
/proc/loadavg: 2.25 2.05 1.93 3/84 4174
/proc/meminfo: memFree=1421792/2055920 swapFree=4192956/4192956
[pid=4126] ppid=4124 vsize=13864 CPUtime=23.34
/proc/4126/stat : 4126 (sugar) S 4124 4126 3886 0 -1 4194304 1338 100895 0 4 4 2 2194 134 16 0 1 0 4320419 14196736 851 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4126/statm: 3466 851 374 3 0 566 0
[pid=4173] ppid=4126 vsize=5356 CPUtime=0
/proc/4173/stat : 4173 (sh) S 4126 4126 3886 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4322797 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4173/statm: 1339 232 193 169 0 50 0
[pid=4174] ppid=4173 vsize=148876 CPUtime=1.69
/proc/4174/stat : 4174 (minisat) R 4173 4126 3886 0 -1 4194304 35445 0 0 0 150 19 0 0 25 0 1 0 4322797 152449024 35431 996147200 134512640 135127466 4294956256 18446744073709551615 134514059 0 0 4096 3 0 0 0 17 1 0 0
/proc/4174/statm: 37219 35431 62 150 0 37066 0
Current children cumulated CPU time (s) 25.03
Current children cumulated vsize (KiB) 168096
[startup+51.1016 s]
/proc/loadavg: 2.15 2.04 1.93 3/84 4174
/proc/meminfo: memFree=1370208/2055920 swapFree=4192956/4192956
[pid=4126] ppid=4124 vsize=13864 CPUtime=23.34
/proc/4126/stat : 4126 (sugar) S 4124 4126 3886 0 -1 4194304 1338 100895 0 4 4 2 2194 134 16 0 1 0 4320419 14196736 851 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4126/statm: 3466 851 374 3 0 566 0
[pid=4173] ppid=4126 vsize=5356 CPUtime=0
/proc/4173/stat : 4173 (sh) S 4126 4126 3886 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4322797 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4173/statm: 1339 232 193 169 0 50 0
[pid=4174] ppid=4173 vsize=163716 CPUtime=27.05
/proc/4174/stat : 4174 (minisat) R 4173 4126 3886 0 -1 4194304 39350 0 0 0 2684 21 0 0 25 0 1 0 4322797 167645184 39336 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/4174/statm: 40929 39336 75 150 0 40776 0
Current children cumulated CPU time (s) 50.39
Current children cumulated vsize (KiB) 182936
[startup+102.307 s]
/proc/loadavg: 2.06 2.03 1.93 3/84 4176
/proc/meminfo: memFree=1369952/2055920 swapFree=4192956/4192956
[pid=4126] ppid=4124 vsize=13864 CPUtime=23.34
/proc/4126/stat : 4126 (sugar) S 4124 4126 3886 0 -1 4194304 1338 100895 0 4 4 2 2194 134 16 0 1 0 4320419 14196736 851 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4126/statm: 3466 851 374 3 0 566 0
################
# More data... #
################
/proc/meminfo: memFree=1358368/2055920 swapFree=4192956/4192956
[pid=4126] ppid=4124 vsize=13864 CPUtime=23.34
/proc/4126/stat : 4126 (sugar) S 4124 4126 3886 0 -1 4194304 1338 100895 0 4 4 2 2194 134 16 0 1 0 4320419 14196736 851 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4126/statm: 3466 851 374 3 0 566 0
[pid=4173] ppid=4126 vsize=5356 CPUtime=0
/proc/4173/stat : 4173 (sh) S 4126 4126 3886 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4322797 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4173/statm: 1339 232 193 169 0 50 0
[pid=4174] ppid=4173 vsize=175848 CPUtime=3049.29
/proc/4174/stat : 4174 (minisat) R 4173 4126 3886 0 -1 4194304 41811 0 0 0 304900 29 0 0 25 0 1 0 4322797 180068352 41793 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/4174/statm: 43962 41793 75 150 0 43809 0
Current children cumulated CPU time (s) 3072.63
Current children cumulated vsize (KiB) 195068
[startup+3162.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/84 4182
/proc/meminfo: memFree=1357344/2055920 swapFree=4192956/4192956
[pid=4126] ppid=4124 vsize=13864 CPUtime=23.34
/proc/4126/stat : 4126 (sugar) S 4124 4126 3886 0 -1 4194304 1338 100895 0 4 4 2 2194 134 16 0 1 0 4320419 14196736 851 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4126/statm: 3466 851 374 3 0 566 0
[pid=4173] ppid=4126 vsize=5356 CPUtime=0
/proc/4173/stat : 4173 (sh) S 4126 4126 3886 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4322797 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4173/statm: 1339 232 193 169 0 50 0
[pid=4174] ppid=4173 vsize=176904 CPUtime=3108.72
/proc/4174/stat : 4174 (minisat) R 4173 4126 3886 0 -1 4194304 42069 0 0 0 310843 29 0 0 25 0 1 0 4322797 181149696 42051 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/4174/statm: 44226 42051 75 150 0 44073 0
Current children cumulated CPU time (s) 3132.06
Current children cumulated vsize (KiB) 196124
[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/84 4182
/proc/meminfo: memFree=1356000/2055920 swapFree=4192956/4192956
[pid=4126] ppid=4124 vsize=13864 CPUtime=23.34
/proc/4126/stat : 4126 (sugar) S 4124 4126 3886 0 -1 4194304 1338 100895 0 4 4 2 2194 134 16 0 1 0 4320419 14196736 851 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4126/statm: 3466 851 374 3 0 566 0
[pid=4173] ppid=4126 vsize=5356 CPUtime=0
/proc/4173/stat : 4173 (sh) S 4126 4126 3886 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4322797 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4173/statm: 1339 232 193 169 0 50 0
[pid=4174] ppid=4173 vsize=178092 CPUtime=3168.16
/proc/4174/stat : 4174 (minisat) R 4173 4126 3886 0 -1 4194304 42385 0 0 0 316786 30 0 0 25 0 1 0 4322797 182366208 42367 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/4174/statm: 44523 42367 75 150 0 44370 0
Current children cumulated CPU time (s) 3191.5
Current children cumulated vsize (KiB) 197312
[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/84 4182
/proc/meminfo: memFree=1354848/2055920 swapFree=4192956/4192956
[pid=4126] ppid=4124 vsize=13864 CPUtime=23.34
/proc/4126/stat : 4126 (sugar) S 4124 4126 3886 0 -1 4194304 1338 100895 0 4 4 2 2194 134 16 0 1 0 4320419 14196736 851 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4126/statm: 3466 851 374 3 0 566 0
[pid=4173] ppid=4126 vsize=5356 CPUtime=0
/proc/4173/stat : 4173 (sh) S 4126 4126 3886 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4322797 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4173/statm: 1339 232 193 169 0 50 0
[pid=4174] ppid=4173 vsize=179296 CPUtime=3227.59
/proc/4174/stat : 4174 (minisat) R 4173 4126 3886 0 -1 4194304 42664 0 0 0 322729 30 0 0 25 0 1 0 4322797 183599104 42646 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/4174/statm: 44824 42646 75 150 0 44671 0
Current children cumulated CPU time (s) 3250.93
Current children cumulated vsize (KiB) 198516
[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/84 4182
/proc/meminfo: memFree=1353696/2055920 swapFree=4192956/4192956
[pid=4126] ppid=4124 vsize=13864 CPUtime=23.34
/proc/4126/stat : 4126 (sugar) S 4124 4126 3886 0 -1 4194304 1338 100895 0 4 4 2 2194 134 16 0 1 0 4320419 14196736 851 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4126/statm: 3466 851 374 3 0 566 0
[pid=4173] ppid=4126 vsize=5356 CPUtime=0
/proc/4173/stat : 4173 (sh) S 4126 4126 3886 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4322797 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4173/statm: 1339 232 193 169 0 50 0
[pid=4174] ppid=4173 vsize=180412 CPUtime=3287.02
/proc/4174/stat : 4174 (minisat) R 4173 4126 3886 0 -1 4194304 42959 0 0 0 328671 31 0 0 25 0 1 0 4322797 184741888 42941 996147200 134512640 135127466 4294956256 18446744073709551615 134530641 0 0 4096 3 0 0 0 17 1 0 0
/proc/4174/statm: 45103 42941 75 150 0 44950 0
Current children cumulated CPU time (s) 3310.36
Current children cumulated vsize (KiB) 199632
[startup+3402.31 s]
/proc/loadavg: 2.04 2.01 1.94 3/84 4182
/proc/meminfo: memFree=1352544/2055920 swapFree=4192956/4192956
[pid=4126] ppid=4124 vsize=13864 CPUtime=23.34
/proc/4126/stat : 4126 (sugar) S 4124 4126 3886 0 -1 4194304 1338 100895 0 4 4 2 2194 134 16 0 1 0 4320419 14196736 851 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4126/statm: 3466 851 374 3 0 566 0
[pid=4173] ppid=4126 vsize=5356 CPUtime=0
/proc/4173/stat : 4173 (sh) S 4126 4126 3886 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4322797 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4173/statm: 1339 232 193 169 0 50 0
[pid=4174] ppid=4173 vsize=181472 CPUtime=3346.46
/proc/4174/stat : 4174 (minisat) R 4173 4126 3886 0 -1 4194304 43240 0 0 0 334614 32 0 0 25 0 1 0 4322797 185827328 43222 996147200 134512640 135127466 4294956256 18446744073709551615 134530679 0 0 4096 3 0 0 0 17 1 0 0
/proc/4174/statm: 45368 43222 75 150 0 45215 0
Current children cumulated CPU time (s) 3369.8
Current children cumulated vsize (KiB) 200692
[startup+3462.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/84 4182
/proc/meminfo: memFree=1351200/2055920 swapFree=4192956/4192956
[pid=4126] ppid=4124 vsize=13864 CPUtime=23.34
/proc/4126/stat : 4126 (sugar) S 4124 4126 3886 0 -1 4194304 1338 100895 0 4 4 2 2194 134 16 0 1 0 4320419 14196736 851 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4126/statm: 3466 851 374 3 0 566 0
[pid=4173] ppid=4126 vsize=5356 CPUtime=0
/proc/4173/stat : 4173 (sh) S 4126 4126 3886 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4322797 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4173/statm: 1339 232 193 169 0 50 0
[pid=4174] ppid=4173 vsize=182528 CPUtime=3405.88
/proc/4174/stat : 4174 (minisat) R 4173 4126 3886 0 -1 4194304 43535 0 0 0 340556 32 0 0 25 0 1 0 4322797 186908672 43517 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/4174/statm: 45632 43517 75 150 0 45479 0
Current children cumulated CPU time (s) 3429.22
Current children cumulated vsize (KiB) 201748
[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/84 4182
/proc/meminfo: memFree=1350112/2055920 swapFree=4192956/4192956
[pid=4126] ppid=4124 vsize=13864 CPUtime=23.34
/proc/4126/stat : 4126 (sugar) S 4124 4126 3886 0 -1 4194304 1338 100895 0 4 4 2 2194 134 16 0 1 0 4320419 14196736 851 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4126/statm: 3466 851 374 3 0 566 0
[pid=4173] ppid=4126 vsize=5356 CPUtime=0
/proc/4173/stat : 4173 (sh) S 4126 4126 3886 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4322797 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4173/statm: 1339 232 193 169 0 50 0
[pid=4174] ppid=4173 vsize=183716 CPUtime=3465.32
/proc/4174/stat : 4174 (minisat) R 4173 4126 3886 0 -1 4194304 43813 0 0 0 346499 33 0 0 25 0 1 0 4322797 188125184 43795 996147200 134512640 135127466 4294956256 18446744073709551615 134530654 0 0 4096 3 0 0 0 17 1 0 0
/proc/4174/statm: 45929 43795 75 150 0 45776 0
Current children cumulated CPU time (s) 3488.66
Current children cumulated vsize (KiB) 202936
[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/84 4182
/proc/meminfo: memFree=1348832/2055920 swapFree=4192956/4192956
[pid=4126] ppid=4124 vsize=13864 CPUtime=23.34
/proc/4126/stat : 4126 (sugar) S 4124 4126 3886 0 -1 4194304 1338 100895 0 4 4 2 2194 134 16 0 1 0 4320419 14196736 851 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4126/statm: 3466 851 374 3 0 566 0
[pid=4173] ppid=4126 vsize=5356 CPUtime=0
/proc/4173/stat : 4173 (sh) S 4126 4126 3886 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4322797 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4173/statm: 1339 232 193 169 0 50 0
[pid=4174] ppid=4173 vsize=184772 CPUtime=3524.74
/proc/4174/stat : 4174 (minisat) R 4173 4126 3886 0 -1 4194304 44095 0 0 0 352441 33 0 0 25 0 1 0 4322797 189206528 44077 996147200 134512640 135127466 4294956256 18446744073709551615 134530739 0 0 4096 3 0 0 0 17 1 0 0
/proc/4174/statm: 46193 44077 75 150 0 46040 0
Current children cumulated CPU time (s) 3548.08
Current children cumulated vsize (KiB) 203992
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3634.41 s]
/proc/loadavg: 2.00 2.00 1.94 3/85 4223
/proc/meminfo: memFree=1379608/2055920 swapFree=4192956/4192956
[pid=4126] ppid=4124 vsize=13864 CPUtime=23.34
/proc/4126/stat : 4126 (sugar) S 4124 4126 3886 0 -1 4194304 1338 100895 0 4 4 2 2194 134 16 0 1 0 4320419 14196736 851 996147200 4194304 4206940 548682068592 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/4126/statm: 3466 851 374 3 0 566 0
[pid=4173] ppid=4126 vsize=5356 CPUtime=0
/proc/4173/stat : 4173 (sh) S 4126 4126 3886 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 4322797 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4173/statm: 1339 232 193 169 0 50 0
[pid=4174] ppid=4173 vsize=185696 CPUtime=3576.69
/proc/4174/stat : 4174 (minisat) R 4173 4126 3886 0 -1 4194304 44336 0 0 0 357635 34 0 0 25 0 1 0 4322797 190152704 44318 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/4174/statm: 46424 44318 75 150 0 46271 0
Current children cumulated CPU time (s) 3600.03
Current children cumulated vsize (KiB) 204916
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 4126 and gives
# childrusage.ru_utime.tv_sec=21
# childrusage.ru_utime.tv_usec=994656
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=409785
# CPU time returned by wait4() is 23.4044
# while last known CPU time is 3600.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 3634.48
CPU time (s): 3600.03
CPU user time (s): 3598.33
CPU system time (s): 1.7
CPU usage (%): 99.0522
Max. virtual memory (cumulated for all children) (KiB): 887436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.9947
system time used= 1.40978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102574
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18865
involuntary context switches= 19467
runsolver used 4.67929 second user time and 11.8372 second system time
The end
Begin job on node74 at 2008-07-23 02:18:56
IDJOB=1127564
IDBENCH=63615
IDSOLVER=368
FILE ID=node74/1127564-1216772336
PBS_JOBID= 7974107
Free space on /tmp= 103240 MiB
SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/maxcsp/cnf/3-40-1100-2000/normalized-cnf-3-40-1900-793224_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-1127564-1216772336/watcher-1127564-1216772336 -o /tmp/evaluation-result-1127564-1216772336/solver-1127564-1216772336 -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-1127564-1216772336.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 27c9f9d5b607247c984cc21cd7ff5173
RANDOM SEED=980003656
node74.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.263
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.263
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: 1624792 kB
Buffers: 24740 kB
Cached: 318320 kB
SwapCached: 0 kB
Active: 300268 kB
Inactive: 86488 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1624792 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 3748 kB
Writeback: 0 kB
Mapped: 63956 kB
Slab: 29464 kB
Committed_AS: 886388 kB
PageTables: 1904 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 103240 MiB
End job on node74 at 2008-07-23 03:19:33