Trace number 3393980
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 | APPLICATIONS/bioinfo/
q_query_3_l46_lambda.cnf |
| MD5SUM | eb4d0d02a25a8a84182ddd3b6d1fa8b5 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 79.111 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 33090 |
| Number of clauses | 165828 |
| Sum of the clauses size | 478271 |
| Maximum clause length | 9 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 4268 |
| Number of clauses of size 2 | 41089 |
| Number of clauses of size 3 | 97665 |
| Number of clauses of size 4 | 15752 |
| Number of clauses of size 5 | 6916 |
| Number of clauses of size over 5 | 138 |
Solver Data
0.00/0.00 c Outputting solution to console
0.00/0.02 c Using 8 threads
0.37/0.09 c This is CryptoMiniSat 3.0.0
0.37/0.09 c WARNING: for repeatability, setting FPU to use double precision
0.37/0.09 c Reading file 'HOME/instance-3393980-1306077659.cnf'
0.37/0.09 c -- header says num vars: 33090
0.37/0.09 c -- header says num clauses: 165828
1.16/0.28 c -- clauses added: 0 learnts, 165828 normals, 0 xors
1.16/0.28 c -- vars added 33090
1.16/0.28 c Parsing time: 0.08 s
1.16/0.28 c N st 0 0 33090 113191 41048 0 451185 0 no data no data
1.16/0.53 c asymm cl-useful: 1343/2929/109085 lits-rem:1346 time: 0.24
7.21/1.01 c Flit: 116 Blit: 48 bXBeca: 0 bXProp: 10766 Bins: 0 BRemL: 0 BRemN: 0 P: 11.1M T: 0.44
7.21/1.09 c Cleaning up after failed var search: 0.08 s
8.00/1.13 c Replacing 10766 vars Replaced 212947 lits Time: 0.03 s
8.70/1.22 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
8.70/1.22 c bin-w-bin subsume rem 969 bins time: 0.01 s
8.70/1.24 c subs with bin: 1656 lits-rem: 1108 v-fix: 0 time: 0.01 s
8.70/1.26 c Subs w/ non-existent bins: 13 l-rem: 9 v-fix: 0 done: 16635 time: 0.02 s
8.70/1.28 c Removed useless bin: 1834 fixed: 0 props: 1.45M time: 0.01 s
9.48/1.36 c lits-rem: 1395 cl-subs: 7572 v-elim: 5545 v-fix: 0 time: 0.08 s
9.48/1.38 c Finding binary XORs T: 0.02 s found: 961
9.48/1.39 c Replacing 961 vars Replaced 23449 lits Time: 0.01 s
10.14/1.41 c Finding non-binary XORs: 0.02 s (found: 2599, avg size: 3.0)
10.14/1.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 180 time: 0.01
10.14/1.42 c calculated reachability. Time: 0.00
10.14/1.42 c Calc default polars - time: 0.00 s pos: 2830 undec: 22961 neg: 7299
10.14/1.42 c =========================================================================================
10.14/1.42 c types(t): F = full restart, N = normal restart
10.14/1.42 c types(t): S = simplification begin/end, E = solution found
10.14/1.42 c restart types(rt): st = static, dy = dynamic
10.14/1.42 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
10.14/1.42 c B st 0 0 10129 45731 17681 0 188013 0 no data no data
11.74/1.63 c N dy 13 4017 10123 45731 17858 3798 188008 39995 5.05 5.35
13.34/1.89 c N dy 41 8146 10115 45731 20980 7760 188005 90647 5.31 5.62
14.14/1.98 c Finding binary XORs T: 0.01 s found: 2
15.74/2.19 c N dy 75 12179 10074 45489 25224 11255 186694 141179 5.55 6.12
18.25/2.48 c Finding binary XORs T: 0.01 s found: 2
18.93/2.55 c N dy 107 16326 10047 43930 24920 14591 181815 186557 5.76 6.36
22.13/2.94 c N dy 140 20365 10035 43930 25602 9459 181815 91978 5.95 7.50
24.53/3.27 c N dy 175 24409 10020 43930 26468 13452 181815 153262 6.17 7.09
25.33/3.32 c F st 181 25000 10019 43930 26470 14039 181815 162366 6.21 no data
25.33/3.34 c Replacing 95 vars Replaced 2222 lits Time: 0.01 s
25.33/3.35 c Found part 22 vars: 3 clauses: 1 lits size: 3
25.33/3.35 c Found part 23 vars: 9908 clauses: 61667 lits size: 175342
25.33/3.35 c Found parts: 2 time: 0.03 s
25.33/3.35 c Solving part 22
25.33/3.37 c N st 0 0 3 1 0 0 3 0 no data no data
25.33/3.37 c asymm cl-useful: 0/1/1 lits-rem:0 time: 0.00
25.33/3.37 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
25.33/3.37 c Finding binary XORs T: 0.00 s found: 0
25.33/3.37 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
25.33/3.37 c calculated reachability. Time: 0.00
25.33/3.37 c Calc default polars - time: 0.00 s pos: 3 undec: 33087 neg: 0
25.33/3.37 c =========================================================================================
25.33/3.37 c types(t): F = full restart, N = normal restart
25.33/3.37 c types(t): S = simplification begin/end, E = solution found
25.33/3.37 c restart types(rt): st = static, dy = dynamic
25.33/3.37 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
25.33/3.37 c B st 0 0 3 1 0 0 3 0 no data no data
25.33/3.37 c E st 1 0 0 1 0 0 3 0 no data no data
25.33/3.37 c Verified 1 clauses.
25.33/3.37 c Verified 1 clauses.
25.33/3.37 c Solved part
25.33/3.37 c =========================================================================================
25.33/3.37 c Coming back to original instance
25.33/3.37 c =========================================================================================
29.31/3.86 c N dy 187 30000 9908 42333 25004 18571 175342 245989 6.21 no data
29.31/3.86 c S st 187 30000 9908 42333 25004 18571 175342 245989 6.21 no data
30.10/3.92 c Finding binary XORs T: 0.01 s found: 11
30.10/3.99 c S st 187 30502 9900 42216 25099 18946 174805 249476 6.21 no data
30.10/3.99 c x-sub: 90 x-cut: 0 vfix: 0 v-elim: 20 locsubst: 0 time: 0.01
34.11/4.41 c Flit: 125 Blit: 11 bXBeca: 0 bXProp: 40 Bins: 85346 BRemL: 58139 BRemN: 21 P: 6.7M T: 0.42
34.11/4.42 c Cleaning up after failed var search: 0.01 s
34.11/4.44 c Replacing 51 vars Replaced 13483 lits Time: 0.01 s
34.11/4.45 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
34.11/4.45 c bin-w-bin subsume rem 7188 bins time: 0.01 s
34.11/4.46 c subs with bin: 1261 lits-rem: 1016 v-fix: 0 time: 0.01 s
34.11/4.48 c Subs w/ non-existent bins: 136 l-rem: 122 v-fix: 0 done: 9677 time: 0.01 s
34.11/4.48 c Removed useless bin: 609 fixed: 0 props: 0.29M time: 0.01 s
35.01/4.54 c lits-rem: 594 cl-subs: 1315 v-elim: 1644 v-fix: 0 time: 0.06 s
35.01/4.56 c subs with bin: 223 lits-rem: 1250 v-fix: 0 time: 0.01 s
35.01/4.59 c lits-rem: 759 cl-subs: 466 v-elim: 0 v-fix: 0 time: 0.03 s
37.28/4.84 c asymm cl-useful: 560/37264/40193 lits-rem:636 time: 0.24
37.28/4.84 c calculated reachability. Time: 0.00
37.28/4.84 c N dy 187 30502 8033 40169 14579 8185 159243 95982 6.21 no data
37.28/4.86 c Finding binary XORs T: 0.01 s found: 0
39.69/5.16 c N dy 214 34523 8032 40169 14591 12162 159237 156151 6.28 8.38
42.88/5.53 c N dy 245 38604 8031 40169 15066 16211 159231 221729 6.35 6.77
46.07/5.94 c N dy 277 42645 8031 40169 39043 10598 159231 153564 6.44 8.00
48.47/6.20 c S st 297 45754 8031 40169 39046 13681 159229 201874 6.46 6.37
48.47/6.24 c Finding binary XORs T: 0.01 s found: 1
49.27/6.31 c S st 297 46256 8030 40003 38964 14144 158349 206274 6.46 no data
49.27/6.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 155 locsubst: 0 time: 0.01
50.07/6.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1399 BRemL: 21992 BRemN: 109 P: 2.4M T: 0.14
50.07/6.46 c Replacing 1 vars Replaced 254 lits Time: 0.00 s
50.07/6.47 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
50.07/6.48 c bin-w-bin subsume rem 3803 bins time: 0.00 s
50.07/6.48 c subs with bin: 652 lits-rem: 451 v-fix: 0 time: 0.01 s
50.07/6.49 c Subs w/ non-existent bins: 118 l-rem: 98 v-fix: 0 done: 7874 time: 0.01 s
50.07/6.49 c Removed useless bin: 187 fixed: 0 props: 0.15M time: 0.00 s
50.87/6.52 c lits-rem: 511 cl-subs: 19 v-elim: 236 v-fix: 0 time: 0.03 s
50.87/6.54 c subs with bin: 208 lits-rem: 878 v-fix: 0 time: 0.01 s
50.87/6.57 c lits-rem: 563 cl-subs: 241 v-elim: 0 v-fix: 0 time: 0.03 s
50.87/6.58 c vivif2 -- cl tried 39619 cl shrink 354 lits rem 355 time: 0.01
50.87/6.59 c vivif2 -- cl tried 13130 cl shrink 2077 lits rem 2718 time: 0.01
54.05/6.90 c asymm cl-useful: 430/39562/39562 lits-rem:479 time: 0.32
54.05/6.91 c calculated reachability. Time: 0.00
54.05/6.91 c N dy 297 46256 7638 39560 12243 13090 154128 139410 6.46 no data
56.46/7.27 c N dy 327 50338 7638 39560 14832 17141 154122 206968 6.49 6.85
58.06/7.40 c Finding binary XORs T: 0.01 s found: 1
59.65/7.68 c N dy 357 54410 7637 39532 14638 20946 153955 265695 6.54 8.10
63.63/8.14 c N dy 383 58630 7636 39532 16177 25119 153954 338043 6.58 7.01
67.64/8.63 c N dy 416 62909 7636 39532 16377 29375 153954 407255 6.63 6.98
67.64/8.64 c Finding binary XORs T: 0.01 s found: 0
70.94/9.06 c N dy 451 66972 7636 39498 16049 17745 153773 189110 6.69 7.75
73.23/9.30 c S st 464 69384 7636 39498 17315 20145 153773 231667 6.70 no data
74.03/9.40 c S st 464 69891 7636 39498 17329 20632 153772 236914 6.70 no data
74.03/9.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 0 time: 0.01
74.82/9.53 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1345 BRemL: 4482 BRemN: 76 P: 2.4M T: 0.12
74.82/9.54 c Replacing 1 vars Replaced 33 lits Time: 0.01 s
74.82/9.55 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
74.82/9.55 c bin-w-bin subsume rem 818 bins time: 0.00 s
74.82/9.56 c subs with bin: 739 lits-rem: 168 v-fix: 0 time: 0.01 s
74.82/9.56 c Subs w/ non-existent bins: 9 l-rem: 3 v-fix: 0 done: 7633 time: 0.01 s
74.82/9.57 c Removed useless bin: 103 fixed: 0 props: 0.16M time: 0.00 s
74.82/9.59 c lits-rem: 64 cl-subs: 12 v-elim: 29 v-fix: 0 time: 0.02 s
75.62/9.61 c subs with bin: 87 lits-rem: 851 v-fix: 0 time: 0.02 s
75.62/9.67 c lits-rem: 1389 cl-subs: 367 v-elim: 0 v-fix: 0 time: 0.05 s
75.62/9.67 c vivif2 -- cl tried 38705 cl shrink 20 lits rem 21 time: 0.01
75.62/9.68 c vivif2 -- cl tried 20038 cl shrink 1510 lits rem 2097 time: 0.01
78.93/10.05 c asymm cl-useful: 705/38700/38700 lits-rem:944 time: 0.36
78.93/10.05 c calculated reachability. Time: 0.00
78.93/10.05 c N dy 464 69891 7604 38612 13238 20036 150144 218839 6.70 no data
78.93/10.06 c Finding binary XORs T: 0.01 s found: 0
82.81/10.57 c N dy 489 74397 7602 38612 14965 24511 150144 294330 6.71 9.12
87.71/11.12 c N dy 518 79168 7601 38612 14975 29234 150144 372524 6.72 7.66
88.51/11.29 c Finding binary XORs T: 0.01 s found: 2
92.39/11.77 c N dy 560 84264 7600 38265 15315 33814 148306 452808 6.79 10.35
96.50/12.21 c F st 582 87500 7600 38265 15319 37030 148303 507010 6.81 no data
96.50/12.22 c Replacing 3 vars Replaced 1304 lits Time: 0.01 s
99.57/12.62 c N st 587 90797 7597 38261 15314 21701 148277 225550 6.81 no data
104.37/13.25 c N dy 624 96591 7595 38261 15329 27464 148276 325434 6.85 7.27
107.56/13.65 c Finding binary XORs T: 0.01 s found: 1
110.76/14.05 c N dy 675 102835 7594 37737 18036 33144 145774 430126 6.91 8.89
113.16/14.32 c S st 686 104838 7594 37737 18564 35132 145771 463667 6.92 no data
114.07/14.46 c S st 686 105340 7594 37737 18573 35621 145770 470162 6.92 no data
114.07/14.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 0 time: 0.01
115.55/14.61 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 314 BRemL: 3000 BRemN: 158 P: 2.9M T: 0.13
115.55/14.62 c Replacing 1 vars Replaced 2311 lits Time: 0.01 s
115.55/14.62 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
115.55/14.63 c bin-w-bin subsume rem 1887 bins time: 0.00 s
115.55/14.63 c subs with bin: 317 lits-rem: 166 v-fix: 0 time: 0.01 s
115.55/14.64 c Subs w/ non-existent bins: 106 l-rem: 122 v-fix: 0 done: 7592 time: 0.01 s
115.55/14.65 c Removed useless bin: 63 fixed: 0 props: 0.15M time: 0.00 s
115.55/14.67 c lits-rem: 669 cl-subs: 280 v-elim: 7 v-fix: 0 time: 0.03 s
116.35/14.73 c subs with bin: 246 lits-rem: 3705 v-fix: 0 time: 0.04 s
117.95/14.90 c lits-rem: 3038 cl-subs: 714 v-elim: 0 v-fix: 0 time: 0.16 s
117.95/14.91 c vivif2 -- cl tried 37040 cl shrink 13 lits rem 14 time: 0.01
117.95/14.94 c vivif2 -- cl tried 34661 cl shrink 3874 lits rem 4908 time: 0.02
120.35/15.28 c asymm cl-useful: 619/28500/37034 lits-rem:1511 time: 0.34
120.35/15.29 c calculated reachability. Time: 0.00
120.35/15.29 c N dy 686 105340 7585 36694 14247 34657 141670 439180 6.92 no data
127.53/16.11 c Finding binary XORs T: 0.01 s found: 0
128.33/16.27 c N dy 736 112090 7584 36669 14278 41361 141513 554111 6.96 7.59
135.51/17.12 c N dy 783 119299 7584 36669 15073 27641 141513 293270 6.99 7.43
140.42/17.73 c Finding binary XORs T: 0.01 s found: 1
143.50/18.10 c N dy 826 126971 7583 36448 15295 34669 140279 416073 7.01 9.40
152.28/19.21 c N dy 860 135201 7583 36448 15394 42843 140279 553675 7.01 7.58
161.07/20.38 c N dy 916 144088 7583 36448 15447 29098 140279 304637 7.03 7.52
171.46/21.68 c N dy 974 153821 7583 36448 15458 38771 140279 470119 7.04 7.42
173.06/21.84 c Finding binary XORs T: 0.01 s found: 0
177.04/22.30 c S st 993 158010 7583 36448 17013 42935 140279 545773 7.04 7.16
177.84/22.47 c S st 993 158515 7583 36448 17020 43429 140278 551863 7.04 no data
177.84/22.48 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
179.44/22.63 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 231 BRemL: 1361 BRemN: 285 P: 3.3M T: 0.15
179.44/22.63 c Replacing 1 vars Replaced 42 lits Time: 0.01 s
179.44/22.64 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
179.44/22.64 c bin-w-bin subsume rem 678 bins time: 0.00 s
179.44/22.65 c subs with bin: 520 lits-rem: 417 v-fix: 0 time: 0.01 s
179.44/22.66 c Subs w/ non-existent bins: 104 l-rem: 90 v-fix: 0 done: 7582 time: 0.01 s
179.44/22.66 c Removed useless bin: 126 fixed: 0 props: 0.15M time: 0.00 s
179.44/22.69 c lits-rem: 92 cl-subs: 78 v-elim: 78 v-fix: 0 time: 0.02 s
180.24/22.75 c subs with bin: 288 lits-rem: 2926 v-fix: 0 time: 0.04 s
181.83/22.94 c lits-rem: 2330 cl-subs: 718 v-elim: 0 v-fix: 0 time: 0.19 s
181.83/22.95 c vivif2 -- cl tried 35936 cl shrink 191 lits rem 194 time: 0.01
181.83/22.98 c vivif2 -- cl tried 42202 cl shrink 3774 lits rem 4899 time: 0.03
182.63/23.07 c asymm cl-useful: 0/7434/35934 lits-rem:0 time: 0.09
182.63/23.07 c calculated reachability. Time: 0.00
182.63/23.07 c N dy 993 158515 7504 35934 14445 42202 137663 524722 7.04 no data
195.41/24.61 c N dy 1060 168725 7504 35934 14588 28295 137662 270057 7.07 7.48
197.80/24.93 c Finding binary XORs T: 0.01 s found: 0
207.39/26.11 c N dy 1122 179540 7504 35934 14609 39053 137662 455872 7.08 7.63
222.56/28.08 c N dy 1184 191935 7503 35934 14672 25895 137662 210298 7.09 7.50
229.07/28.89 c Finding binary XORs T: 0.01 s found: 1
236.15/29.75 c N dy 1249 204226 7503 35909 15505 38082 137505 417376 7.09 7.47
253.72/31.96 c N dy 1329 217322 7503 35909 15535 51092 137505 649730 7.11 7.49
261.70/32.97 c Finding binary XORs T: 0.01 s found: 7
271.28/34.13 c N dy 1424 231830 7503 35909 15784 38903 137505 419836 7.13 7.58
276.88/34.83 c Finding binary XORs T: 0.01 s found: 0
279.28/35.11 c S st 1465 237772 7503 35909 16481 44812 137505 525023 7.14 7.02
280.08/35.30 c S st 1465 238277 7503 35909 16487 45308 137504 531374 7.14 no data
280.08/35.31 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
281.78/35.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 108 BRemL: 859 BRemN: 48 P: 3.2M T: 0.14
281.78/35.46 c Replacing 8 vars Replaced 388 lits Time: 0.01 s
281.78/35.47 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
281.78/35.47 c bin-w-bin subsume rem 413 bins time: 0.00 s
281.78/35.48 c subs with bin: 346 lits-rem: 64 v-fix: 0 time: 0.01 s
281.78/35.48 c Subs w/ non-existent bins: 4 l-rem: 1 v-fix: 0 done: 7495 time: 0.01 s
281.78/35.49 c Removed useless bin: 34 fixed: 0 props: 0.15M time: 0.00 s
282.46/35.51 c lits-rem: 66 cl-subs: 46 v-elim: 40 v-fix: 0 time: 0.02 s
282.46/35.57 c subs with bin: 258 lits-rem: 1120 v-fix: 0 time: 0.04 s
284.05/35.76 c lits-rem: 2239 cl-subs: 687 v-elim: 0 v-fix: 0 time: 0.18 s
284.05/35.76 c vivif2 -- cl tried 35455 cl shrink 16 lits rem 16 time: 0.01
284.05/35.79 c vivif2 -- cl tried 44153 cl shrink 2910 lits rem 3858 time: 0.03
287.25/36.14 c asymm cl-useful: 216/25283/35455 lits-rem:430 time: 0.35
287.25/36.15 c calculated reachability. Time: 0.00
287.25/36.15 c N dy 1465 238277 7455 35398 15165 44152 135617 509294 7.14 no data
308.12/38.77 c N dy 1566 254296 7454 35398 15278 32450 135616 298516 7.16 7.61
319.99/40.27 c Finding binary XORs T: 0.01 s found: 3
328.77/41.30 c N dy 1638 270560 7454 35395 15087 48617 135592 580131 7.16 7.67
351.24/44.18 c N dy 1731 288206 7453 35395 15158 37447 135592 374167 7.16 7.56
363.11/45.65 c Finding binary XORs T: 0.01 s found: 22
375.09/47.19 c F st 1817 306251 7453 35279 15992 55301 135113 697205 7.17 7.12
375.89/47.20 c Replacing 25 vars Replaced 1088 lits Time: 0.01 s
376.69/47.34 c N st 1819 306876 7428 35181 15863 55923 134621 709283 7.17 no data
402.25/50.56 c N dy 1903 326669 7428 35181 15886 45868 134619 517314 7.17 7.60
431.80/54.21 c N dy 2002 347089 7428 35181 15909 35378 134618 319796 7.17 7.57
444.58/55.85 c S st 2055 357417 7428 35181 15918 45640 134618 498739 7.18 6.95
446.18/56.03 c S st 2055 357919 7428 35181 15922 46134 134618 505320 7.18 no data
446.18/56.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
446.98/56.18 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 273 BRemL: 590 BRemN: 35 P: 3.3M T: 0.15
446.98/56.19 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
446.98/56.19 c bin-w-bin subsume rem 324 bins time: 0.00 s
446.98/56.20 c subs with bin: 60 lits-rem: 2 v-fix: 0 time: 0.01 s
446.98/56.21 c Subs w/ non-existent bins: 1 l-rem: 0 v-fix: 0 done: 7428 time: 0.01 s
447.88/56.21 c Removed useless bin: 6 fixed: 0 props: 0.15M time: 0.00 s
447.88/56.24 c lits-rem: 15 cl-subs: 74 v-elim: 11 v-fix: 0 time: 0.02 s
447.88/56.30 c subs with bin: 394 lits-rem: 1628 v-fix: 0 time: 0.04 s
450.17/56.59 c lits-rem: 4025 cl-subs: 1033 v-elim: 0 v-fix: 0 time: 0.28 s
450.17/56.60 c vivif2 -- cl tried 35026 cl shrink 8 lits rem 8 time: 0.01
450.97/56.62 c vivif2 -- cl tried 44710 cl shrink 1966 lits rem 2425 time: 0.02
451.77/56.76 c asymm cl-useful: 0/9741/35024 lits-rem:0 time: 0.14
451.77/56.77 c calculated reachability. Time: 0.00
451.77/56.77 c N dy 2055 357919 7417 35024 15208 44710 133938 482722 7.18 no data
451.77/56.78 c Finding binary XORs T: 0.01 s found: 0
481.32/60.47 c N dy 2176 377950 7417 35024 15281 32830 133938 270460 7.19 7.88
509.37/63.98 c N dy 2259 398612 7417 35024 15302 53357 133938 630019 7.18 7.59
512.46/64.38 c Finding binary XORs T: 0.01 s found: 0
540.41/67.85 c N dy 2387 418815 7416 35024 15605 40661 133938 400913 7.19 7.64
565.16/70.95 c Finding binary XORs T: 0.01 s found: 0
569.17/71.45 c N dy 2483 438842 7416 35021 15500 59881 133913 742910 7.19 8.54
599.51/75.27 c N dy 2597 459711 7415 35021 15523 47204 133913 514974 7.20 7.70
632.36/79.38 c N dy 2697 479750 7415 35021 15536 67116 133913 882131 7.21 7.59
661.81/83.02 c N dy 2804 499940 7415 35021 15556 53051 133913 603334 7.21 7.62
696.93/87.41 c N dy 2930 520407 7415 35021 15576 38451 133913 331783 7.22 7.61
721.01/90.46 c S st 3017 536878 7414 35021 15601 54807 133913 622039 7.23 no data
722.49/90.69 c S st 3017 537384 7414 35021 15606 55301 133912 629118 7.23 no data
723.29/90.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
724.09/90.87 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 3 Bins: 289 BRemL: 239 BRemN: 19 P: 3.6M T: 0.16
724.09/90.89 c Replacing 3 vars Replaced 939 lits Time: 0.02 s
724.89/90.90 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
724.89/90.90 c bin-w-bin subsume rem 75 bins time: 0.00 s
724.89/90.91 c subs with bin: 23 lits-rem: 9 v-fix: 0 time: 0.01 s
724.89/90.91 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7411 time: 0.01 s
724.89/90.92 c Removed useless bin: 3 fixed: 0 props: 0.15M time: 0.00 s
724.89/90.94 c lits-rem: 0 cl-subs: 1 v-elim: 5 v-fix: 0 time: 0.03 s
725.69/91.03 c subs with bin: 422 lits-rem: 3637 v-fix: 0 time: 0.06 s
727.29/91.27 c lits-rem: 1972 cl-subs: 745 v-elim: 0 v-fix: 0 time: 0.24 s
727.29/91.28 c vivif2 -- cl tried 34993 cl shrink 1 lits rem 1 time: 0.01
728.09/91.31 c vivif2 -- cl tried 52371 cl shrink 2572 lits rem 3231 time: 0.03
731.28/91.70 c asymm cl-useful: 400/16130/34993 lits-rem:462 time: 0.39
731.28/91.70 c calculated reachability. Time: 0.00
731.28/91.70 c N dy 3017 537384 7406 34993 15212 52371 133255 588062 7.23 no data
731.28/91.72 c Finding binary XORs T: 0.01 s found: 0
768.02/96.31 c N dy 3126 557493 7406 34993 15273 72324 133255 939239 7.23 7.63
780.01/97.85 c Finding binary XORs T: 0.01 s found: 1
795.97/99.87 c N dy 3217 577502 7406 34993 15550 56867 133254 645204 7.23 7.61
831.91/104.33 c N dy 3319 598049 7406 34993 15585 40439 133252 346316 7.23 7.72
860.77/107.98 c N dy 3410 618064 7404 34993 15605 60322 133252 686525 7.23 7.66
896.71/112.41 c N dy 3529 638179 7404 34993 15617 42522 133251 367626 7.24 7.66
928.55/116.40 c N dy 3650 658903 7404 34993 15626 63114 133251 732949 7.24 7.71
938.94/117.75 c Finding binary XORs T: 0.01 s found: 1
965.29/121.10 c N dy 3752 679230 7404 34987 15376 44101 133201 385222 7.25 7.67
974.08/122.14 c Finding binary XORs T: 0.01 s found: 0
1000.43/125.40 c N dy 3867 699266 7404 34987 15751 63991 133201 737611 7.25 7.69
1033.17/129.58 c Finding binary XORs T: 0.01 s found: 1
1043.55/130.83 c N dy 3960 719268 7403 34984 15813 78582 133176 1004268 7.25 7.67
1077.09/135.07 c N dy 4061 739351 7403 34984 15939 63694 133176 727324 7.26 8.96
1088.28/136.46 c Finding binary XORs T: 0.01 s found: 1
1116.34/139.97 c N dy 4162 759400 7402 34981 16104 82639 133145 1073996 7.26 9.59
1152.95/144.53 c N dy 4286 779464 7402 34981 16134 62692 133145 689597 7.27 8.30
1192.89/149.54 c N dy 4395 799519 7401 34981 16171 82569 133145 1042436 7.27 7.73
1207.27/151.39 c S st 4434 806076 7401 34981 16179 89084 133145 1156132 7.27 no data
1209.67/151.69 c S st 4434 806580 7401 34981 16184 89579 133145 1162837 7.27 no data
1210.46/151.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
1211.26/151.91 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 3 Bins: 662 BRemL: 700 BRemN: 10 P: 4.7M T: 0.20
1212.17/151.94 c Replacing 7 vars Replaced 4232 lits Time: 0.03 s
1212.17/151.95 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1212.17/151.95 c bin-w-bin subsume rem 221 bins time: 0.00 s
1212.17/151.96 c subs with bin: 64 lits-rem: 25 v-fix: 0 time: 0.01 s
1212.17/151.97 c Subs w/ non-existent bins: 5 l-rem: 0 v-fix: 0 done: 7394 time: 0.01 s
1212.17/151.97 c Removed useless bin: 8 fixed: 0 props: 0.15M time: 0.00 s
1212.17/152.00 c lits-rem: 2 cl-subs: 13 v-elim: 12 v-fix: 0 time: 0.03 s
1214.45/152.22 c subs with bin: 1126 lits-rem: 10622 v-fix: 0 time: 0.17 s
1220.96/153.08 c lits-rem: 4970 cl-subs: 2244 v-elim: 0 v-fix: 0 time: 0.85 s
1220.96/153.08 c vivif2 -- cl tried 34912 cl shrink 4 lits rem 4 time: 0.01
1221.76/153.16 c vivif2 -- cl tried 81925 cl shrink 8151 lits rem 10209 time: 0.07
1224.84/153.52 c asymm cl-useful: 0/18597/34911 lits-rem:0 time: 0.37
1224.84/153.53 c calculated reachability. Time: 0.00
1224.84/153.53 c N dy 4434 806580 7382 34911 15644 81925 132855 1029487 7.27 no data
1224.84/153.54 c Finding binary XORs T: 0.01 s found: 0
1263.98/158.48 c N dy 4542 826706 7380 34911 15748 62361 132855 676293 7.28 7.69
1306.31/163.77 c N dy 4637 846815 7379 34911 15775 82301 132855 1031071 7.28 7.68
1309.61/164.13 c Finding binary XORs T: 0.01 s found: 3
1344.75/168.54 c Finding binary XORs T: 0.01 s found: 1
1349.43/169.14 c N dy 4730 867222 7379 34903 15692 59823 132773 614860 7.28 7.73
1390.15/174.27 c N dy 4831 887459 7379 34903 15747 79932 132772 965197 7.28 7.72
1434.87/179.82 c N dy 4948 907622 7375 34903 15805 56814 132772 540275 7.28 7.70
1446.86/181.38 c Finding binary XORs T: 0.01 s found: 12
1473.21/184.60 c Finding binary XORs T: 0.01 s found: 29
1475.71/184.94 c N dy 5049 927741 7361 34606 16069 74335 131489 858813 7.28 7.70
1502.87/188.35 c Finding binary XORs T: 0.01 s found: 0
1524.32/191.02 c N dy 5145 947953 7361 34606 16436 94409 131489 1218218 7.28 7.67
1563.56/195.98 c N dy 5229 968228 7360 34606 16468 70906 131489 793042 7.28 7.91
1612.97/202.11 c N dy 5324 988303 7358 34606 16509 90805 131489 1141358 7.28 7.70
1657.70/207.74 c N dy 5425 1008327 7357 34606 16538 65973 131489 674146 7.28 7.68
1662.49/208.31 c Finding binary XORs T: 0.01 s found: 0
1703.23/213.46 c N dy 5510 1028413 7356 34594 16044 83692 131376 1002621 7.28 7.91
1758.31/220.38 c N dy 5617 1048510 7353 34594 16125 59880 131376 554417 7.28 7.70
1775.88/222.55 c Finding binary XORs T: 0.01 s found: 1
1803.84/226.08 c N dy 5720 1069092 7351 34587 15998 79787 131321 907042 7.29 7.69
1810.34/226.90 c F st 5729 1071876 7350 34587 16016 82526 131321 951080 7.28 7.15
1811.02/226.94 c Replacing 48 vars Replaced 14286 lits Time: 0.04 s
1837.38/230.29 c Finding binary XORs T: 0.01 s found: 0
1862.25/233.34 c N dy 5795 1089707 7293 34410 18700 99906 130542 1253527 7.28 7.68
1874.11/234.86 c Finding binary XORs T: 0.01 s found: 129
1874.91/234.92 c Replacing 129 vars Replaced 24726 lits Time: 0.05 s
1905.27/238.76 c Finding binary XORs T: 0.01 s found: 3
1911.65/239.58 c N dy 5875 1109740 7149 34369 23445 72650 130239 756175 7.28 8.06
1965.97/246.35 c N dy 5956 1131866 7120 34369 23570 94448 130239 1112429 7.28 7.69
1966.77/246.45 c Replacing 498 vars Replaced 20915 lits Time: 0.02 s
1966.77/246.45 c Following stats are for *FIRST FINISHED THREAD ONLY*
1966.77/246.45 c num threads : 8
1966.77/246.45 c restarts : 6102
1966.77/246.45 c dynamic restarts : 6072
1966.77/246.45 c static restarts : 30
1966.77/246.45 c full restarts : 4
1966.77/246.45 c total simplify time : 0.91
1966.77/246.45 c learnts DL2 : 0
1966.77/246.45 c learnts size 2 : 224843
1966.77/246.45 c learnts size 1 : 6654 (20.11 % of vars)
1966.77/246.45 c filedLit time : 1.73 (0.70 % time)
1966.77/246.45 c v-elim SatELite : 7609 (22.99 % vars)
1966.77/246.45 c SatELite time : 1.00 (0.41 % time)
1966.77/246.45 c v-elim xor : 177 (0.53 % vars)
1966.77/246.45 c xor elim time : 0.06 (0.03 % time)
1966.77/246.45 c num binary xor trees : 1986
1966.77/246.45 c binxor trees' crown : 12108 (6.10 leafs/tree)
1966.77/246.45 c bin xor find time : 0.53
1966.77/246.45 c OTF clause improved : 8618 (0.01 clauses/conflict)
1966.77/246.45 c OTF impr. size diff : 10184 (1.18 lits/clause)
1966.77/246.45 c OTF cl watch-shrink : 784695 (0.69 clauses/conflict)
1966.77/246.45 c OTF cl watch-sh-lit : 2331243 (2.97 lits/clause)
1966.77/246.45 c tried to recurMin cls : 263737 (23.17 % of conflicts)
1966.77/246.45 c updated cache : 10055 (0.04 lits/tried recurMin)
1966.77/246.45 c unit cls recevied : 152 (2.28 % of units)
1966.77/246.45 c unit cls sent : 90 (1.35 % of units)
1966.77/246.45 c bin cls recevied : 95893
1966.77/246.45 c bin cls sent : 10357
1966.77/246.45 c clauses over max glue : 0 (0.00 % of all clauses)
1966.77/246.45 c conflicts : 1138239 (4623.84 / sec)
1966.77/246.45 c decisions : 1663297 (2.91 % random)
1966.77/246.45 c bogo-props : 22066056518 (89638354.80 / sec)
1966.77/246.45 c conflict literals : 19702852 (37.52 % deleted)
1966.77/246.45 c Memory used : 1129.12 MB
1966.77/246.45 c single-thread CPU time : 246.17 s
1966.77/246.45 c all-threads sum CPU time : 1965.45 s
1966.77/246.45 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-3393980-1306077659/watcher-3393980-1306077659 -o /tmp/evaluation-result-3393980-1306077659/solver-3393980-1306077659 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3393980-1306077659.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.53 7.92 7.96 2/408 31884
/proc/meminfo: memFree=15077432/32950928 swapFree=62959428/67111528
[pid=31884] ppid=31882 vsize=92144 CPUtime=0.04 cores=0-7
/proc/31884/stat : 31884 (strangenight2-m) R 31882 31884 31817 0 -1 4202496 412 0 0 0 4 0 0 0 24 0 8 0 175375341 94355456 352 33554432000 4194304 4580107 140734959912800 18446744073709551615 47209969153970 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/31884/statm: 23036 352 299 95 0 18018 0
[pid=31884/tid=31885] ppid=31882 vsize=92144 CPUtime=0.01 cores=0-7
/proc/31884/task/31885/stat : 31885 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 8 0 175375341 94355456 352 33554432000 4194304 4580107 140734959912800 18446744073709551615 47209969153970 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31884/tid=31886] ppid=31882 vsize=92144 CPUtime=0 cores=0-7
/proc/31884/task/31886/stat : 31886 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 175375341 94355456 352 33554432000 4194304 4580107 140734959912800 18446744073709551615 47209969153960 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31884/tid=31887] ppid=31882 vsize=92144 CPUtime=0.01 cores=0-7
/proc/31884/task/31887/stat : 31887 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 8 0 175375342 94355456 352 33554432000 4194304 4580107 140734959912800 18446744073709551615 47209969153970 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31884/tid=31888] ppid=31882 vsize=92144 CPUtime=0 cores=0-7
/proc/31884/task/31888/stat : 31888 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 175375342 94355456 352 33554432000 4194304 4580107 140734959912800 18446744073709551615 47209969153970 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31884/tid=31889] ppid=31882 vsize=92144 CPUtime=0 cores=0-7
/proc/31884/task/31889/stat : 31889 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 175375342 94355456 352 33554432000 4194304 4580107 140734959912800 18446744073709551615 218880621553 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31884/tid=31890] ppid=31882 vsize=92144 CPUtime=0 cores=0-7
/proc/31884/task/31890/stat : 31890 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 175375342 94355456 352 33554432000 4194304 4580107 140734959912800 18446744073709551615 47209969153970 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31884/tid=31891] ppid=31882 vsize=92144 CPUtime=0 cores=0-7
/proc/31884/task/31891/stat : 31891 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 175375342 94355456 352 33554432000 4194304 4580107 140734959912800 18446744073709551615 47209969153970 0 0 4096 2 0 0 0 -1 4 0 0 0
[startup+0.0638211 s]
/proc/loadavg: 7.53 7.92 7.96 2/408 31884
/proc/meminfo: memFree=15077432/32950928 swapFree=62959428/67111528
[pid=31884] ppid=31882 vsize=92144 CPUtime=0.37 cores=0-7
/proc/31884/stat : 31884 (strangenight2-m) R 31882 31884 31817 0 -1 4202496 420 0 0 0 37 0 0 0 24 0 8 0 175375341 94355456 360 33554432000 4194304 4580107 140734959912800 18446744073709551615 47209969153565 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31884/statm: 23036 360 302 95 0 18018 0
[pid=31884/tid=31885] ppid=31882 vsize=92144 CPUtime=0.06 cores=0-7
/proc/31884/task/31885/stat : 31885 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 4 0 0 0 6 0 0 0 24 0 8 0 175375341 94355456 360 33554432000 4194304 4580107 140734959912800 18446744073709551615 47209969153555 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31884/tid=31886] ppid=31882 vsize=92144 CPUtime=0 cores=0-7
/proc/31884/task/31886/stat : 31886 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 175375341 94355456 360 33554432000 4194304 4580107 140734959912800 18446744073709551615 47209969153960 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31884/tid=31887] ppid=31882 vsize=92144 CPUtime=0.05 cores=0-7
/proc/31884/task/31887/stat : 31887 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 8 0 175375342 94355456 360 33554432000 4194304 4580107 140734959912800 18446744073709551615 47209969153561 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31884/tid=31888] ppid=31882 vsize=92144 CPUtime=0.05 cores=0-7
/proc/31884/task/31888/stat : 31888 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 8 0 175375342 94355456 360 33554432000 4194304 4580107 140734959912800 18446744073709551615 47209969153561 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31884/tid=31889] ppid=31882 vsize=92144 CPUtime=0.04 cores=0-7
/proc/31884/task/31889/stat : 31889 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 8 0 175375342 94355456 360 33554432000 4194304 4580107 140734959912800 18446744073709551615 47209969153559 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31884/tid=31890] ppid=31882 vsize=92144 CPUtime=0.05 cores=0-7
/proc/31884/task/31890/stat : 31890 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 8 0 175375342 94355456 360 33554432000 4194304 4580107 140734959912800 18446744073709551615 47209969153561 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31884/tid=31891] ppid=31882 vsize=92144 CPUtime=0.05 cores=0-7
/proc/31884/task/31891/stat : 31891 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 8 0 175375342 94355456 360 33554432000 4194304 4580107 140734959912800 18446744073709551615 47209969153561 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 92144
[startup+0.10084 s]
/proc/loadavg: 7.53 7.92 7.96 2/408 31884
/proc/meminfo: memFree=15077432/32950928 swapFree=62959428/67111528
[pid=31884] ppid=31882 vsize=480148 CPUtime=0.62 cores=0-7
/proc/31884/stat : 31884 (strangenight2-m) R 31882 31884 31817 0 -1 4202496 3656 0 0 0 61 1 0 0 17 0 8 0 175375341 491671552 3560 33554432000 4194304 4580107 140734959912800 18446744073709551615 218880670239 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31884/statm: 120168 3700 337 95 0 115150 0
[pid=31884/tid=31885] ppid=31882 vsize=480824 CPUtime=0.09 cores=0-7
/proc/31884/task/31885/stat : 31885 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 519 0 0 0 9 0 0 0 18 0 8 0 175375341 492363776 3712 33554432000 4194304 4580107 140734959912800 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31884/tid=31886] ppid=31882 vsize=480824 CPUtime=0 cores=0-7
/proc/31884/task/31886/stat : 31886 (strangenight2-m) S 31882 31884 31817 0 -1 4202560 357 0 0 0 0 0 0 0 18 0 8 0 175375341 492363776 3736 33554432000 4194304 4580107 140734959912800 18446744073709551615 218880670190 0 0 4096 2 18446604449706361024 0 0 -1 7 0 0 0
[pid=31884/tid=31887] ppid=31882 vsize=480952 CPUtime=0.09 cores=0-7
/proc/31884/task/31887/stat : 31887 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 539 0 0 0 9 0 0 0 18 0 8 0 175375342 492494848 3791 33554432000 4194304 4580107 140734959912800 18446744073709551615 218880670239 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31884/tid=31888] ppid=31882 vsize=480820 CPUtime=0.08 cores=0-7
/proc/31884/task/31888/stat : 31888 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 437 0 0 0 8 0 0 0 18 0 8 0 175375342 492359680 3772 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294248 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31884/tid=31889] ppid=31882 vsize=480820 CPUtime=0.07 cores=0-7
/proc/31884/task/31889/stat : 31889 (strangenight2-m) S 31882 31884 31817 0 -1 4202560 478 0 0 0 7 0 0 0 18 0 8 0 175375342 492359680 3789 33554432000 4194304 4580107 140734959912800 18446744073709551615 218880670190 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31884/tid=31890] ppid=31882 vsize=480948 CPUtime=0.09 cores=0-7
/proc/31884/task/31890/stat : 31890 (strangenight2-m) S 31882 31884 31817 0 -1 4202560 448 0 0 0 9 0 0 0 18 0 8 0 175375342 492490752 3809 33554432000 4194304 4580107 140734959912800 18446744073709551615 218880670190 0 0 4096 2 18446604449706361024 0 0 -1 0 0 0 0
[pid=31884/tid=31891] ppid=31882 vsize=481116 CPUtime=0.09 cores=0-7
/proc/31884/task/31891/stat : 31891 (strangenight2-m) S 31882 31884 31817 0 -1 4202560 385 0 0 0 9 0 0 0 17 0 8 0 175375342 492662784 3846 33554432000 4194304 4580107 140734959912800 18446744073709551615 218880670190 0 0 4096 2 18446604449706361024 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 480148
[startup+0.30181 s]
/proc/loadavg: 7.53 7.92 7.96 2/408 31884
/proc/meminfo: memFree=15077432/32950928 swapFree=62959428/67111528
[pid=31884] ppid=31882 vsize=632804 CPUtime=1.77 cores=0-7
/proc/31884/stat : 31884 (strangenight2-m) R 31882 31884 31817 0 -1 4202496 47021 0 0 0 142 35 0 0 17 0 8 0 175375341 647991296 38895 33554432000 4194304 4580107 140734959912800 18446744073709551615 218880670239 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31884/statm: 158201 40466 361 95 0 153183 0
[pid=31884/tid=31885] ppid=31882 vsize=632804 CPUtime=0.47 cores=0-7
/proc/31884/task/31885/stat : 31885 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 6419 0 0 0 43 4 0 0 18 0 8 0 175375341 647991296 40610 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294016 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31884/tid=31886] ppid=31882 vsize=632804 CPUtime=0.36 cores=0-7
/proc/31884/task/31886/stat : 31886 (strangenight2-m) S 31882 31884 31817 0 -1 4202560 5453 0 0 0 32 4 0 0 18 0 8 0 175375341 647991296 40686 33554432000 4194304 4580107 140734959912800 18446744073709551615 218880670190 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31884/tid=31887] ppid=31882 vsize=632804 CPUtime=0.47 cores=0-7
/proc/31884/task/31887/stat : 31887 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 6199 0 0 0 42 5 0 0 18 0 8 0 175375342 647991296 40729 33554432000 4194304 4580107 140734959912800 18446744073709551615 4236021 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31884/tid=31888] ppid=31882 vsize=632804 CPUtime=0.45 cores=0-7
/proc/31884/task/31888/stat : 31888 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 6133 0 0 0 41 4 0 0 18 0 8 0 175375342 647991296 40746 33554432000 4194304 4580107 140734959912800 18446744073709551615 218880670239 0 0 4096 2 18446604449706361024 0 0 -1 2 0 0 0
[pid=31884/tid=31889] ppid=31882 vsize=632804 CPUtime=0.45 cores=0-7
/proc/31884/task/31889/stat : 31889 (strangenight2-m) S 31882 31884 31817 0 -1 4202560 6487 0 0 0 40 5 0 0 18 0 8 0 175375342 647991296 40752 33554432000 4194304 4580107 140734959912800 18446744073709551615 218880670190 0 0 4096 2 18446604449706361024 0 0 -1 5 0 0 0
[pid=31884/tid=31890] ppid=31882 vsize=632804 CPUtime=0.45 cores=0-7
/proc/31884/task/31890/stat : 31890 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 5896 0 0 0 41 4 0 0 18 0 8 0 175375342 647991296 40779 33554432000 4194304 4580107 140734959912800 18446744073709551615 218880670239 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31884/tid=31891] ppid=31882 vsize=632804 CPUtime=0.45 cores=0-7
/proc/31884/task/31891/stat : 31891 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 5836 0 0 0 42 3 0 0 18 0 8 0 175375342 647991296 40782 33554432000 4194304 4580107 140734959912800 18446744073709551615 4319886 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.77
Current children cumulated vsize (KiB) 632804
[startup+0.702674 s]
/proc/loadavg: 7.53 7.92 7.96 2/408 31884
/proc/meminfo: memFree=15077432/32950928 swapFree=62959428/67111528
[pid=31884] ppid=31882 vsize=639980 CPUtime=4.86 cores=0-7
/proc/31884/stat : 31884 (strangenight2-m) R 31882 31884 31817 0 -1 4202496 59889 0 0 0 442 44 0 0 18 0 8 0 175375341 655339520 51699 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31884/statm: 159995 51715 361 95 0 154977 0
[pid=31884/tid=31885] ppid=31882 vsize=640112 CPUtime=0.63 cores=0-7
/proc/31884/task/31885/stat : 31885 (strangenight2-m) D 31882 31884 31817 0 -1 4202560 8036 0 0 0 58 5 0 0 18 0 8 0 175375341 655474688 51838 33554432000 4194304 4580107 140734959912800 18446744073709551615 218880608439 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31884/tid=31886] ppid=31882 vsize=640112 CPUtime=0.52 cores=0-7
/proc/31884/task/31886/stat : 31886 (strangenight2-m) D 31882 31884 31817 0 -1 4202560 7019 0 0 0 47 5 0 0 18 0 8 0 175375341 655474688 51873 33554432000 4194304 4580107 140734959912800 18446744073709551615 218880608439 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31884/tid=31887] ppid=31882 vsize=640112 CPUtime=0.63 cores=0-7
/proc/31884/task/31887/stat : 31887 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 7724 0 0 0 57 6 0 0 18 0 8 0 175375342 655474688 52032 33554432000 4194304 4580107 140734959912800 18446744073709551615 218880670239 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31884/tid=31888] ppid=31882 vsize=640244 CPUtime=0.61 cores=0-7
/proc/31884/task/31888/stat : 31888 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 7705 0 0 0 55 6 0 0 18 0 8 0 175375342 655609856 52033 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293308 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31884/tid=31889] ppid=31882 vsize=640244 CPUtime=0.61 cores=0-7
/proc/31884/task/31889/stat : 31889 (strangenight2-m) D 31882 31884 31817 0 -1 4202560 8142 0 0 0 55 6 0 0 18 0 8 0 175375342 655609856 52109 33554432000 4194304 4580107 140734959912800 18446744073709551615 218880608439 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31884/tid=31890] ppid=31882 vsize=640244 CPUtime=0.62 cores=0-7
/proc/31884/task/31890/stat : 31890 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 7539 0 0 0 57 5 0 0 18 0 8 0 175375342 655609856 52247 33554432000 4194304 4580107 140734959912800 18446744073709551615 218880608439 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31884/tid=31891] ppid=31882 vsize=640376 CPUtime=0.62 cores=0-7
/proc/31884/task/31891/stat : 31891 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 5934 0 0 0 59 3 0 0 18 0 8 0 175375342 655745024 52294 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.86
Current children cumulated vsize (KiB) 639980
[startup+1.50052 s]
/proc/loadavg: 7.53 7.92 7.96 6/416 31892
/proc/meminfo: memFree=14796632/32950928 swapFree=62959428/67111528
[pid=31884] ppid=31882 vsize=657304 CPUtime=10.94 cores=0-7
/proc/31884/stat : 31884 (strangenight2-m) R 31882 31884 31817 0 -1 4202496 96896 0 0 0 1028 66 0 0 18 0 8 0 175375341 673079296 80863 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293232 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31884/statm: 164326 80863 379 95 0 159308 0
[pid=31884/tid=31885] ppid=31882 vsize=657304 CPUtime=1.4 cores=0-7
/proc/31884/task/31885/stat : 31885 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 12654 0 0 0 133 7 0 0 18 0 8 0 175375341 673079296 80863 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31884/tid=31886] ppid=31882 vsize=657304 CPUtime=1.27 cores=0-7
/proc/31884/task/31886/stat : 31886 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 12243 0 0 0 118 9 0 0 17 0 8 0 175375341 673079296 80863 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31884/tid=31887] ppid=31882 vsize=657304 CPUtime=1.4 cores=0-7
/proc/31884/task/31887/stat : 31887 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 12988 0 0 0 133 7 0 0 18 0 8 0 175375342 673079296 80863 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31884/tid=31888] ppid=31882 vsize=657304 CPUtime=1.36 cores=0-7
/proc/31884/task/31888/stat : 31888 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 13072 0 0 0 126 10 0 0 17 0 8 0 175375342 673079296 80863 33554432000 4194304 4580107 140734959912800 18446744073709551615 4295135 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31884/tid=31889] ppid=31882 vsize=657304 CPUtime=1.36 cores=0-7
/proc/31884/task/31889/stat : 31889 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 13049 0 0 0 128 8 0 0 18 0 8 0 175375342 673079296 80863 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293975 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31884/tid=31890] ppid=31882 vsize=657304 CPUtime=1.36 cores=0-7
/proc/31884/task/31890/stat : 31890 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 13407 0 0 0 128 8 0 0 18 0 8 0 175375342 673079296 80864 33554432000 4194304 4580107 140734959912800 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31884/tid=31891] ppid=31882 vsize=657304 CPUtime=1.39 cores=0-7
/proc/31884/task/31891/stat : 31891 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 6742 0 0 0 135 4 0 0 18 0 8 0 175375342 673079296 80864 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 10.94
Current children cumulated vsize (KiB) 657304
[startup+3.10124 s]
/proc/loadavg: 7.53 7.92 7.96 10/416 31892
/proc/meminfo: memFree=14748644/32950928 swapFree=62959428/67111528
[pid=31884] ppid=31882 vsize=683488 CPUtime=23.73 cores=0-7
/proc/31884/stat : 31884 (strangenight2-m) R 31882 31884 31817 0 -1 4202496 107774 0 0 0 2305 68 0 0 20 0 8 0 175375341 699891712 80824 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293923 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31884/statm: 170872 80824 381 95 0 165854 0
[pid=31884/tid=31885] ppid=31882 vsize=683488 CPUtime=3 cores=0-7
/proc/31884/task/31885/stat : 31885 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 13521 0 0 0 293 7 0 0 20 0 8 0 175375341 699891712 80824 33554432000 4194304 4580107 140734959912800 18446744073709551615 4296092 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31884/tid=31886] ppid=31882 vsize=683488 CPUtime=2.85 cores=0-7
/proc/31884/task/31886/stat : 31886 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 13118 0 0 0 276 9 0 0 19 0 8 0 175375341 699891712 80824 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31884/tid=31887] ppid=31882 vsize=683488 CPUtime=3 cores=0-7
/proc/31884/task/31887/stat : 31887 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 13926 0 0 0 293 7 0 0 20 0 8 0 175375342 699891712 80824 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31884/tid=31888] ppid=31882 vsize=683488 CPUtime=2.95 cores=0-7
/proc/31884/task/31888/stat : 31888 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 13845 0 0 0 285 10 0 0 20 0 8 0 175375342 699891712 80824 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293295 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31884/tid=31889] ppid=31882 vsize=683488 CPUtime=2.97 cores=0-7
/proc/31884/task/31889/stat : 31889 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 13779 0 0 0 288 9 0 0 20 0 8 0 175375342 699891712 80824 33554432000 4194304 4580107 140734959912800 18446744073709551615 4306033 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31884/tid=31890] ppid=31882 vsize=683488 CPUtime=2.96 cores=0-7
/proc/31884/task/31890/stat : 31890 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 14210 0 0 0 288 8 0 0 20 0 8 0 175375342 699891712 80824 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31884/tid=31891] ppid=31882 vsize=683488 CPUtime=2.99 cores=0-7
/proc/31884/task/31891/stat : 31891 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 11752 0 0 0 294 5 0 0 20 0 8 0 175375342 699891712 80824 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 23.73
Current children cumulated vsize (KiB) 683488
[startup+6.30068 s]
/proc/loadavg: 7.57 7.92 7.96 9/416 31892
/proc/meminfo: memFree=14712828/32950928 swapFree=62959428/67111528
[pid=31884] ppid=31882 vsize=643112 CPUtime=49.27 cores=0-7
/proc/31884/stat : 31884 (strangenight2-m) R 31882 31884 31817 0 -1 4202496 141255 0 0 0 4853 74 0 0 25 0 8 0 175375341 658546688 93811 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31884/statm: 160778 93811 381 95 0 155760 0
[pid=31884/tid=31885] ppid=31882 vsize=643112 CPUtime=6.2 cores=0-7
/proc/31884/task/31885/stat : 31885 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 18230 0 0 0 612 8 0 0 25 0 8 0 175375341 658546688 93811 33554432000 4194304 4580107 140734959912800 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31884/tid=31886] ppid=31882 vsize=643112 CPUtime=6.03 cores=0-7
/proc/31884/task/31886/stat : 31886 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 18585 0 0 0 593 10 0 0 25 0 8 0 175375341 658546688 93811 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31884/tid=31887] ppid=31882 vsize=643112 CPUtime=6.17 cores=0-7
/proc/31884/task/31887/stat : 31887 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 18848 0 0 0 609 8 0 0 25 0 8 0 175375342 658546688 93811 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293301 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31884/tid=31888] ppid=31882 vsize=643112 CPUtime=6.15 cores=0-7
/proc/31884/task/31888/stat : 31888 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 17100 0 0 0 604 11 0 0 25 0 8 0 175375342 658546688 93811 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31884/tid=31889] ppid=31882 vsize=643112 CPUtime=6.16 cores=0-7
/proc/31884/task/31889/stat : 31889 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 17943 0 0 0 607 9 0 0 25 0 8 0 175375342 658546688 93811 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31884/tid=31890] ppid=31882 vsize=643112 CPUtime=6.16 cores=0-7
/proc/31884/task/31890/stat : 31890 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 18741 0 0 0 607 9 0 0 25 0 8 0 175375342 658546688 93811 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31884/tid=31891] ppid=31882 vsize=643112 CPUtime=6.19 cores=0-7
/proc/31884/task/31891/stat : 31891 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 13388 0 0 0 614 5 0 0 25 0 8 0 175375342 658546688 93811 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294462 0 0 4096 2 0 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/31884/task/31888/stat : 31888 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 49119 0 0 0 23015 21 0 0 25 0 8 0 175375342 1192960000 180925 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31884/tid=31889] ppid=31882 vsize=1165000 CPUtime=230.37 cores=0-7
/proc/31884/task/31889/stat : 31889 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 56121 0 0 0 23012 25 0 0 25 0 8 0 175375342 1192960000 180925 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294551 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31884/tid=31890] ppid=31882 vsize=1165000 CPUtime=230.35 cores=0-7
/proc/31884/task/31890/stat : 31890 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 48390 0 0 0 23017 18 0 0 25 0 8 0 175375342 1192960000 180925 33554432000 4194304 4580107 140734959912800 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31884/tid=31891] ppid=31882 vsize=1165000 CPUtime=230.34 cores=0-7
/proc/31884/task/31891/stat : 31891 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 66672 0 0 0 23012 22 0 0 25 0 8 0 175375342 1192960000 180925 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1839.78
Current children cumulated vsize (KiB) 1165000
[startup+236.901 s]
/proc/loadavg: 8.08 7.99 7.98 9/416 31898
/proc/meminfo: memFree=14343420/32950928 swapFree=62959428/67111528
[pid=31884] ppid=31882 vsize=1217876 CPUtime=1890.89 cores=0-7
/proc/31884/stat : 31884 (strangenight2-m) R 31882 31884 31817 0 -1 4202496 422516 0 0 0 188915 174 0 0 25 0 8 0 175375341 1247105024 184157 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293131 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31884/statm: 304469 184157 414 95 0 299451 0
[pid=31884/tid=31885] ppid=31882 vsize=1217876 CPUtime=236.81 cores=0-7
/proc/31884/task/31885/stat : 31885 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 51314 0 0 0 23661 20 0 0 25 0 8 0 175375341 1247105024 184157 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31884/tid=31886] ppid=31882 vsize=1217876 CPUtime=236.62 cores=0-7
/proc/31884/task/31886/stat : 31886 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 45203 0 0 0 23642 20 0 0 25 0 8 0 175375341 1247105024 184157 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31884/tid=31887] ppid=31882 vsize=1217876 CPUtime=233.63 cores=0-7
/proc/31884/task/31887/stat : 31887 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 53479 0 0 0 23340 23 0 0 25 0 8 0 175375342 1247105024 184157 33554432000 4194304 4580107 140734959912800 18446744073709551615 4316670 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31884/tid=31888] ppid=31882 vsize=1217876 CPUtime=236.76 cores=0-7
/proc/31884/task/31888/stat : 31888 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 50410 0 0 0 23654 22 0 0 25 0 8 0 175375342 1247105024 184157 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31884/tid=31889] ppid=31882 vsize=1217876 CPUtime=236.76 cores=0-7
/proc/31884/task/31889/stat : 31889 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 57430 0 0 0 23651 25 0 0 25 0 8 0 175375342 1247105024 184157 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31884/tid=31890] ppid=31882 vsize=1217876 CPUtime=236.76 cores=0-7
/proc/31884/task/31890/stat : 31890 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 49660 0 0 0 23657 19 0 0 25 0 8 0 175375342 1247105024 184157 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31884/tid=31891] ppid=31882 vsize=1217876 CPUtime=236.74 cores=0-7
/proc/31884/task/31891/stat : 31891 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 66898 0 0 0 23652 22 0 0 25 0 8 0 175375342 1247105024 184157 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1890.89
Current children cumulated vsize (KiB) 1217876
[startup+243.316 s]
/proc/loadavg: 8.07 7.99 7.98 9/416 31898
/proc/meminfo: memFree=14364248/32950928 swapFree=62959428/67111528
[pid=31884] ppid=31882 vsize=1156220 CPUtime=1942.12 cores=0-7
/proc/31884/stat : 31884 (strangenight2-m) R 31882 31884 31817 0 -1 4202496 427085 0 0 0 194036 176 0 0 25 0 8 0 175375341 1183969280 178757 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293192 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31884/statm: 289055 178757 414 95 0 284037 0
[pid=31884/tid=31885] ppid=31882 vsize=1156220 CPUtime=243.22 cores=0-7
/proc/31884/task/31885/stat : 31885 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 51685 0 0 0 24302 20 0 0 25 0 8 0 175375341 1183969280 178757 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31884/tid=31886] ppid=31882 vsize=1156220 CPUtime=243.04 cores=0-7
/proc/31884/task/31886/stat : 31886 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 45577 0 0 0 24283 21 0 0 25 0 8 0 175375341 1183969280 178757 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31884/tid=31887] ppid=31882 vsize=1156220 CPUtime=239.95 cores=0-7
/proc/31884/task/31887/stat : 31887 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 54830 0 0 0 23972 23 0 0 25 0 8 0 175375342 1183969280 178757 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31884/tid=31888] ppid=31882 vsize=1156220 CPUtime=243.18 cores=0-7
/proc/31884/task/31888/stat : 31888 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 50806 0 0 0 24296 22 0 0 25 0 8 0 175375342 1183969280 178757 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31884/tid=31889] ppid=31882 vsize=1156220 CPUtime=243.18 cores=0-7
/proc/31884/task/31889/stat : 31889 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 58717 0 0 0 24292 26 0 0 25 0 8 0 175375342 1183969280 178757 33554432000 4194304 4580107 140734959912800 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31884/tid=31890] ppid=31882 vsize=1156220 CPUtime=243.17 cores=0-7
/proc/31884/task/31890/stat : 31890 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 50043 0 0 0 24298 19 0 0 25 0 8 0 175375342 1183969280 178757 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293167 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31884/tid=31891] ppid=31882 vsize=1156220 CPUtime=243.16 cores=0-7
/proc/31884/task/31891/stat : 31891 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 66898 0 0 0 24294 22 0 0 25 0 8 0 175375342 1183969280 178757 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1942.12
Current children cumulated vsize (KiB) 1156220
[startup+244.901 s]
/proc/loadavg: 8.06 7.99 7.98 9/416 31898
/proc/meminfo: memFree=14362264/32950928 swapFree=62959428/67111528
[pid=31884] ppid=31882 vsize=1156220 CPUtime=1954.78 cores=0-7
/proc/31884/stat : 31884 (strangenight2-m) R 31882 31884 31817 0 -1 4202496 427782 0 0 0 195301 177 0 0 25 0 8 0 175375341 1183969280 179454 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31884/statm: 289055 179454 414 95 0 284037 0
[pid=31884/tid=31885] ppid=31882 vsize=1156220 CPUtime=244.81 cores=0-7
/proc/31884/task/31885/stat : 31885 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 51769 0 0 0 24461 20 0 0 25 0 8 0 175375341 1183969280 179454 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31884/tid=31886] ppid=31882 vsize=1156220 CPUtime=244.62 cores=0-7
/proc/31884/task/31886/stat : 31886 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 45663 0 0 0 24441 21 0 0 25 0 8 0 175375341 1183969280 179454 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31884/tid=31887] ppid=31882 vsize=1156220 CPUtime=241.52 cores=0-7
/proc/31884/task/31887/stat : 31887 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 54946 0 0 0 24129 23 0 0 25 0 8 0 175375342 1183969280 179454 33554432000 4194304 4580107 140734959912800 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31884/tid=31888] ppid=31882 vsize=1156220 CPUtime=244.76 cores=0-7
/proc/31884/task/31888/stat : 31888 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 50887 0 0 0 24454 22 0 0 25 0 8 0 175375342 1183969280 179454 33554432000 4194304 4580107 140734959912800 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31884/tid=31889] ppid=31882 vsize=1156220 CPUtime=244.76 cores=0-7
/proc/31884/task/31889/stat : 31889 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 58818 0 0 0 24450 26 0 0 25 0 8 0 175375342 1183969280 179454 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31884/tid=31890] ppid=31882 vsize=1156220 CPUtime=244.75 cores=0-7
/proc/31884/task/31890/stat : 31890 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 50132 0 0 0 24456 19 0 0 25 0 8 0 175375342 1183969280 179454 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31884/tid=31891] ppid=31882 vsize=1156220 CPUtime=244.74 cores=0-7
/proc/31884/task/31891/stat : 31891 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 66934 0 0 0 24452 22 0 0 25 0 8 0 175375342 1183969280 179454 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1954.78
Current children cumulated vsize (KiB) 1156220
[startup+245.701 s]
/proc/loadavg: 8.06 7.99 7.98 9/416 31898
/proc/meminfo: memFree=14360404/32950928 swapFree=62959428/67111528
[pid=31884] ppid=31882 vsize=1156220 CPUtime=1961.16 cores=0-7
/proc/31884/stat : 31884 (strangenight2-m) R 31882 31884 31817 0 -1 4202496 428159 0 0 0 195939 177 0 0 25 0 8 0 175375341 1183969280 179831 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294963 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31884/statm: 289055 179831 414 95 0 284037 0
[pid=31884/tid=31885] ppid=31882 vsize=1156220 CPUtime=245.61 cores=0-7
/proc/31884/task/31885/stat : 31885 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 51816 0 0 0 24541 20 0 0 25 0 8 0 175375341 1183969280 179831 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31884/tid=31886] ppid=31882 vsize=1156220 CPUtime=245.42 cores=0-7
/proc/31884/task/31886/stat : 31886 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 45690 0 0 0 24521 21 0 0 25 0 8 0 175375341 1183969280 179831 33554432000 4194304 4580107 140734959912800 18446744073709551615 4295023 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31884/tid=31887] ppid=31882 vsize=1156220 CPUtime=242.3 cores=0-7
/proc/31884/task/31887/stat : 31887 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 55007 0 0 0 24207 23 0 0 25 0 8 0 175375342 1183969280 179831 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31884/tid=31888] ppid=31882 vsize=1156220 CPUtime=245.56 cores=0-7
/proc/31884/task/31888/stat : 31888 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 50941 0 0 0 24534 22 0 0 25 0 8 0 175375342 1183969280 179831 33554432000 4194304 4580107 140734959912800 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31884/tid=31889] ppid=31882 vsize=1156220 CPUtime=245.56 cores=0-7
/proc/31884/task/31889/stat : 31889 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 58863 0 0 0 24530 26 0 0 25 0 8 0 175375342 1183969280 179831 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31884/tid=31890] ppid=31882 vsize=1156220 CPUtime=245.55 cores=0-7
/proc/31884/task/31890/stat : 31890 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 50169 0 0 0 24536 19 0 0 25 0 8 0 175375342 1183969280 179831 33554432000 4194304 4580107 140734959912800 18446744073709551615 4305555 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31884/tid=31891] ppid=31882 vsize=1156220 CPUtime=245.54 cores=0-7
/proc/31884/task/31891/stat : 31891 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 66992 0 0 0 24532 22 0 0 25 0 8 0 175375342 1183969280 179831 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1961.16
Current children cumulated vsize (KiB) 1156220
[startup+246.1 s]
/proc/loadavg: 8.06 7.99 7.98 9/416 31898
/proc/meminfo: memFree=14360404/32950928 swapFree=62959428/67111528
[pid=31884] ppid=31882 vsize=1156220 CPUtime=1964.37 cores=0-7
/proc/31884/stat : 31884 (strangenight2-m) R 31882 31884 31817 0 -1 4202496 428323 0 0 0 196259 178 0 0 25 0 8 0 175375341 1183969280 179995 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31884/statm: 289055 179995 414 95 0 284037 0
[pid=31884/tid=31885] ppid=31882 vsize=1156220 CPUtime=246.01 cores=0-7
/proc/31884/task/31885/stat : 31885 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 51839 0 0 0 24581 20 0 0 25 0 8 0 175375341 1183969280 179995 33554432000 4194304 4580107 140734959912800 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31884/tid=31886] ppid=31882 vsize=1156220 CPUtime=245.82 cores=0-7
/proc/31884/task/31886/stat : 31886 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 45690 0 0 0 24561 21 0 0 25 0 8 0 175375341 1183969280 179995 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31884/tid=31887] ppid=31882 vsize=1156220 CPUtime=242.7 cores=0-7
/proc/31884/task/31887/stat : 31887 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 55028 0 0 0 24247 23 0 0 25 0 8 0 175375342 1183969280 179995 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31884/tid=31888] ppid=31882 vsize=1156220 CPUtime=245.96 cores=0-7
/proc/31884/task/31888/stat : 31888 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 50961 0 0 0 24574 22 0 0 25 0 8 0 175375342 1183969280 179995 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31884/tid=31889] ppid=31882 vsize=1156220 CPUtime=245.96 cores=0-7
/proc/31884/task/31889/stat : 31889 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 58887 0 0 0 24570 26 0 0 25 0 8 0 175375342 1183969280 179995 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293184 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31884/tid=31890] ppid=31882 vsize=1156220 CPUtime=245.95 cores=0-7
/proc/31884/task/31890/stat : 31890 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 50192 0 0 0 24576 19 0 0 25 0 8 0 175375342 1183969280 179995 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293957 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31884/tid=31891] ppid=31882 vsize=1156220 CPUtime=245.94 cores=0-7
/proc/31884/task/31891/stat : 31891 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 67023 0 0 0 24572 22 0 0 25 0 8 0 175375342 1183969280 179995 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1964.37
Current children cumulated vsize (KiB) 1156220
[startup+246.3 s]
/proc/loadavg: 8.06 7.99 7.98 9/416 31898
/proc/meminfo: memFree=14360404/32950928 swapFree=62959428/67111528
[pid=31884] ppid=31882 vsize=1156220 CPUtime=1965.97 cores=0-7
/proc/31884/stat : 31884 (strangenight2-m) R 31882 31884 31817 0 -1 4202496 428390 0 0 0 196419 178 0 0 25 0 8 0 175375341 1183969280 180062 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31884/statm: 289055 180062 414 95 0 284037 0
[pid=31884/tid=31885] ppid=31882 vsize=1156220 CPUtime=246.21 cores=0-7
/proc/31884/task/31885/stat : 31885 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 51852 0 0 0 24601 20 0 0 25 0 8 0 175375341 1183969280 180062 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31884/tid=31886] ppid=31882 vsize=1156220 CPUtime=246.02 cores=0-7
/proc/31884/task/31886/stat : 31886 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 45690 0 0 0 24581 21 0 0 25 0 8 0 175375341 1183969280 180062 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31884/tid=31887] ppid=31882 vsize=1156220 CPUtime=242.9 cores=0-7
/proc/31884/task/31887/stat : 31887 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 55034 0 0 0 24267 23 0 0 25 0 8 0 175375342 1183969280 180062 33554432000 4194304 4580107 140734959912800 18446744073709551615 4305629 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31884/tid=31888] ppid=31882 vsize=1156220 CPUtime=246.16 cores=0-7
/proc/31884/task/31888/stat : 31888 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 50966 0 0 0 24594 22 0 0 25 0 8 0 175375342 1183969280 180062 33554432000 4194304 4580107 140734959912800 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31884/tid=31889] ppid=31882 vsize=1156220 CPUtime=246.16 cores=0-7
/proc/31884/task/31889/stat : 31889 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 58897 0 0 0 24590 26 0 0 25 0 8 0 175375342 1183969280 180062 33554432000 4194304 4580107 140734959912800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31884/tid=31890] ppid=31882 vsize=1156220 CPUtime=246.15 cores=0-7
/proc/31884/task/31890/stat : 31890 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 50200 0 0 0 24596 19 0 0 25 0 8 0 175375342 1183969280 180062 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31884/tid=31891] ppid=31882 vsize=1156220 CPUtime=246.14 cores=0-7
/proc/31884/task/31891/stat : 31891 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 67038 0 0 0 24592 22 0 0 25 0 8 0 175375342 1183969280 180062 33554432000 4194304 4580107 140734959912800 18446744073709551615 4293145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1965.97
Current children cumulated vsize (KiB) 1156220
[startup+246.4 s]
/proc/loadavg: 8.06 7.99 7.98 9/416 31898
/proc/meminfo: memFree=14360404/32950928 swapFree=62959428/67111528
[pid=31884] ppid=31882 vsize=1156220 CPUtime=1966.77 cores=0-7
/proc/31884/stat : 31884 (strangenight2-m) R 31882 31884 31817 0 -1 4202496 428421 0 0 0 196499 178 0 0 25 0 8 0 175375341 1183969280 180093 33554432000 4194304 4580107 140734959912800 18446744073709551615 4305283 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/31884/statm: 289055 180093 414 95 0 284037 0
[pid=31884/tid=31885] ppid=31882 vsize=1156220 CPUtime=246.31 cores=0-7
/proc/31884/task/31885/stat : 31885 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 51856 0 0 0 24611 20 0 0 25 0 8 0 175375341 1183969280 180093 33554432000 4194304 4580107 140734959912800 18446744073709551615 47209969129156 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31884/tid=31886] ppid=31882 vsize=1156220 CPUtime=246.12 cores=0-7
/proc/31884/task/31886/stat : 31886 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 45690 0 0 0 24591 21 0 0 25 0 8 0 175375341 1183969280 180093 33554432000 4194304 4580107 140734959912800 18446744073709551615 47209969153555 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31884/tid=31887] ppid=31882 vsize=1156220 CPUtime=243 cores=0-7
/proc/31884/task/31887/stat : 31887 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 55035 0 0 0 24277 23 0 0 25 0 8 0 175375342 1183969280 180093 33554432000 4194304 4580107 140734959912800 18446744073709551615 47209969153555 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31884/tid=31888] ppid=31882 vsize=1156220 CPUtime=246.26 cores=0-7
/proc/31884/task/31888/stat : 31888 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 50972 0 0 0 24604 22 0 0 25 0 8 0 175375342 1183969280 180093 33554432000 4194304 4580107 140734959912800 18446744073709551615 47209969153565 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31884/tid=31889] ppid=31882 vsize=1156220 CPUtime=246.26 cores=0-7
/proc/31884/task/31889/stat : 31889 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 58904 0 0 0 24600 26 0 0 25 0 8 0 175375342 1183969280 180093 33554432000 4194304 4580107 140734959912800 18446744073709551615 47209969153561 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31884/tid=31890] ppid=31882 vsize=1156220 CPUtime=246.25 cores=0-7
/proc/31884/task/31890/stat : 31890 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 50204 0 0 0 24606 19 0 0 25 0 8 0 175375342 1183969280 180093 33554432000 4194304 4580107 140734959912800 18446744073709551615 47209969153561 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31884/tid=31891] ppid=31882 vsize=1156220 CPUtime=246.24 cores=0-7
/proc/31884/task/31891/stat : 31891 (strangenight2-m) R 31882 31884 31817 0 -1 4202560 67044 0 0 0 24602 22 0 0 25 0 8 0 175375342 1183969280 180093 33554432000 4194304 4580107 140734959912800 18446744073709551615 47209969153561 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1966.77
Current children cumulated vsize (KiB) 1156220
Child status: 20
Real time (s): 246.49
CPU time (s): 1967.26
CPU user time (s): 1965.45
CPU system time (s): 1.81172
CPU usage (%): 798.112
Max. virtual memory (cumulated for all children) (KiB): 1230716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1965.45
system time used= 1.81172
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 428424
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= 79937
involuntary context switches= 8685
runsolver used 0.993848 second user time and 2.40463 second system time
The end
Launcher Data
Begin job on node112 at 2011-05-22 17:20:59
IDJOB=3393980
IDBENCH=70941
IDSOLVER=1878
FILE ID=node112/3393980-1306077659
RUNJOBID= node112-1306077651-31831
PBS_JOBID= 13387907
Free space on /tmp= 73332 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_l46_lambda.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3393980-1306077659/watcher-3393980-1306077659 -o /tmp/evaluation-result-3393980-1306077659/solver-3393980-1306077659 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3393980-1306077659.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= eb4d0d02a25a8a84182ddd3b6d1fa8b5
RANDOM SEED=1009480613
node112.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.847
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.69
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.847
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 : 5180.45
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.847
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.847
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.82
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.847
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.61
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.847
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.83
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.847
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.74
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.847
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.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 15077588 kB
Buffers: 202088 kB
Cached: 5743476 kB
SwapCached: 74060 kB
Active: 2783232 kB
Inactive: 14838288 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 15077588 kB
SwapTotal: 67111528 kB
SwapFree: 62959428 kB
Dirty: 8936 kB
Writeback: 0 kB
AnonPages: 11610736 kB
Mapped: 23236 kB
Slab: 122952 kB
PageTables: 58748 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 98613440 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73324 MiB
End job on node112 at 2011-05-22 17:25:06