0.00/0.04 c 0 Sugar v1-13 + HOME/minisat
0.00/0.04 c 0 BEGIN Sat Jul 12 11:12:32 2008
0.00/0.04 c 0 PID 12805
0.00/0.04 c 0 HOST node84.alineos.net
0.00/0.04 c 0 CONVERTING HOME/instance-1111788-1215853951.xml TO HOME/temp.csp
0.00/0.04 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.XML2CSP 'HOME/instance-1111788-1215853951.xml' 'HOME/temp.csp'
0.03/0.25 c 0 1 domains, 81 variables, 0 predicates, 1 relations, 18 constraints
0.03/0.30 c 0 ENCODING HOME/temp.csp TO HOME/temp.cnf
0.03/0.30 c 0 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -max -encode 'HOME/temp.csp' 'HOME/temp.cnf' 'HOME/temp.map'
0.03/0.37 c 0 Parsing HOME/temp.csp
0.23/0.60 c 0 parsed 101 expressions
0.23/0.61 c 0 Heap : 1 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
0.23/0.61 c 0 MAX CSP: 18 constraints
0.23/0.61 c 0 Converting to clausal form CSP
0.23/0.63 c 0 converted 13 (10%) expressions
0.23/0.63 c 0 converted 25 (20%) expressions
0.23/0.63 c 0 converted 37 (30%) expressions
0.23/0.63 c 0 converted 49 (40%) expressions
0.23/0.63 c 0 converted 61 (50%) expressions
0.23/0.63 c 0 converted 74 (60%) expressions
0.23/0.79 c 0 converted 86 (70%) expressions
1.01/1.16 c 1 converted 98 (80%) expressions
1.31/1.48 c 1 converted 110 (90%) expressions
1.51/1.67 c 1 converted 122 (100%) expressions
1.51/1.67 c 1 CSP : 117 integers, 0 booleans, 53 clauses, largest domain size 28
1.51/1.67 c 1 Heap : 31 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.51/1.67 c 1 Propagation in CSP
1.51/1.68 c 1 16 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.51/1.68 c 1 CSP : 117 integers, 0 booleans, 53 clauses, largest domain size 26
1.51/1.68 c 1 Heap : 31 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.51/1.68 c 1 Simplifing CSP by introducing new Boolean variables
1.51/1.68 c 1 CSP : 117 integers, 0 booleans, 53 clauses, largest domain size 26
1.51/1.68 c 1 Heap : 31 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
1.71/1.82 c 1 Encoding CSP to SAT : HOME/temp.cnf
1.71/1.83 c 1 12 (10%) CSP integer variables are encoded (288 clauses, 3024 bytes)
1.71/1.84 c 1 24 (20%) CSP integer variables are encoded (576 clauses, 6192 bytes)
1.71/1.84 c 1 36 (30%) CSP integer variables are encoded (864 clauses, 9360 bytes)
1.71/1.84 c 1 47 (40%) CSP integer variables are encoded (1128 clauses, 12601 bytes)
1.71/1.84 c 1 59 (50%) CSP integer variables are encoded (1416 clauses, 16345 bytes)
1.71/1.84 c 1 71 (60%) CSP integer variables are encoded (1704 clauses, 20089 bytes)
1.71/1.84 c 1 82 (70%) CSP integer variables are encoded (1944 clauses, 23209 bytes)
1.71/1.84 c 1 94 (80%) CSP integer variables are encoded (1944 clauses, 23209 bytes)
1.71/1.84 c 1 106 (90%) CSP integer variables are encoded (2003 clauses, 23976 bytes)
1.71/1.84 c 1 117 (100%) CSP integer variables are encoded (2059 clauses, 24704 bytes)
34.40/34.59 c 34 6 (10%) CSP clauses are encoded (236947 clauses, 14392774 bytes)
61.68/61.88 c 61 11 (20%) CSP clauses are encoded (432687 clauses, 27100144 bytes)
89.06/89.21 c 89 16 (30%) CSP clauses are encoded (628427 clauses, 40225334 bytes)
99.86/100.03 c 100 22 (40%) CSP clauses are encoded (706739 clauses, 45962833 bytes)
99.86/100.03 c 100 27 (50%) CSP clauses are encoded (706802 clauses, 45963802 bytes)
99.86/100.04 c 100 32 (60%) CSP clauses are encoded (706917 clauses, 45965620 bytes)
99.86/100.04 c 100 38 (70%) CSP clauses are encoded (707225 clauses, 45970858 bytes)
99.86/100.04 c 100 43 (80%) CSP clauses are encoded (707252 clauses, 45971278 bytes)
99.86/100.04 c 100 48 (90%) CSP clauses are encoded (707275 clauses, 45971629 bytes)
99.86/100.04 c 100 53 (100%) CSP clauses are encoded (707358 clauses, 45972963 bytes)
99.86/100.04 c 100 53 CSP clauses encoded
99.86/100.04 c 100 Writing map file : HOME/temp.map
99.86/100.04 c 100 Heap : 60 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
99.86/100.04 c 100 SAT : 2176 SAT variables, 707358 SAT clauses, 45972963 bytes
99.86/100.04 c 100 Heap : 60 MB used (max 728 MB), NonHeap : 14 MB used (max 121 MB)
99.92/100.11 c 100 OBJECTIVE minimize _COST
99.92/100.11 c 100 OBJECTIVE BOUND: 0 <= _COST <=
99.92/100.11 c 100 SEARCHING: _COST <= 9
99.92/100.11 c 100 SOLVING HOME/temp.cnf
99.92/100.11 c 100 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
99.92/100.11 c 100 This is MiniSat 2.0 beta
99.92/100.11 c 100 WARNING: for repeatability, setting FPU to use double precision
99.92/100.11 c 100 ============================[ Problem Statistics ]=============================
99.92/100.11 c 100 | |
99.92/100.11 c 100 | Number of variables: 2176 |
99.92/100.11 c 100 | Number of clauses: 707359 |
99.94/101.05 c 101 | Parsing time: 0.84 s |
100.92/101.11 c 101 ============================[ Search Statistics ]==============================
100.92/101.11 c 101 | Conflicts | ORIGINAL | LEARNT | Progress |
100.92/101.11 c 101 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
100.92/101.11 c 101 ===============================================================================
100.92/101.11 c 101 | 0 | 2131 707090 9035319 | 235696 0 nan | 0.000 % |
100.92/101.14 c 101 | 101 | 2131 707090 9035319 | 259266 101 7 | 2.068 % |
100.92/101.16 c 101 | 251 | 2131 707090 9035319 | 285192 251 7 | 2.068 % |
101.02/101.22 c 101 | 478 | 2131 707090 9035319 | 313712 478 7 | 2.068 % |
101.02/101.27 c 101 | 815 | 2131 707090 9035319 | 345083 815 8 | 2.068 % |
101.11/101.36 c 101 | 1322 | 2131 707090 9035319 | 379591 1322 9 | 2.068 % |
101.21/101.49 c 101 | 2081 | 2131 707090 9035319 | 417551 2081 9 | 2.068 % |
101.61/101.89 c 101 | 3221 | 2131 707090 9035319 | 459306 3221 9 | 2.068 % |
101.91/102.17 c 102 | 4931 | 2131 707090 9035319 | 505236 4931 9 | 2.068 % |
102.21/102.45 c 102 | 7493 | 2131 707090 9035319 | 555760 7493 10 | 2.068 % |
102.61/102.80 c 102 | 11337 | 2131 707090 9035319 | 611336 11337 10 | 2.068 % |
103.22/103.49 c 103 | 17103 | 2131 707090 9035319 | 672470 17103 11 | 2.068 % |
105.42/105.68 c 105 | 25752 | 2131 707090 9035319 | 739717 25752 11 | 2.068 % |
107.91/108.20 c 108 | 38727 | 2131 707090 9035319 | 813688 38727 11 | 2.068 % |
112.91/113.13 c 113 | 58188 | 2131 707090 9035319 | 895057 58188 12 | 2.068 % |
119.21/119.44 c 119 | 87380 | 2131 707090 9035319 | 984563 87380 12 | 2.068 % |
142.50/142.77 c 142 | 131169 | 2131 707090 9035319 | 1083019 131169 13 | 2.068 % |
176.38/176.65 c 176 | 196854 | 2131 707090 9035319 | 1191321 196854 14 | 2.068 % |
225.76/226.03 c 226 | 295380 | 2131 707090 9035319 | 1310453 295380 14 | 2.068 % |
255.54/255.86 c 255 ===============================================================================
255.54/255.86 c 255 restarts : 19
255.54/255.86 c 255 conflicts : 326295 (2099 /sec)
255.54/255.86 c 255 decisions : 431042 (1.45 % random) (2772 /sec)
255.54/255.86 c 255 propagations : 7973971 (51284 /sec)
255.54/255.86 c 255 conflict literals : 4772609 (24.25 % deleted)
255.54/255.86 c 255 Memory used : 99.02 MB
255.54/255.86 c 255 CPU time : 155.485 s
255.54/255.86 c 255
255.54/255.86 c 255 SATISFIABLE
255.54/255.88 c 255 FOUND: _COST <= 9
255.54/255.88 s SATISFIABLE
255.54/255.88 c 255 DECODING HOME/temp.out WITH HOME/temp.map
255.54/255.88 c 255 CMD java -Xmx700M -cp 'HOME/sugar-v1-13.jar' jp.ac.kobe_u.cs.sugar.SugarMain -competition -decode 'HOME/temp.out' 'HOME/temp.map'
255.63/255.96 c 256 Decoding HOME/temp.out
255.63/256.00 c 256 OBJECTIVE _COST 9
255.63/256.00 o 9
255.63/256.01 v 25 12 25 25 18 25 12 25 3 12 4 25 25 0 13 8 13 4 25 25 25 25 11 25 3 25 11 25 25 25 25 21 25 22 25 8 18 0 11 21 0 19 8 14 13 8 13 4 17 19 0 13 2 4 25 8 25 25 14 25 19 25 0 8 13 18 20 17 17 4 2 19 21 4 17 19 4 1 17 0 4
255.63/256.01 c 256 Heap : 0 MB used (max 728 MB), NonHeap : 13 MB used (max 121 MB)
255.63/256.04 c 256 OBJECTIVE BOUND: 0 <= _COST <= 9
255.63/256.04 c 256 SEARCHING: _COST <= 4
255.63/256.04 c 256 SOLVING HOME/temp.cnf
255.63/256.04 c 256 CMD HOME/minisat 'HOME/temp.cnf' 'HOME/temp.out'
255.63/256.04 c 256 This is MiniSat 2.0 beta
255.63/256.04 c 256 WARNING: for repeatability, setting FPU to use double precision
255.63/256.04 c 256 ============================[ Problem Statistics ]=============================
255.63/256.04 c 256 | |
255.63/256.04 c 256 | Number of variables: 2176 |
255.63/256.04 c 256 | Number of clauses: 707359 |
256.59/257.00 c 257 | Parsing time: 0.86 s |
256.69/257.05 c 257 ============================[ Search Statistics ]==============================
256.69/257.05 c 257 | Conflicts | ORIGINAL | LEARNT | Progress |
256.69/257.05 c 257 | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
256.69/257.05 c 257 ===============================================================================
256.69/257.05 c 257 | 0 | 2099 706891 9034813 | 235630 0 nan | 0.000 % |
256.69/257.07 c 257 | 100 | 2099 706891 9034813 | 259193 100 7 | 3.539 % |
256.79/257.11 c 257 | 250 | 2099 706891 9034813 | 285112 250 7 | 3.539 % |
256.79/257.17 c 257 | 475 | 2099 706891 9034813 | 313623 475 8 | 3.539 % |
256.79/257.19 c 257 | 812 | 2099 706891 9034813 | 344986 812 9 | 3.539 % |
256.99/257.31 c 257 | 1318 | 2099 706891 9034813 | 379485 1318 9 | 3.539 % |
256.99/257.40 c 257 | 2077 | 2099 706891 9034813 | 417433 2077 9 | 3.539 % |
257.19/257.58 c 257 | 3217 | 2099 706891 9034813 | 459176 3217 9 | 3.539 % |
257.39/257.78 c 257 | 4927 | 2099 706891 9034813 | 505094 4927 9 | 3.539 % |
257.78/258.13 c 258 | 7489 | 2099 706891 9034813 | 555604 7489 10 | 3.539 % |
258.27/258.61 c 258 | 11335 | 2099 706891 9034813 | 611164 11335 10 | 3.539 % |
258.96/259.38 c 259 | 17102 | 2099 706891 9034813 | 672280 17102 11 | 3.539 % |
260.54/260.93 c 260 | 25753 | 2099 706891 9034813 | 739508 25753 11 | 3.539 % |
274.17/274.77 c 274 | 38727 | 2099 706891 9034813 | 813459 38727 14 | 3.539 % |
292.75/293.51 c 293 | 58188 | 2099 706891 9034813 | 894805 58188 14 | 3.539 % |
339.45/340.81 c 340 | 87380 | 2099 706891 9034813 | 984286 87380 17 | 3.539 % |
380.14/382.01 c 382 | 131170 | 2099 706891 9034813 | 1082715 131170 17 | 3.539 % |
494.21/497.58 c 497 | 196854 | 2099 706891 9034813 | 1190986 196854 19 | 3.539 % |
630.50/635.53 c 635 | 295381 | 2099 706891 9034813 | 1310085 295381 19 | 3.539 % |
1107.59/1118.70 c 1118 | 443170 | 2099 706891 9034813 | 1441093 443170 22 | 3.539 % |
1750.92/1770.01 c 1770 | 664853 | 2099 706891 9034813 | 1585203 664853 23 | 3.539 % |
3600.01/3640.72 c ERROR INTERRUPTED
3600.01/3640.74 c 3640 CPU 255 (0.03 0.01 254.97 0.75)
3600.01/3640.74 c 3640 END Sat Jul 12 12:13:12 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-1111788-1215853951/watcher-1111788-1215853951 -o /tmp/evaluation-result-1111788-1215853951/solver-1111788-1215853951 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java=java -Xmx700M -jar=HOME/sugar-v1-13.jar -solver=HOME/minisat -tmp=HOME/temp HOME/instance-1111788-1215853951.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: 1.92 1.98 1.99 4/111 12805
/proc/meminfo: memFree=1801616/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=12272 CPUtime=0
/proc/12805/stat : 12805 (sugar) R 12803 12805 12482 0 -1 4194304 401 0 0 0 0 0 0 0 18 0 1 0 42092503 12566528 369 996147200 4194304 4206940 548682068592 18446744073709551615 243665375969 0 0 4224 0 0 0 0 17 1 0 0
/proc/12805/statm: 3068 370 274 3 0 168 0
[startup+0.071283 s]
/proc/loadavg: 1.92 1.98 1.99 4/111 12805
/proc/meminfo: memFree=1801616/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=0.03
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 898 127 0 0 3 0 0 0 16 0 1 0 42092503 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12805/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.101304 s]
/proc/loadavg: 1.92 1.98 1.99 4/111 12805
/proc/meminfo: memFree=1801616/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=0.03
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 898 127 0 0 3 0 0 0 16 0 1 0 42092503 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12805/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.301319 s]
/proc/loadavg: 1.92 1.98 1.99 4/111 12805
/proc/meminfo: memFree=1801616/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=0.03
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 916 127 0 0 3 0 0 0 15 0 1 0 42092503 13926400 796 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12805/statm: 3400 796 370 3 0 500 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13600
[startup+0.701389 s]
/proc/loadavg: 1.92 1.98 1.99 4/111 12805
/proc/meminfo: memFree=1801616/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=0.23
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 974 4547 0 1 3 0 17 3 15 0 1 0 42092503 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12805/statm: 3400 797 370 3 0 500 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 13600
[startup+1.50154 s]
/proc/loadavg: 1.92 1.98 1.99 3/122 12827
/proc/meminfo: memFree=1785400/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=0.23
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 974 4547 0 1 3 0 17 3 15 0 1 0 42092503 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12805/statm: 3400 797 370 3 0 500 0
[pid=12818] ppid=12805 vsize=5356 CPUtime=0
/proc/12818/stat : 12818 (sh) S 12805 12805 12482 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 42092533 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12818/statm: 1339 233 193 169 0 50 0
[pid=12819] ppid=12818 vsize=864132 CPUtime=1.18
/proc/12819/stat : 12819 (java) S 12818 12805 12482 0 -1 0 10944 0 1 0 113 5 0 0 18 0 9 0 42092533 884871168 10093 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12819/statm: 216033 10093 2540 9 0 210608 0
[pid=12819/tid=12820] ppid=12818 vsize=864132 CPUtime=0.63
/proc/12819/task/12820/stat : 12820 (java) R 12818 12805 12482 0 -1 64 2947 0 1 0 62 1 0 0 20 0 9 0 42092534 884871168 10093 996147200 134512640 134550740 4294955936 18446744073709551615 103568448 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12821] ppid=12818 vsize=864132 CPUtime=0.49
/proc/12819/task/12821/stat : 12821 (java) S 12818 12805 12482 0 -1 64 6996 0 0 0 46 3 0 0 17 0 9 0 42092535 884871168 10093 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12822] ppid=12818 vsize=864132 CPUtime=0
/proc/12819/task/12822/stat : 12822 (java) S 12818 12805 12482 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 42092535 884871168 10093 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12823] ppid=12818 vsize=864132 CPUtime=0
/proc/12819/task/12823/stat : 12823 (java) S 12818 12805 12482 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42092535 884871168 10093 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12824] ppid=12818 vsize=864132 CPUtime=0
/proc/12819/task/12824/stat : 12824 (java) S 12818 12805 12482 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 42092537 884871168 10093 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12825] ppid=12818 vsize=864132 CPUtime=0.04
/proc/12819/task/12825/stat : 12825 (java) S 12818 12805 12482 0 -1 64 308 0 0 0 4 0 0 0 16 0 9 0 42092537 884871168 10093 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12826] ppid=12818 vsize=864132 CPUtime=0
/proc/12819/task/12826/stat : 12826 (java) S 12818 12805 12482 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42092537 884871168 10093 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12827] ppid=12818 vsize=864132 CPUtime=0
/proc/12819/task/12827/stat : 12827 (java) S 12818 12805 12482 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42092537 884871168 10093 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 883088
[startup+3.10283 s]
/proc/loadavg: 1.92 1.98 1.99 3/122 12827
/proc/meminfo: memFree=1758072/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=0.23
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 974 4547 0 1 3 0 17 3 15 0 1 0 42092503 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12805/statm: 3400 797 370 3 0 500 0
[pid=12818] ppid=12805 vsize=5356 CPUtime=0
/proc/12818/stat : 12818 (sh) S 12805 12805 12482 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 42092533 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12818/statm: 1339 233 193 169 0 50 0
[pid=12819] ppid=12818 vsize=864272 CPUtime=2.78
/proc/12819/stat : 12819 (java) S 12818 12805 12482 0 -1 0 13765 0 1 0 272 6 0 0 18 0 9 0 42092533 885014528 12855 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12819/statm: 216068 12855 2564 9 0 210615 0
[pid=12819/tid=12820] ppid=12818 vsize=864272 CPUtime=1.95
/proc/12819/task/12820/stat : 12820 (java) R 12818 12805 12482 0 -1 64 3177 0 1 0 194 1 0 0 25 0 9 0 42092534 885014528 12855 996147200 134512640 134550740 4294955936 18446744073709551615 4126602280 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12821] ppid=12818 vsize=864272 CPUtime=0.73
/proc/12819/task/12821/stat : 12821 (java) S 12818 12805 12482 0 -1 64 9564 0 0 0 69 4 0 0 16 0 9 0 42092535 885014528 12855 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12822] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12822/stat : 12822 (java) S 12818 12805 12482 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 42092535 885014528 12855 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12823] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12823/stat : 12823 (java) S 12818 12805 12482 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42092535 885014528 12855 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12824] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12824/stat : 12824 (java) S 12818 12805 12482 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 42092537 885014528 12855 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12825] ppid=12818 vsize=864272 CPUtime=0.08
/proc/12819/task/12825/stat : 12825 (java) S 12818 12805 12482 0 -1 64 331 0 0 0 8 0 0 0 16 0 9 0 42092537 885014528 12855 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12826] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12826/stat : 12826 (java) S 12818 12805 12482 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42092537 885014528 12855 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12827] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12827/stat : 12827 (java) S 12818 12805 12482 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42092537 885014528 12855 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 883228
[startup+6.30141 s]
/proc/loadavg: 1.93 1.98 1.99 3/122 12827
/proc/meminfo: memFree=1754680/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=0.23
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 974 4547 0 1 3 0 17 3 15 0 1 0 42092503 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12805/statm: 3400 797 370 3 0 500 0
[pid=12818] ppid=12805 vsize=5356 CPUtime=0
/proc/12818/stat : 12818 (sh) S 12805 12805 12482 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 42092533 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12818/statm: 1339 233 193 169 0 50 0
[pid=12819] ppid=12818 vsize=864272 CPUtime=5.98
/proc/12819/stat : 12819 (java) S 12818 12805 12482 0 -1 0 14794 0 1 0 591 7 0 0 18 0 9 0 42092533 885014528 13852 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12819/statm: 216068 13852 2564 9 0 210615 0
[pid=12819/tid=12820] ppid=12818 vsize=864272 CPUtime=5.09
/proc/12819/task/12820/stat : 12820 (java) R 12818 12805 12482 0 -1 64 3209 0 1 0 508 1 0 0 25 0 9 0 42092534 885014528 13852 996147200 134512640 134550740 4294955936 18446744073709551615 4126602353 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12821] ppid=12818 vsize=864272 CPUtime=0.78
/proc/12819/task/12821/stat : 12821 (java) S 12818 12805 12482 0 -1 64 10561 0 0 0 74 4 0 0 16 0 9 0 42092535 885014528 13852 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12822] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12822/stat : 12822 (java) S 12818 12805 12482 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 42092535 885014528 13852 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12823] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12823/stat : 12823 (java) S 12818 12805 12482 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42092535 885014528 13852 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12824] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12824/stat : 12824 (java) S 12818 12805 12482 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 42092537 885014528 13852 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12825] ppid=12818 vsize=864272 CPUtime=0.08
/proc/12819/task/12825/stat : 12825 (java) S 12818 12805 12482 0 -1 64 331 0 0 0 8 0 0 0 16 0 9 0 42092537 885014528 13852 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12826] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12826/stat : 12826 (java) S 12818 12805 12482 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42092537 885014528 13852 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12827] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12827/stat : 12827 (java) S 12818 12805 12482 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42092537 885014528 13852 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 883228
[startup+12.7026 s]
/proc/loadavg: 1.93 1.98 1.99 3/122 12827
/proc/meminfo: memFree=1745976/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=0.23
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 974 4547 0 1 3 0 17 3 15 0 1 0 42092503 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12805/statm: 3400 797 370 3 0 500 0
[pid=12818] ppid=12805 vsize=5356 CPUtime=0
/proc/12818/stat : 12818 (sh) S 12805 12805 12482 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 42092533 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12818/statm: 1339 233 193 169 0 50 0
[pid=12819] ppid=12818 vsize=864272 CPUtime=12.37
/proc/12819/stat : 12819 (java) S 12818 12805 12482 0 -1 0 16308 0 1 0 1227 10 0 0 18 0 9 0 42092533 885014528 15281 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12819/statm: 216068 15281 2564 9 0 210615 0
[pid=12819/tid=12820] ppid=12818 vsize=864272 CPUtime=11.35
/proc/12819/task/12820/stat : 12820 (java) R 12818 12805 12482 0 -1 64 3295 0 1 0 1132 3 0 0 25 0 9 0 42092534 885014528 15281 996147200 134512640 134550740 4294955936 18446744073709551615 4126557010 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12821] ppid=12818 vsize=864272 CPUtime=0.9
/proc/12819/task/12821/stat : 12821 (java) S 12818 12805 12482 0 -1 64 11986 0 0 0 85 5 0 0 16 0 9 0 42092535 885014528 15281 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12822] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12822/stat : 12822 (java) S 12818 12805 12482 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 42092535 885014528 15281 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12823] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12823/stat : 12823 (java) S 12818 12805 12482 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 42092535 885014528 15281 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12824] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12824/stat : 12824 (java) S 12818 12805 12482 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 42092537 885014528 15281 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12825] ppid=12818 vsize=864272 CPUtime=0.08
/proc/12819/task/12825/stat : 12825 (java) S 12818 12805 12482 0 -1 64 334 0 0 0 8 0 0 0 16 0 9 0 42092537 885014528 15281 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12826] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12826/stat : 12826 (java) S 12818 12805 12482 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 42092537 885014528 15281 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12827] ppid=12818 vsize=864272 CPUtime=0
/proc/12819/task/12827/stat : 12827 (java) S 12818 12805 12482 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 42092537 885014528 15281 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 883228
[startup+25.5019 s]
/proc/loadavg: 1.95 1.98 1.99 3/122 12827
/proc/meminfo: memFree=1727800/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=0.23
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 974 4547 0 1 3 0 17 3 15 0 1 0 42092503 13926400 797 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 1 0 0
/proc/12805/statm: 3400 797 370 3 0 500 0
[pid=12818] ppid=12805 vsize=5356 CPUtime=0
/proc/12818/stat : 12818 (sh) S 12805 12805 12482 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 42092533 5484544 233 996147200 4194304 4889804 548682068704 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12818/statm: 1339 233 193 169 0 50 0
[pid=12819] ppid=12818 vsize=864368 CPUtime=25.17
/proc/12819/stat : 12819 (java) S 12818 12805 12482 0 -1 0 21621 0 1 0 2501 16 0 0 18 0 9 0 42092533 885112832 17894 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12819/statm: 216092 17894 2564 9 0 210639 0
[pid=12819/tid=12820] ppid=12818 vsize=864368 CPUtime=23.7
/proc/12819/task/12820/stat : 12820 (java) R 12818 12805 12482 0 -1 64 3453 0 1 0 2364 6 0 0 25 0 9 0 42092534 885112832 17894 996147200 134512640 134550740 4294955936 18446744073709551615 4126583506 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12821] ppid=12818 vsize=864368 CPUtime=1.35
/proc/12819/task/12821/stat : 12821 (java) S 12818 12805 12482 0 -1 64 17136 0 0 0 127 8 0 0 16 0 9 0 42092535 885112832 17894 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12822] ppid=12818 vsize=864368 CPUtime=0
/proc/12819/task/12822/stat : 12822 (java) S 12818 12805 12482 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 42092535 885112832 17894 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12819/tid=12823] ppid=12818 vsize=864368 CPUtime=0
/proc/12819/task/12823/stat : 12823 (java) S 12818 12805 12482 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 42092535 885112832 17894 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/meminfo: memFree=1565176/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=255.76
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 1169 62966 0 3 3 1 25497 75 16 0 1 0 42092503 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12805/statm: 3400 803 374 3 0 500 0
[pid=12840] ppid=12805 vsize=5356 CPUtime=0
/proc/12840/stat : 12840 (sh) S 12805 12805 12482 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42118107 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12840/statm: 1339 232 193 169 0 50 0
[pid=12841] ppid=12840 vsize=190648 CPUtime=2870.13
/proc/12841/stat : 12841 (minisat) R 12840 12805 12482 0 -1 4194304 46562 0 0 0 286969 44 0 0 25 0 1 0 42118107 195223552 46548 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/12841/statm: 47662 46548 76 150 0 47509 0
Current children cumulated CPU time (s) 3125.89
Current children cumulated vsize (KiB) 209604
[startup+3222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/114 12849
/proc/meminfo: memFree=1563128/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=255.76
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 1169 62966 0 3 3 1 25497 75 16 0 1 0 42092503 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12805/statm: 3400 803 374 3 0 500 0
[pid=12840] ppid=12805 vsize=5356 CPUtime=0
/proc/12840/stat : 12840 (sh) S 12805 12805 12482 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42118107 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12840/statm: 1339 232 193 169 0 50 0
[pid=12841] ppid=12840 vsize=192700 CPUtime=2929.39
/proc/12841/stat : 12841 (minisat) R 12840 12805 12482 0 -1 4194304 47060 0 0 0 292894 45 0 0 25 0 1 0 42118107 197324800 47046 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/12841/statm: 48175 47046 76 150 0 48022 0
Current children cumulated CPU time (s) 3185.15
Current children cumulated vsize (KiB) 211656
[startup+3282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/114 12849
/proc/meminfo: memFree=1561848/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=255.76
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 1169 62966 0 3 3 1 25497 75 16 0 1 0 42092503 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12805/statm: 3400 803 374 3 0 500 0
[pid=12840] ppid=12805 vsize=5356 CPUtime=0
/proc/12840/stat : 12840 (sh) S 12805 12805 12482 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42118107 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12840/statm: 1339 232 193 169 0 50 0
[pid=12841] ppid=12840 vsize=193876 CPUtime=2988.64
/proc/12841/stat : 12841 (minisat) R 12840 12805 12482 0 -1 4194304 47362 0 0 0 298819 45 0 0 25 0 1 0 42118107 198529024 47348 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/12841/statm: 48469 47348 76 150 0 48316 0
Current children cumulated CPU time (s) 3244.4
Current children cumulated vsize (KiB) 212832
[startup+3342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/114 12849
/proc/meminfo: memFree=1560568/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=255.76
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 1169 62966 0 3 3 1 25497 75 16 0 1 0 42092503 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12805/statm: 3400 803 374 3 0 500 0
[pid=12840] ppid=12805 vsize=5356 CPUtime=0
/proc/12840/stat : 12840 (sh) S 12805 12805 12482 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42118107 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12840/statm: 1339 232 193 169 0 50 0
[pid=12841] ppid=12840 vsize=195064 CPUtime=3047.89
/proc/12841/stat : 12841 (minisat) R 12840 12805 12482 0 -1 4194304 47667 0 0 0 304744 45 0 0 25 0 1 0 42118107 199745536 47653 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 0 0 0
/proc/12841/statm: 48766 47653 76 150 0 48613 0
Current children cumulated CPU time (s) 3303.65
Current children cumulated vsize (KiB) 214020
[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 12881
/proc/meminfo: memFree=1569264/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=255.76
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 1169 62966 0 3 3 1 25497 75 16 0 1 0 42092503 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12805/statm: 3400 803 374 3 0 500 0
[pid=12840] ppid=12805 vsize=5356 CPUtime=0
/proc/12840/stat : 12840 (sh) S 12805 12805 12482 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42118107 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12840/statm: 1339 232 193 169 0 50 0
[pid=12841] ppid=12840 vsize=196276 CPUtime=3107.28
/proc/12841/stat : 12841 (minisat) R 12840 12805 12482 0 -1 4194304 47977 0 0 0 310682 46 0 0 25 0 1 0 42118107 200986624 47963 996147200 134512640 135127466 4294956256 18446744073709551615 134530686 0 0 4096 3 0 0 0 17 1 0 0
/proc/12841/statm: 49069 47963 76 150 0 48916 0
Current children cumulated CPU time (s) 3363.04
Current children cumulated vsize (KiB) 215232
[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 12881
/proc/meminfo: memFree=1567920/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=255.76
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 1169 62966 0 3 3 1 25497 75 16 0 1 0 42092503 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12805/statm: 3400 803 374 3 0 500 0
[pid=12840] ppid=12805 vsize=5356 CPUtime=0
/proc/12840/stat : 12840 (sh) S 12805 12805 12482 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42118107 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12840/statm: 1339 232 193 169 0 50 0
[pid=12841] ppid=12840 vsize=197388 CPUtime=3166.92
/proc/12841/stat : 12841 (minisat) R 12840 12805 12482 0 -1 4194304 48269 0 0 0 316645 47 0 0 25 0 1 0 42118107 202125312 48255 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/12841/statm: 49347 48255 76 150 0 49194 0
Current children cumulated CPU time (s) 3422.68
Current children cumulated vsize (KiB) 216344
[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 12881
/proc/meminfo: memFree=1566576/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=255.76
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 1169 62966 0 3 3 1 25497 75 16 0 1 0 42092503 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12805/statm: 3400 803 374 3 0 500 0
[pid=12840] ppid=12805 vsize=5356 CPUtime=0
/proc/12840/stat : 12840 (sh) S 12805 12805 12482 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42118107 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12840/statm: 1339 232 193 169 0 50 0
[pid=12841] ppid=12840 vsize=198708 CPUtime=3226.55
/proc/12841/stat : 12841 (minisat) R 12840 12805 12482 0 -1 4194304 48619 0 0 0 322608 47 0 0 25 0 1 0 42118107 203476992 48605 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/12841/statm: 49677 48605 76 150 0 49524 0
Current children cumulated CPU time (s) 3482.31
Current children cumulated vsize (KiB) 217664
[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 12881
/proc/meminfo: memFree=1565296/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=255.76
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 1169 62966 0 3 3 1 25497 75 16 0 1 0 42092503 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12805/statm: 3400 803 374 3 0 500 0
[pid=12840] ppid=12805 vsize=5356 CPUtime=0
/proc/12840/stat : 12840 (sh) S 12805 12805 12482 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42118107 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12840/statm: 1339 232 193 169 0 50 0
[pid=12841] ppid=12840 vsize=199916 CPUtime=3286.19
/proc/12841/stat : 12841 (minisat) R 12840 12805 12482 0 -1 4194304 48928 0 0 0 328571 48 0 0 25 0 1 0 42118107 204713984 48914 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/12841/statm: 49979 48914 76 150 0 49826 0
Current children cumulated CPU time (s) 3541.95
Current children cumulated vsize (KiB) 218872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3640.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 12881
/proc/meminfo: memFree=1564144/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=255.76
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 1169 62966 0 3 3 1 25497 75 16 0 1 0 42092503 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12805/statm: 3400 803 374 3 0 500 0
[pid=12840] ppid=12805 vsize=5356 CPUtime=0
/proc/12840/stat : 12840 (sh) S 12805 12805 12482 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42118107 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12840/statm: 1339 232 193 169 0 50 0
[pid=12841] ppid=12840 vsize=201144 CPUtime=3344.25
/proc/12841/stat : 12841 (minisat) R 12840 12805 12482 0 -1 4194304 49225 0 0 0 334377 48 0 0 25 0 1 0 42118107 205971456 49211 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/12841/statm: 50286 49211 76 150 0 50133 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 220100
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+3640.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/107 12881
/proc/meminfo: memFree=1564144/2055920 swapFree=4192812/4192956
[pid=12805] ppid=12803 vsize=13600 CPUtime=255.76
/proc/12805/stat : 12805 (sugar) S 12803 12805 12482 0 -1 4194304 1169 62966 0 3 3 1 25497 75 16 0 1 0 42092503 13926400 803 996147200 4194304 4206940 548682068592 18446744073709551615 243674427490 0 0 4224 16386 18446744071563648864 0 0 17 0 0 0
/proc/12805/statm: 3400 803 374 3 0 500 0
[pid=12840] ppid=12805 vsize=5356 CPUtime=0
/proc/12840/stat : 12840 (sh) S 12805 12805 12482 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 42118107 5484544 232 996147200 4194304 4889804 548682068832 18446744073709551615 243665527620 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12840/statm: 1339 232 193 169 0 50 0
[pid=12841] ppid=12840 vsize=201144 CPUtime=3344.25
/proc/12841/stat : 12841 (minisat) R 12840 12805 12482 0 -1 4194304 49225 0 0 0 334377 48 0 0 25 0 1 0 42118107 205971456 49211 996147200 134512640 135127466 4294956256 18446744073709551615 134530630 0 0 4096 3 0 0 0 17 1 0 0
/proc/12841/statm: 50286 49211 76 150 0 50133 0
Current children cumulated CPU time (s) 3600.01
Current children cumulated vsize (KiB) 220100
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12805 and gives
# childrusage.ru_utime.tv_sec=255
# childrusage.ru_utime.tv_usec=12232
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=794879
# CPU time returned by wait4() is 255.807
# while last known CPU time is 3600.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 3640.76
CPU time (s): 3600.01
CPU user time (s): 3598.77
CPU system time (s): 1.24
CPU usage (%): 98.8806
Max. virtual memory (cumulated for all children) (KiB): 888704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 255.012
system time used= 0.794879
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64478
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10825
involuntary context switches= 9164
runsolver used 4.97324 second user time and 15.2347 second system time
The end
Begin job on node84 at 2008-07-12 11:12:32
IDJOB=1111788
IDBENCH=61323
IDSOLVER=368
FILE ID=node84/1111788-1215853951
PBS_JOBID= 7903432
Free space on /tmp= 66560 MiB
SOLVER NAME= Sugar v1.13+minisat
BENCH NAME= CPAI08/csp/lexVg/normalized-crossword-m1c-lex-vg9-9_ext.xml
COMMAND LINE= DIR/sugar -max -c -vv -java="java -Xmx700M" -jar="DIR/sugar-v1-13.jar" -solver="DIR/minisat" -tmp="TMPDIR/temp" BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1111788-1215853951/watcher-1111788-1215853951 -o /tmp/evaluation-result-1111788-1215853951/solver-1111788-1215853951 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/sugar -max -c -vv -java="java -Xmx700M" -jar="HOME/sugar-v1-13.jar" -solver="HOME/minisat" -tmp="HOME/temp" HOME/instance-1111788-1215853951.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 12c563a014452c8c9bf97415b366b304
RANDOM SEED=1514653532
node84.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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1802032 kB
Buffers: 26604 kB
Cached: 91852 kB
SwapCached: 0 kB
Active: 123820 kB
Inactive: 63768 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1802032 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1360 kB
Writeback: 0 kB
Mapped: 90720 kB
Slab: 47992 kB
Committed_AS: 1096104 kB
PageTables: 4488 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= 66552 MiB
End job on node84 at 2008-07-12 12:13:14