0.05/0.07 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.05/0.07 c 0 BEGIN Wed Jul 16 02:22:50 2008
0.05/0.07 c 0 PID 22695
0.05/0.07 c 0 HOST node76.alineos.net
0.05/0.07 c 0 CONVERTING HOME/instance-1125219-1216167769.xml TO HOME/temp.csp
0.05/0.07 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1125219-1216167769.xml' 'HOME/temp.csp'
0.91/1.06 c 1 3 domains, 100 variables, 0 predicates, 526 relations, 1222 constraints
0.91/1.07 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.91/1.07 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.98/1.15 c 1 Parsing HOME/temp.csp
2.49/2.64 c 2 parsed 1851 expressions
2.49/2.65 c 2 Heap : 28 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
2.49/2.67 c 2 MAX CSP: 1222 constraints
2.49/2.67 c 2 Converting to clausal form CSP
2.59/2.72 c 2 converted 308 (10%) expressions
2.59/2.75 c 2 converted 616 (20%) expressions
2.99/3.11 c 3 converted 923 (30%) expressions
3.20/3.33 c 3 converted 1231 (40%) expressions
3.39/3.51 c 3 converted 1538 (50%) expressions
3.59/3.75 c 3 converted 1846 (60%) expressions
3.79/3.91 c 3 converted 2154 (70%) expressions
4.29/4.42 c 4 converted 2461 (80%) expressions
4.39/4.55 c 4 converted 2769 (90%) expressions
4.69/4.86 c 4 converted 3076 (100%) expressions
4.69/4.86 c 4 CSP : 2544 integers, 0 booleans, 3665 clauses, largest domain size 1834
4.69/4.86 c 4 Heap : 84 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
4.69/4.86 c 4 Propagation in CSP
4.79/4.92 c 4 1217 values, 0 unsatisfiable literals, and 0 valid clauses are removed
4.79/4.92 c 4 CSP : 2544 integers, 0 booleans, 3665 clauses, largest domain size 1223
4.79/4.92 c 4 Heap : 88 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
4.79/4.93 c 4 Simplifing CSP by introducing new Boolean variables
4.79/4.94 c 4 CSP : 2544 integers, 0 booleans, 3665 clauses, largest domain size 1223
4.79/4.94 c 4 Heap : 82 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
5.08/5.24 c 5 Encoding CSP to SAT : HOME/temp.cnf
5.08/5.26 c 5 255 (10%) CSP integer variables are encoded (3810 clauses, 47433 bytes)
5.08/5.26 c 5 509 (20%) CSP integer variables are encoded (3810 clauses, 47433 bytes)
5.08/5.26 c 5 764 (30%) CSP integer variables are encoded (3810 clauses, 47433 bytes)
5.08/5.26 c 5 1018 (40%) CSP integer variables are encoded (3810 clauses, 47433 bytes)
5.08/5.26 c 5 1272 (50%) CSP integer variables are encoded (3810 clauses, 47433 bytes)
5.08/5.27 c 5 1527 (60%) CSP integer variables are encoded (6205 clauses, 78568 bytes)
5.08/5.27 c 5 1781 (70%) CSP integer variables are encoded (8244 clauses, 105124 bytes)
5.08/5.29 c 5 2036 (80%) CSP integer variables are encoded (21613 clauses, 305659 bytes)
5.08/5.29 c 5 2290 (90%) CSP integer variables are encoded (23568 clauses, 334984 bytes)
5.08/5.30 c 5 2544 (100%) CSP integer variables are encoded (26208 clauses, 374584 bytes)
5.49/5.65 c 5 367 (10%) CSP clauses are encoded (40634 clauses, 729095 bytes)
5.78/5.97 c 5 733 (20%) CSP clauses are encoded (55862 clauses, 1127655 bytes)
6.08/6.24 c 6 1100 (30%) CSP clauses are encoded (68263 clauses, 1463303 bytes)
6.19/6.36 c 6 1466 (40%) CSP clauses are encoded (81600 clauses, 1742125 bytes)
6.39/6.51 c 6 1833 (50%) CSP clauses are encoded (171233 clauses, 3380261 bytes)
6.68/6.86 c 6 2199 (60%) CSP clauses are encoded (255671 clauses, 5016831 bytes)
8.78/8.95 c 8 2566 (70%) CSP clauses are encoded (1601946 clauses, 32910312 bytes)
8.88/9.00 c 8 2932 (80%) CSP clauses are encoded (1632046 clauses, 33539012 bytes)
8.98/9.12 c 9 3299 (90%) CSP clauses are encoded (1706715 clauses, 35122674 bytes)
9.38/9.56 c 9 3665 (100%) CSP clauses are encoded (1984205 clauses, 41051842 bytes)
9.38/9.56 c 9 3665 CSP clauses encoded
9.38/9.56 c 9 Writing map file : HOME/temp.map
9.38/9.59 c 9 Heap : 51 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
9.38/9.59 c 9 SAT : 28752 SAT variables, 1984205 SAT clauses, 41051842 bytes
9.38/9.59 c 9 Heap : 51 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
9.47/9.63 c 9 OBJECTIVE minimize _COST
9.47/9.63 c 9 SOLVING HOME/temp.cnf
9.47/9.63 c 9 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
9.47/9.63 c 9 This is MiniSat 2.0 beta incremental
9.47/9.63 c 9 WARNING: for repeatability, setting FPU to use double precision
9.47/9.63 c 9 ============================[ Problem Statistics ]=============================
9.47/9.63 c 9 | |
9.47/9.63 c 9 | Number of variables: 28752 |
9.47/9.63 c 9 | Number of clauses: 1984205 |
10.35/10.50 c 10 | Parsing time: 0.74 s |
10.35/10.54 c 10 OK
10.35/10.54 c 10 OBJECTIVE BOUND: 0 <= _COST <=
10.35/10.54 c 10 SEARCHING: _COST <= 611
10.35/10.54 c 10 ============================[ Search Statistics ]==============================
10.35/10.54 c 10 | Conflicts | ORIGINAL | LEARNT | Progress |
10.35/10.54 c 10 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
10.35/10.54 c 10 ===============================================================================
10.35/10.54 c 10 | 0 | 28752 1984205 5950321 | 661401 0 nan | 0.000 % |
10.66/10.89 c 10 | 101 | 28752 1984205 5950321 | 727541 101 27 | 0.001 % |
10.85/11.09 c 11 | 251 | 28752 1984205 5950321 | 800296 251 23 | 0.001 % |
11.04/11.24 c 11 ===============================================================================
11.04/11.24 c 11 restarts : 3
11.04/11.24 c 11 conflicts : 411 (282 /sec)
11.04/11.24 c 11 decisions : 2401 (0.37 % random) (1645 /sec)
11.04/11.24 c 11 propagations : 337400 (231131 /sec)
11.04/11.24 c 11 conflict literals : 7667 (16.92 % deleted)
11.04/11.24 c 11 Memory used : 84.85 MB
11.04/11.24 c 11 CPU time : 1.45978 s
11.04/11.24 c 11
11.04/11.24 c 11 SATISFIABLE
11.04/11.25 c 11 OK
11.04/11.25 c 11 FOUND: _COST <= 611
11.04/11.25 s SATISFIABLE
11.04/11.25 c 11 DECODING HOME/temp.out WITH HOME/temp.map
11.04/11.25 c 11 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
11.09/11.33 c 11 Decoding HOME/temp.out
11.09/11.49 c 11 OBJECTIVE _COST 611
11.09/11.49 o 611
11.09/11.49 v 27 21 43 21 32 41 21 43 35 32 35 14 35 43 26 43 10 41 34 43 43 42 18 38 21 21 43 11 16 22 20 20 5 12 10 3 18 23 3 26 8 35 43 30 35 12 24 21 8 8 28 24 21 11 37 43 20 26 10 13 34 26 12 26 26 9 26 24 35 17 26 8 16 35 3 43 43 32 43 37 1 38 8 43 6 35 28 35 32 43 13 17 35 2 4 26 17 35 31 35
11.09/11.50 c 11 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
11.09/11.51 c 11 OK
11.09/11.51 c 11 OBJECTIVE BOUND: 0 <= _COST <= 611
11.09/11.51 c 11 SEARCHING: _COST <= 305
11.09/11.52 c 11 ============================[ Search Statistics ]==============================
11.09/11.53 c 11 | Conflicts | ORIGINAL | LEARNT | Progress |
11.09/11.53 c 11 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
11.09/11.53 c 11 ===============================================================================
11.09/11.53 c 11 | 411 | 28752 1984205 5950321 | 661401 411 19 | 0.001 % |
11.62/11.87 c 11 | 511 | 28751 1984205 5950321 | 727541 511 22 | 23.383 % |
11.94/12.11 c 12 | 662 | 28751 1984205 5950321 | 800296 662 23 | 23.383 % |
12.63/12.87 c 12 | 887 | 28751 1984205 5950321 | 880325 887 21 | 23.383 % |
13.32/13.56 c 13 | 1225 | 28751 1984205 5950321 | 968358 1225 24 | 23.383 % |
13.72/13.92 c 13 | 1731 | 28751 1984205 5950321 | 1065193 1731 24 | 23.383 % |
15.13/15.33 c 15 | 2490 | 28751 1984205 5950321 | 1171713 2490 31 | 23.383 % |
15.32/15.53 c 15 ===============================================================================
15.32/15.53 c 15 restarts : 10
15.32/15.53 c 15 conflicts : 2619 (478 /sec)
15.32/15.53 c 15 decisions : 15893 (0.47 % random) (2899 /sec)
15.32/15.53 c 15 propagations : 2573852 (469495 /sec)
15.32/15.53 c 15 conflict literals : 79639 (20.75 % deleted)
15.32/15.53 c 15 Memory used : 85.49 MB
15.32/15.53 c 15 CPU time : 5.48217 s
15.32/15.53 c 15
15.32/15.53 c 15 SATISFIABLE
15.32/15.54 c 15 OK
15.32/15.54 c 15 FOUND: _COST <= 305
15.32/15.54 c 15 DECODING HOME/temp.out WITH HOME/temp.map
15.32/15.54 c 15 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
15.36/15.62 c 15 Decoding HOME/temp.out
15.36/15.76 c 15 OBJECTIVE _COST 305
15.36/15.76 o 305
15.36/15.77 v 38 12 43 16 32 41 20 21 8 32 14 35 35 43 27 43 10 34 2 43 36 43 1 11 21 21 14 32 20 19 20 13 6 12 10 43 1 34 0 9 7 35 43 30 35 35 28 20 5 35 3 24 2 37 11 21 35 33 26 9 33 17 12 22 35 32 12 24 35 13 9 26 33 1 5 43 43 20 32 38 0 42 43 34 31 27 7 35 32 43 13 19 35 13 35 8 35 17 35 35
15.36/15.77 c 15 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
15.36/15.81 c 15 OK
15.36/15.81 c 15 OBJECTIVE BOUND: 0 <= _COST <= 305
15.36/15.81 c 15 SEARCHING: _COST <= 152
15.36/15.81 c 15 ============================[ Search Statistics ]==============================
15.36/15.81 c 15 | Conflicts | ORIGINAL | LEARNT | Progress |
15.36/15.81 c 15 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
15.36/15.81 c 15 ===============================================================================
15.36/15.81 c 15 | 2619 | 22029 1984205 5950321 | 661401 2619 30 | 23.383 % |
15.91/16.19 c 16 | 2719 | 22029 1984205 5950321 | 727541 2719 30 | 36.154 % |
16.20/16.42 c 16 | 2869 | 22029 1984205 5950321 | 800296 2869 29 | 36.154 % |
16.59/16.84 c 16 | 3096 | 22029 1984205 5950321 | 880325 3096 29 | 36.154 % |
16.89/17.14 c 17 | 3434 | 22029 1984205 5950321 | 968358 3434 29 | 36.154 % |
17.88/18.17 c 18 | 3941 | 22029 1984205 5950321 | 1065193 3941 29 | 36.154 % |
18.18/18.43 c 18 ===============================================================================
18.18/18.43 c 18 restarts : 16
18.18/18.43 c 18 conflicts : 4092 (506 /sec)
18.18/18.43 c 18 decisions : 19301 (0.52 % random) (2387 /sec)
18.18/18.43 c 18 propagations : 4136022 (511582 /sec)
18.18/18.43 c 18 conflict literals : 117858 (23.26 % deleted)
18.18/18.43 c 18 Memory used : 85.88 MB
18.18/18.43 c 18 CPU time : 8.08477 s
18.18/18.43 c 18
18.18/18.43 c 18 SATISFIABLE
18.18/18.44 c 18 OK
18.18/18.44 c 18 FOUND: _COST <= 152
18.18/18.44 c 18 DECODING HOME/temp.out WITH HOME/temp.map
18.18/18.44 c 18 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
18.22/18.52 c 18 Decoding HOME/temp.out
18.37/18.68 c 18 OBJECTIVE _COST 152
18.37/18.68 o 152
18.37/18.68 v 27 27 43 16 32 0 32 43 43 32 0 35 3 43 26 42 9 2 5 43 0 41 36 5 27 21 14 32 32 25 28 25 43 12 10 43 41 41 35 11 7 35 43 8 35 35 9 18 30 33 17 21 35 35 8 21 17 22 26 15 17 17 11 17 12 16 13 11 5 26 9 26 22 2 4 43 43 32 33 1 0 43 33 43 6 2 30 35 15 32 16 14 33 7 30 35 8 26 4 35
18.37/18.68 c 18 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
18.37/18.70 c 18 OK
18.37/18.70 c 18 OBJECTIVE BOUND: 0 <= _COST <= 152
18.37/18.70 c 18 SEARCHING: _COST <= 76
18.37/18.70 c 18 ============================[ Search Statistics ]==============================
18.37/18.70 c 18 | Conflicts | ORIGINAL | LEARNT | Progress |
18.37/18.70 c 18 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
18.37/18.70 c 18 ===============================================================================
18.37/18.70 c 18 | 4092 | 18357 1984205 5950321 | 661401 4092 29 | 36.154 % |
18.66/18.93 c 18 | 4194 | 18357 1984205 5950321 | 727541 4194 28 | 44.157 % |
18.96/19.28 c 19 | 4345 | 18357 1984205 5950321 | 800296 4345 28 | 44.157 % |
19.36/19.60 c 19 | 4570 | 18357 1984205 5950321 | 880325 4570 28 | 44.157 % |
19.76/20.05 c 20 | 4909 | 18357 1984205 5950321 | 968358 4909 27 | 44.157 % |
20.66/20.91 c 20 | 5416 | 18357 1984205 5950321 | 1065193 5416 26 | 44.157 % |
22.36/22.66 c 22 | 6175 | 18357 1984205 5950321 | 1171713 6175 26 | 44.157 % |
25.36/25.68 c 25 | 7314 | 16056 502672 1542740 | 1288884 7104 25 | 44.157 % |
27.75/28.08 c 28 | 9022 | 16056 502672 1542740 | 1417773 8812 24 | 44.157 % |
31.25/31.51 c 31 | 11586 | 16056 502672 1542740 | 1559550 11376 23 | 44.157 % |
36.35/36.69 c 36 | 15430 | 16056 502672 1542740 | 1715505 15220 22 | 44.157 % |
44.85/45.11 c 45 | 21196 | 16056 502672 1542740 | 1887056 20986 24 | 44.157 % |
57.94/58.27 c 58 | 29845 | 16056 502672 1542740 | 2075761 29635 24 | 44.157 % |
80.33/80.63 c 80 | 42819 | 16056 502672 1542740 | 2283337 42609 25 | 44.157 % |
110.41/110.77 c 110 | 62280 | 16056 502672 1542740 | 2511671 62070 26 | 44.157 % |
164.00/164.30 c 164 | 91472 | 16056 502672 1542740 | 2762838 91262 25 | 44.157 % |
238.57/238.96 c 238 | 135261 | 16056 502672 1542740 | 3039122 135051 27 | 44.157 % |
398.40/398.86 c 398 | 200945 | 16056 502672 1542740 | 3343035 200735 27 | 44.157 % |
667.90/668.41 c 668 | 299471 | 16056 502672 1542740 | 3677338 299261 27 | 44.157 % |
1163.46/1165.49 c 1165 | 447261 | 16056 502672 1542740 | 4045072 447051 28 | 44.157 % |
2270.11/2284.69 c 2284 | 668944 | 16056 502672 1542740 | 4449579 668734 28 | 44.157 % |
3600.03/3629.61 c ERROR INTERRUPTED
3600.03/3629.66 c 3629 CPU 3599.01 (0.06 0.02 3598.95 1.04)
3600.03/3629.66 c 3629 END Wed Jul 16 03:23:19 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-1125219-1216167769/watcher-1125219-1216167769 -o /tmp/evaluation-result-1125219-1216167769/solver-1125219-1216167769 -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-1125219-1216167769.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.92 1.98 1.99 4/100 22695
/proc/meminfo: memFree=1699344/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=12272 CPUtime=0
/proc/22695/stat : 22695 (sugar++) R 22693 22695 21940 0 -1 4194304 396 0 0 0 0 0 0 0 18 0 1 0 73474316 12566528 364 996147200 4194304 4206940 548682068528 18446744073709551615 265691915359 0 0 4224 0 0 0 0 17 0 0 0
/proc/22695/statm: 3068 364 274 3 0 168 0
[startup+0.058286 s]
/proc/loadavg: 1.92 1.98 1.99 4/100 22695
/proc/meminfo: memFree=1699344/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=16212 CPUtime=0.05
/proc/22695/stat : 22695 (sugar++) R 22693 22695 21940 0 -1 4194304 975 0 0 0 4 1 0 0 18 0 1 0 73474316 16601088 943 996147200 4194304 4206940 548682068528 18446744073709551615 265673937633 0 0 4224 0 0 0 0 17 0 0 0
/proc/22695/statm: 4053 943 380 3 0 632 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 16212
[startup+0.103299 s]
/proc/loadavg: 1.92 1.98 1.99 4/100 22695
/proc/meminfo: memFree=1699344/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=16740 CPUtime=0.06
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1219 128 0 0 5 1 0 0 17 0 1 0 73474316 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22695/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.30232 s]
/proc/loadavg: 1.92 1.98 1.99 4/100 22695
/proc/meminfo: memFree=1699344/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=16740 CPUtime=0.06
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1219 128 0 0 5 1 0 0 17 0 1 0 73474316 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22695/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.701364 s]
/proc/loadavg: 1.92 1.98 1.99 4/100 22695
/proc/meminfo: memFree=1699344/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=16740 CPUtime=0.06
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1219 128 0 0 5 1 0 0 17 0 1 0 73474316 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22695/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+1.50145 s]
/proc/loadavg: 1.92 1.98 1.99 3/111 22707
/proc/meminfo: memFree=1680824/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=16740 CPUtime=0.98
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1297 7099 0 1 5 1 86 6 15 0 1 0 73474316 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22695/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 16740
[startup+3.10263 s]
/proc/loadavg: 1.92 1.98 1.99 3/111 22717
/proc/meminfo: memFree=1670520/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=16740 CPUtime=0.98
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1297 7099 0 1 5 1 86 6 15 0 1 0 73474316 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22695/statm: 4185 1104 409 3 0 764 0
[pid=22708] ppid=22695 vsize=5356 CPUtime=0
/proc/22708/stat : 22708 (sh) S 22695 22695 21940 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 73474423 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22708/statm: 1339 233 193 169 0 50 0
[pid=22709] ppid=22708 vsize=864188 CPUtime=2.01
/proc/22709/stat : 22709 (java) S 22708 22695 21940 0 -1 0 14774 0 1 0 194 7 0 0 20 0 9 0 73474424 884928512 13997 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22709/statm: 216047 13997 2540 9 0 210622 0
[pid=22709/tid=22710] ppid=22708 vsize=864188 CPUtime=1.03
/proc/22709/task/22710/stat : 22710 (java) R 22708 22695 21940 0 -1 64 2938 0 1 0 101 2 0 0 25 0 9 0 73474425 884928512 13997 996147200 134512640 134550740 4294955920 18446744073709551615 101444352 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22709/tid=22711] ppid=22708 vsize=864188 CPUtime=0.87
/proc/22709/task/22711/stat : 22711 (java) S 22708 22695 21940 0 -1 64 10796 0 0 0 83 4 0 0 17 0 9 0 73474426 884928512 13997 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22709/tid=22712] ppid=22708 vsize=864188 CPUtime=0
/proc/22709/task/22712/stat : 22712 (java) S 22708 22695 21940 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 73474426 884928512 13997 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22709/tid=22713] ppid=22708 vsize=864188 CPUtime=0
/proc/22709/task/22713/stat : 22713 (java) S 22708 22695 21940 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 73474426 884928512 13997 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22709/tid=22714] ppid=22708 vsize=864188 CPUtime=0
/proc/22709/task/22714/stat : 22714 (java) S 22708 22695 21940 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 73474428 884928512 13997 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22709/tid=22715] ppid=22708 vsize=864188 CPUtime=0.08
/proc/22709/task/22715/stat : 22715 (java) S 22708 22695 21940 0 -1 64 343 0 0 0 8 0 0 0 16 0 9 0 73474428 884928512 13997 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22709/tid=22716] ppid=22708 vsize=864188 CPUtime=0
/proc/22709/task/22716/stat : 22716 (java) S 22708 22695 21940 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 73474428 884928512 13997 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22709/tid=22717] ppid=22708 vsize=864188 CPUtime=0
/proc/22709/task/22717/stat : 22717 (java) S 22708 22695 21940 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 73474428 884928512 13997 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 886284
[startup+6.30099 s]
/proc/loadavg: 1.93 1.98 1.99 4/111 22717
/proc/meminfo: memFree=1594232/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=16740 CPUtime=0.98
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1297 7099 0 1 5 1 86 6 15 0 1 0 73474316 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22695/statm: 4185 1104 409 3 0 764 0
[pid=22708] ppid=22695 vsize=5356 CPUtime=0
/proc/22708/stat : 22708 (sh) S 22695 22695 21940 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 73474423 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22708/statm: 1339 233 193 169 0 50 0
[pid=22709] ppid=22708 vsize=868476 CPUtime=5.21
/proc/22709/stat : 22709 (java) S 22708 22695 21940 0 -1 0 28125 0 1 0 506 15 0 0 20 0 9 0 73474424 889319424 27244 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22709/statm: 217119 27244 2565 9 0 211666 0
[pid=22709/tid=22710] ppid=22708 vsize=868476 CPUtime=2.77
/proc/22709/task/22710/stat : 22710 (java) R 22708 22695 21940 0 -1 64 3816 0 1 0 274 3 0 0 25 0 9 0 73474425 889319424 27244 996147200 134512640 134550740 4294955920 18446744073709551615 4127000524 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22709/tid=22711] ppid=22708 vsize=868476 CPUtime=2.17
/proc/22709/task/22711/stat : 22711 (java) S 22708 22695 21940 0 -1 64 22117 0 0 0 207 10 0 0 16 0 9 0 73474426 889319424 27244 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22709/tid=22712] ppid=22708 vsize=868476 CPUtime=0
/proc/22709/task/22712/stat : 22712 (java) S 22708 22695 21940 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 73474426 889319424 27244 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22709/tid=22713] ppid=22708 vsize=868476 CPUtime=0
/proc/22709/task/22713/stat : 22713 (java) S 22708 22695 21940 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 73474426 889319424 27244 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22709/tid=22714] ppid=22708 vsize=868476 CPUtime=0
/proc/22709/task/22714/stat : 22714 (java) S 22708 22695 21940 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 73474428 889319424 27244 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22709/tid=22715] ppid=22708 vsize=868476 CPUtime=0.24
/proc/22709/task/22715/stat : 22715 (java) S 22708 22695 21940 0 -1 64 1495 0 0 0 23 1 0 0 15 0 9 0 73474428 889319424 27244 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22709/tid=22716] ppid=22708 vsize=868476 CPUtime=0
/proc/22709/task/22716/stat : 22716 (java) S 22708 22695 21940 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 73474428 889319424 27244 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22709/tid=22717] ppid=22708 vsize=868476 CPUtime=0
/proc/22709/task/22717/stat : 22717 (java) S 22708 22695 21940 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 73474428 889319424 27244 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 890572
[startup+12.7017 s]
/proc/loadavg: 2.01 2.00 2.00 3/102 22728
/proc/meminfo: memFree=1566208/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=9.75
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1584 39629 0 3 6 1 921 47 15 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=87540 CPUtime=2.78
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 21389 0 0 0 265 13 0 0 25 0 1 0 73475279 89640960 21337 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/22718/statm: 21885 21337 80 151 0 21731 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 104544
[startup+25.5012 s]
/proc/loadavg: 2.23 2.05 2.02 4/102 22748
/proc/meminfo: memFree=1566144/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=88200 CPUtime=15.02
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 21559 0 0 0 1488 14 0 0 25 0 1 0 73475279 90316800 21503 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/22718/statm: 22050 21503 80 151 0 21896 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 105204
[startup+51.101 s]
/proc/loadavg: 2.15 2.04 2.01 3/102 22748
/proc/meminfo: memFree=1567296/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=88364 CPUtime=40.6
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 21586 0 0 0 4046 14 0 0 25 0 1 0 73475279 90484736 21530 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/22718/statm: 22091 21530 80 151 0 21937 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 105368
[startup+102.308 s]
/proc/loadavg: 2.06 2.03 2.01 3/102 22748
/proc/meminfo: memFree=1567360/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=88504 CPUtime=91.79
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 21657 0 0 0 9165 14 0 0 25 0 1 0 73475279 90628096 21592 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/22718/statm: 22126 21592 80 151 0 21972 0
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (KiB) 105508
[startup+162.302 s]
/proc/loadavg: 2.02 2.03 2.00 3/102 22748
/proc/meminfo: memFree=1567040/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=88624 CPUtime=151.76
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 21690 0 0 0 15161 15 0 0 25 0 1 0 73475279 90750976 21625 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/22718/statm: 22156 21625 80 151 0 22002 0
Current children cumulated CPU time (s) 162
Current children cumulated vsize (KiB) 105628
[startup+222.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/102 22748
/proc/meminfo: memFree=1566976/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=88944 CPUtime=211.74
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 21729 0 0 0 21159 15 0 0 25 0 1 0 73475279 91078656 21664 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 0 0 0
/proc/22718/statm: 22236 21664 80 151 0 22082 0
Current children cumulated CPU time (s) 221.98
Current children cumulated vsize (KiB) 105948
[startup+282.301 s]
################
# More data... #
################
[pid=22718] ppid=22695 vsize=167564 CPUtime=2831.08
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 40762 0 0 0 283068 40 0 0 25 0 1 0 73475279 171585536 40681 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/22718/statm: 41891 40681 80 151 0 41737 0
Current children cumulated CPU time (s) 2841.32
Current children cumulated vsize (KiB) 184568
[startup+2922.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/95 22831
/proc/meminfo: memFree=1270584/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=168884 CPUtime=2890.42
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 41119 0 0 0 289001 41 0 0 25 0 1 0 73475279 172937216 41038 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/22718/statm: 42221 41038 80 151 0 42067 0
Current children cumulated CPU time (s) 2900.66
Current children cumulated vsize (KiB) 185888
[startup+2982.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/95 22831
/proc/meminfo: memFree=1265976/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=170396 CPUtime=2949.74
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 41469 0 0 0 294933 41 0 0 25 0 1 0 73475279 174485504 41388 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/22718/statm: 42599 41388 80 151 0 42445 0
Current children cumulated CPU time (s) 2959.98
Current children cumulated vsize (KiB) 187400
[startup+3042.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/95 22831
/proc/meminfo: memFree=1260856/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=171716 CPUtime=3009.07
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 41806 0 0 0 300865 42 0 0 25 0 1 0 73475279 175837184 41725 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/22718/statm: 42929 41725 80 151 0 42775 0
Current children cumulated CPU time (s) 3019.31
Current children cumulated vsize (KiB) 188720
[startup+3102.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/95 22831
/proc/meminfo: memFree=1257080/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=172920 CPUtime=3068.39
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 42142 0 0 0 306797 42 0 0 25 0 1 0 73475279 177070080 42061 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/22718/statm: 43230 42061 80 151 0 43076 0
Current children cumulated CPU time (s) 3078.63
Current children cumulated vsize (KiB) 189924
[startup+3162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/95 22831
/proc/meminfo: memFree=1253112/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=174264 CPUtime=3127.73
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 42487 0 0 0 312730 43 0 0 25 0 1 0 73475279 178446336 42406 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/22718/statm: 43566 42406 80 151 0 43412 0
Current children cumulated CPU time (s) 3137.97
Current children cumulated vsize (KiB) 191268
[startup+3222.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/95 22831
/proc/meminfo: memFree=1249272/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=175584 CPUtime=3187.05
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 42823 0 0 0 318662 43 0 0 25 0 1 0 73475279 179798016 42742 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/22718/statm: 43896 42742 80 151 0 43742 0
Current children cumulated CPU time (s) 3197.29
Current children cumulated vsize (KiB) 192588
[startup+3282.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/95 22831
/proc/meminfo: memFree=1245240/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=176780 CPUtime=3246.38
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 43139 0 0 0 324594 44 0 0 25 0 1 0 73475279 181022720 43058 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/22718/statm: 44195 43058 80 151 0 44041 0
Current children cumulated CPU time (s) 3256.62
Current children cumulated vsize (KiB) 193784
[startup+3342.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/95 22831
/proc/meminfo: memFree=1241208/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=178336 CPUtime=3305.71
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 43500 0 0 0 330526 45 0 0 25 0 1 0 73475279 182616064 43419 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/22718/statm: 44584 43419 80 151 0 44430 0
Current children cumulated CPU time (s) 3315.95
Current children cumulated vsize (KiB) 195340
[startup+3402.31 s]
/proc/loadavg: 2.13 2.06 2.01 3/95 22831
/proc/meminfo: memFree=1237048/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=179536 CPUtime=3365.04
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 43822 0 0 0 336459 45 0 0 25 0 1 0 73475279 183844864 43741 996147200 134512640 135134323 4294956192 18446744073709551615 134531941 0 0 4096 3 0 0 0 17 1 0 0
/proc/22718/statm: 44884 43741 80 151 0 44730 0
Current children cumulated CPU time (s) 3375.28
Current children cumulated vsize (KiB) 196540
[startup+3462.3 s]
/proc/loadavg: 2.12 2.06 2.00 3/95 22833
/proc/meminfo: memFree=1232632/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=180724 CPUtime=3424.37
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 44142 0 0 0 342391 46 0 0 25 0 1 0 73475279 185061376 44061 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/22718/statm: 45181 44061 80 151 0 45027 0
Current children cumulated CPU time (s) 3434.61
Current children cumulated vsize (KiB) 197728
[startup+3522.3 s]
/proc/loadavg: 2.11 2.06 2.00 3/95 22833
/proc/meminfo: memFree=1227960/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=182920 CPUtime=3483.68
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 44672 0 0 0 348322 46 0 0 25 0 1 0 73475279 187310080 44591 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/22718/statm: 45730 44591 80 151 0 45576 0
Current children cumulated CPU time (s) 3493.92
Current children cumulated vsize (KiB) 199924
[startup+3582.3 s]
/proc/loadavg: 2.10 2.06 2.00 3/95 22833
/proc/meminfo: memFree=1223416/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=184964 CPUtime=3543.02
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 45149 0 0 0 354255 47 0 0 25 0 1 0 73475279 189403136 45068 996147200 134512640 135134323 4294956192 18446744073709551615 134532169 0 0 4096 3 0 0 0 17 1 0 0
/proc/22718/statm: 46241 45068 80 151 0 46087 0
Current children cumulated CPU time (s) 3553.26
Current children cumulated vsize (KiB) 201968
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3629.6 s]
/proc/loadavg: 2.11 2.07 2.00 3/95 22833
/proc/meminfo: memFree=1219704/2055920 swapFree=4192812/4192956
[pid=22695] ppid=22693 vsize=17004 CPUtime=10.24
/proc/22695/stat : 22695 (sugar++) S 22693 22695 21940 0 -1 4194304 1723 47508 0 5 6 2 963 53 16 0 1 0 73474316 17412096 1150 996147200 4194304 4206940 548682068528 18446744073709551615 265682989154 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/22695/statm: 4251 1150 414 3 0 830 0
[pid=22718] ppid=22695 vsize=186548 CPUtime=3589.79
/proc/22718/stat : 22718 (minisat-inc) R 22695 22695 21940 0 -1 4194304 45526 0 0 0 358932 47 0 0 25 0 1 0 73475279 191025152 45445 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/22718/statm: 46637 45445 80 151 0 46483 0
Current children cumulated CPU time (s) 3600.03
Current children cumulated vsize (KiB) 203552
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 3629.66
CPU time (s): 3600.12
CPU user time (s): 3599.02
CPU system time (s): 1.09083
CPU usage (%): 99.186
Max. virtual memory (cumulated for all children) (KiB): 890572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.02
system time used= 1.09083
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94837
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5880
involuntary context switches= 66467
runsolver used 4.77427 second user time and 14.1109 second system time
The end
Begin job on node76 at 2008-07-16 02:22:49
IDJOB=1125219
IDBENCH=63092
IDSOLVER=367
FILE ID=node76/1125219-1216167769
PBS_JOBID= 7905745
Free space on /tmp= 66560 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/maxcsp/celar/scens/normalized-scenw-06_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-1125219-1216167769/watcher-1125219-1216167769 -o /tmp/evaluation-result-1125219-1216167769/solver-1125219-1216167769 -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-1125219-1216167769.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 9e24d4c880189979ab688d6c808ac54d
RANDOM SEED=833345388
node76.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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1699824 kB
Buffers: 73264 kB
Cached: 164124 kB
SwapCached: 0 kB
Active: 196120 kB
Inactive: 85560 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1699824 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2340 kB
Writeback: 0 kB
Mapped: 65744 kB
Slab: 57372 kB
Committed_AS: 358576 kB
PageTables: 3544 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= 66516 MiB
End job on node76 at 2008-07-16 03:23:21