Trace number 3400870
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 | SAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf |
| MD5SUM | 580dc3969c4e46e50013253fd4ac9139 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 22161.3 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 209724 |
| Number of clauses | 3634677 |
| Sum of the clauses size | 10547961 |
| Maximum clause length | 169 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1 |
| Number of clauses of size 2 | 3415202 |
| Number of clauses of size 3 | 49840 |
| Number of clauses of size 4 | 6998 |
| Number of clauses of size 5 | 14973 |
| Number of clauses of size over 5 | 147663 |
Solver Data
0.00/0.00 c Outputting solution to console
1.38/0.05 c Using 32 threads
1.38/0.08 c This is CryptoMiniSat 3.0.0
1.38/0.08 c WARNING: for repeatability, setting FPU to use double precision
1.38/0.08 c Reading file 'HOME/instance-3400870-1307093813.cnf'
2.70/0.11 c -- header says num vars: 209724
2.70/0.11 c -- header says num clauses: 3634677
230.53/16.34 c -- clauses added: 0 learnts, 3634677 normals, 0 xors
230.53/16.34 c -- vars added 209724
230.53/16.34 c Parsing time: 3.42 s
230.53/16.34 c N st 0 0 209724 219474 3415202 0 10547960 0 no data no data
263.93/17.87 c asymm cl-useful: 84/95/219467 lits-rem:1488 time: 1.00
617.79/28.97 c Flit: 545 Blit: 34897 bXBeca: 0 bXProp: 5208 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 11.03
630.58/29.35 c Cleaning up after failed var search: 0.38 s
643.97/29.77 c Replacing 5208 vars Replaced 191504 lits Time: 0.41 s
672.90/31.15 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
681.65/31.62 c bin-w-bin subsume rem 5 bins time: 0.47 s
789.12/37.31 c subs with bin: 6962 lits-rem: 42116 v-fix: 0 time: 5.37 s
910.49/41.38 c Subs w/ non-existent bins: 91 l-rem: 8098 v-fix: 20 done: 25669 time: 3.93 s
922.90/41.95 c Removed useless bin: 4579 fixed: 0 props: 20.00M time: 0.55 s
1282.65/53.82 c lits-rem: 76795 cl-subs: 13335 v-elim: 53947 v-fix: 0 time: 10.56 s
1285.50/53.95 c Finding binary XORs T: 0.12 s found: 483
1293.64/54.28 c Replacing 483 vars Replaced 93580 lits Time: 0.32 s
1311.22/54.88 c Finding non-binary XORs: 0.47 s (found: 0, avg size: nan)
1311.22/54.88 c calculated reachability. Time: 0.00
1314.93/54.98 c Calc default polars - time: 0.10 s pos: 15891 undec: 102362 neg: 91471
1314.93/54.98 c =========================================================================================
1314.93/54.98 c types(t): F = full restart, N = normal restart
1314.93/54.98 c types(t): S = simplification begin/end, E = solution found
1314.93/54.98 c restart types(rt): st = static, dy = dynamic
1314.93/54.98 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
1314.93/54.98 c B st 0 0 107393 208303 1881728 0 6497063 0 no data no data
1606.21/64.18 c N dy 19 4167 107393 208303 1881857 3917 6497056 145428 20.68 21.84
1753.21/68.72 c N dy 31 8236 107360 208303 1883679 7732 6497045 275157 18.14 19.38
1960.99/75.27 c N dy 58 12281 107360 208303 1883789 11617 6497029 452590 19.11 20.65
2111.22/79.91 c N dy 86 16857 107040 208303 1886777 16027 6496996 666476 19.48 20.64
2290.20/85.50 c N dy 111 20901 102361 197665 1821103 10260 6258012 273983 19.36 20.60
2450.01/90.56 c N dy 135 24995 102352 197665 1823197 14225 6257994 455351 19.65 20.79
2453.22/90.61 c F st 136 25001 102351 197665 1823197 14231 6257994 455606 19.66 no data
2670.51/97.44 c N dy 142 30000 102351 197538 1822764 19079 6255036 688970 19.66 no data
2670.51/97.44 c S st 142 30000 102351 197538 1822764 19079 6255036 688970 19.66 no data
2708.82/98.69 c S st 142 30500 102347 197538 1822892 19442 6255035 694450 19.66 no data
2715.22/98.84 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.16
3482.53/122.94 c Flit: 302 Blit: 768 bXBeca: 0 bXProp: 713 Bins: 411328 BRemL: 17392 BRemN: 1358 P: 200.1M T: 24.03
3485.72/123.07 c Cleaning up after failed var search: 0.13 s
3501.70/123.52 c Replacing 713 vars Replaced 286920 lits Time: 0.44 s
3511.29/123.89 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
3520.88/124.15 c bin-w-bin subsume rem 10547 bins time: 0.26 s
3655.09/128.31 c subs with bin: 13681 lits-rem: 276053 v-fix: 0 time: 4.16 s
3719.03/130.32 c Subs w/ non-existent bins: 1537 l-rem: 6055 v-fix: 1 done: 33888 time: 2.01 s
3728.62/130.65 c Removed useless bin: 4067 fixed: 0 props: 20.05M time: 0.32 s
3853.28/134.57 c lits-rem: 3333 cl-subs: 6125 v-elim: 8060 v-fix: 0 time: 3.90 s
3891.63/135.77 c subs with bin: 161 lits-rem: 14238 v-fix: 0 time: 1.03 s
3914.64/136.49 c lits-rem: 7997 cl-subs: 1631 v-elim: 0 v-fix: 0 time: 0.49 s
3946.57/137.44 c asymm cl-useful: 53/1218/199860 lits-rem:911 time: 0.94
3949.80/137.54 c calculated reachability. Time: 0.01
3949.80/137.54 c N dy 142 30500 92496 199860 1998047 15969 5670567 1179992 19.66 no data
3974.75/138.37 c Finding binary XORs T: 0.12 s found: 496
4084.61/142.48 c N dy 163 34519 92157 194817 1972697 19821 5557618 1347202 19.66 21.74
4420.96/158.13 c N dy 187 38525 92145 194817 2004866 23732 5557615 1555713 19.65 26.55
4607.86/164.08 c N dy 216 42584 92144 194817 2004892 27709 5557615 1744777 20.03 22.63
4627.04/164.66 c Finding binary XORs T: 0.12 s found: 76
4759.80/168.80 c S st 243 45752 90338 193349 2019022 16882 5478366 1212669 20.32 no data
4804.39/170.28 c S st 243 46252 90337 193349 2019101 17301 5478366 1217610 20.32 no data
4811.40/170.45 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.16
5373.02/188.67 c Flit: 1104 Blit: 332 bXBeca: 0 bXProp: 56 Bins:1173868 BRemL: 4500 BRemN: 242 P: 200.1M T: 18.19
5379.38/188.81 c Cleaning up after failed var search: 0.14 s
5392.80/189.25 c Replacing 628 vars Replaced 306826 lits Time: 0.43 s
5401.75/189.55 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
5424.77/190.23 c bin-w-bin subsume rem 66862 bins time: 0.68 s
5525.44/193.41 c subs with bin: 19224 lits-rem: 60572 v-fix: 0 time: 3.17 s
5582.97/195.20 c Subs w/ non-existent bins: 737 l-rem: 1054 v-fix: 13 done: 23857 time: 1.79 s
5595.76/195.60 c Removed useless bin: 12209 fixed: 0 props: 20.01M time: 0.40 s
5678.85/198.24 c lits-rem: 1834 cl-subs: 6046 v-elim: 3780 v-fix: 0 time: 2.63 s
5701.24/198.93 c subs with bin: 581 lits-rem: 13251 v-fix: 0 time: 0.56 s
5717.14/199.45 c lits-rem: 7770 cl-subs: 670 v-elim: 0 v-fix: 0 time: 0.35 s
5739.93/200.22 c asymm cl-useful: 14/1272/178022 lits-rem:277 time: 0.77
5745.59/200.31 c calculated reachability. Time: 0.01
5745.59/200.32 c N dy 243 46252 84487 178022 2202735 13896 5142412 1646855 20.32 no data
5748.80/200.44 c Finding binary XORs T: 0.12 s found: 28
6019.14/210.55 c N dy 258 50423 84087 178022 2316766 17956 5142411 2070810 20.22 21.48
6040.82/212.48 c N dy 268 54426 84087 178022 2316782 21798 5142408 2289409 20.04 21.27
6424.47/346.87 c N dy 290 58438 84083 178022 2344965 25679 5142408 2513309 20.03 21.24
6425.37/347.11 c Finding binary XORs T: 0.12 s found: 50
6760.88/488.67 c N dy 319 62460 83581 177748 2923045 29616 5131828 3858455 20.26 28.55
6762.08/489.07 c Finding binary XORs T: 0.13 s found: 54
6770.26/491.77 c N dy 346 66610 83385 177181 2861037 17157 5111722 2990650 20.39 22.02
6803.31/494.93 c S st 370 69380 82021 174542 2811583 18521 5025383 3056843 20.81 20.51
6813.58/495.86 c S st 370 69880 82021 174542 2811610 18993 5025383 3061740 20.81 no data
6815.98/496.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.18
7219.98/511.34 c Flit: 227 Blit: 525 bXBeca: 0 bXProp: 30 Bins: 376380 BRemL: 12680 BRemN: 202 P: 200.0M T: 15.28
7219.98/511.34 c Cleaning up after failed var search: 0.00 s
7239.16/511.95 c Replacing 162 vars Replaced 207131 lits Time: 0.60 s
7248.74/512.23 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
7290.28/513.54 c bin-w-bin subsume rem 103215 bins time: 1.30 s
7382.97/516.47 c subs with bin: 7056 lits-rem: 27947 v-fix: 0 time: 2.93 s
7443.69/518.31 c Subs w/ non-existent bins: 910 l-rem: 1908 v-fix: 0 done: 24980 time: 1.84 s
7456.48/518.76 c Removed useless bin: 16336 fixed: 0 props: 20.01M time: 0.44 s
7536.41/521.23 c lits-rem: 1573 cl-subs: 6553 v-elim: 3368 v-fix: 0 time: 2.46 s
7558.78/521.97 c subs with bin: 537 lits-rem: 8206 v-fix: 0 time: 0.62 s
7578.59/522.53 c lits-rem: 7258 cl-subs: 673 v-elim: 0 v-fix: 0 time: 0.39 s
7600.34/523.24 c asymm cl-useful: 59/1184/169310 lits-rem:143 time: 0.71
7603.53/523.34 c calculated reachability. Time: 0.01
7603.53/523.35 c N dy 370 69880 77771 169310 2412311 16024 4849193 2296457 20.81 no data
7606.73/523.47 c Finding binary XORs T: 0.12 s found: 12
7838.99/530.91 c N dy 409 74344 77681 169310 2426219 20400 4849183 2531717 21.27 48.64
7966.77/536.97 c N dy 449 79129 77679 169310 2426228 25100 4849173 2754210 21.64 28.20
8414.79/558.97 c N dy 493 84250 77677 169310 2432579 30104 4849171 3027139 22.06 23.56
8618.74/574.61 c Finding binary XORs T: 0.13 s found: 58
8620.83/574.92 c F st 519 87500 77513 168638 2743643 33257 4813425 3840393 22.37 17.32
8623.05/575.26 c Replacing 70 vars Replaced 98709 lits Time: 0.34 s
8625.73/575.63 c Found part 30 vars: 77050 clauses: 1585751 lits size: 4809190
8625.73/575.63 c Found part 31 vars: 2 clauses: 1 lits size: 2
8625.73/575.63 c Found part 32 vars: 2 clauses: 1 lits size: 2
8625.73/575.63 c Found part 33 vars: 2 clauses: 1 lits size: 2
8625.73/575.63 c Found part 34 vars: 2 clauses: 1 lits size: 2
8625.73/575.63 c Found parts: 5 time: 0.71 s
8625.73/575.63 c Solving part 31
8627.12/575.86 c N st 0 0 2 0 1 0 2 0 no data no data
8627.12/575.86 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
8627.12/575.87 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
8627.12/575.88 c Finding binary XORs T: 0.01 s found: 0
8627.12/575.88 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
8627.12/575.88 c calculated reachability. Time: 0.00
8627.12/575.89 c Calc default polars - time: 0.00 s pos: 0 undec: 209722 neg: 2
8627.12/575.89 c =========================================================================================
8627.12/575.89 c types(t): F = full restart, N = normal restart
8627.12/575.89 c types(t): S = simplification begin/end, E = solution found
8627.12/575.89 c restart types(rt): st = static, dy = dynamic
8627.12/575.89 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
8627.12/575.89 c B st 0 0 2 0 1 0 2 0 no data no data
8627.12/575.89 c E st 1 0 0 0 1 0 2 0 no data no data
8627.12/575.89 c Verified 0 clauses.
8627.12/575.89 c Verified 0 clauses.
8627.12/575.89 c Solved part
8627.12/575.89 c =========================================================================================
8627.74/575.90 c Solving part 32
8629.07/576.17 c N st 0 0 2 0 1 0 2 0 no data no data
8629.07/576.17 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
8629.07/576.17 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
8629.07/576.19 c Finding binary XORs T: 0.01 s found: 0
8629.07/576.19 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
8629.07/576.19 c calculated reachability. Time: 0.00
8629.07/576.20 c Calc default polars - time: 0.00 s pos: 0 undec: 209722 neg: 2
8629.07/576.20 c =========================================================================================
8629.07/576.20 c types(t): F = full restart, N = normal restart
8629.07/576.20 c types(t): S = simplification begin/end, E = solution found
8629.07/576.20 c restart types(rt): st = static, dy = dynamic
8629.07/576.20 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
8629.07/576.20 c B st 0 0 2 0 1 0 2 0 no data no data
8629.07/576.20 c E st 1 0 0 0 1 0 2 0 no data no data
8629.67/576.20 c Verified 0 clauses.
8629.67/576.20 c Verified 0 clauses.
8629.67/576.20 c Solved part
8629.67/576.20 c =========================================================================================
8629.67/576.21 c Solving part 33
8630.97/576.49 c N st 0 0 2 0 1 0 2 0 no data no data
8630.97/576.49 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
8630.97/576.49 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
8631.46/576.50 c Finding binary XORs T: 0.01 s found: 0
8631.46/576.51 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
8631.46/576.51 c calculated reachability. Time: 0.00
8631.46/576.51 c Calc default polars - time: 0.00 s pos: 0 undec: 209722 neg: 2
8631.46/576.51 c =========================================================================================
8631.46/576.51 c types(t): F = full restart, N = normal restart
8631.46/576.51 c types(t): S = simplification begin/end, E = solution found
8631.46/576.51 c restart types(rt): st = static, dy = dynamic
8631.46/576.51 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
8631.46/576.51 c B st 0 0 2 0 1 0 2 0 no data no data
8631.46/576.51 c E st 1 0 0 0 1 0 2 0 no data no data
8631.46/576.52 c Verified 0 clauses.
8631.46/576.52 c Verified 0 clauses.
8631.46/576.52 c Solved part
8631.46/576.52 c =========================================================================================
8631.46/576.53 c Solving part 34
8633.26/576.80 c N st 0 0 2 0 1 0 2 0 no data no data
8633.26/576.80 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
8633.26/576.80 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
8633.26/576.81 c Finding binary XORs T: 0.01 s found: 0
8633.26/576.82 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
8633.26/576.82 c calculated reachability. Time: 0.00
8633.26/576.82 c Calc default polars - time: 0.00 s pos: 0 undec: 209722 neg: 2
8633.26/576.82 c =========================================================================================
8633.26/576.82 c types(t): F = full restart, N = normal restart
8633.26/576.82 c types(t): S = simplification begin/end, E = solution found
8633.26/576.82 c restart types(rt): st = static, dy = dynamic
8633.26/576.82 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
8633.26/576.82 c B st 0 0 2 0 1 0 2 0 no data no data
8633.26/576.82 c E st 1 0 0 0 1 0 2 0 no data no data
8633.26/576.83 c Verified 0 clauses.
8633.26/576.83 c Verified 0 clauses.
8633.26/576.83 c Solved part
8633.26/576.83 c =========================================================================================
8633.26/576.84 c Coming back to original instance
8633.26/576.84 c =========================================================================================
8648.36/579.58 c N st 524 90797 77438 167853 2743231 18624 4809176 2957367 22.37 no data
8941.51/641.48 c N dy 556 96861 77385 167853 2754493 24535 4809158 3303039 22.48 23.78
9103.91/651.50 c Finding binary XORs T: 0.14 s found: 32
9284.37/657.52 c N dy 603 103167 77099 167216 2760483 30691 4781308 3647308 22.79 24.22
9361.65/660.00 c S st 616 104820 77098 167216 2761628 32317 4781305 3741928 22.88 no data
9418.56/661.70 c S st 616 105320 77097 167216 2761664 32781 4781305 3745828 22.88 no data
9424.96/661.90 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.19
10114.78/683.50 c Flit: 176 Blit: 218 bXBeca: 0 bXProp: 16 Bins: 343417 BRemL: 8720 BRemN: 160 P: 200.0M T: 21.59
10114.78/683.50 c Cleaning up after failed var search: 0.00 s
10126.80/683.99 c Replacing 49 vars Replaced 99085 lits Time: 0.48 s
10138.76/684.31 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
10160.43/685.20 c bin-w-bin subsume rem 60007 bins time: 0.89 s
10222.85/687.98 c subs with bin: 6120 lits-rem: 18650 v-fix: 0 time: 2.79 s
10251.91/690.05 c Subs w/ non-existent bins: 687 l-rem: 2494 v-fix: 0 done: 25989 time: 2.07 s
10256.71/690.45 c Removed useless bin: 28540 fixed: 0 props: 20.00M time: 0.40 s
10274.34/692.07 c lits-rem: 1015 cl-subs: 3233 v-elim: 2290 v-fix: 0 time: 1.61 s
10293.20/693.99 c subs with bin: 489 lits-rem: 7304 v-fix: 0 time: 1.74 s
10301.23/694.81 c lits-rem: 17093 cl-subs: 1241 v-elim: 0 v-fix: 0 time: 0.63 s
10304.97/695.39 c asymm cl-useful: 142/1213/167042 lits-rem:354 time: 0.59
10305.67/695.50 c calculated reachability. Time: 0.01
10306.39/695.50 c N dy 616 105320 74310 167042 2547815 29223 4629313 3288749 22.88 no data
10307.19/695.62 c Finding binary XORs T: 0.12 s found: 4
10640.81/788.98 c N dy 657 112075 74256 167042 3074264 35793 4629313 4679113 22.94 24.20
10644.89/789.76 c Finding binary XORs T: 0.13 s found: 15
10987.75/892.27 c N dy 671 125379 74227 167016 3312701 29041 4627602 4593092 22.06 23.33
11081.56/904.54 c Finding binary XORs T: 0.12 s found: 20
11346.79/912.81 c N dy 728 133453 73251 164274 2664103 36640 4579961 3724910 22.22 23.53
11707.96/924.20 c N dy 799 142014 73242 164274 2665302 23262 4579956 3016264 22.52 25.19
12059.59/935.20 c N dy 877 151136 73219 164274 2666989 32256 4579955 3531445 22.95 24.98
12299.92/942.70 c S st 918 157981 73217 164274 2667621 38960 4579954 3889887 23.01 no data
12344.08/944.09 c S st 918 158481 73217 164274 2667639 39441 4579954 3893507 23.01 no data
12350.47/944.27 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.17
12820.35/958.99 c Flit: 70 Blit: 975 bXBeca: 0 bXProp: 40 Bins: 534605 BRemL: 11013 BRemN: 39 P: 200.0M T: 14.71
12827.33/959.15 c Cleaning up after failed var search: 0.16 s
12845.92/959.70 c Replacing 79 vars Replaced 186506 lits Time: 0.54 s
12852.32/959.97 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
12881.08/960.85 c bin-w-bin subsume rem 53202 bins time: 0.89 s
12964.20/963.49 c subs with bin: 5268 lits-rem: 17175 v-fix: 0 time: 2.63 s
13021.73/965.21 c Subs w/ non-existent bins: 405 l-rem: 590 v-fix: 0 done: 25088 time: 1.72 s
13034.52/965.64 c Removed useless bin: 14423 fixed: 0 props: 20.00M time: 0.43 s
13104.84/967.88 c lits-rem: 1857 cl-subs: 5465 v-elim: 2815 v-fix: 0 time: 2.24 s
13171.97/969.94 c subs with bin: 351 lits-rem: 8206 v-fix: 0 time: 1.88 s
13210.33/971.14 c lits-rem: 25783 cl-subs: 1884 v-elim: 0 v-fix: 0 time: 1.03 s
13239.09/972.03 c asymm cl-useful: 184/1280/154381 lits-rem:2845 time: 0.89
13242.29/972.13 c calculated reachability. Time: 0.01
13242.29/972.13 c N dy 918 158481 69281 154348 2174764 34681 4355263 2882300 23.01 no data
13245.49/972.24 c Finding binary XORs T: 0.11 s found: 5
13693.32/992.84 c N dy 983 168736 69209 154348 2182364 44698 4355263 3406325 23.24 24.54
13964.23/1009.63 c Finding binary XORs T: 0.11 s found: 14
14014.30/1012.36 c N dy 1049 179584 69180 154312 2245700 33070 4351594 2839605 23.45 26.60
14243.66/1025.23 c Finding binary XORs T: 0.12 s found: 8
14468.29/1032.86 c N dy 1147 191064 68575 154311 2404038 44307 4351241 3787499 23.97 25.25
14911.97/1046.71 c N dy 1240 203277 68559 154311 2404819 31823 4351222 2974406 24.23 33.09
15382.45/1061.50 c N dy 1335 216271 68558 154311 2405453 44528 4351219 3655099 24.51 34.34
15880.46/1077.03 c N dy 1449 230132 68349 150464 2152094 30935 4283950 2437644 24.86 26.25
16139.40/1085.14 c S st 1501 237722 68348 150464 2152495 38367 4283906 2841448 25.01 no data
16180.96/1086.47 c S st 1501 238223 68348 150464 2152508 38851 4283906 2848602 25.01 no data
16187.36/1086.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.16
16618.72/1100.17 c Flit: 47 Blit: 148 bXBeca: 0 bXProp: 55 Bins: 338290 BRemL: 21502 BRemN: 113 P: 200.0M T: 13.53
16618.72/1100.18 c Cleaning up after failed var search: 0.00 s
16634.74/1100.65 c Replacing 83 vars Replaced 105443 lits Time: 0.47 s
16644.30/1100.90 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
16666.68/1101.68 c bin-w-bin subsume rem 32345 bins time: 0.78 s
16753.58/1104.41 c subs with bin: 4206 lits-rem: 13342 v-fix: 0 time: 2.73 s
16788.74/1105.44 c Subs w/ non-existent bins: 96 l-rem: 925 v-fix: 0 done: 32564 time: 1.02 s
16800.93/1105.88 c Removed useless bin: 13621 fixed: 0 props: 20.01M time: 0.44 s
16852.08/1107.48 c lits-rem: 883 cl-subs: 3043 v-elim: 2699 v-fix: 0 time: 1.60 s
16916.01/1109.47 c subs with bin: 489 lits-rem: 10680 v-fix: 0 time: 1.83 s
16947.97/1110.46 c lits-rem: 29246 cl-subs: 1921 v-elim: 0 v-fix: 0 time: 0.83 s
16976.74/1111.32 c asymm cl-useful: 166/1124/147974 lits-rem:633 time: 0.86
16979.94/1111.41 c calculated reachability. Time: 0.01
16979.94/1111.41 c N dy 1501 238223 65286 147970 2082802 34396 4170384 2632119 25.01 no data
16983.14/1111.52 c Finding binary XORs T: 0.11 s found: 4
17601.04/1130.94 c N dy 1617 253705 65286 147970 2092656 49543 4170359 3448295 25.23 28.14
18287.42/1152.54 c N dy 1753 269974 65207 147970 2098776 40036 4170356 2864243 25.57 37.49
18910.68/1172.16 c Finding binary XORs T: 0.12 s found: 27
18965.02/1173.90 c N dy 1880 287250 64399 142687 1985303 29123 4101047 1985975 25.76 28.20
19719.39/1197.42 c N dy 2034 306003 64398 142687 1986360 47585 4101021 3116049 26.21 27.61
19722.59/1197.58 c F st 2037 306251 64398 142687 1986360 47829 4101021 3128616 26.21 no data
19757.75/1198.64 c Replacing 31 vars Replaced 103520 lits Time: 0.95 s
19767.94/1198.98 c Found part 22 vars: 63957 clauses: 1315144 lits size: 4094239
19767.94/1198.98 c Found part 23 vars: 2 clauses: 1 lits size: 2
19767.94/1198.98 c Found parts: 2 time: 1.40 s
19767.94/1198.98 c Solving part 23
19776.92/1199.23 c N st 0 0 2 0 1 0 2 0 no data no data
19776.92/1199.23 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
19776.92/1199.23 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
19776.92/1199.24 c Finding binary XORs T: 0.01 s found: 0
19776.92/1199.25 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
19776.92/1199.25 c calculated reachability. Time: 0.00
19776.92/1199.25 c Calc default polars - time: 0.00 s pos: 0 undec: 209722 neg: 2
19776.92/1199.25 c =========================================================================================
19776.92/1199.25 c types(t): F = full restart, N = normal restart
19776.92/1199.25 c types(t): S = simplification begin/end, E = solution found
19776.92/1199.25 c restart types(rt): st = static, dy = dynamic
19776.92/1199.25 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
19776.92/1199.25 c B st 0 0 2 0 1 0 2 0 no data no data
19776.92/1199.25 c E st 1 0 0 0 1 0 2 0 no data no data
19776.92/1199.26 c Verified 0 clauses.
19776.92/1199.26 c Verified 0 clauses.
19776.92/1199.26 c Solved part
19776.92/1199.26 c =========================================================================================
19776.92/1199.27 c Coming back to original instance
19776.92/1199.27 c =========================================================================================
20393.83/1218.59 c N dy 2138 325579 64358 141213 1986367 37946 4094234 2402488 26.31 43.16
21036.94/1238.63 c N dy 2256 345652 64358 141213 1986804 57480 4094213 3418258 26.39 28.19
21487.03/1252.74 c S st 2341 357334 64358 141213 1987154 39085 4094205 2412233 26.48 no data
21547.75/1254.65 c S st 2341 357834 64356 141213 1987160 39576 4094205 2415667 26.48 no data
21554.15/1254.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.16
22029.08/1269.76 c Flit: 313 Blit: 1063 bXBeca: 0 bXProp: 67 Bins: 106801 BRemL: 51593 BRemN: 1692 P: 200.0M T: 14.94
22035.51/1269.97 c Cleaning up after failed var search: 0.21 s
22064.24/1270.89 c Replacing 68 vars Replaced 148192 lits Time: 0.91 s
22073.84/1271.14 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
22080.24/1271.38 c bin-w-bin subsume rem 19189 bins time: 0.24 s
22147.38/1273.91 c subs with bin: 2859 lits-rem: 11634 v-fix: 0 time: 2.53 s
22148.96/1274.51 c Subs w/ non-existent bins: 22 l-rem: 565 v-fix: 0 done: 25423 time: 0.60 s
22149.36/1274.77 c Removed useless bin: 7799 fixed: 0 props: 20.00M time: 0.26 s
22153.76/1276.97 c lits-rem: 2998 cl-subs: 8366 v-elim: 5042 v-fix: 0 time: 2.19 s
22156.76/1278.49 c subs with bin: 466 lits-rem: 4933 v-fix: 0 time: 1.38 s
22158.76/1279.47 c lits-rem: 58507 cl-subs: 1787 v-elim: 0 v-fix: 0 time: 0.84 s
22159.76/1279.93 c asymm cl-useful: 195/1206/130752 lits-rem:3587 time: 0.46
22159.96/1280.01 c calculated reachability. Time: 0.01
22159.96/1280.01 c N dy 2341 357834 56920 130712 1470206 32438 3898078 1396073 26.48 no data
22159.96/1280.01 c Following stats are for *FIRST FINISHED THREAD ONLY*
22159.96/1280.01 c num threads : 32
22159.96/1280.01 c restarts : 2761
22159.96/1280.01 c dynamic restarts : 2737
22159.96/1280.01 c static restarts : 24
22159.96/1280.01 c full restarts : 3
22159.96/1280.01 c total simplify time : 6.40
22159.96/1280.01 c learnts DL2 : 0
22159.96/1280.01 c learnts size 2 : 9712325
22159.96/1280.01 c learnts size 1 : 73967 (35.27 % of vars)
22159.96/1280.01 c filedLit time : 49.15 (7.10 % time)
22159.96/1280.01 c v-elim SatELite : 70523 (33.63 % vars)
22159.96/1280.01 c SatELite time : 27.84 (4.02 % time)
22159.96/1280.01 c v-elim xor : 0 (0.00 % vars)
22159.96/1280.01 c xor elim time : 0.39 (0.06 % time)
22159.96/1280.01 c num binary xor trees : 4393
22159.96/1280.01 c binxor trees' crown : 7974 (1.82 leafs/tree)
22159.96/1280.01 c bin xor find time : 2.40
22159.96/1280.01 c OTF clause improved : 8678 (0.02 clauses/conflict)
22159.96/1280.01 c OTF impr. size diff : 14361 (1.65 lits/clause)
22159.96/1280.01 c OTF cl watch-shrink : 249864 (0.56 clauses/conflict)
22159.96/1280.01 c OTF cl watch-sh-lit : 1317334 (5.27 lits/clause)
22159.96/1280.01 c tried to recurMin cls : 0 (0.00 % of conflicts)
22159.96/1280.01 c updated cache : 0 (nan lits/tried recurMin)
22159.96/1280.01 c unit cls recevied : 11044 (14.93 % of units)
22159.96/1280.01 c unit cls sent : 778 (1.05 % of units)
22159.96/1280.01 c bin cls recevied : 6225477
22159.96/1280.01 c bin cls sent : 16724
22159.96/1280.01 c clauses over max glue : 0 (0.00 % of all clauses)
22159.96/1280.01 c conflicts : 445772 (644.05 / sec)
22159.96/1280.01 c decisions : 94283348 (0.30 % random)
22159.96/1280.01 c bogo-props : 7240073553 (10460421.12 / sec)
22159.96/1280.01 c conflict literals : 23175353 (21.67 % deleted)
22159.96/1280.01 c Memory used : 17337.11 MB
22159.96/1280.01 c single-thread CPU time : 692.14 s
22159.96/1280.01 c all-threads sum CPU time : 21965.60 s
22159.96/1280.01 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: 977)
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-3400870-1307093813/watcher-3400870-1307093813 -o /tmp/evaluation-result-3400870-1307093813/solver-3400870-1307093813 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400870-1307093813.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 267264000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 267315200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.29 1/413 14024
/proc/meminfo: memFree=262928868/264257624 swapFree=67054988/67111528
[pid=14024] ppid=14022 vsize=338000 CPUtime=0.95 cores=0-31
/proc/14024/stat : 14024 (strangenight2-m) R 14022 14024 13998 0 -1 4202496 438 0 0 0 95 0 0 0 25 0 32 0 15294022 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573484 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/14024/statm: 84500 377 297 95 0 79482 0
[pid=14024/tid=14025] ppid=14022 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14024/task/14025/stat : 14025 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 15294022 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14024/tid=14026] ppid=14022 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14024/task/14026/stat : 14026 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 15294022 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14024/tid=14027] ppid=14022 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14024/task/14027/stat : 14027 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 15294022 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573480 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14024/tid=14028] ppid=14022 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14024/task/14028/stat : 14028 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 15294022 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14024/tid=14029] ppid=14022 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14024/task/14029/stat : 14029 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 15294022 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573484 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14024/tid=14030] ppid=14022 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14024/task/14030/stat : 14030 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 15294022 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573484 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14024/tid=14031] ppid=14022 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14024/task/14031/stat : 14031 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 15294022 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573484 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14024/tid=14032] ppid=14022 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14024/task/14032/stat : 14032 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14024/tid=14033] ppid=14022 vsize=338000 CPUtime=0 cores=0-31
/proc/14024/task/14033/stat : 14033 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14024/tid=14034] ppid=14022 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14024/task/14034/stat : 14034 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14024/tid=14035] ppid=14022 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14024/task/14035/stat : 14035 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573484 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14024/tid=14036] ppid=14022 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14024/task/14036/stat : 14036 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573484 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14024/tid=14037] ppid=14022 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14024/task/14037/stat : 14037 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14024/tid=14038] ppid=14022 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14024/task/14038/stat : 14038 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14024/tid=14039] ppid=14022 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14024/task/14039/stat : 14039 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14024/tid=14040] ppid=14022 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14024/task/14040/stat : 14040 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14024/tid=14041] ppid=14022 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14024/task/14041/stat : 14041 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14024/tid=14042] ppid=14022 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14024/task/14042/stat : 14042 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14024/tid=14043] ppid=14022 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14024/task/14043/stat : 14043 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573494 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14024/tid=14044] ppid=14022 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14024/task/14044/stat : 14044 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573494 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14024/tid=14045] ppid=14022 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14024/task/14045/stat : 14045 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14024/tid=14046] ppid=14022 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14024/task/14046/stat : 14046 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14024/tid=14047] ppid=14022 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14024/task/14047/stat : 14047 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14024/tid=14048] ppid=14022 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14024/task/14048/stat : 14048 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14024/tid=14049] ppid=14022 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14024/task/14049/stat : 14049 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573480 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14024/tid=14050] ppid=14022 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14024/task/14050/stat : 14050 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14024/tid=14051] ppid=14022 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14024/task/14051/stat : 14051 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14024/tid=14052] ppid=14022 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14024/task/14052/stat : 14052 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573480 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14024/tid=14053] ppid=14022 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14024/task/14053/stat : 14053 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573480 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14024/tid=14054] ppid=14022 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14024/task/14054/stat : 14054 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573480 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14024/tid=14055] ppid=14022 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14024/task/14055/stat : 14055 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573484 0 0 4096 2 0 0 0 -1 28 0 0 0
[startup+0.051257 s]
/proc/loadavg: 0.00 0.00 0.29 1/413 14024
/proc/meminfo: memFree=262928868/264257624 swapFree=67054988/67111528
[pid=14024] ppid=14022 vsize=338000 CPUtime=1.38 cores=0-31
/proc/14024/stat : 14024 (strangenight2-m) R 14022 14024 13998 0 -1 4202496 438 0 0 0 138 0 0 0 25 0 32 0 15294022 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573494 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/14024/statm: 84500 377 297 95 0 79482 0
[pid=14024/tid=14025] ppid=14022 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14024/task/14025/stat : 14025 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 1 0 0 0 4 0 0 0 23 0 32 0 15294022 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14024/tid=14026] ppid=14022 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14024/task/14026/stat : 14026 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 1 0 0 0 4 0 0 0 23 0 32 0 15294022 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573488 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14024/tid=14027] ppid=14022 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14024/task/14027/stat : 14027 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 4 0 0 0 23 0 32 0 15294022 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14024/tid=14028] ppid=14022 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14024/task/14028/stat : 14028 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 4 0 0 0 23 0 32 0 15294022 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573488 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14024/tid=14029] ppid=14022 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14024/task/14029/stat : 14029 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 4 0 0 0 23 0 32 0 15294022 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573480 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14024/tid=14030] ppid=14022 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14024/task/14030/stat : 14030 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 4 0 0 0 23 0 32 0 15294022 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14024/tid=14031] ppid=14022 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14024/task/14031/stat : 14031 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 4 0 0 0 23 0 32 0 15294022 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573484 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14024/tid=14032] ppid=14022 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14024/task/14032/stat : 14032 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573480 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14024/tid=14033] ppid=14022 vsize=338000 CPUtime=0 cores=0-31
/proc/14024/task/14033/stat : 14033 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14024/tid=14034] ppid=14022 vsize=338000 CPUtime=0.03 cores=0-31
/proc/14024/task/14034/stat : 14034 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14024/tid=14035] ppid=14022 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14024/task/14035/stat : 14035 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14024/tid=14036] ppid=14022 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14024/task/14036/stat : 14036 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573494 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14024/tid=14037] ppid=14022 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14024/task/14037/stat : 14037 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14024/tid=14038] ppid=14022 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14024/task/14038/stat : 14038 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 4 0 0 0 24 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14024/tid=14039] ppid=14022 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14024/task/14039/stat : 14039 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14024/tid=14040] ppid=14022 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14024/task/14040/stat : 14040 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14024/tid=14041] ppid=14022 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14024/task/14041/stat : 14041 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14024/tid=14042] ppid=14022 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14024/task/14042/stat : 14042 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14024/tid=14043] ppid=14022 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14024/task/14043/stat : 14043 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573480 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14024/tid=14044] ppid=14022 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14024/task/14044/stat : 14044 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573484 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14024/tid=14045] ppid=14022 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14024/task/14045/stat : 14045 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573488 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14024/tid=14046] ppid=14022 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14024/task/14046/stat : 14046 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573494 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14024/tid=14047] ppid=14022 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14024/task/14047/stat : 14047 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573484 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14024/tid=14048] ppid=14022 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14024/task/14048/stat : 14048 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573480 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14024/tid=14049] ppid=14022 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14024/task/14049/stat : 14049 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14024/tid=14050] ppid=14022 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14024/task/14050/stat : 14050 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573488 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14024/tid=14051] ppid=14022 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14024/task/14051/stat : 14051 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14024/tid=14052] ppid=14022 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14024/task/14052/stat : 14052 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573484 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14024/tid=14053] ppid=14022 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14024/task/14053/stat : 14053 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573490 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14024/tid=14054] ppid=14022 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14024/task/14054/stat : 14054 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573484 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14024/tid=14055] ppid=14022 vsize=338000 CPUtime=0.04 cores=0-31
/proc/14024/task/14055/stat : 14055 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 0 0 0 0 4 0 0 0 25 0 32 0 15294023 346112000 377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573480 0 0 4096 2 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 338000
[startup+0.103383 s]
/proc/loadavg: 0.00 0.00 0.29 1/413 14024
/proc/meminfo: memFree=262928868/264257624 swapFree=67054988/67111528
[pid=14024] ppid=14022 vsize=806308 CPUtime=2.7 cores=0-31
/proc/14024/stat : 14024 (strangenight2-m) D 14022 14024 13998 0 -1 4202496 6815 0 0 0 221 49 0 0 25 0 32 0 15294022 825659392 6655 268435456000 4194304 4580107 140733325113616 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/14024/statm: 201577 7443 333 95 0 196559 0
[pid=14024/tid=14025] ppid=14022 vsize=806308 CPUtime=0.08 cores=0-31
/proc/14024/task/14025/stat : 14025 (strangenight2-m) D 14022 14024 13998 0 -1 4202560 204 0 0 0 7 1 0 0 24 0 32 0 15294022 825659392 7443 268435456000 4194304 4580107 140733325113616 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14024/tid=14026] ppid=14022 vsize=806308 CPUtime=0.08 cores=0-31
/proc/14024/task/14026/stat : 14026 (strangenight2-m) D 14022 14024 13998 0 -1 4202560 199 0 0 0 7 1 0 0 24 0 32 0 15294022 825659392 7501 268435456000 4194304 4580107 140733325113616 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14024/tid=14027] ppid=14022 vsize=806308 CPUtime=0.08 cores=0-31
/proc/14024/task/14027/stat : 14027 (strangenight2-m) D 14022 14024 13998 0 -1 4202560 252 0 0 0 7 1 0 0 18 0 32 0 15294022 825659392 7502 268435456000 4194304 4580107 140733325113616 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14024/tid=14028] ppid=14022 vsize=806308 CPUtime=0.08 cores=0-31
/proc/14024/task/14028/stat : 14028 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 254 0 0 0 6 2 0 0 18 0 32 0 15294022 825659392 7670 268435456000 4194304 4580107 140733325113616 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14024/tid=14029] ppid=14022 vsize=806308 CPUtime=0.08 cores=0-31
/proc/14024/task/14029/stat : 14029 (strangenight2-m) D 14022 14024 13998 0 -1 4202560 221 0 0 0 7 1 0 0 24 0 32 0 15294022 825659392 7670 268435456000 4194304 4580107 140733325113616 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14024/tid=14030] ppid=14022 vsize=806440 CPUtime=0.08 cores=0-31
/proc/14024/task/14030/stat : 14030 (strangenight2-m) D 14022 14024 13998 0 -1 4202560 240 0 0 0 7 1 0 0 18 0 32 0 15294022 825794560 8034 268435456000 4194304 4580107 140733325113616 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14024/tid=14031] ppid=14022 vsize=814644 CPUtime=0.08 cores=0-31
/proc/14024/task/14031/stat : 14031 (strangenight2-m) D 14022 14024 13998 0 -1 4202560 241 0 0 0 7 1 0 0 24 0 32 0 15294022 834195456 8114 268435456000 4194304 4580107 140733325113616 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14024/tid=14032] ppid=14022 vsize=814644 CPUtime=0.06 cores=0-31
/proc/14024/task/14032/stat : 14032 (strangenight2-m) D 14022 14024 13998 0 -1 4202560 238 0 0 0 5 1 0 0 18 0 32 0 15294023 834195456 8122 268435456000 4194304 4580107 140733325113616 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=14024/tid=14033] ppid=14022 vsize=814644 CPUtime=0.03 cores=0-31
/proc/14024/task/14033/stat : 14033 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 244 0 0 0 2 1 0 0 18 0 32 0 15294023 834195456 8177 268435456000 4194304 4580107 140733325113616 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14024/tid=14034] ppid=14022 vsize=814644 CPUtime=0.07 cores=0-31
/proc/14024/task/14034/stat : 14034 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 251 0 0 0 6 1 0 0 25 0 32 0 15294023 834195456 8177 268435456000 4194304 4580107 140733325113616 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14024/tid=14035] ppid=14022 vsize=822848 CPUtime=0.07 cores=0-31
/proc/14024/task/14035/stat : 14035 (strangenight2-m) D 14022 14024 13998 0 -1 4202560 249 0 0 0 6 1 0 0 25 0 32 0 15294023 842596352 8217 268435456000 4194304 4580107 140733325113616 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14024/tid=14036] ppid=14022 vsize=822848 CPUtime=0.08 cores=0-31
/proc/14024/task/14036/stat : 14036 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 251 0 0 0 7 1 0 0 18 0 32 0 15294023 842596352 8233 268435456000 4194304 4580107 140733325113616 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14024/tid=14037] ppid=14022 vsize=822848 CPUtime=0.08 cores=0-31
/proc/14024/task/14037/stat : 14037 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 250 0 0 0 7 1 0 0 18 0 32 0 15294023 842596352 8235 268435456000 4194304 4580107 140733325113616 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14024/tid=14038] ppid=14022 vsize=822848 CPUtime=0.08 cores=0-31
/proc/14024/task/14038/stat : 14038 (strangenight2-m) D 14022 14024 13998 0 -1 4202560 250 0 0 0 7 1 0 0 25 0 32 0 15294023 842596352 8235 268435456000 4194304 4580107 140733325113616 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14024/tid=14039] ppid=14022 vsize=822848 CPUtime=0.07 cores=0-31
/proc/14024/task/14039/stat : 14039 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 235 0 0 0 6 1 0 0 18 0 32 0 15294023 842596352 8264 268435456000 4194304 4580107 140733325113616 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14024/tid=14040] ppid=14022 vsize=831052 CPUtime=0.08 cores=0-31
/proc/14024/task/14040/stat : 14040 (strangenight2-m) D 14022 14024 13998 0 -1 4202560 232 0 0 0 7 1 0 0 25 0 32 0 15294023 850997248 8267 268435456000 4194304 4580107 140733325113616 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14024/tid=14041] ppid=14022 vsize=831052 CPUtime=0.07 cores=0-31
################
# More data... #
################
/proc/14024/stat : 14024 (strangenight2-m) R 14022 14024 13998 0 -1 4202496 5873696 0 0 0 2196217 19439 0 0 25 0 32 0 15294022 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 4413635 0 0 4096 2 18446744073709551615 0 0 17 13 0 0 0
/proc/14024/statm: 4438299 3901433 379 95 0 4433281 0
[pid=14024/tid=14025] ppid=14022 vsize=17753196 CPUtime=705.67 cores=0-31
/proc/14024/task/14025/stat : 14025 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 188339 0 0 0 69954 613 0 0 25 0 32 0 15294022 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604638218182112 0 0 -1 7 0 0 0
[pid=14024/tid=14026] ppid=14022 vsize=17753196 CPUtime=691.66 cores=0-31
/proc/14024/task/14026/stat : 14026 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 196565 0 0 0 68554 612 0 0 25 0 32 0 15294022 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604502397337056 0 0 -1 28 0 0 0
[pid=14024/tid=14027] ppid=14022 vsize=17753196 CPUtime=677.98 cores=0-31
/proc/14024/task/14027/stat : 14027 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 167797 0 0 0 67280 518 0 0 25 0 32 0 15294022 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604501427191264 0 0 -1 12 0 0 0
[pid=14024/tid=14028] ppid=14022 vsize=17753196 CPUtime=680.97 cores=0-31
/proc/14024/task/14028/stat : 14028 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 157264 0 0 0 67571 526 0 0 25 0 32 0 15294022 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604471356415456 0 0 -1 24 0 0 0
[pid=14024/tid=14029] ppid=14022 vsize=17753196 CPUtime=685.64 cores=0-31
/proc/14024/task/14029/stat : 14029 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 173377 0 0 0 67976 588 0 0 25 0 32 0 15294022 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604640234814944 0 0 -1 19 0 0 0
[pid=14024/tid=14030] ppid=14022 vsize=17753196 CPUtime=688.65 cores=0-31
/proc/14024/task/14030/stat : 14030 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 159728 0 0 0 68256 609 0 0 25 0 32 0 15294022 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604622165523936 0 0 -1 9 0 0 0
[pid=14024/tid=14031] ppid=14022 vsize=17753196 CPUtime=680.71 cores=0-31
/proc/14024/task/14031/stat : 14031 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 176889 0 0 0 67421 650 0 0 25 0 32 0 15294022 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604603879284192 0 0 -1 27 0 0 0
[pid=14024/tid=14032] ppid=14022 vsize=17753196 CPUtime=696.97 cores=0-31
/proc/14024/task/14032/stat : 14032 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 202719 0 0 0 69042 655 0 0 25 0 32 0 15294023 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046548676 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=14024/tid=14033] ppid=14022 vsize=17753196 CPUtime=699.46 cores=0-31
/proc/14024/task/14033/stat : 14033 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 215499 0 0 0 69304 642 0 0 25 0 32 0 15294023 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604497046167008 0 0 -1 23 0 0 0
[pid=14024/tid=14034] ppid=14022 vsize=17753196 CPUtime=699.16 cores=0-31
/proc/14024/task/14034/stat : 14034 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 193845 0 0 0 69301 615 0 0 25 0 32 0 15294023 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604642714705376 0 0 -1 8 0 0 0
[pid=14024/tid=14035] ppid=14022 vsize=17753196 CPUtime=680.58 cores=0-31
/proc/14024/task/14035/stat : 14035 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 211350 0 0 0 67450 608 0 0 25 0 32 0 15294023 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604577955945952 0 0 -1 2 0 0 0
[pid=14024/tid=14036] ppid=14022 vsize=17753196 CPUtime=688.18 cores=0-31
/proc/14024/task/14036/stat : 14036 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 177775 0 0 0 68212 606 0 0 25 0 32 0 15294023 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604465978318304 0 0 -1 29 0 0 0
[pid=14024/tid=14037] ppid=14022 vsize=17753196 CPUtime=708.97 cores=0-31
/proc/14024/task/14037/stat : 14037 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 190580 0 0 0 70268 629 0 0 25 0 32 0 15294023 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604641807416800 0 0 -1 0 0 0 0
[pid=14024/tid=14038] ppid=14022 vsize=17753196 CPUtime=708.13 cores=0-31
/proc/14024/task/14038/stat : 14038 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 200896 0 0 0 70174 639 0 0 25 0 32 0 15294023 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604471356423648 0 0 -1 20 0 0 0
[pid=14024/tid=14039] ppid=14022 vsize=17753196 CPUtime=677.88 cores=0-31
/proc/14024/task/14039/stat : 14039 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 181420 0 0 0 67143 645 0 0 25 0 32 0 15294023 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604622696840672 0 0 -1 1 0 0 0
[pid=14024/tid=14040] ppid=14022 vsize=17753196 CPUtime=696.29 cores=0-31
/proc/14024/task/14040/stat : 14040 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 205282 0 0 0 69007 622 0 0 25 0 32 0 15294023 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604639492619744 0 0 -1 18 0 0 0
[pid=14024/tid=14041] ppid=14022 vsize=17753196 CPUtime=696.53 cores=0-31
/proc/14024/task/14041/stat : 14041 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 181416 0 0 0 69063 590 0 0 25 0 32 0 15294023 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604629490114016 0 0 -1 11 0 0 0
[pid=14024/tid=14042] ppid=14022 vsize=17753196 CPUtime=698.28 cores=0-31
/proc/14024/task/14042/stat : 14042 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 185674 0 0 0 69211 617 0 0 25 0 32 0 15294023 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604577184054752 0 0 -1 26 0 0 0
[pid=14024/tid=14043] ppid=14022 vsize=17753196 CPUtime=697.98 cores=0-31
/proc/14024/task/14043/stat : 14043 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 175806 0 0 0 69152 646 0 0 25 0 32 0 15294023 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604643842866656 0 0 -1 14 0 0 0
[pid=14024/tid=14044] ppid=14022 vsize=17753196 CPUtime=696.61 cores=0-31
/proc/14024/task/14044/stat : 14044 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 175052 0 0 0 69094 567 0 0 25 0 32 0 15294023 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604640047660512 0 0 -1 17 0 0 0
[pid=14024/tid=14045] ppid=14022 vsize=17753196 CPUtime=711.43 cores=0-31
/proc/14024/task/14045/stat : 14045 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 182979 0 0 0 70515 628 0 0 25 0 32 0 15294023 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604602389429728 0 0 -1 4 0 0 0
[pid=14024/tid=14046] ppid=14022 vsize=17753196 CPUtime=697.63 cores=0-31
/proc/14024/task/14046/stat : 14046 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 199152 0 0 0 69188 575 0 0 25 0 32 0 15294023 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604636176907744 0 0 -1 22 0 0 0
[pid=14024/tid=14047] ppid=14022 vsize=17753196 CPUtime=717.63 cores=0-31
/proc/14024/task/14047/stat : 14047 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 153785 0 0 0 71138 625 0 0 25 0 32 0 15294023 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446744071566927464 0 0 -1 5 0 0 0
[pid=14024/tid=14048] ppid=14022 vsize=17753196 CPUtime=685.1 cores=0-31
/proc/14024/task/14048/stat : 14048 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 186736 0 0 0 67863 647 0 0 25 0 32 0 15294023 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604627746414048 0 0 -1 15 0 0 0
[pid=14024/tid=14049] ppid=14022 vsize=17753196 CPUtime=716.11 cores=0-31
/proc/14024/task/14049/stat : 14049 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 194969 0 0 0 70994 617 0 0 25 0 32 0 15294023 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604644029201888 0 0 -1 6 0 0 0
[pid=14024/tid=14050] ppid=14022 vsize=17753196 CPUtime=672.9 cores=0-31
/proc/14024/task/14050/stat : 14050 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 175820 0 0 0 66680 610 0 0 25 0 32 0 15294023 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604642727665120 0 0 -1 25 0 0 0
[pid=14024/tid=14051] ppid=14022 vsize=17753196 CPUtime=672.71 cores=0-31
/proc/14024/task/14051/stat : 14051 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 173441 0 0 0 66639 632 0 0 25 0 32 0 15294023 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604632879857120 0 0 -1 31 0 0 0
[pid=14024/tid=14052] ppid=14022 vsize=17753196 CPUtime=680.05 cores=0-31
/proc/14024/task/14052/stat : 14052 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 194085 0 0 0 67369 636 0 0 25 0 32 0 15294023 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604621212753376 0 0 -1 21 0 0 0
[pid=14024/tid=14053] ppid=14022 vsize=17753196 CPUtime=682.7 cores=0-31
/proc/14024/task/14053/stat : 14053 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 191035 0 0 0 67666 604 0 0 25 0 32 0 15294023 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604630244703712 0 0 -1 30 0 0 0
[pid=14024/tid=14054] ppid=14022 vsize=17753196 CPUtime=675.19 cores=0-31
/proc/14024/task/14054/stat : 14054 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 174704 0 0 0 66864 655 0 0 25 0 32 0 15294023 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604639572786656 0 0 -1 10 0 0 0
[pid=14024/tid=14055] ppid=14022 vsize=17753196 CPUtime=702.86 cores=0-31
/proc/14024/task/14055/stat : 14055 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 159348 0 0 0 69856 430 0 0 25 0 32 0 15294023 18179272704 3901433 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604497046175200 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 22156.6
Current children cumulated vsize (KiB) 17753196
[startup+1279.9 s]
/proc/loadavg: 29.46 23.64 14.38 3/445 14090
/proc/meminfo: memFree=247292836/264257624 swapFree=67054988/67111528
[pid=14024] ppid=14022 vsize=17753196 CPUtime=22159.8 cores=0-31
/proc/14024/stat : 14024 (strangenight2-m) R 14022 14024 13998 0 -1 4202496 5873715 0 0 0 2196537 19439 0 0 25 0 32 0 15294022 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 13 0 0 0
/proc/14024/statm: 4438299 3901377 379 95 0 4433281 0
[pid=14024/tid=14025] ppid=14022 vsize=17753196 CPUtime=705.67 cores=0-31
/proc/14024/task/14025/stat : 14025 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 188339 0 0 0 69954 613 0 0 25 0 32 0 15294022 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604638218182112 0 0 -1 7 0 0 0
[pid=14024/tid=14026] ppid=14022 vsize=17753196 CPUtime=691.66 cores=0-31
/proc/14024/task/14026/stat : 14026 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 196565 0 0 0 68554 612 0 0 25 0 32 0 15294022 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604502397337056 0 0 -1 28 0 0 0
[pid=14024/tid=14027] ppid=14022 vsize=17753196 CPUtime=677.98 cores=0-31
/proc/14024/task/14027/stat : 14027 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 167797 0 0 0 67280 518 0 0 25 0 32 0 15294022 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604501427191264 0 0 -1 12 0 0 0
[pid=14024/tid=14028] ppid=14022 vsize=17753196 CPUtime=680.97 cores=0-31
/proc/14024/task/14028/stat : 14028 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 157264 0 0 0 67571 526 0 0 25 0 32 0 15294022 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604471356415456 0 0 -1 24 0 0 0
[pid=14024/tid=14029] ppid=14022 vsize=17753196 CPUtime=685.64 cores=0-31
/proc/14024/task/14029/stat : 14029 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 173377 0 0 0 67976 588 0 0 25 0 32 0 15294022 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604640234814944 0 0 -1 19 0 0 0
[pid=14024/tid=14030] ppid=14022 vsize=17753196 CPUtime=688.65 cores=0-31
/proc/14024/task/14030/stat : 14030 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 159728 0 0 0 68256 609 0 0 25 0 32 0 15294022 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604622165523936 0 0 -1 9 0 0 0
[pid=14024/tid=14031] ppid=14022 vsize=17753196 CPUtime=680.71 cores=0-31
/proc/14024/task/14031/stat : 14031 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 176889 0 0 0 67421 650 0 0 25 0 32 0 15294022 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604603879284192 0 0 -1 27 0 0 0
[pid=14024/tid=14032] ppid=14022 vsize=17753196 CPUtime=698.57 cores=0-31
/proc/14024/task/14032/stat : 14032 (strangenight2-m) R 14022 14024 13998 0 -1 4202560 202719 0 0 0 69202 655 0 0 25 0 32 0 15294023 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046548523 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=14024/tid=14033] ppid=14022 vsize=17753196 CPUtime=699.46 cores=0-31
/proc/14024/task/14033/stat : 14033 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 215499 0 0 0 69304 642 0 0 25 0 32 0 15294023 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604497046167008 0 0 -1 23 0 0 0
[pid=14024/tid=14034] ppid=14022 vsize=17753196 CPUtime=699.16 cores=0-31
/proc/14024/task/14034/stat : 14034 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 193845 0 0 0 69301 615 0 0 25 0 32 0 15294023 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604642714705376 0 0 -1 8 0 0 0
[pid=14024/tid=14035] ppid=14022 vsize=17753196 CPUtime=680.58 cores=0-31
/proc/14024/task/14035/stat : 14035 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 211350 0 0 0 67450 608 0 0 25 0 32 0 15294023 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604577955945952 0 0 -1 2 0 0 0
[pid=14024/tid=14036] ppid=14022 vsize=17753196 CPUtime=688.18 cores=0-31
/proc/14024/task/14036/stat : 14036 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 177775 0 0 0 68212 606 0 0 25 0 32 0 15294023 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604465978318304 0 0 -1 29 0 0 0
[pid=14024/tid=14037] ppid=14022 vsize=17753196 CPUtime=708.97 cores=0-31
/proc/14024/task/14037/stat : 14037 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 190580 0 0 0 70268 629 0 0 25 0 32 0 15294023 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604641807416800 0 0 -1 0 0 0 0
[pid=14024/tid=14038] ppid=14022 vsize=17753196 CPUtime=708.13 cores=0-31
/proc/14024/task/14038/stat : 14038 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 200896 0 0 0 70174 639 0 0 25 0 32 0 15294023 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604471356423648 0 0 -1 20 0 0 0
[pid=14024/tid=14039] ppid=14022 vsize=17753196 CPUtime=677.88 cores=0-31
/proc/14024/task/14039/stat : 14039 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 181420 0 0 0 67143 645 0 0 25 0 32 0 15294023 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604622696840672 0 0 -1 1 0 0 0
[pid=14024/tid=14040] ppid=14022 vsize=17753196 CPUtime=696.29 cores=0-31
/proc/14024/task/14040/stat : 14040 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 205282 0 0 0 69007 622 0 0 25 0 32 0 15294023 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604639492619744 0 0 -1 18 0 0 0
[pid=14024/tid=14041] ppid=14022 vsize=17753196 CPUtime=696.53 cores=0-31
/proc/14024/task/14041/stat : 14041 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 181416 0 0 0 69063 590 0 0 25 0 32 0 15294023 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604629490114016 0 0 -1 11 0 0 0
[pid=14024/tid=14042] ppid=14022 vsize=17753196 CPUtime=698.28 cores=0-31
/proc/14024/task/14042/stat : 14042 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 185674 0 0 0 69211 617 0 0 25 0 32 0 15294023 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604577184054752 0 0 -1 26 0 0 0
[pid=14024/tid=14043] ppid=14022 vsize=17753196 CPUtime=697.98 cores=0-31
/proc/14024/task/14043/stat : 14043 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 175806 0 0 0 69152 646 0 0 25 0 32 0 15294023 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604643842866656 0 0 -1 14 0 0 0
[pid=14024/tid=14044] ppid=14022 vsize=17753196 CPUtime=696.61 cores=0-31
/proc/14024/task/14044/stat : 14044 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 175052 0 0 0 69094 567 0 0 25 0 32 0 15294023 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604640047660512 0 0 -1 17 0 0 0
[pid=14024/tid=14045] ppid=14022 vsize=17753196 CPUtime=711.43 cores=0-31
/proc/14024/task/14045/stat : 14045 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 182979 0 0 0 70515 628 0 0 25 0 32 0 15294023 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604602389429728 0 0 -1 4 0 0 0
[pid=14024/tid=14046] ppid=14022 vsize=17753196 CPUtime=697.63 cores=0-31
/proc/14024/task/14046/stat : 14046 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 199152 0 0 0 69188 575 0 0 25 0 32 0 15294023 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604636176907744 0 0 -1 22 0 0 0
[pid=14024/tid=14047] ppid=14022 vsize=17753196 CPUtime=717.63 cores=0-31
/proc/14024/task/14047/stat : 14047 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 153785 0 0 0 71138 625 0 0 25 0 32 0 15294023 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446744071566927464 0 0 -1 5 0 0 0
[pid=14024/tid=14048] ppid=14022 vsize=17753196 CPUtime=685.1 cores=0-31
/proc/14024/task/14048/stat : 14048 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 186736 0 0 0 67863 647 0 0 25 0 32 0 15294023 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604627746414048 0 0 -1 15 0 0 0
[pid=14024/tid=14049] ppid=14022 vsize=17753196 CPUtime=716.11 cores=0-31
/proc/14024/task/14049/stat : 14049 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 194969 0 0 0 70994 617 0 0 25 0 32 0 15294023 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604644029201888 0 0 -1 6 0 0 0
[pid=14024/tid=14050] ppid=14022 vsize=17753196 CPUtime=672.9 cores=0-31
/proc/14024/task/14050/stat : 14050 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 175820 0 0 0 66680 610 0 0 25 0 32 0 15294023 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604642727665120 0 0 -1 25 0 0 0
[pid=14024/tid=14051] ppid=14022 vsize=17753196 CPUtime=672.71 cores=0-31
/proc/14024/task/14051/stat : 14051 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 173441 0 0 0 66639 632 0 0 25 0 32 0 15294023 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604632879857120 0 0 -1 31 0 0 0
[pid=14024/tid=14052] ppid=14022 vsize=17753196 CPUtime=680.05 cores=0-31
/proc/14024/task/14052/stat : 14052 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 194085 0 0 0 67369 636 0 0 25 0 32 0 15294023 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604621212753376 0 0 -1 21 0 0 0
[pid=14024/tid=14053] ppid=14022 vsize=17753196 CPUtime=682.7 cores=0-31
/proc/14024/task/14053/stat : 14053 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 191035 0 0 0 67666 604 0 0 25 0 32 0 15294023 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604630244703712 0 0 -1 30 0 0 0
[pid=14024/tid=14054] ppid=14022 vsize=17753196 CPUtime=675.19 cores=0-31
/proc/14024/task/14054/stat : 14054 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 174704 0 0 0 66864 655 0 0 25 0 32 0 15294023 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604639572786656 0 0 -1 10 0 0 0
[pid=14024/tid=14055] ppid=14022 vsize=17753196 CPUtime=702.86 cores=0-31
/proc/14024/task/14055/stat : 14055 (strangenight2-m) S 14022 14024 13998 0 -1 4202560 159348 0 0 0 69856 430 0 0 25 0 32 0 15294023 18179272704 3901377 268435456000 4194304 4580107 140733325113616 18446744073709551615 47776046573108 0 0 4096 2 18446604497046175200 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 22159.8
Current children cumulated vsize (KiB) 17753196
[startup+1280.7 s]
/proc/loadavg: 29.46 23.64 14.38 2/415 14090
/proc/meminfo: memFree=249593508/264257624 swapFree=67054988/67111528
[pid=14024] ppid=14022 vsize=0 CPUtime=22160.7 cores=0-31
/proc/14024/stat : 14024 (strangenight2-m) Z 14022 14024 13998 0 -1 4203548 5873719 0 0 0 2196559 19510 0 0 25 0 2 0 15294022 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 13 0 0 0
/proc/14024/statm: 0 0 0 0 0 0 0
[pid=14024/tid=14055] ppid=14022 vsize=0 CPUtime=703.54 cores=0-31
/proc/14024/task/14055/stat : 14055 (strangenight2-m) R 14022 14024 13998 0 -1 4203588 159348 0 0 0 69856 498 0 0 18 0 2 0 15294023 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 22160.7
Current children cumulated vsize (KiB) 0
[startup+1281.1 s]
/proc/loadavg: 29.46 23.64 14.38 2/415 14090
/proc/meminfo: memFree=249593508/264257624 swapFree=67054988/67111528
[pid=14024] ppid=14022 vsize=0 CPUtime=22161.1 cores=0-31
/proc/14024/stat : 14024 (strangenight2-m) Z 14022 14024 13998 0 -1 4203548 5873719 0 0 0 2196559 19550 0 0 25 0 2 0 15294022 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 13 0 0 0
/proc/14024/statm: 0 0 0 0 0 0 0
[pid=14024/tid=14055] ppid=14022 vsize=0 CPUtime=703.94 cores=0-31
/proc/14024/task/14055/stat : 14055 (strangenight2-m) R 14022 14024 13998 0 -1 4203588 159348 0 0 0 69856 538 0 0 19 0 2 0 15294023 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 22161.1
Current children cumulated vsize (KiB) 0
[startup+1281.2 s]
/proc/loadavg: 29.46 23.64 14.38 2/415 14090
/proc/meminfo: memFree=249593508/264257624 swapFree=67054988/67111528
[pid=14024] ppid=14022 vsize=0 CPUtime=22161.2 cores=0-31
/proc/14024/stat : 14024 (strangenight2-m) Z 14022 14024 13998 0 -1 4203548 5873719 0 0 0 2196559 19560 0 0 25 0 2 0 15294022 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 13 0 0 0
/proc/14024/statm: 0 0 0 0 0 0 0
[pid=14024/tid=14055] ppid=14022 vsize=0 CPUtime=704.04 cores=0-31
/proc/14024/task/14055/stat : 14055 (strangenight2-m) R 14022 14024 13998 0 -1 4203588 159348 0 0 0 69856 548 0 0 19 0 2 0 15294023 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 22161.2
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 1281.27
CPU time (s): 22161.3
CPU user time (s): 21965.6
CPU system time (s): 195.678
CPU usage (%): 1729.63
Max. virtual memory (cumulated for all children) (KiB): 17818732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21965.6
system time used= 195.678
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5873719
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= 8833634
involuntary context switches= 110446
runsolver used 9.02263 second user time and 31.6342 second system time
The end
Launcher Data
Begin job on node200 at 2011-06-03 11:36:56
IDJOB=3400870
IDBENCH=85007
IDSOLVER=1886
FILE ID=node200/3400870-1307093813
RUNJOBID= node200-1307093813-14012
PBS_JOBID= 13498405
Free space on /tmp= 61668 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400870-1307093813/watcher-3400870-1307093813 -o /tmp/evaluation-result-3400870-1307093813/solver-3400870-1307093813 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400870-1307093813.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 261000 MiB
NBCORE= 32
MD5SUM BENCH= 580dc3969c4e46e50013253fd4ac9139
RANDOM SEED=352952925
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.96
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.03
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.99
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.10
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.35
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 262929156 kB
Buffers: 102172 kB
Cached: 1038232 kB
SwapCached: 8400 kB
Active: 180836 kB
Inactive: 978064 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 262929156 kB
SwapTotal: 67111528 kB
SwapFree: 67054988 kB
Dirty: 82204 kB
Writeback: 0 kB
AnonPages: 15348 kB
Mapped: 8472 kB
Slab: 91284 kB
PageTables: 4436 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 181588 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 61664 MiB
End job on node200 at 2011-06-03 11:58:18