Trace number 3400618
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 | industrial/anbulagan/
hard-unsat/dated-5-13-u.cnf |
| MD5SUM | 45ee13b66821e6c36f3e38be418fa121 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 20077.9 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 138808 |
| Number of clauses | 626501 |
| Sum of the clauses size | 1431026 |
| Maximum clause length | 10 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 11712 |
| Number of clauses of size 2 | 503953 |
| Number of clauses of size 3 | 84536 |
| Number of clauses of size 4 | 2920 |
| Number of clauses of size 5 | 11680 |
| Number of clauses of size over 5 | 11700 |
Solver Data
0.00/0.00 c Outputting solution to console
0.00/0.04 c Using 32 threads
0.00/0.04 c This is CryptoMiniSat 3.0.0
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c Reading file 'HOME/instance-3400618-1306240107.cnf'
0.00/0.07 c -- header says num vars: 138808
0.00/0.07 c -- header says num clauses: 626501
84.45/5.06 c -- clauses added: 0 learnts, 626501 normals, 0 xors
84.45/5.06 c -- vars added 138808
84.45/5.06 c Parsing time: 0.78 s
84.45/5.06 c N st 0 0 138808 110836 503953 0 1419314 0 no data no data
109.35/5.83 c asymm cl-useful: 0/1311/90542 lits-rem:0 time: 0.74
457.73/16.77 c Flit: 1770 Blit: 50937 bXBeca: 0 bXProp: 11152 Bins: 0 BRemL: 0 BRemN: 0 P: 165.2M T: 10.93
460.92/16.83 c Cleaning up after failed var search: 0.06 s
460.92/16.85 c Replacing 11152 vars Replaced 128533 lits Time: 0.02 s
460.92/16.85 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
460.92/16.86 c bin-w-bin subsume rem 1587 bins time: 0.00 s
460.92/16.87 c subs with bin: 0 lits-rem: 410 v-fix: 0 time: 0.01 s
464.11/16.94 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 4864 time: 0.07 s
467.31/17.01 c Removed useless bin: 2470 fixed: 0 props: 5.19M time: 0.07 s
467.31/17.03 c lits-rem: 0 cl-subs: 323 v-elim: 1621 v-fix: 0 time: 0.02 s
467.31/17.04 c Finding binary XORs T: 0.01 s found: 0
467.31/17.05 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
467.31/17.05 c calculated reachability. Time: 0.00
467.31/17.05 c Calc default polars - time: 0.00 s pos: 1137 undec: 136030 neg: 1641
467.31/17.05 c =========================================================================================
467.31/17.05 c types(t): F = full restart, N = normal restart
467.31/17.05 c types(t): S = simplification begin/end, E = solution found
467.31/17.05 c restart types(rt): st = static, dy = dynamic
467.31/17.05 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
467.31/17.05 c B st 0 0 3243 6878 8739 0 38939 0 no data no data
483.28/17.50 c N dy 9 4233 3243 6878 8750 4107 38939 142306 16.82 17.81
499.25/18.01 c Finding binary XORs T: 0.01 s found: 24
502.46/18.13 c N dy 15 8755 3218 6796 10161 8497 38555 276421 14.60 15.41
534.33/19.12 c N dy 22 15874 3217 6796 10162 15471 38555 559478 12.69 13.47
556.99/19.87 c N dy 38 19955 3099 6409 9790 19422 36445 668596 12.59 14.29
584.49/20.73 c N dy 59 24146 3066 6315 9664 13755 35889 386478 12.90 13.59
587.55/20.90 c F st 64 25001 3066 6315 9664 14597 35889 410403 12.86 9.37
587.55/20.92 c Replacing 24 vars Replaced 2006 lits Time: 0.02 s
591.07/20.93 c Found part 219 vars: 2 clauses: 1 lits size: 2
591.07/20.93 c Found part 220 vars: 18 clauses: 17 lits size: 34
591.07/20.93 c Found part 223 vars: 3020 clauses: 14369 lits size: 35758
591.07/20.93 c Found parts: 3 time: 0.03 s
591.07/20.93 c Solving part 219
593.86/21.06 c N st 0 0 2 0 1 0 2 0 no data no data
593.86/21.06 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
593.86/21.06 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
593.86/21.07 c Finding binary XORs T: 0.01 s found: 0
593.86/21.07 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
593.86/21.07 c calculated reachability. Time: 0.00
593.86/21.07 c Calc default polars - time: 0.00 s pos: 1 undec: 138806 neg: 1
593.86/21.07 c =========================================================================================
593.86/21.07 c types(t): F = full restart, N = normal restart
593.86/21.07 c types(t): S = simplification begin/end, E = solution found
593.86/21.07 c restart types(rt): st = static, dy = dynamic
593.86/21.07 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
593.86/21.07 c B st 0 0 2 0 1 0 2 0 no data no data
593.86/21.07 c E st 1 0 0 0 1 0 2 0 no data no data
593.86/21.08 c Verified 0 clauses.
593.86/21.08 c Verified 0 clauses.
593.86/21.08 c Solved part
593.86/21.08 c =========================================================================================
593.86/21.09 c Solving part 220
598.92/21.22 c N st 0 0 18 0 17 0 34 0 no data no data
598.92/21.22 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
598.92/21.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
598.92/21.23 c Finding binary XORs T: 0.01 s found: 0
598.92/21.23 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
598.92/21.23 c calculated reachability. Time: 0.00
598.92/21.24 c Calc default polars - time: 0.00 s pos: 1 undec: 138806 neg: 1
598.92/21.24 c =========================================================================================
598.92/21.24 c types(t): F = full restart, N = normal restart
598.92/21.24 c types(t): S = simplification begin/end, E = solution found
598.92/21.24 c restart types(rt): st = static, dy = dynamic
598.92/21.24 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
598.92/21.24 c B st 0 0 18 0 17 0 34 0 no data no data
598.92/21.24 c E st 1 0 0 0 17 0 34 0 no data no data
598.92/21.24 c Verified 0 clauses.
598.92/21.24 c Verified 0 clauses.
598.92/21.24 c Solved part
598.92/21.24 c =========================================================================================
598.92/21.25 c Coming back to original instance
598.92/21.25 c =========================================================================================
601.84/21.39 c Finding binary XORs T: 0.01 s found: 110
604.74/21.41 c Replacing 110 vars Replaced 10678 lits Time: 0.02 s
619.92/21.90 c N st 69 28299 2913 6301 9370 17795 35287 522022 12.86 no data
629.35/22.26 c S st 70 30000 2913 6301 9371 19457 35287 586627 12.86 no data
632.54/22.40 c S st 70 30503 2912 6301 10292 19930 35287 601075 12.86 no data
635.73/22.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
767.42/26.55 c Flit: 111 Blit: 91 bXBeca: 0 bXProp: 198 Bins: 93032 BRemL: 46134 BRemN: 183 P: 20.0M T: 4.14
767.42/26.56 c Cleaning up after failed var search: 0.01 s
769.99/26.60 c Replacing 198 vars Replaced 37309 lits Time: 0.04 s
769.99/26.61 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
769.99/26.62 c bin-w-bin subsume rem 3824 bins time: 0.01 s
769.99/26.63 c subs with bin: 85 lits-rem: 97 v-fix: 0 time: 0.01 s
769.99/26.66 c Subs w/ non-existent bins: 5 l-rem: 4 v-fix: 0 done: 2425 time: 0.03 s
769.99/26.67 c Removed useless bin: 256 fixed: 0 props: 0.23M time: 0.01 s
769.99/26.70 c lits-rem: 29 cl-subs: 231 v-elim: 462 v-fix: 0 time: 0.03 s
773.18/26.75 c subs with bin: 33 lits-rem: 3082 v-fix: 0 time: 0.04 s
776.38/26.80 c lits-rem: 290 cl-subs: 313 v-elim: 0 v-fix: 0 time: 0.05 s
785.97/27.11 c asymm cl-useful: 0/3584/4895 lits-rem:0 time: 0.31
785.97/27.12 c calculated reachability. Time: 0.01
785.97/27.12 c N dy 70 30503 1963 4895 28631 7608 26530 207812 12.86 no data
785.97/27.15 c Finding binary XORs T: 0.03 s found: 0
802.59/27.67 c N dy 73 35234 1961 4895 28649 12146 26530 291683 12.00 12.66
827.52/28.42 c N dy 83 41740 1959 4895 29058 9461 26530 195334 11.57 12.19
840.30/28.87 c N dy 91 45754 1951 4895 57319 13408 26530 369165 11.40 7.55
840.30/28.87 c S st 91 45754 1951 4895 57319 13408 26530 369165 11.40 7.55
843.50/28.91 c Finding binary XORs T: 0.02 s found: 0
843.50/28.99 c S st 91 46258 1951 4786 56791 13357 26192 374452 11.40 no data
846.69/29.00 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
897.81/30.69 c Flit: 4 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 9254 BRemL: 42478 BRemN: 220 P: 15.4M T: 1.69
901.01/30.70 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
901.01/30.71 c bin-w-bin subsume rem 2657 bins time: 0.01 s
901.01/30.71 c subs with bin: 101 lits-rem: 37 v-fix: 0 time: 0.01 s
901.01/30.74 c Subs w/ non-existent bins: 87 l-rem: 68 v-fix: 0 done: 1947 time: 0.02 s
901.01/30.74 c Removed useless bin: 29 fixed: 0 props: 0.16M time: 0.01 s
901.01/30.76 c lits-rem: 0 cl-subs: 15 v-elim: 37 v-fix: 0 time: 0.02 s
904.79/30.84 c subs with bin: 2 lits-rem: 998 v-fix: 0 time: 0.05 s
904.79/30.91 c lits-rem: 189 cl-subs: 404 v-elim: 0 v-fix: 0 time: 0.07 s
904.79/30.91 c vivif2 -- cl tried 4632 cl shrink 57 lits rem 66 time: 0.01
908.02/30.95 c vivif2 -- cl tried 12769 cl shrink 4066 lits rem 30686 time: 0.04
920.18/31.37 c asymm cl-useful: 16/4595/4595 lits-rem:16 time: 0.42
920.18/31.38 c calculated reachability. Time: 0.00
920.18/31.38 c N dy 91 46258 1910 4595 19500 12757 25160 256320 11.40 no data
923.37/31.40 c Finding binary XORs T: 0.02 s found: 0
943.19/32.08 c Finding binary XORs T: 0.02 s found: 1
948.94/32.26 c N dy 92 53062 1901 4545 87057 18274 24974 508597 10.73 11.35
1006.46/34.00 c Finding binary XORs T: 0.02 s found: 0
1006.46/34.07 c N dy 101 66066 1897 4513 106413 14457 24880 436385 10.12 10.81
1022.43/34.51 c S st 113 69387 1896 4513 106413 17694 24880 512134 10.08 9.44
1022.43/34.60 c S st 113 69891 1896 4513 106415 18186 24880 522574 10.08 no data
1025.62/34.61 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
1073.52/36.16 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 5024 BRemL: 61098 BRemN: 30 P: 8.8M T: 1.55
1073.52/36.18 c Replacing 1 vars Replaced 502 lits Time: 0.02 s
1073.52/36.19 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1076.70/36.21 c bin-w-bin subsume rem 15064 bins time: 0.02 s
1076.70/36.22 c subs with bin: 58 lits-rem: 0 v-fix: 0 time: 0.01 s
1076.70/36.24 c Subs w/ non-existent bins: 11 l-rem: 1 v-fix: 0 done: 1895 time: 0.02 s
1076.70/36.25 c Removed useless bin: 20 fixed: 0 props: 0.16M time: 0.01 s
1076.70/36.27 c lits-rem: 2 cl-subs: 38 v-elim: 26 v-fix: 0 time: 0.02 s
1080.49/36.36 c subs with bin: 69 lits-rem: 994 v-fix: 0 time: 0.07 s
1083.70/36.45 c lits-rem: 299 cl-subs: 556 v-elim: 0 v-fix: 0 time: 0.08 s
1083.70/36.46 c vivif2 -- cl tried 4453 cl shrink 22 lits rem 23 time: 0.01
1086.24/36.50 c vivif2 -- cl tried 16822 cl shrink 2942 lits rem 16617 time: 0.04
1102.17/37.01 c asymm cl-useful: 46/4437/4437 lits-rem:129 time: 0.51
1102.17/37.02 c calculated reachability. Time: 0.01
1102.17/37.02 c N dy 113 69891 1869 4400 34084 16822 24446 326090 10.08 no data
1102.17/37.05 c Finding binary XORs T: 0.02 s found: 0
1121.30/37.64 c Finding binary XORs T: 0.02 s found: 1
1124.50/37.78 c N dy 118 75249 1864 4378 38884 21969 24363 446350 9.91 10.56
1150.67/38.56 c N dy 120 81185 1862 4378 38892 27731 24363 554811 9.68 10.23
1166.03/39.10 c Finding binary XORs T: 0.02 s found: 0
1182.02/39.53 c N dy 134 87038 1851 4282 40367 31911 24048 654394 9.58 10.10
1185.79/39.65 c F st 139 87500 1851 4282 41270 16247 24048 302565 9.60 no data
1185.79/39.66 c Replacing 1 vars Replaced 1006 lits Time: 0.01 s
1185.79/39.67 c Found part 144 vars: 2 clauses: 1 lits size: 2
1185.79/39.67 c Found part 148 vars: 1844 clauses: 9456 lits size: 24046
1185.79/39.67 c Found parts: 2 time: 0.02 s
1185.79/39.67 c Solving part 144
1188.98/39.79 c N st 0 0 2 0 1 0 2 0 no data no data
1188.98/39.79 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
1188.98/39.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
1188.98/39.80 c Finding binary XORs T: 0.01 s found: 0
1191.47/39.80 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
1191.47/39.80 c calculated reachability. Time: 0.00
1191.47/39.80 c Calc default polars - time: 0.00 s pos: 1 undec: 138806 neg: 1
1191.47/39.80 c =========================================================================================
1191.47/39.80 c types(t): F = full restart, N = normal restart
1191.47/39.80 c types(t): S = simplification begin/end, E = solution found
1191.47/39.80 c restart types(rt): st = static, dy = dynamic
1191.47/39.80 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
1191.47/39.80 c B st 0 0 2 0 1 0 2 0 no data no data
1191.47/39.80 c E st 1 0 0 0 1 0 2 0 no data no data
1191.47/39.81 c Verified 0 clauses.
1191.47/39.81 c Verified 0 clauses.
1191.47/39.81 c Solved part
1191.47/39.81 c =========================================================================================
1191.47/39.81 c Coming back to original instance
1191.47/39.81 c =========================================================================================
1217.05/40.61 c N dy 145 92700 1848 4282 41264 21311 24046 442204 9.60 no data
1252.21/41.72 c Finding binary XORs T: 0.02 s found: 0
1252.21/41.76 c N dy 155 100828 1843 4247 41805 28210 23933 573340 9.46 9.99
1277.78/42.51 c S st 188 104837 1842 4247 41805 32148 23933 674370 9.56 no data
1280.98/42.60 c S st 188 105338 1842 4247 41805 32649 23933 688829 9.56 no data
1280.98/42.62 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
1316.15/43.74 c Flit: 2 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 915 BRemL: 17865 BRemN: 80 P: 13.1M T: 1.12
1316.15/43.75 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1316.15/43.76 c bin-w-bin subsume rem 1212 bins time: 0.00 s
1316.15/43.76 c subs with bin: 21 lits-rem: 0 v-fix: 0 time: 0.01 s
1316.15/43.79 c Subs w/ non-existent bins: 2 l-rem: 0 v-fix: 0 done: 1840 time: 0.02 s
1316.15/43.79 c Removed useless bin: 21 fixed: 0 props: 0.13M time: 0.00 s
1319.34/43.81 c lits-rem: 0 cl-subs: 12 v-elim: 9 v-fix: 0 time: 0.02 s
1322.54/43.99 c subs with bin: 99 lits-rem: 221 v-fix: 0 time: 0.12 s
1335.32/44.37 c lits-rem: 810 cl-subs: 1054 v-elim: 0 v-fix: 0 time: 0.37 s
1335.32/44.37 c vivif2 -- cl tried 4216 cl shrink 11 lits rem 18 time: 0.00
1338.51/44.48 c vivif2 -- cl tried 30582 cl shrink 9315 lits rem 52222 time: 0.10
1357.70/45.01 c asymm cl-useful: 6/3364/4208 lits-rem:14 time: 0.53
1357.70/45.02 c calculated reachability. Time: 0.01
1357.70/45.02 c N dy 188 105338 1831 4206 23028 30582 23522 548993 9.56 no data
1370.48/45.45 c Finding binary XORs T: 0.02 s found: 0
1405.64/46.59 c N dy 190 115327 1818 4145 23660 21506 23316 317361 9.35 9.85
1437.60/47.59 c N dy 219 122736 1816 4145 24220 28745 23316 483917 9.32 9.83
1440.80/47.69 c Finding binary XORs T: 0.02 s found: 0
1475.96/48.79 c N dy 246 130661 1810 4114 24304 35928 23212 665839 9.30 9.90
1520.72/50.13 c N dy 273 139003 1805 4114 24445 22715 23212 327987 9.27 13.76
1540.53/50.77 c Finding binary XORs T: 0.02 s found: 0
1562.28/51.48 c N dy 328 147887 1803 4040 23334 30677 22957 547000 9.34 11.09
1619.81/53.25 c N dy 363 157883 1799 4040 24176 40425 22957 788862 9.34 9.85
1619.81/53.29 c Finding binary XORs T: 0.02 s found: 0
1623.01/53.31 c S st 365 158009 1799 4019 23895 39161 22877 776177 9.34 no data
1626.21/53.43 c S st 365 158511 1799 4019 23895 39658 22877 789841 9.34 no data
1626.21/53.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
1654.97/54.30 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 597 BRemL: 2630 BRemN: 24 P: 13.0M T: 0.86
1654.97/54.31 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1654.97/54.32 c bin-w-bin subsume rem 410 bins time: 0.00 s
1654.97/54.33 c subs with bin: 17 lits-rem: 0 v-fix: 0 time: 0.01 s
1654.97/54.35 c Subs w/ non-existent bins: 2 l-rem: 0 v-fix: 0 done: 1799 time: 0.02 s
1654.97/54.35 c Removed useless bin: 45 fixed: 0 props: 0.13M time: 0.00 s
1654.97/54.37 c lits-rem: 0 cl-subs: 6 v-elim: 16 v-fix: 0 time: 0.02 s
1661.36/54.53 c subs with bin: 294 lits-rem: 231 v-fix: 0 time: 0.11 s
1667.77/54.77 c lits-rem: 380 cl-subs: 699 v-elim: 0 v-fix: 0 time: 0.23 s
1667.77/54.77 c vivif2 -- cl tried 4026 cl shrink 1 lits rem 1 time: 0.00
1670.97/54.85 c vivif2 -- cl tried 29921 cl shrink 7400 lits rem 49870 time: 0.08
1674.16/54.94 c asymm cl-useful: 0/662/4026 lits-rem:0 time: 0.08
1674.16/54.94 c calculated reachability. Time: 0.00
1674.16/54.94 c N dy 365 158511 1783 4026 21195 29921 22704 479560 9.34 no data
1718.90/56.31 c Finding binary XORs T: 0.02 s found: 0
1718.90/56.35 c N dy 392 168699 1775 3984 21206 21536 22547 326549 9.28 9.87
1770.06/57.97 c N dy 430 180786 1773 3984 21497 33351 22547 588713 9.24 9.75
1833.99/59.92 c N dy 479 192514 1771 3984 21552 22882 22547 308973 9.24 9.84
1859.55/60.76 c Finding binary XORs T: 0.02 s found: 2
1897.88/61.99 c N dy 536 206950 1761 3941 21819 36157 22383 632618 9.22 9.71
1927.32/62.89 c Finding binary XORs T: 0.02 s found: 1
1977.80/64.46 c N dy 601 220174 1758 3882 21840 24357 22179 325131 9.26 9.78
2019.36/65.74 c Finding binary XORs T: 0.02 s found: 1
2044.93/66.59 c N dy 668 234524 1754 3846 21819 36835 22076 630997 9.28 10.02
2064.70/67.17 c S st 677 237766 1751 3846 22046 39986 22076 699339 9.27 no data
2067.94/67.30 c S st 677 238271 1751 3846 22046 40490 22076 712769 9.27 no data
2070.50/67.31 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
2092.88/68.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 409 BRemL: 1680 BRemN: 34 P: 12.1M T: 0.78
2096.08/68.12 c Replacing 5 vars Replaced 617 lits Time: 0.02 s
2096.08/68.12 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2096.08/68.13 c bin-w-bin subsume rem 430 bins time: 0.00 s
2096.08/68.13 c subs with bin: 27 lits-rem: 1 v-fix: 0 time: 0.01 s
2096.08/68.15 c Subs w/ non-existent bins: 2 l-rem: 0 v-fix: 0 done: 1746 time: 0.02 s
2096.08/68.16 c Removed useless bin: 22 fixed: 0 props: 0.11M time: 0.00 s
2096.08/68.18 c lits-rem: 0 cl-subs: 1 v-elim: 9 v-fix: 0 time: 0.02 s
2103.10/68.39 c subs with bin: 385 lits-rem: 441 v-fix: 0 time: 0.16 s
2118.45/68.85 c lits-rem: 735 cl-subs: 1360 v-elim: 0 v-fix: 0 time: 0.45 s
2118.45/68.85 c vivif2 -- cl tried 3802 cl shrink 3 lits rem 3 time: 0.00
2121.65/68.96 c vivif2 -- cl tried 37871 cl shrink 8961 lits rem 58742 time: 0.10
2138.26/69.44 c asymm cl-useful: 3/3365/3799 lits-rem:5 time: 0.48
2138.26/69.45 c calculated reachability. Time: 0.00
2138.26/69.45 c N dy 677 238271 1737 3799 19417 37871 21762 613179 9.27 no data
2147.22/69.80 c Finding binary XORs T: 0.02 s found: 0
2220.74/72.02 c Finding binary XORs T: 0.02 s found: 0
2233.53/72.41 c N dy 744 254284 1728 3750 19702 27756 21586 392354 9.27 9.77
2329.42/75.46 c N dy 818 272314 1724 3750 19749 45355 21586 794082 9.26 9.87
2374.17/76.89 c Finding binary XORs T: 0.02 s found: 0
2438.05/78.82 c N dy 930 289957 1719 3688 20383 35724 21311 562076 9.32 9.96
2466.80/79.80 c Finding binary XORs T: 0.02 s found: 1
2540.32/82.02 c F st 1017 306251 1715 3655 19792 51632 21184 953905 9.35 no data
2540.32/82.03 c Replacing 1 vars Replaced 78 lits Time: 0.01 s
2560.12/82.67 c N st 1022 309548 1714 3654 19790 54871 21179 1037569 9.35 no data
2575.45/83.17 c Finding binary XORs T: 0.02 s found: 3
2677.71/86.35 c N dy 1077 329345 1705 3620 20371 45833 21006 749169 9.33 13.35
2712.85/87.41 c Finding binary XORs T: 0.02 s found: 5
2802.95/90.22 c N dy 1185 349418 1699 3585 20358 31424 20845 448503 9.37 10.90
2847.09/91.63 c S st 1242 357406 1699 3585 20382 39252 20845 649122 9.40 no data
2850.29/91.75 c S st 1242 357910 1699 3585 20382 39753 20845 664251 9.40 no data
2850.29/91.77 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
2876.54/92.53 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 306 BRemL: 1710 BRemN: 35 P: 10.9M T: 0.76
2876.54/92.56 c Replacing 9 vars Replaced 702 lits Time: 0.02 s
2876.54/92.56 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2876.54/92.57 c bin-w-bin subsume rem 433 bins time: 0.00 s
2876.54/92.57 c subs with bin: 15 lits-rem: 0 v-fix: 0 time: 0.01 s
2876.54/92.59 c Subs w/ non-existent bins: 1 l-rem: 0 v-fix: 0 done: 1691 time: 0.02 s
2876.54/92.59 c Removed useless bin: 38 fixed: 0 props: 0.10M time: 0.00 s
2879.06/92.61 c lits-rem: 0 cl-subs: 11 v-elim: 29 v-fix: 0 time: 0.02 s
2882.29/92.77 c subs with bin: 216 lits-rem: 1479 v-fix: 0 time: 0.11 s
2891.85/93.01 c lits-rem: 334 cl-subs: 989 v-elim: 0 v-fix: 0 time: 0.24 s
2891.85/93.02 c vivif2 -- cl tried 3549 cl shrink 6 lits rem 8 time: 0.00
2891.85/93.09 c vivif2 -- cl tried 33278 cl shrink 6066 lits rem 36374 time: 0.07
2908.50/93.54 c asymm cl-useful: 1/3543/3543 lits-rem:4 time: 0.45
2908.50/93.54 c calculated reachability. Time: 0.00
2908.50/93.54 c N dy 1242 357910 1662 3542 17661 33278 20475 472023 9.40 no data
2908.50/93.57 c Finding binary XORs T: 0.02 s found: 0
3026.11/97.20 c N dy 1309 378084 1657 3542 17833 26799 20475 318716 9.37 9.97
3054.88/98.13 c Finding binary XORs T: 0.02 s found: 0
3131.59/100.59 c N dy 1412 398209 1654 3513 17799 46435 20334 788119 9.40 9.93
3221.11/103.33 c Finding binary XORs T: 0.02 s found: 0
3265.85/104.74 c N dy 1498 419630 1651 3478 17921 36546 20230 529222 9.39 9.93
3390.53/108.69 c N dy 1604 439667 1646 3478 17974 56167 20230 1006979 9.41 9.92
3432.09/109.94 c Finding binary XORs T: 0.02 s found: 6
3518.39/112.62 c N dy 1700 459795 1642 3431 17836 43914 20015 665282 9.42 10.09
3559.92/113.90 c Finding binary XORs T: 0.02 s found: 8
3658.98/117.06 c N dy 1810 480505 1639 3399 17810 63667 19858 1158823 9.45 9.95
3783.66/121.00 c N dy 1926 500542 1637 3399 17883 50506 19858 818330 9.49 10.05
3802.86/121.52 c Finding binary XORs T: 0.02 s found: 3
3802.86/121.55 c Replacing 17 vars Replaced 11019 lits Time: 0.04 s
3879.54/123.99 c Finding binary XORs T: 0.02 s found: 0
3943.47/125.94 c N dy 2046 520582 1617 3366 17828 35367 19660 416615 9.53 10.51
4039.34/128.96 c S st 2141 536865 1615 3366 17915 51302 19660 805265 9.56 no data
4045.75/129.10 c S st 2141 537366 1615 3366 17915 51799 19660 818420 9.56 no data
4045.75/129.11 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01
4064.93/129.80 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 5 Bins: 369 BRemL: 1256 BRemN: 30 P: 10.8M T: 0.69
4068.72/129.85 c Replacing 5 vars Replaced 9874 lits Time: 0.05 s
4068.72/129.86 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
4068.72/129.86 c bin-w-bin subsume rem 356 bins time: 0.00 s
4068.72/129.87 c subs with bin: 62 lits-rem: 1 v-fix: 0 time: 0.01 s
4068.72/129.89 c Subs w/ non-existent bins: 2 l-rem: 1 v-fix: 0 done: 1610 time: 0.02 s
4068.72/129.89 c Removed useless bin: 42 fixed: 0 props: 0.09M time: 0.00 s
4068.72/129.92 c lits-rem: 0 cl-subs: 12 v-elim: 24 v-fix: 0 time: 0.02 s
4077.71/130.15 c subs with bin: 653 lits-rem: 1852 v-fix: 0 time: 0.18 s
4096.90/130.75 c lits-rem: 945 cl-subs: 1702 v-elim: 0 v-fix: 0 time: 0.60 s
4096.90/130.76 c vivif2 -- cl tried 3319 cl shrink 13 lits rem 25 time: 0.00
4100.09/130.86 c vivif2 -- cl tried 43956 cl shrink 9584 lits rem 45012 time: 0.10
4116.06/131.31 c asymm cl-useful: 6/2877/3308 lits-rem:6 time: 0.45
4116.06/131.32 c calculated reachability. Time: 0.00
4116.06/131.32 c N dy 2141 537366 1586 3308 15780 43955 19222 615096 9.56 no data
4116.06/131.35 c Finding binary XORs T: 0.02 s found: 0
4221.54/134.69 c Finding binary XORs T: 0.02 s found: 5
4247.76/135.47 c N dy 2187 558353 1577 3257 15909 60738 19056 1003972 9.51 10.18
4359.01/138.91 c N dy 2254 578578 1575 3257 16024 49418 19056 749335 9.49 10.04
4413.35/140.67 c Finding binary XORs T: 0.02 s found: 11
4413.35/140.69 c Replacing 16 vars Replaced 3639 lits Time: 0.02 s
4506.03/143.59 c N dy 2336 599254 1558 3208 15582 33720 18727 376481 9.48 10.02
4621.09/147.14 c N dy 2389 619430 1557 3208 15623 53354 18727 813464 9.45 9.96
4775.19/151.93 c N dy 2489 639473 1556 3208 15645 36769 18727 421759 9.46 17.74
4870.42/154.95 c Finding binary XORs T: 0.02 s found: 3
4908.77/156.19 c N dy 2596 659518 1550 3159 15478 53601 18559 849647 9.47 11.37
5021.28/159.65 c Finding binary XORs T: 0.02 s found: 0
5081.39/161.58 c N dy 2702 679649 1549 3159 15780 73296 18559 1322086 9.49 10.00
5222.05/165.90 c Finding binary XORs T: 0.02 s found: 0
5222.05/165.96 c N dy 2823 699652 1549 3153 15863 56156 18535 880255 9.52 13.96
5311.54/168.75 c Finding binary XORs T: 0.02 s found: 0
5381.87/170.98 c N dy 2932 719718 1544 3143 16243 74814 18498 1331639 9.54 11.45
5487.31/174.25 c Finding binary XORs T: 0.02 s found: 0
5519.31/175.20 c N dy 3031 739850 1543 3126 16199 55781 18423 873099 9.55 10.08
5634.36/178.88 c Finding binary XORs T: 0.02 s found: 0
5691.89/180.63 c N dy 3175 759862 1540 3113 16372 74037 18368 1345831 9.60 13.30
5816.57/184.57 c Finding binary XORs T: 0.02 s found: 0
5845.34/185.47 c N dy 3315 780398 1538 3103 16053 54645 18332 816224 9.65 10.19
6014.74/190.78 c N dy 3443 800408 1537 3103 16104 74168 18332 1282797 9.68 11.85
6069.11/192.44 c S st 3484 806049 1536 3103 16116 79682 18332 1420955 9.69 no data
6076.12/192.63 c S st 3484 806552 1536 3103 16116 80180 18332 1436735 9.69 no data
6076.12/192.65 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
6097.87/193.36 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 196 BRemL: 1505 BRemN: 53 P: 11.7M T: 0.71
6097.87/193.40 c Replacing 3 vars Replaced 145 lits Time: 0.03 s
6101.07/193.40 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
6101.07/193.41 c bin-w-bin subsume rem 345 bins time: 0.00 s
6101.07/193.41 c subs with bin: 24 lits-rem: 1 v-fix: 0 time: 0.01 s
6101.07/193.43 c Subs w/ non-existent bins: 2 l-rem: 2 v-fix: 0 done: 1533 time: 0.02 s
6101.07/193.43 c Removed useless bin: 45 fixed: 0 props: 0.09M time: 0.00 s
6101.07/193.46 c lits-rem: 0 cl-subs: 14 v-elim: 23 v-fix: 0 time: 0.03 s
6117.04/193.94 c subs with bin: 939 lits-rem: 2436 v-fix: 0 time: 0.38 s
6171.39/195.67 c lits-rem: 1318 cl-subs: 3277 v-elim: 0 v-fix: 0 time: 1.73 s
6171.39/195.68 c vivif2 -- cl tried 3089 cl shrink 9 lits rem 9 time: 0.00
6178.41/195.87 c vivif2 -- cl tried 63379 cl shrink 17782 lits rem 94495 time: 0.19
6193.77/196.35 c asymm cl-useful: 0/2560/3081 lits-rem:0 time: 0.49
6193.77/196.36 c calculated reachability. Time: 0.00
6193.77/196.36 c N dy 3484 806552 1510 3081 13755 63377 17987 975266 9.69 no data
6193.77/196.38 c Finding binary XORs T: 0.02 s found: 0
6331.19/200.61 c N dy 3565 827362 1507 3081 13969 48889 17987 713731 9.68 10.31
6331.19/200.64 c Finding binary XORs T: 0.02 s found: 0
6455.86/204.61 c Finding binary XORs T: 0.02 s found: 0
6465.44/204.86 c N dy 3652 847722 1506 3058 14083 67468 17913 1172095 9.68 10.30
6609.29/209.33 c N dy 3739 868072 1502 3058 14207 48591 17912 669916 9.68 10.19
6644.45/210.43 c Finding binary XORs T: 0.02 s found: 0
6749.94/213.79 c N dy 3798 888197 1501 3030 14054 68046 17824 1137426 9.66 10.19
6842.65/216.64 c Finding binary XORs T: 0.02 s found: 0
6912.96/218.86 c N dy 3862 909354 1498 3018 13999 46235 17786 562997 9.65 10.27
7044.02/222.93 c N dy 3959 929449 1498 3018 14077 65886 17786 1041463 9.65 13.73
7063.18/223.56 c Finding binary XORs T: 0.02 s found: 0
7223.03/228.51 c N dy 4068 950760 1495 3010 13981 82462 17711 1520241 9.67 10.18
7318.92/231.60 c Finding binary XORs T: 0.02 s found: 2
7363.65/232.97 c N dy 4177 971822 1494 2996 13836 61016 17631 956051 9.67 10.38
7533.06/238.28 c N dy 4295 991867 1494 2996 13900 80673 17631 1492960 9.69 11.27
7635.35/241.40 c Finding binary XORs T: 0.02 s found: 0
7693.52/243.23 c N dy 4423 1011966 1492 2984 13833 56487 17591 818975 9.71 11.89
7855.92/248.34 c N dy 4539 1032304 1490 2984 13874 76439 17591 1340690 9.72 10.24
7990.17/252.54 c Finding binary XORs T: 0.02 s found: 0
8045.12/254.25 c N dy 4666 1052406 1488 2966 13836 48371 17518 602044 9.75 10.70
8194.71/258.98 c F st 4801 1071879 1487 2966 13864 67466 17518 1112666 9.78 no data
8197.91/259.02 c Replacing 2 vars Replaced 398 lits Time: 0.02 s
8201.14/259.15 c N st 4803 1072506 1485 2958 13847 68013 17486 1130891 9.78 no data
8236.27/260.28 c Decided on static restart strategy
8415.26/265.86 c N st 4811 1100184 1484 2958 13860 48610 17486 922874 9.78 no data
8674.78/273.92 c N st 4813 1136179 1481 2958 13882 83395 17486 1844635 9.78 no data
8674.78/273.99 c Finding binary XORs T: 0.02 s found: 5
8945.89/282.42 c N st 4814 1168571 1481 2935 13709 63662 17395 1234723 9.78 no data
8945.89/282.47 c Finding binary XORs T: 0.02 s found: 3
9278.30/292.88 c N st 4815 1209830 1479 2927 13796 56552 17351 1115469 9.78 no data
9278.30/292.89 c S st 4815 1209830 1479 2927 13796 56552 17351 1115469 9.78 no data
9284.69/293.09 c S st 4815 1210335 1477 2927 13864 57052 17351 1128676 9.78 no data
9287.93/293.11 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
9307.71/293.75 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 51 BRemL: 766 BRemN: 27 P: 10.5M T: 0.64
9307.71/293.80 c Replacing 8 vars Replaced 2896 lits Time: 0.05 s
9307.71/293.81 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
9307.71/293.81 c bin-w-bin subsume rem 236 bins time: 0.00 s
9307.71/293.82 c subs with bin: 45 lits-rem: 2 v-fix: 0 time: 0.01 s
9310.94/293.83 c Subs w/ non-existent bins: 3 l-rem: 0 v-fix: 0 done: 1469 time: 0.01 s
9310.94/293.84 c Removed useless bin: 35 fixed: 0 props: 0.08M time: 0.00 s
9310.94/293.86 c lits-rem: 0 cl-subs: 17 v-elim: 34 v-fix: 0 time: 0.03 s
9319.86/294.13 c subs with bin: 298 lits-rem: 1674 v-fix: 0 time: 0.21 s
9367.81/295.69 c lits-rem: 1119 cl-subs: 3032 v-elim: 0 v-fix: 0 time: 1.56 s
9367.81/295.69 c vivif2 -- cl tried 2908 cl shrink 14 lits rem 15 time: 0.00
9374.21/295.82 c vivif2 -- cl tried 38437 cl shrink 15754 lits rem 65845 time: 0.12
9386.99/296.30 c asymm cl-useful: 5/2896/2896 lits-rem:6 time: 0.48
9390.19/296.30 c calculated reachability. Time: 0.00
9390.19/296.31 c N st 4815 1210335 1435 2896 12316 38437 17007 639228 9.78 no data
9390.19/296.33 c Finding binary XORs T: 0.02 s found: 0
9920.81/312.92 c N st 4816 1283217 1435 2896 12317 67675 17007 1306284 9.78 no data
9920.81/312.97 c Finding binary XORs T: 0.02 s found: 4
10742.30/338.68 c N st 4817 1392540 1428 2860 12150 75404 16807 1455427 9.78 no data
10745.50/338.73 c Finding binary XORs T: 0.02 s found: 5
12353.30/389.02 c N st 4818 1556524 1421 2830 13225 73479 16647 1364531 9.78 no data
12353.30/389.08 c Finding binary XORs T: 0.02 s found: 4
13871.59/436.55 c N st 4819 1710335 1409 2760 13488 109207 16367 2494954 9.78 no data
13871.59/436.55 c S st 4819 1710335 1409 2760 13488 109207 16367 2494954 9.78 no data
13874.80/436.61 c Finding binary XORs T: 0.02 s found: 3
13874.80/436.66 c Replacing 16 vars Replaced 4653 lits Time: 0.05 s
13887.56/437.06 c S st 4819 1710838 1384 2705 13460 109168 16075 2483964 9.78 no data
13887.56/437.08 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
13913.76/437.91 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 42 BRemL: 2201 BRemN: 35 P: 13.4M T: 0.83
13916.96/437.92 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
13916.96/437.92 c bin-w-bin subsume rem 289 bins time: 0.00 s
13916.96/437.93 c subs with bin: 31 lits-rem: 0 v-fix: 0 time: 0.00 s
13916.96/437.94 c Subs w/ non-existent bins: 2 l-rem: 0 v-fix: 0 done: 1384 time: 0.01 s
13916.96/437.95 c Removed useless bin: 31 fixed: 0 props: 0.07M time: 0.00 s
13916.96/437.98 c lits-rem: 0 cl-subs: 14 v-elim: 28 v-fix: 0 time: 0.03 s
13932.31/438.49 c subs with bin: 928 lits-rem: 6355 v-fix: 0 time: 0.45 s
13989.85/440.24 c lits-rem: 2152 cl-subs: 3539 v-elim: 0 v-fix: 0 time: 1.75 s
13989.85/440.24 c vivif2 -- cl tried 2692 cl shrink 6 lits rem 6 time: 0.00
13993.04/440.36 c vivif2 -- cl tried 43586 cl shrink 14048 lits rem 45059 time: 0.12
14005.83/440.76 c asymm cl-useful: 1/2688/2688 lits-rem:1 time: 0.40
14005.83/440.77 c calculated reachability. Time: 0.00
14005.83/440.77 c N st 4819 1710838 1356 2688 10677 43585 15829 701615 9.78 no data
14005.83/440.79 c Finding binary XORs T: 0.02 s found: 0
14542.86/457.54 c Finding binary XORs T: 0.02 s found: 12
17128.78/538.45 c N st 4820 2079803 1347 2648 10836 97674 15551 1863228 9.78 no data
17131.98/538.53 c Finding binary XORs T: 0.02 s found: 9
17131.98/538.59 c Replacing 21 vars Replaced 5635 lits Time: 0.05 s
18570.36/583.58 c N st 4821 2210838 1300 2513 10803 95000 14854 1786037 9.78 no data
18570.36/583.58 c S st 4821 2210838 1300 2513 10803 95000 14854 1786037 9.78 no data
18573.56/583.67 c Finding binary XORs T: 0.02 s found: 24
18576.76/583.76 c Replacing 24 vars Replaced 11045 lits Time: 0.09 s
18590.15/584.19 c S st 4821 2211343 1243 2335 10589 87468 13986 1579914 9.78 no data
18590.15/584.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
18615.12/584.91 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 161 BRemL: 1955 BRemN: 28 P: 10.7M T: 0.71
18615.12/584.94 c Replacing 1 vars Replaced 79 lits Time: 0.02 s
18615.12/584.94 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
18615.12/584.95 c bin-w-bin subsume rem 353 bins time: 0.00 s
18615.12/584.95 c subs with bin: 23 lits-rem: 1 v-fix: 0 time: 0.01 s
18615.12/584.97 c Subs w/ non-existent bins: 2 l-rem: 0 v-fix: 0 done: 1242 time: 0.01 s
18615.12/584.97 c Removed useless bin: 52 fixed: 0 props: 0.06M time: 0.00 s
18618.32/585.00 c lits-rem: 1 cl-subs: 27 v-elim: 54 v-fix: 0 time: 0.03 s
18660.47/586.35 c subs with bin: 3061 lits-rem: 16663 v-fix: 0 time: 1.27 s
18804.35/590.88 c lits-rem: 6811 cl-subs: 11202 v-elim: 0 v-fix: 0 time: 4.53 s
18804.35/590.88 c vivif2 -- cl tried 2339 cl shrink 17 lits rem 20 time: 0.00
18806.91/590.99 c vivif2 -- cl tried 43491 cl shrink 12046 lits rem 29502 time: 0.11
18819.70/591.33 c asymm cl-useful: 0/2323/2323 lits-rem:0 time: 0.33
18819.70/591.33 c calculated reachability. Time: 0.00
18819.70/591.33 c N st 4821 2211343 1188 2323 7841 43487 13660 620752 9.78 no data
18819.70/591.35 c Finding binary XORs T: 0.02 s found: 0
19209.66/603.51 c Finding binary XORs T: 0.02 s found: 8
20075.89/630.65 c Following stats are for *FIRST FINISHED THREAD ONLY*
20075.89/630.65 c num threads : 32
20075.89/630.65 c restarts : 615
20075.89/630.65 c dynamic restarts : 545
20075.89/630.65 c static restarts : 70
20075.89/630.65 c full restarts : 4
20075.89/630.65 c total simplify time : 1.54
20075.89/630.65 c learnts DL2 : 0
20075.89/630.65 c learnts size 2 : 799011
20075.89/630.65 c learnts size 1 : 126112 (90.85 % of vars)
20075.89/630.65 c filedLit time : 16.71 (2.67 % time)
20075.89/630.65 c v-elim SatELite : 2325 (1.67 % vars)
20075.89/630.65 c SatELite time : 4.75 (0.76 % time)
20075.89/630.65 c v-elim xor : 0 (0.00 % vars)
20075.89/630.65 c xor elim time : 0.10 (0.02 % time)
20075.89/630.65 c num binary xor trees : 2340
20075.89/630.65 c binxor trees' crown : 11623 (4.97 leafs/tree)
20075.89/630.65 c bin xor find time : 0.75
20075.89/630.65 c OTF clause improved : 92649 (0.04 clauses/conflict)
20075.89/630.65 c OTF impr. size diff : 114310 (1.23 lits/clause)
20075.89/630.65 c OTF cl watch-shrink : 1343296 (0.54 clauses/conflict)
20075.89/630.65 c OTF cl watch-sh-lit : 3261385 (2.43 lits/clause)
20075.89/630.65 c tried to recurMin cls : 359232 (14.38 % of conflicts)
20075.89/630.65 c updated cache : 9244 (0.03 lits/tried recurMin)
20075.89/630.65 c unit cls recevied : 506 (0.40 % of units)
20075.89/630.65 c unit cls sent : 64 (0.05 % of units)
20075.89/630.65 c bin cls recevied : 292445
20075.89/630.65 c bin cls sent : 818
20075.89/630.65 c clauses over max glue : 0 (0.00 % of all clauses)
20075.89/630.65 c conflicts : 2497864 (3992.19 / sec)
20075.89/630.65 c decisions : 3006976 (0.80 % random)
20075.89/630.65 c bogo-props : 72754571219 (116279521.64 / sec)
20075.89/630.65 c conflict literals : 66946930 (36.30 % deleted)
20075.89/630.65 c Memory used : 6748.66 MB
20075.89/630.65 c single-thread CPU time : 625.69 s
20075.89/630.65 c all-threads sum CPU time : 20007.67 s
20075.89/630.65 s UNSATISFIABLE
Verifier Data
No possible verification on an UNSAT instance
Watcher Data
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400618-1306240107/watcher-3400618-1306240107 -o /tmp/evaluation-result-3400618-1306240107/solver-3400618-1306240107 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400618-1306240107.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): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 27.47 31.07 31.69 1/413 8147
/proc/meminfo: memFree=255161704/264257624 swapFree=67111528/67111528
[pid=8147] ppid=8145 vsize=338000 CPUtime=0.9 cores=0-31
/proc/8147/stat : 8147 (strangenight2-m) R 8145 8147 8121 0 -1 4202496 437 0 0 0 90 0 0 0 25 0 32 0 735497227 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399986 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/8147/statm: 84500 377 297 95 0 79482 0
[pid=8147/tid=8148] ppid=8145 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8147/task/8148/stat : 8148 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399986 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8147/tid=8149] ppid=8145 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8147/task/8149/stat : 8149 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399980 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8147/tid=8150] ppid=8145 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8147/task/8150/stat : 8150 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399986 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8147/tid=8151] ppid=8145 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8147/task/8151/stat : 8151 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399986 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8147/tid=8152] ppid=8145 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8147/task/8152/stat : 8152 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399986 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8147/tid=8153] ppid=8145 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8147/task/8153/stat : 8153 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399986 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=8147/tid=8154] ppid=8145 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8147/task/8154/stat : 8154 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399986 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8147/tid=8155] ppid=8145 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8147/task/8155/stat : 8155 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399986 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=8147/tid=8156] ppid=8145 vsize=338000 CPUtime=0 cores=0-31
/proc/8147/task/8156/stat : 8156 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 258662753996 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8147/tid=8157] ppid=8145 vsize=338000 CPUtime=0.01 cores=0-31
/proc/8147/task/8157/stat : 8157 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 1 0 0 0 24 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399980 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8147/tid=8158] ppid=8145 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8147/task/8158/stat : 8158 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399980 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8147/tid=8159] ppid=8145 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8147/task/8159/stat : 8159 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399986 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8147/tid=8160] ppid=8145 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8147/task/8160/stat : 8160 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399986 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8147/tid=8161] ppid=8145 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8147/task/8161/stat : 8161 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399986 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=8147/tid=8162] ppid=8145 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8147/task/8162/stat : 8162 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399986 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8147/tid=8163] ppid=8145 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8147/task/8163/stat : 8163 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399980 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8147/tid=8164] ppid=8145 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8147/task/8164/stat : 8164 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399986 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8147/tid=8165] ppid=8145 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8147/task/8165/stat : 8165 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399980 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8147/tid=8166] ppid=8145 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8147/task/8166/stat : 8166 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399984 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8147/tid=8167] ppid=8145 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8147/task/8167/stat : 8167 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399986 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=8147/tid=8168] ppid=8145 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8147/task/8168/stat : 8168 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399986 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8147/tid=8169] ppid=8145 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8147/task/8169/stat : 8169 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399986 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=8147/tid=8170] ppid=8145 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8147/task/8170/stat : 8170 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399986 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=8147/tid=8171] ppid=8145 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8147/task/8171/stat : 8171 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399986 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8147/tid=8172] ppid=8145 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8147/task/8172/stat : 8172 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399980 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=8147/tid=8173] ppid=8145 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8147/task/8173/stat : 8173 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399986 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=8147/tid=8174] ppid=8145 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8147/task/8174/stat : 8174 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399984 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8147/tid=8175] ppid=8145 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8147/task/8175/stat : 8175 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399980 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=8147/tid=8176] ppid=8145 vsize=338000 CPUtime=0 cores=0-31
/proc/8147/task/8176/stat : 8176 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=8147/tid=8177] ppid=8145 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8147/task/8177/stat : 8177 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399986 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=8147/tid=8178] ppid=8145 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8147/task/8178/stat : 8178 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 735497228 346112000 377 268435456000 4194304 4580107 140733354159984 18446744073709551615 47880013399986 0 0 4096 2 0 0 0 -1 27 0 0 0
[startup+0.126373 s]
/proc/loadavg: 27.47 31.07 31.69 1/413 8147
/proc/meminfo: memFree=255161704/264257624 swapFree=67111528/67111528
[pid=8147] ppid=8145 vsize=1466176 CPUtime=2.06 cores=0-31
/proc/8147/stat : 8147 (strangenight2-m) R 8145 8147 8121 0 -1 4202496 18300 0 0 0 114 92 0 0 17 0 32 0 735497227 1501364224 17255 268435456000 4194304 4580107 140733354159984 18446744073709551615 258650653097 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/8147/statm: 366544 17284 335 95 0 361526 0
[pid=8147/tid=8148] ppid=8145 vsize=1466176 CPUtime=0.06 cores=0-31
/proc/8147/task/8148/stat : 8148 (strangenight2-m) D 8145 8147 8121 0 -1 4202560 521 0 0 0 4 2 0 0 17 0 32 0 735497228 1501364224 17284 268435456000 4194304 4580107 140733354159984 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8147/tid=8149] ppid=8145 vsize=1466176 CPUtime=0.06 cores=0-31
/proc/8147/task/8149/stat : 8149 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 875 0 0 0 4 2 0 0 18 0 32 0 735497228 1501364224 17284 268435456000 4194304 4580107 140733354159984 18446744073709551615 258651013786 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8147/tid=8150] ppid=8145 vsize=1466176 CPUtime=0.04 cores=0-31
/proc/8147/task/8150/stat : 8150 (strangenight2-m) S 8145 8147 8121 0 -1 4202560 268 0 0 0 3 1 0 0 17 0 32 0 735497228 1501364224 17284 268435456000 4194304 4580107 140733354159984 18446744073709551615 258651060958 0 0 4096 2 18446604703593651680 0 0 -1 2 0 0 0
[pid=8147/tid=8151] ppid=8145 vsize=1466176 CPUtime=0.06 cores=0-31
/proc/8147/task/8151/stat : 8151 (strangenight2-m) D 8145 8147 8121 0 -1 4202560 669 0 0 0 3 3 0 0 17 0 32 0 735497228 1501364224 17284 268435456000 4194304 4580107 140733354159984 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8147/tid=8152] ppid=8145 vsize=1466272 CPUtime=0.05 cores=0-31
/proc/8147/task/8152/stat : 8152 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 298 0 0 0 3 2 0 0 17 0 32 0 735497228 1501462528 17295 268435456000 4194304 4580107 140733354159984 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8147/tid=8153] ppid=8145 vsize=1466272 CPUtime=0.06 cores=0-31
/proc/8147/task/8153/stat : 8153 (strangenight2-m) D 8145 8147 8121 0 -1 4202560 714 0 0 0 4 2 0 0 17 0 32 0 735497228 1501462528 17296 268435456000 4194304 4580107 140733354159984 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=8147/tid=8154] ppid=8145 vsize=1466272 CPUtime=0.06 cores=0-31
/proc/8147/task/8154/stat : 8154 (strangenight2-m) D 8145 8147 8121 0 -1 4202560 817 0 0 0 3 3 0 0 17 0 32 0 735497228 1501462528 17303 268435456000 4194304 4580107 140733354159984 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8147/tid=8155] ppid=8145 vsize=1466788 CPUtime=0.06 cores=0-31
/proc/8147/task/8155/stat : 8155 (strangenight2-m) D 8145 8147 8121 0 -1 4202560 559 0 0 0 4 2 0 0 17 0 32 0 735497228 1501990912 17307 268435456000 4194304 4580107 140733354159984 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=8147/tid=8156] ppid=8145 vsize=1467076 CPUtime=0.02 cores=0-31
/proc/8147/task/8156/stat : 8156 (strangenight2-m) D 8145 8147 8121 0 -1 4202560 385 0 0 0 0 2 0 0 17 0 32 0 735497228 1502285824 17314 268435456000 4194304 4580107 140733354159984 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8147/tid=8157] ppid=8145 vsize=1466816 CPUtime=0.05 cores=0-31
/proc/8147/task/8157/stat : 8157 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 775 0 0 0 2 3 0 0 17 0 32 0 735497228 1502019584 17252 268435456000 4194304 4580107 140733354159984 18446744073709551615 258650999159 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8147/tid=8158] ppid=8145 vsize=1466816 CPUtime=0.05 cores=0-31
/proc/8147/task/8158/stat : 8158 (strangenight2-m) S 8145 8147 8121 0 -1 4202560 640 0 0 0 3 2 0 0 17 0 32 0 735497228 1502019584 17265 268435456000 4194304 4580107 140733354159984 18446744073709551615 258651060958 0 0 4096 2 18446744071566931264 0 0 -1 7 0 0 0
[pid=8147/tid=8159] ppid=8145 vsize=1466816 CPUtime=0.06 cores=0-31
/proc/8147/task/8159/stat : 8159 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 773 0 0 0 3 3 0 0 17 0 32 0 735497228 1502019584 17291 268435456000 4194304 4580107 140733354159984 18446744073709551615 4253879 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8147/tid=8160] ppid=8145 vsize=1466816 CPUtime=0.07 cores=0-31
/proc/8147/task/8160/stat : 8160 (strangenight2-m) D 8145 8147 8121 0 -1 4202560 713 0 0 0 3 4 0 0 17 0 32 0 735497228 1502019584 17291 268435456000 4194304 4580107 140733354159984 18446744073709551615 258650999159 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8147/tid=8161] ppid=8145 vsize=1466816 CPUtime=0.04 cores=0-31
/proc/8147/task/8161/stat : 8161 (strangenight2-m) S 8145 8147 8121 0 -1 4202560 268 0 0 0 3 1 0 0 17 0 32 0 735497228 1502019584 17292 268435456000 4194304 4580107 140733354159984 18446744073709551615 258651060958 0 0 4096 2 18446604711821770208 0 0 -1 25 0 0 0
[pid=8147/tid=8162] ppid=8145 vsize=1466556 CPUtime=0.06 cores=0-31
/proc/8147/task/8162/stat : 8162 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 569 0 0 0 4 2 0 0 17 0 32 0 735497228 1501753344 17232 268435456000 4194304 4580107 140733354159984 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8147/tid=8163] ppid=8145 vsize=1466556 CPUtime=0.05 cores=0-31
/proc/8147/task/8163/stat : 8163 (strangenight2-m) D 8145 8147 8121 0 -1 4202560 433 0 0 0 3 2 0 0 17 0 32 0 735497228 1501753344 17239 268435456000 4194304 4580107 140733354159984 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8147/tid=8164] ppid=8145 vsize=1466556 CPUtime=0.05 cores=0-31
/proc/8147/task/8164/stat : 8164 (strangenight2-m) S 8145 8147 8121 0 -1 4202560 325 0 0 0 3 2 0 0 17 0 32 0 735497228 1501753344 17244 268435456000 4194304 4580107 140733354159984 18446744073709551615 258651060958 0 0 4096 2 18446744071566925224 0 0 -1 0 0 0 0
[pid=8147/tid=8165] ppid=8145 vsize=1466652 CPUtime=0.06 cores=0-31
/proc/8147/task/8165/stat : 8165 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 676 0 0 0 3 3 0 0 17 0 32 0 735497228 1501851648 17250 268435456000 4194304 4580107 140733354159984 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8147/tid=8166] ppid=8145 vsize=1466652 CPUtime=0.07 cores=0-31
/proc/8147/task/8166/stat : 8166 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 734 0 0 0 4 3 0 0 17 0 32 0 735497228 1501851648 17265 268435456000 4194304 4580107 140733354159984 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8147/tid=8167] ppid=8145 vsize=1466652 CPUtime=0.06 cores=0-31
/proc/8147/task/8167/stat : 8167 (strangenight2-m) D 8145 8147 8121 0 -1 4202560 801 0 0 0 3 3 0 0 17 0 32 0 735497228 1501851648 17265 268435456000 4194304 4580107 140733354159984 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=8147/tid=8168] ppid=8145 vsize=1466748 CPUtime=0.05 cores=0-31
/proc/8147/task/8168/stat : 8168 (strangenight2-m) D 8145 8147 8121 0 -1 4202560 363 0 0 0 4 1 0 0 17 0 32 0 735497228 1501949952 17265 268435456000 4194304 4580107 140733354159984 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8147/tid=8169] ppid=8145 vsize=1466748 CPUtime=0.06 cores=0-31
/proc/8147/task/8169/stat : 8169 (strangenight2-m) S 8145 8147 8121 0 -1 4202560 581 0 0 0 3 3 0 0 17 0 32 0 735497228 1501949952 17285 268435456000 4194304 4580107 140733354159984 18446744073709551615 258651060958 0 0 4096 2 18446604495778708960 0 0 -1 18 0 0 0
[pid=8147/tid=8170] ppid=8145 vsize=1466748 CPUtime=0.07 cores=0-31
/proc/8147/task/8170/stat : 8170 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 917 0 0 0 4 3 0 0 18 0 32 0 735497228 1501949952 17332 268435456000 4194304 4580107 140733354159984 18446744073709551615 4307948 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=8147/tid=8171] ppid=8145 vsize=1466748 CPUtime=0.07 cores=0-31
/proc/8147/task/8171/stat : 8171 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 664 0 0 0 4 3 0 0 17 0 32 0 735497228 1501949952 17388 268435456000 4194304 4580107 140733354159984 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8147/tid=8172] ppid=8145 vsize=1466748 CPUtime=0.06 cores=0-31
/proc/8147/task/8172/stat : 8172 (strangenight2-m) S 8145 8147 8121 0 -1 4202560 571 0 0 0 3 3 0 0 17 0 32 0 735497228 1501949952 17394 268435456000 4194304 4580107 140733354159984 18446744073709551615 258651060958 0 0 4096 2 18446744071566931264 0 0 -1 22 0 0 0
[pid=8147/tid=8173] ppid=8145 vsize=1466748 CPUtime=0.05 cores=0-31
/proc/8147/task/8173/stat : 8173 (strangenight2-m) S 8145 8147 8121 0 -1 4202560 321 0 0 0 3 2 0 0 17 0 32 0 735497228 1501949952 17399 268435456000 4194304 4580107 140733354159984 18446744073709551615 258651060958 0 0 4096 2 18446604702749990368 0 0 -1 16 0 0 0
[pid=8147/tid=8174] ppid=8145 vsize=1466748 CPUtime=0.06 cores=0-31
/proc/8147/task/8174/stat : 8174 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 618 0 0 0 3 3 0 0 17 0 32 0 735497228 1501949952 17416 268435456000 4194304 4580107 140733354159984 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8147/tid=8175] ppid=8145 vsize=1466748 CPUtime=0.03 cores=0-31
/proc/8147/task/8175/stat : 8175 (strangenight2-m) S 8145 8147 8121 0 -1 4202560 267 0 0 0 2 1 0 0 17 0 32 0 735497228 1501949952 17418 268435456000 4194304 4580107 140733354159984 18446744073709551615 258651060958 0 0 4096 2 18446604701602307552 0 0 -1 23 0 0 0
[pid=8147/tid=8176] ppid=8145 vsize=1466940 CPUtime=0.02 cores=0-31
/proc/8147/task/8176/stat : 8176 (strangenight2-m) S 8145 8147 8121 0 -1 4202560 461 0 0 0 0 2 0 0 17 0 32 0 735497228 1502146560 17424 268435456000 4194304 4580107 140733354159984 18446744073709551615 258651060958 0 0 4096 2 18446604474846641632 0 0 -1 31 0 0 0
[pid=8147/tid=8177] ppid=8145 vsize=1466940 CPUtime=0.06 cores=0-31
/proc/8147/task/8177/stat : 8177 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 620 0 0 0 3 3 0 0 17 0 32 0 735497228 1502146560 17455 268435456000 4194304 4580107 140733354159984 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=8147/tid=8178] ppid=8145 vsize=1466940 CPUtime=0.04 cores=0-31
/proc/8147/task/8178/stat : 8178 (strangenight2-m) S 8145 8147 8121 0 -1 4202560 301 0 0 0 3 1 0 0 17 0 32 0 735497228 1502146560 17502 268435456000 4194304 4580107 140733354159984 18446744073709551615 258651060958 0 0 4096 2 18446744071566924904 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 1466176
[startup+0.203582 s]
/proc/loadavg: 27.47 31.07 31.69 1/413 8147
/proc/meminfo: memFree=255161704/264257624 swapFree=67111528/67111528
[pid=8147] ppid=8145 vsize=1502212 CPUtime=3 cores=0-31
/proc/8147/stat : 8147 (strangenight2-m) D 8145 8147 8121 0 -1 4202496 37720 0 0 0 134 166 0 0 17 0 32 0 735497227 1538265088 33317 268435456000 4194304 4580107 140733354159984 18446744073709551615 4307217 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/8147/statm: 375553 33400 335 95 0 370535 0
[pid=8147/tid=8148] ppid=8145 vsize=1502212 CPUtime=0.08 cores=0-31
/proc/8147/task/8148/stat : 8148 (strangenight2-m) D 8145 8147 8121 0 -1 4202560 1095 0 0 0 4 4 0 0 17 0 32 0 735497228 1538265088 33271 268435456000 4194304 4580107 140733354159984 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8147/tid=8149] ppid=8145 vsize=1501696 CPUtime=0.11 cores=0-31
/proc/8147/task/8149/stat : 8149 (strangenight2-m) D 8145 8147 8121 0 -1 4202560 2036 0 0 0 5 6 0 0 18 0 32 0 735497228 1537736704 33301 268435456000 4194304 4580107 140733354159984 18446744073709551615 4345288 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8147/tid=8150] ppid=8145 vsize=1501952 CPUtime=0.04 cores=0-31
/proc/8147/task/8150/stat : 8150 (strangenight2-m) S 8145 8147 8121 0 -1 4202560 268 0 0 0 3 1 0 0 16 0 32 0 735497228 1537998848 33311 268435456000 4194304 4580107 140733354159984 18446744073709551615 258651060958 0 0 4096 2 18446604708170456544 0 0 -1 2 0 0 0
[pid=8147/tid=8151] ppid=8145 vsize=1501436 CPUtime=0.1 cores=0-31
/proc/8147/task/8151/stat : 8151 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 1379 0 0 0 4 6 0 0 17 0 32 0 735497228 1537470464 33204 268435456000 4194304 4580107 140733354159984 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8147/tid=8152] ppid=8145 vsize=1501436 CPUtime=0.08 cores=0-31
/proc/8147/task/8152/stat : 8152 (strangenight2-m) D 8145 8147 8121 0 -1 4202560 695 0 0 0 4 4 0 0 17 0 32 0 735497228 1537470464 33253 268435456000 4194304 4580107 140733354159984 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8147/tid=8153] ppid=8145 vsize=1500920 CPUtime=0.1 cores=0-31
/proc/8147/task/8153/stat : 8153 (strangenight2-m) D 8145 8147 8121 0 -1 4202560 1587 0 0 0 5 5 0 0 17 0 32 0 735497228 1536942080 33253 268435456000 4194304 4580107 140733354159984 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=8147/tid=8154] ppid=8145 vsize=1500920 CPUtime=0.1 cores=0-31
/proc/8147/task/8154/stat : 8154 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 1606 0 0 0 4 6 0 0 17 0 32 0 735497228 1536942080 33270 268435456000 4194304 4580107 140733354159984 18446744073709551615 258650653023 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8147/tid=8155] ppid=8145 vsize=1500920 CPUtime=0.09 cores=0-31
/proc/8147/task/8155/stat : 8155 (strangenight2-m) D 8145 8147 8121 0 -1 4202560 1254 0 0 0 5 4 0 0 17 0 32 0 735497228 1536942080 33276 268435456000 4194304 4580107 140733354159984 18446744073709551615 4307948 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=8147/tid=8156] ppid=8145 vsize=1500920 CPUtime=0.05 cores=0-31
/proc/8147/task/8156/stat : 8156 (strangenight2-m) D 8145 8147 8121 0 -1 4202560 1064 0 0 0 1 4 0 0 17 0 32 0 735497228 1536942080 33377 268435456000 4194304 4580107 140733354159984 18446744073709551615 258650653371 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8147/tid=8157] ppid=8145 vsize=1500920 CPUtime=0.07 cores=0-31
/proc/8147/task/8157/stat : 8157 (strangenight2-m) S 8145 8147 8121 0 -1 4202560 1392 0 0 0 2 5 0 0 17 0 32 0 735497228 1536942080 33377 268435456000 4194304 4580107 140733354159984 18446744073709551615 258651060958 0 0 4096 2 18446744071566925224 0 0 -1 20 0 0 0
[pid=8147/tid=8158] ppid=8145 vsize=1500920 CPUtime=0.08 cores=0-31
/proc/8147/task/8158/stat : 8158 (strangenight2-m) S 8145 8147 8121 0 -1 4202560 1102 0 0 0 4 4 0 0 17 0 32 0 735497228 1536942080 33377 268435456000 4194304 4580107 140733354159984 18446744073709551615 258651060958 0 0 4096 2 18446604712613314016 0 0 -1 7 0 0 0
[pid=8147/tid=8159] ppid=8145 vsize=1500920 CPUtime=0.1 cores=0-31
/proc/8147/task/8159/stat : 8159 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 1680 0 0 0 4 6 0 0 17 0 32 0 735497228 1536942080 33377 268435456000 4194304 4580107 140733354159984 18446744073709551615 258651013786 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8147/tid=8160] ppid=8145 vsize=1501136 CPUtime=0.12 cores=0-31
/proc/8147/task/8160/stat : 8160 (strangenight2-m) D 8145 8147 8121 0 -1 4202560 1679 0 0 0 4 8 0 0 17 0 32 0 735497228 1537163264 33377 268435456000 4194304 4580107 140733354159984 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8147/tid=8161] ppid=8145 vsize=1501780 CPUtime=0.04 cores=0-31
/proc/8147/task/8161/stat : 8161 (strangenight2-m) S 8145 8147 8121 0 -1 4202560 269 0 0 0 3 1 0 0 16 0 32 0 735497228 1537822720 33408 268435456000 4194304 4580107 140733354159984 18446744073709551615 258651060958 0 0 4096 2 18446604479417875936 0 0 -1 25 0 0 0
[pid=8147/tid=8162] ppid=8145 vsize=1501780 CPUtime=0.09 cores=0-31
/proc/8147/task/8162/stat : 8162 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 1193 0 0 0 4 5 0 0 17 0 32 0 735497228 1537822720 33423 268435456000 4194304 4580107 140733354159984 18446744073709551615 4345288 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8147/tid=8163] ppid=8145 vsize=1501780 CPUtime=0.09 cores=0-31
/proc/8147/task/8163/stat : 8163 (strangenight2-m) D 8145 8147 8121 0 -1 4202560 1230 0 0 0 4 5 0 0 17 0 32 0 735497228 1537822720 33358 268435456000 4194304 4580107 140733354159984 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8147/tid=8164] ppid=8145 vsize=1501780 CPUtime=0.08 cores=0-31
################
# More data... #
################
/proc/8147/stat : 8147 (strangenight2-m) R 8145 8147 8121 0 -1 4202496 3339795 0 0 0 1994865 6974 0 0 25 0 32 0 735497227 7076483072 1379122 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294634 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/8147/statm: 1727657 1379122 379 95 0 1722639 0
[pid=8147/tid=8148] ppid=8145 vsize=6910628 CPUtime=626.16 cores=0-31
/proc/8147/task/8148/stat : 8148 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 99827 0 0 0 62408 208 0 0 25 0 32 0 735497228 7076483072 1379122 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=8147/tid=8149] ppid=8145 vsize=6910628 CPUtime=625.93 cores=0-31
/proc/8147/task/8149/stat : 8149 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 94254 0 0 0 62390 203 0 0 25 0 32 0 735497228 7076483072 1379122 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=8147/tid=8150] ppid=8145 vsize=6910628 CPUtime=625.89 cores=0-31
/proc/8147/task/8150/stat : 8150 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 110079 0 0 0 62393 196 0 0 25 0 32 0 735497228 7076483072 1379122 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=8147/tid=8151] ppid=8145 vsize=6910628 CPUtime=626.14 cores=0-31
/proc/8147/task/8151/stat : 8151 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 113924 0 0 0 62404 210 0 0 25 0 32 0 735497228 7076483072 1379122 268435456000 4194304 4580107 140733354159984 18446744073709551615 4292928 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8147/tid=8152] ppid=8145 vsize=6910628 CPUtime=626.1 cores=0-31
/proc/8147/task/8152/stat : 8152 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 94954 0 0 0 62405 205 0 0 25 0 32 0 735497228 7076483072 1379122 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8147/tid=8153] ppid=8145 vsize=6910628 CPUtime=626.16 cores=0-31
/proc/8147/task/8153/stat : 8153 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 105798 0 0 0 62385 231 0 0 25 0 32 0 735497228 7076483072 1379122 268435456000 4194304 4580107 140733354159984 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=8147/tid=8154] ppid=8145 vsize=6910628 CPUtime=626.04 cores=0-31
/proc/8147/task/8154/stat : 8154 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 114791 0 0 0 62372 232 0 0 25 0 32 0 735497228 7076483072 1379122 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8147/tid=8155] ppid=8145 vsize=6910628 CPUtime=626.21 cores=0-31
/proc/8147/task/8155/stat : 8155 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 102305 0 0 0 62384 237 0 0 25 0 32 0 735497228 7076483072 1379122 268435456000 4194304 4580107 140733354159984 18446744073709551615 4320840 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8147/tid=8156] ppid=8145 vsize=6910628 CPUtime=626.19 cores=0-31
/proc/8147/task/8156/stat : 8156 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 104809 0 0 0 62395 224 0 0 25 0 32 0 735497228 7076483072 1379122 268435456000 4194304 4580107 140733354159984 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8147/tid=8157] ppid=8145 vsize=6910628 CPUtime=625.6 cores=0-31
/proc/8147/task/8157/stat : 8157 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 104018 0 0 0 62355 205 0 0 25 0 32 0 735497228 7076483072 1379122 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8147/tid=8158] ppid=8145 vsize=6910628 CPUtime=625.63 cores=0-31
/proc/8147/task/8158/stat : 8158 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 89560 0 0 0 62344 219 0 0 25 0 32 0 735497228 7076483072 1379122 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8147/tid=8159] ppid=8145 vsize=6910628 CPUtime=626.11 cores=0-31
/proc/8147/task/8159/stat : 8159 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 90425 0 0 0 62396 215 0 0 25 0 32 0 735497228 7076483072 1379122 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8147/tid=8160] ppid=8145 vsize=6910628 CPUtime=626.22 cores=0-31
/proc/8147/task/8160/stat : 8160 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 114654 0 0 0 62405 217 0 0 25 0 32 0 735497228 7076483072 1379122 268435456000 4194304 4580107 140733354159984 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=8147/tid=8161] ppid=8145 vsize=6910628 CPUtime=625.94 cores=0-31
/proc/8147/task/8161/stat : 8161 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 73753 0 0 0 62409 185 0 0 25 0 32 0 735497228 7076483072 1379122 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8147/tid=8162] ppid=8145 vsize=6910628 CPUtime=626.15 cores=0-31
/proc/8147/task/8162/stat : 8162 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 112132 0 0 0 62382 233 0 0 25 0 32 0 735497228 7076483072 1379122 268435456000 4194304 4580107 140733354159984 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8147/tid=8163] ppid=8145 vsize=6910628 CPUtime=626.26 cores=0-31
/proc/8147/task/8163/stat : 8163 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 94137 0 0 0 62399 227 0 0 25 0 32 0 735497228 7076483072 1379122 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8147/tid=8164] ppid=8145 vsize=6910628 CPUtime=625.87 cores=0-31
/proc/8147/task/8164/stat : 8164 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 111560 0 0 0 62383 204 0 0 25 0 32 0 735497228 7076483072 1379122 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8147/tid=8165] ppid=8145 vsize=6910628 CPUtime=626.19 cores=0-31
/proc/8147/task/8165/stat : 8165 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 108241 0 0 0 62391 228 0 0 25 0 32 0 735497228 7076483072 1379122 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8147/tid=8166] ppid=8145 vsize=6910628 CPUtime=626.2 cores=0-31
/proc/8147/task/8166/stat : 8166 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 106879 0 0 0 62400 220 0 0 25 0 32 0 735497228 7076483072 1379122 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=8147/tid=8167] ppid=8145 vsize=6910628 CPUtime=626.03 cores=0-31
/proc/8147/task/8167/stat : 8167 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 89581 0 0 0 62387 216 0 0 25 0 32 0 735497228 7076483072 1379122 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=8147/tid=8168] ppid=8145 vsize=6910628 CPUtime=626.11 cores=0-31
/proc/8147/task/8168/stat : 8168 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 88744 0 0 0 62408 203 0 0 25 0 32 0 735497228 7076483072 1379122 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8147/tid=8169] ppid=8145 vsize=6910628 CPUtime=626.14 cores=0-31
/proc/8147/task/8169/stat : 8169 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 123333 0 0 0 62375 239 0 0 25 0 32 0 735497228 7076483072 1379122 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8147/tid=8170] ppid=8145 vsize=6910628 CPUtime=626.11 cores=0-31
/proc/8147/task/8170/stat : 8170 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 107191 0 0 0 62388 223 0 0 25 0 32 0 735497228 7076483072 1379123 268435456000 4194304 4580107 140733354159984 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=8147/tid=8171] ppid=8145 vsize=6910628 CPUtime=626.19 cores=0-31
/proc/8147/task/8171/stat : 8171 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 94641 0 0 0 62395 224 0 0 25 0 32 0 735497228 7076483072 1379123 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8147/tid=8172] ppid=8145 vsize=6910628 CPUtime=626.22 cores=0-31
/proc/8147/task/8172/stat : 8172 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 110634 0 0 0 62397 225 0 0 25 0 32 0 735497228 7076483072 1379123 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=8147/tid=8173] ppid=8145 vsize=6910628 CPUtime=626.17 cores=0-31
/proc/8147/task/8173/stat : 8173 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 80575 0 0 0 62412 205 0 0 25 0 32 0 735497228 7076483072 1379123 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=8147/tid=8174] ppid=8145 vsize=6910628 CPUtime=626.06 cores=0-31
/proc/8147/task/8174/stat : 8174 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 100141 0 0 0 62399 207 0 0 25 0 32 0 735497228 7076483072 1379123 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8147/tid=8175] ppid=8145 vsize=6910628 CPUtime=616.84 cores=0-31
/proc/8147/task/8175/stat : 8175 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 100061 0 0 0 61469 215 0 0 25 0 32 0 735497228 7076483072 1379123 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=8147/tid=8176] ppid=8145 vsize=6910628 CPUtime=618.72 cores=0-31
/proc/8147/task/8176/stat : 8176 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 107920 0 0 0 61651 221 0 0 25 0 32 0 735497228 7076483072 1379123 268435456000 4194304 4580107 140733354159984 18446744073709551615 4305192 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8147/tid=8177] ppid=8145 vsize=6910628 CPUtime=626.25 cores=0-31
/proc/8147/task/8177/stat : 8177 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 108642 0 0 0 62397 228 0 0 25 0 32 0 735497228 7076483072 1379123 268435456000 4194304 4580107 140733354159984 18446744073709551615 4316720 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=8147/tid=8178] ppid=8145 vsize=6910628 CPUtime=626 cores=0-31
/proc/8147/task/8178/stat : 8178 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 189885 0 0 0 62374 226 0 0 25 0 32 0 735497228 7076483072 1379123 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 20018.4
Current children cumulated vsize (KiB) 6910628
[startup+630.421 s]
/proc/loadavg: 32.18 31.98 31.86 33/445 8195
/proc/meminfo: memFree=249635996/264257624 swapFree=67111528/67111528
[pid=8147] ppid=8145 vsize=6910628 CPUtime=20070.1 cores=0-31
/proc/8147/stat : 8147 (strangenight2-m) R 8145 8147 8121 0 -1 4202496 3341001 0 0 0 2000038 6975 0 0 25 0 32 0 735497227 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294386 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/8147/statm: 1727657 1380327 379 95 0 1722639 0
[pid=8147/tid=8148] ppid=8145 vsize=6910628 CPUtime=627.77 cores=0-31
/proc/8147/task/8148/stat : 8148 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 99950 0 0 0 62569 208 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=8147/tid=8149] ppid=8145 vsize=6910628 CPUtime=627.55 cores=0-31
/proc/8147/task/8149/stat : 8149 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 94259 0 0 0 62552 203 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=8147/tid=8150] ppid=8145 vsize=6910628 CPUtime=627.51 cores=0-31
/proc/8147/task/8150/stat : 8150 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 110079 0 0 0 62555 196 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=8147/tid=8151] ppid=8145 vsize=6910628 CPUtime=627.75 cores=0-31
/proc/8147/task/8151/stat : 8151 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 114031 0 0 0 62565 210 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4303867 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8147/tid=8152] ppid=8145 vsize=6910628 CPUtime=627.72 cores=0-31
/proc/8147/task/8152/stat : 8152 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 95051 0 0 0 62567 205 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8147/tid=8153] ppid=8145 vsize=6910628 CPUtime=627.78 cores=0-31
/proc/8147/task/8153/stat : 8153 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 105798 0 0 0 62547 231 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=8147/tid=8154] ppid=8145 vsize=6910628 CPUtime=627.65 cores=0-31
/proc/8147/task/8154/stat : 8154 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 114797 0 0 0 62533 232 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8147/tid=8155] ppid=8145 vsize=6910628 CPUtime=627.83 cores=0-31
/proc/8147/task/8155/stat : 8155 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 102305 0 0 0 62546 237 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8147/tid=8156] ppid=8145 vsize=6910628 CPUtime=627.81 cores=0-31
/proc/8147/task/8156/stat : 8156 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 104809 0 0 0 62557 224 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4325173 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8147/tid=8157] ppid=8145 vsize=6910628 CPUtime=627.22 cores=0-31
/proc/8147/task/8157/stat : 8157 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 104018 0 0 0 62517 205 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8147/tid=8158] ppid=8145 vsize=6910628 CPUtime=627.25 cores=0-31
/proc/8147/task/8158/stat : 8158 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 89560 0 0 0 62506 219 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8147/tid=8159] ppid=8145 vsize=6910628 CPUtime=627.73 cores=0-31
/proc/8147/task/8159/stat : 8159 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 90425 0 0 0 62558 215 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8147/tid=8160] ppid=8145 vsize=6910628 CPUtime=627.84 cores=0-31
/proc/8147/task/8160/stat : 8160 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 114890 0 0 0 62567 217 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=8147/tid=8161] ppid=8145 vsize=6910628 CPUtime=627.56 cores=0-31
/proc/8147/task/8161/stat : 8161 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 73753 0 0 0 62571 185 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8147/tid=8162] ppid=8145 vsize=6910628 CPUtime=627.77 cores=0-31
/proc/8147/task/8162/stat : 8162 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 112257 0 0 0 62544 233 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8147/tid=8163] ppid=8145 vsize=6910628 CPUtime=627.87 cores=0-31
/proc/8147/task/8163/stat : 8163 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 94141 0 0 0 62560 227 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8147/tid=8164] ppid=8145 vsize=6910628 CPUtime=627.49 cores=0-31
/proc/8147/task/8164/stat : 8164 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 111654 0 0 0 62545 204 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8147/tid=8165] ppid=8145 vsize=6910628 CPUtime=627.81 cores=0-31
/proc/8147/task/8165/stat : 8165 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 108241 0 0 0 62553 228 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8147/tid=8166] ppid=8145 vsize=6910628 CPUtime=627.82 cores=0-31
/proc/8147/task/8166/stat : 8166 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 107033 0 0 0 62562 220 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294708 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=8147/tid=8167] ppid=8145 vsize=6910628 CPUtime=627.64 cores=0-31
/proc/8147/task/8167/stat : 8167 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 89581 0 0 0 62548 216 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=8147/tid=8168] ppid=8145 vsize=6910628 CPUtime=627.73 cores=0-31
/proc/8147/task/8168/stat : 8168 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 88744 0 0 0 62570 203 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8147/tid=8169] ppid=8145 vsize=6910628 CPUtime=627.75 cores=0-31
/proc/8147/task/8169/stat : 8169 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 123416 0 0 0 62536 239 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8147/tid=8170] ppid=8145 vsize=6910628 CPUtime=627.73 cores=0-31
/proc/8147/task/8170/stat : 8170 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 107191 0 0 0 62550 223 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=8147/tid=8171] ppid=8145 vsize=6910628 CPUtime=627.81 cores=0-31
/proc/8147/task/8171/stat : 8171 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 94641 0 0 0 62557 224 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8147/tid=8172] ppid=8145 vsize=6910628 CPUtime=627.83 cores=0-31
/proc/8147/task/8172/stat : 8172 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 110634 0 0 0 62558 225 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=8147/tid=8173] ppid=8145 vsize=6910628 CPUtime=627.78 cores=0-31
/proc/8147/task/8173/stat : 8173 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 80576 0 0 0 62573 205 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=8147/tid=8174] ppid=8145 vsize=6910628 CPUtime=627.68 cores=0-31
/proc/8147/task/8174/stat : 8174 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 100141 0 0 0 62561 207 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8147/tid=8175] ppid=8145 vsize=6910628 CPUtime=618.4 cores=0-31
/proc/8147/task/8175/stat : 8175 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 100232 0 0 0 61625 215 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=8147/tid=8176] ppid=8145 vsize=6910628 CPUtime=620.34 cores=0-31
/proc/8147/task/8176/stat : 8176 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 107920 0 0 0 61813 221 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8147/tid=8177] ppid=8145 vsize=6910628 CPUtime=627.87 cores=0-31
/proc/8147/task/8177/stat : 8177 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 108642 0 0 0 62559 228 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4293266 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=8147/tid=8178] ppid=8145 vsize=6910628 CPUtime=627.62 cores=0-31
/proc/8147/task/8178/stat : 8178 (strangenight2-m) R 8145 8147 8121 0 -1 4202560 189885 0 0 0 62536 226 0 0 25 0 32 0 735497228 7076483072 1380327 268435456000 4194304 4580107 140733354159984 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 20070.1
Current children cumulated vsize (KiB) 6910628
[startup+630.802 s]
/proc/loadavg: 32.18 31.98 31.86 33/445 8195
/proc/meminfo: memFree=249635996/264257624 swapFree=67111528/67111528
[pid=8147] ppid=8145 vsize=0 CPUtime=20077.6 cores=0-31
/proc/8147/stat : 8147 (strangenight2-m) Z 8145 8147 8121 0 -1 4203548 3341057 0 0 0 2000767 6991 0 0 25 0 2 0 735497227 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/8147/statm: 0 0 0 0 0 0 0
[pid=8147/tid=8152] ppid=8145 vsize=0 CPUtime=628.09 cores=0-31
/proc/8147/task/8152/stat : 8152 (strangenight2-m) R 8145 8147 8121 0 -1 4203588 95054 0 0 0 62590 219 0 0 25 0 2 0 735497228 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 20077.6
Current children cumulated vsize (KiB) 0
[startup+631.001 s]
/proc/loadavg: 32.18 31.98 31.86 33/445 8195
/proc/meminfo: memFree=249635996/264257624 swapFree=67111528/67111528
[pid=8147] ppid=8145 vsize=0 CPUtime=20077.8 cores=0-31
/proc/8147/stat : 8147 (strangenight2-m) Z 8145 8147 8121 0 -1 4203548 3341057 0 0 0 2000767 7011 0 0 25 0 2 0 735497227 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/8147/statm: 0 0 0 0 0 0 0
[pid=8147/tid=8152] ppid=8145 vsize=0 CPUtime=628.29 cores=0-31
/proc/8147/task/8152/stat : 8152 (strangenight2-m) R 8145 8147 8121 0 -1 4203588 95054 0 0 0 62590 239 0 0 25 0 2 0 735497228 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 20077.8
Current children cumulated vsize (KiB) 0
[startup+631.101 s]
/proc/loadavg: 32.18 31.98 31.86 33/445 8195
/proc/meminfo: memFree=249635996/264257624 swapFree=67111528/67111528
[pid=8147] ppid=8145 vsize=0 CPUtime=20077.9 cores=0-31
/proc/8147/stat : 8147 (strangenight2-m) Z 8145 8147 8121 0 -1 4203548 3341057 0 0 0 2000767 7021 0 0 25 0 2 0 735497227 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/8147/statm: 0 0 0 0 0 0 0
[pid=8147/tid=8152] ppid=8145 vsize=0 CPUtime=628.39 cores=0-31
/proc/8147/task/8152/stat : 8152 (strangenight2-m) R 8145 8147 8121 0 -1 4203588 95054 0 0 0 62590 249 0 0 25 0 2 0 735497228 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 20077.9
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 631.159
CPU time (s): 20077.9
CPU user time (s): 20007.7
CPU system time (s): 70.2753
CPU usage (%): 3181.12
Max. virtual memory (cumulated for all children) (KiB): 7041700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20007.7
system time used= 70.2753
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3341057
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= 1224264
involuntary context switches= 44817
runsolver used 3.58345 second user time and 14.4088 second system time
The end
Launcher Data
Begin job on node200 at 2011-05-24 14:28:28
IDJOB=3400618
IDBENCH=20387
IDSOLVER=1886
FILE ID=node200/3400618-1306240107
RUNJOBID= node200-1306240107-8135
PBS_JOBID= 13411753
Free space on /tmp= 62036 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/dated-5-13-u.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400618-1306240107/watcher-3400618-1306240107 -o /tmp/evaluation-result-3400618-1306240107/solver-3400618-1306240107 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400618-1306240107.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 45ee13b66821e6c36f3e38be418fa121
RANDOM SEED=547904875
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.049
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.09
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.049
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.07
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.049
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.049
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.09
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.049
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.17
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.049
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.08
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.049
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.06
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.049
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.08
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.049
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.049
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.09
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.049
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 : 3990.09
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.049
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.02
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.049
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.17
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.049
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.049
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 : 3989.98
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.049
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.06
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.049
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.04
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.049
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.09
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.049
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.09
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.049
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.049
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.05
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.049
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.07
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.049
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.08
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.049
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.23
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.049
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 : 3990.06
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.049
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.09
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.049
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.08
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.049
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.09
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.049
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.049
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.09
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.049
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.05
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.049
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.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255161984 kB
Buffers: 463052 kB
Cached: 8223992 kB
SwapCached: 0 kB
Active: 7775956 kB
Inactive: 980376 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255161984 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 16304 kB
Writeback: 0 kB
AnonPages: 70240 kB
Mapped: 13484 kB
Slab: 255156 kB
PageTables: 3996 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 183516 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= 62032 MiB
End job on node200 at 2011-05-24 14:38:59