Trace number 3321274
Some explanations
A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process.
The trace of the execution of a solver is divided into four (or five) parts:
-
SOLVER DATA
This is the output of the solver (stdout and stderr).
Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.
When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.
As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
-
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
-
CONVERSION SCRIPT DATA (Optionnal)
When a conversion script is used, this section shows the messages that were output by the conversion script.
-
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver.
The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
-
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.
Solver answer on this benchmark
General information on the benchmark
| Name | SAT02/industrial/nam/fpga-routing/
k2fix_gr_rcs_w9.shuffled.cnf |
| MD5SUM | 3469bb30890bba597175d692c3430b0e |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 39.8739 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 11313 |
| Number of clauses | 305160 |
| Sum of the clauses size | 619119 |
| Maximum clause length | 9 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 303903 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 1257 |
Solver Data
0.00/0.00 c Outputting solution to console
0.00/0.02 c Using 8 threads
0.00/0.03 c This is CryptoMiniSat 3.0.0
0.00/0.03 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03 c Reading file 'HOME/instance-3321274-1304342622.cnf'
0.00/0.03 c -- header says num vars: 11313
0.00/0.03 c -- header says num clauses: 305160
1.17/0.29 c -- clauses added: 0 learnts, 305160 normals, 0 xors
1.17/0.29 c -- vars added 11313
1.17/0.29 c Parsing time: 0.11 s
1.17/0.29 c N st 0 0 11313 1257 303903 0 619119 0 no data no data
1.17/0.29 c asymm cl-useful: 0/1257/1257 lits-rem:0 time: 0.01
2.58/0.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.1M T: 0.12
2.58/0.45 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3.37/0.50 c bin-w-bin subsume rem 0 bins time: 0.04 s
3.37/0.50 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s
3.37/0.54 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 11313 time: 0.04 s
3.37/0.58 c Removed useless bin: 0 fixed: 0 props: 1.56M time: 0.04 s
5.37/0.84 c lits-rem: 1 cl-subs: 5 v-elim: 1376 v-fix: 0 time: 0.19 s
5.37/0.86 c Finding binary XORs T: 0.01 s found: 0
6.08/0.91 c Finding non-binary XORs: 0.03 s (found: 0, avg size: nan)
6.08/0.91 c calculated reachability. Time: 0.00
6.08/0.92 c Calc default polars - time: 0.01 s pos: 4999 undec: 1376 neg: 4938
6.08/0.92 c =========================================================================================
6.08/0.92 c types(t): F = full restart, N = normal restart
6.08/0.92 c types(t): S = simplification begin/end, E = solution found
6.08/0.92 c restart types(rt): st = static, dy = dynamic
6.08/0.92 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
6.08/0.92 c B st 0 0 9937 63711 240039 0 1080083 0 no data no data
11.65/1.60 c N dy 15 4066 9937 63711 240039 3992 1080083 140489 9.59 10.12
16.50/2.21 c N dy 32 8210 9937 63711 240041 5589 1080083 125892 9.39 9.91
21.23/2.89 c N dy 44 12927 9937 63711 240041 6012 1080083 119520 9.18 9.71
25.95/3.42 c N dy 56 16980 9937 63711 240041 9932 1080083 209564 8.99 9.98
29.51/3.97 c N dy 66 21014 9937 63711 240041 8388 1080083 175456 8.88 12.48
34.41/4.60 c F st 83 25000 9937 63711 240041 12284 1080083 267738 8.88 8.76
34.41/4.65 c Found part 0 vars: 9 clauses: 1 lits size: 9
34.41/4.65 c Found part 322 vars: 9928 clauses: 303749 lits size: 1080074
34.41/4.65 c Found parts: 2 time: 0.05 s
34.41/4.65 c Solving part 0
34.41/4.66 c N st 0 0 9 1 0 0 9 0 no data no data
34.41/4.66 c asymm cl-useful: 0/1/1 lits-rem:0 time: 0.00
34.41/4.66 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
34.41/4.66 c Finding binary XORs T: 0.00 s found: 0
34.41/4.66 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
34.41/4.66 c calculated reachability. Time: 0.00
34.41/4.66 c Calc default polars - time: 0.00 s pos: 8 undec: 11304 neg: 1
34.41/4.66 c =========================================================================================
34.41/4.66 c types(t): F = full restart, N = normal restart
34.41/4.66 c types(t): S = simplification begin/end, E = solution found
34.41/4.66 c restart types(rt): st = static, dy = dynamic
34.41/4.66 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
34.41/4.66 c B st 0 0 9 1 0 0 9 0 no data no data
34.41/4.66 c E st 1 0 0 1 0 0 9 0 no data no data
34.41/4.66 c Verified 1 clauses.
34.41/4.66 c Verified 1 clauses.
34.41/4.66 c Solved part
34.41/4.66 c =========================================================================================
34.41/4.66 c Coming back to original instance
34.41/4.66 c =========================================================================================
35.11/4.70 c N st 84 25252 9928 63710 240041 12517 1080074 272271 8.88 no data
38.60/5.30 c N dy 89 30001 9928 63710 240041 10471 1080074 218248 8.88 no data
38.60/5.30 c S st 89 30001 9928 63710 240041 10471 1080074 218248 8.88 no data
40.05/5.46 c S st 89 30502 9928 63710 240041 10967 1080074 237917 8.88 no data
40.05/5.48 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
45.60/6.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 32.7M T: 0.76
45.60/6.27 c blocked clauses removed: 0 vars: 0 tried: 9928 T: 0.00 s
45.60/6.29 c bin-w-bin subsume rem 0 bins time: 0.02 s
47.98/6.60 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.31 s
48.78/6.63 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9928 time: 0.03 s
48.78/6.66 c Removed useless bin: 0 fixed: 0 props: 1.24M time: 0.03 s
49.53/6.77 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.11 s
51.93/7.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.27 s
52.73/7.15 c lits-rem: 380 cl-subs: 764 v-elim: 0 v-fix: 0 time: 0.08 s
54.33/7.38 c asymm cl-useful: 0/8434/63710 lits-rem:0 time: 0.23
54.33/7.39 c calculated reachability. Time: 0.00
54.33/7.39 c N dy 89 30502 9928 63710 240041 10203 1080074 228200 8.88 no data
59.93/8.03 c N dy 107 34556 9928 63710 240041 14132 1080074 323648 8.91 9.49
66.36/8.84 c N dy 120 38787 9928 63710 240041 10592 1080074 208998 8.89 10.26
71.10/9.47 c N dy 134 43365 9928 63710 240041 14969 1080074 312154 8.88 9.36
74.35/9.87 c S st 145 45754 9928 63710 240041 17276 1080074 369826 8.89 7.42
75.90/10.07 c S st 145 46257 9928 63710 240041 9141 1080074 173247 8.89 no data
75.90/10.08 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
83.15/10.96 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 31.9M T: 0.88
83.15/10.99 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
83.95/11.01 c bin-w-bin subsume rem 0 bins time: 0.02 s
86.29/11.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.32 s
86.29/11.36 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9928 time: 0.03 s
86.29/11.39 c Removed useless bin: 0 fixed: 0 props: 1.24M time: 0.03 s
87.09/11.41 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
88.69/11.60 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.18 s
88.69/11.65 c lits-rem: 19 cl-subs: 430 v-elim: 0 v-fix: 0 time: 0.04 s
88.69/11.68 c vivif2 -- cl tried 63710 cl shrink 0 lits rem 0 time: 0.02
88.69/11.68 c vivif2 -- cl tried 8711 cl shrink 0 lits rem 0 time: 0.01
91.09/11.92 c asymm cl-useful: 0/5066/63710 lits-rem:0 time: 0.24
91.09/11.93 c calculated reachability. Time: 0.00
91.09/11.93 c N dy 145 46257 9928 63710 240041 8711 1080074 169112 8.89 no data
97.48/12.78 c N dy 175 50337 9928 63710 240041 12705 1080074 289376 9.06 16.47
103.87/13.58 c N dy 201 54555 9928 63710 240041 16805 1080074 402256 9.13 9.66
110.31/14.32 c N dy 226 58614 9928 63710 240042 11078 1080074 212023 9.19 14.88
114.26/14.89 c N dy 236 62710 9928 63710 240043 14992 1080074 300024 9.15 10.43
120.65/15.64 c N dy 262 66798 9928 63710 240043 18937 1080074 405383 9.22 9.82
125.45/16.20 c S st 281 69385 9928 63710 240043 10824 1080074 189632 9.28 8.27
126.25/16.39 c S st 281 69890 9928 63710 240043 11329 1080074 209672 9.28 no data
126.25/16.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
134.24/17.30 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 31.7M T: 0.90
134.24/17.33 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
134.24/17.35 c bin-w-bin subsume rem 0 bins time: 0.02 s
136.69/17.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.32 s
137.44/17.70 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9928 time: 0.03 s
137.44/17.73 c Removed useless bin: 0 fixed: 0 props: 1.24M time: 0.03 s
137.44/17.76 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
139.04/17.96 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.18 s
139.84/18.01 c lits-rem: 12 cl-subs: 432 v-elim: 0 v-fix: 0 time: 0.04 s
139.84/18.03 c vivif2 -- cl tried 63710 cl shrink 0 lits rem 0 time: 0.02
139.84/18.04 c vivif2 -- cl tried 10897 cl shrink 0 lits rem 0 time: 0.01
141.44/18.27 c asymm cl-useful: 0/4375/63710 lits-rem:0 time: 0.23
141.44/18.28 c calculated reachability. Time: 0.00
141.44/18.28 c N dy 281 69890 9928 63710 240043 10897 1080074 205728 9.28 no data
148.63/19.15 c N dy 302 75077 9928 63710 240043 15906 1080074 321926 9.26 9.95
155.02/19.93 c N dy 322 80222 9928 63710 240043 20864 1080074 440483 9.26 9.80
163.80/21.04 c N dy 357 85432 9928 63710 240043 14331 1080074 282248 9.33 13.87
167.00/21.47 c F st 374 87501 9928 63710 240043 16360 1080074 342980 9.37 no data
175.81/22.57 c N dy 380 92696 9928 63710 240043 21501 1080074 590526 9.37 no data
184.59/23.69 c N dy 408 98967 9928 63710 240043 14863 1080074 272600 9.38 10.10
193.37/24.76 c S st 432 104835 9928 63710 240043 20590 1080074 419968 9.38 no data
194.98/24.97 c S st 432 105337 9928 63710 240043 21088 1080074 441916 9.38 no data
194.98/24.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
202.97/25.96 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 32.9M T: 0.98
202.97/25.98 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
203.77/26.00 c bin-w-bin subsume rem 0 bins time: 0.02 s
206.21/26.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.32 s
206.21/26.35 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9928 time: 0.03 s
206.21/26.38 c Removed useless bin: 0 fixed: 0 props: 1.24M time: 0.03 s
207.01/26.41 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
210.95/26.96 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.53 s
212.55/27.10 c lits-rem: 126 cl-subs: 939 v-elim: 0 v-fix: 0 time: 0.12 s
212.55/27.13 c vivif2 -- cl tried 63710 cl shrink 0 lits rem 0 time: 0.02
212.55/27.14 c vivif2 -- cl tried 20149 cl shrink 0 lits rem 0 time: 0.02
214.15/27.37 c asymm cl-useful: 0/2912/63710 lits-rem:0 time: 0.23
214.15/27.38 c calculated reachability. Time: 0.00
214.15/27.38 c N dy 432 105337 9928 63710 240043 20149 1080074 428645 9.38 no data
226.95/28.91 c N dy 469 112193 9928 63710 240043 26815 1080074 606544 9.40 10.00
237.33/30.20 c N dy 497 119784 9928 63710 240043 20559 1080074 415226 9.41 10.00
248.51/31.61 c N dy 533 127442 9928 63710 240043 27942 1080074 598567 9.42 11.82
259.76/33.05 c N dy 575 135634 9928 63710 240043 21345 1080074 428420 9.41 11.73
274.90/34.95 c N dy 620 144388 9928 63710 240043 29844 1080074 669830 9.43 9.96
288.47/36.63 c N dy 658 154090 9928 63710 240043 23707 1080074 484475 9.43 10.02
295.66/37.51 c S st 683 158005 9928 63710 240043 27532 1080074 602088 9.45 no data
297.26/37.72 c S st 683 158512 9928 63710 240043 28036 1080074 625781 9.45 no data
297.26/37.74 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
305.26/38.76 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 33.3M T: 1.02
305.26/38.78 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
306.06/38.80 c bin-w-bin subsume rem 0 bins time: 0.02 s
308.46/39.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.32 s
308.46/39.16 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9928 time: 0.04 s
308.46/39.19 c Removed useless bin: 0 fixed: 0 props: 1.24M time: 0.03 s
309.25/39.22 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
316.45/40.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.87 s
318.05/40.38 c lits-rem: 227 cl-subs: 2140 v-elim: 0 v-fix: 0 time: 0.25 s
318.85/40.41 c vivif2 -- cl tried 63710 cl shrink 0 lits rem 0 time: 0.02
318.85/40.43 c vivif2 -- cl tried 25896 cl shrink 0 lits rem 0 time: 0.03
320.50/40.68 c asymm cl-useful: 0/2930/63710 lits-rem:0 time: 0.24
320.50/40.69 c calculated reachability. Time: 0.00
320.50/40.69 c N dy 683 158512 9928 63710 240043 25896 1080074 602033 9.45 no data
338.87/42.93 c N dy 746 168830 9928 63710 240043 19470 1080074 392104 9.49 10.06
358.00/45.33 c N dy 813 180219 9928 63710 240043 30512 1080074 709099 9.53 10.19
378.78/47.93 c N dy 878 192222 9928 63710 240043 24730 1080074 529421 9.56 10.11
401.15/50.78 c N dy 948 205123 9928 63710 240043 18817 1080074 351613 9.57 10.08
423.53/53.54 c N dy 1029 218699 9928 63710 240043 32024 1080074 725539 9.62 10.18
448.31/56.62 c N dy 1098 233185 9928 63710 240043 26631 1080074 549730 9.64 10.15
455.51/57.59 c S st 1122 237769 9928 63710 240043 31047 1080074 666141 9.64 8.16
457.91/57.82 c S st 1122 238275 9928 63710 240043 31553 1080074 687470 9.64 no data
457.91/57.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
466.69/58.92 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 34.8M T: 1.08
466.69/58.94 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
466.69/58.96 c bin-w-bin subsume rem 0 bins time: 0.02 s
469.09/59.28 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.32 s
469.93/59.32 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9928 time: 0.04 s
469.93/59.35 c Removed useless bin: 0 fixed: 0 props: 1.24M time: 0.03 s
469.93/59.38 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s
477.88/60.34 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.94 s
480.27/60.61 c lits-rem: 292 cl-subs: 2031 v-elim: 0 v-fix: 0 time: 0.25 s
480.27/60.64 c vivif2 -- cl tried 63710 cl shrink 0 lits rem 0 time: 0.02
480.27/60.67 c vivif2 -- cl tried 29522 cl shrink 0 lits rem 0 time: 0.03
482.66/60.90 c asymm cl-useful: 0/2763/63710 lits-rem:0 time: 0.23
482.66/60.91 c calculated reachability. Time: 0.00
482.66/60.91 c N dy 1122 238275 9928 63710 240043 29522 1080074 665119 9.64 no data
510.65/64.41 c N dy 1206 253687 9928 63710 240043 24103 1080074 467165 9.67 10.30
537.81/67.88 c N dy 1306 269925 9928 63710 240043 39927 1080074 910178 9.71 13.80
569.78/71.80 c N dy 1409 288105 9928 63710 240043 36209 1080074 809413 9.75 10.29
602.61/75.94 c F st 1503 306250 9928 63710 240043 31596 1080074 664984 9.77 9.91
603.36/76.04 c N st 1504 306503 9928 63710 240043 31845 1080074 673194 9.77 no data
637.77/80.38 c N dy 1588 326079 9928 63710 240043 27576 1080074 531659 9.79 15.17
671.30/84.57 c N dy 1685 346302 9928 63710 240043 47063 1080074 1055162 9.80 10.45
691.28/87.08 c S st 1748 357413 9928 63710 240043 33610 1080074 695108 9.81 no data
693.68/87.32 c S st 1748 357917 9928 63710 240043 34113 1080074 721534 9.81 no data
693.68/87.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
702.47/88.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 35.8M T: 1.11
702.47/88.47 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
702.47/88.49 c bin-w-bin subsume rem 0 bins time: 0.02 s
705.67/88.81 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.32 s
705.67/88.85 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9928 time: 0.04 s
705.67/88.88 c Removed useless bin: 0 fixed: 0 props: 1.24M time: 0.03 s
706.46/88.91 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s
714.45/89.95 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.01 s
716.90/90.23 c lits-rem: 179 cl-subs: 1857 v-elim: 0 v-fix: 0 time: 0.26 s
716.90/90.25 c vivif2 -- cl tried 63710 cl shrink 0 lits rem 0 time: 0.02
716.90/90.28 c vivif2 -- cl tried 32256 cl shrink 0 lits rem 0 time: 0.03
719.24/90.51 c asymm cl-useful: 0/2396/63710 lits-rem:0 time: 0.23
719.24/90.53 c calculated reachability. Time: 0.00
719.24/90.53 c N dy 1748 357917 9928 63710 240043 32256 1080074 701255 9.81 no data
758.41/95.48 c N dy 1868 377928 9928 63710 240043 26484 1080074 488019 9.85 15.65
795.22/100.07 c N dy 1978 397960 9928 63710 240043 45943 1080074 1050705 9.86 11.09
833.55/104.85 c N dy 2109 418088 9928 63710 240043 39257 1080074 840744 9.91 10.45
873.51/109.85 c N dy 2238 438133 9928 63710 240043 31584 1080074 611223 9.95 12.11
914.27/114.92 c N dy 2367 458165 9928 63710 240043 51146 1080074 1218766 9.99 12.78
951.03/119.52 c N dy 2483 478220 9928 63710 240043 42419 1080074 881857 10.01 12.29
993.38/124.88 c N dy 2606 498815 9928 63710 240043 33332 1080074 611740 10.03 10.72
1034.13/129.98 c N dy 2739 519319 9928 63710 240043 53265 1080074 1225020 10.07 10.69
1070.91/134.52 c S st 2859 536875 9928 63710 240043 40185 1080074 802210 10.10 no data
1072.51/134.78 c S st 2859 537376 9928 63710 240043 40684 1080074 823287 10.10 no data
1072.51/134.79 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
1082.10/135.95 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 36.9M T: 1.16
1082.10/135.98 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1082.90/136.00 c bin-w-bin subsume rem 0 bins time: 0.02 s
1085.34/136.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.32 s
1085.34/136.36 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9928 time: 0.03 s
1085.34/136.39 c Removed useless bin: 0 fixed: 0 props: 1.24M time: 0.03 s
1086.14/136.43 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s
1094.94/137.52 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.07 s
1097.29/137.89 c lits-rem: 285 cl-subs: 2685 v-elim: 0 v-fix: 0 time: 0.35 s
1098.09/137.91 c vivif2 -- cl tried 63710 cl shrink 0 lits rem 0 time: 0.02
1098.09/137.95 c vivif2 -- cl tried 37999 cl shrink 0 lits rem 0 time: 0.04
1099.68/138.20 c asymm cl-useful: 0/2205/63710 lits-rem:0 time: 0.24
1100.48/138.21 c calculated reachability. Time: 0.00
1100.48/138.21 c N dy 2859 537376 9928 63710 240043 37999 1080074 795498 10.10 no data
1141.24/143.39 c N dy 2970 557577 9928 63710 240043 57694 1080074 1388837 10.13 10.93
1180.41/148.25 c N dy 3090 577772 9928 63710 240043 46260 1080074 993607 10.15 10.73
1221.17/153.35 c N dy 3208 597839 9928 63710 240043 33677 1080074 595834 10.16 10.81
1260.34/158.24 c N dy 3333 617867 9928 63710 240043 53211 1080074 1213064 10.19 10.77
1304.30/163.73 c N dy 3471 637984 9928 63710 240043 39723 1080074 784082 10.22 10.88
1341.86/168.43 c N dy 3570 658020 9928 63710 240043 59207 1080074 1349972 10.23 14.21
1385.07/173.80 c N dy 3701 678026 9928 63710 240043 44633 1080074 913551 10.26 11.48
1426.57/179.07 c N dy 3841 698203 9928 63710 240043 64387 1080074 1533252 10.28 10.87
1468.93/184.33 c N dy 3967 718386 9928 63710 240043 48956 1080074 1032457 10.31 10.86
1512.09/189.73 c N dy 4093 739695 9928 63710 240043 69726 1080074 1678319 10.33 10.88
1560.89/195.84 c N dy 4230 760498 9928 63710 240043 53959 1080074 1172922 10.35 10.91
1616.00/202.77 c N dy 4382 780764 9928 63710 240043 73864 1080074 1838964 10.38 10.95
1660.75/208.31 c N dy 4517 800836 9928 63710 240043 56279 1080074 1229996 10.40 11.02
1670.34/209.60 c S st 4542 806064 9928 63710 240043 61369 1080074 1382249 10.41 9.09
1672.75/209.87 c S st 4542 806564 9928 63710 240043 61866 1080074 1399890 10.41 no data
1672.75/209.89 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
1683.98/211.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 37.9M T: 1.31
1683.98/211.23 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1683.98/211.25 c bin-w-bin subsume rem 0 bins time: 0.02 s
1686.33/211.58 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.33 s
1687.13/211.62 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9928 time: 0.04 s
1687.13/211.65 c Removed useless bin: 0 fixed: 0 props: 1.24M time: 0.03 s
1687.13/211.69 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s
1699.92/213.23 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.48 s
1707.11/214.18 c lits-rem: 929 cl-subs: 2766 v-elim: 0 v-fix: 0 time: 0.94 s
1707.91/214.20 c vivif2 -- cl tried 63710 cl shrink 0 lits rem 0 time: 0.02
1707.91/214.27 c vivif2 -- cl tried 59100 cl shrink 0 lits rem 0 time: 0.06
1710.36/214.51 c asymm cl-useful: 0/1986/63710 lits-rem:0 time: 0.25
1710.36/214.53 c calculated reachability. Time: 0.00
1710.36/214.53 c N dy 4542 806564 9928 63710 240043 59100 1080074 1363932 10.41 no data
1759.06/220.62 c N dy 4685 826891 9928 63710 240043 40918 1080074 738806 10.43 11.10
1809.42/226.91 c N dy 4835 846944 9928 63710 240043 60590 1080074 1407224 10.46 12.12
1859.01/233.19 c N dy 4956 867127 9928 63710 240043 41168 1080074 726392 10.47 11.08
1902.14/238.50 c N dy 5087 887280 9928 63710 240043 60870 1080074 1373240 10.49 11.05
1951.68/244.72 c N dy 5242 907343 9928 63710 240043 40419 1080074 686383 10.52 14.55
1994.83/250.10 c N dy 5370 927400 9928 63710 240043 60030 1080074 1325443 10.54 11.39
2043.64/256.20 c N dy 5526 947503 9928 63710 240043 79729 1080074 2002217 10.57 11.24
2089.14/261.93 c N dy 5676 967583 9928 63710 240043 58302 1080074 1274199 10.59 16.17
2136.30/267.81 c N dy 5822 987634 9928 63710 240043 77854 1080074 1938889 10.61 13.15
2183.46/273.73 c N dy 5959 1007700 9928 63710 240043 55446 1080074 1144846 10.63 12.40
2233.01/279.98 c N dy 6079 1027713 9928 63710 240043 74998 1080074 1794918 10.64 11.24
2283.36/286.20 c N dy 6211 1047917 9928 63710 240043 51767 1080074 1012260 10.66 11.22
2320.14/290.88 c N dy 6315 1067921 9928 63710 240043 71146 1080074 1617267 10.66 11.92
2329.72/292.03 c F st 6342 1071875 9928 63710 240043 74985 1080074 1742971 10.66 8.14
2368.92/296.92 c N dy 6418 1087949 9928 63710 240043 46775 1080074 817661 10.67 11.24
2413.69/302.59 c N dy 6567 1108303 9928 63710 240043 66771 1080074 1493938 10.69 11.25
2460.79/308.49 c N dy 6695 1128375 9928 63710 240043 86372 1080074 2147282 10.70 11.43
2503.15/313.79 c N dy 6820 1148441 9928 63710 240043 61027 1080074 1271822 10.71 11.30
2551.11/319.75 c N dy 6948 1168808 9928 63710 240043 80862 1080074 1898644 10.71 11.29
2596.67/325.50 c N dy 7085 1188822 9928 63710 240043 54475 1080074 1012145 10.73 11.61
2642.27/331.20 c N dy 7220 1209847 9928 63710 240043 75026 1080074 1667110 10.74 8.87
2642.27/331.20 c S st 7220 1209847 9928 63710 240043 75026 1080074 1667110 10.74 8.87
2644.61/331.45 c S st 7220 1210349 9928 63710 240043 75528 1080074 1688763 10.74 no data
2644.61/331.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
2655.81/332.84 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 39.5M T: 1.37
2655.81/332.86 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2655.81/332.88 c bin-w-bin subsume rem 0 bins time: 0.02 s
2658.21/333.20 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.32 s
2659.05/333.24 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9928 time: 0.04 s
2659.05/333.27 c Removed useless bin: 0 fixed: 0 props: 1.24M time: 0.03 s
2659.85/333.32 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s
2671.80/334.85 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.47 s
2681.39/336.02 c lits-rem: 409 cl-subs: 2946 v-elim: 0 v-fix: 0 time: 1.15 s
2681.39/336.04 c vivif2 -- cl tried 63710 cl shrink 0 lits rem 0 time: 0.02
2682.19/336.12 c vivif2 -- cl tried 72582 cl shrink 0 lits rem 0 time: 0.08
2683.78/336.38 c asymm cl-useful: 0/1893/63710 lits-rem:0 time: 0.26
2683.78/336.39 c calculated reachability. Time: 0.00
2683.78/336.39 c N dy 7220 1210349 9928 63710 240043 72582 1080074 1649425 10.74 no data
2734.13/342.61 c N dy 7357 1230380 9928 63710 240043 92173 1080074 2307787 10.75 11.33
2775.69/347.89 c N dy 7468 1250427 9928 63710 240043 64906 1080074 1344119 10.75 13.43
2822.84/353.77 c N dy 7598 1270512 9928 63710 240043 84590 1080074 1996419 10.76 12.18
2873.99/360.16 c N dy 7736 1290639 9928 63710 240043 56331 1080074 1044159 10.78 11.60
2917.16/365.50 c N dy 7862 1310672 9928 63710 240044 75813 1080074 1664871 10.79 13.50
2969.11/372.01 c N dy 8003 1330730 9928 63710 240044 95443 1080074 2342712 10.80 11.38
3013.07/377.56 c N dy 8143 1350733 9928 63710 240044 66209 1080074 1381162 10.81 15.05
3061.02/383.50 c N dy 8258 1370770 9928 63710 240046 85787 1080074 2015076 10.82 12.79
3111.36/389.84 c N dy 8387 1390809 9928 63710 240046 55598 1080074 1017495 10.83 13.62
3155.33/395.36 c N dy 8518 1410884 9928 63710 240046 75221 1080074 1667102 10.84 16.09
3202.48/401.21 c N dy 8635 1430983 9928 63710 240047 94817 1080074 2299574 10.85 11.74
3252.04/407.44 c N dy 8771 1451049 9928 63710 240049 63688 1080074 1262264 10.86 11.49
3298.39/413.28 c N dy 8901 1471438 9928 63710 240049 83637 1080074 1915430 10.87 11.46
3353.58/420.10 c N dy 9029 1491488 9928 63710 240053 103327 1080074 2579194 10.88 12.34
3396.70/425.54 c N dy 9151 1511571 9928 63710 240059 71034 1080074 1449844 10.88 11.68
3441.50/431.20 c N dy 9268 1531651 9928 63710 240066 90609 1080074 2093756 10.88 13.47
3495.06/437.83 c N dy 9398 1551841 9928 63710 240077 57544 1080074 1001012 10.89 11.60
3544.56/444.02 c N dy 9540 1571998 9927 63710 240088 77348 1080074 1668338 10.90 11.55
3598.12/450.71 c N dy 9682 1592083 9925 63710 240093 97046 1080074 2349457 10.91 12.71
3649.26/457.13 c N dy 9808 1612120 9925 63710 240111 62817 1080074 1167850 10.92 11.58
3689.23/462.15 c N dy 9889 1632188 9925 63710 240123 82364 1080074 1781099 10.92 11.54
3741.24/468.63 c N dy 10016 1652205 9924 63710 240145 102002 1080074 2447856 10.92 11.72
3791.54/474.91 c N dy 10143 1672354 9923 63710 240165 66906 1080074 1278112 10.93 11.67
3837.12/480.61 c Following stats are for *FIRST FINISHED THREAD ONLY*
3837.12/480.61 c num threads : 8
3837.12/480.61 c restarts : 7872
3837.12/480.61 c dynamic restarts : 7842
3837.12/480.61 c static restarts : 30
3837.12/480.61 c full restarts : 4
3837.12/480.61 c total simplify time : 0.13
3837.12/480.61 c learnts DL2 : 0
3837.12/480.61 c learnts size 2 : 304223
3837.12/480.61 c learnts size 1 : 246 (2.17 % of vars)
3837.12/480.61 c filedLit time : 6.17 (1.29 % time)
3837.12/480.61 c v-elim SatELite : 1376 (12.16 % vars)
3837.12/480.61 c SatELite time : 7.90 (1.65 % time)
3837.12/480.61 c v-elim xor : 0 (0.00 % vars)
3837.12/480.61 c xor elim time : 0.08 (0.02 % time)
3837.12/480.61 c num binary xor trees : 0
3837.12/480.61 c binxor trees' crown : 0 (nan leafs/tree)
3837.12/480.61 c bin xor find time : 0.01
3837.12/480.61 c OTF clause improved : 76897 (0.04 clauses/conflict)
3837.12/480.61 c OTF impr. size diff : 84490 (1.10 lits/clause)
3837.12/480.61 c OTF cl watch-shrink : 1248230 (0.62 clauses/conflict)
3837.12/480.61 c OTF cl watch-sh-lit : 4492388 (3.60 lits/clause)
3837.12/480.61 c tried to recurMin cls : 428807 (21.20 % of conflicts)
3837.12/480.61 c updated cache : 20285 (0.05 lits/tried recurMin)
3837.12/480.61 c unit cls recevied : 5 (2.03 % of units)
3837.12/480.61 c unit cls sent : 14 (5.69 % of units)
3837.12/480.61 c bin cls recevied : 63
3837.12/480.61 c bin cls sent : 208
3837.12/480.61 c clauses over max glue : 0 (0.00 % of all clauses)
3837.12/480.61 c conflicts : 2022816 (4214.46 / sec)
3837.12/480.61 c decisions : 3193326 (1.79 % random)
3837.12/480.61 c bogo-props : 42528760488 (88607116.20 / sec)
3837.12/480.61 c conflict literals : 50551905 (37.73 % deleted)
3837.12/480.61 c Memory used : 1256.29 MB
3837.12/480.61 c single-thread CPU time : 479.97 s
3837.12/480.61 c all-threads sum CPU time : 3833.31 s
3837.12/480.61 s UNSATISFIABLE
Verifier Data
No possible verification on an UNSAT instance
Watcher Data
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3321274-1304342622/watcher-3321274-1304342622 -o /tmp/evaluation-result-3321274-1304342622/solver-3321274-1304342622 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321274-1304342622.cnf
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.63 7.83 7.18 1/198 16342
/proc/meminfo: memFree=26746984/32951132 swapFree=67111356/67111528
[pid=16342] ppid=16340 vsize=92188 CPUtime=0.01 cores=0-7
/proc/16342/stat : 16342 (strangenight2-m) R 16340 16342 15563 0 -1 4202496 414 0 0 0 1 0 0 0 23 0 8 0 545861831 94400512 353 33554432000 4194304 4627427 140735191597376 18446744073709551615 47147605698482 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16342/statm: 23047 353 299 106 0 18018 0
[pid=16342/tid=16343] ppid=16340 vsize=92188 CPUtime=0 cores=0-7
/proc/16342/task/16343/stat : 16343 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 545861831 94400512 353 33554432000 4194304 4627427 140735191597376 18446744073709551615 47147605698482 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16342/tid=16344] ppid=16340 vsize=92188 CPUtime=0 cores=0-7
/proc/16342/task/16344/stat : 16344 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 545861831 94400512 353 33554432000 4194304 4627427 140735191597376 18446744073709551615 274664864753 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16342/tid=16345] ppid=16340 vsize=92188 CPUtime=0 cores=0-7
/proc/16342/task/16345/stat : 16345 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 545861831 94400512 353 33554432000 4194304 4627427 140735191597376 18446744073709551615 274664864753 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16342/tid=16346] ppid=16340 vsize=92188 CPUtime=0 cores=0-7
/proc/16342/task/16346/stat : 16346 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 545861831 94400512 353 33554432000 4194304 4627427 140735191597376 18446744073709551615 274664864753 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16342/tid=16347] ppid=16340 vsize=92188 CPUtime=0 cores=0-7
/proc/16342/task/16347/stat : 16347 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 545861831 94400512 353 33554432000 4194304 4627427 140735191597376 18446744073709551615 47147605698482 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16342/tid=16348] ppid=16340 vsize=92188 CPUtime=0 cores=0-7
/proc/16342/task/16348/stat : 16348 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 545861831 94400512 353 33554432000 4194304 4627427 140735191597376 18446744073709551615 47147605698482 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16342/tid=16349] ppid=16340 vsize=92188 CPUtime=0 cores=0-7
/proc/16342/task/16349/stat : 16349 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 545861831 94400512 353 33554432000 4194304 4627427 140735191597376 18446744073709551615 47147605698476 0 0 4096 2 0 0 0 -1 1 0 0 0
[startup+0.0602021 s]
/proc/loadavg: 7.63 7.83 7.18 1/198 16342
/proc/meminfo: memFree=26746984/32951132 swapFree=67111356/67111528
[pid=16342] ppid=16340 vsize=634000 CPUtime=0.35 cores=0-7
/proc/16342/stat : 16342 (strangenight2-m) S 16340 16342 15563 0 -1 4202496 11313 0 0 0 27 8 0 0 17 0 8 0 545861831 649216000 9512 33554432000 4194304 4627427 140735191597376 18446744073709551615 274664913390 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16342/statm: 158500 9515 339 106 0 153471 0
[pid=16342/tid=16343] ppid=16340 vsize=634000 CPUtime=0.04 cores=0-7
/proc/16342/task/16343/stat : 16343 (strangenight2-m) S 16340 16342 15563 0 -1 4202560 1354 0 0 0 3 1 0 0 17 0 8 0 545861831 649216000 9517 33554432000 4194304 4627427 140735191597376 18446744073709551615 274664913390 0 0 4096 2 18446604445876181696 0 0 -1 7 0 0 0
[pid=16342/tid=16344] ppid=16340 vsize=634000 CPUtime=0.02 cores=0-7
/proc/16342/task/16344/stat : 16344 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 1229 0 0 0 1 1 0 0 17 0 8 0 545861831 649216000 9521 33554432000 4194304 4627427 140735191597376 18446744073709551615 274664913439 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16342/tid=16345] ppid=16340 vsize=634000 CPUtime=0.04 cores=0-7
/proc/16342/task/16345/stat : 16345 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 1330 0 0 0 3 1 0 0 17 0 8 0 545861831 649216000 9526 33554432000 4194304 4627427 140735191597376 18446744073709551615 274664913439 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16342/tid=16346] ppid=16340 vsize=634000 CPUtime=0.03 cores=0-7
/proc/16342/task/16346/stat : 16346 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 1477 0 0 0 3 0 0 0 18 0 8 0 545861831 649216000 9528 33554432000 4194304 4627427 140735191597376 18446744073709551615 274664913439 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16342/tid=16347] ppid=16340 vsize=634000 CPUtime=0.03 cores=0-7
/proc/16342/task/16347/stat : 16347 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 1340 0 0 0 3 0 0 0 17 0 8 0 545861831 649216000 9534 33554432000 4194304 4627427 140735191597376 18446744073709551615 274664913439 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16342/tid=16348] ppid=16340 vsize=634000 CPUtime=0.03 cores=0-7
/proc/16342/task/16348/stat : 16348 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 1383 0 0 0 3 0 0 0 17 0 8 0 545861831 649216000 9537 33554432000 4194304 4627427 140735191597376 18446744073709551615 274664913439 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16342/tid=16349] ppid=16340 vsize=634000 CPUtime=0.04 cores=0-7
/proc/16342/task/16349/stat : 16349 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 1384 0 0 0 4 0 0 0 18 0 8 0 545861831 649216000 9541 33554432000 4194304 4627427 140735191597376 18446744073709551615 4359972 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 634000
[startup+0.103167 s]
/proc/loadavg: 7.63 7.83 7.18 1/198 16342
/proc/meminfo: memFree=26746984/32951132 swapFree=67111356/67111528
[pid=16342] ppid=16340 vsize=634528 CPUtime=0.57 cores=0-7
/proc/16342/stat : 16342 (strangenight2-m) R 16340 16342 15563 0 -1 4202496 12684 0 0 0 40 17 0 0 17 0 8 0 545861831 649756672 10883 33554432000 4194304 4627427 140735191597376 18446744073709551615 4360952 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16342/statm: 158632 10891 339 106 0 153603 0
[pid=16342/tid=16343] ppid=16340 vsize=634528 CPUtime=0.07 cores=0-7
/proc/16342/task/16343/stat : 16343 (strangenight2-m) S 16340 16342 15563 0 -1 4202560 1514 0 0 0 5 2 0 0 17 0 8 0 545861831 649756672 10895 33554432000 4194304 4627427 140735191597376 18446744073709551615 274664913390 0 0 4096 2 18446604445876181696 0 0 -1 7 0 0 0
[pid=16342/tid=16344] ppid=16340 vsize=634528 CPUtime=0.04 cores=0-7
/proc/16342/task/16344/stat : 16344 (strangenight2-m) S 16340 16342 15563 0 -1 4202560 1301 0 0 0 2 2 0 0 17 0 8 0 545861831 649756672 10899 33554432000 4194304 4627427 140735191597376 18446744073709551615 274664913390 0 0 4096 2 18446604445876181696 0 0 -1 4 0 0 0
[pid=16342/tid=16345] ppid=16340 vsize=634528 CPUtime=0.05 cores=0-7
/proc/16342/task/16345/stat : 16345 (strangenight2-m) S 16340 16342 15563 0 -1 4202560 1406 0 0 0 4 1 0 0 17 0 8 0 545861831 649756672 10900 33554432000 4194304 4627427 140735191597376 18446744073709551615 274664913390 0 0 4096 2 18446604445876181696 0 0 -1 3 0 0 0
[pid=16342/tid=16346] ppid=16340 vsize=634528 CPUtime=0.07 cores=0-7
/proc/16342/task/16346/stat : 16346 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 1869 0 0 0 6 1 0 0 18 0 8 0 545861831 649756672 10905 33554432000 4194304 4627427 140735191597376 18446744073709551615 274664913439 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16342/tid=16347] ppid=16340 vsize=634528 CPUtime=0.06 cores=0-7
/proc/16342/task/16347/stat : 16347 (strangenight2-m) S 16340 16342 15563 0 -1 4202560 1456 0 0 0 5 1 0 0 17 0 8 0 545861831 649756672 10909 33554432000 4194304 4627427 140735191597376 18446744073709551615 274664913390 0 0 4096 2 18446604445876181696 0 0 -1 0 0 0 0
[pid=16342/tid=16348] ppid=16340 vsize=634528 CPUtime=0.07 cores=0-7
/proc/16342/task/16348/stat : 16348 (strangenight2-m) S 16340 16342 15563 0 -1 4202560 1462 0 0 0 5 2 0 0 17 0 8 0 545861831 649756672 10911 33554432000 4194304 4627427 140735191597376 18446744073709551615 274664913390 0 0 4096 2 18446604445876181696 0 0 -1 2 0 0 0
[pid=16342/tid=16349] ppid=16340 vsize=634528 CPUtime=0.07 cores=0-7
/proc/16342/task/16349/stat : 16349 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 1729 0 0 0 6 1 0 0 17 0 8 0 545861831 649756672 10921 33554432000 4194304 4627427 140735191597376 18446744073709551615 274664913439 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 634528
[startup+0.302227 s]
/proc/loadavg: 7.63 7.83 7.18 1/198 16342
/proc/meminfo: memFree=26746984/32951132 swapFree=67111356/67111528
[pid=16342] ppid=16340 vsize=640056 CPUtime=1.81 cores=0-7
/proc/16342/stat : 16342 (strangenight2-m) D 16340 16342 15563 0 -1 4202496 23293 0 0 0 135 46 0 0 17 0 8 0 545861831 655417344 21492 33554432000 4194304 4627427 140735191597376 18446744073709551615 274664851639 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16342/statm: 160014 21492 366 106 0 154985 0
[pid=16342/tid=16343] ppid=16340 vsize=640056 CPUtime=0.22 cores=0-7
/proc/16342/task/16343/stat : 16343 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 3071 0 0 0 17 5 0 0 17 0 8 0 545861831 655417344 21492 33554432000 4194304 4627427 140735191597376 18446744073709551615 274664469189 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16342/tid=16344] ppid=16340 vsize=640056 CPUtime=0.18 cores=0-7
/proc/16342/task/16344/stat : 16344 (strangenight2-m) S 16340 16342 15563 0 -1 4202560 2137 0 0 0 13 5 0 0 17 0 8 0 545861831 655417344 21492 33554432000 4194304 4627427 140735191597376 18446744073709551615 274664913390 0 0 4096 2 18446604445876181696 0 0 -1 4 0 0 0
[pid=16342/tid=16345] ppid=16340 vsize=640056 CPUtime=0.2 cores=0-7
/proc/16342/task/16345/stat : 16345 (strangenight2-m) S 16340 16342 15563 0 -1 4202560 2425 0 0 0 15 5 0 0 17 0 8 0 545861831 655417344 21492 33554432000 4194304 4627427 140735191597376 18446744073709551615 274664913390 0 0 4096 2 18446604445876181696 0 0 -1 3 0 0 0
[pid=16342/tid=16346] ppid=16340 vsize=640056 CPUtime=0.24 cores=0-7
/proc/16342/task/16346/stat : 16346 (strangenight2-m) D 16340 16342 15563 0 -1 4202560 3712 0 0 0 20 4 0 0 18 0 8 0 545861831 655417344 21492 33554432000 4194304 4627427 140735191597376 18446744073709551615 274664851639 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16342/tid=16347] ppid=16340 vsize=640056 CPUtime=0.21 cores=0-7
/proc/16342/task/16347/stat : 16347 (strangenight2-m) S 16340 16342 15563 0 -1 4202560 2636 0 0 0 16 5 0 0 17 0 8 0 545861831 655417344 21492 33554432000 4194304 4627427 140735191597376 18446744073709551615 274664913390 0 0 4096 2 18446604445876181696 0 0 -1 0 0 0 0
[pid=16342/tid=16348] ppid=16340 vsize=640056 CPUtime=0.21 cores=0-7
/proc/16342/task/16348/stat : 16348 (strangenight2-m) S 16340 16342 15563 0 -1 4202560 2359 0 0 0 15 6 0 0 17 0 8 0 545861831 655417344 21492 33554432000 4194304 4627427 140735191597376 18446744073709551615 274664913390 0 0 4096 2 18446604445876181696 0 0 -1 2 0 0 0
[pid=16342/tid=16349] ppid=16340 vsize=640056 CPUtime=0.25 cores=0-7
/proc/16342/task/16349/stat : 16349 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 3398 0 0 0 21 4 0 0 18 0 8 0 545861831 655417344 21492 33554432000 4194304 4627427 140735191597376 18446744073709551615 4322120 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 640056
[startup+0.70096 s]
/proc/loadavg: 7.63 7.83 7.18 1/198 16342
/proc/meminfo: memFree=26746984/32951132 swapFree=67111356/67111528
[pid=16342] ppid=16340 vsize=662724 CPUtime=4.74 cores=0-7
/proc/16342/stat : 16342 (strangenight2-m) R 16340 16342 15563 0 -1 4202496 49951 0 0 0 411 63 0 0 18 0 8 0 545861831 678629376 47585 33554432000 4194304 4627427 140735191597376 18446744073709551615 274664913439 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16342/statm: 165681 47588 394 106 0 160652 0
[pid=16342/tid=16343] ppid=16340 vsize=662724 CPUtime=0.59 cores=0-7
/proc/16342/task/16343/stat : 16343 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 6614 0 0 0 51 8 0 0 17 0 8 0 545861831 678629376 47590 33554432000 4194304 4627427 140735191597376 18446744073709551615 4426600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16342/tid=16344] ppid=16340 vsize=662724 CPUtime=0.53 cores=0-7
/proc/16342/task/16344/stat : 16344 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 5134 0 0 0 45 8 0 0 17 0 8 0 545861831 678629376 47594 33554432000 4194304 4627427 140735191597376 18446744073709551615 4412353 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16342/tid=16345] ppid=16340 vsize=662724 CPUtime=0.57 cores=0-7
/proc/16342/task/16345/stat : 16345 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 5300 0 0 0 49 8 0 0 17 0 8 0 545861831 678629376 47595 33554432000 4194304 4627427 140735191597376 18446744073709551615 4442041 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16342/tid=16346] ppid=16340 vsize=662724 CPUtime=0.61 cores=0-7
/proc/16342/task/16346/stat : 16346 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 10069 0 0 0 53 8 0 0 18 0 8 0 545861831 678629376 47598 33554432000 4194304 4627427 140735191597376 18446744073709551615 4467838 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16342/tid=16347] ppid=16340 vsize=662724 CPUtime=0.57 cores=0-7
/proc/16342/task/16347/stat : 16347 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 6153 0 0 0 50 7 0 0 17 0 8 0 545861831 678629376 47599 33554432000 4194304 4627427 140735191597376 18446744073709551615 4440878 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16342/tid=16348] ppid=16340 vsize=662724 CPUtime=0.58 cores=0-7
/proc/16342/task/16348/stat : 16348 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 5772 0 0 0 51 7 0 0 17 0 8 0 545861831 678629376 47603 33554432000 4194304 4627427 140735191597376 18446744073709551615 4419869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16342/tid=16349] ppid=16340 vsize=662724 CPUtime=0.63 cores=0-7
/proc/16342/task/16349/stat : 16349 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 4044 0 0 0 58 5 0 0 18 0 8 0 545861831 678629376 47612 33554432000 4194304 4627427 140735191597376 18446744073709551615 4332543 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.74
Current children cumulated vsize (KiB) 662724
[startup+1.50082 s]
/proc/loadavg: 7.63 7.83 7.18 9/206 16350
/proc/meminfo: memFree=26464696/32951132 swapFree=67111356/67111528
[pid=16342] ppid=16340 vsize=673068 CPUtime=10.85 cores=0-7
/proc/16342/stat : 16342 (strangenight2-m) R 16340 16342 15563 0 -1 4202496 82073 0 0 0 998 87 0 0 18 0 8 0 545861831 689221632 73547 33554432000 4194304 4627427 140735191597376 18446744073709551615 4324799 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16342/statm: 168267 73547 386 106 0 163238 0
[pid=16342/tid=16343] ppid=16340 vsize=673068 CPUtime=1.33 cores=0-7
/proc/16342/task/16343/stat : 16343 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 11346 0 0 0 122 11 0 0 18 0 8 0 545861831 689221632 73547 33554432000 4194304 4627427 140735191597376 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16342/tid=16344] ppid=16340 vsize=673068 CPUtime=1.28 cores=0-7
/proc/16342/task/16344/stat : 16344 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 10711 0 0 0 116 12 0 0 18 0 8 0 545861831 689221632 73547 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16342/tid=16345] ppid=16340 vsize=673068 CPUtime=1.32 cores=0-7
/proc/16342/task/16345/stat : 16345 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 11267 0 0 0 119 13 0 0 18 0 8 0 545861831 689221632 73547 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16342/tid=16346] ppid=16340 vsize=673068 CPUtime=1.38 cores=0-7
/proc/16342/task/16346/stat : 16346 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 11054 0 0 0 129 9 0 0 18 0 8 0 545861831 689221632 73547 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16342/tid=16347] ppid=16340 vsize=673068 CPUtime=1.34 cores=0-7
/proc/16342/task/16347/stat : 16347 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 11683 0 0 0 124 10 0 0 18 0 8 0 545861831 689221632 73547 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16342/tid=16348] ppid=16340 vsize=673068 CPUtime=1.35 cores=0-7
/proc/16342/task/16348/stat : 16348 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 10273 0 0 0 126 9 0 0 18 0 8 0 545861831 689221632 73547 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16342/tid=16349] ppid=16340 vsize=673068 CPUtime=1.41 cores=0-7
/proc/16342/task/16349/stat : 16349 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 4892 0 0 0 136 5 0 0 18 0 8 0 545861831 689221632 73547 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.85
Current children cumulated vsize (KiB) 673068
[startup+3.10055 s]
/proc/loadavg: 7.63 7.83 7.18 9/206 16350
/proc/meminfo: memFree=26448700/32951132 swapFree=67111356/67111528
[pid=16342] ppid=16340 vsize=690676 CPUtime=23.64 cores=0-7
/proc/16342/stat : 16342 (strangenight2-m) R 16340 16342 15563 0 -1 4202496 88040 0 0 0 2274 90 0 0 21 0 8 0 545861831 707252224 77467 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309253 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16342/statm: 172669 77467 387 106 0 167640 0
[pid=16342/tid=16343] ppid=16340 vsize=690676 CPUtime=2.93 cores=0-7
/proc/16342/task/16343/stat : 16343 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 11786 0 0 0 281 12 0 0 21 0 8 0 545861831 707252224 77467 33554432000 4194304 4627427 140735191597376 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16342/tid=16344] ppid=16340 vsize=690676 CPUtime=2.88 cores=0-7
/proc/16342/task/16344/stat : 16344 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 11088 0 0 0 275 13 0 0 20 0 8 0 545861831 707252224 77467 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309284 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16342/tid=16345] ppid=16340 vsize=690676 CPUtime=2.92 cores=0-7
/proc/16342/task/16345/stat : 16345 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 12796 0 0 0 279 13 0 0 21 0 8 0 545861831 707252224 77467 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16342/tid=16346] ppid=16340 vsize=690676 CPUtime=2.98 cores=0-7
/proc/16342/task/16346/stat : 16346 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 11446 0 0 0 289 9 0 0 21 0 8 0 545861831 707252224 77467 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16342/tid=16347] ppid=16340 vsize=690676 CPUtime=2.94 cores=0-7
/proc/16342/task/16347/stat : 16347 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 12056 0 0 0 284 10 0 0 21 0 8 0 545861831 707252224 77467 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16342/tid=16348] ppid=16340 vsize=690676 CPUtime=2.95 cores=0-7
/proc/16342/task/16348/stat : 16348 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 10626 0 0 0 286 9 0 0 21 0 8 0 545861831 707252224 77467 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16342/tid=16349] ppid=16340 vsize=690676 CPUtime=3.01 cores=0-7
/proc/16342/task/16349/stat : 16349 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 6994 0 0 0 295 6 0 0 21 0 8 0 545861831 707252224 77467 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 23.64
Current children cumulated vsize (KiB) 690676
[startup+6.301 s]
/proc/loadavg: 7.98 7.90 7.21 12/206 16350
/proc/meminfo: memFree=26427248/32951132 swapFree=67111356/67111528
[pid=16342] ppid=16340 vsize=707420 CPUtime=46.34 cores=0-7
/proc/16342/stat : 16342 (strangenight2-m) R 16340 16342 15563 0 -1 4202496 103915 0 0 0 4532 102 0 0 25 0 8 0 545861831 724398080 80357 33554432000 4194304 4627427 140735191597376 18446744073709551615 4423754 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16342/statm: 176855 80357 390 106 0 171826 0
[pid=16342/tid=16343] ppid=16340 vsize=707420 CPUtime=4.82 cores=0-7
/proc/16342/task/16343/stat : 16343 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 13003 0 0 0 469 13 0 0 25 0 8 0 545861831 724398080 80357 33554432000 4194304 4627427 140735191597376 18446744073709551615 274664466756 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16342/tid=16344] ppid=16340 vsize=707420 CPUtime=6.05 cores=0-7
/proc/16342/task/16344/stat : 16344 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 13584 0 0 0 590 15 0 0 25 0 8 0 545861831 724398080 80357 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16342/tid=16345] ppid=16340 vsize=707420 CPUtime=6.12 cores=0-7
/proc/16342/task/16345/stat : 16345 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 15260 0 0 0 598 14 0 0 25 0 8 0 545861831 724398080 80357 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16342/tid=16346] ppid=16340 vsize=707420 CPUtime=6.1 cores=0-7
/proc/16342/task/16346/stat : 16346 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 13830 0 0 0 599 11 0 0 25 0 8 0 545861831 724398080 80357 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16342/tid=16347] ppid=16340 vsize=707420 CPUtime=6.08 cores=0-7
/proc/16342/task/16347/stat : 16347 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 14034 0 0 0 597 11 0 0 25 0 8 0 545861831 724398080 80357 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16342/tid=16348] ppid=16340 vsize=707420 CPUtime=4.75 cores=0-7
/proc/16342/task/16348/stat : 16348 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 11806 0 0 0 462 13 0 0 25 0 8 0 545861831 724398080 80357 33554432000 4194304 4627427 140735191597376 18446744073709551615 4299569 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16342/tid=16349] ppid=16340 vsize=707420 CPUtime=6.21 cores=0-7
/proc/16342/task/16349/stat : 16349 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 8825 0 0 0 614 7 0 0 25 0 8 0 545861831 724398080 80357 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/16342/task/16347/stat : 16347 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 108025 0 0 0 46165 44 0 0 25 0 8 0 545861831 1449574400 237817 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16342/tid=16348] ppid=16340 vsize=1415600 CPUtime=460.75 cores=0-7
/proc/16342/task/16348/stat : 16348 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 119989 0 0 0 46032 43 0 0 25 0 8 0 545861831 1449574400 237817 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16342/tid=16349] ppid=16340 vsize=1415600 CPUtime=461.81 cores=0-7
/proc/16342/task/16349/stat : 16349 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 120856 0 0 0 46130 51 0 0 25 0 8 0 545861831 1449574400 237817 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3690.83
Current children cumulated vsize (KiB) 1415600
Solver just ended. Dumping a history of the last processes samples
[startup+473.501 s]
/proc/loadavg: 8.07 8.02 7.53 9/206 16363
/proc/meminfo: memFree=25794156/32951132 swapFree=67111356/67111528
[pid=16342] ppid=16340 vsize=1286360 CPUtime=3780.34 cores=0-7
/proc/16342/stat : 16342 (strangenight2-m) R 16340 16342 15563 0 -1 4202496 926618 0 0 0 377648 386 0 0 25 0 8 0 545861831 1317232640 239847 33554432000 4194304 4627427 140735191597376 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16342/statm: 321590 239847 390 106 0 316561 0
[pid=16342/tid=16343] ppid=16340 vsize=1286360 CPUtime=469.05 cores=0-7
/proc/16342/task/16343/stat : 16343 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 104574 0 0 0 46860 45 0 0 25 0 8 0 545861831 1317232640 239847 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16342/tid=16344] ppid=16340 vsize=1286360 CPUtime=473.08 cores=0-7
/proc/16342/task/16344/stat : 16344 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 122458 0 0 0 47259 49 0 0 25 0 8 0 545861831 1317232640 239847 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16342/tid=16345] ppid=16340 vsize=1286360 CPUtime=473.29 cores=0-7
/proc/16342/task/16345/stat : 16345 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 111597 0 0 0 47279 50 0 0 25 0 8 0 545861831 1317232640 239848 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16342/tid=16346] ppid=16340 vsize=1286360 CPUtime=473.29 cores=0-7
/proc/16342/task/16346/stat : 16346 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 121970 0 0 0 47282 47 0 0 25 0 8 0 545861831 1317232640 239848 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16342/tid=16347] ppid=16340 vsize=1286360 CPUtime=473.29 cores=0-7
/proc/16342/task/16347/stat : 16347 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 108026 0 0 0 47285 44 0 0 25 0 8 0 545861831 1317232640 239848 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16342/tid=16348] ppid=16340 vsize=1286360 CPUtime=471.95 cores=0-7
/proc/16342/task/16348/stat : 16348 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 122999 0 0 0 47151 44 0 0 25 0 8 0 545861831 1317232640 239848 33554432000 4194304 4627427 140735191597376 18446744073709551615 4507248 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16342/tid=16349] ppid=16340 vsize=1286360 CPUtime=473.01 cores=0-7
/proc/16342/task/16349/stat : 16349 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 123680 0 0 0 47248 53 0 0 25 0 8 0 545861831 1317232640 239848 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3780.34
Current children cumulated vsize (KiB) 1286360
[startup+476.701 s]
/proc/loadavg: 8.07 8.02 7.53 9/206 16363
/proc/meminfo: memFree=25786096/32951132 swapFree=67111356/67111528
[pid=16342] ppid=16340 vsize=1286432 CPUtime=3805.92 cores=0-7
/proc/16342/stat : 16342 (strangenight2-m) R 16340 16342 15563 0 -1 4202496 929899 0 0 0 380204 388 0 0 25 0 8 0 545861831 1317306368 240228 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309160 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16342/statm: 321608 240228 390 106 0 316579 0
[pid=16342/tid=16343] ppid=16340 vsize=1286432 CPUtime=472.23 cores=0-7
/proc/16342/task/16343/stat : 16343 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 104574 0 0 0 47178 45 0 0 25 0 8 0 545861831 1317306368 240228 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16342/tid=16344] ppid=16340 vsize=1286432 CPUtime=476.28 cores=0-7
/proc/16342/task/16344/stat : 16344 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 122820 0 0 0 47579 49 0 0 25 0 8 0 545861831 1317306368 240228 33554432000 4194304 4627427 140735191597376 18446744073709551615 4332735 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16342/tid=16345] ppid=16340 vsize=1286432 CPUtime=476.5 cores=0-7
/proc/16342/task/16345/stat : 16345 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 113609 0 0 0 47599 51 0 0 25 0 8 0 545861831 1317306368 240228 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16342/tid=16346] ppid=16340 vsize=1286432 CPUtime=476.5 cores=0-7
/proc/16342/task/16346/stat : 16346 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 122378 0 0 0 47602 48 0 0 25 0 8 0 545861831 1317306368 240228 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16342/tid=16347] ppid=16340 vsize=1286432 CPUtime=476.49 cores=0-7
/proc/16342/task/16347/stat : 16347 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 108026 0 0 0 47605 44 0 0 25 0 8 0 545861831 1317306368 240228 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16342/tid=16348] ppid=16340 vsize=1286432 CPUtime=475.15 cores=0-7
/proc/16342/task/16348/stat : 16348 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 123416 0 0 0 47471 44 0 0 25 0 8 0 545861831 1317306368 240228 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16342/tid=16349] ppid=16340 vsize=1286432 CPUtime=476.2 cores=0-7
/proc/16342/task/16349/stat : 16349 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 123761 0 0 0 47567 53 0 0 25 0 8 0 545861831 1317306368 240228 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3805.92
Current children cumulated vsize (KiB) 1286432
[startup+478.3 s]
/proc/loadavg: 8.07 8.02 7.53 9/206 16363
/proc/meminfo: memFree=25784112/32951132 swapFree=67111356/67111528
[pid=16342] ppid=16340 vsize=1286432 CPUtime=3818.7 cores=0-7
/proc/16342/stat : 16342 (strangenight2-m) R 16340 16342 15563 0 -1 4202496 930704 0 0 0 381482 388 0 0 25 0 8 0 545861831 1317306368 237073 33554432000 4194304 4627427 140735191597376 18446744073709551615 4299724 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16342/statm: 321608 237073 390 106 0 316579 0
[pid=16342/tid=16343] ppid=16340 vsize=1286432 CPUtime=473.83 cores=0-7
/proc/16342/task/16343/stat : 16343 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 104574 0 0 0 47338 45 0 0 25 0 8 0 545861831 1317306368 237073 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16342/tid=16344] ppid=16340 vsize=1286432 CPUtime=477.88 cores=0-7
/proc/16342/task/16344/stat : 16344 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 123000 0 0 0 47739 49 0 0 25 0 8 0 545861831 1317306368 237073 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16342/tid=16345] ppid=16340 vsize=1286432 CPUtime=478.09 cores=0-7
/proc/16342/task/16345/stat : 16345 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 113844 0 0 0 47758 51 0 0 25 0 8 0 545861831 1317306368 237073 33554432000 4194304 4627427 140735191597376 18446744073709551615 4327434 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16342/tid=16346] ppid=16340 vsize=1286432 CPUtime=478.09 cores=0-7
/proc/16342/task/16346/stat : 16346 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 122579 0 0 0 47761 48 0 0 25 0 8 0 545861831 1317306368 237073 33554432000 4194304 4627427 140735191597376 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16342/tid=16347] ppid=16340 vsize=1286432 CPUtime=478.09 cores=0-7
/proc/16342/task/16347/stat : 16347 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 108026 0 0 0 47765 44 0 0 25 0 8 0 545861831 1317306368 237073 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16342/tid=16348] ppid=16340 vsize=1286432 CPUtime=476.75 cores=0-7
/proc/16342/task/16348/stat : 16348 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 123605 0 0 0 47631 44 0 0 25 0 8 0 545861831 1317306368 237073 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16342/tid=16349] ppid=16340 vsize=1286432 CPUtime=477.8 cores=0-7
/proc/16342/task/16349/stat : 16349 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 123761 0 0 0 47727 53 0 0 25 0 8 0 545861831 1317306368 237073 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3818.7
Current children cumulated vsize (KiB) 1286432
[startup+479.901 s]
/proc/loadavg: 8.06 8.02 7.54 9/206 16363
/proc/meminfo: memFree=25795400/32951132 swapFree=67111356/67111528
[pid=16342] ppid=16340 vsize=1286432 CPUtime=3831.49 cores=0-7
/proc/16342/stat : 16342 (strangenight2-m) R 16340 16342 15563 0 -1 4202496 931505 0 0 0 382760 389 0 0 25 0 8 0 545861831 1317306368 237874 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309077 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16342/statm: 321608 237874 390 106 0 316579 0
[pid=16342/tid=16343] ppid=16340 vsize=1286432 CPUtime=475.41 cores=0-7
/proc/16342/task/16343/stat : 16343 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 104640 0 0 0 47496 45 0 0 25 0 8 0 545861831 1317306368 237874 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16342/tid=16344] ppid=16340 vsize=1286432 CPUtime=479.47 cores=0-7
/proc/16342/task/16344/stat : 16344 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 123159 0 0 0 47898 49 0 0 25 0 8 0 545861831 1317306368 237874 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16342/tid=16345] ppid=16340 vsize=1286432 CPUtime=479.69 cores=0-7
/proc/16342/task/16345/stat : 16345 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 114047 0 0 0 47918 51 0 0 25 0 8 0 545861831 1317306368 237874 33554432000 4194304 4627427 140735191597376 18446744073709551615 4328806 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16342/tid=16346] ppid=16340 vsize=1286432 CPUtime=479.69 cores=0-7
/proc/16342/task/16346/stat : 16346 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 122752 0 0 0 47921 48 0 0 25 0 8 0 545861831 1317306368 237874 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16342/tid=16347] ppid=16340 vsize=1286432 CPUtime=479.69 cores=0-7
/proc/16342/task/16347/stat : 16347 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 108026 0 0 0 47925 44 0 0 25 0 8 0 545861831 1317306368 237874 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16342/tid=16348] ppid=16340 vsize=1286432 CPUtime=478.35 cores=0-7
/proc/16342/task/16348/stat : 16348 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 123805 0 0 0 47791 44 0 0 25 0 8 0 545861831 1317306368 237874 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16342/tid=16349] ppid=16340 vsize=1286432 CPUtime=479.4 cores=0-7
/proc/16342/task/16349/stat : 16349 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 123761 0 0 0 47887 53 0 0 25 0 8 0 545861831 1317306368 237874 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3831.49
Current children cumulated vsize (KiB) 1286432
[startup+480.301 s]
/proc/loadavg: 8.06 8.02 7.54 9/206 16363
/proc/meminfo: memFree=25795400/32951132 swapFree=67111356/67111528
[pid=16342] ppid=16340 vsize=1286432 CPUtime=3834.68 cores=0-7
/proc/16342/stat : 16342 (strangenight2-m) R 16340 16342 15563 0 -1 4202496 931732 0 0 0 383079 389 0 0 25 0 8 0 545861831 1317306368 238101 33554432000 4194304 4627427 140735191597376 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16342/statm: 321608 238101 390 106 0 316579 0
[pid=16342/tid=16343] ppid=16340 vsize=1286432 CPUtime=475.81 cores=0-7
/proc/16342/task/16343/stat : 16343 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 104677 0 0 0 47536 45 0 0 25 0 8 0 545861831 1317306368 238101 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16342/tid=16344] ppid=16340 vsize=1286432 CPUtime=479.87 cores=0-7
/proc/16342/task/16344/stat : 16344 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 123200 0 0 0 47938 49 0 0 25 0 8 0 545861831 1317306368 238101 33554432000 4194304 4627427 140735191597376 18446744073709551615 4321729 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16342/tid=16345] ppid=16340 vsize=1286432 CPUtime=480.09 cores=0-7
/proc/16342/task/16345/stat : 16345 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 114092 0 0 0 47958 51 0 0 25 0 8 0 545861831 1317306368 238101 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16342/tid=16346] ppid=16340 vsize=1286432 CPUtime=480.09 cores=0-7
/proc/16342/task/16346/stat : 16346 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 122811 0 0 0 47961 48 0 0 25 0 8 0 545861831 1317306368 238101 33554432000 4194304 4627427 140735191597376 18446744073709551615 4333312 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16342/tid=16347] ppid=16340 vsize=1286432 CPUtime=480.09 cores=0-7
/proc/16342/task/16347/stat : 16347 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 108026 0 0 0 47965 44 0 0 25 0 8 0 545861831 1317306368 238101 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16342/tid=16348] ppid=16340 vsize=1286432 CPUtime=478.75 cores=0-7
/proc/16342/task/16348/stat : 16348 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 123850 0 0 0 47831 44 0 0 25 0 8 0 545861831 1317306368 238101 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16342/tid=16349] ppid=16340 vsize=1286432 CPUtime=479.8 cores=0-7
/proc/16342/task/16349/stat : 16349 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 123761 0 0 0 47927 53 0 0 25 0 8 0 545861831 1317306368 238101 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3834.68
Current children cumulated vsize (KiB) 1286432
[startup+480.501 s]
/proc/loadavg: 8.06 8.02 7.54 9/206 16363
/proc/meminfo: memFree=25795400/32951132 swapFree=67111356/67111528
[pid=16342] ppid=16340 vsize=1286432 CPUtime=3836.28 cores=0-7
/proc/16342/stat : 16342 (strangenight2-m) R 16340 16342 15563 0 -1 4202496 931852 0 0 0 383239 389 0 0 25 0 8 0 545861831 1317306368 238221 33554432000 4194304 4627427 140735191597376 18446744073709551615 4310117 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16342/statm: 321608 238221 390 106 0 316579 0
[pid=16342/tid=16343] ppid=16340 vsize=1286432 CPUtime=476.01 cores=0-7
/proc/16342/task/16343/stat : 16343 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 104695 0 0 0 47556 45 0 0 25 0 8 0 545861831 1317306368 238221 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16342/tid=16344] ppid=16340 vsize=1286432 CPUtime=480.07 cores=0-7
/proc/16342/task/16344/stat : 16344 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 123221 0 0 0 47958 49 0 0 25 0 8 0 545861831 1317306368 238221 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16342/tid=16345] ppid=16340 vsize=1286432 CPUtime=480.29 cores=0-7
/proc/16342/task/16345/stat : 16345 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 114115 0 0 0 47978 51 0 0 25 0 8 0 545861831 1317306368 238221 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16342/tid=16346] ppid=16340 vsize=1286432 CPUtime=480.29 cores=0-7
/proc/16342/task/16346/stat : 16346 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 122846 0 0 0 47981 48 0 0 25 0 8 0 545861831 1317306368 238221 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16342/tid=16347] ppid=16340 vsize=1286432 CPUtime=480.29 cores=0-7
/proc/16342/task/16347/stat : 16347 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 108026 0 0 0 47985 44 0 0 25 0 8 0 545861831 1317306368 238221 33554432000 4194304 4627427 140735191597376 18446744073709551615 4321904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16342/tid=16348] ppid=16340 vsize=1286432 CPUtime=478.95 cores=0-7
/proc/16342/task/16348/stat : 16348 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 123873 0 0 0 47851 44 0 0 25 0 8 0 545861831 1317306368 238221 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16342/tid=16349] ppid=16340 vsize=1286432 CPUtime=480 cores=0-7
/proc/16342/task/16349/stat : 16349 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 123761 0 0 0 47947 53 0 0 25 0 8 0 545861831 1317306368 238221 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3836.28
Current children cumulated vsize (KiB) 1286432
[startup+480.601 s]
/proc/loadavg: 8.06 8.02 7.54 9/206 16363
/proc/meminfo: memFree=25793416/32951132 swapFree=67111356/67111528
[pid=16342] ppid=16340 vsize=1286432 CPUtime=3837.12 cores=0-7
/proc/16342/stat : 16342 (strangenight2-m) R 16340 16342 15563 0 -1 4202496 931912 0 0 0 383323 389 0 0 25 0 8 0 545861831 1317306368 238281 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16342/statm: 321608 238281 390 106 0 316579 0
[pid=16342/tid=16343] ppid=16340 vsize=1286432 CPUtime=476.11 cores=0-7
/proc/16342/task/16343/stat : 16343 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 104705 0 0 0 47566 45 0 0 25 0 8 0 545861831 1317306368 238281 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16342/tid=16344] ppid=16340 vsize=1286432 CPUtime=480.18 cores=0-7
/proc/16342/task/16344/stat : 16344 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 123234 0 0 0 47969 49 0 0 25 0 8 0 545861831 1317306368 238281 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16342/tid=16345] ppid=16340 vsize=1286432 CPUtime=480.4 cores=0-7
/proc/16342/task/16345/stat : 16345 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 114127 0 0 0 47989 51 0 0 25 0 8 0 545861831 1317306368 238281 33554432000 4194304 4627427 140735191597376 18446744073709551615 4308493 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16342/tid=16346] ppid=16340 vsize=1286432 CPUtime=480.4 cores=0-7
/proc/16342/task/16346/stat : 16346 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 122861 0 0 0 47992 48 0 0 25 0 8 0 545861831 1317306368 238281 33554432000 4194304 4627427 140735191597376 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16342/tid=16347] ppid=16340 vsize=1286432 CPUtime=480.4 cores=0-7
/proc/16342/task/16347/stat : 16347 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 108026 0 0 0 47996 44 0 0 25 0 8 0 545861831 1317306368 238281 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16342/tid=16348] ppid=16340 vsize=1286432 CPUtime=479.06 cores=0-7
/proc/16342/task/16348/stat : 16348 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 123883 0 0 0 47862 44 0 0 25 0 8 0 545861831 1317306368 238281 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16342/tid=16349] ppid=16340 vsize=1286432 CPUtime=480.11 cores=0-7
/proc/16342/task/16349/stat : 16349 (strangenight2-m) R 16340 16342 15563 0 -1 4202560 123761 0 0 0 47958 53 0 0 25 0 8 0 545861831 1317306368 238281 33554432000 4194304 4627427 140735191597376 18446744073709551615 4309075 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3837.12
Current children cumulated vsize (KiB) 1286432
Child status: 20
Real time (s): 480.671
CPU time (s): 3837.25
CPU user time (s): 3833.31
CPU system time (s): 3.9424
CPU usage (%): 798.311
Max. virtual memory (cumulated for all children) (KiB): 1415600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3833.31
system time used= 3.9424
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 931919
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 115719
involuntary context switches= 16734
runsolver used 0.91986 second user time and 2.15867 second system time
The end
Launcher Data
Begin job on node131 at 2011-05-02 15:23:42
IDJOB=3321274
IDBENCH=88066
IDSOLVER=1709
FILE ID=node131/3321274-1304342622
RUNJOBID= node131-1304332707-15577
PBS_JOBID= 13177711
Free space on /tmp= 72872 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT02/industrial/nam/fpga-routing/k2fix_gr_rcs_w9.shuffled.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321274-1304342622/watcher-3321274-1304342622 -o /tmp/evaluation-result-3321274-1304342622/solver-3321274-1304342622 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321274-1304342622.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 3469bb30890bba597175d692c3430b0e
RANDOM SEED=1729969077
node131.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.66
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.77
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951132 kB
MemFree: 26747264 kB
Buffers: 305964 kB
Cached: 2010424 kB
SwapCached: 168 kB
Active: 3929860 kB
Inactive: 1939152 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951132 kB
LowFree: 26747264 kB
SwapTotal: 67111528 kB
SwapFree: 67111356 kB
Dirty: 9828 kB
Writeback: 0 kB
AnonPages: 3552428 kB
Mapped: 20512 kB
Slab: 261104 kB
PageTables: 13056 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587092 kB
Committed_AS: 3972720 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 72868 MiB
End job on node131 at 2011-05-02 15:31:43