0.04/0.22 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.04/0.22 c 0 BEGIN Tue Jul 22 22:45:34 2008
0.04/0.22 c 0 PID 3583
0.04/0.22 c 0 HOST node79.alineos.net
0.04/0.22 c 0 CONVERTING HOME/instance-1127315-1216759534.xml TO HOME/temp.csp
0.04/0.22 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1127315-1216759534.xml' 'HOME/temp.csp'
0.06/0.71 c 1 1 domains, 80 variables, 0 predicates, 14 relations, 1208 constraints
0.06/0.77 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.06/0.77 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.64/0.86 c 1 Parsing HOME/temp.csp
0.84/1.02 c 1 parsed 1303 expressions
0.84/1.03 c 1 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.84/1.05 c 1 MAX CSP: 1208 constraints
0.84/1.05 c 1 Converting to clausal form CSP
0.84/1.10 c 1 converted 252 (10%) expressions
0.93/1.12 c 1 converted 503 (20%) expressions
0.93/1.13 c 1 converted 755 (30%) expressions
0.93/1.15 c 1 converted 1006 (40%) expressions
1.01/1.23 c 2 converted 1257 (50%) expressions
1.01/1.23 c 2 converted 1509 (60%) expressions
1.01/1.25 c 2 converted 1760 (70%) expressions
1.01/1.26 c 2 converted 2012 (80%) expressions
1.01/1.26 c 2 converted 2263 (90%) expressions
1.12/1.40 c 2 converted 2514 (100%) expressions
1.22/1.40 c 2 CSP : 2496 integers, 0 booleans, 3623 clauses, largest domain size 1813
1.22/1.40 c 2 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.22/1.40 c 2 Propagation in CSP
1.22/1.46 c 2 1203 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.22/1.46 c 2 CSP : 2496 integers, 0 booleans, 3623 clauses, largest domain size 1209
1.22/1.46 c 2 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.22/1.46 c 2 Simplifing CSP by introducing new Boolean variables
1.22/1.47 c 2 CSP : 2496 integers, 0 booleans, 3623 clauses, largest domain size 1209
1.22/1.47 c 2 Heap : 3 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.32/1.50 c 2 Encoding CSP to SAT : HOME/temp.cnf
1.32/1.51 c 2 250 (10%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.32/1.52 c 2 500 (20%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.32/1.52 c 2 749 (30%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.32/1.52 c 2 999 (40%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.32/1.52 c 2 1248 (50%) CSP integer variables are encoded (0 clauses, 64 bytes)
1.32/1.54 c 2 1498 (60%) CSP integer variables are encoded (11760 clauses, 159341 bytes)
1.32/1.55 c 2 1748 (70%) CSP integer variables are encoded (14652 clauses, 202721 bytes)
1.32/1.55 c 2 1997 (80%) CSP integer variables are encoded (17598 clauses, 246911 bytes)
1.32/1.55 c 2 2247 (90%) CSP integer variables are encoded (19511 clauses, 275606 bytes)
1.32/1.56 c 2 2496 (100%) CSP integer variables are encoded (22118 clauses, 314711 bytes)
1.32/1.59 c 2 363 (10%) CSP clauses are encoded (22508 clauses, 319693 bytes)
1.42/1.62 c 2 725 (20%) CSP clauses are encoded (22891 clauses, 324921 bytes)
1.42/1.63 c 2 1087 (30%) CSP clauses are encoded (23274 clauses, 330306 bytes)
1.42/1.66 c 2 1450 (40%) CSP clauses are encoded (32033 clauses, 483529 bytes)
3.12/3.38 c 4 1812 (50%) CSP clauses are encoded (778601 clauses, 15777362 bytes)
3.21/3.43 c 4 2174 (60%) CSP clauses are encoded (804165 clauses, 16309553 bytes)
4.40/4.68 c 5 2537 (70%) CSP clauses are encoded (1518036 clauses, 31618064 bytes)
4.49/4.74 c 5 2899 (80%) CSP clauses are encoded (1547440 clauses, 32231405 bytes)
4.59/4.86 c 5 3261 (90%) CSP clauses are encoded (1620214 clauses, 33774055 bytes)
5.08/5.35 c 6 3623 (100%) CSP clauses are encoded (1891721 clauses, 39574434 bytes)
5.08/5.35 c 6 3623 CSP clauses encoded
5.08/5.35 c 6 Writing map file : HOME/temp.map
5.08/5.37 c 6 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
5.08/5.37 c 6 SAT : 24614 SAT variables, 1891721 SAT clauses, 39574434 bytes
5.08/5.37 c 6 Heap : 2 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
5.16/5.41 c 6 OBJECTIVE minimize _COST
5.16/5.41 c 6 SOLVING HOME/temp.cnf
5.16/5.41 c 6 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
5.16/5.41 c 6 This is MiniSat 2.0 beta incremental
5.16/5.41 c 6 WARNING: for repeatability, setting FPU to use double precision
5.16/5.41 c 6 ============================[ Problem Statistics ]=============================
5.16/5.41 c 6 | |
5.16/5.42 c 6 | Number of variables: 24614 |
5.16/5.42 c 6 | Number of clauses: 1891721 |
5.19/6.25 c 7 | Parsing time: 0.69 s |
5.19/6.28 c 7 OK
5.19/6.28 c 7 OBJECTIVE BOUND: 0 <= _COST <=
5.19/6.28 c 7 SEARCHING: _COST <= 604
5.19/6.28 c 7 ============================[ Search Statistics ]==============================
5.19/6.28 c 7 | Conflicts | ORIGINAL | LEARNT | Progress |
5.19/6.28 c 7 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
5.19/6.28 c 7 ===============================================================================
5.19/6.28 c 7 | 0 | 24614 1891721 5607465 | 630573 0 nan | 0.000 % |
6.75/7.01 c 7 | 100 | 24613 1891721 5607465 | 693631 99 20 | 0.062 % |
6.85/7.17 c 7 | 251 | 24613 1891721 5607465 | 762994 250 19 | 0.062 % |
7.05/7.38 c 8 | 477 | 24613 1891721 5607465 | 839293 476 18 | 0.062 % |
7.35/7.70 c 8 | 815 | 24613 1891721 5607465 | 923222 813 21 | 0.131 % |
7.75/8.01 c 8 | 1323 | 24613 1891721 5607465 | 1015545 1321 22 | 0.131 % |
8.45/8.75 c 9 | 2084 | 24613 1891721 5607465 | 1117099 2082 23 | 0.131 % |
9.34/9.69 c 10 | 3224 | 24613 1891721 5607465 | 1228809 3222 26 | 0.131 % |
10.64/10.97 c 11 | 4934 | 24613 1891721 5607465 | 1351690 4932 27 | 0.131 % |
10.74/11.09 c 11 ===============================================================================
10.74/11.10 c 11 restarts : 9
10.74/11.10 c 11 conflicts : 4934 (898 /sec)
10.74/11.10 c 11 decisions : 7798 (0.58 % random) (1419 /sec)
10.74/11.10 c 11 propagations : 2890577 (525926 /sec)
10.74/11.10 c 11 conflict literals : 134991 (17.68 % deleted)
10.74/11.10 c 11 Memory used : 80.92 MB
10.74/11.10 c 11 CPU time : 5.49616 s
10.74/11.10 c 11
10.74/11.10 c 11 SATISFIABLE
10.83/11.10 c 11 OK
10.83/11.10 c 11 FOUND: _COST <= 604
10.83/11.10 s SATISFIABLE
10.83/11.10 c 11 DECODING HOME/temp.out WITH HOME/temp.map
10.83/11.10 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'
10.83/11.18 c 11 Decoding HOME/temp.out
10.84/11.33 c 12 OBJECTIVE _COST 604
10.84/11.33 o 604
10.84/11.33 v 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
10.84/11.34 c 12 Heap : 0 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
10.84/11.37 c 12 OK
10.84/11.37 c 12 OBJECTIVE BOUND: 0 <= _COST <= 604
10.84/11.37 c 12 SEARCHING: _COST <= 302
10.84/11.37 c 12 ============================[ Search Statistics ]==============================
10.84/11.37 c 12 | Conflicts | ORIGINAL | LEARNT | Progress |
10.84/11.37 c 12 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
10.84/11.37 c 12 ===============================================================================
10.84/11.37 c 12 | 4934 | 24582 1891721 5607465 | 630573 4932 27 | 0.131 % |
11.40/11.74 c 12 | 5035 | 24579 1891721 5607465 | 693631 5033 27 | 27.127 % |
11.70/12.00 c 12 | 5185 | 24579 1891721 5607465 | 762994 5183 27 | 27.127 % |
11.89/12.27 c 13 | 5411 | 24579 1891721 5607465 | 839293 5409 27 | 27.127 % |
12.49/12.88 c 13 | 5752 | 24579 1891721 5607465 | 923222 5750 27 | 27.127 % |
13.89/14.23 c 15 | 6259 | 24579 1891721 5607465 | 1015545 6257 29 | 27.127 % |
15.18/15.54 c 16 | 7018 | 24579 1891721 5607465 | 1117099 7016 28 | 27.127 % |
17.17/17.58 c 18 | 8158 | 24579 1891721 5607465 | 1228809 8156 28 | 27.127 % |
18.65/19.06 c 19 | 9866 | 24579 1891721 5607465 | 1351690 9864 28 | 27.127 % |
21.74/22.19 c 22 | 12428 | 17937 1200993 3554731 | 1486859 12425 28 | 27.127 % |
25.32/25.70 c 26 | 16273 | 17937 1200993 3554731 | 1635545 16270 28 | 27.127 % |
31.79/32.21 c 32 | 22039 | 17937 1200993 3554731 | 1799100 22036 28 | 27.127 % |
39.76/40.20 c 40 | 30689 | 17937 1200993 3554731 | 1979010 30686 29 | 27.127 % |
61.87/62.49 c 63 | 43664 | 17937 1200993 3554731 | 2176911 43661 35 | 27.127 % |
94.43/95.14 c 95 | 63126 | 17937 1200993 3554731 | 2394602 63123 40 | 27.127 % |
148.30/149.26 c 150 | 92319 | 17937 1200993 3554731 | 2634062 92316 44 | 27.127 % |
233.74/235.04 c 235 | 136108 | 17937 1200993 3554731 | 2897468 136105 47 | 27.127 % |
400.76/402.70 c 403 | 201793 | 17937 1200993 3554731 | 3187215 201790 48 | 27.127 % |
609.21/612.02 c 612 | 300320 | 17937 1200993 3554731 | 3505937 300317 44 | 27.127 % |
1054.04/1058.79 c 1059 | 448109 | 17937 1200993 3554731 | 3856531 448106 43 | 27.127 % |
2188.29/2197.66 c 2198 | 669792 | 17937 1200993 3554731 | 4242184 669789 45 | 27.127 % |
3600.03/3615.11 c ERROR INTERRUPTED
3600.03/3615.16 c 3615 CPU 3598.7 (0.06 0.02 3598.64 1.36)
3600.03/3615.16 c 3615 END Tue Jul 22 23:45:49 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-1127315-1216759534/watcher-1127315-1216759534 -o /tmp/evaluation-result-1127315-1216759534/solver-1127315-1216759534 -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-1127315-1216759534.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: 3.31 3.38 3.28 3/68 3583
/proc/meminfo: memFree=1777496/2055920 swapFree=4192956/4192956
[pid=3583] ppid=3581 vsize=12268 CPUtime=0
/proc/3583/stat : 3583 (sugar++) R 3581 3583 3433 0 -1 4194304 348 0 0 0 0 0 0 0 18 0 1 0 3039969 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 234046061157 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/3583/statm: 3067 316 241 3 0 167 0
[startup+0.079684 s]
/proc/loadavg: 3.31 3.38 3.28 3/68 3583
/proc/meminfo: memFree=1777496/2055920 swapFree=4192956/4192956
[pid=3583] ppid=3581 vsize=13336 CPUtime=0.02
/proc/3583/stat : 3583 (sugar++) D 3581 3583 3433 0 -1 4194304 732 0 0 0 2 0 0 0 18 0 1 0 3039969 13656064 700 996147200 4194304 4206940 548682068528 18446744073709551615 234046061157 0 0 4224 0 18446744071563608240 0 0 17 0 0 0
/proc/3583/statm: 3334 700 338 3 0 434 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13336
[startup+0.10168 s]
/proc/loadavg: 3.31 3.38 3.28 3/68 3583
/proc/meminfo: memFree=1777496/2055920 swapFree=4192956/4192956
[pid=3583] ppid=3581 vsize=13336 CPUtime=0.02
/proc/3583/stat : 3583 (sugar++) D 3581 3583 3433 0 -1 4194304 733 0 0 0 2 0 0 0 18 0 1 0 3039969 13656064 701 996147200 4194304 4206940 548682068528 18446744073709551615 234054791266 0 0 4224 0 18446744071563479169 0 0 17 1 0 0
/proc/3583/statm: 3334 701 338 3 0 434 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13336
[startup+0.301708 s]
/proc/loadavg: 3.31 3.38 3.28 3/68 3583
/proc/meminfo: memFree=1777496/2055920 swapFree=4192956/4192956
[pid=3583] ppid=3581 vsize=16740 CPUtime=0.06
/proc/3583/stat : 3583 (sugar++) S 3581 3583 3433 0 -1 4194304 1219 128 0 0 5 1 0 0 16 0 1 0 3039969 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 234054791266 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3583/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+0.701748 s]
/proc/loadavg: 3.31 3.38 3.28 3/68 3583
/proc/meminfo: memFree=1777496/2055920 swapFree=4192956/4192956
[pid=3583] ppid=3581 vsize=16740 CPUtime=0.06
/proc/3583/stat : 3583 (sugar++) S 3581 3583 3433 0 -1 4194304 1219 128 0 0 5 1 0 0 16 0 1 0 3039969 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 234054791266 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3583/statm: 4185 1104 409 3 0 764 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16740
[startup+1.50284 s]
/proc/loadavg: 3.31 3.38 3.28 4/94 3636
/proc/meminfo: memFree=1754304/2055920 swapFree=4192956/4192956
[pid=3583] ppid=3581 vsize=16740 CPUtime=0.64
/proc/3583/stat : 3583 (sugar++) S 3581 3583 3433 0 -1 4194304 1297 4714 0 1 5 1 55 3 15 0 1 0 3039969 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 234054791266 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3583/statm: 4185 1104 409 3 0 764 0
[pid=3627] ppid=3583 vsize=5356 CPUtime=0
/proc/3627/stat : 3627 (sh) S 3583 3583 3433 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 3040047 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3627/statm: 1339 233 193 169 0 50 0
[pid=3628] ppid=3627 vsize=868420 CPUtime=0.68
/proc/3628/stat : 3628 (java) S 3627 3583 3433 0 -1 0 6869 0 1 0 64 4 0 0 18 0 9 0 3040047 889262080 6121 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3628/statm: 217105 6121 2537 9 0 211680 0
[pid=3628/tid=3629] ppid=3627 vsize=868420 CPUtime=0.39
/proc/3628/task/3629/stat : 3629 (java) R 3627 3583 3433 0 -1 64 2654 0 1 0 38 1 0 0 25 0 9 0 3040048 889262080 6121 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3628/tid=3630] ppid=3627 vsize=868420 CPUtime=0.07
/proc/3628/task/3630/stat : 3630 (java) R 3627 3583 3433 0 -1 64 2053 0 0 0 6 1 0 0 16 0 9 0 3040050 889262080 6121 996147200 134512640 134550740 4294955920 18446744073709551615 104414760 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3628/tid=3631] ppid=3627 vsize=868420 CPUtime=0
/proc/3628/task/3631/stat : 3631 (java) S 3627 3583 3433 0 -1 64 10 0 0 0 0 0 0 0 21 0 9 0 3040050 889262080 6121 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3628/tid=3632] ppid=3627 vsize=868420 CPUtime=0
/proc/3628/task/3632/stat : 3632 (java) S 3627 3583 3433 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 3040050 889262080 6121 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3628/tid=3633] ppid=3627 vsize=868420 CPUtime=0
/proc/3628/task/3633/stat : 3633 (java) S 3627 3583 3433 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 3040052 889262080 6121 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3628/tid=3634] ppid=3627 vsize=868420 CPUtime=0.19
/proc/3628/task/3634/stat : 3634 (java) S 3627 3583 3433 0 -1 64 1471 0 0 0 19 0 0 0 16 0 9 0 3040052 889262080 6121 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3628/tid=3635] ppid=3627 vsize=868420 CPUtime=0
/proc/3628/task/3635/stat : 3635 (java) S 3627 3583 3433 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 3040052 889262080 6121 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3628/tid=3636] ppid=3627 vsize=868420 CPUtime=0
/proc/3628/task/3636/stat : 3636 (java) S 3627 3583 3433 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 3040052 889262080 6121 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 890516
[startup+3.103 s]
/proc/loadavg: 3.31 3.38 3.28 3/94 3636
/proc/meminfo: memFree=1730688/2055920 swapFree=4192956/4192956
[pid=3583] ppid=3581 vsize=16740 CPUtime=0.65
/proc/3583/stat : 3583 (sugar++) S 3581 3583 3433 0 -1 4194304 1297 4714 0 1 5 2 55 3 15 0 1 0 3039969 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 234054791266 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3583/statm: 4185 1104 409 3 0 764 0
[pid=3627] ppid=3583 vsize=5356 CPUtime=0
/proc/3627/stat : 3627 (sh) S 3583 3583 3433 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 3040047 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3627/statm: 1339 233 193 169 0 50 0
[pid=3628] ppid=3627 vsize=868532 CPUtime=2.26
/proc/3628/stat : 3628 (java) S 3627 3583 3433 0 -1 0 7370 0 1 0 212 14 0 0 18 0 9 0 3040047 889376768 6206 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3628/statm: 217133 6206 2563 9 0 211680 0
[pid=3628/tid=3629] ppid=3627 vsize=868532 CPUtime=1.81
/proc/3628/task/3629/stat : 3629 (java) R 3627 3583 3433 0 -1 64 3118 0 1 0 171 10 0 0 25 0 9 0 3040048 889376768 6206 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3628/tid=3630] ppid=3627 vsize=868532 CPUtime=0.18
/proc/3628/task/3630/stat : 3630 (java) S 3627 3583 3433 0 -1 64 2054 0 0 0 16 2 0 0 16 0 9 0 3040050 889376768 6206 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3628/tid=3631] ppid=3627 vsize=868532 CPUtime=0
/proc/3628/task/3631/stat : 3631 (java) S 3627 3583 3433 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 3040050 889376768 6206 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3628/tid=3632] ppid=3627 vsize=868532 CPUtime=0
/proc/3628/task/3632/stat : 3632 (java) S 3627 3583 3433 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 3040050 889376768 6206 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3628/tid=3633] ppid=3627 vsize=868532 CPUtime=0
/proc/3628/task/3633/stat : 3633 (java) S 3627 3583 3433 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 3040052 889376768 6206 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3628/tid=3634] ppid=3627 vsize=868532 CPUtime=0.24
/proc/3628/task/3634/stat : 3634 (java) S 3627 3583 3433 0 -1 64 1506 0 0 0 24 0 0 0 16 0 9 0 3040052 889376768 6206 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3628/tid=3635] ppid=3627 vsize=868532 CPUtime=0
/proc/3628/task/3635/stat : 3635 (java) S 3627 3583 3433 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 3040052 889376768 6206 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=3628/tid=3636] ppid=3627 vsize=868532 CPUtime=0
/proc/3628/task/3636/stat : 3636 (java) S 3627 3583 3433 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 3040052 889376768 6206 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 890628
[startup+6.30233 s]
/proc/loadavg: 3.20 3.35 3.27 2/86 3638
/proc/meminfo: memFree=1653248/2055920 swapFree=4192956/4192956
[pid=3583] ppid=3581 vsize=16872 CPUtime=5.19
/proc/3583/stat : 3583 (sugar++) S 3581 3583 3433 0 -1 4194304 1499 13119 0 2 6 2 472 39 16 0 1 0 3039969 17276928 1148 996147200 4194304 4206940 548682068528 18446744073709551615 234054791266 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3583/statm: 4218 1148 414 3 0 797 0
Current children cumulated CPU time (s) 5.19
Current children cumulated vsize (KiB) 16872
[startup+12.702 s]
/proc/loadavg: 3.26 3.37 3.27 3/77 3661
/proc/meminfo: memFree=1526600/2055920 swapFree=4192956/4192956
[pid=3583] ppid=3581 vsize=17000 CPUtime=5.42
/proc/3583/stat : 3583 (sugar++) S 3581 3583 3433 0 -1 4194304 1584 17051 0 3 6 2 492 42 15 0 1 0 3039969 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 234054791266 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3583/statm: 4250 1149 414 3 0 829 0
[pid=3639] ppid=3583 vsize=83668 CPUtime=6.97
/proc/3639/stat : 3639 (minisat-inc) R 3583 3583 3433 0 -1 4194304 20352 0 0 0 682 15 0 0 25 0 1 0 3040511 85676032 20299 996147200 134512640 135134323 4294956192 18446744073709551615 134532158 0 0 4096 3 0 0 0 17 1 0 0
/proc/3639/statm: 20917 20299 80 151 0 20763 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 100668
[startup+25.5014 s]
/proc/loadavg: 3.13 3.33 3.26 3/77 3661
/proc/meminfo: memFree=1529608/2055920 swapFree=4192956/4192956
[pid=3583] ppid=3581 vsize=17000 CPUtime=5.42
/proc/3583/stat : 3583 (sugar++) S 3581 3583 3433 0 -1 4194304 1584 17051 0 3 6 2 492 42 16 0 1 0 3039969 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 234054791266 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3583/statm: 4250 1149 414 3 0 829 0
[pid=3639] ppid=3583 vsize=84392 CPUtime=19.7
/proc/3639/stat : 3639 (minisat-inc) R 3583 3583 3433 0 -1 4194304 20533 0 0 0 1954 16 0 0 25 0 1 0 3040511 86417408 20480 996147200 134512640 135134323 4294956192 18446744073709551615 134531949 0 0 4096 3 0 0 0 17 1 0 0
/proc/3639/statm: 21098 20480 80 151 0 20944 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 101392
[startup+51.101 s]
/proc/loadavg: 2.74 3.22 3.23 3/77 3661
/proc/meminfo: memFree=1529992/2055920 swapFree=4192956/4192956
[pid=3583] ppid=3581 vsize=17000 CPUtime=5.42
/proc/3583/stat : 3583 (sugar++) S 3581 3583 3433 0 -1 4194304 1584 17051 0 3 6 2 492 42 16 0 1 0 3039969 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 234054791266 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3583/statm: 4250 1149 414 3 0 829 0
[pid=3639] ppid=3583 vsize=84392 CPUtime=45.2
/proc/3639/stat : 3639 (minisat-inc) R 3583 3583 3433 0 -1 4194304 20554 0 0 0 4504 16 0 0 25 0 1 0 3040511 86417408 20501 996147200 134512640 135134323 4294956192 18446744073709551615 134531961 0 0 4096 3 0 0 0 17 1 0 0
/proc/3639/statm: 21098 20501 80 151 0 20944 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 101392
[startup+102.306 s]
/proc/loadavg: 2.32 3.03 3.16 3/77 3661
/proc/meminfo: memFree=1529416/2055920 swapFree=4192956/4192956
[pid=3583] ppid=3581 vsize=17000 CPUtime=5.42
/proc/3583/stat : 3583 (sugar++) S 3581 3583 3433 0 -1 4194304 1584 17051 0 3 6 2 492 42 16 0 1 0 3039969 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 234054791266 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3583/statm: 4250 1149 414 3 0 829 0
[pid=3639] ppid=3583 vsize=84688 CPUtime=96.18
/proc/3639/stat : 3639 (minisat-inc) R 3583 3583 3433 0 -1 4194304 20622 0 0 0 9602 16 0 0 25 0 1 0 3040511 86720512 20561 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3639/statm: 21172 20561 80 151 0 21018 0
Current children cumulated CPU time (s) 101.6
Current children cumulated vsize (KiB) 101688
[startup+162.302 s]
/proc/loadavg: 2.12 2.84 3.08 3/77 3661
/proc/meminfo: memFree=1525896/2055920 swapFree=4192956/4192956
[pid=3583] ppid=3581 vsize=17000 CPUtime=5.42
/proc/3583/stat : 3583 (sugar++) S 3581 3583 3433 0 -1 4194304 1584 17051 0 3 6 2 492 42 16 0 1 0 3039969 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 234054791266 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3583/statm: 4250 1149 414 3 0 829 0
[pid=3639] ppid=3583 vsize=88212 CPUtime=155.92
/proc/3639/stat : 3639 (minisat-inc) R 3583 3583 3433 0 -1 4194304 21471 0 0 0 15575 17 0 0 25 0 1 0 3040511 90329088 21410 996147200 134512640 135134323 4294956192 18446744073709551615 134708315 0 0 4096 3 0 0 0 17 1 0 0
/proc/3639/statm: 22053 21411 80 151 0 21899 0
Current children cumulated CPU time (s) 161.34
Current children cumulated vsize (KiB) 105212
[startup+222.302 s]
/proc/loadavg: 2.04 2.68 3.01 3/77 3661
/proc/meminfo: memFree=1517448/2055920 swapFree=4192956/4192956
[pid=3583] ppid=3581 vsize=17000 CPUtime=5.42
/proc/3583/stat : 3583 (sugar++) S 3581 3583 3433 0 -1 4194304 1584 17051 0 3 6 2 492 42 16 0 1 0 3039969 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 234054791266 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3583/statm: 4250 1149 414 3 0 829 0
[pid=3639] ppid=3583 vsize=95924 CPUtime=215.67
/proc/3639/stat : 3639 (minisat-inc) R 3583 3583 3433 0 -1 4194304 23407 0 0 0 21548 19 0 0 25 0 1 0 3040511 98226176 23346 996147200 134512640 135134323 4294956192 18446744073709551615 134523966 0 0 4096 3 0 0 0 17 1 0 0
/proc/3639/statm: 23981 23346 80 151 0 23827 0
Current children cumulated CPU time (s) 221.09
Current children cumulated vsize (KiB) 112924
[startup+282.301 s]
################
# More data... #
################
[pid=3639] ppid=3583 vsize=250500 CPUtime=2904.64
/proc/3639/stat : 3639 (minisat-inc) R 3583 3583 3433 0 -1 4194304 61513 0 0 0 290386 78 0 0 25 0 1 0 3040511 256512000 61452 996147200 134512640 135134323 4294956192 18446744073709551615 134531850 0 0 4096 3 0 0 0 17 1 0 0
/proc/3639/statm: 62625 61452 80 151 0 62471 0
Current children cumulated CPU time (s) 2910.06
Current children cumulated vsize (KiB) 267500
[startup+2982.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/77 3669
/proc/meminfo: memFree=1175240/2055920 swapFree=4192956/4192956
[pid=3583] ppid=3581 vsize=17000 CPUtime=5.42
/proc/3583/stat : 3583 (sugar++) S 3581 3583 3433 0 -1 4194304 1584 17051 0 3 6 2 492 42 16 0 1 0 3039969 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 234054791266 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3583/statm: 4250 1149 414 3 0 829 0
[pid=3639] ppid=3583 vsize=253444 CPUtime=2964.39
/proc/3639/stat : 3639 (minisat-inc) R 3583 3583 3433 0 -1 4194304 62283 0 0 0 296360 79 0 0 25 0 1 0 3040511 259526656 62222 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3639/statm: 63361 62222 80 151 0 63207 0
Current children cumulated CPU time (s) 2969.81
Current children cumulated vsize (KiB) 270444
[startup+3042.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 3669
/proc/meminfo: memFree=1170184/2055920 swapFree=4192956/4192956
[pid=3583] ppid=3581 vsize=17000 CPUtime=5.42
/proc/3583/stat : 3583 (sugar++) S 3581 3583 3433 0 -1 4194304 1584 17051 0 3 6 2 492 42 16 0 1 0 3039969 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 234054791266 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3583/statm: 4250 1149 414 3 0 829 0
[pid=3639] ppid=3583 vsize=256296 CPUtime=3024.15
/proc/3639/stat : 3639 (minisat-inc) R 3583 3583 3433 0 -1 4194304 62991 0 0 0 302335 80 0 0 25 0 1 0 3040511 262447104 62930 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3639/statm: 64074 62930 80 151 0 63920 0
Current children cumulated CPU time (s) 3029.57
Current children cumulated vsize (KiB) 273296
[startup+3102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 3669
/proc/meminfo: memFree=1165064/2055920 swapFree=4192956/4192956
[pid=3583] ppid=3581 vsize=17000 CPUtime=5.42
/proc/3583/stat : 3583 (sugar++) S 3581 3583 3433 0 -1 4194304 1584 17051 0 3 6 2 492 42 16 0 1 0 3039969 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 234054791266 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3583/statm: 4250 1149 414 3 0 829 0
[pid=3639] ppid=3583 vsize=259060 CPUtime=3083.91
/proc/3639/stat : 3639 (minisat-inc) R 3583 3583 3433 0 -1 4194304 63686 0 0 0 308310 81 0 0 25 0 1 0 3040511 265277440 63625 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3639/statm: 64765 63625 80 151 0 64611 0
Current children cumulated CPU time (s) 3089.33
Current children cumulated vsize (KiB) 276060
[startup+3162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 3669
/proc/meminfo: memFree=1160328/2055920 swapFree=4192956/4192956
[pid=3583] ppid=3581 vsize=17000 CPUtime=5.42
/proc/3583/stat : 3583 (sugar++) S 3581 3583 3433 0 -1 4194304 1584 17051 0 3 6 2 492 42 16 0 1 0 3039969 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 234054791266 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3583/statm: 4250 1149 414 3 0 829 0
[pid=3639] ppid=3583 vsize=261600 CPUtime=3143.67
/proc/3639/stat : 3639 (minisat-inc) R 3583 3583 3433 0 -1 4194304 64328 0 0 0 314285 82 0 0 25 0 1 0 3040511 267878400 64267 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3639/statm: 65400 64267 80 151 0 65246 0
Current children cumulated CPU time (s) 3149.09
Current children cumulated vsize (KiB) 278600
[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 3669
/proc/meminfo: memFree=1155336/2055920 swapFree=4192956/4192956
[pid=3583] ppid=3581 vsize=17000 CPUtime=5.42
/proc/3583/stat : 3583 (sugar++) S 3581 3583 3433 0 -1 4194304 1584 17051 0 3 6 2 492 42 16 0 1 0 3039969 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 234054791266 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3583/statm: 4250 1149 414 3 0 829 0
[pid=3639] ppid=3583 vsize=264260 CPUtime=3203.41
/proc/3639/stat : 3639 (minisat-inc) R 3583 3583 3433 0 -1 4194304 65008 0 0 0 320258 83 0 0 25 0 1 0 3040511 270602240 64947 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3639/statm: 66065 64947 80 151 0 65911 0
Current children cumulated CPU time (s) 3208.83
Current children cumulated vsize (KiB) 281260
[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 3669
/proc/meminfo: memFree=1150152/2055920 swapFree=4192956/4192956
[pid=3583] ppid=3581 vsize=17000 CPUtime=5.42
/proc/3583/stat : 3583 (sugar++) S 3581 3583 3433 0 -1 4194304 1584 17051 0 3 6 2 492 42 16 0 1 0 3039969 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 234054791266 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3583/statm: 4250 1149 414 3 0 829 0
[pid=3639] ppid=3583 vsize=267012 CPUtime=3263.17
/proc/3639/stat : 3639 (minisat-inc) R 3583 3583 3433 0 -1 4194304 65694 0 0 0 326233 84 0 0 25 0 1 0 3040511 273420288 65633 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3639/statm: 66753 65633 80 151 0 66599 0
Current children cumulated CPU time (s) 3268.59
Current children cumulated vsize (KiB) 284012
[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 3669
/proc/meminfo: memFree=1145160/2055920 swapFree=4192956/4192956
[pid=3583] ppid=3581 vsize=17000 CPUtime=5.42
/proc/3583/stat : 3583 (sugar++) S 3581 3583 3433 0 -1 4194304 1584 17051 0 3 6 2 492 42 16 0 1 0 3039969 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 234054791266 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3583/statm: 4250 1149 414 3 0 829 0
[pid=3639] ppid=3583 vsize=269952 CPUtime=3322.92
/proc/3639/stat : 3639 (minisat-inc) R 3583 3583 3433 0 -1 4194304 66396 0 0 0 332207 85 0 0 25 0 1 0 3040511 276430848 66335 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3639/statm: 67488 66335 80 151 0 67334 0
Current children cumulated CPU time (s) 3328.34
Current children cumulated vsize (KiB) 286952
[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 3669
/proc/meminfo: memFree=1140168/2055920 swapFree=4192956/4192956
[pid=3583] ppid=3581 vsize=17000 CPUtime=5.42
/proc/3583/stat : 3583 (sugar++) S 3581 3583 3433 0 -1 4194304 1584 17051 0 3 6 2 492 42 16 0 1 0 3039969 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 234054791266 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3583/statm: 4250 1149 414 3 0 829 0
[pid=3639] ppid=3583 vsize=272612 CPUtime=3382.69
/proc/3639/stat : 3639 (minisat-inc) R 3583 3583 3433 0 -1 4194304 67071 0 0 0 338183 86 0 0 25 0 1 0 3040511 279154688 67010 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3639/statm: 68153 67010 80 151 0 67999 0
Current children cumulated CPU time (s) 3388.11
Current children cumulated vsize (KiB) 289612
[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 3669
/proc/meminfo: memFree=1135304/2055920 swapFree=4192956/4192956
[pid=3583] ppid=3581 vsize=17000 CPUtime=5.42
/proc/3583/stat : 3583 (sugar++) S 3581 3583 3433 0 -1 4194304 1584 17051 0 3 6 2 492 42 16 0 1 0 3039969 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 234054791266 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3583/statm: 4250 1149 414 3 0 829 0
[pid=3639] ppid=3583 vsize=275052 CPUtime=3442.43
/proc/3639/stat : 3639 (minisat-inc) R 3583 3583 3433 0 -1 4194304 67713 0 0 0 344157 86 0 0 25 0 1 0 3040511 281653248 67652 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3639/statm: 68763 67652 80 151 0 68609 0
Current children cumulated CPU time (s) 3447.85
Current children cumulated vsize (KiB) 292052
[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 3669
/proc/meminfo: memFree=1130760/2055920 swapFree=4192956/4192956
[pid=3583] ppid=3581 vsize=17000 CPUtime=5.42
/proc/3583/stat : 3583 (sugar++) S 3581 3583 3433 0 -1 4194304 1584 17051 0 3 6 2 492 42 16 0 1 0 3039969 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 234054791266 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3583/statm: 4250 1149 414 3 0 829 0
[pid=3639] ppid=3583 vsize=277848 CPUtime=3502.19
/proc/3639/stat : 3639 (minisat-inc) R 3583 3583 3433 0 -1 4194304 68377 0 0 0 350131 88 0 0 25 0 1 0 3040511 284516352 68316 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3639/statm: 69462 68316 80 151 0 69308 0
Current children cumulated CPU time (s) 3507.61
Current children cumulated vsize (KiB) 294848
[startup+3582.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/77 3669
/proc/meminfo: memFree=1125768/2055920 swapFree=4192956/4192956
[pid=3583] ppid=3581 vsize=17000 CPUtime=5.42
/proc/3583/stat : 3583 (sugar++) S 3581 3583 3433 0 -1 4194304 1584 17051 0 3 6 2 492 42 16 0 1 0 3039969 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 234054791266 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3583/statm: 4250 1149 414 3 0 829 0
[pid=3639] ppid=3583 vsize=280960 CPUtime=3561.95
/proc/3639/stat : 3639 (minisat-inc) R 3583 3583 3433 0 -1 4194304 69134 0 0 0 356106 89 0 0 25 0 1 0 3040511 287703040 69073 996147200 134512640 135134323 4294956192 18446744073709551615 134531900 0 0 4096 3 0 0 0 17 1 0 0
/proc/3639/statm: 70240 69073 80 151 0 70086 0
Current children cumulated CPU time (s) 3567.37
Current children cumulated vsize (KiB) 297960
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3615.1 s]
/proc/loadavg: 2.09 2.04 2.01 3/77 3669
/proc/meminfo: memFree=1123144/2055920 swapFree=4192956/4192956
[pid=3583] ppid=3581 vsize=17000 CPUtime=5.42
/proc/3583/stat : 3583 (sugar++) S 3581 3583 3433 0 -1 4194304 1584 17051 0 3 6 2 492 42 16 0 1 0 3039969 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 234054791266 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3583/statm: 4250 1149 414 3 0 829 0
[pid=3639] ppid=3583 vsize=282416 CPUtime=3594.61
/proc/3639/stat : 3639 (minisat-inc) R 3583 3583 3433 0 -1 4194304 69495 0 0 0 359371 90 0 0 25 0 1 0 3040511 289193984 69434 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3639/statm: 70604 69434 80 151 0 70450 0
Current children cumulated CPU time (s) 3600.03
Current children cumulated vsize (KiB) 299416
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+3615.1 s]
/proc/loadavg: 2.09 2.04 2.01 3/77 3669
/proc/meminfo: memFree=1123144/2055920 swapFree=4192956/4192956
[pid=3583] ppid=3581 vsize=17000 CPUtime=5.42
/proc/3583/stat : 3583 (sugar++) S 3581 3583 3433 0 -1 4194304 1584 17051 0 3 6 2 492 42 16 0 1 0 3039969 17408000 1149 996147200 4194304 4206940 548682068528 18446744073709551615 234054791266 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/3583/statm: 4250 1149 414 3 0 829 0
[pid=3639] ppid=3583 vsize=282416 CPUtime=3594.61
/proc/3639/stat : 3639 (minisat-inc) R 3583 3583 3433 0 -1 4194304 69495 0 0 0 359371 90 0 0 25 0 1 0 3040511 289193984 69434 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/3639/statm: 70604 69434 80 151 0 70450 0
Current children cumulated CPU time (s) 3600.03
Current children cumulated vsize (KiB) 299416
Child status: 0
Real time (s): 3615.17
CPU time (s): 3600.12
CPU user time (s): 3598.71
CPU system time (s): 1.41079
CPU usage (%): 99.5837
Max. virtual memory (cumulated for all children) (KiB): 890628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.71
system time used= 1.41078
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88209
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10025
involuntary context switches= 50165
runsolver used 3.63745 second user time and 9.82151 second system time
The end
Begin job on node79 at 2008-07-22 22:45:34
IDJOB=1127315
IDBENCH=63220
IDSOLVER=367
FILE ID=node79/1127315-1216759534
PBS_JOBID= 7974076
Free space on /tmp= 66564 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/maxcsp/cnf/2-80-1100-2000/normalized-cnf-2-80-1500-895349_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-1127315-1216759534/watcher-1127315-1216759534 -o /tmp/evaluation-result-1127315-1216759534/solver-1127315-1216759534 -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-1127315-1216759534.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= a87c9079bddf7deb47844668a7766b8c
RANDOM SEED=1830163376
node79.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.213
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.213
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: 1777976 kB
Buffers: 20252 kB
Cached: 200952 kB
SwapCached: 0 kB
Active: 162852 kB
Inactive: 72732 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1777976 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 1148 kB
Writeback: 0 kB
Mapped: 24096 kB
Slab: 27852 kB
Committed_AS: 52716 kB
PageTables: 1716 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66560 MiB
End job on node79 at 2008-07-22 23:45:51