0.00/0.05 c 0 Sugar v1-13 + HOME/minisat
0.00/0.05 c 0 BEGIN Sat Jul 5 04:55:24 2008
0.00/0.05 c 0 PID 10990
0.00/0.05 c 0 HOST node29.alineos.net
0.00/0.05 c 0 CONVERTING HOME/instance-1083268-1215226524.xml TO HOME/temp.csp
0.00/0.05 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1083268-1215226524.xml' 'HOME/temp.csp'
1.05/1.14 c 1 98 domains, 600 variables, 4 predicates, 0 relations, 9690 constraints
1.05/1.15 c 1 ENCODING HOME/temp.csp TO HOME/temp.cnf
1.05/1.15 c 1 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
1.10/1.24 c 1 Parsing HOME/temp.csp
1.10/1.58 c 1 parsed 10000 expressions
1.10/1.59 c 1 parsed 10392 expressions
1.10/1.61 c 1 Heap : 3 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
1.10/1.61 c 1 Converting to clausal form CSP
1.10/1.73 c 1 converted 1040 (10%) expressions
1.10/1.87 c 2 converted 2079 (20%) expressions
1.10/1.95 c 2 converted 3118 (30%) expressions
1.10/1.99 c 2 converted 4157 (40%) expressions
1.10/2.03 c 2 converted 5196 (50%) expressions
1.10/2.07 c 2 converted 6236 (60%) expressions
2.00/2.12 c 2 converted 7275 (70%) expressions
2.11/2.21 c 2 converted 8314 (80%) expressions
2.11/2.25 c 2 converted 9353 (90%) expressions
2.11/2.28 c 2 converted 10392 (100%) expressions
2.11/2.28 c 2 CSP : 600 integers, 0 booleans, 9690 clauses, largest domain size 1356
2.11/2.28 c 2 Heap : 9 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.11/2.28 c 2 Propagation in CSP
2.70/2.81 c 3 400680 values, 0 unsatisfiable literals, and 0 valid clauses are removed
2.70/2.81 c 3 CSP : 600 integers, 0 booleans, 9690 clauses, largest domain size 772
2.70/2.81 c 3 Heap : 11 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.70/2.82 c 3 Simplifing CSP by introducing new Boolean variables
2.80/3.00 c 3 CSP : 600 integers, 17700 booleans, 27390 clauses, largest domain size 772
2.80/3.00 c 3 Heap : 16 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
2.90/3.09 c 3 Encoding CSP to SAT : HOME/temp.cnf
2.99/3.18 c 3 60 (10%) CSP integer variables are encoded (41130 clauses, 594838 bytes)
3.10/3.24 c 3 120 (20%) CSP integer variables are encoded (83100 clauses, 1224388 bytes)
3.10/3.29 c 3 180 (30%) CSP integer variables are encoded (126930 clauses, 1935983 bytes)
3.19/3.35 c 3 240 (40%) CSP integer variables are encoded (166320 clauses, 2605613 bytes)
3.19/3.40 c 3 300 (50%) CSP integer variables are encoded (201210 clauses, 3198743 bytes)
3.29/3.45 c 3 360 (60%) CSP integer variables are encoded (242100 clauses, 3893873 bytes)
3.38/3.50 c 3 420 (70%) CSP integer variables are encoded (278490 clauses, 4512503 bytes)
3.38/3.55 c 3 480 (80%) CSP integer variables are encoded (319080 clauses, 5202533 bytes)
3.48/3.60 c 3 540 (90%) CSP integer variables are encoded (350250 clauses, 5732423 bytes)
3.48/3.65 c 3 600 (100%) CSP integer variables are encoded (383700 clauses, 6301073 bytes)
4.87/5.09 c 5 2739 (10%) CSP clauses are encoded (1089605 clauses, 22386874 bytes)
6.54/6.71 c 6 5478 (20%) CSP clauses are encoded (1896988 clauses, 41298387 bytes)
8.00/8.29 c 8 8217 (30%) CSP clauses are encoded (2673982 clauses, 59525073 bytes)
9.77/10.00 c 10 10956 (40%) CSP clauses are encoded (3526455 clauses, 79540462 bytes)
11.25/11.54 c 11 13695 (50%) CSP clauses are encoded (4297508 clauses, 98338495 bytes)
12.72/13.04 c 13 16434 (60%) CSP clauses are encoded (5033136 clauses, 116371678 bytes)
14.01/14.36 c 14 19173 (70%) CSP clauses are encoded (5677249 clauses, 132124239 bytes)
15.58/15.92 c 16 21912 (80%) CSP clauses are encoded (6461354 clauses, 151236294 bytes)
16.87/17.28 c 17 24651 (90%) CSP clauses are encoded (7151352 clauses, 167913739 bytes)
18.34/18.73 c 18 27390 (100%) CSP clauses are encoded (7891848 clauses, 185194411 bytes)
18.34/18.73 c 18 27390 CSP clauses encoded
18.34/18.73 c 18 Writing map file : HOME/temp.map
18.34/18.75 c 19 Heap : 10 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
18.34/18.75 c 19 SAT : 402000 SAT variables, 7891848 SAT clauses, 185194411 bytes
18.34/18.75 c 19 Heap : 10 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
18.34/18.79 c 19 SOLVING HOME/temp.cnf
18.34/18.79 c 19 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
18.34/18.79 c 19 This is MiniSat 2.0 beta
18.34/18.79 c 19 WARNING: for repeatability, setting FPU to use double precision
18.34/18.79 c 19 ============================[ Problem Statistics ]=============================
18.34/18.79 c 19 | |
18.34/18.80 c 19 | Number of variables: 402000 |
18.34/18.80 c 19 | Number of clauses: 7891848 |
23.27/23.77 c 24 | Parsing time: 4.22 s |
23.58/24.02 c 24 ============================[ Search Statistics ]==============================
23.58/24.02 c 24 | Conflicts | ORIGINAL | LEARNT | Progress |
23.58/24.02 c 24 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
23.58/24.02 c 24 ===============================================================================
23.58/24.03 c 24 | 0 | 400956 7890804 22723017 | 2630268 0 nan | 0.000 % |
27.33/27.89 c 28 | 100 | 400956 7890804 22723017 | 2893294 100 20 | 0.260 % |
32.49/33.04 c 33 | 250 | 400956 7890804 22723017 | 3182624 250 16 | 0.260 % |
38.53/39.13 c 39 | 475 | 400956 7890804 22723017 | 3500886 473 14 | 0.265 % |
48.13/48.87 c 49 | 812 | 400956 7890804 22723017 | 3850975 810 17 | 0.265 % |
64.09/64.90 c 65 | 1320 | 400917 7890013 22720762 | 4236072 1316 18 | 0.269 % |
87.27/88.35 c 88 | 2081 | 400874 7889116 22718219 | 4659680 2074 22 | 0.284 % |
122.64/124.04 c 124 | 3220 | 400874 7889116 22718219 | 5125648 3213 26 | 0.284 % |
152.95/154.62 c 154 | 4930 | 400860 7888744 22717156 | 5638213 4922 26 | 0.287 % |
214.57/216.45 c 216 | 7492 | 400826 7887987 22715005 | 6202034 7481 24 | 0.297 % |
311.93/313.84 c 314 | 11336 | 400710 7885663 22708448 | 6822237 11319 21 | 0.325 % |
449.98/451.94 c 452 | 17102 | 400637 7884392 22704877 | 7504461 17078 20 | 0.343 % |
653.11/655.11 c 655 | 25753 | 400502 7881544 22696793 | 8254907 25717 21 | 0.380 % |
982.09/984.23 c 984 | 38727 | 400384 7878957 22689402 | 9080398 38683 22 | 0.405 % |
1472.31/1474.64 c 1474 | 58188 | 400206 7875781 22680426 | 9988438 58124 23 | 0.446 % |
1800.10/1802.52 c ERROR INTERRUPTED
1800.10/1802.57 s UNKNOWN
1800.10/1802.57 c 1802 CPU 16.86 (0.04 0.01 16.82 1.56)
1800.10/1802.57 c 1802 END Sat Jul 5 05:25:26 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-1083268-1215226524/watcher-1083268-1215226524 -o /tmp/evaluation-result-1083268-1215226524/solver-1083268-1215226524 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/sugar -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-1083268-1215226524.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.93 2.01 1.99 4/73 10990
/proc/meminfo: memFree=1539040/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=12268 CPUtime=0
/proc/10990/stat : 10990 (sugar) R 10988 10990 8211 0 -1 4194304 348 0 0 0 0 0 0 0 20 0 1 0 2001626167 12562432 316 996147200 4194304 4206940 548682068608 18446744073709551615 221780867685 0 2147483391 4224 0 0 0 0 17 1 0 0
/proc/10990/statm: 3067 316 241 3 0 167 0
[startup+0.054801 s]
/proc/loadavg: 1.93 2.01 1.99 4/73 10990
/proc/meminfo: memFree=1539040/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=0.03
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 2001626167 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10990/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.103742 s]
/proc/loadavg: 1.93 2.01 1.99 4/73 10990
/proc/meminfo: memFree=1539040/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=0.03
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 2001626167 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10990/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.302044 s]
/proc/loadavg: 1.93 2.01 1.99 4/73 10990
/proc/meminfo: memFree=1539040/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=0.03
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 2001626167 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10990/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.702843 s]
/proc/loadavg: 1.93 2.01 1.99 4/73 10990
/proc/meminfo: memFree=1539040/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=0.03
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 900 127 0 0 3 0 0 0 19 0 1 0 2001626167 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10990/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+1.5019 s]
/proc/loadavg: 1.93 2.01 1.99 3/84 11002
/proc/meminfo: memFree=1516552/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=1.1
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 973 9046 0 1 3 0 101 6 16 0 1 0 2001626167 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10990/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 13600
[startup+3.102 s]
/proc/loadavg: 1.93 2.01 1.99 4/84 11012
/proc/meminfo: memFree=1518728/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=1.1
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 974 9046 0 1 3 0 101 6 15 0 1 0 2001626167 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10990/statm: 3400 797 370 3 0 500 0
[pid=11003] ppid=10990 vsize=5356 CPUtime=0
/proc/11003/stat : 11003 (sh) S 10990 10990 8211 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2001626283 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11003/statm: 1339 233 193 169 0 50 0
[pid=11004] ppid=11003 vsize=868360 CPUtime=1.89
/proc/11004/stat : 11004 (java) S 11003 10990 8211 0 -1 0 10356 0 1 0 182 7 0 0 18 0 9 0 2001626283 889200640 9373 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11004/statm: 217090 9373 2540 9 0 211665 0
[pid=11004/tid=11005] ppid=11003 vsize=868360 CPUtime=1.18
/proc/11004/task/11005/stat : 11005 (java) R 11003 10990 8211 0 -1 64 2934 0 1 0 115 3 0 0 18 0 9 0 2001626284 889200640 9373 996147200 134512640 134550740 4294955952 18446744073709551615 102719022 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11006] ppid=11003 vsize=868360 CPUtime=0.46
/proc/11004/task/11006/stat : 11006 (java) S 11003 10990 8211 0 -1 64 5252 0 0 0 44 2 0 0 16 0 9 0 2001626285 889200640 9373 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11007] ppid=11003 vsize=868360 CPUtime=0
/proc/11004/task/11007/stat : 11007 (java) S 11003 10990 8211 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2001626285 889200640 9373 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11008] ppid=11003 vsize=868360 CPUtime=0
/proc/11004/task/11008/stat : 11008 (java) S 11003 10990 8211 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2001626285 889200640 9373 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11009] ppid=11003 vsize=868360 CPUtime=0
/proc/11004/task/11009/stat : 11009 (java) S 11003 10990 8211 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2001626287 889200640 9373 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11010] ppid=11003 vsize=868360 CPUtime=0.21
/proc/11004/task/11010/stat : 11010 (java) S 11003 10990 8211 0 -1 64 1478 0 0 0 21 0 0 0 15 0 9 0 2001626287 889200640 9373 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11011] ppid=11003 vsize=868360 CPUtime=0
/proc/11004/task/11011/stat : 11011 (java) S 11003 10990 8211 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2001626288 889200640 9373 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11012] ppid=11003 vsize=868360 CPUtime=0
/proc/11004/task/11012/stat : 11012 (java) R 11003 10990 8211 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2001626288 889200640 9373 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 887316
[startup+6.3022 s]
/proc/loadavg: 1.94 2.01 1.99 3/84 11012
/proc/meminfo: memFree=1482696/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=1.1
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 974 9046 0 1 3 0 101 6 16 0 1 0 2001626167 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10990/statm: 3400 797 370 3 0 500 0
[pid=11003] ppid=10990 vsize=5356 CPUtime=0
/proc/11003/stat : 11003 (sh) S 10990 10990 8211 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2001626283 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11003/statm: 1339 233 193 169 0 50 0
[pid=11004] ppid=11003 vsize=868472 CPUtime=5.05
/proc/11004/stat : 11004 (java) S 11003 10990 8211 0 -1 0 10979 0 1 0 471 34 0 0 18 0 9 0 2001626283 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11004/statm: 217118 9433 2565 9 0 211665 0
[pid=11004/tid=11005] ppid=11003 vsize=868472 CPUtime=4.1
/proc/11004/task/11005/stat : 11005 (java) R 11003 10990 8211 0 -1 64 3530 0 1 0 384 26 0 0 25 0 9 0 2001626284 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11006] ppid=11003 vsize=868472 CPUtime=0.65
/proc/11004/task/11006/stat : 11006 (java) S 11003 10990 8211 0 -1 64 5252 0 0 0 60 5 0 0 16 0 9 0 2001626285 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11007] ppid=11003 vsize=868472 CPUtime=0
/proc/11004/task/11007/stat : 11007 (java) S 11003 10990 8211 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2001626285 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11008] ppid=11003 vsize=868472 CPUtime=0
/proc/11004/task/11008/stat : 11008 (java) S 11003 10990 8211 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2001626285 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11009] ppid=11003 vsize=868472 CPUtime=0
/proc/11004/task/11009/stat : 11009 (java) S 11003 10990 8211 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2001626287 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11010] ppid=11003 vsize=868472 CPUtime=0.27
/proc/11004/task/11010/stat : 11010 (java) S 11003 10990 8211 0 -1 64 1505 0 0 0 26 1 0 0 16 0 9 0 2001626287 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11011] ppid=11003 vsize=868472 CPUtime=0
/proc/11004/task/11011/stat : 11011 (java) S 11003 10990 8211 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2001626288 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11012] ppid=11003 vsize=868472 CPUtime=0
/proc/11004/task/11012/stat : 11012 (java) S 11003 10990 8211 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2001626288 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 887428
[startup+12.7026 s]
/proc/loadavg: 2.02 2.02 2.00 3/84 11012
/proc/meminfo: memFree=1404880/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=1.1
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 974 9046 0 1 3 0 101 6 16 0 1 0 2001626167 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10990/statm: 3400 797 370 3 0 500 0
[pid=11003] ppid=10990 vsize=5356 CPUtime=0
/proc/11003/stat : 11003 (sh) S 10990 10990 8211 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 2001626283 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11003/statm: 1339 233 193 169 0 50 0
[pid=11004] ppid=11003 vsize=868472 CPUtime=11.34
/proc/11004/stat : 11004 (java) S 11003 10990 8211 0 -1 0 12123 0 1 0 1042 92 0 0 18 0 9 0 2001626283 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11004/statm: 217118 9433 2565 9 0 211665 0
[pid=11004/tid=11005] ppid=11003 vsize=868472 CPUtime=10.02
/proc/11004/task/11005/stat : 11005 (java) R 11003 10990 8211 0 -1 64 4674 0 1 0 924 78 0 0 25 0 9 0 2001626284 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4126964888 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11006] ppid=11003 vsize=868472 CPUtime=1.03
/proc/11004/task/11006/stat : 11006 (java) S 11003 10990 8211 0 -1 64 5252 0 0 0 91 12 0 0 16 0 9 0 2001626285 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11007] ppid=11003 vsize=868472 CPUtime=0
/proc/11004/task/11007/stat : 11007 (java) S 11003 10990 8211 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2001626285 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11008] ppid=11003 vsize=868472 CPUtime=0
/proc/11004/task/11008/stat : 11008 (java) S 11003 10990 8211 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2001626285 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11009] ppid=11003 vsize=868472 CPUtime=0
/proc/11004/task/11009/stat : 11009 (java) S 11003 10990 8211 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2001626287 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11010] ppid=11003 vsize=868472 CPUtime=0.27
/proc/11004/task/11010/stat : 11010 (java) S 11003 10990 8211 0 -1 64 1505 0 0 0 26 1 0 0 16 0 9 0 2001626287 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11011] ppid=11003 vsize=868472 CPUtime=0
/proc/11004/task/11011/stat : 11011 (java) S 11003 10990 8211 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2001626288 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11004/tid=11012] ppid=11003 vsize=868472 CPUtime=0
/proc/11004/task/11012/stat : 11012 (java) S 11003 10990 8211 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2001626288 889315328 9433 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 887428
[startup+25.5024 s]
/proc/loadavg: 2.16 2.05 2.01 3/76 11014
/proc/meminfo: memFree=1010576/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=18.43
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 1033 22555 0 2 4 1 1682 156 15 0 1 0 2001626167 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10990/statm: 3400 799 370 3 0 500 0
[pid=11013] ppid=10990 vsize=5356 CPUtime=0
/proc/11013/stat : 11013 (sh) S 10990 10990 8211 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001628046 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11013/statm: 1339 232 193 169 0 50 0
[pid=11014] ppid=11013 vsize=349900 CPUtime=6.63
/proc/11014/stat : 11014 (minisat) R 11013 10990 8211 0 -1 4194304 86098 0 0 0 590 73 0 0 25 0 1 0 2001628047 358297600 86084 996147200 134512640 135127466 4294956256 18446744073709551615 134530673 0 0 4096 3 0 0 0 17 1 0 0
/proc/11014/statm: 87475 86084 72 150 0 87322 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 368856
[startup+51.103 s]
/proc/loadavg: 2.10 2.05 2.01 3/76 11014
/proc/meminfo: memFree=996176/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=18.43
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 1033 22555 0 2 4 1 1682 156 16 0 1 0 2001626167 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10990/statm: 3400 799 370 3 0 500 0
[pid=11013] ppid=10990 vsize=5356 CPUtime=0
/proc/11013/stat : 11013 (sh) S 10990 10990 8211 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001628046 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11013/statm: 1339 232 193 169 0 50 0
[pid=11014] ppid=11013 vsize=361648 CPUtime=31.99
/proc/11014/stat : 11014 (minisat) R 11013 10990 8211 0 -1 4194304 89046 0 0 0 3122 77 0 0 25 0 1 0 2001628047 370327552 89032 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/11014/statm: 90412 89032 75 150 0 90259 0
Current children cumulated CPU time (s) 50.42
Current children cumulated vsize (KiB) 380604
[startup+102.307 s]
/proc/loadavg: 2.12 2.05 2.01 3/76 11014
/proc/meminfo: memFree=992784/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=18.43
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 1033 22555 0 2 4 1 1682 156 16 0 1 0 2001626167 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/10990/statm: 3400 799 370 3 0 500 0
[pid=11013] ppid=10990 vsize=5356 CPUtime=0
/proc/11013/stat : 11013 (sh) S 10990 10990 8211 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001628046 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11013/statm: 1339 232 193 169 0 50 0
[pid=11014] ppid=11013 vsize=365296 CPUtime=82.71
/proc/11014/stat : 11014 (minisat) R 11013 10990 8211 0 -1 4194304 89892 0 0 0 8194 77 0 0 25 0 1 0 2001628047 374063104 89878 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/11014/statm: 91324 89878 75 150 0 91171 0
################
# More data... #
################
[pid=11013] ppid=10990 vsize=5356 CPUtime=0
/proc/11013/stat : 11013 (sh) S 10990 10990 8211 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001628046 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11013/statm: 1339 232 193 169 0 50 0
[pid=11014] ppid=11013 vsize=372288 CPUtime=1401.61
/proc/11014/stat : 11014 (minisat) R 11013 10990 8211 0 -1 4194304 91638 0 0 0 140078 83 0 0 25 0 1 0 2001628047 381222912 91624 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/11014/statm: 93072 91624 75 150 0 92919 0
Current children cumulated CPU time (s) 1420.04
Current children cumulated vsize (KiB) 391244
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 11108
/proc/meminfo: memFree=367496/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=18.43
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 1033 22555 0 2 4 1 1682 156 16 0 1 0 2001626167 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10990/statm: 3400 799 370 3 0 500 0
[pid=11013] ppid=10990 vsize=5356 CPUtime=0
/proc/11013/stat : 11013 (sh) S 10990 10990 8211 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001628046 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11013/statm: 1339 232 193 169 0 50 0
[pid=11014] ppid=11013 vsize=372816 CPUtime=1461.58
/proc/11014/stat : 11014 (minisat) R 11013 10990 8211 0 -1 4194304 91747 0 0 0 146075 83 0 0 25 0 1 0 2001628047 381763584 91733 996147200 134512640 135127466 4294956256 18446744073709551615 134530581 0 0 4096 3 0 0 0 17 0 0 0
/proc/11014/statm: 93204 91733 75 150 0 93051 0
Current children cumulated CPU time (s) 1480.01
Current children cumulated vsize (KiB) 391772
[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/84 11108
/proc/meminfo: memFree=366984/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=18.43
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 1033 22555 0 2 4 1 1682 156 16 0 1 0 2001626167 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10990/statm: 3400 799 370 3 0 500 0
[pid=11013] ppid=10990 vsize=5356 CPUtime=0
/proc/11013/stat : 11013 (sh) S 10990 10990 8211 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001628046 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11013/statm: 1339 232 193 169 0 50 0
[pid=11014] ppid=11013 vsize=373080 CPUtime=1521.55
/proc/11014/stat : 11014 (minisat) R 11013 10990 8211 0 -1 4194304 91842 0 0 0 152072 83 0 0 25 0 1 0 2001628047 382033920 91828 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/11014/statm: 93270 91828 75 150 0 93117 0
Current children cumulated CPU time (s) 1539.98
Current children cumulated vsize (KiB) 392036
[startup+1602.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/84 11108
/proc/meminfo: memFree=366536/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=18.43
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 1033 22555 0 2 4 1 1682 156 16 0 1 0 2001626167 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10990/statm: 3400 799 370 3 0 500 0
[pid=11013] ppid=10990 vsize=5356 CPUtime=0
/proc/11013/stat : 11013 (sh) S 10990 10990 8211 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001628046 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11013/statm: 1339 232 193 169 0 50 0
[pid=11014] ppid=11013 vsize=373728 CPUtime=1581.54
/proc/11014/stat : 11014 (minisat) R 11013 10990 8211 0 -1 4194304 91951 0 0 0 158070 84 0 0 25 0 1 0 2001628047 382697472 91937 996147200 134512640 135127466 4294956256 18446744073709551615 134530828 0 0 4096 3 0 0 0 17 0 0 0
/proc/11014/statm: 93432 91937 75 150 0 93279 0
Current children cumulated CPU time (s) 1599.97
Current children cumulated vsize (KiB) 392684
[startup+1662.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/84 11108
/proc/meminfo: memFree=366152/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=18.43
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 1033 22555 0 2 4 1 1682 156 16 0 1 0 2001626167 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10990/statm: 3400 799 370 3 0 500 0
[pid=11013] ppid=10990 vsize=5356 CPUtime=0
/proc/11013/stat : 11013 (sh) S 10990 10990 8211 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001628046 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11013/statm: 1339 232 193 169 0 50 0
[pid=11014] ppid=11013 vsize=374124 CPUtime=1641.52
/proc/11014/stat : 11014 (minisat) R 11013 10990 8211 0 -1 4194304 92056 0 0 0 164068 84 0 0 25 0 1 0 2001628047 383102976 92042 996147200 134512640 135127466 4294956256 18446744073709551615 134530941 0 0 4096 3 0 0 0 17 0 0 0
/proc/11014/statm: 93531 92042 75 150 0 93378 0
Current children cumulated CPU time (s) 1659.95
Current children cumulated vsize (KiB) 393080
[startup+1722.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/84 11108
/proc/meminfo: memFree=365768/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=18.43
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 1033 22555 0 2 4 1 1682 156 16 0 1 0 2001626167 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10990/statm: 3400 799 370 3 0 500 0
[pid=11013] ppid=10990 vsize=5356 CPUtime=0
/proc/11013/stat : 11013 (sh) S 10990 10990 8211 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001628046 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11013/statm: 1339 232 193 169 0 50 0
[pid=11014] ppid=11013 vsize=374388 CPUtime=1701.49
/proc/11014/stat : 11014 (minisat) R 11013 10990 8211 0 -1 4194304 92145 0 0 0 170065 84 0 0 25 0 1 0 2001628047 383373312 92131 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/11014/statm: 93597 92131 75 150 0 93444 0
Current children cumulated CPU time (s) 1719.92
Current children cumulated vsize (KiB) 393344
[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/84 11109
/proc/meminfo: memFree=365320/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=18.43
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 1033 22555 0 2 4 1 1682 156 16 0 1 0 2001626167 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10990/statm: 3400 799 370 3 0 500 0
[pid=11013] ppid=10990 vsize=5356 CPUtime=0
/proc/11013/stat : 11013 (sh) S 10990 10990 8211 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001628046 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11013/statm: 1339 232 193 169 0 50 0
[pid=11014] ppid=11013 vsize=374784 CPUtime=1761.47
/proc/11014/stat : 11014 (minisat) R 11013 10990 8211 0 -1 4194304 92234 0 0 0 176063 84 0 0 25 0 1 0 2001628047 383778816 92220 996147200 134512640 135127466 4294956256 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 0 0 0
/proc/11014/statm: 93696 92220 75 150 0 93543 0
Current children cumulated CPU time (s) 1779.9
Current children cumulated vsize (KiB) 393740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.5 s]
/proc/loadavg: 2.03 2.05 2.01 3/84 11110
/proc/meminfo: memFree=365256/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=18.43
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 1033 22555 0 2 4 1 1682 156 16 0 1 0 2001626167 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10990/statm: 3400 799 370 3 0 500 0
[pid=11013] ppid=10990 vsize=5356 CPUtime=0
/proc/11013/stat : 11013 (sh) S 10990 10990 8211 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001628046 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11013/statm: 1339 232 193 169 0 50 0
[pid=11014] ppid=11013 vsize=374916 CPUtime=1781.67
/proc/11014/stat : 11014 (minisat) R 11013 10990 8211 0 -1 4194304 92266 0 0 0 178083 84 0 0 25 0 1 0 2001628047 383913984 92252 996147200 134512640 135127466 4294956256 18446744073709551615 134530944 0 0 4096 3 0 0 0 17 0 0 0
/proc/11014/statm: 93729 92252 75 150 0 93576 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 393872
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1802.5 s]
/proc/loadavg: 2.03 2.05 2.01 3/84 11110
/proc/meminfo: memFree=365256/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=18.43
/proc/10990/stat : 10990 (sugar) S 10988 10990 8211 0 -1 4194304 1033 22555 0 2 4 1 1682 156 16 0 1 0 2001626167 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 221789597794 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/10990/statm: 3400 799 370 3 0 500 0
[pid=11013] ppid=10990 vsize=5356 CPUtime=0
/proc/11013/stat : 11013 (sh) S 10990 10990 8211 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 2001628046 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11013/statm: 1339 232 193 169 0 50 0
[pid=11014] ppid=11013 vsize=374916 CPUtime=1781.67
/proc/11014/stat : 11014 (minisat) R 11013 10990 8211 0 -1 4194304 92266 0 0 0 178083 84 0 0 25 0 1 0 2001628047 383913984 92252 996147200 134512640 135127466 4294956256 18446744073709551615 134530944 0 0 4096 3 0 0 0 17 0 0 0
/proc/11014/statm: 93729 92252 75 150 0 93576 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 393872
# WARNING:
# current cumulated CPU time (18.48 s) is less than in the last sample (1800.1 s)
# The time of a child was probably not reported to its father.
# (see the samples just above and below)
# Adding the difference (1781.62 s) to the 'lost time'.
[startup+1802.62 s]
/proc/loadavg: 2.03 2.05 2.01 3/84 11110
/proc/meminfo: memFree=365256/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=18.48
/proc/10990/stat : 10990 (sugar) R 10988 10990 8211 0 -1 4194304 1070 22832 0 2 4 6 1682 156 17 0 1 0 2001626167 13926400 800 996147200 4194304 4206940 548682068608 18446744073709551615 221780874281 0 0 4224 16386 0 0 0 17 0 0 0
/proc/10990/statm: 3400 800 371 3 0 500 0
Current children cumulated CPU time (s) 18.48
Current children cumulated vsize (KiB) 13600
Solver just ended. Dumping a history of the last processes samples
[startup+1802.62 s]
/proc/loadavg: 2.03 2.05 2.01 3/84 11110
/proc/meminfo: memFree=365256/2055920 swapFree=4180452/4192956
[pid=10990] ppid=10988 vsize=13600 CPUtime=18.48
/proc/10990/stat : 10990 (sugar) R 10988 10990 8211 0 -1 4194304 1070 22832 0 2 4 6 1682 156 17 0 1 0 2001626167 13926400 800 996147200 4194304 4206940 548682068608 18446744073709551615 221780874281 0 0 4224 16386 0 0 0 17 0 0 0
/proc/10990/statm: 3400 800 371 3 0 500 0
Current children cumulated CPU time (s) 18.48
Current children cumulated vsize (KiB) 13600
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): 1781.62
# lost CPU user time (s): 1780.83
# lost CPU system time (s): 0.79
Real time (s): 1802.66
CPU time (s): 1800.16
CPU user time (s): 1797.7
CPU system time (s): 2.45975
CPU usage (%): 99.8614
Max. virtual memory (cumulated for all children) (KiB): 887536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.8674
system time used= 1.66975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23933
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22813
involuntary context switches= 22979
runsolver used 2.07568 second user time and 5.88711 second system time
The end
Begin job on node29 at 2008-07-05 04:55:24
IDJOB=1083268
IDBENCH=57461
IDSOLVER=346
FILE ID=node29/1083268-1215226524
PBS_JOBID= 7881718
Free space on /tmp= 66468 MiB
SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/super-js/super-js-taillard-20-15/normalized-super-js-taillard-20-15-4.xml
COMMAND LINE= DIR/sugar -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-1083268-1215226524/watcher-1083268-1215226524 -o /tmp/evaluation-result-1083268-1215226524/solver-1083268-1215226524 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/sugar -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-1083268-1215226524.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 129735acf61f927121c595f1c91d924b
RANDOM SEED=1908476841
node29.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.220
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.220
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: 1539520 kB
Buffers: 93232 kB
Cached: 331696 kB
SwapCached: 6872 kB
Active: 266844 kB
Inactive: 185596 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1539520 kB
SwapTotal: 4192956 kB
SwapFree: 4180452 kB
Dirty: 2504 kB
Writeback: 0 kB
Mapped: 34692 kB
Slab: 49092 kB
Committed_AS: 3451396 kB
PageTables: 2032 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= 66492 MiB
End job on node29 at 2008-07-05 05:25:28