0.07/1.02 c 0 Sugar++ v1-13 + HOME/minisat-inc
0.07/1.02 c 0 BEGIN Sat Jul 12 19:55:47 2008
0.07/1.02 c 0 PID 14716
0.07/1.02 c 0 HOST node60.alineos.net
0.07/1.02 c 0 CONVERTING HOME/instance-1113483-1215885346.xml TO HOME/temp.csp
0.07/1.03 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1113483-1215885346.xml' 'HOME/temp.csp'
0.62/1.70 c 1 1 domains, 144 variables, 1 predicates, 0 relations, 2596 constraints
0.62/1.74 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.62/1.74 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.63/1.82 c 1 Parsing HOME/temp.csp
0.63/2.02 c 1 parsed 2742 expressions
0.63/2.02 c 1 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.63/2.05 c 1 MAX CSP: 2596 constraints
0.63/2.05 c 1 Converting to clausal form CSP
0.63/2.14 c 1 converted 535 (10%) expressions
1.07/2.24 c 2 converted 1069 (20%) expressions
1.07/2.27 c 2 converted 1603 (30%) expressions
1.07/2.28 c 2 converted 2137 (40%) expressions
1.07/2.30 c 2 converted 2671 (50%) expressions
1.17/2.32 c 2 converted 3205 (60%) expressions
1.17/2.34 c 2 converted 3739 (70%) expressions
1.17/2.35 c 2 converted 4273 (80%) expressions
1.17/2.36 c 2 converted 4807 (90%) expressions
1.47/2.60 c 2 converted 5341 (100%) expressions
1.47/2.61 c 2 CSP : 5336 integers, 0 booleans, 7787 clauses, largest domain size 3895
1.47/2.61 c 2 Heap : 7 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.47/2.61 c 2 Propagation in CSP
1.57/2.75 c 2 2592 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.57/2.76 c 2 CSP : 5336 integers, 0 booleans, 7787 clauses, largest domain size 2597
1.57/2.76 c 2 Heap : 7 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.57/2.76 c 2 Simplifing CSP by introducing new Boolean variables
1.67/2.80 c 2 CSP : 5336 integers, 5192 booleans, 12979 clauses, largest domain size 2597
1.67/2.80 c 2 Heap : 8 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.67/2.86 c 2 Encoding CSP to SAT : HOME/temp.cnf
1.67/2.88 c 2 534 (10%) CSP integer variables are encoded (1296 clauses, 14917 bytes)
1.67/2.88 c 2 1068 (20%) CSP integer variables are encoded (1296 clauses, 14917 bytes)
1.67/2.89 c 2 1601 (30%) CSP integer variables are encoded (1296 clauses, 14917 bytes)
1.67/2.89 c 2 2135 (40%) CSP integer variables are encoded (1296 clauses, 14917 bytes)
1.67/2.89 c 2 2668 (50%) CSP integer variables are encoded (1296 clauses, 14917 bytes)
1.76/2.92 c 2 3202 (60%) CSP integer variables are encoded (24978 clauses, 358956 bytes)
1.76/2.94 c 2 3736 (70%) CSP integer variables are encoded (36515 clauses, 532011 bytes)
1.76/2.95 c 2 4269 (80%) CSP integer variables are encoded (43412 clauses, 635466 bytes)
1.76/2.96 c 2 4803 (90%) CSP integer variables are encoded (48110 clauses, 705936 bytes)
1.76/2.97 c 2 5336 (100%) CSP integer variables are encoded (54317 clauses, 799041 bytes)
1.86/3.02 c 2 1298 (10%) CSP clauses are encoded (64275 clauses, 965831 bytes)
1.86/3.06 c 2 2596 (20%) CSP clauses are encoded (74223 clauses, 1139882 bytes)
1.86/3.09 c 2 3894 (30%) CSP clauses are encoded (84171 clauses, 1314613 bytes)
1.97/3.12 c 2 5192 (40%) CSP clauses are encoded (94129 clauses, 1490437 bytes)
1.97/3.14 c 2 6490 (50%) CSP clauses are encoded (104077 clauses, 1667428 bytes)
1.97/3.17 c 2 7788 (60%) CSP clauses are encoded (114025 clauses, 1856079 bytes)
8.91/10.17 c 9 9086 (70%) CSP clauses are encoded (3545197 clauses, 73054392 bytes)
14.75/16.05 c 15 10384 (80%) CSP clauses are encoded (6932227 clauses, 145754881 bytes)
15.54/16.82 c 16 11682 (90%) CSP clauses are encoded (7365015 clauses, 154977424 bytes)
17.73/19.03 c 18 12979 (100%) CSP clauses are encoded (8644087 clauses, 182368532 bytes)
17.73/19.03 c 18 12979 CSP clauses encoded
17.73/19.03 c 18 Writing map file : HOME/temp.map
17.73/19.08 c 18 Heap : 6 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
17.73/19.08 c 18 SAT : 64845 SAT variables, 8644087 SAT clauses, 182368532 bytes
17.73/19.08 c 18 Heap : 6 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
17.81/19.15 c 18 OBJECTIVE minimize _COST
17.81/19.15 c 18 SOLVING HOME/temp.cnf
17.81/19.15 c 18 CMD HOME/minisat-inc -incremental HOME/temp.cnf HOME/temp.out
17.83/19.21 c 19 This is MiniSat 2.0 beta incremental
17.83/19.21 c 19 WARNING: for repeatability, setting FPU to use double precision
17.83/19.21 c 19 ============================[ Problem Statistics ]=============================
17.83/19.21 c 19 | |
17.83/19.21 c 19 | Number of variables: 64845 |
17.83/19.21 c 19 | Number of clauses: 8644087 |
21.38/22.88 c 22 | Parsing time: 3.13 s |
21.58/23.06 c 22 OK
21.58/23.06 c 22 OBJECTIVE BOUND: 0 <= _COST <=
21.58/23.06 c 22 SEARCHING: _COST <= 1298
21.58/23.06 c 22 ============================[ Search Statistics ]==============================
21.58/23.06 c 22 | Conflicts | ORIGINAL | LEARNT | Progress |
21.58/23.06 c 22 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
21.58/23.06 c 22 ===============================================================================
21.58/23.06 c 22 | 0 | 64845 8644087 25758922 | 2881362 0 nan | 0.000 % |
22.48/23.95 c 23 | 101 | 64845 8644087 25758922 | 3169498 101 94 | 0.000 % |
22.97/24.45 c 24 ===============================================================================
22.97/24.45 c 24 restarts : 2
22.97/24.45 c 24 conflicts : 152 (33 /sec)
22.97/24.45 c 24 decisions : 3759 (0.64 % random) (809 /sec)
22.97/24.45 c 24 propagations : 262866 (56551 /sec)
22.97/24.45 c 24 conflict literals : 11253 (2.16 % deleted)
22.97/24.45 c 24 Memory used : 359.91 MB
22.97/24.45 c 24 CPU time : 4.64829 s
22.97/24.45 c 24
22.97/24.45 c 24 SATISFIABLE
22.97/24.47 c 24 OK
22.97/24.47 c 24 FOUND: _COST <= 1298
22.97/24.47 s SATISFIABLE
22.97/24.47 c 24 DECODING HOME/temp.out WITH HOME/temp.map
22.97/24.47 c 24 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
23.04/24.56 c 24 Decoding HOME/temp.out
23.04/24.79 c 24 OBJECTIVE _COST 905
23.04/24.79 o 905
23.04/24.80 v 10 9 2 1 9 10 1 10 0 10 7 5 10 10 9 3 10 8 9 10 9 1 2 6 8 2 10 10 10 10 9 5 9 10 4 0 10 10 10 10 9 10 10 8 9 10 9 9 10 10 10 10 10 6 5 4 3 6 9 8 6 5 4 5 3 7 8 10 2 10 10 10 9 8 8 9 6 6 7 7 8 9 1 10 5 6 7 9 8 10 8 10 2 7 6 4 7 1 3 4 5 10 10 6 6 0 3 2 2 4 10 6 3 10 0 10 5 2 8 9 0 3 8 2 7 1 4 9 1 3 5 1 1 8 5 0 4 2 2 6 1 10 7 7
23.04/24.80 c 24 Heap : 1 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
23.37/24.90 c 24 OK
23.37/24.90 c 24 OBJECTIVE BOUND: 0 <= _COST <= 905
23.37/24.90 c 24 SEARCHING: _COST <= 452
23.37/24.90 c 24 ============================[ Search Statistics ]==============================
23.37/24.90 c 24 | Conflicts | ORIGINAL | LEARNT | Progress |
23.37/24.90 c 24 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
23.37/24.90 c 24 ===============================================================================
23.37/24.90 c 24 | 152 | 64845 8644087 25758922 | 2881362 152 74 | 0.000 % |
23.67/25.24 c 25 ===============================================================================
23.67/25.24 c 25 restarts : 3
23.67/25.24 c 25 conflicts : 194 (39 /sec)
23.67/25.24 c 25 decisions : 5087 (0.51 % random) (1015 /sec)
23.67/25.24 c 25 propagations : 352465 (70349 /sec)
23.67/25.24 c 25 conflict literals : 14992 (2.33 % deleted)
23.67/25.24 c 25 Memory used : 361.59 MB
23.67/25.24 c 25 CPU time : 5.01024 s
23.67/25.24 c 25
23.67/25.24 c 25 SATISFIABLE
23.67/25.26 c 25 OK
23.67/25.26 c 25 FOUND: _COST <= 452
23.67/25.26 c 25 DECODING HOME/temp.out WITH HOME/temp.map
23.67/25.26 c 25 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
23.74/25.36 c 25 Decoding HOME/temp.out
24.03/25.60 c 25 OBJECTIVE _COST 452
24.03/25.60 o 452
24.03/25.61 v 10 9 4 6 10 1 0 5 7 9 3 4 10 6 10 5 0 7 8 4 10 2 0 1 1 2 6 10 4 8 5 6 9 8 3 7 9 8 8 6 7 10 9 7 9 6 1 8 7 10 9 9 9 2 3 3 4 5 8 7 4 2 2 3 3 5 6 8 0 7 9 10 3 6 4 4 6 7 8 9 9 10 5 10 5 6 7 8 9 10 9 10 5 1 7 3 8 8 10 5 5 0 4 1 3 3 2 6 8 1 2 9 4 3 6 2 8 4 0 0 8 5 3 6 2 9 7 0 10 6 7 6 4 0 3 1 8 4 2 7 1 2 10 5
24.03/25.61 c 25 Heap : 1 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
24.07/25.71 c 25 OK
24.07/25.71 c 25 OBJECTIVE BOUND: 0 <= _COST <= 452
24.07/25.71 c 25 SEARCHING: _COST <= 226
24.07/25.71 c 25 ============================[ Search Statistics ]==============================
24.07/25.71 c 25 | Conflicts | ORIGINAL | LEARNT | Progress |
24.07/25.71 c 25 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
24.07/25.71 c 25 ===============================================================================
24.07/25.71 c 25 | 194 | 44160 8644087 25758922 | 2881362 194 77 | 0.000 % |
24.37/26.02 c 25 ===============================================================================
24.37/26.02 c 25 restarts : 4
24.37/26.02 c 25 conflicts : 251 (47 /sec)
24.37/26.02 c 25 decisions : 5817 (0.55 % random) (1084 /sec)
24.37/26.02 c 25 propagations : 435747 (81202 /sec)
24.37/26.02 c 25 conflict literals : 19068 (2.01 % deleted)
24.37/26.02 c 25 Memory used : 363.02 MB
24.37/26.02 c 25 CPU time : 5.36618 s
24.37/26.02 c 25
24.37/26.02 c 25 SATISFIABLE
24.37/26.05 c 25 OK
24.37/26.05 c 25 FOUND: _COST <= 226
24.37/26.05 c 25 DECODING HOME/temp.out WITH HOME/temp.map
24.37/26.05 c 25 CMD java -Xmx50M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
24.41/26.16 c 25 Decoding HOME/temp.out
24.41/26.39 c 26 OBJECTIVE _COST 226
24.41/26.39 o 226
24.41/26.40 v 3 9 10 0 3 8 2 6 9 1 5 7 2 8 7 5 7 8 9 4 1 4 2 10 9 2 0 6 10 1 6 7 2 8 3 8 10 9 1 10 2 2 4 6 3 8 5 0 1 0 3 10 4 6 7 5 4 9 6 9 5 4 8 7 9 0 10 9 6 10 1 3 6 1 5 3 8 0 5 0 3 2 9 4 7 8 10 9 1 1 3 2 5 6 10 5 7 2 9 8 10 4 8 5 10 3 7 6 8 10 4 9 9 7 6 2 7 6 8 0 4 6 2 10 5 3 8 1 0 7 9 1 9 7 7 8 6 10 0 8 1 5 4 6
24.71/26.40 c 26 Heap : 1 MB used (max 52 MB), NonHeap : 13 MB used (max 121 MB)
24.71/26.48 c 26 OK
24.71/26.48 c 26 OBJECTIVE BOUND: 0 <= _COST <= 226
24.71/26.48 c 26 SEARCHING: _COST <= 113
24.71/26.50 c 26 ============================[ Search Statistics ]==============================
24.71/26.50 c 26 | Conflicts | ORIGINAL | LEARNT | Progress |
24.71/26.50 c 26 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
24.71/26.50 c 26 ===============================================================================
24.71/26.50 c 26 | 251 | 37680 8644087 25758922 | 2881362 251 76 | 0.000 % |
24.87/26.69 c 26 | 353 | 37680 8644087 25758922 | 3169498 353 69 | 48.533 % |
25.07/26.87 c 26 | 504 | 37680 8644087 25758922 | 3486448 504 62 | 48.533 % |
25.27/27.04 c 26 | 730 | 37680 8644087 25758922 | 3835093 730 47 | 48.533 % |
25.47/27.24 c 27 | 1067 | 37680 8644087 25758922 | 4218602 1067 39 | 48.533 % |
25.77/27.58 c 27 | 1576 | 37680 8644087 25758922 | 4640462 1576 59 | 48.533 % |
25.97/27.80 c 27 | 2336 | 37680 8644087 25758922 | 5104509 2336 47 | 48.533 % |
26.36/28.10 c 27 | 3476 | 37680 8644087 25758922 | 5614960 3476 47 | 48.533 % |
26.66/28.48 c 28 | 5186 | 37680 8644087 25758922 | 6176456 5186 47 | 48.533 % |
27.06/28.88 c 28 | 7748 | 37680 8644087 25758922 | 6794101 7748 43 | 48.533 % |
27.86/29.62 c 29 | 11592 | 37680 8644087 25758922 | 7473511 11592 48 | 48.533 % |
28.45/30.28 c 30 | 17358 | 37680 8644087 25758922 | 8220863 17358 40 | 48.533 % |
30.25/32.08 c 31 | 26007 | 37680 8644087 25758922 | 9042949 26007 40 | 48.533 % |
33.54/35.32 c 35 | 38983 | 37680 8644087 25758922 | 9947244 38983 48 | 48.533 % |
45.67/47.55 c 47 | 58445 | 37680 8644087 25758922 | 10941968 58445 71 | 48.533 % |
79.60/81.64 c 81 | 87638 | 37680 8644087 25758922 | 12036165 87638 109 | 48.533 % |
117.32/119.51 c 119 | 131428 | 33374 1456272 4287520 | 13239782 131416 97 | 48.533 % |
255.51/258.53 c 258 | 197112 | 33374 1456272 4287520 | 14563760 197100 173 | 48.533 % |
477.30/481.44 c 481 | 295639 | 33374 1456272 4287520 | 16020136 295627 174 | 48.533 % |
921.02/927.39 c 927 | 443429 | 33374 1456272 4287520 | 17622149 443417 183 | 48.533 % |
1363.74/1372.29 c 1372 | 665115 | 33374 1456272 4287520 | 19384364 665103 163 | 48.533 % |
2605.95/2620.55 c 2620 | 997640 | 33374 1456272 4287520 | 21322801 997628 158 | 48.533 % |
2944.60/2960.81 c ERROR INTERRUPTED
2944.81/2961.04 c 2960 CPU 2941.11 (0.08 0.04 2941.03 3.6)
2944.81/2961.04 c 2960 END Sat Jul 12 20:45:07 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-1113483-1215885346/watcher-1113483-1215885346 -o /tmp/evaluation-result-1113483-1215885346/solver-1113483-1215885346 -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-1113483-1215885346.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.78 2.57 2.54 5/80 14716
/proc/meminfo: memFree=1856600/2055920 swapFree=4192812/4192956
[pid=14716] ppid=14714 vsize=12268 CPUtime=0
/proc/14716/stat : 14716 (sugar++) R 14714 14716 13965 0 -1 4194304 348 0 0 0 0 0 0 0 21 0 1 0 45232958 12562432 316 996147200 4194304 4206940 548682068528 18446744073709551615 271894411877 0 2147483391 4224 0 0 0 0 17 0 0 0
/proc/14716/statm: 3067 316 241 3 0 167 0
[startup+0.106575 s]
/proc/loadavg: 2.78 2.57 2.54 5/80 14716
/proc/meminfo: memFree=1856600/2055920 swapFree=4192812/4192956
[pid=14716] ppid=14714 vsize=13336 CPUtime=0.02
/proc/14716/stat : 14716 (sugar++) R 14714 14716 13965 0 -1 4194304 724 0 0 0 2 0 0 0 18 0 1 0 45232958 13656064 692 996147200 4194304 4206940 548682068528 18446744073709551615 271912594665 0 0 4224 0 0 0 0 17 1 0 0
/proc/14716/statm: 3334 692 338 3 0 434 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13336
[startup+0.201591 s]
/proc/loadavg: 2.78 2.57 2.54 5/80 14716
/proc/meminfo: memFree=1856600/2055920 swapFree=4192812/4192956
[pid=14716] ppid=14714 vsize=13336 CPUtime=0.03
/proc/14716/stat : 14716 (sugar++) R 14714 14716 13965 0 -1 4194304 736 0 0 0 2 1 0 0 18 0 1 0 45232958 13656064 704 996147200 4194304 4206940 548682068528 18446744073709551615 271894411877 0 0 4224 0 0 0 0 17 1 0 0
/proc/14716/statm: 3334 704 338 3 0 434 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13336
[startup+0.301611 s]
/proc/loadavg: 2.78 2.57 2.54 5/80 14716
/proc/meminfo: memFree=1856600/2055920 swapFree=4192812/4192956
[pid=14716] ppid=14714 vsize=13468 CPUtime=0.04
/proc/14716/stat : 14716 (sugar++) R 14714 14716 13965 0 -1 4194304 754 0 0 0 3 1 0 0 18 0 1 0 45232958 13791232 722 996147200 4194304 4206940 548682068528 18446744073709551615 271894090465 0 0 4224 0 0 0 0 17 1 0 0
/proc/14716/statm: 3367 722 338 3 0 467 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13468
[startup+0.701683 s]
/proc/loadavg: 2.78 2.57 2.54 5/80 14716
/proc/meminfo: memFree=1856600/2055920 swapFree=4192812/4192956
[pid=14716] ppid=14714 vsize=15948 CPUtime=0.06
/proc/14716/stat : 14716 (sugar++) R 14714 14716 13965 0 -1 4194304 911 0 2 0 4 2 0 0 18 0 1 0 45232958 16330752 881 996147200 4194304 4206940 548682068528 18446744073709551615 271912570691 0 0 4224 0 0 0 0 17 0 0 0
/proc/14716/statm: 3987 881 380 3 0 566 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15948
[startup+1.50182 s]
/proc/loadavg: 2.78 2.57 2.54 3/83 14720
/proc/meminfo: memFree=1853248/2055920 swapFree=4192812/4192956
[pid=14716] ppid=14714 vsize=16740 CPUtime=0.09
/proc/14716/stat : 14716 (sugar++) S 14714 14716 13965 0 -1 4194304 1217 128 2 0 6 3 0 0 18 0 1 0 45232958 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14716/statm: 4185 1104 409 3 0 764 0
[pid=14719] ppid=14716 vsize=5356 CPUtime=0
/proc/14719/stat : 14719 (sh) S 14716 14716 13965 0 -1 4194304 277 0 0 0 0 0 0 0 20 0 1 0 45233061 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14719/statm: 1339 233 193 169 0 50 0
[pid=14720] ppid=14719 vsize=864528 CPUtime=0.32
/proc/14720/stat : 14720 (java) S 14719 14716 13965 0 -1 0 4037 0 1 0 30 2 0 0 21 0 9 0 45233061 885276672 3510 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14720/statm: 216132 3510 1718 9 0 210714 0
[pid=14720/tid=14721] ppid=14719 vsize=864528 CPUtime=0.23
/proc/14720/task/14721/stat : 14721 (java) R 14719 14716 13965 0 -1 64 2677 0 1 0 22 1 0 0 19 0 9 0 45233068 885276672 3510 996147200 134512640 134550740 4294956000 18446744073709551615 4125960198 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 886624
[startup+3.10211 s]
/proc/loadavg: 2.78 2.57 2.54 3/91 14738
/proc/meminfo: memFree=1841216/2055920 swapFree=4192812/4192956
[pid=14716] ppid=14714 vsize=16740 CPUtime=0.64
/proc/14716/stat : 14716 (sugar++) S 14714 14716 13965 0 -1 4194304 1295 5293 2 1 6 4 50 4 15 0 1 0 45232958 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14716/statm: 4185 1104 409 3 0 764 0
[pid=14729] ppid=14716 vsize=5356 CPUtime=0
/proc/14729/stat : 14729 (sh) S 14716 14716 13965 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 45233132 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14729/statm: 1339 233 193 169 0 50 0
[pid=14730] ppid=14729 vsize=868508 CPUtime=1.33
/proc/14730/stat : 14730 (java) S 14729 14716 13965 0 -1 0 8346 0 1 0 128 5 0 0 20 0 9 0 45233133 889352192 7485 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14730/statm: 217127 7485 2564 9 0 211674 0
[pid=14730/tid=14731] ppid=14729 vsize=868508 CPUtime=0.82
/proc/14730/task/14731/stat : 14731 (java) R 14729 14716 13965 0 -1 64 2794 0 1 0 80 2 0 0 25 0 9 0 45233134 889352192 7485 996147200 134512640 134550740 4294955920 18446744073709551615 4127014816 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14730/tid=14732] ppid=14729 vsize=868508 CPUtime=0.23
/proc/14730/task/14732/stat : 14732 (java) S 14729 14716 13965 0 -1 64 3352 0 0 0 22 1 0 0 16 0 9 0 45233135 889352192 7485 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14730/tid=14733] ppid=14729 vsize=868508 CPUtime=0
/proc/14730/task/14733/stat : 14733 (java) S 14729 14716 13965 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 45233135 889352192 7485 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14730/tid=14734] ppid=14729 vsize=868508 CPUtime=0
/proc/14730/task/14734/stat : 14734 (java) S 14729 14716 13965 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 45233135 889352192 7485 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14730/tid=14735] ppid=14729 vsize=868508 CPUtime=0
/proc/14730/task/14735/stat : 14735 (java) S 14729 14716 13965 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 45233137 889352192 7485 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14730/tid=14736] ppid=14729 vsize=868508 CPUtime=0.23
/proc/14730/task/14736/stat : 14736 (java) S 14729 14716 13965 0 -1 64 1507 0 0 0 23 0 0 0 16 0 9 0 45233137 889352192 7485 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14730/tid=14737] ppid=14729 vsize=868508 CPUtime=0
/proc/14730/task/14737/stat : 14737 (java) S 14729 14716 13965 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 45233137 889352192 7485 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14730/tid=14738] ppid=14729 vsize=868508 CPUtime=0
/proc/14730/task/14738/stat : 14738 (java) S 14729 14716 13965 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 45233137 889352192 7485 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 890604
[startup+6.30268 s]
/proc/loadavg: 2.88 2.59 2.55 3/91 14738
/proc/meminfo: memFree=1817600/2055920 swapFree=4192812/4192956
[pid=14716] ppid=14714 vsize=16740 CPUtime=0.64
/proc/14716/stat : 14716 (sugar++) S 14714 14716 13965 0 -1 4194304 1295 5293 2 1 6 4 50 4 15 0 1 0 45232958 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14716/statm: 4185 1104 409 3 0 764 0
[pid=14729] ppid=14716 vsize=5356 CPUtime=0
/proc/14729/stat : 14729 (sh) S 14716 14716 13965 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 45233132 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14729/statm: 1339 233 193 169 0 50 0
[pid=14730] ppid=14729 vsize=868508 CPUtime=4.5
/proc/14730/stat : 14730 (java) S 14729 14716 13965 0 -1 0 9129 0 1 0 427 23 0 0 20 0 9 0 45233133 889352192 7492 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14730/statm: 217127 7492 2564 9 0 211674 0
[pid=14730/tid=14731] ppid=14729 vsize=868508 CPUtime=3.83
/proc/14730/task/14731/stat : 14731 (java) R 14729 14716 13965 0 -1 64 3570 0 1 0 367 16 0 0 25 0 9 0 45233134 889352192 7492 996147200 134512640 134550740 4294955920 18446744073709551615 4126552149 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14730/tid=14732] ppid=14729 vsize=868508 CPUtime=0.4
/proc/14730/task/14732/stat : 14732 (java) S 14729 14716 13965 0 -1 64 3352 0 0 0 35 5 0 0 16 0 9 0 45233135 889352192 7492 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14730/tid=14733] ppid=14729 vsize=868508 CPUtime=0
/proc/14730/task/14733/stat : 14733 (java) S 14729 14716 13965 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 45233135 889352192 7492 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14730/tid=14734] ppid=14729 vsize=868508 CPUtime=0
/proc/14730/task/14734/stat : 14734 (java) S 14729 14716 13965 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 45233135 889352192 7492 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14730/tid=14735] ppid=14729 vsize=868508 CPUtime=0
/proc/14730/task/14735/stat : 14735 (java) S 14729 14716 13965 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 45233137 889352192 7492 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14730/tid=14736] ppid=14729 vsize=868508 CPUtime=0.24
/proc/14730/task/14736/stat : 14736 (java) S 14729 14716 13965 0 -1 64 1514 0 0 0 24 0 0 0 16 0 9 0 45233137 889352192 7492 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14730/tid=14737] ppid=14729 vsize=868508 CPUtime=0
/proc/14730/task/14737/stat : 14737 (java) S 14729 14716 13965 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 45233137 889352192 7492 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14730/tid=14738] ppid=14729 vsize=868508 CPUtime=0
/proc/14730/task/14738/stat : 14738 (java) S 14729 14716 13965 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 45233137 889352192 7492 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.14
Current children cumulated vsize (KiB) 890604
[startup+12.7028 s]
/proc/loadavg: 2.97 2.61 2.55 4/91 14738
/proc/meminfo: memFree=1737600/2055920 swapFree=4192812/4192956
[pid=14716] ppid=14714 vsize=16740 CPUtime=0.64
/proc/14716/stat : 14716 (sugar++) S 14714 14716 13965 0 -1 4194304 1295 5293 2 1 6 4 50 4 16 0 1 0 45232958 17141760 1104 996147200 4194304 4206940 548682068528 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14716/statm: 4185 1104 409 3 0 764 0
[pid=14729] ppid=14716 vsize=5356 CPUtime=0
/proc/14729/stat : 14729 (sh) S 14716 14716 13965 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 45233132 5484544 233 996147200 4194304 4889804 548682068688 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14729/statm: 1339 233 193 169 0 50 0
[pid=14730] ppid=14729 vsize=868508 CPUtime=10.85
/proc/14730/stat : 14730 (java) S 14729 14716 13965 0 -1 0 11277 0 1 0 1003 82 0 0 20 0 9 0 45233133 889352192 7492 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14730/statm: 217127 7492 2564 9 0 211674 0
[pid=14730/tid=14731] ppid=14729 vsize=868508 CPUtime=9.67
/proc/14730/task/14731/stat : 14731 (java) R 14729 14716 13965 0 -1 64 5718 0 1 0 904 63 0 0 25 0 9 0 45233134 889352192 7492 996147200 134512640 134550740 4294955920 18446744073709551615 4127013465 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14730/tid=14732] ppid=14729 vsize=868508 CPUtime=0.91
/proc/14730/task/14732/stat : 14732 (java) S 14729 14716 13965 0 -1 64 3352 0 0 0 74 17 0 0 16 0 9 0 45233135 889352192 7492 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14730/tid=14733] ppid=14729 vsize=868508 CPUtime=0
/proc/14730/task/14733/stat : 14733 (java) S 14729 14716 13965 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 45233135 889352192 7492 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14730/tid=14734] ppid=14729 vsize=868508 CPUtime=0
/proc/14730/task/14734/stat : 14734 (java) S 14729 14716 13965 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 45233135 889352192 7492 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14730/tid=14735] ppid=14729 vsize=868508 CPUtime=0
/proc/14730/task/14735/stat : 14735 (java) S 14729 14716 13965 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 45233137 889352192 7492 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14730/tid=14736] ppid=14729 vsize=868508 CPUtime=0.24
/proc/14730/task/14736/stat : 14736 (java) S 14729 14716 13965 0 -1 64 1514 0 0 0 24 0 0 0 16 0 9 0 45233137 889352192 7492 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14730/tid=14737] ppid=14729 vsize=868508 CPUtime=0
/proc/14730/task/14737/stat : 14737 (java) S 14729 14716 13965 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 45233137 889352192 7492 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14730/tid=14738] ppid=14729 vsize=868508 CPUtime=0
/proc/14730/task/14738/stat : 14738 (java) S 14729 14716 13965 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 45233137 889352192 7492 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.49
Current children cumulated vsize (KiB) 890604
[startup+25.5011 s]
/proc/loadavg: 3.12 2.66 2.57 3/84 14751
/proc/meminfo: memFree=1314800/2055920 swapFree=4192812/4192956
[pid=14716] ppid=14714 vsize=17136 CPUtime=18.16
/proc/14716/stat : 14716 (sugar++) S 14714 14716 13965 0 -1 4194304 1671 22999 5 3 8 4 1661 143 15 0 1 0 45232958 17547264 1191 996147200 4194304 4206940 548682068528 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/14716/statm: 4284 1191 414 3 0 863 0
[pid=14739] ppid=14716 vsize=370264 CPUtime=5.58
/proc/14739/stat : 14739 (minisat-inc) S 14716 14716 13965 0 -1 4194304 89008 0 0 0 502 56 0 0 25 0 1 0 45234877 379150336 88953 996147200 134512640 135134323 4294956192 18446744073709551615 134725182 0 0 4096 3 18446744071563648864 0 0 17 0 0 0
/proc/14739/statm: 92566 88953 80 151 0 92412 0
[pid=14750] ppid=14716 vsize=5356 CPUtime=0
/proc/14750/stat : 14750 (sh) S 14716 14716 13965 0 -1 4194304 278 0 0 0 0 0 0 0 17 0 1 0 45235484 5484544 233 996147200 4194304 4889804 548682068752 18446744073709551615 271894242116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14750/statm: 1339 233 193 169 0 50 0
[pid=14751] ppid=14750 vsize=195944 CPUtime=0.19
/proc/14751/stat : 14751 (java) S 14750 14716 13965 0 -1 0 3566 0 1 0 18 1 0 0 18 0 9 0 45235485 200646656 3041 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14751/statm: 48986 3041 1653 9 0 43568 0
[pid=14751/tid=14752] ppid=14750 vsize=195944 CPUtime=0.13
/proc/14751/task/14752/stat : 14752 (java) R 14750 14716 13965 0 -1 64 2440 0 1 0 12 1 0 0 25 0 9 0 45235488 200646656 3041 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 23.93
Current children cumulated vsize (KiB) 588700
[startup+51.1017 s]
/proc/loadavg: 2.89 2.64 2.56 3/82 14769
/proc/meminfo: memFree=1295816/2055920 swapFree=4192812/4192956
[pid=14716] ppid=14714 vsize=17136 CPUtime=18.79
/proc/14716/stat : 14716 (sugar++) S 14714 14716 13965 0 -1 4194304 1758 31024 5 5 8 4 1718 149 16 0 1 0 45232958 17547264 1191 996147200 4194304 4206940 548682068528 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14716/statm: 4284 1191 414 3 0 863 0
[pid=14739] ppid=14716 vsize=391300 CPUtime=30.46
/proc/14739/stat : 14739 (minisat-inc) R 14716 14716 13965 0 -1 4194304 94248 0 0 0 2986 60 0 0 25 0 1 0 45234877 400691200 94191 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14739/statm: 97825 94191 80 151 0 97671 0
Current children cumulated CPU time (s) 49.25
Current children cumulated vsize (KiB) 408436
[startup+102.302 s]
/proc/loadavg: 2.64 2.62 2.56 3/82 14769
################
# More data... #
################
[pid=14716] ppid=14714 vsize=17136 CPUtime=18.79
/proc/14716/stat : 14716 (sugar++) S 14714 14716 13965 0 -1 4194304 1758 31024 5 5 8 4 1718 149 16 0 1 0 45232958 17547264 1191 996147200 4194304 4206940 548682068528 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14716/statm: 4284 1191 414 3 0 863 0
[pid=14739] ppid=14716 vsize=811640 CPUtime=2290.42
/proc/14739/stat : 14739 (minisat-inc) R 14716 14716 13965 0 -1 4194304 198948 0 0 0 228868 174 0 0 25 0 1 0 45234877 831119360 198891 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14739/statm: 202910 198891 80 151 0 202756 0
Current children cumulated CPU time (s) 2309.21
Current children cumulated vsize (KiB) 828776
[startup+2382.3 s]
/proc/loadavg: 2.67 2.65 2.63 3/82 14777
/proc/meminfo: memFree=865608/2055920 swapFree=4192812/4192956
[pid=14716] ppid=14714 vsize=17136 CPUtime=18.79
/proc/14716/stat : 14716 (sugar++) S 14714 14716 13965 0 -1 4194304 1758 31024 5 5 8 4 1718 149 16 0 1 0 45232958 17547264 1191 996147200 4194304 4206940 548682068528 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14716/statm: 4284 1191 414 3 0 863 0
[pid=14739] ppid=14716 vsize=819760 CPUtime=2350.13
/proc/14739/stat : 14739 (minisat-inc) R 14716 14716 13965 0 -1 4194304 200957 0 0 0 234837 176 0 0 25 0 1 0 45234877 839434240 200900 996147200 134512640 135134323 4294956192 18446744073709551615 134531891 0 0 4096 3 0 0 0 17 1 0 0
/proc/14739/statm: 204940 200900 80 151 0 204786 0
Current children cumulated CPU time (s) 2368.92
Current children cumulated vsize (KiB) 836896
[startup+2442.3 s]
/proc/loadavg: 2.49 2.61 2.62 3/82 14777
/proc/meminfo: memFree=857032/2055920 swapFree=4192812/4192956
[pid=14716] ppid=14714 vsize=17136 CPUtime=18.79
/proc/14716/stat : 14716 (sugar++) S 14714 14716 13965 0 -1 4194304 1758 31024 5 5 8 4 1718 149 16 0 1 0 45232958 17547264 1191 996147200 4194304 4206940 548682068528 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14716/statm: 4284 1191 414 3 0 863 0
[pid=14739] ppid=14716 vsize=828116 CPUtime=2409.83
/proc/14739/stat : 14739 (minisat-inc) R 14716 14716 13965 0 -1 4194304 203069 0 0 0 240805 178 0 0 25 0 1 0 45234877 847990784 203012 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14739/statm: 207029 203012 80 151 0 206875 0
Current children cumulated CPU time (s) 2428.62
Current children cumulated vsize (KiB) 845252
[startup+2502.3 s]
/proc/loadavg: 2.47 2.58 2.61 3/82 14777
/proc/meminfo: memFree=848776/2055920 swapFree=4192812/4192956
[pid=14716] ppid=14714 vsize=17136 CPUtime=18.79
/proc/14716/stat : 14716 (sugar++) S 14714 14716 13965 0 -1 4194304 1758 31024 5 5 8 4 1718 149 16 0 1 0 45232958 17547264 1191 996147200 4194304 4206940 548682068528 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14716/statm: 4284 1191 414 3 0 863 0
[pid=14739] ppid=14716 vsize=836284 CPUtime=2469.54
/proc/14739/stat : 14739 (minisat-inc) R 14716 14716 13965 0 -1 4194304 205154 0 0 0 246774 180 0 0 25 0 1 0 45234877 856354816 205097 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14739/statm: 209071 205097 80 151 0 208917 0
Current children cumulated CPU time (s) 2488.33
Current children cumulated vsize (KiB) 853420
[startup+2562.3 s]
/proc/loadavg: 2.57 2.59 2.61 3/82 14777
/proc/meminfo: memFree=838920/2055920 swapFree=4192812/4192956
[pid=14716] ppid=14714 vsize=17136 CPUtime=18.79
/proc/14716/stat : 14716 (sugar++) S 14714 14716 13965 0 -1 4194304 1758 31024 5 5 8 4 1718 149 16 0 1 0 45232958 17547264 1191 996147200 4194304 4206940 548682068528 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14716/statm: 4284 1191 414 3 0 863 0
[pid=14739] ppid=14716 vsize=846044 CPUtime=2529.25
/proc/14739/stat : 14739 (minisat-inc) R 14716 14716 13965 0 -1 4194304 207580 0 0 0 252743 182 0 0 25 0 1 0 45234877 866349056 207523 996147200 134512640 135134323 4294956192 18446744073709551615 134708315 0 0 4096 3 0 0 0 17 1 0 0
/proc/14739/statm: 211511 207523 80 151 0 211357 0
Current children cumulated CPU time (s) 2548.04
Current children cumulated vsize (KiB) 863180
[startup+2622.3 s]
/proc/loadavg: 2.56 2.59 2.61 3/82 14777
/proc/meminfo: memFree=827528/2055920 swapFree=4192812/4192956
[pid=14716] ppid=14714 vsize=17136 CPUtime=18.79
/proc/14716/stat : 14716 (sugar++) S 14714 14716 13965 0 -1 4194304 1758 31024 5 5 8 4 1718 149 16 0 1 0 45232958 17547264 1191 996147200 4194304 4206940 548682068528 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14716/statm: 4284 1191 414 3 0 863 0
[pid=14739] ppid=14716 vsize=857440 CPUtime=2588.96
/proc/14739/stat : 14739 (minisat-inc) R 14716 14716 13965 0 -1 4194304 210420 0 0 0 258710 186 0 0 25 0 1 0 45234877 878018560 210363 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14739/statm: 214360 210363 80 151 0 214206 0
Current children cumulated CPU time (s) 2607.75
Current children cumulated vsize (KiB) 874576
[startup+2682.3 s]
/proc/loadavg: 2.41 2.53 2.58 3/82 14777
/proc/meminfo: memFree=817608/2055920 swapFree=4192812/4192956
[pid=14716] ppid=14714 vsize=17136 CPUtime=18.79
/proc/14716/stat : 14716 (sugar++) S 14714 14716 13965 0 -1 4194304 1758 31024 5 5 8 4 1718 149 16 0 1 0 45232958 17547264 1191 996147200 4194304 4206940 548682068528 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14716/statm: 4284 1191 414 3 0 863 0
[pid=14739] ppid=14716 vsize=867276 CPUtime=2648.66
/proc/14739/stat : 14739 (minisat-inc) R 14716 14716 13965 0 -1 4194304 212881 0 0 0 264678 188 0 0 25 0 1 0 45234877 888090624 212824 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14739/statm: 216819 212824 80 151 0 216665 0
Current children cumulated CPU time (s) 2667.45
Current children cumulated vsize (KiB) 884412
[startup+2742.3 s]
/proc/loadavg: 2.63 2.57 2.59 3/82 14777
/proc/meminfo: memFree=809288/2055920 swapFree=4192812/4192956
[pid=14716] ppid=14714 vsize=17136 CPUtime=18.79
/proc/14716/stat : 14716 (sugar++) S 14714 14716 13965 0 -1 4194304 1758 31024 5 5 8 4 1718 149 16 0 1 0 45232958 17547264 1191 996147200 4194304 4206940 548682068528 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14716/statm: 4284 1191 414 3 0 863 0
[pid=14739] ppid=14716 vsize=875336 CPUtime=2708.38
/proc/14739/stat : 14739 (minisat-inc) R 14716 14716 13965 0 -1 4194304 214906 0 0 0 270647 191 0 0 25 0 1 0 45234877 896344064 214849 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14739/statm: 218834 214849 80 151 0 218680 0
Current children cumulated CPU time (s) 2727.17
Current children cumulated vsize (KiB) 892472
[startup+2802.3 s]
/proc/loadavg: 2.70 2.60 2.60 3/82 14777
/proc/meminfo: memFree=801864/2055920 swapFree=4192812/4192956
[pid=14716] ppid=14714 vsize=17136 CPUtime=18.79
/proc/14716/stat : 14716 (sugar++) S 14714 14716 13965 0 -1 4194304 1758 31024 5 5 8 4 1718 149 16 0 1 0 45232958 17547264 1191 996147200 4194304 4206940 548682068528 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14716/statm: 4284 1191 414 3 0 863 0
[pid=14739] ppid=14716 vsize=882768 CPUtime=2768.07
/proc/14739/stat : 14739 (minisat-inc) R 14716 14716 13965 0 -1 4194304 216781 0 0 0 276615 192 0 0 25 0 1 0 45234877 903954432 216724 996147200 134512640 135134323 4294956192 18446744073709551615 134529106 0 0 4096 3 0 0 0 17 1 0 0
/proc/14739/statm: 220692 216724 80 151 0 220538 0
Current children cumulated CPU time (s) 2786.86
Current children cumulated vsize (KiB) 899904
[startup+2862.31 s]
/proc/loadavg: 2.58 2.58 2.59 3/82 14777
/proc/meminfo: memFree=794440/2055920 swapFree=4192812/4192956
[pid=14716] ppid=14714 vsize=17136 CPUtime=18.79
/proc/14716/stat : 14716 (sugar++) S 14714 14716 13965 0 -1 4194304 1758 31024 5 5 8 4 1718 149 16 0 1 0 45232958 17547264 1191 996147200 4194304 4206940 548682068528 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14716/statm: 4284 1191 414 3 0 863 0
[pid=14739] ppid=14716 vsize=890052 CPUtime=2827.78
/proc/14739/stat : 14739 (minisat-inc) R 14716 14716 13965 0 -1 4194304 218609 0 0 0 282584 194 0 0 25 0 1 0 45234877 911413248 218552 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14739/statm: 222513 218552 80 151 0 222359 0
Current children cumulated CPU time (s) 2846.57
Current children cumulated vsize (KiB) 907188
[startup+2922.3 s]
/proc/loadavg: 2.65 2.60 2.60 3/82 14777
/proc/meminfo: memFree=787016/2055920 swapFree=4192812/4192956
[pid=14716] ppid=14714 vsize=17136 CPUtime=18.79
/proc/14716/stat : 14716 (sugar++) S 14714 14716 13965 0 -1 4194304 1758 31024 5 5 8 4 1718 149 16 0 1 0 45232958 17547264 1191 996147200 4194304 4206940 548682068528 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14716/statm: 4284 1191 414 3 0 863 0
[pid=14739] ppid=14716 vsize=897604 CPUtime=2887.49
/proc/14739/stat : 14739 (minisat-inc) R 14716 14716 13965 0 -1 4194304 220483 0 0 0 288553 196 0 0 25 0 1 0 45234877 919146496 220426 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14739/statm: 224401 220426 80 151 0 224247 0
Current children cumulated CPU time (s) 2906.28
Current children cumulated vsize (KiB) 914740
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+2960.8 s]
/proc/loadavg: 2.58 2.59 2.59 3/82 14777
/proc/meminfo: memFree=782088/2055920 swapFree=4192812/4192956
[pid=14716] ppid=14714 vsize=17136 CPUtime=18.79
/proc/14716/stat : 14716 (sugar++) S 14714 14716 13965 0 -1 4194304 1758 31024 5 5 8 4 1718 149 16 0 1 0 45232958 17547264 1191 996147200 4194304 4206940 548682068528 18446744073709551615 271903141986 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/14716/statm: 4284 1191 414 3 0 863 0
[pid=14739] ppid=14716 vsize=904476 CPUtime=2925.81
/proc/14739/stat : 14739 (minisat-inc) R 14716 14716 13965 0 -1 4194304 221685 0 0 0 292384 197 0 0 25 0 1 0 45234877 926183424 221628 996147200 134512640 135134323 4294956192 18446744073709551615 134531903 0 0 4096 3 0 0 0 17 1 0 0
/proc/14739/statm: 226119 221628 80 151 0 225965 0
Current children cumulated CPU time (s) 2944.6
Current children cumulated vsize (KiB) 921612
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+2960.91 s]
/proc/loadavg: 2.58 2.59 2.59 3/82 14777
/proc/meminfo: memFree=782088/2055920 swapFree=4192812/4192956
[pid=14716] ppid=14714 vsize=17136 CPUtime=18.79
/proc/14716/stat : 14716 (sugar++) S 14714 14716 13965 0 -1 4194304 1777 31024 5 5 8 4 1718 149 16 0 1 0 45232958 17547264 1191 996147200 4194304 4206940 548682068528 18446744073709551615 271903145876 0 0 4224 16386 18446744071563356171 0 0 17 0 0 0
/proc/14716/statm: 4284 1191 414 3 0 863 0
[pid=14739] ppid=14716 vsize=0 CPUtime=2925.91
/proc/14739/stat : 14739 (minisat-inc) R 14716 14716 13965 0 -1 4195332 221685 0 0 0 292384 207 0 0 25 0 1 0 45234877 0 0 996147200 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/14739/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2944.7
Current children cumulated vsize (KiB) 17136
[startup+2961 s]
/proc/loadavg: 2.58 2.59 2.59 3/82 14777
/proc/meminfo: memFree=782088/2055920 swapFree=4192812/4192956
[pid=14716] ppid=14714 vsize=17136 CPUtime=2944.81
/proc/14716/stat : 14716 (sugar++) R 14714 14716 13965 0 -1 4194304 1783 252709 5 5 8 10 294103 360 16 0 1 0 45232958 17547264 1192 996147200 4194304 4206940 548682068528 18446744073709551615 271894418473 0 0 4224 16386 0 0 0 17 1 0 0
/proc/14716/statm: 4284 1192 415 3 0 863 0
Current children cumulated CPU time (s) 2944.81
Current children cumulated vsize (KiB) 17136
Child status: 0
Real time (s): 2961.04
CPU time (s): 2944.87
CPU user time (s): 2941.12
CPU system time (s): 3.75343
CPU usage (%): 99.4538
Max. virtual memory (cumulated for all children) (KiB): 921612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2941.12
system time used= 3.75343
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254548
page faults= 10
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39931
involuntary context switches= 134345
runsolver used 2.6426 second user time and 8.16476 second system time
The end
Begin job on node60 at 2008-07-12 19:55:46
IDJOB=1113483
IDBENCH=61590
IDSOLVER=367
FILE ID=node60/1113483-1215885346
PBS_JOBID= 7903563
Free space on /tmp= 66484 MiB
SOLVER NAME= Sugar++ v1.13+minisat-inc
BENCH NAME= CPAI08/csp/graphColoring/sgb/queen/normalized-queen12-12-11.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-1113483-1215885346/watcher-1113483-1215885346 -o /tmp/evaluation-result-1113483-1215885346/solver-1113483-1215885346 -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-1113483-1215885346.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 4d6e684952be431ff1d0108c9f9124ec
RANDOM SEED=118691750
node60.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.263
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.263
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1857336 kB
Buffers: 3756 kB
Cached: 40104 kB
SwapCached: 0 kB
Active: 135164 kB
Inactive: 11944 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1857336 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1364 kB
Writeback: 0 kB
Mapped: 123556 kB
Slab: 36376 kB
Committed_AS: 971396 kB
PageTables: 2140 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= 66484 MiB
End job on node60 at 2008-07-12 20:45:09