Trace number 3394958
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.00 c Using 8 threads
0.00/0.04 c This is CryptoMiniSat 3.0.0
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c Reading file 'HOME/instance-3394958-1306109748.cnf'
0.00/0.04 c -- header says num vars: 11313
0.00/0.04 c -- header says num clauses: 305160
1.72/0.35 c -- clauses added: 0 learnts, 305160 normals, 0 xors
1.72/0.35 c -- vars added 11313
1.72/0.35 c Parsing time: 0.14 s
1.72/0.35 c N st 0 0 11313 1257 303903 0 619119 0 no data no data
1.72/0.36 c asymm cl-useful: 0/1257/1257 lits-rem:0 time: 0.01
2.36/0.51 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.1M T: 0.09
2.36/0.51 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2.36/0.51 c bin-w-bin subsume rem 0 bins time: 0.03 s
2.36/0.53 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.02 s
3.45/0.59 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 11313 time: 0.03 s
3.45/0.61 c Removed useless bin: 0 fixed: 0 props: 1.56M time: 0.03 s
5.86/0.99 c lits-rem: 1 cl-subs: 5 v-elim: 1376 v-fix: 0 time: 0.22 s
5.86/1.00 c Finding binary XORs T: 0.01 s found: 0
6.63/1.04 c Finding non-binary XORs: 0.02 s (found: 0, avg size: nan)
6.63/1.04 c calculated reachability. Time: 0.00
6.63/1.05 c Calc default polars - time: 0.01 s pos: 4999 undec: 1376 neg: 4938
6.63/1.05 c =========================================================================================
6.63/1.05 c types(t): F = full restart, N = normal restart
6.63/1.05 c types(t): S = simplification begin/end, E = solution found
6.63/1.05 c restart types(rt): st = static, dy = dynamic
6.63/1.05 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
6.63/1.05 c B st 0 0 9937 63711 240039 0 1080083 0 no data no data
11.36/1.69 c N dy 15 4066 9937 63711 240039 3992 1080083 140489 9.59 10.12
16.27/2.28 c N dy 32 8210 9937 63711 240041 5589 1080083 125892 9.39 9.91
21.73/2.93 c N dy 44 12927 9937 63711 240041 6012 1080083 119520 9.18 9.71
25.72/3.44 c N dy 56 16980 9937 63711 240041 9932 1080083 209564 8.99 9.98
30.52/4.00 c N dy 66 21014 9937 63711 240041 8388 1080083 175456 8.88 12.48
35.31/4.64 c F st 83 25000 9937 63711 240041 12284 1080083 267738 8.88 8.76
35.31/4.69 c Found part 0 vars: 9 clauses: 1 lits size: 9
35.31/4.69 c Found part 322 vars: 9928 clauses: 303749 lits size: 1080074
35.31/4.69 c Found parts: 2 time: 0.05 s
35.31/4.69 c Solving part 0
36.11/4.70 c N st 0 0 9 1 0 0 9 0 no data no data
36.11/4.70 c asymm cl-useful: 0/1/1 lits-rem:0 time: 0.00
36.11/4.70 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
36.11/4.70 c Finding binary XORs T: 0.00 s found: 0
36.11/4.70 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
36.11/4.70 c calculated reachability. Time: 0.00
36.11/4.70 c Calc default polars - time: 0.00 s pos: 8 undec: 11304 neg: 1
36.11/4.70 c =========================================================================================
36.11/4.70 c types(t): F = full restart, N = normal restart
36.11/4.70 c types(t): S = simplification begin/end, E = solution found
36.11/4.70 c restart types(rt): st = static, dy = dynamic
36.11/4.70 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
36.11/4.70 c B st 0 0 9 1 0 0 9 0 no data no data
36.11/4.70 c E st 1 0 0 1 0 0 9 0 no data no data
36.11/4.70 c Verified 1 clauses.
36.11/4.70 c Verified 1 clauses.
36.11/4.70 c Solved part
36.11/4.70 c =========================================================================================
36.11/4.70 c Coming back to original instance
36.11/4.70 c =========================================================================================
36.11/4.73 c N st 84 25252 9928 63710 240041 12517 1080074 272271 8.88 no data
40.90/5.33 c N dy 89 30001 9928 63710 240041 10471 1080074 218248 8.88 no data
40.90/5.33 c S st 89 30001 9928 63710 240041 10471 1080074 218248 8.88 no data
41.75/5.51 c S st 89 30502 9928 63710 240041 10967 1080074 237917 8.88 no data
42.62/5.52 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
48.89/6.31 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 32.7M T: 0.79
48.89/6.34 c blocked clauses removed: 0 vars: 0 tried: 9928 T: 0.00 s
48.89/6.36 c bin-w-bin subsume rem 0 bins time: 0.02 s
51.40/6.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.31 s
52.08/6.70 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9928 time: 0.03 s
52.08/6.73 c Removed useless bin: 0 fixed: 0 props: 1.24M time: 0.03 s
52.87/6.84 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.10 s
55.27/7.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.27 s
56.07/7.21 c lits-rem: 380 cl-subs: 764 v-elim: 0 v-fix: 0 time: 0.07 s
57.68/7.43 c asymm cl-useful: 0/8434/63710 lits-rem:0 time: 0.22
57.68/7.44 c calculated reachability. Time: 0.00
57.68/7.44 c N dy 89 30502 9928 63710 240041 10203 1080074 228200 8.88 no data
62.45/8.09 c N dy 107 34556 9928 63710 240041 14132 1080074 323648 8.91 9.49
69.63/8.91 c N dy 120 38787 9928 63710 240041 10592 1080074 208998 8.89 10.26
74.43/9.55 c N dy 134 43365 9928 63710 240041 14969 1080074 312154 8.88 9.36
77.76/9.92 c S st 145 45754 9928 63710 240041 17276 1080074 369826 8.89 7.42
79.22/10.11 c S st 145 46257 9928 63710 240041 9141 1080074 173247 8.89 no data
79.22/10.12 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
85.66/10.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 31.9M T: 0.82
85.66/10.96 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
85.66/10.97 c bin-w-bin subsume rem 0 bins time: 0.02 s
88.00/11.29 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.31 s
88.80/11.32 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9928 time: 0.03 s
88.80/11.35 c Removed useless bin: 0 fixed: 0 props: 1.24M time: 0.03 s
88.80/11.37 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
90.41/11.55 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.17 s
91.20/11.60 c lits-rem: 19 cl-subs: 430 v-elim: 0 v-fix: 0 time: 0.03 s
91.20/11.62 c vivif2 -- cl tried 63710 cl shrink 0 lits rem 0 time: 0.02
91.20/11.62 c vivif2 -- cl tried 8711 cl shrink 0 lits rem 0 time: 0.01
92.81/11.84 c asymm cl-useful: 0/5066/63710 lits-rem:0 time: 0.21
92.81/11.85 c calculated reachability. Time: 0.00
92.81/11.85 c N dy 145 46257 9928 63710 240041 8711 1080074 169112 8.89 no data
99.19/12.66 c N dy 175 50337 9928 63710 240041 12705 1080074 289376 9.06 16.47
105.57/13.42 c N dy 201 54555 9928 63710 240041 16805 1080074 402256 9.13 9.66
111.17/14.14 c N dy 226 58614 9928 63710 240042 11078 1080074 212023 9.19 14.88
115.15/14.69 c N dy 236 62710 9928 63710 240043 14992 1080074 300024 9.15 10.43
121.67/15.43 c N dy 262 66798 9928 63710 240043 18937 1080074 405383 9.22 9.82
125.54/15.98 c S st 281 69385 9928 63710 240043 10824 1080074 189632 9.28 8.27
127.14/16.16 c S st 281 69890 9928 63710 240043 11329 1080074 209672 9.28 no data
127.14/16.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
134.32/17.02 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 31.7M T: 0.85
134.32/17.04 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
134.32/17.06 c bin-w-bin subsume rem 0 bins time: 0.02 s
136.72/17.38 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.33 s
137.52/17.42 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9928 time: 0.03 s
137.52/17.44 c Removed useless bin: 0 fixed: 0 props: 1.24M time: 0.03 s
137.52/17.47 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s
139.24/17.66 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.18 s
139.91/17.71 c lits-rem: 12 cl-subs: 432 v-elim: 0 v-fix: 0 time: 0.04 s
139.91/17.73 c vivif2 -- cl tried 63710 cl shrink 0 lits rem 0 time: 0.02
139.91/17.74 c vivif2 -- cl tried 10897 cl shrink 0 lits rem 0 time: 0.01
141.51/17.96 c asymm cl-useful: 0/4375/63710 lits-rem:0 time: 0.22
141.51/17.97 c calculated reachability. Time: 0.00
141.51/17.97 c N dy 281 69890 9928 63710 240043 10897 1080074 205728 9.28 no data
148.69/18.83 c N dy 302 75077 9928 63710 240043 15906 1080074 321926 9.26 9.95
155.09/19.61 c N dy 322 80222 9928 63710 240043 20864 1080074 440483 9.26 9.80
163.88/20.71 c N dy 357 85432 9928 63710 240043 14331 1080074 282248 9.33 13.87
167.06/21.14 c F st 374 87501 9928 63710 240043 16360 1080074 342980 9.37 no data
175.84/22.21 c N dy 380 92696 9928 63710 240043 21501 1080074 590526 9.37 no data
184.63/23.32 c N dy 408 98967 9928 63710 240043 14863 1080074 272600 9.38 10.10
192.61/24.38 c S st 432 104835 9928 63710 240043 20590 1080074 419968 9.38 no data
194.21/24.59 c S st 432 105337 9928 63710 240043 21088 1080074 441916 9.38 no data
195.01/24.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
202.19/25.54 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 32.9M T: 0.94
202.19/25.57 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
202.19/25.58 c bin-w-bin subsume rem 0 bins time: 0.02 s
205.40/25.90 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.32 s
205.40/25.94 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9928 time: 0.03 s
205.40/25.97 c Removed useless bin: 0 fixed: 0 props: 1.24M time: 0.03 s
205.40/25.99 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
210.18/26.52 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.51 s
210.97/26.66 c lits-rem: 126 cl-subs: 939 v-elim: 0 v-fix: 0 time: 0.12 s
210.97/26.68 c vivif2 -- cl tried 63710 cl shrink 0 lits rem 0 time: 0.02
211.77/26.70 c vivif2 -- cl tried 20149 cl shrink 0 lits rem 0 time: 0.02
213.38/26.92 c asymm cl-useful: 0/2912/63710 lits-rem:0 time: 0.22
213.38/26.93 c calculated reachability. Time: 0.00
213.38/26.93 c N dy 432 105337 9928 63710 240043 20149 1080074 428645 9.38 no data
225.36/28.49 c N dy 469 112193 9928 63710 240043 26815 1080074 606544 9.40 10.00
235.86/29.77 c N dy 497 119784 9928 63710 240043 20559 1080074 415226 9.41 10.00
246.91/31.17 c N dy 533 127442 9928 63710 240043 27942 1080074 598567 9.42 11.82
258.89/32.69 c N dy 575 135634 9928 63710 240043 21345 1080074 428420 9.41 11.73
275.66/34.70 c N dy 620 144388 9928 63710 240043 29844 1080074 669830 9.43 9.96
290.02/36.51 c N dy 658 154090 9928 63710 240043 23707 1080074 484475 9.43 10.02
297.34/37.46 c S st 683 158005 9928 63710 240043 27532 1080074 602088 9.45 no data
299.60/37.70 c S st 683 158512 9928 63710 240043 28036 1080074 625781 9.45 no data
299.60/37.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
309.18/38.96 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 33.3M T: 1.24
309.18/38.98 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
309.98/39.00 c bin-w-bin subsume rem 0 bins time: 0.02 s
312.38/39.35 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.35 s
312.38/39.39 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9928 time: 0.04 s
313.18/39.42 c Removed useless bin: 0 fixed: 0 props: 1.24M time: 0.03 s
313.18/39.45 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
320.36/40.39 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.91 s
322.81/40.68 c lits-rem: 227 cl-subs: 2140 v-elim: 0 v-fix: 0 time: 0.27 s
322.81/40.70 c vivif2 -- cl tried 63710 cl shrink 0 lits rem 0 time: 0.02
323.68/40.73 c vivif2 -- cl tried 25896 cl shrink 0 lits rem 0 time: 0.03
325.95/41.02 c asymm cl-useful: 0/2930/63710 lits-rem:0 time: 0.28
325.95/41.03 c calculated reachability. Time: 0.00
325.95/41.03 c N dy 683 158512 9928 63710 240043 25896 1080074 602033 9.45 no data
345.12/43.48 c N dy 746 168830 9928 63710 240043 19470 1080074 392104 9.49 10.06
366.73/46.17 c N dy 813 180219 9928 63710 240043 30512 1080074 709099 9.53 10.19
388.24/48.82 c N dy 878 192222 9928 63710 240043 24730 1080074 529421 9.56 10.11
410.65/51.64 c N dy 948 205123 9928 63710 240043 18817 1080074 351613 9.57 10.08
432.16/54.39 c N dy 1029 218699 9928 63710 240043 32024 1080074 725539 9.62 10.18
456.91/57.45 c N dy 1098 233185 9928 63710 240043 26631 1080074 549730 9.64 10.15
464.89/58.42 c S st 1122 237769 9928 63710 240043 31047 1080074 666141 9.64 8.16
466.49/58.64 c S st 1122 238275 9928 63710 240043 31553 1080074 687470 9.64 no data
466.49/58.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
474.48/59.68 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 34.8M T: 1.03
475.27/59.71 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
475.27/59.73 c bin-w-bin subsume rem 0 bins time: 0.02 s
477.67/60.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.32 s
477.67/60.09 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9928 time: 0.03 s
478.47/60.11 c Removed useless bin: 0 fixed: 0 props: 1.24M time: 0.03 s
478.47/60.14 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
485.65/61.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.90 s
488.05/61.34 c lits-rem: 292 cl-subs: 2031 v-elim: 0 v-fix: 0 time: 0.25 s
488.05/61.36 c vivif2 -- cl tried 63710 cl shrink 0 lits rem 0 time: 0.02
488.05/61.39 c vivif2 -- cl tried 29522 cl shrink 0 lits rem 0 time: 0.03
490.58/61.62 c asymm cl-useful: 0/2763/63710 lits-rem:0 time: 0.23
490.58/61.63 c calculated reachability. Time: 0.00
490.58/61.63 c N dy 1122 238275 9928 63710 240043 29522 1080074 665119 9.64 no data
518.39/65.13 c N dy 1206 253687 9928 63710 240043 24103 1080074 467165 9.67 10.30
548.75/68.96 c N dy 1306 269925 9928 63710 240043 39927 1080074 910178 9.71 13.80
580.67/72.98 c N dy 1409 288105 9928 63710 240043 36209 1080074 809413 9.75 10.29
614.21/77.15 c F st 1503 306250 9928 63710 240043 31596 1080074 664984 9.77 9.91
615.02/77.24 c N st 1504 306503 9928 63710 240043 31845 1080074 673194 9.77 no data
649.33/81.57 c N dy 1588 326079 9928 63710 240043 27576 1080074 531659 9.79 15.17
682.93/85.73 c N dy 1685 346302 9928 63710 240043 47063 1080074 1055162 9.80 10.45
702.84/88.22 c S st 1748 357413 9928 63710 240043 33610 1080074 695108 9.81 no data
704.44/88.46 c S st 1748 357917 9928 63710 240043 34113 1080074 721534 9.81 no data
704.44/88.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
713.22/89.54 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 35.8M T: 1.07
713.22/89.57 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
713.22/89.59 c bin-w-bin subsume rem 0 bins time: 0.02 s
716.42/89.91 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.33 s
716.42/89.95 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9928 time: 0.03 s
716.42/89.98 c Removed useless bin: 0 fixed: 0 props: 1.24M time: 0.03 s
717.22/90.01 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s
725.21/91.02 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.98 s
726.85/91.29 c lits-rem: 179 cl-subs: 1857 v-elim: 0 v-fix: 0 time: 0.25 s
726.85/91.31 c vivif2 -- cl tried 63710 cl shrink 0 lits rem 0 time: 0.02
727.72/91.34 c vivif2 -- cl tried 32256 cl shrink 0 lits rem 0 time: 0.03
729.19/91.57 c asymm cl-useful: 0/2396/63710 lits-rem:0 time: 0.23
729.19/91.58 c calculated reachability. Time: 0.00
729.19/91.58 c N dy 1748 357917 9928 63710 240043 32256 1080074 701255 9.81 no data
768.32/96.44 c N dy 1868 377928 9928 63710 240043 26484 1080074 488019 9.85 15.65
804.25/100.98 c N dy 1978 397960 9928 63710 240043 45943 1080074 1050705 9.86 11.09
842.57/105.71 c N dy 2109 418088 9928 63710 240043 39257 1080074 840744 9.91 10.45
882.51/110.71 c N dy 2238 438133 9928 63710 240043 31584 1080074 611223 9.95 12.11
922.43/115.76 c N dy 2367 458165 9928 63710 240043 51146 1080074 1218766 9.99 12.78
961.56/120.62 c N dy 2483 478220 9928 63710 240043 42419 1080074 881857 10.01 12.29
1007.07/126.39 c N dy 2606 498815 9928 63710 240043 33332 1080074 611740 10.03 10.72
1047.78/131.46 c N dy 2739 519319 9928 63710 240043 53265 1080074 1225020 10.07 10.69
1086.12/136.22 c S st 2859 536875 9928 63710 240043 40185 1080074 802210 10.10 no data
1088.51/136.50 c S st 2859 537376 9928 63710 240043 40684 1080074 823287 10.10 no data
1088.51/136.52 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
1099.69/137.92 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 36.9M T: 1.40
1099.69/137.94 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1099.69/137.96 c bin-w-bin subsume rem 0 bins time: 0.02 s
1102.88/138.31 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.35 s
1102.88/138.35 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9928 time: 0.03 s
1102.88/138.38 c Removed useless bin: 0 fixed: 0 props: 1.24M time: 0.03 s
1103.68/138.41 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s
1112.47/139.58 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.13 s
1115.65/139.97 c lits-rem: 285 cl-subs: 2685 v-elim: 0 v-fix: 0 time: 0.38 s
1115.65/139.99 c vivif2 -- cl tried 63710 cl shrink 0 lits rem 0 time: 0.02
1116.46/140.03 c vivif2 -- cl tried 37999 cl shrink 0 lits rem 0 time: 0.04
1118.86/140.30 c asymm cl-useful: 0/2205/63710 lits-rem:0 time: 0.27
1118.86/140.31 c calculated reachability. Time: 0.00
1118.86/140.31 c N dy 2859 537376 9928 63710 240043 37999 1080074 795498 10.10 no data
1164.37/146.03 c N dy 2970 557577 9928 63710 240043 57694 1080074 1388837 10.13 10.93
1203.49/150.96 c N dy 3090 577772 9928 63710 240043 46260 1080074 993607 10.15 10.73
1244.22/156.01 c N dy 3208 597839 9928 63710 240043 33677 1080074 595834 10.16 10.81
1282.55/160.89 c N dy 3333 617867 9928 63710 240043 53211 1080074 1213064 10.19 10.77
1328.06/166.59 c N dy 3471 637984 9928 63710 240043 39723 1080074 784082 10.22 10.88
1369.58/171.75 c N dy 3570 658020 9928 63710 240043 59207 1080074 1349972 10.23 14.21
1415.09/177.41 c N dy 3701 678026 9928 63710 240043 44633 1080074 913551 10.26 11.48
1456.75/182.70 c N dy 3841 698203 9928 63710 240043 64387 1080074 1533252 10.28 10.87
1501.33/188.29 c N dy 3967 718386 9928 63710 240043 48956 1080074 1032457 10.31 10.86
1550.85/194.41 c N dy 4093 739695 9928 63710 240043 69726 1080074 1678319 10.33 10.88
1595.57/200.06 c N dy 4230 760498 9928 63710 240043 53959 1080074 1172922 10.35 10.91
1644.27/206.19 c N dy 4382 780764 9928 63710 240043 73864 1080074 1838964 10.38 10.95
1688.18/211.62 c N dy 4517 800836 9928 63710 240043 56279 1080074 1229996 10.40 11.02
1697.77/212.89 c S st 4542 806064 9928 63710 240043 61369 1080074 1382249 10.41 9.09
1700.17/213.16 c S st 4542 806564 9928 63710 240043 61866 1080074 1399890 10.41 no data
1700.17/213.18 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
1710.58/214.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 37.9M T: 1.27
1710.58/214.47 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1710.58/214.49 c bin-w-bin subsume rem 0 bins time: 0.02 s
1713.73/214.82 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.33 s
1713.73/214.86 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9928 time: 0.03 s
1713.73/214.88 c Removed useless bin: 0 fixed: 0 props: 1.24M time: 0.03 s
1714.53/214.93 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.04 s
1726.51/216.41 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.42 s
1733.69/217.36 c lits-rem: 929 cl-subs: 2766 v-elim: 0 v-fix: 0 time: 0.93 s
1733.69/217.38 c vivif2 -- cl tried 63710 cl shrink 0 lits rem 0 time: 0.02
1734.50/217.44 c vivif2 -- cl tried 59100 cl shrink 0 lits rem 0 time: 0.06
1736.10/217.69 c asymm cl-useful: 0/1986/63710 lits-rem:0 time: 0.24
1736.10/217.70 c calculated reachability. Time: 0.00
1736.10/217.70 c N dy 4542 806564 9928 63710 240043 59100 1080074 1363932 10.41 no data
1784.80/223.73 c N dy 4685 826891 9928 63710 240043 40918 1080074 738806 10.43 11.10
1829.52/229.31 c N dy 4835 846944 9928 63710 240043 60590 1080074 1407224 10.46 12.12
1873.43/234.87 c N dy 4956 867127 9928 63710 240043 41168 1080074 726392 10.47 11.08
1914.95/240.07 c N dy 5087 887280 9928 63710 240043 60870 1080074 1373240 10.49 11.05
1963.67/246.16 c N dy 5242 907343 9928 63710 240043 40419 1080074 686383 10.52 14.55
2006.00/251.46 c N dy 5370 927400 9928 63710 240043 60030 1080074 1325443 10.54 11.39
2054.70/257.54 c N dy 5526 947503 9928 63710 240043 79729 1080074 2002217 10.57 11.24
2104.21/263.75 c N dy 5676 967583 9928 63710 240043 58302 1080074 1274199 10.59 16.17
2156.91/270.34 c N dy 5822 987634 9928 63710 240043 77854 1080074 1938889 10.61 13.15
2202.47/276.07 c N dy 5959 1007700 9928 63710 240043 55446 1080074 1144846 10.63 12.40
2247.26/281.69 c N dy 6079 1027713 9928 63710 240043 74998 1080074 1794918 10.64 11.24
2295.85/287.72 c N dy 6211 1047917 9928 63710 240043 51767 1080074 1012260 10.66 11.22
2337.37/292.92 c N dy 6315 1067921 9928 63710 240043 71146 1080074 1617267 10.66 11.92
2346.96/294.20 c F st 6342 1071875 9928 63710 240043 74985 1080074 1742971 10.66 8.14
2390.88/299.62 c N dy 6418 1087949 9928 63710 240043 46775 1080074 817661 10.67 11.24
2441.17/305.99 c N dy 6567 1108303 9928 63710 240043 66771 1080074 1493938 10.69 11.25
2493.87/312.50 c N dy 6695 1128375 9928 63710 240043 86372 1080074 2147282 10.70 11.43
2535.41/317.81 c N dy 6820 1148441 9928 63710 240043 61027 1080074 1271822 10.71 11.30
2582.51/323.68 c N dy 6948 1168808 9928 63710 240043 80862 1080074 1898644 10.71 11.29
2628.03/329.33 c N dy 7085 1188822 9928 63710 240043 54475 1080074 1012145 10.73 11.61
2672.75/334.93 c N dy 7220 1209847 9928 63710 240043 75026 1080074 1667110 10.74 8.87
2672.75/334.93 c S st 7220 1209847 9928 63710 240043 75026 1080074 1667110 10.74 8.87
2674.35/335.19 c S st 7220 1210349 9928 63710 240043 75528 1080074 1688763 10.74 no data
2675.15/335.20 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
2685.57/336.55 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 39.5M T: 1.35
2685.57/336.58 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2685.57/336.59 c bin-w-bin subsume rem 0 bins time: 0.02 s
2688.72/336.93 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.33 s
2688.72/336.96 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9928 time: 0.03 s
2688.72/336.99 c Removed useless bin: 0 fixed: 0 props: 1.24M time: 0.03 s
2689.52/337.04 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s
2701.51/338.53 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.43 s
2711.08/339.72 c lits-rem: 409 cl-subs: 2946 v-elim: 0 v-fix: 0 time: 1.17 s
2711.08/339.75 c vivif2 -- cl tried 63710 cl shrink 0 lits rem 0 time: 0.02
2711.93/339.82 c vivif2 -- cl tried 72582 cl shrink 0 lits rem 0 time: 0.07
2713.47/340.08 c asymm cl-useful: 0/1893/63710 lits-rem:0 time: 0.26
2713.47/340.09 c calculated reachability. Time: 0.00
2713.47/340.09 c N dy 7220 1210349 9928 63710 240043 72582 1080074 1649425 10.74 no data
2764.62/346.45 c N dy 7357 1230380 9928 63710 240043 92173 1080074 2307787 10.75 11.33
2806.09/351.66 c N dy 7468 1250427 9928 63710 240044 64906 1080074 1344121 10.75 13.43
2852.46/357.51 c N dy 7598 1270512 9928 63710 240044 84590 1080074 1996421 10.76 12.18
2903.52/363.87 c N dy 7736 1290639 9928 63710 240045 56331 1080074 1044163 10.78 11.60
2945.84/369.19 c N dy 7862 1310672 9928 63710 240046 75813 1080074 1664878 10.79 13.50
3000.94/376.02 c N dy 8003 1330730 9928 63710 240046 95443 1080074 2342719 10.80 11.38
3045.69/381.69 c N dy 8127 1350748 9928 63710 240046 66149 1080074 1370780 10.81 11.42
3094.36/387.75 c N dy 8258 1370804 9928 63710 240047 85782 1080074 2039304 10.82 12.81
3147.06/394.37 c N dy 8402 1390852 9928 63710 240049 55643 1080074 1018085 10.84 13.50
3191.77/399.99 c N dy 8527 1410929 9928 63710 240052 75260 1080074 1666614 10.85 14.54
3242.08/406.20 c N dy 8653 1430983 9928 63710 240054 94858 1080074 2305415 10.85 12.52
3290.80/412.32 c N dy 8787 1451052 9928 63710 240062 63636 1080074 1256878 10.86 12.21
3338.70/418.32 c N dy 8926 1471143 9928 63710 240064 83301 1080074 1927113 10.88 11.53
3387.42/424.45 c N dy 9048 1491443 9928 63710 240069 103108 1080074 2573277 10.88 11.46
3440.11/431.10 c N dy 9176 1511675 9926 63710 240072 71076 1080074 1468868 10.89 11.53
3495.19/437.91 c N dy 9298 1532143 9926 63710 240075 91117 1080074 2158432 10.90 11.48
3551.89/445.02 c N dy 9431 1552254 9926 63710 240083 57972 1080074 1013776 10.91 11.69
3596.61/450.65 c N dy 9563 1572475 9926 63710 240096 77744 1080074 1673364 10.91 11.72
3648.52/457.19 c N dy 9702 1592574 9925 63710 240101 97426 1080074 2354393 10.92 11.60
3697.22/463.23 c N dy 9825 1612632 9924 63710 240107 63277 1080074 1196708 10.93 12.61
3744.33/469.12 c N dy 9953 1632656 9924 63710 240116 82917 1080074 1870058 10.94 11.66
3773.88/472.91 c N dy 10017 1652754 9923 63710 240128 102169 1080074 2349871 10.93 11.51
3790.65/474.92 c N dy 10027 1673033 9923 63710 240133 66851 1080074 1075450 10.90 11.51
3814.60/477.97 c N dy 10044 1695375 9923 63710 240139 87970 1080074 1465298 10.87 11.44
3836.21/480.65 c S st 10056 1710349 9923 63710 240139 102150 1080074 1724395 10.85 9.19
3837.75/480.88 c S st 10056 1710849 9923 63710 240139 102641 1080074 1735486 10.85 no data
3838.55/480.90 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
3848.93/482.27 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 1 BRemN: 0 P: 38.2M T: 1.38
3849.73/482.31 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3849.73/482.32 c bin-w-bin subsume rem 0 bins time: 0.02 s
3852.13/482.66 c subs with bin: 0 lits-rem: 19 v-fix: 0 time: 0.34 s
3852.13/482.69 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9923 time: 0.04 s
3852.93/482.72 c Removed useless bin: 0 fixed: 0 props: 1.23M time: 0.03 s
3852.93/482.78 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s
3868.88/484.70 c subs with bin: 4867 lits-rem: 6265 v-fix: 0 time: 1.82 s
3896.03/488.14 c lits-rem: 5274 cl-subs: 10051 v-elim: 0 v-fix: 0 time: 3.42 s
3896.03/488.16 c vivif2 -- cl tried 63654 cl shrink 2 lits rem 2 time: 0.02
3896.83/488.23 c vivif2 -- cl tried 87572 cl shrink 673 lits rem 942 time: 0.07
3899.21/488.50 c asymm cl-useful: 0/1303/63654 lits-rem:0 time: 0.27
3899.21/488.51 c calculated reachability. Time: 0.00
3899.21/488.51 c N dy 10056 1710849 9923 63654 239678 87572 1078205 1536928 10.85 no data
3926.38/491.98 c Following stats are for *FIRST FINISHED THREAD ONLY*
3926.38/491.98 c num threads : 8
3926.38/491.98 c restarts : 8024
3926.38/491.98 c dynamic restarts : 7994
3926.38/491.98 c static restarts : 30
3926.38/491.98 c full restarts : 4
3926.38/491.98 c total simplify time : 0.11
3926.38/491.98 c learnts DL2 : 0
3926.38/491.98 c learnts size 2 : 304208
3926.38/491.98 c learnts size 1 : 284 (2.51 % of vars)
3926.38/491.98 c filedLit time : 6.85 (1.39 % time)
3926.38/491.98 c v-elim SatELite : 1376 (12.16 % vars)
3926.38/491.98 c SatELite time : 13.70 (2.79 % time)
3926.38/491.98 c v-elim xor : 0 (0.00 % vars)
3926.38/491.98 c xor elim time : 0.08 (0.02 % time)
3926.38/491.98 c num binary xor trees : 0
3926.38/491.98 c binxor trees' crown : 0 (nan leafs/tree)
3926.38/491.98 c bin xor find time : 0.01
3926.38/491.98 c OTF clause improved : 83360 (0.04 clauses/conflict)
3926.38/491.98 c OTF impr. size diff : 91649 (1.10 lits/clause)
3926.38/491.98 c OTF cl watch-shrink : 1313681 (0.62 clauses/conflict)
3926.38/491.98 c OTF cl watch-sh-lit : 4645349 (3.54 lits/clause)
3926.38/491.98 c tried to recurMin cls : 442702 (20.87 % of conflicts)
3926.38/491.98 c updated cache : 20362 (0.05 lits/tried recurMin)
3926.38/491.98 c unit cls recevied : 1 (0.35 % of units)
3926.38/491.98 c unit cls sent : 24 (8.45 % of units)
3926.38/491.98 c bin cls recevied : 19
3926.38/491.98 c bin cls sent : 254
3926.38/491.98 c clauses over max glue : 0 (0.00 % of all clauses)
3926.38/491.98 c conflicts : 2121352 (4316.86 / sec)
3926.38/491.98 c decisions : 3323111 (2.17 % random)
3926.38/491.98 c bogo-props : 44913230200 (91396414.26 / sec)
3926.38/491.98 c conflict literals : 51984880 (38.11 % deleted)
3926.38/491.98 c Memory used : 1385.56 MB
3926.38/491.98 c single-thread CPU time : 491.41 s
3926.38/491.98 c all-threads sum CPU time : 3923.11 s
3926.38/491.98 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: 961)
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-3394958-1306109748/watcher-3394958-1306109748 -o /tmp/evaluation-result-3394958-1306109748/solver-3394958-1306109748 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394958-1306109748.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.41 8.01 8.11 2/451 4695
/proc/meminfo: memFree=29597384/32951124 swapFree=60688720/67111528
[pid=4695] ppid=4693 vsize=92144 CPUtime=0.01 cores=0-7
/proc/4695/stat : 4695 (strangenight2-m) R 4693 4695 4499 0 -1 4202496 412 0 0 0 1 0 0 0 25 0 8 0 722572945 94355456 353 33554432000 4194304 4580107 140735575118752 18446744073709551615 46997376518064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4695/statm: 23036 353 299 95 0 18018 0
[pid=4695/tid=4696] ppid=4693 vsize=92144 CPUtime=0.01 cores=0-7
/proc/4695/task/4696/stat : 4696 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 4 0 0 0 1 0 0 0 25 0 8 0 722572945 94355456 361 33554432000 4194304 4580107 140735575118752 18446744073709551615 46997376517657 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4695/tid=4697] ppid=4693 vsize=92144 CPUtime=0.01 cores=0-7
/proc/4695/task/4697/stat : 4697 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 722572945 94355456 361 33554432000 4194304 4580107 140735575118752 18446744073709551615 46997376517648 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4695/tid=4698] ppid=4693 vsize=92144 CPUtime=0 cores=0-7
/proc/4695/task/4698/stat : 4698 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 722572945 94355456 361 33554432000 4194304 4580107 140735575118752 18446744073709551615 46997376518066 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4695/tid=4699] ppid=4693 vsize=92144 CPUtime=0.01 cores=0-7
/proc/4695/task/4699/stat : 4699 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 722572945 94355456 361 33554432000 4194304 4580107 140735575118752 18446744073709551615 46997376517657 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4695/tid=4700] ppid=4693 vsize=92144 CPUtime=0.01 cores=0-7
/proc/4695/task/4700/stat : 4700 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 722572945 94355456 361 33554432000 4194304 4580107 140735575118752 18446744073709551615 46997376517655 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4695/tid=4701] ppid=4693 vsize=92144 CPUtime=0 cores=0-7
/proc/4695/task/4701/stat : 4701 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 722572945 94355456 361 33554432000 4194304 4580107 140735575118752 18446744073709551615 46997376517657 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4695/tid=4702] ppid=4693 vsize=92144 CPUtime=0.01 cores=0-7
/proc/4695/task/4702/stat : 4702 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 722572945 94355456 361 33554432000 4194304 4580107 140735575118752 18446744073709551615 46997376517657 0 0 4096 2 0 0 0 -1 0 0 0 0
[startup+0.078417 s]
/proc/loadavg: 7.41 8.01 8.11 2/451 4695
/proc/meminfo: memFree=29597384/32951124 swapFree=60688720/67111528
[pid=4695] ppid=4693 vsize=567940 CPUtime=0.46 cores=0-7
/proc/4695/stat : 4695 (strangenight2-m) R 4693 4695 4499 0 -1 4202496 11278 0 0 0 37 9 0 0 17 0 8 0 722572945 581570560 9426 33554432000 4194304 4580107 140735575118752 18446744073709551615 232335997471 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4695/statm: 141985 9429 337 95 0 136967 0
[pid=4695/tid=4696] ppid=4693 vsize=567940 CPUtime=0.06 cores=0-7
/proc/4695/task/4696/stat : 4696 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 1406 0 0 0 5 1 0 0 17 0 8 0 722572945 581570560 9433 33554432000 4194304 4580107 140735575118752 18446744073709551615 232335997422 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4695/tid=4697] ppid=4693 vsize=567940 CPUtime=0.06 cores=0-7
/proc/4695/task/4697/stat : 4697 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 1461 0 0 0 5 1 0 0 18 0 8 0 722572945 581570560 9440 33554432000 4194304 4580107 140735575118752 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4695/tid=4698] ppid=4693 vsize=567940 CPUtime=0.02 cores=0-7
/proc/4695/task/4698/stat : 4698 (strangenight2-m) S 4693 4695 4499 0 -1 4202560 1347 0 0 0 1 1 0 0 17 0 8 0 722572945 581570560 9447 33554432000 4194304 4580107 140735575118752 18446744073709551615 232335997422 0 0 4096 2 18446604442141709376 0 0 -1 7 0 0 0
[pid=4695/tid=4699] ppid=4693 vsize=567940 CPUtime=0.06 cores=0-7
/proc/4695/task/4699/stat : 4699 (strangenight2-m) S 4693 4695 4499 0 -1 4202560 1279 0 0 0 5 1 0 0 17 0 8 0 722572945 581570560 9453 33554432000 4194304 4580107 140735575118752 18446744073709551615 232335997422 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4695/tid=4700] ppid=4693 vsize=567940 CPUtime=0.05 cores=0-7
/proc/4695/task/4700/stat : 4700 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 1323 0 0 0 5 0 0 0 17 0 8 0 722572945 581570560 9458 33554432000 4194304 4580107 140735575118752 18446744073709551615 232335997422 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4695/tid=4701] ppid=4693 vsize=567940 CPUtime=0.05 cores=0-7
/proc/4695/task/4701/stat : 4701 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 1376 0 0 0 4 1 0 0 17 0 8 0 722572945 581570560 9463 33554432000 4194304 4580107 140735575118752 18446744073709551615 232335997422 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4695/tid=4702] ppid=4693 vsize=567940 CPUtime=0.06 cores=0-7
/proc/4695/task/4702/stat : 4702 (strangenight2-m) S 4693 4695 4499 0 -1 4202560 1357 0 0 0 5 1 0 0 17 0 8 0 722572945 581570560 9466 33554432000 4194304 4580107 140735575118752 18446744073709551615 232335997422 0 0 4096 2 18446604442141709376 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 567940
[startup+0.103386 s]
/proc/loadavg: 7.41 8.01 8.11 2/451 4695
/proc/meminfo: memFree=29597384/32951124 swapFree=60688720/67111528
[pid=4695] ppid=4693 vsize=568336 CPUtime=0.61 cores=0-7
/proc/4695/stat : 4695 (strangenight2-m) S 4693 4695 4499 0 -1 4202496 11898 0 0 0 45 16 0 0 17 0 8 0 722572945 581976064 10046 33554432000 4194304 4580107 140735575118752 18446744073709551615 232335997422 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4695/statm: 142084 10049 337 95 0 137066 0
[pid=4695/tid=4696] ppid=4693 vsize=568336 CPUtime=0.07 cores=0-7
/proc/4695/task/4696/stat : 4696 (strangenight2-m) S 4693 4695 4499 0 -1 4202560 1447 0 0 0 6 1 0 0 17 0 8 0 722572945 581976064 10051 33554432000 4194304 4580107 140735575118752 18446744073709551615 232335997422 0 0 4096 2 18446604442141709376 0 0 -1 4 0 0 0
[pid=4695/tid=4697] ppid=4693 vsize=568336 CPUtime=0.08 cores=0-7
/proc/4695/task/4697/stat : 4697 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 1680 0 0 0 7 1 0 0 17 0 8 0 722572945 581976064 10053 33554432000 4194304 4580107 140735575118752 18446744073709551615 232335935671 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4695/tid=4698] ppid=4693 vsize=568336 CPUtime=0.03 cores=0-7
/proc/4695/task/4698/stat : 4698 (strangenight2-m) S 4693 4695 4499 0 -1 4202560 1399 0 0 0 1 2 0 0 17 0 8 0 722572945 581976064 10056 33554432000 4194304 4580107 140735575118752 18446744073709551615 232335997422 0 0 4096 2 18446604442141709376 0 0 -1 7 0 0 0
[pid=4695/tid=4699] ppid=4693 vsize=568336 CPUtime=0.08 cores=0-7
/proc/4695/task/4699/stat : 4699 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 1379 0 0 0 6 2 0 0 17 0 8 0 722572945 581976064 10060 33554432000 4194304 4580107 140735575118752 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4695/tid=4700] ppid=4693 vsize=568336 CPUtime=0.07 cores=0-7
/proc/4695/task/4700/stat : 4700 (strangenight2-m) S 4693 4695 4499 0 -1 4202560 1370 0 0 0 6 1 0 0 17 0 8 0 722572945 581976064 10062 33554432000 4194304 4580107 140735575118752 18446744073709551615 232335997422 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4695/tid=4701] ppid=4693 vsize=568336 CPUtime=0.07 cores=0-7
/proc/4695/task/4701/stat : 4701 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 1420 0 0 0 5 2 0 0 17 0 8 0 722572945 581976064 10066 33554432000 4194304 4580107 140735575118752 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4695/tid=4702] ppid=4693 vsize=568336 CPUtime=0.07 cores=0-7
/proc/4695/task/4702/stat : 4702 (strangenight2-m) S 4693 4695 4499 0 -1 4202560 1433 0 0 0 6 1 0 0 17 0 8 0 722572945 581976064 10067 33554432000 4194304 4580107 140735575118752 18446744073709551615 232335997422 0 0 4096 2 18446604442141709376 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 568336
[startup+0.301393 s]
/proc/loadavg: 7.41 8.01 8.11 2/451 4695
/proc/meminfo: memFree=29597384/32951124 swapFree=60688720/67111528
[pid=4695] ppid=4693 vsize=574024 CPUtime=1.72 cores=0-7
/proc/4695/stat : 4695 (strangenight2-m) S 4693 4695 4499 0 -1 4202496 21028 0 0 0 122 50 0 0 17 0 8 0 722572945 587800576 19176 33554432000 4194304 4580107 140735575118752 18446744073709551615 232335997422 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4695/statm: 143506 19191 343 95 0 138488 0
[pid=4695/tid=4696] ppid=4693 vsize=574024 CPUtime=0.2 cores=0-7
/proc/4695/task/4696/stat : 4696 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 2091 0 0 0 13 7 0 0 17 0 8 0 722572945 587800576 19193 33554432000 4194304 4580107 140735575118752 18446744073709551615 232335997422 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4695/tid=4697] ppid=4693 vsize=574024 CPUtime=0.24 cores=0-7
/proc/4695/task/4697/stat : 4697 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 3692 0 0 0 20 4 0 0 18 0 8 0 722572945 587800576 19203 33554432000 4194304 4580107 140735575118752 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4695/tid=4698] ppid=4693 vsize=574024 CPUtime=0.16 cores=0-7
/proc/4695/task/4698/stat : 4698 (strangenight2-m) S 4693 4695 4499 0 -1 4202560 2159 0 0 0 11 5 0 0 17 0 8 0 722572945 587800576 19214 33554432000 4194304 4580107 140735575118752 18446744073709551615 232335997422 0 0 4096 2 18446604442141709376 0 0 -1 7 0 0 0
[pid=4695/tid=4699] ppid=4693 vsize=574024 CPUtime=0.22 cores=0-7
/proc/4695/task/4699/stat : 4699 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 2903 0 0 0 15 7 0 0 17 0 8 0 722572945 587800576 19224 33554432000 4194304 4580107 140735575118752 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4695/tid=4700] ppid=4693 vsize=574024 CPUtime=0.21 cores=0-7
/proc/4695/task/4700/stat : 4700 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 2261 0 0 0 16 5 0 0 17 0 8 0 722572945 587800576 19229 33554432000 4194304 4580107 140735575118752 18446744073709551615 4354920 0 0 4096 2 18446604442141709376 0 0 -1 3 0 0 0
[pid=4695/tid=4701] ppid=4693 vsize=574024 CPUtime=0.2 cores=0-7
/proc/4695/task/4701/stat : 4701 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 2582 0 0 0 13 7 0 0 17 0 8 0 722572945 587800576 19246 33554432000 4194304 4580107 140735575118752 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4695/tid=4702] ppid=4693 vsize=574024 CPUtime=0.22 cores=0-7
/proc/4695/task/4702/stat : 4702 (strangenight2-m) S 4693 4695 4499 0 -1 4202560 2733 0 0 0 16 6 0 0 17 0 8 0 722572945 587800576 19257 33554432000 4194304 4580107 140735575118752 18446744073709551615 232335997422 0 0 4096 2 18446604442141709376 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.72
Current children cumulated vsize (KiB) 574024
[startup+0.718338 s]
/proc/loadavg: 7.41 8.01 8.11 2/451 4695
/proc/meminfo: memFree=29597384/32951124 swapFree=60688720/67111528
[pid=4695] ppid=4693 vsize=671392 CPUtime=4.64 cores=0-7
/proc/4695/stat : 4695 (strangenight2-m) R 4693 4695 4499 0 -1 4202496 50088 0 0 0 392 72 0 0 17 0 8 0 722572945 687505408 48236 33554432000 4194304 4580107 140735575118752 18446744073709551615 232335997422 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4695/statm: 167914 48462 374 95 0 162896 0
[pid=4695/tid=4696] ppid=4693 vsize=671656 CPUtime=0.57 cores=0-7
/proc/4695/task/4696/stat : 4696 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 5103 0 0 0 46 11 0 0 17 0 8 0 722572945 687775744 48504 33554432000 4194304 4580107 140735575118752 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4695/tid=4697] ppid=4693 vsize=671656 CPUtime=0.61 cores=0-7
/proc/4695/task/4697/stat : 4697 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 9663 0 0 0 53 8 0 0 18 0 8 0 722572945 687775744 48587 33554432000 4194304 4580107 140735575118752 18446744073709551615 4451678 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4695/tid=4698] ppid=4693 vsize=671920 CPUtime=0.53 cores=0-7
/proc/4695/task/4698/stat : 4698 (strangenight2-m) D 4693 4695 4499 0 -1 4202560 6109 0 0 0 45 8 0 0 17 0 8 0 722572945 688046080 48759 33554432000 4194304 4580107 140735575118752 18446744073709551615 232335935671 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4695/tid=4699] ppid=4693 vsize=671920 CPUtime=0.6 cores=0-7
/proc/4695/task/4699/stat : 4699 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 7395 0 0 0 51 9 0 0 18 0 8 0 722572945 688046080 48803 33554432000 4194304 4580107 140735575118752 18446744073709551615 232335560945 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4695/tid=4700] ppid=4693 vsize=671920 CPUtime=0.57 cores=0-7
/proc/4695/task/4700/stat : 4700 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 6571 0 0 0 51 6 0 0 17 0 8 0 722572945 688046080 48834 33554432000 4194304 4580107 140735575118752 18446744073709551615 232335553569 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4695/tid=4701] ppid=4693 vsize=671920 CPUtime=0.57 cores=0-7
/proc/4695/task/4701/stat : 4701 (strangenight2-m) S 4693 4695 4499 0 -1 4202560 6309 0 0 0 46 11 0 0 17 0 8 0 722572945 688046080 48859 33554432000 4194304 4580107 140735575118752 18446744073709551615 232335997422 0 0 4096 2 18446604442141709376 0 0 -1 5 0 0 0
[pid=4695/tid=4702] ppid=4693 vsize=669164 CPUtime=0.59 cores=0-7
/proc/4695/task/4702/stat : 4702 (strangenight2-m) D 4693 4695 4499 0 -1 4202560 3617 0 0 0 53 6 0 0 17 0 8 0 722572945 685223936 48475 33554432000 4194304 4580107 140735575118752 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.64
Current children cumulated vsize (KiB) 671392
[startup+1.50114 s]
/proc/loadavg: 7.41 8.01 8.11 9/459 4703
/proc/meminfo: memFree=29323528/32951124 swapFree=60688720/67111528
[pid=4695] ppid=4693 vsize=705208 CPUtime=10.56 cores=0-7
/proc/4695/stat : 4695 (strangenight2-m) R 4693 4695 4499 0 -1 4202496 82081 0 0 0 955 101 0 0 17 0 8 0 722572945 722132992 72708 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4695/statm: 176302 72708 382 95 0 171284 0
[pid=4695/tid=4696] ppid=4693 vsize=705208 CPUtime=1.28 cores=0-7
/proc/4695/task/4696/stat : 4696 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 11165 0 0 0 111 17 0 0 17 0 8 0 722572945 722132992 72708 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4695/tid=4697] ppid=4693 vsize=705208 CPUtime=1.36 cores=0-7
/proc/4695/task/4697/stat : 4697 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 10784 0 0 0 126 10 0 0 18 0 8 0 722572945 722132992 72708 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4695/tid=4698] ppid=4693 vsize=705208 CPUtime=1.26 cores=0-7
/proc/4695/task/4698/stat : 4698 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 10607 0 0 0 115 11 0 0 18 0 8 0 722572945 722132992 72708 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4695/tid=4699] ppid=4693 vsize=705208 CPUtime=1.35 cores=0-7
/proc/4695/task/4699/stat : 4699 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 11798 0 0 0 123 12 0 0 18 0 8 0 722572945 722132992 72708 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4695/tid=4700] ppid=4693 vsize=705208 CPUtime=1.34 cores=0-7
/proc/4695/task/4700/stat : 4700 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 10763 0 0 0 123 11 0 0 18 0 8 0 722572945 722132992 72708 33554432000 4194304 4580107 140735575118752 18446744073709551615 4324529 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4695/tid=4701] ppid=4693 vsize=705208 CPUtime=1.29 cores=0-7
/proc/4695/task/4701/stat : 4701 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 10683 0 0 0 114 15 0 0 18 0 8 0 722572945 722132992 72708 33554432000 4194304 4580107 140735575118752 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4695/tid=4702] ppid=4693 vsize=705208 CPUtime=1.36 cores=0-7
/proc/4695/task/4702/stat : 4702 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 4622 0 0 0 129 7 0 0 18 0 8 0 722572945 722132992 72708 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.56
Current children cumulated vsize (KiB) 705208
[startup+3.10085 s]
/proc/loadavg: 7.41 8.01 8.11 10/459 4703
/proc/meminfo: memFree=29301208/32951124 swapFree=60688720/67111528
[pid=4695] ppid=4693 vsize=710036 CPUtime=23.34 cores=0-7
/proc/4695/stat : 4695 (strangenight2-m) R 4693 4695 4499 0 -1 4202496 88241 0 0 0 2231 103 0 0 20 0 8 0 722572945 727076864 76315 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4695/statm: 177509 76315 384 95 0 172491 0
[pid=4695/tid=4696] ppid=4693 vsize=710036 CPUtime=2.88 cores=0-7
/proc/4695/task/4696/stat : 4696 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 11623 0 0 0 271 17 0 0 20 0 8 0 722572945 727076864 76315 33554432000 4194304 4580107 140735575118752 18446744073709551615 4322541 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4695/tid=4697] ppid=4693 vsize=710036 CPUtime=2.96 cores=0-7
/proc/4695/task/4697/stat : 4697 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 11211 0 0 0 286 10 0 0 21 0 8 0 722572945 727076864 76315 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4695/tid=4698] ppid=4693 vsize=710036 CPUtime=2.84 cores=0-7
/proc/4695/task/4698/stat : 4698 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 12415 0 0 0 273 11 0 0 20 0 8 0 722572945 727076864 76315 33554432000 4194304 4580107 140735575118752 18446744073709551615 232335548423 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4695/tid=4699] ppid=4693 vsize=710036 CPUtime=2.95 cores=0-7
/proc/4695/task/4699/stat : 4699 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 12241 0 0 0 283 12 0 0 21 0 8 0 722572945 727076864 76315 33554432000 4194304 4580107 140735575118752 18446744073709551615 4293251 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4695/tid=4700] ppid=4693 vsize=710036 CPUtime=2.93 cores=0-7
/proc/4695/task/4700/stat : 4700 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 11165 0 0 0 282 11 0 0 21 0 8 0 722572945 727076864 76315 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4695/tid=4701] ppid=4693 vsize=710036 CPUtime=2.89 cores=0-7
/proc/4695/task/4701/stat : 4701 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 11094 0 0 0 274 15 0 0 20 0 8 0 722572945 727076864 76315 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4695/tid=4702] ppid=4693 vsize=710036 CPUtime=2.96 cores=0-7
/proc/4695/task/4702/stat : 4702 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 6379 0 0 0 289 7 0 0 21 0 8 0 722572945 727076864 76315 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.34
Current children cumulated vsize (KiB) 710036
[startup+6.30128 s]
/proc/loadavg: 7.46 8.01 8.11 9/459 4703
/proc/meminfo: memFree=29281192/32951124 swapFree=60688720/67111528
[pid=4695] ppid=4693 vsize=728044 CPUtime=48.89 cores=0-7
/proc/4695/stat : 4695 (strangenight2-m) R 4693 4695 4499 0 -1 4202496 105841 0 0 0 4782 107 0 0 25 0 8 0 722572945 745517056 80149 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294356 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4695/statm: 182011 80150 380 95 0 176993 0
[pid=4695/tid=4696] ppid=4693 vsize=728044 CPUtime=6.08 cores=0-7
/proc/4695/task/4696/stat : 4696 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 13699 0 0 0 591 17 0 0 25 0 8 0 722572945 745517056 80150 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4695/tid=4697] ppid=4693 vsize=728044 CPUtime=6.17 cores=0-7
/proc/4695/task/4697/stat : 4697 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 13645 0 0 0 606 11 0 0 25 0 8 0 722572945 745517056 80150 33554432000 4194304 4580107 140735575118752 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4695/tid=4698] ppid=4693 vsize=728044 CPUtime=5.99 cores=0-7
/proc/4695/task/4698/stat : 4698 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 14846 0 0 0 587 12 0 0 25 0 8 0 722572945 745517056 80150 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4695/tid=4699] ppid=4693 vsize=728044 CPUtime=6.15 cores=0-7
/proc/4695/task/4699/stat : 4699 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 14305 0 0 0 602 13 0 0 25 0 8 0 722572945 745517056 80150 33554432000 4194304 4580107 140735575118752 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4695/tid=4700] ppid=4693 vsize=728044 CPUtime=6.14 cores=0-7
/proc/4695/task/4700/stat : 4700 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 13232 0 0 0 602 12 0 0 25 0 8 0 722572945 745517056 80150 33554432000 4194304 4580107 140735575118752 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4695/tid=4701] ppid=4693 vsize=728044 CPUtime=6.09 cores=0-7
/proc/4695/task/4701/stat : 4701 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 13444 0 0 0 593 16 0 0 25 0 8 0 722572945 745517056 80150 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4695/tid=4702] ppid=4693 vsize=728044 CPUtime=6.16 cores=0-7
/proc/4695/task/4702/stat : 4702 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 8127 0 0 0 608 8 0 0 25 0 8 0 722572945 745517056 80150 33554432000 4194304 4580107 140735575118752 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/loadavg: 8.08 8.09 8.10 9/459 4716
/proc/meminfo: memFree=28650244/32951124 swapFree=60688720/67111528
[pid=4695] ppid=4693 vsize=1332540 CPUtime=3779.46 cores=0-7
/proc/4695/stat : 4695 (strangenight2-m) R 4693 4695 4499 0 -1 4202496 926074 0 0 0 377559 387 0 0 25 0 8 0 722572945 1364520960 237251 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4695/statm: 333135 237251 380 95 0 328117 0
[pid=4695/tid=4696] ppid=4693 vsize=1332540 CPUtime=473.28 cores=0-7
/proc/4695/task/4696/stat : 4696 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 102752 0 0 0 47285 43 0 0 25 0 8 0 722572945 1364520960 237251 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4695/tid=4697] ppid=4693 vsize=1332540 CPUtime=473.25 cores=0-7
/proc/4695/task/4697/stat : 4697 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 129313 0 0 0 47277 48 0 0 25 0 8 0 722572945 1364520960 237251 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4695/tid=4698] ppid=4693 vsize=1332540 CPUtime=466.27 cores=0-7
/proc/4695/task/4698/stat : 4698 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 120823 0 0 0 46577 50 0 0 25 0 8 0 722572945 1364520960 237251 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4695/tid=4699] ppid=4693 vsize=1332540 CPUtime=473.34 cores=0-7
/proc/4695/task/4699/stat : 4699 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 131069 0 0 0 47280 54 0 0 25 0 8 0 722572945 1364520960 237251 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4695/tid=4700] ppid=4693 vsize=1332540 CPUtime=473.34 cores=0-7
/proc/4695/task/4700/stat : 4700 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 98655 0 0 0 47292 42 0 0 25 0 8 0 722572945 1364520960 237251 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4695/tid=4701] ppid=4693 vsize=1332540 CPUtime=473.28 cores=0-7
/proc/4695/task/4701/stat : 4701 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 110627 0 0 0 47276 52 0 0 25 0 8 0 722572945 1364520960 237251 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4695/tid=4702] ppid=4693 vsize=1332540 CPUtime=473.37 cores=0-7
/proc/4695/task/4702/stat : 4702 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 138578 0 0 0 47284 53 0 0 25 0 8 0 722572945 1364520960 237251 33554432000 4194304 4580107 140735575118752 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3779.46
Current children cumulated vsize (KiB) 1332540
[startup+479.901 s]
/proc/loadavg: 8.08 8.09 8.09 9/459 4716
/proc/meminfo: memFree=28645980/32951124 swapFree=60688720/67111528
[pid=4695] ppid=4693 vsize=1381124 CPUtime=3830.57 cores=0-7
/proc/4695/stat : 4695 (strangenight2-m) R 4693 4695 4499 0 -1 4202496 934412 0 0 0 382666 391 0 0 25 0 8 0 722572945 1414270976 238106 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4695/statm: 345281 238107 380 95 0 340263 0
[pid=4695/tid=4696] ppid=4693 vsize=1381124 CPUtime=479.68 cores=0-7
/proc/4695/task/4696/stat : 4696 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 104950 0 0 0 47925 43 0 0 25 0 8 0 722572945 1414270976 238107 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4695/tid=4697] ppid=4693 vsize=1381124 CPUtime=479.64 cores=0-7
/proc/4695/task/4697/stat : 4697 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 131831 0 0 0 47915 49 0 0 25 0 8 0 722572945 1414270976 238107 33554432000 4194304 4580107 140735575118752 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4695/tid=4698] ppid=4693 vsize=1381124 CPUtime=472.57 cores=0-7
/proc/4695/task/4698/stat : 4698 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 120823 0 0 0 47207 50 0 0 25 0 8 0 722572945 1414270976 238107 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4695/tid=4699] ppid=4693 vsize=1381124 CPUtime=479.74 cores=0-7
/proc/4695/task/4699/stat : 4699 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 131806 0 0 0 47919 55 0 0 25 0 8 0 722572945 1414270976 238107 33554432000 4194304 4580107 140735575118752 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4695/tid=4700] ppid=4693 vsize=1381124 CPUtime=479.74 cores=0-7
/proc/4695/task/4700/stat : 4700 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 98824 0 0 0 47932 42 0 0 25 0 8 0 722572945 1414270976 238107 33554432000 4194304 4580107 140735575118752 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4695/tid=4701] ppid=4693 vsize=1381124 CPUtime=479.68 cores=0-7
/proc/4695/task/4701/stat : 4701 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 110627 0 0 0 47916 52 0 0 25 0 8 0 722572945 1414270976 238107 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4695/tid=4702] ppid=4693 vsize=1381124 CPUtime=479.77 cores=0-7
/proc/4695/task/4702/stat : 4702 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 138608 0 0 0 47924 53 0 0 25 0 8 0 722572945 1414270976 238107 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3830.57
Current children cumulated vsize (KiB) 1381124
[startup+486.301 s]
/proc/loadavg: 8.06 8.08 8.09 9/459 4716
/proc/meminfo: memFree=28615220/32951124 swapFree=60688720/67111528
[pid=4695] ppid=4693 vsize=1401720 CPUtime=3881.66 cores=0-7
/proc/4695/stat : 4695 (strangenight2-m) R 4693 4695 4499 0 -1 4202496 942067 0 0 0 387771 395 0 0 25 0 8 0 722572945 1435361280 245761 33554432000 4194304 4580107 140735575118752 18446744073709551615 4451663 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4695/statm: 350430 245761 380 95 0 345412 0
[pid=4695/tid=4696] ppid=4693 vsize=1401720 CPUtime=486.08 cores=0-7
/proc/4695/task/4696/stat : 4696 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 105689 0 0 0 48564 44 0 0 25 0 8 0 722572945 1435361280 245761 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4695/tid=4697] ppid=4693 vsize=1401720 CPUtime=486.03 cores=0-7
/proc/4695/task/4697/stat : 4697 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 132563 0 0 0 48553 50 0 0 25 0 8 0 722572945 1435361280 245761 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294185 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4695/tid=4698] ppid=4693 vsize=1401720 CPUtime=478.87 cores=0-7
/proc/4695/task/4698/stat : 4698 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 120823 0 0 0 47837 50 0 0 25 0 8 0 722572945 1435361280 245762 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4695/tid=4699] ppid=4693 vsize=1401720 CPUtime=486.14 cores=0-7
/proc/4695/task/4699/stat : 4699 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 132482 0 0 0 48558 56 0 0 25 0 8 0 722572945 1435361280 245762 33554432000 4194304 4580107 140735575118752 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4695/tid=4700] ppid=4693 vsize=1401720 CPUtime=486.14 cores=0-7
/proc/4695/task/4700/stat : 4700 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 99006 0 0 0 48572 42 0 0 25 0 8 0 722572945 1435361280 245762 33554432000 4194304 4580107 140735575118752 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4695/tid=4701] ppid=4693 vsize=1401720 CPUtime=486.09 cores=0-7
/proc/4695/task/4701/stat : 4701 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 113906 0 0 0 48556 53 0 0 25 0 8 0 722572945 1435361280 245762 33554432000 4194304 4580107 140735575118752 18446744073709551615 4415767 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4695/tid=4702] ppid=4693 vsize=1401720 CPUtime=486.17 cores=0-7
/proc/4695/task/4702/stat : 4702 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 138608 0 0 0 48564 53 0 0 25 0 8 0 722572945 1435361280 245762 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294224 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3881.66
Current children cumulated vsize (KiB) 1401720
[startup+489.517 s]
/proc/loadavg: 8.06 8.08 8.09 9/459 4716
/proc/meminfo: memFree=28601948/32951124 swapFree=60688720/67111528
[pid=4695] ppid=4693 vsize=1418808 CPUtime=3907.33 cores=0-7
/proc/4695/stat : 4695 (strangenight2-m) R 4693 4695 4499 0 -1 4202496 945689 0 0 0 390338 395 0 0 25 0 8 0 722572945 1452859392 249383 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4695/statm: 354702 249383 380 95 0 349684 0
[pid=4695/tid=4696] ppid=4693 vsize=1418808 CPUtime=489.3 cores=0-7
/proc/4695/task/4696/stat : 4696 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 106010 0 0 0 48885 45 0 0 25 0 8 0 722572945 1452859392 249383 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4695/tid=4697] ppid=4693 vsize=1418808 CPUtime=489.26 cores=0-7
/proc/4695/task/4697/stat : 4697 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 132940 0 0 0 48875 51 0 0 25 0 8 0 722572945 1452859392 249383 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4695/tid=4698] ppid=4693 vsize=1418808 CPUtime=482.03 cores=0-7
/proc/4695/task/4698/stat : 4698 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 121045 0 0 0 48153 50 0 0 25 0 8 0 722572945 1452859392 249383 33554432000 4194304 4580107 140735575118752 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4695/tid=4699] ppid=4693 vsize=1418808 CPUtime=489.35 cores=0-7
/proc/4695/task/4699/stat : 4699 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 132788 0 0 0 48879 56 0 0 25 0 8 0 722572945 1452859392 249383 33554432000 4194304 4580107 140735575118752 18446744073709551615 4331917 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4695/tid=4700] ppid=4693 vsize=1418808 CPUtime=489.35 cores=0-7
/proc/4695/task/4700/stat : 4700 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 99241 0 0 0 48893 42 0 0 25 0 8 0 722572945 1452859392 249383 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4695/tid=4701] ppid=4693 vsize=1418808 CPUtime=489.3 cores=0-7
/proc/4695/task/4701/stat : 4701 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 113906 0 0 0 48877 53 0 0 25 0 8 0 722572945 1452859392 249383 33554432000 4194304 4580107 140735575118752 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4695/tid=4702] ppid=4693 vsize=1418808 CPUtime=489.39 cores=0-7
/proc/4695/task/4702/stat : 4702 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 140664 0 0 0 48886 53 0 0 25 0 8 0 722572945 1452859392 249383 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3907.33
Current children cumulated vsize (KiB) 1418808
[startup+491.101 s]
/proc/loadavg: 8.06 8.08 8.09 9/459 4716
/proc/meminfo: memFree=28591284/32951124 swapFree=60688720/67111528
[pid=4695] ppid=4693 vsize=1418808 CPUtime=3919.99 cores=0-7
/proc/4695/stat : 4695 (strangenight2-m) R 4693 4695 4499 0 -1 4202496 948648 0 0 0 391603 396 0 0 25 0 8 0 722572945 1452859392 252342 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4695/statm: 354702 252342 380 95 0 349684 0
[pid=4695/tid=4696] ppid=4693 vsize=1418808 CPUtime=490.88 cores=0-7
/proc/4695/task/4696/stat : 4696 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 106190 0 0 0 49043 45 0 0 25 0 8 0 722572945 1452859392 252342 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4695/tid=4697] ppid=4693 vsize=1418808 CPUtime=490.84 cores=0-7
/proc/4695/task/4697/stat : 4697 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 133118 0 0 0 49033 51 0 0 25 0 8 0 722572945 1452859392 252342 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4695/tid=4698] ppid=4693 vsize=1418808 CPUtime=483.6 cores=0-7
/proc/4695/task/4698/stat : 4698 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 121048 0 0 0 48310 50 0 0 25 0 8 0 722572945 1452859392 252342 33554432000 4194304 4580107 140735575118752 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4695/tid=4699] ppid=4693 vsize=1418808 CPUtime=490.93 cores=0-7
/proc/4695/task/4699/stat : 4699 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 134926 0 0 0 49037 56 0 0 25 0 8 0 722572945 1452859392 252342 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4695/tid=4700] ppid=4693 vsize=1418808 CPUtime=490.94 cores=0-7
/proc/4695/task/4700/stat : 4700 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 99336 0 0 0 49052 42 0 0 25 0 8 0 722572945 1452859392 252342 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4695/tid=4701] ppid=4693 vsize=1418808 CPUtime=490.89 cores=0-7
/proc/4695/task/4701/stat : 4701 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 113906 0 0 0 49036 53 0 0 25 0 8 0 722572945 1452859392 252342 33554432000 4194304 4580107 140735575118752 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4695/tid=4702] ppid=4693 vsize=1418808 CPUtime=490.97 cores=0-7
/proc/4695/task/4702/stat : 4702 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 140888 0 0 0 49044 53 0 0 25 0 8 0 722572945 1452859392 252342 33554432000 4194304 4580107 140735575118752 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3919.99
Current children cumulated vsize (KiB) 1418808
[startup+491.501 s]
/proc/loadavg: 8.06 8.08 8.09 9/459 4716
/proc/meminfo: memFree=28591284/32951124 swapFree=60688720/67111528
[pid=4695] ppid=4693 vsize=1418808 CPUtime=3923.18 cores=0-7
/proc/4695/stat : 4695 (strangenight2-m) R 4693 4695 4499 0 -1 4202496 948903 0 0 0 391922 396 0 0 25 0 8 0 722572945 1452859392 252597 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4695/statm: 354702 252597 380 95 0 349684 0
[pid=4695/tid=4696] ppid=4693 vsize=1418808 CPUtime=491.28 cores=0-7
/proc/4695/task/4696/stat : 4696 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 106231 0 0 0 49083 45 0 0 25 0 8 0 722572945 1452859392 252597 33554432000 4194304 4580107 140735575118752 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4695/tid=4697] ppid=4693 vsize=1418808 CPUtime=491.24 cores=0-7
/proc/4695/task/4697/stat : 4697 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 133171 0 0 0 49073 51 0 0 25 0 8 0 722572945 1452859392 252597 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4695/tid=4698] ppid=4693 vsize=1418808 CPUtime=484 cores=0-7
/proc/4695/task/4698/stat : 4698 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 121048 0 0 0 48350 50 0 0 25 0 8 0 722572945 1452859392 252597 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4695/tid=4699] ppid=4693 vsize=1418808 CPUtime=491.33 cores=0-7
/proc/4695/task/4699/stat : 4699 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 134983 0 0 0 49077 56 0 0 25 0 8 0 722572945 1452859392 252597 33554432000 4194304 4580107 140735575118752 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4695/tid=4700] ppid=4693 vsize=1418808 CPUtime=491.34 cores=0-7
/proc/4695/task/4700/stat : 4700 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 99358 0 0 0 49092 42 0 0 25 0 8 0 722572945 1452859392 252597 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4695/tid=4701] ppid=4693 vsize=1418808 CPUtime=491.29 cores=0-7
/proc/4695/task/4701/stat : 4701 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 113906 0 0 0 49076 53 0 0 25 0 8 0 722572945 1452859392 252597 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4695/tid=4702] ppid=4693 vsize=1418808 CPUtime=491.37 cores=0-7
/proc/4695/task/4702/stat : 4702 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 140935 0 0 0 49084 53 0 0 25 0 8 0 722572945 1452859392 252597 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3923.18
Current children cumulated vsize (KiB) 1418808
[startup+491.901 s]
/proc/loadavg: 8.06 8.08 8.09 9/459 4716
/proc/meminfo: memFree=28588556/32951124 swapFree=60688720/67111528
[pid=4695] ppid=4693 vsize=1418808 CPUtime=3926.38 cores=0-7
/proc/4695/stat : 4695 (strangenight2-m) R 4693 4695 4499 0 -1 4202496 949147 0 0 0 392241 397 0 0 25 0 8 0 722572945 1452859392 252841 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294460 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4695/statm: 354702 252841 380 95 0 349684 0
[pid=4695/tid=4696] ppid=4693 vsize=1418808 CPUtime=491.68 cores=0-7
/proc/4695/task/4696/stat : 4696 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 106272 0 0 0 49123 45 0 0 25 0 8 0 722572945 1452859392 252841 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4695/tid=4697] ppid=4693 vsize=1418808 CPUtime=491.64 cores=0-7
/proc/4695/task/4697/stat : 4697 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 133216 0 0 0 49113 51 0 0 25 0 8 0 722572945 1452859392 252841 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4695/tid=4698] ppid=4693 vsize=1418808 CPUtime=484.39 cores=0-7
/proc/4695/task/4698/stat : 4698 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 121048 0 0 0 48389 50 0 0 25 0 8 0 722572945 1452859392 252841 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4695/tid=4699] ppid=4693 vsize=1418808 CPUtime=491.73 cores=0-7
/proc/4695/task/4699/stat : 4699 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 135038 0 0 0 49117 56 0 0 25 0 8 0 722572945 1452859392 252841 33554432000 4194304 4580107 140735575118752 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=4695/tid=4700] ppid=4693 vsize=1418808 CPUtime=491.74 cores=0-7
/proc/4695/task/4700/stat : 4700 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 99384 0 0 0 49132 42 0 0 25 0 8 0 722572945 1452859392 252841 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4695/tid=4701] ppid=4693 vsize=1418808 CPUtime=491.69 cores=0-7
/proc/4695/task/4701/stat : 4701 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 113906 0 0 0 49116 53 0 0 25 0 8 0 722572945 1452859392 252841 33554432000 4194304 4580107 140735575118752 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4695/tid=4702] ppid=4693 vsize=1418808 CPUtime=491.77 cores=0-7
/proc/4695/task/4702/stat : 4702 (strangenight2-m) R 4693 4695 4499 0 -1 4202560 140978 0 0 0 49124 53 0 0 25 0 8 0 722572945 1452859392 252841 33554432000 4194304 4580107 140735575118752 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3926.38
Current children cumulated vsize (KiB) 1418808
[startup+492.001 s]
/proc/loadavg: 8.06 8.08 8.09 9/459 4716
/proc/meminfo: memFree=28588556/32951124 swapFree=60688720/67111528
[pid=4695] ppid=4693 vsize=0 CPUtime=3927.09 cores=0-7
/proc/4695/stat : 4695 (strangenight2-m) Z 4693 4695 4499 0 -1 4203548 949199 0 0 0 392311 398 0 0 25 0 2 0 722572945 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4695/statm: 0 0 0 0 0 0 0
[pid=4695/tid=4702] ppid=4693 vsize=0 CPUtime=491.87 cores=0-7
/proc/4695/task/4702/stat : 4702 (strangenight2-m) R 4693 4695 4499 0 -1 4203588 140987 0 0 0 49133 54 0 0 25 0 2 0 722572945 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3927.09
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 492.052
CPU time (s): 3927.15
CPU user time (s): 3923.11
CPU system time (s): 4.03139
CPU usage (%): 798.116
Max. virtual memory (cumulated for all children) (KiB): 1529060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3923.11
system time used= 4.03139
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 949199
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= 142770
involuntary context switches= 32354
runsolver used 2.07268 second user time and 5.2632 second system time
The end
Launcher Data
Begin job on node132 at 2011-05-23 02:15:48
IDJOB=3394958
IDBENCH=88066
IDSOLVER=1878
FILE ID=node132/3394958-1306109748
RUNJOBID= node132-1306109724-4513
PBS_JOBID= 13388041
Free space on /tmp= 73264 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
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-3394958-1306109748/watcher-3394958-1306109748 -o /tmp/evaluation-result-3394958-1306109748/solver-3394958-1306109748 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394958-1306109748.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 3469bb30890bba597175d692c3430b0e
RANDOM SEED=1691142936
node132.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.833
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.833
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.74
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.833
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.76
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.833
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.833
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.833
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.67
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.833
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.82
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.833
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 29597788 kB
Buffers: 16016 kB
Cached: 103192 kB
SwapCached: 14568 kB
Active: 73740 kB
Inactive: 3102004 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 29597788 kB
SwapTotal: 67111528 kB
SwapFree: 60688720 kB
Dirty: 9608 kB
Writeback: 0 kB
AnonPages: 3050536 kB
Mapped: 18496 kB
Slab: 56444 kB
PageTables: 50184 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 109201516 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73260 MiB
End job on node132 at 2011-05-23 02:24:00