0.00/0.04 c 0 Sugar v1-13 + HOME/minisat
0.00/0.04 c 0 BEGIN Thu Jul 3 22:06:29 2008
0.00/0.04 c 0 PID 23772
0.04/0.05 c 0 HOST node74.alineos.net
0.04/0.05 c 0 CONVERTING HOME/instance-1058504-1215115589.xml TO HOME/temp.csp
0.04/0.05 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1058504-1215115589.xml' 'HOME/temp.csp'
2.35/2.46 c 3 17 domains, 800 variables, 1 predicates, 0 relations, 36304 constraints
2.41/2.51 c 3 ENCODING HOME/temp.csp TO HOME/temp.cnf
2.41/2.51 c 3 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'
2.41/2.59 c 3 Parsing HOME/temp.csp
2.43/3.09 c 3 parsed 10000 expressions
3.29/3.44 c 3 parsed 20000 expressions
3.49/3.69 c 4 parsed 30000 expressions
3.79/3.95 c 4 parsed 37122 expressions
3.79/3.96 c 4 Heap : 15 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
3.79/3.96 c 4 Converting to clausal form CSP
4.19/4.37 c 4 converted 3713 (10%) expressions
4.57/4.74 c 5 converted 7425 (20%) expressions
4.77/4.95 c 5 converted 11137 (30%) expressions
4.97/5.18 c 5 converted 14849 (40%) expressions
5.28/5.41 c 5 converted 18561 (50%) expressions
5.67/5.85 c 6 converted 22274 (60%) expressions
5.86/6.07 c 6 converted 25986 (70%) expressions
6.06/6.29 c 6 converted 29698 (80%) expressions
6.37/6.51 c 7 converted 33410 (90%) expressions
7.84/8.03 c 8 converted 37122 (100%) expressions
7.84/8.03 c 8 CSP : 800 integers, 0 booleans, 66209 clauses, largest domain size 45
7.84/8.03 c 8 Heap : 69 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
7.84/8.03 c 8 Propagation in CSP
8.23/8.47 c 9 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
8.23/8.47 c 9 CSP : 800 integers, 0 booleans, 66209 clauses, largest domain size 45
8.23/8.47 c 9 Heap : 77 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
8.23/8.49 c 9 Simplifing CSP by introducing new Boolean variables
10.02/10.24 c 10 CSP : 800 integers, 194153 booleans, 260362 clauses, largest domain size 45
10.02/10.24 c 10 Heap : 137 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
10.82/11.08 c 11 Encoding CSP to SAT : HOME/temp.cnf
10.91/11.13 c 11 80 (10%) CSP integer variables are encoded (3440 clauses, 42621 bytes)
10.91/11.14 c 11 160 (20%) CSP integer variables are encoded (6880 clauses, 87341 bytes)
10.91/11.14 c 11 240 (30%) CSP integer variables are encoded (10320 clauses, 133158 bytes)
10.91/11.15 c 11 320 (40%) CSP integer variables are encoded (13760 clauses, 184758 bytes)
10.91/11.15 c 11 400 (50%) CSP integer variables are encoded (17200 clauses, 236358 bytes)
10.91/11.16 c 11 480 (60%) CSP integer variables are encoded (17334 clauses, 238368 bytes)
10.91/11.16 c 11 560 (70%) CSP integer variables are encoded (17498 clauses, 240828 bytes)
10.91/11.16 c 11 640 (80%) CSP integer variables are encoded (17631 clauses, 242823 bytes)
10.91/11.16 c 11 720 (90%) CSP integer variables are encoded (17800 clauses, 245358 bytes)
10.91/11.16 c 11 800 (100%) CSP integer variables are encoded (17990 clauses, 248208 bytes)
12.10/12.38 c 12 26037 (10%) CSP clauses are encoded (546068 clauses, 10564031 bytes)
13.28/13.50 c 14 52073 (20%) CSP clauses are encoded (1071668 clauses, 21203932 bytes)
14.36/14.61 c 15 78109 (30%) CSP clauses are encoded (1596113 clauses, 31851354 bytes)
15.44/15.75 c 16 104145 (40%) CSP clauses are encoded (2124642 clauses, 42638467 bytes)
16.63/16.93 c 17 130181 (50%) CSP clauses are encoded (2651996 clauses, 53998230 bytes)
17.80/18.16 c 18 156218 (60%) CSP clauses are encoded (3176154 clauses, 65741847 bytes)
19.19/19.55 c 20 182254 (70%) CSP clauses are encoded (3813923 clauses, 79773511 bytes)
20.76/21.18 c 21 208290 (80%) CSP clauses are encoded (4600103 clauses, 96592614 bytes)
22.45/22.80 c 23 234326 (90%) CSP clauses are encoded (5386547 clauses, 113443374 bytes)
24.02/24.43 c 24 260362 (100%) CSP clauses are encoded (6173343 clauses, 130224069 bytes)
24.02/24.43 c 24 260362 CSP clauses encoded
24.02/24.43 c 24 Writing map file : HOME/temp.map
24.02/24.48 c 25 Heap : 104 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
24.02/24.48 c 25 SAT : 212721 SAT variables, 6173343 SAT clauses, 130224069 bytes
24.02/24.48 c 25 Heap : 104 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
24.09/24.54 c 25 SOLVING HOME/temp.cnf
24.09/24.54 c 25 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
24.09/24.54 c 25 This is MiniSat 2.0 beta
24.09/24.54 c 25 WARNING: for repeatability, setting FPU to use double precision
24.09/24.54 c 25 ============================[ Problem Statistics ]=============================
24.09/24.54 c 25 | |
24.09/24.54 c 25 | Number of variables: 212721 |
24.09/24.54 c 25 | Number of clauses: 6173343 |
27.24/27.78 c 28 | Parsing time: 2.72 s |
27.44/27.94 c 28 ============================[ Search Statistics ]==============================
27.44/27.94 c 28 | Conflicts | ORIGINAL | LEARNT | Progress |
27.44/27.94 c 28 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
27.44/27.94 c 28 ===============================================================================
27.44/27.94 c 28 | 0 | 212721 6173343 18167572 | 2057781 0 nan | 0.000 % |
29.02/29.59 c 30 | 100 | 212721 6173343 18167572 | 2263559 100 17 | 0.000 % |
29.21/29.78 c 30 | 251 | 212721 6173343 18167572 | 2489915 251 12 | 0.000 % |
30.50/31.03 c 31 | 477 | 212721 6173343 18167572 | 2738906 477 15 | 0.000 % |
32.57/33.11 c 33 | 814 | 212721 6173343 18167572 | 3012797 814 13 | 0.000 % |
33.27/33.85 c 34 | 1322 | 212721 6173343 18167572 | 3314076 1322 14 | 0.000 % |
34.85/35.47 c 36 | 2081 | 212721 6173343 18167572 | 3645484 2081 13 | 0.000 % |
35.45/36.01 c 36 | 3220 | 212721 6173343 18167572 | 4010033 3220 17 | 0.000 % |
38.32/38.92 c 39 | 4928 | 212721 6173343 18167572 | 4411036 4928 36 | 0.000 % |
40.60/41.27 c 41 | 7490 | 212721 6173343 18167572 | 4852139 7490 35 | 0.000 % |
42.58/43.21 c 43 | 11334 | 212721 6173343 18167572 | 5337353 11334 28 | 0.000 % |
44.37/45.01 c 45 | 17100 | 212721 6173343 18167572 | 5871089 17100 23 | 0.000 % |
46.34/47.05 c 47 | 25751 | 212721 6173343 18167572 | 6458198 25751 25 | 0.000 % |
50.90/51.63 c 52 | 38726 | 212721 6173343 18167572 | 7104018 38726 24 | 0.000 % |
58.52/59.30 c 59 | 58187 | 212721 6173343 18167572 | 7814419 58187 23 | 0.000 % |
69.82/70.79 c 71 | 87379 | 212721 6173343 18167572 | 8595861 87379 21 | 0.000 % |
95.07/96.26 c 96 | 131168 | 212721 6173343 18167572 | 9455448 131168 28 | 0.000 % |
130.45/132.04 c 132 | 196853 | 212721 6173343 18167572 | 10400992 196853 29 | 0.000 % |
183.13/185.29 c 185 | 295381 | 212721 6173343 18167572 | 11441092 295381 31 | 0.000 % |
300.12/303.31 c 303 | 443170 | 212721 6173343 18167572 | 12585201 443170 35 | 0.000 % |
532.31/537.75 c 538 | 664853 | 212721 6173343 18167572 | 13843721 664853 35 | 0.000 % |
1378.93/1390.09 c 1390 | 997379 | 212721 6173343 18167572 | 15228093 997379 44 | 0.000 % |
1800.09/1812.91 c ERROR INTERRUPTED
1800.09/1813.00 s UNKNOWN
1800.09/1813.00 c 1813 CPU 22.75 (0.04 0.01 22.71 1.38)
1800.09/1813.00 c 1813 END Thu Jul 3 22:36:42 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-1058504-1215115589/watcher-1058504-1215115589 -o /tmp/evaluation-result-1058504-1215115589/solver-1058504-1215115589 -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-1058504-1215115589.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.99 1.97 1.99 4/73 23772
/proc/meminfo: memFree=1573568/2055920 swapFree=4179604/4192956
[pid=23772] ppid=23770 vsize=4708 CPUtime=0
/proc/23772/stat : 23772 (sugar) R 23770 23772 23025 0 -1 4194304 57 0 0 0 0 0 0 0 20 0 1 0 1990510033 4820992 42 996147200 4194304 4206940 548682068608 18446744073709551615 228772041198 0 0 4096 0 0 0 0 17 1 0 0
/proc/23772/statm: 1177 42 32 3 0 8 0
[startup+0.050286 s]
/proc/loadavg: 1.99 1.97 1.99 4/73 23772
/proc/meminfo: memFree=1573568/2055920 swapFree=4179604/4192956
[pid=23772] ppid=23770 vsize=13600 CPUtime=0.04
/proc/23772/stat : 23772 (sugar) S 23770 23772 23025 0 -1 4194304 837 0 0 0 3 1 0 0 18 0 1 0 1990510033 13926400 792 996147200 4194304 4206940 548682068608 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23772/statm: 3400 792 367 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+0.102077 s]
/proc/loadavg: 1.99 1.97 1.99 4/73 23772
/proc/meminfo: memFree=1573568/2055920 swapFree=4179604/4192956
[pid=23772] ppid=23770 vsize=13600 CPUtime=0.04
/proc/23772/stat : 23772 (sugar) S 23770 23772 23025 0 -1 4194304 900 127 0 0 3 1 0 0 19 0 1 0 1990510033 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23772/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+0.301989 s]
/proc/loadavg: 1.99 1.97 1.99 4/73 23772
/proc/meminfo: memFree=1573568/2055920 swapFree=4179604/4192956
[pid=23772] ppid=23770 vsize=13600 CPUtime=0.04
/proc/23772/stat : 23772 (sugar) S 23770 23772 23025 0 -1 4194304 900 127 0 0 3 1 0 0 19 0 1 0 1990510033 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23772/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+0.701959 s]
/proc/loadavg: 1.99 1.97 1.99 4/73 23772
/proc/meminfo: memFree=1573568/2055920 swapFree=4179604/4192956
[pid=23772] ppid=23770 vsize=13600 CPUtime=0.04
/proc/23772/stat : 23772 (sugar) S 23770 23772 23025 0 -1 4194304 900 127 0 0 3 1 0 0 19 0 1 0 1990510033 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23772/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13600
[startup+1.50232 s]
/proc/loadavg: 1.99 1.97 1.99 3/84 23784
/proc/meminfo: memFree=1546408/2055920 swapFree=4179604/4192956
[pid=23772] ppid=23770 vsize=13600 CPUtime=0.04
/proc/23772/stat : 23772 (sugar) S 23770 23772 23025 0 -1 4194304 900 127 0 0 3 1 0 0 19 0 1 0 1990510033 13926400 796 996147200 4194304 4206940 548682068608 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23772/statm: 3400 796 370 3 0 500 0
[pid=23775] ppid=23772 vsize=5356 CPUtime=0
/proc/23775/stat : 23775 (sh) S 23772 23772 23025 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1990510038 5484544 233 996147200 4194304 4889804 548682068768 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23775/statm: 1339 233 193 169 0 50 0
[pid=23776] ppid=23775 vsize=864676 CPUtime=1.42
/proc/23776/stat : 23776 (java) S 23775 23772 23025 0 -1 0 15520 0 1 0 133 9 0 0 18 0 9 0 1990510038 885428224 13059 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23776/statm: 216169 13059 2529 9 0 210751 0
[pid=23776/tid=23777] ppid=23775 vsize=864676 CPUtime=0.8
/proc/23776/task/23777/stat : 23777 (java) R 23775 23772 23025 0 -1 64 3053 0 1 0 77 3 0 0 24 0 9 0 1990510040 885428224 13059 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23776/tid=23778] ppid=23775 vsize=864676 CPUtime=0.47
/proc/23776/task/23778/stat : 23778 (java) R 23775 23772 23025 0 -1 64 11261 0 0 0 43 4 0 0 16 0 9 0 1990510041 885428224 13059 996147200 134512640 134550740 4294956016 18446744073709551615 102723285 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23776/tid=23779] ppid=23775 vsize=864676 CPUtime=0
/proc/23776/task/23779/stat : 23779 (java) S 23775 23772 23025 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1990510041 885428224 13059 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23776/tid=23780] ppid=23775 vsize=864676 CPUtime=0
/proc/23776/task/23780/stat : 23780 (java) S 23775 23772 23025 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 1990510041 885428224 13059 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23776/tid=23781] ppid=23775 vsize=864676 CPUtime=0
/proc/23776/task/23781/stat : 23781 (java) S 23775 23772 23025 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1990510043 885428224 13059 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23776/tid=23782] ppid=23775 vsize=864676 CPUtime=0.11
/proc/23776/task/23782/stat : 23782 (java) S 23775 23772 23025 0 -1 64 505 0 0 0 11 0 0 0 16 0 9 0 1990510043 885428224 13059 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23776/tid=23783] ppid=23775 vsize=864676 CPUtime=0
/proc/23776/task/23783/stat : 23783 (java) S 23775 23772 23025 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1990510043 885428224 13059 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23776/tid=23784] ppid=23775 vsize=864676 CPUtime=0
/proc/23776/task/23784/stat : 23784 (java) S 23775 23772 23025 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1990510043 885428224 13059 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 883632
[startup+3.10142 s]
/proc/loadavg: 1.99 1.97 1.99 3/84 23784
/proc/meminfo: memFree=1514472/2055920 swapFree=4179604/4192956
[pid=23772] ppid=23770 vsize=13600 CPUtime=2.43
/proc/23772/stat : 23772 (sugar) S 23770 23772 23025 0 -1 4194304 973 20942 0 1 3 1 226 13 15 0 1 0 1990510033 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23772/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 13600
[startup+6.30205 s]
/proc/loadavg: 1.99 1.97 1.99 3/84 23794
/proc/meminfo: memFree=1525032/2055920 swapFree=4179604/4192956
[pid=23772] ppid=23770 vsize=13600 CPUtime=2.43
/proc/23772/stat : 23772 (sugar) S 23770 23772 23025 0 -1 4194304 974 20942 0 1 3 1 226 13 15 0 1 0 1990510033 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23772/statm: 3400 797 370 3 0 500 0
[pid=23785] ppid=23772 vsize=5356 CPUtime=0
/proc/23785/stat : 23785 (sh) S 23772 23772 23025 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1990510285 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23785/statm: 1339 233 193 169 0 50 0
[pid=23786] ppid=23785 vsize=868416 CPUtime=3.73
/proc/23786/stat : 23786 (java) S 23785 23772 23025 0 -1 0 18429 0 1 0 359 14 0 0 18 0 9 0 1990510285 889257984 16789 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23786/statm: 217104 16789 2540 9 0 211679 0
[pid=23786/tid=23787] ppid=23785 vsize=868416 CPUtime=2.34
/proc/23786/task/23787/stat : 23787 (java) R 23785 23772 23025 0 -1 64 3317 0 1 0 231 3 0 0 25 0 9 0 1990510286 889257984 16789 996147200 134512640 134550740 4294955952 18446744073709551615 4126586103 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23786/tid=23788] ppid=23785 vsize=868416 CPUtime=1.16
/proc/23786/task/23788/stat : 23788 (java) S 23785 23772 23025 0 -1 64 12947 0 0 0 107 9 0 0 16 0 9 0 1990510287 889257984 16789 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23786/tid=23789] ppid=23785 vsize=868416 CPUtime=0
/proc/23786/task/23789/stat : 23789 (java) S 23785 23772 23025 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1990510287 889257984 16789 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23786/tid=23790] ppid=23785 vsize=868416 CPUtime=0
/proc/23786/task/23790/stat : 23790 (java) S 23785 23772 23025 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1990510287 889257984 16789 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23786/tid=23791] ppid=23785 vsize=868416 CPUtime=0
/proc/23786/task/23791/stat : 23791 (java) S 23785 23772 23025 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1990510289 889257984 16789 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23786/tid=23792] ppid=23785 vsize=868416 CPUtime=0.2
/proc/23786/task/23792/stat : 23792 (java) S 23785 23772 23025 0 -1 64 1468 0 0 0 19 1 0 0 16 0 9 0 1990510289 889257984 16789 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23786/tid=23793] ppid=23785 vsize=868416 CPUtime=0
/proc/23786/task/23793/stat : 23793 (java) S 23785 23772 23025 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1990510289 889257984 16789 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23786/tid=23794] ppid=23785 vsize=868416 CPUtime=0
/proc/23786/task/23794/stat : 23794 (java) S 23785 23772 23025 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1990510289 889257984 16789 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 887372
[startup+12.7013 s]
/proc/loadavg: 2.07 1.99 1.99 3/84 23794
/proc/meminfo: memFree=1412776/2055920 swapFree=4179604/4192956
[pid=23772] ppid=23770 vsize=13600 CPUtime=2.43
/proc/23772/stat : 23772 (sugar) S 23770 23772 23025 0 -1 4194304 974 20942 0 1 3 1 226 13 16 0 1 0 1990510033 13926400 797 996147200 4194304 4206940 548682068608 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23772/statm: 3400 797 370 3 0 500 0
[pid=23785] ppid=23772 vsize=5356 CPUtime=0
/proc/23785/stat : 23785 (sh) S 23772 23772 23025 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 1990510285 5484544 233 996147200 4194304 4889804 548682068720 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23785/statm: 1339 233 193 169 0 50 0
[pid=23786] ppid=23785 vsize=868528 CPUtime=10.07
/proc/23786/stat : 23786 (java) S 23785 23772 23025 0 -1 0 66658 0 1 0 958 49 0 0 18 0 9 0 1990510285 889372672 39959 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23786/statm: 217132 39959 2566 9 0 211679 0
[pid=23786/tid=23787] ppid=23785 vsize=868528 CPUtime=5.24
/proc/23786/task/23787/stat : 23787 (java) R 23785 23772 23025 0 -1 64 4620 0 1 0 510 14 0 0 25 0 9 0 1990510286 889372672 39959 996147200 134512640 134550740 4294955952 18446744073709551615 4126615203 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23786/tid=23788] ppid=23785 vsize=868528 CPUtime=4.49
/proc/23786/task/23788/stat : 23788 (java) S 23785 23772 23025 0 -1 64 59815 0 0 0 417 32 0 0 16 0 9 0 1990510287 889372672 39959 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23786/tid=23789] ppid=23785 vsize=868528 CPUtime=0
/proc/23786/task/23789/stat : 23789 (java) S 23785 23772 23025 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1990510287 889372672 39959 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23786/tid=23790] ppid=23785 vsize=868528 CPUtime=0
/proc/23786/task/23790/stat : 23790 (java) S 23785 23772 23025 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 1990510287 889372672 39959 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23786/tid=23791] ppid=23785 vsize=868528 CPUtime=0
/proc/23786/task/23791/stat : 23791 (java) S 23785 23772 23025 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1990510289 889372672 39959 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23786/tid=23792] ppid=23785 vsize=868528 CPUtime=0.3
/proc/23786/task/23792/stat : 23792 (java) S 23785 23772 23025 0 -1 64 1526 0 0 0 29 1 0 0 16 0 9 0 1990510289 889372672 39959 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23786/tid=23793] ppid=23785 vsize=868528 CPUtime=0
/proc/23786/task/23793/stat : 23793 (java) S 23785 23772 23025 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1990510289 889372672 39959 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23786/tid=23794] ppid=23785 vsize=868528 CPUtime=0
/proc/23786/task/23794/stat : 23794 (java) S 23785 23772 23025 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1990510289 889372672 39959 996147200 134512640 134550740 4294955952 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 887484
[startup+25.5018 s]
/proc/loadavg: 2.13 2.00 2.00 3/76 23796
/proc/meminfo: memFree=1389416/2055920 swapFree=4179604/4192956
[pid=23772] ppid=23770 vsize=13600 CPUtime=24.13
/proc/23772/stat : 23772 (sugar) S 23770 23772 23025 0 -1 4194304 1033 88189 0 2 3 1 2271 138 16 0 1 0 1990510033 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23772/statm: 3400 799 370 3 0 500 0
[pid=23795] ppid=23772 vsize=5356 CPUtime=0
/proc/23795/stat : 23795 (sh) S 23772 23772 23025 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1990512487 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23795/statm: 1339 232 193 169 0 50 0
[pid=23796] ppid=23795 vsize=77132 CPUtime=0.94
/proc/23796/stat : 23796 (minisat) R 23795 23772 23025 0 -1 4194304 18513 0 0 0 80 14 0 0 25 0 1 0 1990512487 78983168 18499 996147200 134512640 135127466 4294956272 18446744073709551615 134706298 0 0 4096 3 0 0 0 17 1 0 0
/proc/23796/statm: 19283 18499 62 150 0 19130 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 96088
[startup+51.1018 s]
/proc/loadavg: 2.09 2.00 2.00 3/76 23796
/proc/meminfo: memFree=1159720/2055920 swapFree=4179604/4192956
[pid=23772] ppid=23770 vsize=13600 CPUtime=24.13
/proc/23772/stat : 23772 (sugar) S 23770 23772 23025 0 -1 4194304 1033 88189 0 2 3 1 2271 138 16 0 1 0 1990510033 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23772/statm: 3400 799 370 3 0 500 0
[pid=23795] ppid=23772 vsize=5356 CPUtime=0
/proc/23795/stat : 23795 (sh) S 23772 23772 23025 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1990512487 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23795/statm: 1339 232 193 169 0 50 0
[pid=23796] ppid=23795 vsize=293392 CPUtime=26.27
/proc/23796/stat : 23796 (minisat) R 23795 23772 23025 0 -1 4194304 70701 0 0 0 2572 55 0 0 25 0 1 0 1990512487 300433408 70687 996147200 134512640 135127466 4294956272 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/23796/statm: 73348 70687 76 150 0 73195 0
Current children cumulated CPU time (s) 50.4
Current children cumulated vsize (KiB) 312348
[startup+102.307 s]
/proc/loadavg: 2.03 2.00 2.00 3/76 23796
/proc/meminfo: memFree=1144232/2055920 swapFree=4179604/4192956
[pid=23772] ppid=23770 vsize=13600 CPUtime=24.13
/proc/23772/stat : 23772 (sugar) S 23770 23772 23025 0 -1 4194304 1033 88189 0 2 3 1 2271 138 16 0 1 0 1990510033 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/23772/statm: 3400 799 370 3 0 500 0
[pid=23795] ppid=23772 vsize=5356 CPUtime=0
/proc/23795/stat : 23795 (sh) S 23772 23772 23025 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1990512487 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23795/statm: 1339 232 193 169 0 50 0
[pid=23796] ppid=23795 vsize=309268 CPUtime=76.99
/proc/23796/stat : 23796 (minisat) R 23795 23772 23025 0 -1 4194304 74565 0 0 0 7640 59 0 0 25 0 1 0 1990512487 316690432 74551 996147200 134512640 135127466 4294956272 18446744073709551615 134530933 0 0 4096 3 0 0 0 17 1 0 0
/proc/23796/statm: 77317 74551 76 150 0 77164 0
################
# More data... #
################
[pid=23795] ppid=23772 vsize=5356 CPUtime=0
/proc/23795/stat : 23795 (sh) S 23772 23772 23025 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1990512487 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23795/statm: 1339 232 193 169 0 50 0
[pid=23796] ppid=23795 vsize=505292 CPUtime=1386.97
/proc/23796/stat : 23796 (minisat) R 23795 23772 23025 0 -1 4194304 123215 0 0 0 138582 115 0 0 25 0 1 0 1990512487 517419008 123201 996147200 134512640 135127466 4294956272 18446744073709551615 134530665 0 0 4096 3 0 0 0 17 0 0 0
/proc/23796/statm: 126323 123201 76 150 0 126170 0
Current children cumulated CPU time (s) 1411.1
Current children cumulated vsize (KiB) 524248
[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 23824
/proc/meminfo: memFree=1006704/2055920 swapFree=4179604/4192956
[pid=23772] ppid=23770 vsize=13600 CPUtime=24.13
/proc/23772/stat : 23772 (sugar) S 23770 23772 23025 0 -1 4194304 1033 88189 0 2 3 1 2271 138 16 0 1 0 1990510033 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23772/statm: 3400 799 370 3 0 500 0
[pid=23795] ppid=23772 vsize=5356 CPUtime=0
/proc/23795/stat : 23795 (sh) S 23772 23772 23025 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1990512487 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23795/statm: 1339 232 193 169 0 50 0
[pid=23796] ppid=23795 vsize=515656 CPUtime=1446.72
/proc/23796/stat : 23796 (minisat) R 23795 23772 23025 0 -1 4194304 125338 0 0 0 144554 118 0 0 25 0 1 0 1990512487 528031744 125324 996147200 134512640 135127466 4294956272 18446744073709551615 134530673 0 0 4096 3 0 0 0 17 0 0 0
/proc/23796/statm: 128914 125324 76 150 0 128761 0
Current children cumulated CPU time (s) 1470.85
Current children cumulated vsize (KiB) 534612
[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 23824
/proc/meminfo: memFree=997808/2055920 swapFree=4179604/4192956
[pid=23772] ppid=23770 vsize=13600 CPUtime=24.13
/proc/23772/stat : 23772 (sugar) S 23770 23772 23025 0 -1 4194304 1033 88189 0 2 3 1 2271 138 16 0 1 0 1990510033 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23772/statm: 3400 799 370 3 0 500 0
[pid=23795] ppid=23772 vsize=5356 CPUtime=0
/proc/23795/stat : 23795 (sh) S 23772 23772 23025 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1990512487 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23795/statm: 1339 232 193 169 0 50 0
[pid=23796] ppid=23795 vsize=524332 CPUtime=1506.47
/proc/23796/stat : 23796 (minisat) R 23795 23772 23025 0 -1 4194304 127540 0 0 0 150527 120 0 0 25 0 1 0 1990512487 536915968 127526 996147200 134512640 135127466 4294956272 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/23796/statm: 131083 127526 76 150 0 130930 0
Current children cumulated CPU time (s) 1530.6
Current children cumulated vsize (KiB) 543288
[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 23824
/proc/meminfo: memFree=989936/2055920 swapFree=4179604/4192956
[pid=23772] ppid=23770 vsize=13600 CPUtime=24.13
/proc/23772/stat : 23772 (sugar) S 23770 23772 23025 0 -1 4194304 1033 88189 0 2 3 1 2271 138 16 0 1 0 1990510033 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23772/statm: 3400 799 370 3 0 500 0
[pid=23795] ppid=23772 vsize=5356 CPUtime=0
/proc/23795/stat : 23795 (sh) S 23772 23772 23025 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1990512487 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23795/statm: 1339 232 193 169 0 50 0
[pid=23796] ppid=23795 vsize=531916 CPUtime=1566.23
/proc/23796/stat : 23796 (minisat) R 23795 23772 23025 0 -1 4194304 129472 0 0 0 156501 122 0 0 25 0 1 0 1990512487 544681984 129458 996147200 134512640 135127466 4294956272 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/23796/statm: 132979 129458 76 150 0 132826 0
Current children cumulated CPU time (s) 1590.36
Current children cumulated vsize (KiB) 550872
[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 23824
/proc/meminfo: memFree=981616/2055920 swapFree=4179604/4192956
[pid=23772] ppid=23770 vsize=13600 CPUtime=24.13
/proc/23772/stat : 23772 (sugar) S 23770 23772 23025 0 -1 4194304 1033 88189 0 2 3 1 2271 138 16 0 1 0 1990510033 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23772/statm: 3400 799 370 3 0 500 0
[pid=23795] ppid=23772 vsize=5356 CPUtime=0
/proc/23795/stat : 23795 (sh) S 23772 23772 23025 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1990512487 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23795/statm: 1339 232 193 169 0 50 0
[pid=23796] ppid=23795 vsize=540012 CPUtime=1625.98
/proc/23796/stat : 23796 (minisat) R 23795 23772 23025 0 -1 4194304 131500 0 0 0 162474 124 0 0 25 0 1 0 1990512487 552972288 131486 996147200 134512640 135127466 4294956272 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/23796/statm: 135003 131486 76 150 0 134850 0
Current children cumulated CPU time (s) 1650.11
Current children cumulated vsize (KiB) 558968
[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 23824
/proc/meminfo: memFree=974832/2055920 swapFree=4179604/4192956
[pid=23772] ppid=23770 vsize=13600 CPUtime=24.13
/proc/23772/stat : 23772 (sugar) S 23770 23772 23025 0 -1 4194304 1033 88189 0 2 3 1 2271 138 16 0 1 0 1990510033 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23772/statm: 3400 799 370 3 0 500 0
[pid=23795] ppid=23772 vsize=5356 CPUtime=0
/proc/23795/stat : 23795 (sh) S 23772 23772 23025 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1990512487 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23795/statm: 1339 232 193 169 0 50 0
[pid=23796] ppid=23795 vsize=546832 CPUtime=1685.72
/proc/23796/stat : 23796 (minisat) R 23795 23772 23025 0 -1 4194304 133178 0 0 0 168447 125 0 0 25 0 1 0 1990512487 559955968 133164 996147200 134512640 135127466 4294956272 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/23796/statm: 136708 133164 76 150 0 136555 0
Current children cumulated CPU time (s) 1709.85
Current children cumulated vsize (KiB) 565788
[startup+1782.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 23824
/proc/meminfo: memFree=969328/2055920 swapFree=4179604/4192956
[pid=23772] ppid=23770 vsize=13600 CPUtime=24.13
/proc/23772/stat : 23772 (sugar) S 23770 23772 23025 0 -1 4194304 1033 88189 0 2 3 1 2271 138 16 0 1 0 1990510033 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23772/statm: 3400 799 370 3 0 500 0
[pid=23795] ppid=23772 vsize=5356 CPUtime=0
/proc/23795/stat : 23795 (sh) S 23772 23772 23025 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1990512487 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23795/statm: 1339 232 193 169 0 50 0
[pid=23796] ppid=23795 vsize=552144 CPUtime=1745.48
/proc/23796/stat : 23796 (minisat) R 23795 23772 23025 0 -1 4194304 134530 0 0 0 174422 126 0 0 25 0 1 0 1990512487 565395456 134516 996147200 134512640 135127466 4294956272 18446744073709551615 134530766 0 0 4096 3 0 0 0 17 0 0 0
/proc/23796/statm: 138036 134516 76 150 0 137883 0
Current children cumulated CPU time (s) 1769.61
Current children cumulated vsize (KiB) 571100
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812.9 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 23824
/proc/meminfo: memFree=965936/2055920 swapFree=4179604/4192956
[pid=23772] ppid=23770 vsize=13600 CPUtime=24.13
/proc/23772/stat : 23772 (sugar) S 23770 23772 23025 0 -1 4194304 1033 88189 0 2 3 1 2271 138 16 0 1 0 1990510033 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23772/statm: 3400 799 370 3 0 500 0
[pid=23795] ppid=23772 vsize=5356 CPUtime=0
/proc/23795/stat : 23795 (sh) S 23772 23772 23025 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1990512487 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23795/statm: 1339 232 193 169 0 50 0
[pid=23796] ppid=23795 vsize=555328 CPUtime=1775.96
/proc/23796/stat : 23796 (minisat) R 23795 23772 23025 0 -1 4194304 135356 0 0 0 177469 127 0 0 25 0 1 0 1990512487 568655872 135342 996147200 134512640 135127466 4294956272 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/23796/statm: 138832 135342 76 150 0 138679 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 574284
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1812.9 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 23824
/proc/meminfo: memFree=965936/2055920 swapFree=4179604/4192956
[pid=23772] ppid=23770 vsize=13600 CPUtime=24.13
/proc/23772/stat : 23772 (sugar) S 23770 23772 23025 0 -1 4194304 1033 88189 0 2 3 1 2271 138 16 0 1 0 1990510033 13926400 799 996147200 4194304 4206940 548682068608 18446744073709551615 228783599714 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/23772/statm: 3400 799 370 3 0 500 0
[pid=23795] ppid=23772 vsize=5356 CPUtime=0
/proc/23795/stat : 23795 (sh) S 23772 23772 23025 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 1990512487 5484544 232 996147200 4194304 4889804 548682068848 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23795/statm: 1339 232 193 169 0 50 0
[pid=23796] ppid=23795 vsize=555328 CPUtime=1775.96
/proc/23796/stat : 23796 (minisat) R 23795 23772 23025 0 -1 4194304 135356 0 0 0 177469 127 0 0 25 0 1 0 1990512487 568655872 135342 996147200 134512640 135127466 4294956272 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/23796/statm: 138832 135342 76 150 0 138679 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 574284
# WARNING:
# current cumulated CPU time (24.17 s) is less than in the last sample (1800.09 s)
# The time of a child was probably not reported to its father.
# (see the samples just above and below)
# Adding the difference (1775.92 s) to the 'lost time'.
[startup+1813.02 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 23824
/proc/meminfo: memFree=965936/2055920 swapFree=4179604/4192956
[pid=23772] ppid=23770 vsize=13600 CPUtime=24.17
/proc/23772/stat : 23772 (sugar) R 23770 23772 23025 0 -1 4194304 1070 88466 0 2 4 4 2271 138 17 0 1 0 1990510033 13926400 800 996147200 4194304 4206940 548682068608 18446744073709551615 228774876201 0 0 4224 16386 0 0 0 17 0 0 0
/proc/23772/statm: 3400 800 371 3 0 500 0
Current children cumulated CPU time (s) 24.17
Current children cumulated vsize (KiB) 13600
Solver just ended. Dumping a history of the last processes samples
[startup+1813.02 s]
/proc/loadavg: 1.99 1.98 1.99 3/76 23824
/proc/meminfo: memFree=965936/2055920 swapFree=4179604/4192956
[pid=23772] ppid=23770 vsize=13600 CPUtime=24.17
/proc/23772/stat : 23772 (sugar) R 23770 23772 23025 0 -1 4194304 1070 88466 0 2 4 4 2271 138 17 0 1 0 1990510033 13926400 800 996147200 4194304 4206940 548682068608 18446744073709551615 228774876201 0 0 4224 16386 0 0 0 17 0 0 0
/proc/23772/statm: 3400 800 371 3 0 500 0
Current children cumulated CPU time (s) 24.17
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): 1775.92
# lost CPU user time (s): 1774.68
# lost CPU system time (s): 1.24
Real time (s): 1813.06
CPU time (s): 1800.14
CPU user time (s): 1797.44
CPU system time (s): 2.70578
CPU usage (%): 99.2877
Max. virtual memory (cumulated for all children) (KiB): 908364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.7575
system time used= 1.46578
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89567
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= 6990
involuntary context switches= 7294
runsolver used 2.12068 second user time and 6.14307 second system time
The end
Begin job on node74 at 2008-07-03 22:06:29
IDJOB=1058504
IDBENCH=54132
IDSOLVER=346
FILE ID=node74/1058504-1215115589
PBS_JOBID= 7877060
Free space on /tmp= 103200 MiB
SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/compet02/normalized-patat-02-comp-3.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-1058504-1215115589/watcher-1058504-1215115589 -o /tmp/evaluation-result-1058504-1215115589/solver-1058504-1215115589 -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-1058504-1215115589.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 645b4d5985800c441d40903d8a951448
RANDOM SEED=1484633077
node74.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.259
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.259
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: 1574048 kB
Buffers: 33680 kB
Cached: 264048 kB
SwapCached: 6708 kB
Active: 201216 kB
Inactive: 217692 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1574048 kB
SwapTotal: 4192956 kB
SwapFree: 4179604 kB
Dirty: 6396 kB
Writeback: 0 kB
Mapped: 128708 kB
Slab: 47852 kB
Committed_AS: 4047220 kB
PageTables: 2004 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 103200 MiB
End job on node74 at 2008-07-03 22:36:44