0.01/0.04 c 0 Sugar v1-13 + HOME/minisat
0.01/0.04 c 0 BEGIN Sat Jul 12 15:48:04 2008
0.01/0.04 c 0 PID 19577
0.01/0.04 c 0 HOST node8.alineos.net
0.01/0.04 c 0 CONVERTING HOME/instance-1112602-1215870484.xml TO HOME/temp.csp
0.01/0.04 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1112602-1215870484.xml' 'HOME/temp.csp'
0.04/0.52 c 1 3 domains, 400 variables, 2 predicates, 0 relations, 2865 constraints
0.04/0.56 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.04/0.56 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.51/0.65 c 1 Parsing HOME/temp.csp
0.51/0.85 c 1 parsed 3270 expressions
0.51/0.85 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.51/0.88 c 1 MAX CSP: 2865 constraints
0.51/0.88 c 1 Converting to clausal form CSP
0.92/1.10 c 1 converted 614 (10%) expressions
1.42/1.52 c 2 converted 1228 (20%) expressions
1.71/1.85 c 2 converted 1842 (30%) expressions
2.01/2.15 c 2 converted 2456 (40%) expressions
2.40/2.51 c 3 converted 3069 (50%) expressions
2.71/2.84 c 3 converted 3683 (60%) expressions
3.00/3.14 c 3 converted 4297 (70%) expressions
3.30/3.43 c 4 converted 4911 (80%) expressions
3.59/3.71 c 4 converted 5525 (90%) expressions
4.19/4.32 c 4 converted 6138 (100%) expressions
4.19/4.32 c 4 CSP : 6130 integers, 200 booleans, 9194 clauses, largest domain size 4298
4.19/4.32 c 4 Heap : 10 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
4.19/4.32 c 4 Propagation in CSP
4.28/4.46 c 5 2859 values, 0 unsatisfiable literals, and 0 valid clauses are removed
4.28/4.46 c 5 CSP : 6130 integers, 200 booleans, 9194 clauses, largest domain size 2866
4.28/4.46 c 5 Heap : 10 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
4.28/4.47 c 5 Simplifing CSP by introducing new Boolean variables
4.38/4.51 c 5 CSP : 6130 integers, 5884 booleans, 14878 clauses, largest domain size 2866
4.38/4.51 c 5 Heap : 12 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
4.38/4.59 c 5 Encoding CSP to SAT : HOME/temp.cnf
4.58/4.76 c 5 613 (10%) CSP integer variables are encoded (15152 clauses, 205688 bytes)
4.58/4.76 c 5 1226 (20%) CSP integer variables are encoded (15152 clauses, 205688 bytes)
4.58/4.77 c 5 1839 (30%) CSP integer variables are encoded (15152 clauses, 205688 bytes)
4.58/4.77 c 5 2452 (40%) CSP integer variables are encoded (15152 clauses, 205688 bytes)
4.58/4.77 c 5 3065 (50%) CSP integer variables are encoded (15152 clauses, 205688 bytes)
4.58/4.78 c 5 3678 (60%) CSP integer variables are encoded (20965 clauses, 292883 bytes)
4.58/4.79 c 5 4291 (70%) CSP integer variables are encoded (25985 clauses, 368183 bytes)
4.67/4.83 c 5 4904 (80%) CSP integer variables are encoded (55571 clauses, 811973 bytes)
4.67/4.85 c 5 5517 (90%) CSP integer variables are encoded (65632 clauses, 962888 bytes)
4.67/4.86 c 5 6130 (100%) CSP integer variables are encoded (74093 clauses, 1089803 bytes)
4.87/5.05 c 5 1488 (10%) CSP clauses are encoded (105096 clauses, 1695802 bytes)
5.07/5.21 c 5 2976 (20%) CSP clauses are encoded (133840 clauses, 2269624 bytes)
5.16/5.38 c 6 4464 (30%) CSP clauses are encoded (166014 clauses, 2914861 bytes)
5.37/5.55 c 6 5952 (40%) CSP clauses are encoded (196805 clauses, 3531844 bytes)
5.46/5.69 c 6 7439 (50%) CSP clauses are encoded (224429 clauses, 4089456 bytes)
5.66/5.84 c 6 8927 (60%) CSP clauses are encoded (253595 clauses, 4714847 bytes)
6.06/6.21 c 6 10415 (70%) CSP clauses are encoded (436167 clauses, 8574785 bytes)
6.95/7.19 c 7 11903 (80%) CSP clauses are encoded (963413 clauses, 19819691 bytes)
15.02/15.40 c 16 13391 (90%) CSP clauses are encoded (4494241 clauses, 95294124 bytes)
26.62/27.19 c 27 14878 (100%) CSP clauses are encoded (10634370 clauses, 227114770 bytes)
26.62/27.19 c 27 14878 CSP clauses encoded
26.62/27.19 c 27 Writing map file : HOME/temp.map
26.73/27.25 c 27 Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
26.73/27.25 c 27 SAT : 86107 SAT variables, 10634370 SAT clauses, 227114770 bytes
26.73/27.25 c 27 Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
26.79/27.30 c 27 OBJECTIVE minimize _COST
26.79/27.30 c 27 OBJECTIVE BOUND: 0 <= _COST <=
26.79/27.30 c 27 SEARCHING: _COST <= 1433
26.79/27.30 c 27 SOLVING HOME/temp.cnf
26.79/27.30 c 27 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
26.79/27.31 c 27 This is MiniSat 2.0 beta
26.79/27.31 c 27 WARNING: for repeatability, setting FPU to use double precision
26.79/27.31 c 27 ============================[ Problem Statistics ]=============================
26.79/27.31 c 27 | |
26.79/27.31 c 27 | Number of variables: 86107 |
26.79/27.31 c 27 | Number of clauses: 10634371 |
31.91/32.50 c 33 | Parsing time: 4.26 s |
60.04/60.93 c 61 ============================[ Search Statistics ]==============================
60.04/60.93 c 61 | Conflicts | ORIGINAL | LEARNT | Progress |
60.04/60.93 c 61 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
60.04/60.93 c 61 ===============================================================================
60.04/60.93 c 61 | 0 | 68923 6825537 20320442 | 2275179 0 nan | 0.000 % |
61.22/62.12 c 62 | 100 | 68923 6825537 20320442 | 2502696 100 49 | 19.957 % |
61.72/62.65 c 63 | 252 | 68923 6825537 20320442 | 2752966 252 46 | 19.957 % |
63.80/64.72 c 65 | 477 | 68923 6825537 20320442 | 3028263 477 68 | 19.957 % |
64.09/65.10 c 65 ===============================================================================
64.19/65.10 c 65 restarts : 4
64.19/65.10 c 65 conflicts : 527 (14 /sec)
64.19/65.10 c 65 decisions : 10748 (0.61 % random) (294 /sec)
64.19/65.10 c 65 propagations : 1691053 (46279 /sec)
64.19/65.10 c 65 conflict literals : 32977 (23.35 % deleted)
64.19/65.10 c 65 Memory used : 420.90 MB
64.19/65.10 c 65 CPU time : 36.5404 s
64.19/65.10 c 65
64.19/65.13 c 65 SATISFIABLE
64.29/65.20 c 65 FOUND: _COST <= 1433
64.29/65.20 s SATISFIABLE
64.29/65.20 c 65 DECODING HOME/temp.out WITH HOME/temp.map
64.29/65.20 c 65 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
64.29/65.29 c 65 Decoding HOME/temp.out
64.30/65.61 c 66 OBJECTIVE _COST 1409
64.30/65.61 o 1409
64.30/65.62 v 268 30 338 72 666 498 792 554 44 722 512 324 792 792 414 792 792 792 554 394 694 792 792 792 16 254 792 792 394 156 470 310 792 380 652 498 484 722 792 296 128 366 512 792 792 792 470 86 324 86 156 394 352 72 156 722 44 72 652 708 540 778 722 484 722 484 428 792 540 736 282 778 540 526 380 142 72 310 792 310 694 456 554 16 792 792 652 16 764 456 708 414 722 86 792 792 666 722 100 792 44 282 296 58 792 156 554 254 792 792 792 722 352 792 554 792 792 554 512 484 792 128 764 792 554 792 324 86 394 156 310 86 44 282 380 142 694 792 722 666 708 540 30 394 394 792 540 526 310 142 778 540 540 778 694 456 428 44 380 764 470 708 30 366 736 778 30 268 778 540 778 456 44 282 694 414 778 722 722 764 442 680 792 666 512 324 16 156 310 72 142 338 380 142 778 114 44 778 30 268 268 30 114 778 456 282 338 72 778 778 72 310 498 792 338 324 778 540 428 142 778 736 540 778 708 778 778 338 792 282 296 512 722 484 324 268 58 296 156 338 156 100 778 680 310 268 526 764 666 540 778 540 778 778 86 666 456 498 380 778 442 680 540 778 310 380 778 268 778 30 128 366 778 30 366 128 778 778 442 680 352 380 296 554 778 778 680 128 428 86 394 156 100 484 156 58 792 554 554 792 30 366 792 526 310 156 792 16 792 792 778 30 778 484 792 792 268 324 324 86 792 16 708 352 778 442 470 722 86 324 380 778 540 778 778 100 394 156 156 792 100 142 736 540 86 484 498 778 100 142 142 380 722 540 100 142 540 778 128 778 380 540 736 100 666 428 380 142 750 512 792 792 268 680 338 778 352 442 778 114 380 86 540 778 694 142 380 708 58 380 778 540 666 694 778 778 792 792 554 736
64.30/65.63 c 66 Heap : 2 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
64.30/65.68 c 66 OBJECTIVE BOUND: 0 <= _COST <= 1409
64.30/65.68 c 66 SEARCHING: _COST <= 704
64.30/65.68 c 66 SOLVING HOME/temp.cnf
64.30/65.68 c 66 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
64.30/65.68 c 66 This is MiniSat 2.0 beta
64.30/65.68 c 66 WARNING: for repeatability, setting FPU to use double precision
64.30/65.68 c 66 ============================[ Problem Statistics ]=============================
64.30/65.68 c 66 | |
64.30/65.68 c 66 | Number of variables: 86107 |
64.30/65.68 c 66 | Number of clauses: 10634371 |
69.89/70.96 c 71 | Parsing time: 4.39 s |
105.64/107.08 c 107 ============================[ Search Statistics ]==============================
105.64/107.08 c 107 | Conflicts | ORIGINAL | LEARNT | Progress |
105.64/107.08 c 107 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
105.64/107.08 c 107 ===============================================================================
105.64/107.08 c 107 | 0 | 59409 4418308 13126568 | 1472769 0 nan | 0.000 % |
106.73/108.19 c 108 | 100 | 59409 4418308 13126568 | 1620046 100 99 | 31.006 % |
107.03/108.45 c 109 | 251 | 59409 4418308 13126568 | 1782050 251 52 | 31.006 % |
108.32/109.77 c 110 | 477 | 59409 4418308 13126568 | 1960255 477 47 | 31.006 % |
109.21/110.60 c 111 | 814 | 59409 4418308 13126568 | 2156281 814 46 | 31.006 % |
111.09/112.54 c 113 | 1320 | 59409 4418308 13126568 | 2371909 1320 58 | 31.006 % |
113.47/114.94 c 115 | 2080 | 59409 4418308 13126568 | 2609100 2080 55 | 31.006 % |
116.24/117.78 c 118 | 3220 | 59409 4418308 13126568 | 2870010 3220 62 | 31.006 % |
125.05/126.64 c 127 | 4928 | 59409 4418308 13126568 | 3157011 4928 67 | 31.006 % |
131.19/132.84 c 133 | 7490 | 59409 4418308 13126568 | 3472713 7490 80 | 31.006 % |
147.13/148.97 c 149 | 11335 | 59409 4418308 13126568 | 3819984 11335 87 | 31.006 % |
163.28/165.26 c 165 | 17101 | 59409 4418308 13126568 | 4201982 17101 89 | 31.006 % |
170.61/172.66 c 173 ===============================================================================
170.61/172.67 c 173 restarts : 12
170.61/172.67 c 173 conflicts : 19976 (190 /sec)
170.61/172.67 c 173 decisions : 43613 (1.04 % random) (415 /sec)
170.61/172.67 c 173 propagations : 40871334 (388854 /sec)
170.61/172.67 c 173 conflict literals : 1706038 (15.04 % deleted)
170.61/172.67 c 173 Memory used : 430.13 MB
170.61/172.67 c 173 CPU time : 105.107 s
170.61/172.67 c 173
170.61/172.70 c 173 SATISFIABLE
170.71/172.77 c 173 FOUND: _COST <= 704
170.71/172.77 c 173 DECODING HOME/temp.out WITH HOME/temp.map
170.71/172.77 c 173 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
170.78/172.86 c 173 Decoding HOME/temp.out
170.78/173.19 c 173 OBJECTIVE _COST 704
170.78/173.19 o 704
170.78/173.21 v 484 722 512 792 484 722 282 44 58 296 554 792 142 380 296 58 554 792 554 792 394 156 254 16 792 554 352 114 792 792 792 428 554 100 792 16 540 30 792 394 792 554 86 254 792 394 498 456 666 526 366 16 310 296 792 792 254 16 554 792 310 30 554 792 694 554 428 30 498 736 72 30 428 778 352 114 86 324 792 554 694 456 380 142 470 708 792 526 44 414 30 268 16 338 86 254 338 156 156 44 30 268 142 380 554 156 456 694 470 708 128 792 394 16 694 554 394 792 666 428 792 554 86 324 16 554 470 708 540 778 30 128 16 324 338 100 58 296 16 352 16 792 792 554 540 86 694 456 442 680 708 30 540 778 142 380 142 380 456 694 526 778 142 296 680 778 296 58 708 470 666 526 680 680 156 394 380 142 540 470 380 142 554 722 72 352 156 394 540 708 100 72 442 778 380 142 72 310 554 792 282 44 778 778 282 44 484 666 540 778 72 352 498 792 708 708 30 268 540 778 44 282 750 324 268 128 142 380 394 156 128 366 100 338 778 778 666 428 44 498 254 16 764 526 778 778 540 778 324 142 142 142 380 58 72 310 778 540 526 114 338 100 666 428 324 128 30 352 778 540 268 30 680 778 540 778 324 86 282 44 722 484 16 254 778 540 694 30 778 540 310 72 722 484 16 254 792 554 296 58 764 526 310 792 86 324 16 254 142 16 58 554 58 268 792 470 792 694 792 16 156 16 282 44 58 366 324 778 722 484 708 470 540 778 778 540 442 680 652 414 750 512 114 352 554 792 282 44 694 456 310 72 380 142 764 526 324 142 778 540 44 282 526 764 778 296 380 142 666 778 792 456 296 694 380 142 778 540 366 128 142 380 540 778 694 456 680 442 128 366 540 778 694 456 442 680 554 792 554 310
170.78/173.21 c 173 Heap : 2 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
170.78/173.25 c 173 OBJECTIVE BOUND: 0 <= _COST <= 704
170.78/173.25 c 173 SEARCHING: _COST <= 352
170.78/173.25 c 173 SOLVING HOME/temp.cnf
170.78/173.25 c 173 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
170.78/173.25 c 173 This is MiniSat 2.0 beta
170.78/173.25 c 173 WARNING: for repeatability, setting FPU to use double precision
170.78/173.25 c 173 ============================[ Problem Statistics ]=============================
170.78/173.25 c 173 | |
170.78/173.25 c 173 | Number of variables: 86107 |
170.78/173.25 c 173 | Number of clauses: 10634371 |
176.69/178.80 c 179 | Parsing time: 4.67 s |
214.72/217.27 c 217 ============================[ Search Statistics ]==============================
214.72/217.27 c 217 | Conflicts | ORIGINAL | LEARNT | Progress |
214.72/217.27 c 217 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
214.72/217.27 c 217 ===============================================================================
214.72/217.27 c 217 | 0 | 53734 2568481 7593760 | 856160 0 nan | 0.000 % |
215.81/218.34 c 218 | 101 | 53734 2568481 7593760 | 941776 101 97 | 37.596 % |
216.10/218.67 c 219 | 251 | 53734 2568481 7593760 | 1035954 251 72 | 37.596 % |
217.19/219.78 c 220 | 477 | 53734 2568481 7593760 | 1139549 477 62 | 37.596 % |
217.89/220.42 c 221 | 815 | 53734 2568481 7593760 | 1253504 815 59 | 37.596 % |
219.57/222.11 c 222 | 1321 | 53734 2568481 7593760 | 1378854 1321 55 | 37.596 % |
222.14/224.78 c 225 | 2080 | 53734 2568481 7593760 | 1516740 2080 69 | 37.596 % |
224.62/227.20 c 227 | 3219 | 53734 2568481 7593760 | 1668414 3219 60 | 37.596 % |
228.78/231.41 c 232 | 4927 | 53734 2568481 7593760 | 1835255 4927 55 | 37.596 % |
233.83/236.52 c 237 | 7489 | 53734 2568481 7593760 | 2018781 7489 63 | 37.596 % |
248.19/251.05 c 251 | 11334 | 53734 2568481 7593760 | 2220659 11334 69 | 37.596 % |
264.73/267.70 c 268 | 17100 | 53734 2568481 7593760 | 2442725 17100 69 | 37.596 % |
282.65/285.82 c 286 | 25751 | 53734 2568481 7593760 | 2686997 25751 78 | 37.596 % |
327.62/331.23 c 331 | 38725 | 53734 2568481 7593760 | 2955697 38725 65 | 37.596 % |
377.21/381.18 c 381 | 58190 | 53734 2568481 7593760 | 3251267 58190 59 | 37.596 % |
485.37/489.40 c 490 | 87382 | 53734 2568481 7593760 | 3576394 87382 63 | 37.596 % |
635.52/639.57 c 640 | 131171 | 53734 2568481 7593760 | 3934033 131171 77 | 37.596 % |
898.41/902.51 c 903 | 196857 | 53734 2568481 7593760 | 4327436 196857 137 | 37.596 % |
1340.84/1346.28 c 1346 | 295384 | 53734 2568481 7593760 | 4760180 295384 118 | 37.596 % |
1963.44/1971.41 c 1972 | 443174 | 53734 2568481 7593760 | 5236198 443174 108 | 37.596 % |
3172.53/3185.57 c 3186 | 664857 | 53734 2568481 7593760 | 5759818 664857 105 | 37.596 % |
3600.07/3614.82 c ERROR INTERRUPTED
3600.07/3614.89 c 3615 CPU 167.44 (0.05 0.02 167.39 3.76)
3600.07/3614.89 c 3615 END Sat Jul 12 16:48: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-1112602-1215870484/watcher-1112602-1215870484 -o /tmp/evaluation-result-1112602-1215870484/solver-1112602-1215870484 -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-1112602-1215870484.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.01 2.00 2.00 4/75 19577
/proc/meminfo: memFree=1815440/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=12272 CPUtime=0
/proc/19577/stat : 19577 (sugar) R 19575 19577 19540 0 -1 4194304 359 0 0 0 0 0 0 0 18 0 1 0 43751488 12566528 327 996147200 4194304 4206940 548682068592 18446744073709551615 228706712165 0 0 4224 0 0 0 0 17 1 0 0
/proc/19577/statm: 3068 327 246 3 0 168 0
[startup+0.0212789 s]
/proc/loadavg: 2.01 2.00 2.00 4/75 19577
/proc/meminfo: memFree=1815440/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=12808 CPUtime=0.01
/proc/19577/stat : 19577 (sugar) R 19575 19577 19540 0 -1 4194304 561 0 0 0 1 0 0 0 18 0 1 0 43751488 13115392 529 996147200 4194304 4206940 548682068592 18446744073709551615 228706390753 0 0 4224 0 0 0 0 17 1 0 0
/proc/19577/statm: 3202 530 316 3 0 302 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12808
[startup+0.101291 s]
/proc/loadavg: 2.01 2.00 2.00 4/75 19577
/proc/meminfo: memFree=1815440/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13600 CPUtime=0.04
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 898 127 0 0 3 1 0 0 16 0 1 0 43751488 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19577/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+0.301327 s]
/proc/loadavg: 2.01 2.00 2.00 4/75 19577
/proc/meminfo: memFree=1815440/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13600 CPUtime=0.04
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 898 127 0 0 3 1 0 0 16 0 1 0 43751488 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/19577/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+0.701396 s]
/proc/loadavg: 2.01 2.00 2.00 4/75 19577
/proc/meminfo: memFree=1815440/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13600 CPUtime=0.51
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 974 5404 0 1 3 1 43 4 15 0 1 0 43751488 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19577/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 13600
[startup+1.50254 s]
/proc/loadavg: 2.01 2.00 2.00 3/86 19599
/proc/meminfo: memFree=1805176/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13600 CPUtime=0.51
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 974 5404 0 1 3 1 43 4 15 0 1 0 43751488 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19577/statm: 3400 797 370 3 0 500 0
[pid=19590] ppid=19577 vsize=5356 CPUtime=0
/proc/19590/stat : 19590 (sh) S 19577 19577 19540 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43751545 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19590/statm: 1339 233 193 169 0 50 0
[pid=19591] ppid=19590 vsize=868384 CPUtime=0.91
/proc/19591/stat : 19591 (java) S 19590 19577 19540 0 -1 0 5461 0 1 0 88 3 0 0 20 0 9 0 43751546 889225216 4856 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19591/statm: 217096 4856 1734 9 0 211671 0
[pid=19591/tid=19592] ppid=19590 vsize=868384 CPUtime=0.66
/proc/19591/task/19592/stat : 19592 (java) R 19590 19577 19540 0 -1 64 2676 0 1 0 65 1 0 0 25 0 9 0 43751547 889225216 4856 996147200 134512640 134550740 4294955936 18446744073709551615 4126524599 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19593] ppid=19590 vsize=868384 CPUtime=0.04
/proc/19591/task/19593/stat : 19593 (java) S 19590 19577 19540 0 -1 64 645 0 0 0 4 0 0 0 16 0 9 0 43751548 889225216 4856 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19594] ppid=19590 vsize=868384 CPUtime=0
/proc/19591/task/19594/stat : 19594 (java) S 19590 19577 19540 0 -1 64 10 0 0 0 0 0 0 0 24 0 9 0 43751548 889225216 4856 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19595] ppid=19590 vsize=868384 CPUtime=0
/proc/19591/task/19595/stat : 19595 (java) S 19590 19577 19540 0 -1 64 4 0 0 0 0 0 0 0 25 0 9 0 43751548 889225216 4856 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19596] ppid=19590 vsize=868384 CPUtime=0
/proc/19591/task/19596/stat : 19596 (java) S 19590 19577 19540 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43751550 889225216 4856 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19597] ppid=19590 vsize=868384 CPUtime=0.18
/proc/19591/task/19597/stat : 19597 (java) S 19590 19577 19540 0 -1 64 1449 0 0 0 17 1 0 0 16 0 9 0 43751550 889225216 4856 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19598] ppid=19590 vsize=868384 CPUtime=0
/proc/19591/task/19598/stat : 19598 (java) S 19590 19577 19540 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43751550 889225216 4856 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19599] ppid=19590 vsize=868384 CPUtime=0
/proc/19591/task/19599/stat : 19599 (java) S 19590 19577 19540 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43751550 889225216 4856 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 887340
[startup+3.10281 s]
/proc/loadavg: 2.01 2.00 2.00 3/86 19599
/proc/meminfo: memFree=1798520/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13600 CPUtime=0.51
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 974 5404 0 1 3 1 43 4 15 0 1 0 43751488 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19577/statm: 3400 797 370 3 0 500 0
[pid=19590] ppid=19577 vsize=5356 CPUtime=0
/proc/19590/stat : 19590 (sh) S 19577 19577 19540 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43751545 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19590/statm: 1339 233 193 169 0 50 0
[pid=19591] ppid=19590 vsize=868384 CPUtime=2.49
/proc/19591/stat : 19591 (java) S 19590 19577 19540 0 -1 0 7417 0 1 0 244 5 0 0 20 0 9 0 43751546 889225216 6520 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19591/statm: 217096 6520 2540 9 0 211671 0
[pid=19591/tid=19592] ppid=19590 vsize=868384 CPUtime=2.1
/proc/19591/task/19592/stat : 19592 (java) R 19590 19577 19540 0 -1 64 2798 0 1 0 209 1 0 0 25 0 9 0 43751547 889225216 6520 996147200 134512640 134550740 4294955936 18446744073709551615 4126593203 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19593] ppid=19590 vsize=868384 CPUtime=0.17
/proc/19591/task/19593/stat : 19593 (java) S 19590 19577 19540 0 -1 64 2463 0 0 0 15 2 0 0 16 0 9 0 43751548 889225216 6520 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19594] ppid=19590 vsize=868384 CPUtime=0
/proc/19591/task/19594/stat : 19594 (java) S 19590 19577 19540 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43751548 889225216 6520 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19595] ppid=19590 vsize=868384 CPUtime=0
/proc/19591/task/19595/stat : 19595 (java) S 19590 19577 19540 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43751548 889225216 6520 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19596] ppid=19590 vsize=868384 CPUtime=0
/proc/19591/task/19596/stat : 19596 (java) S 19590 19577 19540 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43751550 889225216 6520 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19597] ppid=19590 vsize=868384 CPUtime=0.2
/proc/19591/task/19597/stat : 19597 (java) S 19590 19577 19540 0 -1 64 1464 0 0 0 19 1 0 0 16 0 9 0 43751550 889225216 6520 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19598] ppid=19590 vsize=868384 CPUtime=0
/proc/19591/task/19598/stat : 19598 (java) S 19590 19577 19540 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43751550 889225216 6520 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19599] ppid=19590 vsize=868384 CPUtime=0
/proc/19591/task/19599/stat : 19599 (java) S 19590 19577 19540 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43751550 889225216 6520 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 887340
[startup+6.30238 s]
/proc/loadavg: 2.01 2.00 2.00 3/86 19599
/proc/meminfo: memFree=1786296/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13600 CPUtime=0.51
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 974 5404 0 1 3 1 43 4 15 0 1 0 43751488 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19577/statm: 3400 797 370 3 0 500 0
[pid=19590] ppid=19577 vsize=5356 CPUtime=0
/proc/19590/stat : 19590 (sh) S 19577 19577 19540 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43751545 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19590/statm: 1339 233 193 169 0 50 0
[pid=19591] ppid=19590 vsize=868496 CPUtime=5.64
/proc/19591/stat : 19591 (java) S 19590 19577 19540 0 -1 0 9574 0 1 0 550 14 0 0 20 0 9 0 43751546 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19591/statm: 217124 8253 2566 9 0 211671 0
[pid=19591/tid=19592] ppid=19590 vsize=868496 CPUtime=4.81
/proc/19591/task/19592/stat : 19592 (java) R 19590 19577 19540 0 -1 64 3272 0 1 0 474 7 0 0 25 0 9 0 43751547 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4126564728 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19593] ppid=19590 vsize=868496 CPUtime=0.5
/proc/19591/task/19593/stat : 19593 (java) S 19590 19577 19540 0 -1 64 4083 0 0 0 45 5 0 0 16 0 9 0 43751548 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19594] ppid=19590 vsize=868496 CPUtime=0
/proc/19591/task/19594/stat : 19594 (java) S 19590 19577 19540 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43751548 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19595] ppid=19590 vsize=868496 CPUtime=0
/proc/19591/task/19595/stat : 19595 (java) S 19590 19577 19540 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43751548 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19596] ppid=19590 vsize=868496 CPUtime=0
/proc/19591/task/19596/stat : 19596 (java) S 19590 19577 19540 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43751550 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19597] ppid=19590 vsize=868496 CPUtime=0.3
/proc/19591/task/19597/stat : 19597 (java) S 19590 19577 19540 0 -1 64 1527 0 0 0 29 1 0 0 16 0 9 0 43751550 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19598] ppid=19590 vsize=868496 CPUtime=0
/proc/19591/task/19598/stat : 19598 (java) S 19590 19577 19540 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43751550 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19599] ppid=19590 vsize=868496 CPUtime=0
/proc/19591/task/19599/stat : 19599 (java) S 19590 19577 19540 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43751550 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 887452
[startup+12.7025 s]
/proc/loadavg: 2.01 2.00 2.00 3/86 19599
/proc/meminfo: memFree=1733496/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13600 CPUtime=0.51
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 974 5404 0 1 3 1 43 4 16 0 1 0 43751488 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19577/statm: 3400 797 370 3 0 500 0
[pid=19590] ppid=19577 vsize=5356 CPUtime=0
/proc/19590/stat : 19590 (sh) S 19577 19577 19540 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43751545 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19590/statm: 1339 233 193 169 0 50 0
[pid=19591] ppid=19590 vsize=868496 CPUtime=11.96
/proc/19591/stat : 19591 (java) S 19590 19577 19540 0 -1 0 10902 0 1 0 1139 57 0 0 20 0 9 0 43751546 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19591/statm: 217124 8253 2566 9 0 211671 0
[pid=19591/tid=19592] ppid=19590 vsize=868496 CPUtime=10.76
/proc/19591/task/19592/stat : 19592 (java) R 19590 19577 19540 0 -1 64 4600 0 1 0 1034 42 0 0 25 0 9 0 43751547 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19593] ppid=19590 vsize=868496 CPUtime=0.87
/proc/19591/task/19593/stat : 19593 (java) S 19590 19577 19540 0 -1 64 4083 0 0 0 75 12 0 0 16 0 9 0 43751548 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19594] ppid=19590 vsize=868496 CPUtime=0
/proc/19591/task/19594/stat : 19594 (java) S 19590 19577 19540 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43751548 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19595] ppid=19590 vsize=868496 CPUtime=0
/proc/19591/task/19595/stat : 19595 (java) S 19590 19577 19540 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43751548 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19596] ppid=19590 vsize=868496 CPUtime=0
/proc/19591/task/19596/stat : 19596 (java) S 19590 19577 19540 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43751550 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19597] ppid=19590 vsize=868496 CPUtime=0.3
/proc/19591/task/19597/stat : 19597 (java) S 19590 19577 19540 0 -1 64 1527 0 0 0 29 1 0 0 16 0 9 0 43751550 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19598] ppid=19590 vsize=868496 CPUtime=0
/proc/19591/task/19598/stat : 19598 (java) S 19590 19577 19540 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 43751550 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19599] ppid=19590 vsize=868496 CPUtime=0
/proc/19591/task/19599/stat : 19599 (java) S 19590 19577 19540 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 43751550 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 887452
[startup+25.5027 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 19599
/proc/meminfo: memFree=1580024/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13600 CPUtime=0.51
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 974 5404 0 1 3 1 43 4 16 0 1 0 43751488 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19577/statm: 3400 797 370 3 0 500 0
[pid=19590] ppid=19577 vsize=5356 CPUtime=0
/proc/19590/stat : 19590 (sh) S 19577 19577 19540 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 43751545 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19590/statm: 1339 233 193 169 0 50 0
[pid=19591] ppid=19590 vsize=868496 CPUtime=24.54
/proc/19591/stat : 19591 (java) S 19590 19577 19540 0 -1 0 14075 0 1 0 2291 163 0 0 20 0 9 0 43751546 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19591/statm: 217124 8253 2566 9 0 211671 0
[pid=19591/tid=19592] ppid=19590 vsize=868496 CPUtime=22.44
/proc/19591/task/19592/stat : 19592 (java) R 19590 19577 19540 0 -1 64 7773 0 1 0 2115 129 0 0 25 0 9 0 43751547 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 102064662 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19593] ppid=19590 vsize=868496 CPUtime=1.76
/proc/19591/task/19593/stat : 19593 (java) S 19590 19577 19540 0 -1 64 4083 0 0 0 145 31 0 0 16 0 9 0 43751548 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19594] ppid=19590 vsize=868496 CPUtime=0
/proc/19591/task/19594/stat : 19594 (java) S 19590 19577 19540 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 43751548 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19591/tid=19595] ppid=19590 vsize=868496 CPUtime=0
/proc/19591/task/19595/stat : 19595 (java) S 19590 19577 19540 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 43751548 889339904 8253 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
[pid=19624] ppid=19577 vsize=5356 CPUtime=0
/proc/19624/stat : 19624 (sh) S 19577 19577 19540 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43768814 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19624/statm: 1339 232 193 169 0 50 0
[pid=19625] ppid=19624 vsize=553664 CPUtime=3037.98
/proc/19625/stat : 19625 (minisat) R 19624 19577 19540 0 -1 4194304 136732 0 0 0 303683 115 0 0 25 0 1 0 43768814 566951936 136718 996147200 134512640 135127466 4294956256 18446744073709551615 134530739 0 0 4096 3 0 0 0 17 0 0 0
/proc/19625/statm: 138416 136718 76 150 0 138263 0
Current children cumulated CPU time (s) 3209.19
Current children cumulated vsize (KiB) 573016
[startup+3282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/85 19684
/proc/meminfo: memFree=1100680/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13996 CPUtime=171.21
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 1371 244451 0 4 5 2 16739 375 16 0 1 0 43751488 14331904 887 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19577/statm: 3499 887 374 3 0 599 0
[pid=19624] ppid=19577 vsize=5356 CPUtime=0
/proc/19624/stat : 19624 (sh) S 19577 19577 19540 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43768814 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19624/statm: 1339 232 193 169 0 50 0
[pid=19625] ppid=19624 vsize=557192 CPUtime=3097.73
/proc/19625/stat : 19625 (minisat) R 19624 19577 19540 0 -1 4194304 137640 0 0 0 309657 116 0 0 25 0 1 0 43768814 570564608 137626 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/19625/statm: 139298 137626 76 150 0 139145 0
Current children cumulated CPU time (s) 3268.94
Current children cumulated vsize (KiB) 576544
[startup+3342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/85 19684
/proc/meminfo: memFree=1096328/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13996 CPUtime=171.21
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 1371 244451 0 4 5 2 16739 375 16 0 1 0 43751488 14331904 887 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19577/statm: 3499 887 374 3 0 599 0
[pid=19624] ppid=19577 vsize=5356 CPUtime=0
/proc/19624/stat : 19624 (sh) S 19577 19577 19540 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43768814 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19624/statm: 1339 232 193 169 0 50 0
[pid=19625] ppid=19624 vsize=561580 CPUtime=3157.48
/proc/19625/stat : 19625 (minisat) R 19624 19577 19540 0 -1 4194304 138722 0 0 0 315631 117 0 0 25 0 1 0 43768814 575057920 138708 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/19625/statm: 140395 138708 76 150 0 140242 0
Current children cumulated CPU time (s) 3328.69
Current children cumulated vsize (KiB) 580932
[startup+3402.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/85 19684
/proc/meminfo: memFree=1091848/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13996 CPUtime=171.21
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 1371 244451 0 4 5 2 16739 375 16 0 1 0 43751488 14331904 887 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19577/statm: 3499 887 374 3 0 599 0
[pid=19624] ppid=19577 vsize=5356 CPUtime=0
/proc/19624/stat : 19624 (sh) S 19577 19577 19540 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43768814 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19624/statm: 1339 232 193 169 0 50 0
[pid=19625] ppid=19624 vsize=565984 CPUtime=3217.23
/proc/19625/stat : 19625 (minisat) R 19624 19577 19540 0 -1 4194304 139820 0 0 0 321605 118 0 0 25 0 1 0 43768814 579567616 139806 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/19625/statm: 141496 139806 76 150 0 141343 0
Current children cumulated CPU time (s) 3388.44
Current children cumulated vsize (KiB) 585336
[startup+3462.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/85 19684
/proc/meminfo: memFree=1086856/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13996 CPUtime=171.21
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 1371 244451 0 4 5 2 16739 375 16 0 1 0 43751488 14331904 887 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19577/statm: 3499 887 374 3 0 599 0
[pid=19624] ppid=19577 vsize=5356 CPUtime=0
/proc/19624/stat : 19624 (sh) S 19577 19577 19540 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43768814 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19624/statm: 1339 232 193 169 0 50 0
[pid=19625] ppid=19624 vsize=572372 CPUtime=3276.99
/proc/19625/stat : 19625 (minisat) R 19624 19577 19540 0 -1 4194304 141075 0 0 0 327579 120 0 0 25 0 1 0 43768814 586108928 141061 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 0 0 0
/proc/19625/statm: 143093 141061 76 150 0 142940 0
Current children cumulated CPU time (s) 3448.2
Current children cumulated vsize (KiB) 591724
[startup+3522.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/85 19684
/proc/meminfo: memFree=1082440/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13996 CPUtime=171.21
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 1371 244451 0 4 5 2 16739 375 16 0 1 0 43751488 14331904 887 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19577/statm: 3499 887 374 3 0 599 0
[pid=19624] ppid=19577 vsize=5356 CPUtime=0
/proc/19624/stat : 19624 (sh) S 19577 19577 19540 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43768814 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19624/statm: 1339 232 193 169 0 50 0
[pid=19625] ppid=19624 vsize=576612 CPUtime=3336.74
/proc/19625/stat : 19625 (minisat) R 19624 19577 19540 0 -1 4194304 142137 0 0 0 333553 121 0 0 25 0 1 0 43768814 590450688 142123 996147200 134512640 135127466 4294956256 18446744073709551615 134530814 0 0 4096 3 0 0 0 17 0 0 0
/proc/19625/statm: 144153 142123 76 150 0 144000 0
Current children cumulated CPU time (s) 3507.95
Current children cumulated vsize (KiB) 595964
[startup+3582.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/85 19684
/proc/meminfo: memFree=1078792/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13996 CPUtime=171.21
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 1371 244451 0 4 5 2 16739 375 16 0 1 0 43751488 14331904 887 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19577/statm: 3499 887 374 3 0 599 0
[pid=19624] ppid=19577 vsize=5356 CPUtime=0
/proc/19624/stat : 19624 (sh) S 19577 19577 19540 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43768814 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19624/statm: 1339 232 193 169 0 50 0
[pid=19625] ppid=19624 vsize=580200 CPUtime=3396.5
/proc/19625/stat : 19625 (minisat) R 19624 19577 19540 0 -1 4194304 143045 0 0 0 339528 122 0 0 25 0 1 0 43768814 594124800 143031 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 0 0 0
/proc/19625/statm: 145050 143031 76 150 0 144897 0
Current children cumulated CPU time (s) 3567.71
Current children cumulated vsize (KiB) 599552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3614.8 s]
/proc/loadavg: 1.99 1.98 1.99 3/85 19684
/proc/meminfo: memFree=1076552/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13996 CPUtime=171.21
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 1371 244451 0 4 5 2 16739 375 16 0 1 0 43751488 14331904 887 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19577/statm: 3499 887 374 3 0 599 0
[pid=19624] ppid=19577 vsize=5356 CPUtime=0
/proc/19624/stat : 19624 (sh) S 19577 19577 19540 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43768814 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19624/statm: 1339 232 193 169 0 50 0
[pid=19625] ppid=19624 vsize=582416 CPUtime=3428.86
/proc/19625/stat : 19625 (minisat) R 19624 19577 19540 0 -1 4194304 143594 0 0 0 342764 122 0 0 25 0 1 0 43768814 596393984 143580 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/19625/statm: 145604 143580 76 150 0 145451 0
Current children cumulated CPU time (s) 3600.07
Current children cumulated vsize (KiB) 601768
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3614.8 s]
/proc/loadavg: 1.99 1.98 1.99 3/85 19684
/proc/meminfo: memFree=1076552/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13996 CPUtime=171.21
/proc/19577/stat : 19577 (sugar) S 19575 19577 19540 0 -1 4194304 1371 244451 0 4 5 2 16739 375 16 0 1 0 43751488 14331904 887 996147200 4194304 4206940 548682068592 18446744073709551615 228715442274 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/19577/statm: 3499 887 374 3 0 599 0
[pid=19624] ppid=19577 vsize=5356 CPUtime=0
/proc/19624/stat : 19624 (sh) S 19577 19577 19540 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 43768814 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19624/statm: 1339 232 193 169 0 50 0
[pid=19625] ppid=19624 vsize=582416 CPUtime=3428.86
/proc/19625/stat : 19625 (minisat) R 19624 19577 19540 0 -1 4194304 143594 0 0 0 342764 122 0 0 25 0 1 0 43768814 596393984 143580 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/19625/statm: 145604 143580 76 150 0 145451 0
Current children cumulated CPU time (s) 3600.07
Current children cumulated vsize (KiB) 601768
# WARNING:
# current cumulated CPU time (171.25 s) is less than in the last sample (3600.07 s)
# The time of a child was probably not reported to its father.
# (see the samples just above and below)
# Adding the difference (3428.82 s) to the 'lost time'.
[startup+3614.92 s]
/proc/loadavg: 1.99 1.98 1.99 3/85 19684
/proc/meminfo: memFree=1076552/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13996 CPUtime=171.25
/proc/19577/stat : 19577 (sugar) R 19575 19577 19540 0 -1 4194304 1406 244728 0 4 5 5 16739 376 16 0 1 0 43751488 14331904 888 996147200 4194304 4206940 548682068592 18446744073709551615 228706718761 0 0 4224 16386 0 0 0 17 0 0 0
/proc/19577/statm: 3499 888 375 3 0 599 0
Current children cumulated CPU time (s) 171.25
Current children cumulated vsize (KiB) 13996
Solver just ended. Dumping a history of the last processes samples
[startup+3615.01 s]
/proc/loadavg: 1.99 1.98 1.99 3/85 19684
/proc/meminfo: memFree=1076552/2055920 swapFree=4192812/4192956
[pid=19577] ppid=19575 vsize=13996 CPUtime=171.33
/proc/19577/stat : 19577 (sugar) R 19575 19577 19540 0 -1 4194304 1406 244728 0 4 5 13 16739 376 16 0 1 0 43751488 14331904 888 996147200 4194304 4206940 548682068592 18446744073709551615 228706718761 0 0 4224 16386 0 0 0 17 0 0 0
/proc/19577/statm: 3499 888 375 3 0 599 0
Current children cumulated CPU time (s) 171.33
Current children cumulated vsize (KiB) 13996
Child status: 0
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 3428.82
# lost CPU user time (s): 3427.64
# lost CPU system time (s): 1.18
Real time (s): 3615.01
CPU time (s): 3600.18
CPU user time (s): 3595.1
CPU system time (s): 5.08041
CPU usage (%): 99.5898
Max. virtual memory (cumulated for all children) (KiB): 887452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 167.459
system time used= 3.90041
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 246166
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= 43127
involuntary context switches= 46774
runsolver used 3.2705 second user time and 10.9093 second system time
The end
Begin job on node8 at 2008-07-12 15:48:04
IDJOB=1112602
IDBENCH=61443
IDSOLVER=368
FILE ID=node8/1112602-1215870484
PBS_JOBID= 7903574
Free space on /tmp= 66328 MiB
SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/rlfapScens/normalized-scen7.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-1112602-1215870484/watcher-1112602-1215870484 -o /tmp/evaluation-result-1112602-1215870484/solver-1112602-1215870484 -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-1112602-1215870484.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 4f1026eda97064116de2bf3bc78ace12
RANDOM SEED=702765650
node8.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.268
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.268
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: 1815920 kB
Buffers: 28260 kB
Cached: 62572 kB
SwapCached: 16 kB
Active: 149092 kB
Inactive: 32068 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1815920 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1836 kB
Writeback: 0 kB
Mapped: 101396 kB
Slab: 43764 kB
Committed_AS: 336128 kB
PageTables: 1992 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= 66336 MiB
End job on node8 at 2008-07-12 16:48:21