Trace number 3321051
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.01 c Using 8 threads
0.00/0.01 c This is CryptoMiniSat 3.0.0
0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01 c Reading file 'HOME/instance-3321051-1304322465.cnf'
0.00/0.01 c -- header says num vars: 33090
0.00/0.01 c -- header says num clauses: 165828
0.49/0.18 c -- clauses added: 0 learnts, 165828 normals, 0 xors
0.49/0.18 c -- vars added 33090
0.49/0.18 c Parsing time: 0.07 s
0.49/0.18 c N st 0 0 33090 113191 41048 0 451185 0 no data no data
0.93/0.43 c asymm cl-useful: 1343/2929/109085 lits-rem:1346 time: 0.24
6.34/0.96 c Flit: 116 Blit: 48 bXBeca: 0 bXProp: 10766 Bins: 0 BRemL: 0 BRemN: 0 P: 11.1M T: 0.50
7.14/1.05 c Cleaning up after failed var search: 0.08 s
7.14/1.08 c Replacing 10766 vars Replaced 212947 lits Time: 0.03 s
7.96/1.16 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
7.96/1.17 c bin-w-bin subsume rem 969 bins time: 0.01 s
7.96/1.18 c subs with bin: 1656 lits-rem: 1108 v-fix: 0 time: 0.02 s
8.61/1.21 c Subs w/ non-existent bins: 13 l-rem: 9 v-fix: 0 done: 16635 time: 0.02 s
8.61/1.22 c Removed useless bin: 1834 fixed: 0 props: 1.45M time: 0.01 s
9.33/1.32 c lits-rem: 1395 cl-subs: 7572 v-elim: 5545 v-fix: 0 time: 0.08 s
9.33/1.33 c Finding binary XORs T: 0.02 s found: 961
9.33/1.35 c Replacing 961 vars Replaced 23449 lits Time: 0.01 s
9.33/1.37 c Finding non-binary XORs: 0.01 s (found: 2599, avg size: 3.0)
9.33/1.37 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 180 time: 0.01
9.33/1.38 c calculated reachability. Time: 0.00
9.33/1.38 c Calc default polars - time: 0.00 s pos: 2830 undec: 22961 neg: 7299
9.33/1.38 c =========================================================================================
9.33/1.38 c types(t): F = full restart, N = normal restart
9.33/1.38 c types(t): S = simplification begin/end, E = solution found
9.33/1.38 c restart types(rt): st = static, dy = dynamic
9.33/1.38 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
9.33/1.38 c B st 0 0 10129 45731 17681 0 188013 0 no data no data
10.93/1.59 c N dy 13 4017 10123 45731 17858 3798 188008 39995 5.05 5.35
13.33/1.86 c N dy 42 8091 10107 45731 20786 7676 188006 90164 5.37 5.69
14.12/1.94 c Finding binary XORs T: 0.01 s found: 1
15.73/2.17 c N dy 74 12147 10081 45529 24920 11265 186873 142735 5.58 6.30
18.12/2.45 c Finding binary XORs T: 0.01 s found: 0
18.92/2.52 c N dy 112 16240 10044 44421 24570 14315 183232 182246 5.87 6.58
21.31/2.89 c N dy 144 20273 10039 44421 25270 9282 183232 89402 6.04 6.39
24.51/3.22 c N dy 177 24274 10015 44421 26116 13245 183233 148437 6.21 7.76
24.51/3.29 c F st 184 25002 10014 44421 26117 13970 183233 159334 6.23 no data
25.35/3.30 c Replacing 92 vars Replaced 1555 lits Time: 0.01 s
25.35/3.32 c Found part 22 vars: 3 clauses: 1 lits size: 3
25.35/3.32 c Found part 23 vars: 9914 clauses: 62032 lits size: 176338
25.35/3.32 c Found parts: 2 time: 0.03 s
25.35/3.32 c Solving part 22
25.35/3.33 c N st 0 0 3 1 0 0 3 0 no data no data
25.35/3.33 c asymm cl-useful: 0/1/1 lits-rem:0 time: 0.00
25.35/3.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
25.35/3.33 c Finding binary XORs T: 0.00 s found: 0
25.35/3.33 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
25.35/3.33 c calculated reachability. Time: 0.00
25.35/3.33 c Calc default polars - time: 0.00 s pos: 3 undec: 33087 neg: 0
25.35/3.33 c =========================================================================================
25.35/3.33 c types(t): F = full restart, N = normal restart
25.35/3.33 c types(t): S = simplification begin/end, E = solution found
25.35/3.33 c restart types(rt): st = static, dy = dynamic
25.35/3.33 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
25.35/3.33 c B st 0 0 3 1 0 0 3 0 no data no data
25.35/3.33 c E st 1 0 0 1 0 0 3 0 no data no data
25.35/3.34 c Verified 1 clauses.
25.35/3.34 c Verified 1 clauses.
25.35/3.34 c Solved part
25.35/3.34 c =========================================================================================
25.35/3.34 c Coming back to original instance
25.35/3.34 c =========================================================================================
27.71/3.62 c N st 189 28298 9914 42541 25036 16749 176338 211305 6.23 no data
28.51/3.77 c S st 190 30002 9914 42541 25036 18440 176338 242998 6.23 no data
29.31/3.88 c S st 190 30503 9914 42541 25281 18831 176338 247014 6.23 no data
29.31/3.89 c x-sub: 90 x-cut: 0 vfix: 0 v-elim: 22 locsubst: 0 time: 0.01
33.31/4.35 c Flit: 109 Blit: 16 bXBeca: 0 bXProp: 52 Bins: 90331 BRemL: 60425 BRemN: 18 P: 6.7M T: 0.47
33.31/4.36 c Cleaning up after failed var search: 0.01 s
33.31/4.38 c Replacing 52 vars Replaced 14859 lits Time: 0.02 s
33.31/4.39 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
33.31/4.40 c bin-w-bin subsume rem 6973 bins time: 0.01 s
34.15/4.41 c subs with bin: 1221 lits-rem: 1049 v-fix: 0 time: 0.01 s
34.15/4.43 c Subs w/ non-existent bins: 262 l-rem: 138 v-fix: 0 done: 9673 time: 0.01 s
34.15/4.43 c Removed useless bin: 577 fixed: 0 props: 0.29M time: 0.01 s
34.15/4.50 c lits-rem: 543 cl-subs: 1312 v-elim: 1646 v-fix: 0 time: 0.06 s
34.94/4.51 c subs with bin: 286 lits-rem: 1493 v-fix: 0 time: 0.01 s
34.94/4.55 c lits-rem: 879 cl-subs: 451 v-elim: 0 v-fix: 0 time: 0.03 s
36.50/4.79 c asymm cl-useful: 564/37209/40138 lits-rem:634 time: 0.24
36.50/4.79 c calculated reachability. Time: 0.00
36.50/4.79 c N dy 190 30503 8027 40117 14076 8320 159088 95415 6.23 no data
37.29/4.81 c Finding binary XORs T: 0.01 s found: 0
39.69/5.12 c N dy 216 34588 8026 40117 14083 12379 159085 154089 6.25 6.59
42.09/5.48 c N dy 245 38639 8026 40117 14515 16395 159085 214553 6.30 7.34
45.29/5.87 c N dy 278 42687 8026 40117 38670 10680 159080 151963 6.40 6.81
47.68/6.13 c S st 298 45754 8026 40117 38675 13728 159080 197511 6.44 no data
47.68/6.17 c Finding binary XORs T: 0.01 s found: 1
48.48/6.24 c S st 298 46258 8026 40045 38672 14205 158611 202479 6.44 no data
48.48/6.25 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 153 locsubst: 0 time: 0.01
50.09/6.42 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1890 BRemL: 22848 BRemN: 99 P: 2.5M T: 0.17
50.09/6.43 c Replacing 1 vars Replaced 278 lits Time: 0.01 s
50.09/6.44 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
50.09/6.45 c bin-w-bin subsume rem 3640 bins time: 0.00 s
50.09/6.46 c subs with bin: 742 lits-rem: 492 v-fix: 0 time: 0.01 s
50.09/6.47 c Subs w/ non-existent bins: 103 l-rem: 131 v-fix: 0 done: 7871 time: 0.01 s
50.09/6.47 c Removed useless bin: 236 fixed: 0 props: 0.16M time: 0.00 s
50.88/6.50 c lits-rem: 338 cl-subs: 19 v-elim: 240 v-fix: 0 time: 0.03 s
50.88/6.52 c subs with bin: 61 lits-rem: 538 v-fix: 0 time: 0.01 s
50.88/6.55 c lits-rem: 675 cl-subs: 292 v-elim: 0 v-fix: 0 time: 0.03 s
50.88/6.56 c vivif2 -- cl tried 39555 cl shrink 307 lits rem 307 time: 0.01
50.88/6.57 c vivif2 -- cl tried 13178 cl shrink 1888 lits rem 2939 time: 0.01
53.28/6.88 c asymm cl-useful: 484/39497/39497 lits-rem:576 time: 0.31
53.28/6.88 c calculated reachability. Time: 0.00
53.28/6.88 c N dy 298 46258 7631 39492 12148 13146 154275 135732 6.44 no data
54.08/6.95 c Finding binary XORs T: 0.01 s found: 0
56.48/7.28 c N dy 323 50520 7631 39492 14228 17364 154273 203531 6.46 6.87
59.68/7.66 c N dy 348 54588 7629 39492 14236 21399 154271 269301 6.47 7.19
60.52/7.79 c Finding binary XORs T: 0.01 s found: 2
63.68/8.14 c N dy 377 58636 7629 39353 15779 25380 153531 332110 6.51 6.91
67.67/8.60 c N dy 410 62651 7629 39353 16061 29365 153531 394352 6.54 7.15
70.86/9.05 c N dy 435 66754 7628 39353 16063 18065 153529 185592 6.56 6.94
73.26/9.33 c S st 458 69389 7628 39353 16526 20685 153528 231083 6.60 no data
74.06/9.44 c S st 458 69889 7628 39353 16538 21164 153527 236558 6.60 no data
74.06/9.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
74.86/9.59 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 1696 BRemL: 3890 BRemN: 100 P: 2.5M T: 0.15
75.66/9.61 c Replacing 3 vars Replaced 1349 lits Time: 0.01 s
75.66/9.62 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
75.66/9.62 c bin-w-bin subsume rem 972 bins time: 0.01 s
75.66/9.63 c subs with bin: 652 lits-rem: 180 v-fix: 0 time: 0.01 s
75.66/9.64 c Subs w/ non-existent bins: 5 l-rem: 0 v-fix: 0 done: 7624 time: 0.01 s
75.66/9.64 c Removed useless bin: 92 fixed: 0 props: 0.15M time: 0.01 s
75.66/9.67 c lits-rem: 624 cl-subs: 170 v-elim: 30 v-fix: 0 time: 0.03 s
76.46/9.70 c subs with bin: 438 lits-rem: 2247 v-fix: 0 time: 0.02 s
76.46/9.76 c lits-rem: 1587 cl-subs: 405 v-elim: 0 v-fix: 0 time: 0.05 s
76.46/9.77 c vivif2 -- cl tried 38221 cl shrink 25 lits rem 25 time: 0.01
76.46/9.78 c vivif2 -- cl tried 19934 cl shrink 1420 lits rem 1728 time: 0.01
79.65/10.13 c asymm cl-useful: 736/38218/38218 lits-rem:1281 time: 0.35
79.65/10.14 c calculated reachability. Time: 0.00
79.65/10.14 c N dy 458 69889 7594 38004 13319 19931 147233 214295 6.60 no data
79.65/10.15 c Finding binary XORs T: 0.01 s found: 0
83.66/10.68 c N dy 489 74424 7592 38004 15422 24431 147231 292105 6.63 7.05
86.90/11.01 c Finding binary XORs T: 0.01 s found: 0
89.25/11.32 c N dy 515 79444 7591 37768 15420 29387 146071 368011 6.64 7.09
94.05/12.00 c N dy 555 84547 7591 37768 16212 34455 146071 455363 6.69 7.78
98.05/12.41 c F st 581 87500 7591 37768 16245 37395 146071 505266 6.73 no data
101.25/12.80 c N st 586 90799 7591 37738 15786 21016 145899 216138 6.73 no data
102.84/13.04 c Finding binary XORs T: 0.01 s found: 3
106.84/13.50 c N dy 617 96651 7588 37403 18247 26332 144398 314744 6.77 7.29
109.23/13.83 c Finding binary XORs T: 0.01 s found: 0
113.28/14.32 c N dy 663 102879 7588 37403 21213 32539 144398 424762 6.81 8.31
115.63/14.60 c S st 679 104833 7588 37403 21213 34491 144398 457416 6.82 no data
116.43/14.74 c S st 679 105333 7588 37403 21432 34988 144397 463702 6.82 no data
116.43/14.75 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 2 locsubst: 0 time: 0.01
118.03/14.92 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 425 BRemL: 5828 BRemN: 159 P: 2.9M T: 0.17
118.03/14.93 c Replacing 4 vars Replaced 719 lits Time: 0.01 s
118.03/14.93 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
118.03/14.94 c bin-w-bin subsume rem 1649 bins time: 0.00 s
118.03/14.95 c subs with bin: 383 lits-rem: 240 v-fix: 0 time: 0.01 s
118.03/14.95 c Subs w/ non-existent bins: 139 l-rem: 187 v-fix: 0 done: 7582 time: 0.01 s
118.03/14.96 c Removed useless bin: 101 fixed: 0 props: 0.14M time: 0.00 s
118.03/14.98 c lits-rem: 265 cl-subs: 128 v-elim: 8 v-fix: 0 time: 0.03 s
118.83/15.04 c subs with bin: 213 lits-rem: 2340 v-fix: 0 time: 0.04 s
120.42/15.22 c lits-rem: 3159 cl-subs: 731 v-elim: 0 v-fix: 0 time: 0.18 s
120.42/15.23 c vivif2 -- cl tried 36753 cl shrink 13 lits rem 14 time: 0.01
120.42/15.25 c vivif2 -- cl tried 34036 cl shrink 3407 lits rem 4230 time: 0.02
123.62/15.62 c asymm cl-useful: 483/28484/36750 lits-rem:1127 time: 0.37
123.62/15.63 c calculated reachability. Time: 0.00
123.62/15.63 c N dy 679 105333 7574 36508 14452 34033 140824 430036 6.82 no data
130.02/16.46 c Finding binary XORs T: 0.01 s found: 0
131.67/16.66 c N dy 729 112073 7574 36508 14486 40736 140823 546841 6.86 8.01
138.83/17.57 c N dy 778 119313 7573 36508 15208 27172 140823 286045 6.88 7.26
145.22/18.35 c Finding binary XORs T: 0.01 s found: 0
146.81/18.56 c N dy 827 126994 7573 36505 15207 34819 140795 416137 6.90 7.33
156.41/19.71 c N dy 875 135096 7572 36505 15254 42869 140794 555406 6.92 7.30
166.04/20.96 c N dy 938 143824 7571 36505 15307 28754 140794 300990 6.96 7.41
176.39/22.26 c N dy 1001 153234 7571 36505 15332 38109 140794 466548 6.99 7.40
177.99/22.42 c Finding binary XORs T: 0.01 s found: 1
182.79/23.02 c S st 1040 158000 7571 36236 16103 42561 139341 547074 7.02 no data
183.63/23.19 c S st 1040 158506 7571 36236 16107 43060 139341 552826 7.02 no data
184.44/23.20 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
185.19/23.37 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 963 BRemL: 1426 BRemN: 193 P: 3.2M T: 0.17
185.19/23.38 c Replacing 1 vars Replaced 37 lits Time: 0.01 s
185.19/23.39 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
185.19/23.39 c bin-w-bin subsume rem 666 bins time: 0.00 s
185.99/23.40 c subs with bin: 451 lits-rem: 384 v-fix: 0 time: 0.01 s
185.99/23.41 c Subs w/ non-existent bins: 55 l-rem: 60 v-fix: 0 done: 7570 time: 0.01 s
185.99/23.41 c Removed useless bin: 100 fixed: 0 props: 0.16M time: 0.00 s
185.99/23.44 c lits-rem: 143 cl-subs: 79 v-elim: 78 v-fix: 0 time: 0.03 s
186.79/23.51 c subs with bin: 292 lits-rem: 3712 v-fix: 0 time: 0.04 s
188.39/23.72 c lits-rem: 2577 cl-subs: 737 v-elim: 0 v-fix: 0 time: 0.21 s
188.39/23.72 c vivif2 -- cl tried 35822 cl shrink 194 lits rem 197 time: 0.01
188.39/23.76 c vivif2 -- cl tried 41775 cl shrink 3891 lits rem 5195 time: 0.03
189.19/23.85 c asymm cl-useful: 0/7334/35818 lits-rem:0 time: 0.09
189.19/23.85 c calculated reachability. Time: 0.00
189.19/23.85 c N dy 1040 158506 7492 35818 14315 41774 137150 525297 7.02 no data
193.23/24.38 c Finding binary XORs T: 0.01 s found: 0
202.02/25.46 c N dy 1101 168806 7492 35818 14594 27962 137150 262422 7.03 7.40
213.96/26.99 c N dy 1161 179625 7492 35818 14654 38726 137149 445592 7.03 7.83
229.16/28.86 c N dy 1242 191127 7491 35818 15312 50165 137149 644225 7.06 7.79
229.96/28.93 c Finding binary XORs T: 0.01 s found: 4
242.75/30.59 c N dy 1299 203651 7491 35793 15297 37183 136992 409351 7.06 7.48
259.53/32.63 c N dy 1365 216663 7491 35793 15321 50126 136992 635816 7.07 7.47
273.12/34.37 c Finding binary XORs T: 0.01 s found: 1
277.13/34.84 c N dy 1440 230497 7491 35793 16032 37233 136991 397066 7.08 8.71
286.72/36.00 c S st 1477 237760 7490 35793 16034 44464 136991 523327 7.08 no data
287.52/36.18 c S st 1477 238261 7490 35793 16035 44962 136991 530200 7.08 no data
287.52/36.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
289.16/36.36 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 33 Bins: 164 BRemL: 793 BRemN: 48 P: 3.3M T: 0.17
289.16/36.38 c Replacing 38 vars Replaced 2053 lits Time: 0.02 s
289.16/36.39 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
289.16/36.39 c bin-w-bin subsume rem 326 bins time: 0.00 s
289.16/36.40 c subs with bin: 287 lits-rem: 24 v-fix: 0 time: 0.01 s
289.96/36.41 c Subs w/ non-existent bins: 6 l-rem: 0 v-fix: 0 done: 7452 time: 0.01 s
289.96/36.41 c Removed useless bin: 28 fixed: 0 props: 0.15M time: 0.00 s
289.96/36.44 c lits-rem: 18 cl-subs: 161 v-elim: 44 v-fix: 0 time: 0.03 s
290.71/36.50 c subs with bin: 385 lits-rem: 1476 v-fix: 0 time: 0.04 s
293.11/36.82 c lits-rem: 4173 cl-subs: 826 v-elim: 0 v-fix: 0 time: 0.31 s
293.11/36.82 c vivif2 -- cl tried 35031 cl shrink 24 lits rem 30 time: 0.01
293.11/36.85 c vivif2 -- cl tried 43577 cl shrink 2654 lits rem 3312 time: 0.03
296.31/37.22 c asymm cl-useful: 164/25214/35028 lits-rem:236 time: 0.37
296.31/37.23 c calculated reachability. Time: 0.00
296.31/37.23 c N dy 1477 238261 7408 35023 14708 43577 133891 504620 7.08 no data
317.10/39.83 c Finding binary XORs T: 0.01 s found: 0
317.10/39.88 c N dy 1559 253630 7407 35020 14772 31131 133864 278382 7.09 7.49
337.08/42.31 c N dy 1664 270211 7407 35020 14791 47619 133863 557365 7.10 7.57
353.07/44.38 c Finding binary XORs T: 0.01 s found: 1
361.07/45.30 c N dy 1754 288721 7407 35020 15931 37306 133861 375252 7.11 7.50
385.06/48.39 c F st 1860 306250 7407 35020 15961 54726 133861 677890 7.12 6.82
385.90/48.40 c Replacing 1 vars Replaced 570 lits Time: 0.01 s
387.45/48.68 c N st 1863 307440 7406 35020 15958 55909 133861 699690 7.12 no data
413.83/51.94 c N dy 1936 327151 7406 35020 15991 45734 133861 509937 7.12 8.44
444.22/55.74 c N dy 2039 347315 7406 35020 16022 34987 133860 319202 7.12 7.51
456.25/57.26 c S st 2104 357391 7406 35020 16031 44984 133859 486655 7.13 6.62
457.80/57.43 c S st 2104 357892 7406 35020 16034 45478 133858 493188 7.13 no data
457.80/57.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
459.40/57.60 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 349 BRemL: 646 BRemN: 33 P: 3.3M T: 0.16
459.40/57.61 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
459.40/57.61 c bin-w-bin subsume rem 405 bins time: 0.00 s
459.40/57.62 c subs with bin: 58 lits-rem: 5 v-fix: 0 time: 0.01 s
459.40/57.63 c Subs w/ non-existent bins: 0 l-rem: 1 v-fix: 0 done: 7406 time: 0.01 s
459.40/57.63 c Removed useless bin: 6 fixed: 0 props: 0.14M time: 0.00 s
459.40/57.66 c lits-rem: 0 cl-subs: 5 v-elim: 7 v-fix: 0 time: 0.03 s
460.20/57.71 c subs with bin: 309 lits-rem: 1448 v-fix: 0 time: 0.04 s
461.00/57.87 c lits-rem: 1395 cl-subs: 746 v-elim: 0 v-fix: 0 time: 0.15 s
461.00/57.88 c vivif2 -- cl tried 34965 cl shrink 6 lits rem 6 time: 0.01
461.80/57.90 c vivif2 -- cl tried 44274 cl shrink 2194 lits rem 2799 time: 0.02
462.60/58.04 c asymm cl-useful: 0/9748/34962 lits-rem:0 time: 0.14
462.60/58.04 c calculated reachability. Time: 0.00
462.60/58.04 c N dy 2104 357892 7399 34962 15022 44274 133567 473241 7.13 no data
463.40/58.14 c Finding binary XORs T: 0.01 s found: 0
492.22/61.72 c N dy 2217 377941 7398 34962 15090 32516 133567 269486 7.14 9.03
518.61/65.06 c N dy 2318 398100 7398 34962 15196 52560 133566 616031 7.14 7.83
523.36/65.64 c Finding binary XORs T: 0.01 s found: 0
548.94/68.81 c N dy 2431 418113 7398 34959 15126 39582 133541 384485 7.15 7.78
576.93/72.32 c N dy 2548 438156 7397 34959 15139 59500 133540 726681 7.16 7.61
602.51/75.56 c Finding binary XORs T: 0.01 s found: 1
608.10/76.24 c N dy 2657 458479 7397 34956 15062 45731 133515 487819 7.17 7.58
642.48/80.53 c N dy 2782 478493 7397 34956 15077 65616 133515 838297 7.19 8.18
673.66/84.48 c N dy 2895 498551 7397 34956 15093 51802 133510 587964 7.19 7.81
710.44/89.06 c N dy 3026 518671 7397 34956 15117 71794 133510 950132 7.21 7.67
736.82/92.37 c S st 3123 536838 7397 34956 15136 54926 133510 616037 7.22 5.88
738.46/92.57 c S st 3123 537345 7397 34956 15148 55421 133510 622011 7.22 no data
738.46/92.58 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
740.01/92.76 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 470 BRemL: 269 BRemN: 23 P: 3.6M T: 0.18
740.01/92.77 c Replacing 2 vars Replaced 883 lits Time: 0.01 s
740.01/92.77 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
740.01/92.78 c bin-w-bin subsume rem 76 bins time: 0.00 s
740.01/92.79 c subs with bin: 10 lits-rem: 8 v-fix: 0 time: 0.01 s
740.01/92.79 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 7395 time: 0.01 s
740.81/92.80 c Removed useless bin: 1 fixed: 0 props: 0.15M time: 0.00 s
740.81/92.83 c lits-rem: 0 cl-subs: 0 v-elim: 3 v-fix: 0 time: 0.03 s
741.61/92.91 c subs with bin: 737 lits-rem: 1880 v-fix: 0 time: 0.06 s
743.22/93.17 c lits-rem: 2168 cl-subs: 1107 v-elim: 0 v-fix: 0 time: 0.25 s
743.22/93.18 c vivif2 -- cl tried 34945 cl shrink 0 lits rem 0 time: 0.01
744.02/93.21 c vivif2 -- cl tried 53443 cl shrink 3378 lits rem 4463 time: 0.03
746.46/93.55 c asymm cl-useful: 374/15289/34945 lits-rem:419 time: 0.34
746.46/93.56 c calculated reachability. Time: 0.00
746.46/93.56 c N dy 3123 537345 7392 34945 15210 53443 132977 593372 7.22 no data
746.46/93.57 c Finding binary XORs T: 0.01 s found: 0
782.43/98.05 c N dy 3248 557374 7392 34945 15296 73350 132977 951083 7.22 7.66
799.21/100.18 c Finding binary XORs T: 0.01 s found: 0
815.17/102.11 c N dy 3367 577467 7391 34945 15457 56949 132977 652805 7.23 7.66
851.15/106.65 c N dy 3478 597506 7390 34945 15487 76837 132976 1006550 7.24 7.64
882.32/110.52 c N dy 3575 617577 7390 34945 15504 59951 132976 680043 7.24 7.93
920.69/115.32 c N dy 3687 637609 7390 34945 15527 79825 132976 1035156 7.24 8.02
952.67/119.33 c N dy 3780 657667 7390 34945 15553 62082 132976 701069 7.24 9.20
967.10/121.17 c Finding binary XORs T: 0.01 s found: 4
991.85/124.25 c N dy 3896 677720 7390 34939 15880 81636 132920 1051778 7.25 8.00
1011.83/126.76 c Finding binary XORs T: 0.01 s found: 0
1025.43/128.41 c N dy 3997 697793 7390 34939 16237 62910 132918 704004 7.25 7.67
1060.60/132.86 c Finding binary XORs T: 0.01 s found: 0
1064.60/133.38 c N dy 4102 718110 7388 34933 16080 80803 132858 1033000 7.26 7.70
1100.57/137.84 c N dy 4199 738630 7388 34933 16261 63305 132858 694243 7.26 7.64
1113.37/139.43 c Finding binary XORs T: 0.01 s found: 1
1140.55/142.84 c N dy 4298 758653 7387 34933 16305 83109 132858 1034095 7.26 7.71
1177.37/147.48 c N dy 4389 778678 7387 34933 16331 62673 132858 672442 7.26 7.65
1219.69/152.75 c N dy 4472 798784 7385 34933 16377 82532 132858 1011316 7.26 7.64
1236.49/154.86 c S st 4514 806017 7385 34933 16384 89692 132858 1137145 7.26 6.90
1238.93/155.20 c S st 4514 806520 7385 34933 16385 90193 132858 1144651 7.26 no data
1239.73/155.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
1241.28/155.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 4 Bins: 815 BRemL: 921 BRemN: 6 P: 4.8M T: 0.25
1242.08/155.51 c Replacing 9 vars Replaced 5558 lits Time: 0.05 s
1242.08/155.52 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1242.08/155.53 c bin-w-bin subsume rem 234 bins time: 0.00 s
1242.08/155.53 c subs with bin: 68 lits-rem: 33 v-fix: 0 time: 0.01 s
1242.08/155.54 c Subs w/ non-existent bins: 4 l-rem: 0 v-fix: 0 done: 7376 time: 0.01 s
1242.08/155.55 c Removed useless bin: 10 fixed: 0 props: 0.15M time: 0.00 s
1242.08/155.58 c lits-rem: 2 cl-subs: 21 v-elim: 14 v-fix: 0 time: 0.04 s
1243.68/155.79 c subs with bin: 1361 lits-rem: 11201 v-fix: 0 time: 0.17 s
1250.08/156.58 c lits-rem: 4655 cl-subs: 1642 v-elim: 0 v-fix: 0 time: 0.78 s
1250.08/156.59 c vivif2 -- cl tried 34838 cl shrink 5 lits rem 8 time: 0.01
1250.88/156.66 c vivif2 -- cl tried 74821 cl shrink 8351 lits rem 10961 time: 0.07
1254.08/157.07 c asymm cl-useful: 0/18864/34835 lits-rem:0 time: 0.40
1254.08/157.07 c calculated reachability. Time: 0.00
1254.08/157.07 c N dy 4514 806520 7362 34835 15364 74820 132432 895948 7.26 no data
1254.08/157.09 c Finding binary XORs T: 0.01 s found: 0
1291.69/161.71 c N dy 4600 826710 7362 34835 15568 61319 132432 661682 7.26 7.65
1303.64/163.22 c Finding binary XORs T: 0.01 s found: 0
1334.03/167.05 c N dy 4695 847111 7359 34835 15628 81491 132432 1010648 7.25 7.70
1372.39/171.87 c Finding binary XORs T: 0.01 s found: 1
1374.79/172.19 c N dy 4782 867167 7359 34812 15658 58943 132244 606792 7.25 7.80
1418.77/177.62 c N dy 4893 887509 7358 34812 15759 79104 132244 963027 7.25 7.65
1446.75/181.19 c Finding binary XORs T: 0.01 s found: 1
1464.34/183.32 c N dy 4996 907521 7356 34806 15539 56073 132197 535038 7.26 8.17
1503.55/188.22 c N dy 5076 927731 7331 34806 15570 76057 132197 872461 7.25 7.79
1533.08/191.99 c Finding binary XORs T: 0.01 s found: 21
1549.87/194.02 c Finding binary XORs T: 0.01 s found: 29
1553.87/194.55 c N dy 5183 947867 7328 34452 17108 90463 130712 1157331 7.25 7.64
1597.85/200.05 c N dy 5290 968360 7325 34452 17174 70821 130712 786206 7.26 7.83
1650.61/206.60 c N dy 5399 988563 7323 34452 17228 90887 130712 1145975 7.26 7.65
1650.61/206.63 c Finding binary XORs T: 0.01 s found: 2
1702.58/213.18 c N dy 5491 1009364 7321 34438 16961 66796 130594 682917 7.26 7.69
1730.56/216.68 c Finding binary XORs T: 0.01 s found: 2
1752.94/219.48 c N dy 5590 1029629 7312 34395 17070 83046 130427 992586 7.26 7.66
1778.53/222.69 c Finding binary XORs T: 0.01 s found: 3
1803.31/225.79 c Finding binary XORs T: 0.01 s found: 230
1804.11/225.82 c Replacing 289 vars Replaced 22858 lits Time: 0.03 s
1810.55/226.62 c N dy 5679 1049650 7014 34219 16980 53533 128893 479565 7.26 7.78
1841.68/230.58 c Finding binary XORs T: 0.01 s found: 9
1845.72/231.04 c Following stats are for *FIRST FINISHED THREAD ONLY*
1845.72/231.04 c num threads : 8
1845.72/231.04 c restarts : 5897
1845.72/231.04 c dynamic restarts : 5863
1845.72/231.04 c static restarts : 34
1845.72/231.04 c full restarts : 4
1845.72/231.04 c total simplify time : 0.83
1845.72/231.04 c learnts DL2 : 0
1845.72/231.04 c learnts size 2 : 221824
1845.72/231.04 c learnts size 1 : 6320 (19.10 % of vars)
1845.72/231.04 c filedLit time : 1.95 (0.85 % time)
1845.72/231.04 c v-elim SatELite : 7614 (23.01 % vars)
1845.72/231.04 c SatELite time : 1.02 (0.44 % time)
1845.72/231.04 c v-elim xor : 177 (0.53 % vars)
1845.72/231.04 c xor elim time : 0.06 (0.03 % time)
1845.72/231.04 c num binary xor trees : 1901
1845.72/231.04 c binxor trees' crown : 12225 (6.43 leafs/tree)
1845.72/231.04 c bin xor find time : 0.48
1845.72/231.04 c OTF clause improved : 8230 (0.01 clauses/conflict)
1845.72/231.04 c OTF impr. size diff : 9774 (1.19 lits/clause)
1845.72/231.04 c OTF cl watch-shrink : 751125 (0.69 clauses/conflict)
1845.72/231.04 c OTF cl watch-sh-lit : 2231297 (2.97 lits/clause)
1845.72/231.04 c tried to recurMin cls : 253179 (23.09 % of conflicts)
1845.72/231.04 c updated cache : 8877 (0.04 lits/tried recurMin)
1845.72/231.04 c unit cls recevied : 128 (2.03 % of units)
1845.72/231.04 c unit cls sent : 128 (2.03 % of units)
1845.72/231.04 c bin cls recevied : 95131
1845.72/231.04 c bin cls sent : 7340
1845.72/231.04 c clauses over max glue : 0 (0.00 % of all clauses)
1845.72/231.04 c conflicts : 1096454 (4753.00 / sec)
1845.72/231.04 c decisions : 1603364 (3.08 % random)
1845.72/231.04 c bogo-props : 20561986794 (89133731.13 / sec)
1845.72/231.04 c conflict literals : 18713740 (37.89 % deleted)
1845.72/231.04 c Memory used : 1097.86 MB
1845.72/231.04 c single-thread CPU time : 230.69 s
1845.72/231.04 c all-threads sum CPU time : 1844.54 s
1845.72/231.04 s UNSATISFIABLE
Verifier Data
No possible verification on an UNSAT instance
Watcher Data
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3321051-1304322465/watcher-3321051-1304322465 -o /tmp/evaluation-result-3321051-1304322465/solver-3321051-1304322465 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321051-1304322465.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: 6.89 4.63 1.99 2/182 24829
/proc/meminfo: memFree=26900784/32950928 swapFree=67111356/67111528
[pid=24829] ppid=24827 vsize=92188 CPUtime=0 cores=0-7
/proc/24829/stat : 24829 (strangenight2-m) R 24827 24829 24761 0 -1 4202496 413 0 0 0 0 0 0 0 22 0 8 0 622477199 94400512 352 33554432000 4194304 4627427 140735537571200 18446744073709551615 47267577673650 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24829/statm: 23047 352 299 106 0 18018 0
[pid=24829/tid=24830] ppid=24827 vsize=92188 CPUtime=0 cores=0-7
/proc/24829/task/24830/stat : 24830 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 8 0 622477199 94400512 352 33554432000 4194304 4627427 140735537571200 18446744073709551615 47267577673650 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24829/tid=24831] ppid=24827 vsize=92188 CPUtime=0 cores=0-7
/proc/24829/task/24831/stat : 24831 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 622477199 94400512 352 33554432000 4194304 4627427 140735537571200 18446744073709551615 47267577673650 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24829/tid=24832] ppid=24827 vsize=92188 CPUtime=0 cores=0-7
/proc/24829/task/24832/stat : 24832 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622477199 94400512 352 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895546865 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24829/tid=24833] ppid=24827 vsize=92188 CPUtime=0 cores=0-7
/proc/24829/task/24833/stat : 24833 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622477199 94400512 352 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895546865 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24829/tid=24834] ppid=24827 vsize=92188 CPUtime=0 cores=0-7
/proc/24829/task/24834/stat : 24834 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622477199 94400512 352 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895546865 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24829/tid=24835] ppid=24827 vsize=92188 CPUtime=0 cores=0-7
/proc/24829/task/24835/stat : 24835 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622477199 94400512 352 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895546865 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24829/tid=24836] ppid=24827 vsize=92188 CPUtime=0 cores=0-7
/proc/24829/task/24836/stat : 24836 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 622477199 94400512 352 33554432000 4194304 4627427 140735537571200 18446744073709551615 47267577673650 0 0 4096 2 0 0 0 -1 6 0 0 0
[startup+0.025616 s]
/proc/loadavg: 6.89 4.63 1.99 2/182 24829
/proc/meminfo: memFree=26900784/32950928 swapFree=67111356/67111528
[pid=24829] ppid=24827 vsize=481644 CPUtime=0.1 cores=0-7
/proc/24829/stat : 24829 (strangenight2-m) S 24827 24829 24761 0 -1 4202496 4951 0 0 0 9 1 0 0 17 0 8 0 622477199 493203456 4693 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895595502 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24829/statm: 120411 4775 340 106 0 115382 0
[pid=24829/tid=24830] ppid=24827 vsize=481904 CPUtime=0.01 cores=0-7
/proc/24829/task/24830/stat : 24830 (strangenight2-m) S 24827 24829 24761 0 -1 4202560 659 0 0 0 1 0 0 0 18 0 8 0 622477199 493469696 4920 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895595502 0 0 4096 2 18446604453879332992 0 0 -1 2 0 0 0
[pid=24829/tid=24831] ppid=24827 vsize=481904 CPUtime=0.01 cores=0-7
/proc/24829/task/24831/stat : 24831 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 532 0 0 0 1 0 0 0 17 0 8 0 622477199 493469696 4956 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895595502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24829/tid=24832] ppid=24827 vsize=482136 CPUtime=0.01 cores=0-7
/proc/24829/task/24832/stat : 24832 (strangenight2-m) S 24827 24829 24761 0 -1 4202560 714 0 0 0 1 0 0 0 17 0 8 0 622477199 493707264 5008 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895595502 0 0 4096 2 18446604453879332992 0 0 -1 0 0 0 0
[pid=24829/tid=24833] ppid=24827 vsize=482136 CPUtime=0 cores=0-7
/proc/24829/task/24833/stat : 24833 (strangenight2-m) S 24827 24829 24761 0 -1 4202560 569 0 0 0 0 0 0 0 18 0 8 0 622477199 493707264 5008 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895595502 0 0 4096 2 18446604453879332992 0 0 -1 5 0 0 0
[pid=24829/tid=24834] ppid=24827 vsize=482136 CPUtime=0 cores=0-7
/proc/24829/task/24834/stat : 24834 (strangenight2-m) S 24827 24829 24761 0 -1 4202560 650 0 0 0 0 0 0 0 17 0 8 0 622477199 493707264 5023 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895595502 0 0 4096 2 18446604453879332992 0 0 -1 3 0 0 0
[pid=24829/tid=24835] ppid=24827 vsize=482136 CPUtime=0.01 cores=0-7
/proc/24829/task/24835/stat : 24835 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 486 0 0 0 1 0 0 0 17 0 8 0 622477199 493707264 5030 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895595502 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24829/tid=24836] ppid=24827 vsize=482136 CPUtime=0 cores=0-7
/proc/24829/task/24836/stat : 24836 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 574 0 0 0 0 0 0 0 17 0 8 0 622477199 493707264 5043 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895595502 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 481644
[startup+0.104737 s]
/proc/loadavg: 6.89 4.63 1.99 2/182 24829
/proc/meminfo: memFree=26900784/32950928 swapFree=67111356/67111528
[pid=24829] ppid=24827 vsize=575268 CPUtime=0.49 cores=0-7
/proc/24829/stat : 24829 (strangenight2-m) D 24827 24829 24761 0 -1 4202496 23349 0 0 0 36 13 0 0 18 0 8 0 622477199 589074432 19950 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895548330 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/24829/statm: 143897 19995 341 106 0 138868 0
[pid=24829/tid=24830] ppid=24827 vsize=576228 CPUtime=0.05 cores=0-7
/proc/24829/task/24830/stat : 24830 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 2760 0 0 0 4 1 0 0 17 0 8 0 622477199 590057472 20014 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895595502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24829/tid=24831] ppid=24827 vsize=576228 CPUtime=0.04 cores=0-7
/proc/24829/task/24831/stat : 24831 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 2111 0 0 0 3 1 0 0 17 0 8 0 622477199 590057472 20016 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895595551 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24829/tid=24832] ppid=24827 vsize=576228 CPUtime=0.07 cores=0-7
/proc/24829/task/24832/stat : 24832 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 3366 0 0 0 6 1 0 0 17 0 8 0 622477199 590057472 20021 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895187656 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24829/tid=24833] ppid=24827 vsize=576228 CPUtime=0.06 cores=0-7
/proc/24829/task/24833/stat : 24833 (strangenight2-m) S 24827 24829 24761 0 -1 4202560 2968 0 0 0 5 1 0 0 17 0 8 0 622477199 590057472 20033 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895595502 0 0 4096 2 18446604453879332992 0 0 -1 5 0 0 0
[pid=24829/tid=24834] ppid=24827 vsize=576228 CPUtime=0.06 cores=0-7
/proc/24829/task/24834/stat : 24834 (strangenight2-m) S 24827 24829 24761 0 -1 4202560 2980 0 0 0 4 2 0 0 18 0 8 0 622477199 590057472 20037 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895595502 0 0 4096 2 18446604453879332992 0 0 -1 3 0 0 0
[pid=24829/tid=24835] ppid=24827 vsize=576588 CPUtime=0.03 cores=0-7
/proc/24829/task/24835/stat : 24835 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 2471 0 0 0 3 0 0 0 17 0 8 0 622477199 590426112 20048 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895490363 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24829/tid=24836] ppid=24827 vsize=576588 CPUtime=0.05 cores=0-7
/proc/24829/task/24836/stat : 24836 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 3138 0 0 0 4 1 0 0 17 0 8 0 622477199 590426112 20059 33554432000 4194304 4627427 140735537571200 18446744073709551615 4507248 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 575268
[startup+0.484498 s]
/proc/loadavg: 6.89 4.63 1.99 2/182 24829
/proc/meminfo: memFree=26900784/32950928 swapFree=67111356/67111528
[pid=24829] ppid=24827 vsize=620956 CPUtime=3.21 cores=0-7
/proc/24829/stat : 24829 (strangenight2-m) R 24827 24829 24761 0 -1 4202496 50789 0 0 0 294 27 0 0 18 0 8 0 622477199 635858944 42733 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895157762 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24829/statm: 155273 42781 368 106 0 150244 0
[pid=24829/tid=24830] ppid=24827 vsize=621092 CPUtime=0.38 cores=0-7
/proc/24829/task/24830/stat : 24830 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 6187 0 0 0 35 3 0 0 17 0 8 0 622477199 635998208 42834 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895151649 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24829/tid=24831] ppid=24827 vsize=621092 CPUtime=0.37 cores=0-7
/proc/24829/task/24831/stat : 24831 (strangenight2-m) D 24827 24829 24761 0 -1 4202560 6172 0 0 0 35 2 0 0 17 0 8 0 622477199 635998208 42886 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895151649 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24829/tid=24832] ppid=24827 vsize=621092 CPUtime=0.43 cores=0-7
/proc/24829/task/24832/stat : 24832 (strangenight2-m) D 24827 24829 24761 0 -1 4202560 6742 0 0 0 40 3 0 0 17 0 8 0 622477199 635998208 42932 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895533751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24829/tid=24833] ppid=24827 vsize=621092 CPUtime=0.42 cores=0-7
/proc/24829/task/24833/stat : 24833 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 6123 0 0 0 38 4 0 0 18 0 8 0 622477199 635998208 42969 33554432000 4194304 4627427 140735537571200 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24829/tid=24834] ppid=24827 vsize=621092 CPUtime=0.41 cores=0-7
/proc/24829/task/24834/stat : 24834 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 6272 0 0 0 37 4 0 0 18 0 8 0 622477199 635998208 42969 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895595502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24829/tid=24835] ppid=24827 vsize=621092 CPUtime=0.34 cores=0-7
/proc/24829/task/24835/stat : 24835 (strangenight2-m) D 24827 24829 24761 0 -1 4202560 6968 0 0 0 33 1 0 0 17 0 8 0 622477199 635998208 42969 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895151649 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24829/tid=24836] ppid=24827 vsize=621092 CPUtime=0.38 cores=0-7
/proc/24829/task/24836/stat : 24836 (strangenight2-m) D 24827 24829 24761 0 -1 4202560 6005 0 0 0 36 2 0 0 17 0 8 0 622477199 635998208 42969 33554432000 4194304 4627427 140735537571200 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 620956
[startup+0.713539 s]
/proc/loadavg: 6.89 4.63 1.99 2/182 24829
/proc/meminfo: memFree=26900784/32950928 swapFree=67111356/67111528
[pid=24829] ppid=24827 vsize=628748 CPUtime=4.88 cores=0-7
/proc/24829/stat : 24829 (strangenight2-m) D 24827 24829 24761 0 -1 4202496 63879 0 0 0 451 37 0 0 18 0 8 0 622477199 643837952 55823 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895151649 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24829/statm: 157187 55823 368 106 0 152158 0
[pid=24829/tid=24830] ppid=24827 vsize=628748 CPUtime=0.58 cores=0-7
/proc/24829/task/24830/stat : 24830 (strangenight2-m) D 24827 24829 24761 0 -1 4202560 8043 0 0 0 54 4 0 0 17 0 8 0 622477199 643837952 55823 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895151301 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24829/tid=24831] ppid=24827 vsize=628748 CPUtime=0.57 cores=0-7
/proc/24829/task/24831/stat : 24831 (strangenight2-m) D 24827 24829 24761 0 -1 4202560 8008 0 0 0 54 3 0 0 17 0 8 0 622477199 643837952 55823 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895533751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24829/tid=24832] ppid=24827 vsize=628748 CPUtime=0.64 cores=0-7
/proc/24829/task/24832/stat : 24832 (strangenight2-m) D 24827 24829 24761 0 -1 4202560 8549 0 0 0 60 4 0 0 17 0 8 0 622477199 643837952 55823 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895533751 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24829/tid=24833] ppid=24827 vsize=628748 CPUtime=0.63 cores=0-7
/proc/24829/task/24833/stat : 24833 (strangenight2-m) S 24827 24829 24761 0 -1 4202560 7885 0 0 0 58 5 0 0 18 0 8 0 622477199 643837952 55823 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895595502 0 0 4096 2 18446604453879332992 0 0 -1 5 0 0 0
[pid=24829/tid=24834] ppid=24827 vsize=628748 CPUtime=0.61 cores=0-7
/proc/24829/task/24834/stat : 24834 (strangenight2-m) D 24827 24829 24761 0 -1 4202560 8096 0 0 0 56 5 0 0 18 0 8 0 622477199 643837952 55823 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895533751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24829/tid=24835] ppid=24827 vsize=628748 CPUtime=0.55 cores=0-7
/proc/24829/task/24835/stat : 24835 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 8865 0 0 0 52 3 0 0 17 0 8 0 622477199 643837952 55823 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895151649 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24829/tid=24836] ppid=24827 vsize=628748 CPUtime=0.59 cores=0-7
/proc/24829/task/24836/stat : 24836 (strangenight2-m) S 24827 24829 24761 0 -1 4202560 6113 0 0 0 57 2 0 0 17 0 8 0 622477199 643837952 55823 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895595502 0 0 4096 2 18446604453879332992 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.88
Current children cumulated vsize (KiB) 628748
[startup+1.50129 s]
/proc/loadavg: 6.89 4.63 1.99 9/190 24837
/proc/meminfo: memFree=26655872/32950928 swapFree=67111356/67111528
[pid=24829] ppid=24827 vsize=651648 CPUtime=10.93 cores=0-7
/proc/24829/stat : 24829 (strangenight2-m) R 24827 24829 24761 0 -1 4202496 96692 0 0 0 1037 56 0 0 18 0 8 0 622477199 667287552 82261 33554432000 4194304 4627427 140735537571200 18446744073709551615 4308291 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24829/statm: 162912 82261 388 106 0 157883 0
[pid=24829/tid=24830] ppid=24827 vsize=651648 CPUtime=1.34 cores=0-7
/proc/24829/task/24830/stat : 24830 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 13014 0 0 0 126 8 0 0 17 0 8 0 622477199 667287552 82261 33554432000 4194304 4627427 140735537571200 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24829/tid=24831] ppid=24827 vsize=651648 CPUtime=1.32 cores=0-7
/proc/24829/task/24831/stat : 24831 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 12382 0 0 0 125 7 0 0 18 0 8 0 622477199 667287552 82261 33554432000 4194304 4627427 140735537571200 18446744073709551615 4310655 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24829/tid=24832] ppid=24827 vsize=651648 CPUtime=1.4 cores=0-7
/proc/24829/task/24832/stat : 24832 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 12949 0 0 0 134 6 0 0 18 0 8 0 622477199 667287552 82261 33554432000 4194304 4627427 140735537571200 18446744073709551615 4332184 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24829/tid=24833] ppid=24827 vsize=651648 CPUtime=1.37 cores=0-7
/proc/24829/task/24833/stat : 24833 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 11366 0 0 0 129 8 0 0 18 0 8 0 622477199 667287552 82261 33554432000 4194304 4627427 140735537571200 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24829/tid=24834] ppid=24827 vsize=651648 CPUtime=1.38 cores=0-7
/proc/24829/task/24834/stat : 24834 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 13000 0 0 0 129 9 0 0 18 0 8 0 622477199 667287552 82261 33554432000 4194304 4627427 140735537571200 18446744073709551615 4310399 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24829/tid=24835] ppid=24827 vsize=651648 CPUtime=1.31 cores=0-7
/proc/24829/task/24835/stat : 24835 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 13654 0 0 0 126 5 0 0 18 0 8 0 622477199 667287552 82261 33554432000 4194304 4627427 140735537571200 18446744073709551615 4308343 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24829/tid=24836] ppid=24827 vsize=651648 CPUtime=1.37 cores=0-7
/proc/24829/task/24836/stat : 24836 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 6869 0 0 0 134 3 0 0 18 0 8 0 622477199 667287552 82261 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.93
Current children cumulated vsize (KiB) 651648
[startup+3.10099 s]
/proc/loadavg: 6.89 4.63 1.99 9/190 24837
/proc/meminfo: memFree=26566716/32950928 swapFree=67111356/67111528
[pid=24829] ppid=24827 vsize=677384 CPUtime=23.71 cores=0-7
/proc/24829/stat : 24829 (strangenight2-m) R 24827 24829 24761 0 -1 4202496 107045 0 0 0 2313 58 0 0 20 0 8 0 622477199 693641216 81917 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309965 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24829/statm: 169346 81917 390 106 0 164317 0
[pid=24829/tid=24830] ppid=24827 vsize=677384 CPUtime=2.94 cores=0-7
/proc/24829/task/24830/stat : 24830 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 13768 0 0 0 286 8 0 0 20 0 8 0 622477199 693641216 81917 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24829/tid=24831] ppid=24827 vsize=677384 CPUtime=2.92 cores=0-7
/proc/24829/task/24831/stat : 24831 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 13202 0 0 0 285 7 0 0 20 0 8 0 622477199 693641216 81917 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24829/tid=24832] ppid=24827 vsize=677384 CPUtime=3 cores=0-7
/proc/24829/task/24832/stat : 24832 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 13902 0 0 0 294 6 0 0 20 0 8 0 622477199 693641216 81917 33554432000 4194304 4627427 140735537571200 18446744073709551615 4308640 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24829/tid=24833] ppid=24827 vsize=677384 CPUtime=2.96 cores=0-7
/proc/24829/task/24833/stat : 24833 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 12305 0 0 0 288 8 0 0 20 0 8 0 622477199 693641216 81917 33554432000 4194304 4627427 140735537571200 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24829/tid=24834] ppid=24827 vsize=677384 CPUtime=2.98 cores=0-7
/proc/24829/task/24834/stat : 24834 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 13863 0 0 0 289 9 0 0 20 0 8 0 622477199 693641216 81917 33554432000 4194304 4627427 140735537571200 18446744073709551615 4327424 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24829/tid=24835] ppid=24827 vsize=677384 CPUtime=2.9 cores=0-7
/proc/24829/task/24835/stat : 24835 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 14529 0 0 0 285 5 0 0 21 0 8 0 622477199 693641216 81918 33554432000 4194304 4627427 140735537571200 18446744073709551615 4308588 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24829/tid=24836] ppid=24827 vsize=677384 CPUtime=2.97 cores=0-7
/proc/24829/task/24836/stat : 24836 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 11160 0 0 0 294 3 0 0 20 0 8 0 622477199 693641216 81918 33554432000 4194304 4627427 140735537571200 18446744073709551615 4308335 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.71
Current children cumulated vsize (KiB) 677384
[startup+6.30038 s]
/proc/loadavg: 6.98 4.68 2.03 9/190 24837
/proc/meminfo: memFree=26540188/32950928 swapFree=67111356/67111528
[pid=24829] ppid=24827 vsize=689928 CPUtime=49.28 cores=0-7
/proc/24829/stat : 24829 (strangenight2-m) R 24827 24829 24761 0 -1 4202496 137322 0 0 0 4864 64 0 0 25 0 8 0 622477199 706486272 91472 33554432000 4194304 4627427 140735537571200 18446744073709551615 4308624 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24829/statm: 172482 91472 391 106 0 167453 0
[pid=24829/tid=24830] ppid=24827 vsize=689928 CPUtime=6.14 cores=0-7
/proc/24829/task/24830/stat : 24830 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 17888 0 0 0 605 9 0 0 19 0 8 0 622477199 706486272 91472 33554432000 4194304 4627427 140735537571200 18446744073709551615 4327424 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24829/tid=24831] ppid=24827 vsize=689928 CPUtime=6.11 cores=0-7
/proc/24829/task/24831/stat : 24831 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 19688 0 0 0 603 8 0 0 19 0 8 0 622477199 706486272 91472 33554432000 4194304 4627427 140735537571200 18446744073709551615 231895188058 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24829/tid=24832] ppid=24827 vsize=689928 CPUtime=6.2 cores=0-7
/proc/24829/task/24832/stat : 24832 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 18547 0 0 0 613 7 0 0 25 0 8 0 622477199 706486272 91472 33554432000 4194304 4627427 140735537571200 18446744073709551615 4308425 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24829/tid=24833] ppid=24827 vsize=689928 CPUtime=6.14 cores=0-7
/proc/24829/task/24833/stat : 24833 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 15360 0 0 0 606 8 0 0 25 0 8 0 622477199 706486272 91472 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24829/tid=24834] ppid=24827 vsize=689928 CPUtime=6.18 cores=0-7
/proc/24829/task/24834/stat : 24834 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 17792 0 0 0 608 10 0 0 19 0 8 0 622477199 706486272 91472 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24829/tid=24835] ppid=24827 vsize=689928 CPUtime=6.1 cores=0-7
/proc/24829/task/24835/stat : 24835 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 18925 0 0 0 605 5 0 0 25 0 8 0 622477199 706486272 91472 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24829/tid=24836] ppid=24827 vsize=689928 CPUtime=6.17 cores=0-7
/proc/24829/task/24836/stat : 24836 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 12689 0 0 0 613 4 0 0 25 0 8 0 622477199 706486272 91472 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
################
# More data... #
################
/proc/24829/task/24834/stat : 24834 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 41428 0 0 0 16199 19 0 0 25 0 8 0 622477199 1039269888 166213 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309703 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24829/tid=24835] ppid=24827 vsize=1014912 CPUtime=162.11 cores=0-7
/proc/24829/task/24835/stat : 24835 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 42909 0 0 0 16196 15 0 0 25 0 8 0 622477199 1039269888 166213 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24829/tid=24836] ppid=24827 vsize=1014912 CPUtime=162.17 cores=0-7
/proc/24829/task/24836/stat : 24836 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 54086 0 0 0 16202 15 0 0 25 0 8 0 622477199 1039269888 166213 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1296.44
Current children cumulated vsize (KiB) 1014912
[startup+222.307 s]
/proc/loadavg: 8.06 6.43 3.27 9/190 24843
/proc/meminfo: memFree=26213116/32950928 swapFree=67111356/67111528
[pid=24829] ppid=24827 vsize=1099672 CPUtime=1776.18 cores=0-7
/proc/24829/stat : 24829 (strangenight2-m) R 24827 24829 24761 0 -1 4202496 376460 0 0 0 177473 145 0 0 25 0 8 0 622477199 1126064128 172749 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24829/statm: 274918 172749 441 106 0 269889 0
[pid=24829/tid=24830] ppid=24827 vsize=1099672 CPUtime=222.12 cores=0-7
/proc/24829/task/24830/stat : 24830 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 44492 0 0 0 22195 17 0 0 25 0 8 0 622477199 1126064128 172749 33554432000 4194304 4627427 140735537571200 18446744073709551615 4327603 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24829/tid=24831] ppid=24827 vsize=1099672 CPUtime=222.13 cores=0-7
/proc/24829/task/24831/stat : 24831 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 47126 0 0 0 22197 16 0 0 25 0 8 0 622477199 1126064128 172749 33554432000 4194304 4627427 140735537571200 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24829/tid=24832] ppid=24827 vsize=1099672 CPUtime=222.22 cores=0-7
/proc/24829/task/24832/stat : 24832 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 48703 0 0 0 22206 16 0 0 25 0 8 0 622477199 1126064128 172749 33554432000 4194304 4627427 140735537571200 18446744073709551615 4333149 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24829/tid=24833] ppid=24827 vsize=1099672 CPUtime=220.98 cores=0-7
/proc/24829/task/24833/stat : 24833 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 40491 0 0 0 22080 18 0 0 25 0 8 0 622477199 1126064128 172749 33554432000 4194304 4627427 140735537571200 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24829/tid=24834] ppid=24827 vsize=1099672 CPUtime=222.19 cores=0-7
/proc/24829/task/24834/stat : 24834 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 45419 0 0 0 22198 21 0 0 25 0 8 0 622477199 1126064128 172749 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24829/tid=24835] ppid=24827 vsize=1099672 CPUtime=222.11 cores=0-7
/proc/24829/task/24835/stat : 24835 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 47797 0 0 0 22195 16 0 0 25 0 8 0 622477199 1126064128 172749 33554432000 4194304 4627427 140735537571200 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24829/tid=24836] ppid=24827 vsize=1099672 CPUtime=222.18 cores=0-7
/proc/24829/task/24836/stat : 24836 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 60419 0 0 0 22200 18 0 0 25 0 8 0 622477199 1126064128 172749 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1776.18
Current children cumulated vsize (KiB) 1099672
Solver just ended. Dumping a history of the last processes samples
[startup+224.001 s]
/proc/loadavg: 8.06 6.43 3.27 9/190 24843
/proc/meminfo: memFree=26211256/32950928 swapFree=67111356/67111528
[pid=24829] ppid=24827 vsize=1111600 CPUtime=1789.72 cores=0-7
/proc/24829/stat : 24829 (strangenight2-m) R 24827 24829 24761 0 -1 4202496 377979 0 0 0 178827 145 0 0 25 0 8 0 622477199 1138278400 169306 33554432000 4194304 4627427 140735537571200 18446744073709551615 4308323 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24829/statm: 277900 169306 441 106 0 272871 0
[pid=24829/tid=24830] ppid=24827 vsize=1111600 CPUtime=223.82 cores=0-7
/proc/24829/task/24830/stat : 24830 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 44543 0 0 0 22365 17 0 0 25 0 8 0 622477199 1138278400 169306 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24829/tid=24831] ppid=24827 vsize=1111600 CPUtime=223.82 cores=0-7
/proc/24829/task/24831/stat : 24831 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 47233 0 0 0 22366 16 0 0 25 0 8 0 622477199 1138278400 169306 33554432000 4194304 4627427 140735537571200 18446744073709551615 4308345 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24829/tid=24832] ppid=24827 vsize=1111600 CPUtime=223.91 cores=0-7
/proc/24829/task/24832/stat : 24832 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 48798 0 0 0 22375 16 0 0 25 0 8 0 622477199 1138278400 169306 33554432000 4194304 4627427 140735537571200 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24829/tid=24833] ppid=24827 vsize=1111600 CPUtime=222.66 cores=0-7
/proc/24829/task/24833/stat : 24833 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 41389 0 0 0 22248 18 0 0 25 0 8 0 622477199 1138278400 169306 33554432000 4194304 4627427 140735537571200 18446744073709551615 4222423 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24829/tid=24834] ppid=24827 vsize=1111600 CPUtime=223.88 cores=0-7
/proc/24829/task/24834/stat : 24834 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 45419 0 0 0 22367 21 0 0 25 0 8 0 622477199 1138278400 169306 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24829/tid=24835] ppid=24827 vsize=1111600 CPUtime=223.8 cores=0-7
/proc/24829/task/24835/stat : 24835 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 47921 0 0 0 22364 16 0 0 25 0 8 0 622477199 1138278400 169306 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24829/tid=24836] ppid=24827 vsize=1111600 CPUtime=223.87 cores=0-7
/proc/24829/task/24836/stat : 24836 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 60663 0 0 0 22369 18 0 0 25 0 8 0 622477199 1138278400 169306 33554432000 4194304 4627427 140735537571200 18446744073709551615 4299701 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1789.72
Current children cumulated vsize (KiB) 1111600
[startup+227.2 s]
/proc/loadavg: 8.05 6.45 3.30 9/190 24843
/proc/meminfo: memFree=26223656/32950928 swapFree=67111356/67111528
[pid=24829] ppid=24827 vsize=1111600 CPUtime=1815.3 cores=0-7
/proc/24829/stat : 24829 (strangenight2-m) R 24827 24829 24761 0 -1 4202496 379120 0 0 0 181384 146 0 0 25 0 8 0 622477199 1138278400 170447 33554432000 4194304 4627427 140735537571200 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24829/statm: 277900 170447 441 106 0 272871 0
[pid=24829/tid=24830] ppid=24827 vsize=1111600 CPUtime=227.01 cores=0-7
/proc/24829/task/24830/stat : 24830 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 44700 0 0 0 22684 17 0 0 25 0 8 0 622477199 1138278400 170447 33554432000 4194304 4627427 140735537571200 18446744073709551615 4308335 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24829/tid=24831] ppid=24827 vsize=1111600 CPUtime=227.02 cores=0-7
/proc/24829/task/24831/stat : 24831 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 47406 0 0 0 22686 16 0 0 25 0 8 0 622477199 1138278400 170447 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24829/tid=24832] ppid=24827 vsize=1111600 CPUtime=227.11 cores=0-7
/proc/24829/task/24832/stat : 24832 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 48967 0 0 0 22695 16 0 0 25 0 8 0 622477199 1138278400 170447 33554432000 4194304 4627427 140735537571200 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24829/tid=24833] ppid=24827 vsize=1111600 CPUtime=225.84 cores=0-7
/proc/24829/task/24833/stat : 24833 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 41637 0 0 0 22566 18 0 0 25 0 8 0 622477199 1138278400 170447 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24829/tid=24834] ppid=24827 vsize=1111600 CPUtime=227.08 cores=0-7
/proc/24829/task/24834/stat : 24834 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 45419 0 0 0 22687 21 0 0 25 0 8 0 622477199 1138278400 170447 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24829/tid=24835] ppid=24827 vsize=1111600 CPUtime=227.01 cores=0-7
/proc/24829/task/24835/stat : 24835 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 48112 0 0 0 22684 17 0 0 25 0 8 0 622477199 1138278400 170447 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309735 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24829/tid=24836] ppid=24827 vsize=1111600 CPUtime=227.08 cores=0-7
/proc/24829/task/24836/stat : 24836 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 60834 0 0 0 22689 19 0 0 25 0 8 0 622477199 1138278400 170447 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1815.3
Current children cumulated vsize (KiB) 1111600
[startup+228.801 s]
/proc/loadavg: 8.05 6.45 3.30 9/190 24843
/proc/meminfo: memFree=26218200/32950928 swapFree=67111356/67111528
[pid=24829] ppid=24827 vsize=1111600 CPUtime=1828.14 cores=0-7
/proc/24829/stat : 24829 (strangenight2-m) R 24827 24829 24761 0 -1 4202496 380296 0 0 0 182667 147 0 0 25 0 8 0 622477199 1138278400 171623 33554432000 4194304 4627427 140735537571200 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24829/statm: 277900 171623 441 106 0 272871 0
[pid=24829/tid=24830] ppid=24827 vsize=1111600 CPUtime=228.62 cores=0-7
/proc/24829/task/24830/stat : 24830 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 44919 0 0 0 22845 17 0 0 25 0 8 0 622477199 1138278400 171623 33554432000 4194304 4627427 140735537571200 18446744073709551615 4308767 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24829/tid=24831] ppid=24827 vsize=1111600 CPUtime=228.63 cores=0-7
/proc/24829/task/24831/stat : 24831 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 47496 0 0 0 22847 16 0 0 25 0 8 0 622477199 1138278400 171623 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309969 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24829/tid=24832] ppid=24827 vsize=1111600 CPUtime=228.71 cores=0-7
/proc/24829/task/24832/stat : 24832 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 48993 0 0 0 22855 16 0 0 25 0 8 0 622477199 1138278400 171623 33554432000 4194304 4627427 140735537571200 18446744073709551615 4324721 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24829/tid=24833] ppid=24827 vsize=1111600 CPUtime=227.44 cores=0-7
/proc/24829/task/24833/stat : 24833 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 41750 0 0 0 22726 18 0 0 25 0 8 0 622477199 1138278400 171623 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24829/tid=24834] ppid=24827 vsize=1111600 CPUtime=228.68 cores=0-7
/proc/24829/task/24834/stat : 24834 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 45489 0 0 0 22847 21 0 0 25 0 8 0 622477199 1138278400 171623 33554432000 4194304 4627427 140735537571200 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24829/tid=24835] ppid=24827 vsize=1111600 CPUtime=228.62 cores=0-7
/proc/24829/task/24835/stat : 24835 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 48211 0 0 0 22845 17 0 0 25 0 8 0 622477199 1138278400 171623 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24829/tid=24836] ppid=24827 vsize=1111600 CPUtime=228.69 cores=0-7
/proc/24829/task/24836/stat : 24836 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 61393 0 0 0 22850 19 0 0 25 0 8 0 622477199 1138278400 171623 33554432000 4194304 4627427 140735537571200 18446744073709551615 4428111 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1828.14
Current children cumulated vsize (KiB) 1111600
[startup+230.401 s]
/proc/loadavg: 8.05 6.48 3.32 9/190 24843
/proc/meminfo: memFree=26216588/32950928 swapFree=67111356/67111528
[pid=24829] ppid=24827 vsize=1124200 CPUtime=1840.88 cores=0-7
/proc/24829/stat : 24829 (strangenight2-m) R 24827 24829 24761 0 -1 4202496 381888 0 0 0 183940 148 0 0 25 0 8 0 622477199 1151180800 172943 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309607 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24829/statm: 281050 172943 441 106 0 276021 0
[pid=24829/tid=24830] ppid=24827 vsize=1124200 CPUtime=230.22 cores=0-7
/proc/24829/task/24830/stat : 24830 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 45873 0 0 0 23004 18 0 0 25 0 8 0 622477199 1151180800 172943 33554432000 4194304 4627427 140735537571200 18446744073709551615 4299630 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24829/tid=24831] ppid=24827 vsize=1124200 CPUtime=230.23 cores=0-7
/proc/24829/task/24831/stat : 24831 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 47580 0 0 0 23006 17 0 0 25 0 8 0 622477199 1151180800 172943 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24829/tid=24832] ppid=24827 vsize=1124200 CPUtime=230.31 cores=0-7
/proc/24829/task/24832/stat : 24832 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 48993 0 0 0 23015 16 0 0 25 0 8 0 622477199 1151180800 172943 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309192 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24829/tid=24833] ppid=24827 vsize=1124200 CPUtime=229.03 cores=0-7
/proc/24829/task/24833/stat : 24833 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 41850 0 0 0 22885 18 0 0 25 0 8 0 622477199 1151180800 172943 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24829/tid=24834] ppid=24827 vsize=1124200 CPUtime=230.29 cores=0-7
/proc/24829/task/24834/stat : 24834 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 45582 0 0 0 23007 22 0 0 25 0 8 0 622477199 1151180800 172943 33554432000 4194304 4627427 140735537571200 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24829/tid=24835] ppid=24827 vsize=1124200 CPUtime=230.21 cores=0-7
/proc/24829/task/24835/stat : 24835 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 48292 0 0 0 23004 17 0 0 25 0 8 0 622477199 1151180800 172943 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24829/tid=24836] ppid=24827 vsize=1124200 CPUtime=230.28 cores=0-7
/proc/24829/task/24836/stat : 24836 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 61673 0 0 0 23009 19 0 0 25 0 8 0 622477199 1151180800 172943 33554432000 4194304 4627427 140735537571200 18446744073709551615 4308499 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1840.88
Current children cumulated vsize (KiB) 1124200
[startup+230.801 s]
/proc/loadavg: 8.05 6.48 3.32 9/190 24843
/proc/meminfo: memFree=26216588/32950928 swapFree=67111356/67111528
[pid=24829] ppid=24827 vsize=1124200 CPUtime=1844.08 cores=0-7
/proc/24829/stat : 24829 (strangenight2-m) R 24827 24829 24761 0 -1 4202496 382016 0 0 0 184260 148 0 0 25 0 8 0 622477199 1151180800 173071 33554432000 4194304 4627427 140735537571200 18446744073709551615 4308419 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24829/statm: 281050 173071 441 106 0 276021 0
[pid=24829/tid=24830] ppid=24827 vsize=1124200 CPUtime=230.62 cores=0-7
/proc/24829/task/24830/stat : 24830 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 45900 0 0 0 23044 18 0 0 25 0 8 0 622477199 1151180800 173071 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24829/tid=24831] ppid=24827 vsize=1124200 CPUtime=230.63 cores=0-7
/proc/24829/task/24831/stat : 24831 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 47602 0 0 0 23046 17 0 0 25 0 8 0 622477199 1151180800 173071 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24829/tid=24832] ppid=24827 vsize=1124200 CPUtime=230.71 cores=0-7
/proc/24829/task/24832/stat : 24832 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 48993 0 0 0 23055 16 0 0 25 0 8 0 622477199 1151180800 173071 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24829/tid=24833] ppid=24827 vsize=1124200 CPUtime=229.43 cores=0-7
/proc/24829/task/24833/stat : 24833 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 41867 0 0 0 22925 18 0 0 25 0 8 0 622477199 1151180800 173071 33554432000 4194304 4627427 140735537571200 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24829/tid=24834] ppid=24827 vsize=1124200 CPUtime=230.68 cores=0-7
/proc/24829/task/24834/stat : 24834 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 45599 0 0 0 23046 22 0 0 25 0 8 0 622477199 1151180800 173071 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24829/tid=24835] ppid=24827 vsize=1124200 CPUtime=230.61 cores=0-7
/proc/24829/task/24835/stat : 24835 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 48307 0 0 0 23044 17 0 0 25 0 8 0 622477199 1151180800 173071 33554432000 4194304 4627427 140735537571200 18446744073709551615 4308408 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24829/tid=24836] ppid=24827 vsize=1124200 CPUtime=230.68 cores=0-7
/proc/24829/task/24836/stat : 24836 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 61704 0 0 0 23049 19 0 0 25 0 8 0 622477199 1151180800 173072 33554432000 4194304 4627427 140735537571200 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1844.08
Current children cumulated vsize (KiB) 1124200
[startup+231.001 s]
/proc/loadavg: 8.05 6.48 3.32 9/190 24843
/proc/meminfo: memFree=26211632/32950928 swapFree=67111356/67111528
[pid=24829] ppid=24827 vsize=1124200 CPUtime=1845.72 cores=0-7
/proc/24829/stat : 24829 (strangenight2-m) R 24827 24829 24761 0 -1 4202496 382078 0 0 0 184424 148 0 0 25 0 8 0 622477199 1151180800 173133 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309155 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/24829/statm: 281050 173133 441 106 0 276021 0
[pid=24829/tid=24830] ppid=24827 vsize=1124200 CPUtime=230.83 cores=0-7
/proc/24829/task/24830/stat : 24830 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 45910 0 0 0 23065 18 0 0 25 0 8 0 622477199 1151180800 173133 33554432000 4194304 4627427 140735537571200 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24829/tid=24831] ppid=24827 vsize=1124200 CPUtime=230.83 cores=0-7
/proc/24829/task/24831/stat : 24831 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 47613 0 0 0 23066 17 0 0 25 0 8 0 622477199 1151180800 173133 33554432000 4194304 4627427 140735537571200 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24829/tid=24832] ppid=24827 vsize=1124200 CPUtime=230.91 cores=0-7
/proc/24829/task/24832/stat : 24832 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 48993 0 0 0 23075 16 0 0 25 0 8 0 622477199 1151180800 173133 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24829/tid=24833] ppid=24827 vsize=1124200 CPUtime=229.63 cores=0-7
/proc/24829/task/24833/stat : 24833 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 41876 0 0 0 22945 18 0 0 25 0 8 0 622477199 1151180800 173133 33554432000 4194304 4627427 140735537571200 18446744073709551615 4324104 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=24829/tid=24834] ppid=24827 vsize=1124200 CPUtime=230.89 cores=0-7
/proc/24829/task/24834/stat : 24834 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 45608 0 0 0 23067 22 0 0 25 0 8 0 622477199 1151180800 173133 33554432000 4194304 4627427 140735537571200 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=24829/tid=24835] ppid=24827 vsize=1124200 CPUtime=230.81 cores=0-7
/proc/24829/task/24835/stat : 24835 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 48317 0 0 0 23064 17 0 0 25 0 8 0 622477199 1151180800 173133 33554432000 4194304 4627427 140735537571200 18446744073709551615 4308141 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24829/tid=24836] ppid=24827 vsize=1124200 CPUtime=230.88 cores=0-7
/proc/24829/task/24836/stat : 24836 (strangenight2-m) R 24827 24829 24761 0 -1 4202560 61716 0 0 0 23069 19 0 0 25 0 8 0 622477199 1151180800 173133 33554432000 4194304 4627427 140735537571200 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1845.72
Current children cumulated vsize (KiB) 1124200
Child status: 20
Real time (s): 231.081
CPU time (s): 1846.06
CPU user time (s): 1844.54
CPU system time (s): 1.52677
CPU usage (%): 798.88
Max. virtual memory (cumulated for all children) (KiB): 1152584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1844.54
system time used= 1.52677
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 382088
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= 70003
involuntary context switches= 9068
runsolver used 0.376942 second user time and 0.901862 second system time
The end
Launcher Data
Begin job on node114 at 2011-05-02 09:47:45
IDJOB=3321051
IDBENCH=70941
IDSOLVER=1709
FILE ID=node114/3321051-1304322465
RUNJOBID= node114-1304322188-24775
PBS_JOBID= 13176812
Free space on /tmp= 73840 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3321051-1304322465/watcher-3321051-1304322465 -o /tmp/evaluation-result-3321051-1304322465/solver-3321051-1304322465 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321051-1304322465.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= eb4d0d02a25a8a84182ddd3b6d1fa8b5
RANDOM SEED=1777622561
node114.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.848
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.848
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 : 5226.15
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.848
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.74
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.848
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.73
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.848
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.75
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.848
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
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.848
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: 32950928 kB
MemFree: 26900816 kB
Buffers: 1136880 kB
Cached: 1965788 kB
SwapCached: 168 kB
Active: 2720388 kB
Inactive: 2811648 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 26900816 kB
SwapTotal: 67111528 kB
SwapFree: 67111356 kB
Dirty: 8888 kB
Writeback: 0 kB
AnonPages: 2429844 kB
Mapped: 18828 kB
Slab: 445420 kB
PageTables: 9684 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 2877368 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= 73832 MiB
End job on node114 at 2011-05-02 09:51:36