Trace number 3400789
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 | application/jarvisalo/HWMCC10-combination-timeframe-expansion/ hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf |
MD5SUM | 7886cd26d6e0801ea382a1ffd6224023 |
Bench Category | APPLICATION (applications instances) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 18047.5 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 192503 |
Number of clauses | 564953 |
Sum of the clauses size | 1318221 |
Maximum clause length | 3 |
Minimum clause length | 1 |
Number of clauses of size 1 | 2 |
Number of clauses of size 2 | 376634 |
Number of clauses of size 3 | 188317 |
Number of clauses of size 4 | 0 |
Number of clauses of size 5 | 0 |
Number of clauses of size over 5 | 0 |
Solver Data
0.00/0.00 c Outputting solution to console
0.00/0.01 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-3400789-1306784046.cnf'
0.00/0.06 c -- header says num vars: 192503
0.00/0.06 c -- header says num clauses: 564953
91.27/5.80 c -- clauses added: 0 learnts, 564953 normals, 0 xors
91.27/5.80 c -- vars added 192503
91.27/5.80 c Parsing time: 0.84 s
91.27/5.80 c N st 0 0 192503 188317 376634 0 1318219 0 no data no data
111.59/6.51 c asymm cl-useful: 0/188316/188316 lits-rem:0 time: 0.70
159.40/7.93 c Flit: 1 Blit: 1956 bXBeca: 0 bXProp: 1678 Bins: 0 BRemL: 0 BRemN: 0 P: 13.7M T: 1.41
159.40/7.98 c Cleaning up after failed var search: 0.05 s
165.32/8.10 c Replacing 1678 vars Replaced 20908 lits Time: 0.11 s
187.09/10.02 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
190.24/10.12 c bin-w-bin subsume rem 1752 bins time: 0.10 s
199.58/10.48 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.35 s
213.00/10.98 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 136563 time: 0.34 s
221.65/11.23 c Removed useless bin: 3 fixed: 0 props: 11.20M time: 0.25 s
347.02/16.34 c lits-rem: 0 cl-subs: 7922 v-elim: 62955 v-fix: 0 time: 2.56 s
347.02/16.43 c Finding binary XORs T: 0.09 s found: 0
358.22/16.72 c Finding non-binary XORs: 0.16 s (found: 14022, avg size: 3.0)
358.22/16.72 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 2993 locsubst: 221 time: 0.10
358.22/16.77 c calculated reachability. Time: 0.01
361.38/16.82 c Calc default polars - time: 0.05 s pos: 5112 undec: 72874 neg: 114517
361.38/16.82 c =========================================================================================
361.38/16.82 c types(t): F = full restart, N = normal restart
361.38/16.82 c types(t): S = simplification begin/end, E = solution found
361.38/16.82 c restart types(rt): st = static, dy = dynamic
361.38/16.82 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
361.38/16.82 c B st 0 0 122918 143317 210502 0 913752 0 no data no data
387.50/17.66 c N dy 17 4196 122918 143317 210726 3930 913752 40909 5.83 6.21
422.61/18.79 c N dy 45 8251 122906 143317 213290 7805 913752 89020 6.07 7.95
463.54/20.02 c N dy 72 12335 122891 143317 215347 11771 913752 143264 6.25 6.74
517.87/21.76 c N dy 93 16923 122885 143317 215505 16153 913752 195790 6.22 6.66
581.74/23.74 c N dy 121 21016 122883 143317 217484 10560 913752 68261 6.32 6.87
660.75/26.53 c F st 146 25000 122874 143317 219446 14418 913752 122908 6.41 no data
663.65/26.67 c Replacing 110 vars Replaced 665 lits Time: 0.09 s
683.81/27.32 c Found part 18243 vars: 37 clauses: 90 lits size: 208
683.81/27.32 c Found part 18245 vars: 73 clauses: 178 lits size: 412
683.81/27.32 c Found part 18265 vars: 37 clauses: 90 lits size: 208
683.81/27.32 c Found part 18306 vars: 37 clauses: 90 lits size: 208
683.81/27.32 c Found part 19136 vars: 122572 clauses: 364076 lits size: 911808
683.81/27.32 c Found parts: 5 time: 0.78 s
683.81/27.32 c Solving part 18243
689.73/27.53 c N st 0 0 37 28 72 0 208 20 no data no data
689.73/27.53 c asymm cl-useful: 0/28/28 lits-rem:0 time: 0.00
689.73/27.53 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
689.73/27.55 c Finding binary XORs T: 0.02 s found: 0
689.73/27.56 c Replacing 2 vars Replaced 38 lits Time: 0.00 s
689.73/27.56 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
689.73/27.56 c calculated reachability. Time: 0.00
689.73/27.56 c Calc default polars - time: 0.00 s pos: 0 undec: 192470 neg: 33
689.73/27.56 c =========================================================================================
689.73/27.56 c types(t): F = full restart, N = normal restart
689.73/27.56 c types(t): S = simplification begin/end, E = solution found
689.73/27.56 c restart types(rt): st = static, dy = dynamic
689.73/27.56 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
689.73/27.56 c B st 0 0 35 28 66 0 204 12 no data no data
689.73/27.56 c E st 1 0 0 28 66 0 204 12 no data no data
689.73/27.57 c Verified 28 clauses.
689.73/27.57 c Verified 28 clauses.
689.73/27.57 c Solved part
689.73/27.57 c =========================================================================================
689.73/27.58 c Solving part 18265
694.00/27.78 c N st 0 0 37 28 68 0 208 12 no data no data
694.00/27.78 c asymm cl-useful: 0/28/28 lits-rem:0 time: 0.00
694.00/27.78 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
694.00/27.80 c Finding binary XORs T: 0.02 s found: 0
696.82/27.80 c Replacing 1 vars Replaced 17 lits Time: 0.01 s
696.82/27.81 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
696.82/27.81 c calculated reachability. Time: 0.00
696.82/27.81 c Calc default polars - time: 0.00 s pos: 0 undec: 192468 neg: 35
696.82/27.81 c =========================================================================================
696.82/27.81 c types(t): F = full restart, N = normal restart
696.82/27.81 c types(t): S = simplification begin/end, E = solution found
696.82/27.81 c restart types(rt): st = static, dy = dynamic
696.82/27.81 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
696.82/27.81 c B st 0 0 36 28 64 0 204 8 no data no data
696.82/27.81 c E st 1 0 0 28 64 0 204 8 no data no data
696.82/27.82 c Verified 28 clauses.
696.82/27.82 c Verified 28 clauses.
696.82/27.82 c Solved part
696.82/27.82 c =========================================================================================
696.82/27.83 c Solving part 18306
702.31/28.04 c N st 0 0 37 28 68 0 208 12 no data no data
702.31/28.04 c asymm cl-useful: 0/28/28 lits-rem:0 time: 0.00
702.31/28.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
702.31/28.06 c Finding binary XORs T: 0.02 s found: 0
702.31/28.06 c Replacing 1 vars Replaced 17 lits Time: 0.01 s
702.31/28.07 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
702.31/28.07 c calculated reachability. Time: 0.00
702.31/28.07 c Calc default polars - time: 0.00 s pos: 0 undec: 192468 neg: 35
702.31/28.07 c =========================================================================================
702.31/28.07 c types(t): F = full restart, N = normal restart
702.31/28.07 c types(t): S = simplification begin/end, E = solution found
702.31/28.07 c restart types(rt): st = static, dy = dynamic
702.31/28.07 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
702.31/28.07 c B st 0 0 36 28 64 0 204 8 no data no data
702.31/28.07 c E st 1 0 0 28 64 0 204 8 no data no data
702.31/28.08 c Verified 28 clauses.
702.31/28.08 c Verified 28 clauses.
702.31/28.08 c Solved part
702.31/28.08 c =========================================================================================
702.31/28.09 c Solving part 18245
711.03/28.30 c N st 0 0 73 56 146 0 412 48 no data no data
711.03/28.30 c asymm cl-useful: 0/56/56 lits-rem:0 time: 0.00
711.03/28.31 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 8 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
711.03/28.33 c Finding binary XORs T: 0.02 s found: 0
711.03/28.33 c Replacing 8 vars Replaced 148 lits Time: 0.01 s
711.03/28.34 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
711.03/28.34 c calculated reachability. Time: 0.00
711.03/28.34 c Calc default polars - time: 0.01 s pos: 0 undec: 192444 neg: 59
711.03/28.34 c =========================================================================================
711.03/28.34 c types(t): F = full restart, N = normal restart
711.03/28.34 c types(t): S = simplification begin/end, E = solution found
711.03/28.34 c restart types(rt): st = static, dy = dynamic
711.03/28.34 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
711.03/28.34 c B st 0 0 65 56 130 0 408 20 no data no data
711.03/28.34 c E st 1 0 0 56 130 0 408 20 no data no data
711.03/28.35 c Verified 56 clauses.
711.03/28.35 c Verified 56 clauses.
711.03/28.35 c Solved part
711.03/28.35 c =========================================================================================
711.03/28.36 c Coming back to original instance
711.03/28.36 c =========================================================================================
713.90/28.41 c N st 147 25250 122572 143125 218818 14667 911808 126990 6.41 no data
790.24/30.82 c N dy 152 30001 122570 143125 218920 19283 911808 196277 6.41 no data
790.24/30.82 c S st 152 30001 122570 143125 218920 19283 911808 196277 6.41 no data
802.40/31.25 c S st 152 30503 122569 143125 220364 19720 911808 203322 6.41 no data
805.59/31.33 c x-sub: 110 x-cut: 0 vfix: 0 v-elim: 680 locsubst: 182 time: 0.08
863.11/33.18 c Flit: 1 Blit: 45 bXBeca: 0 bXProp: 5172 Bins: 115781 BRemL: 67775 BRemN: 7 P: 17.9M T: 1.84
869.51/33.36 c Replacing 5224 vars Replaced 128622 lits Time: 0.17 s
872.71/33.48 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
875.91/33.54 c bin-w-bin subsume rem 9872 bins time: 0.06 s
882.29/33.71 c subs with bin: 744 lits-rem: 1901 v-fix: 0 time: 0.17 s
888.69/33.92 c Subs w/ non-existent bins: 13 l-rem: 6 v-fix: 0 done: 116613 time: 0.20 s
892.48/34.10 c Removed useless bin: 11 fixed: 0 props: 3.37M time: 0.18 s
946.15/35.79 c lits-rem: 409 cl-subs: 15934 v-elim: 61656 v-fix: 6 time: 1.66 s
949.34/35.88 c subs with bin: 78 lits-rem: 216 v-fix: 0 time: 0.05 s
955.74/36.06 c lits-rem: 54 cl-subs: 461 v-elim: 0 v-fix: 0 time: 0.11 s
968.47/36.49 c asymm cl-useful: 1121/160494/160494 lits-rem:1121 time: 0.43
971.66/36.53 c calculated reachability. Time: 0.01
971.66/36.53 c N dy 152 30503 54951 160494 44579 5916 654463 45688 6.41 no data
971.66/36.57 c Finding binary XORs T: 0.05 s found: 10
1003.61/37.51 c N dy 179 34605 54951 160494 44600 9922 654463 91477 6.47 6.83
1029.20/38.37 c N dy 207 38790 54950 160494 45020 14009 654463 140628 6.54 7.02
1068.00/39.53 c N dy 237 42815 54948 160494 45035 9614 654463 58957 6.62 8.90
1155.30/42.57 c S st 260 45754 54946 160494 50987 12499 654463 108357 6.72 5.90
1161.69/42.76 c S st 260 46255 54945 160494 50994 12988 654463 113190 6.72 no data
1161.69/42.82 c x-sub: 52 x-cut: 0 vfix: 0 v-elim: 358 locsubst: 494 time: 0.06
1180.85/43.31 c Flit: 0 Blit: 94 bXBeca: 0 bXProp: 681 Bins: 1398 BRemL: 2766 BRemN: 23 P: 3.9M T: 0.49
1184.05/43.41 c Replacing 797 vars Replaced 18143 lits Time: 0.09 s
1187.25/43.51 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
1187.25/43.54 c bin-w-bin subsume rem 4069 bins time: 0.03 s
1190.45/43.69 c subs with bin: 259 lits-rem: 339 v-fix: 0 time: 0.15 s
1193.63/43.76 c Subs w/ non-existent bins: 9 l-rem: 4 v-fix: 0 done: 53696 time: 0.07 s
1196.83/43.84 c Removed useless bin: 6 fixed: 0 props: 0.92M time: 0.08 s
1225.58/44.72 c lits-rem: 165 cl-subs: 1060 v-elim: 447 v-fix: 0 time: 0.88 s
1228.78/44.81 c subs with bin: 59 lits-rem: 242 v-fix: 0 time: 0.05 s
1231.98/45.01 c lits-rem: 96 cl-subs: 213 v-elim: 0 v-fix: 0 time: 0.12 s
1235.76/45.06 c vivif2 -- cl tried 159562 cl shrink 27 lits rem 27 time: 0.05
1235.76/45.07 c vivif2 -- cl tried 12242 cl shrink 364 lits rem 505 time: 0.01
1251.14/45.58 c asymm cl-useful: 26/159562/159562 lits-rem:26 time: 0.51
1254.35/45.62 c calculated reachability. Time: 0.02
1254.35/45.62 c N dy 260 46255 53249 159562 42469 12242 644573 94787 6.72 no data
1270.93/46.17 c N dy 264 50959 53249 159562 43283 16838 644573 141267 6.61 6.99
1289.50/46.72 c N dy 282 55133 53245 159562 43296 20960 644573 186061 6.59 6.97
1306.07/47.25 c N dy 296 59145 53245 159562 43900 24925 644573 230149 6.55 6.97
1315.04/47.58 c Finding binary XORs T: 0.06 s found: 129
1327.84/47.91 c N dy 311 63296 53244 159554 43993 29028 644504 274486 6.53 7.08
1347.00/48.58 c N dy 332 67969 53244 159554 44058 18917 644503 119629 6.53 6.93
1353.40/48.78 c S st 338 69382 53244 159554 44061 20319 644503 134875 6.52 5.70
1362.99/49.00 c S st 338 69887 53242 159554 44071 20810 644503 138910 6.52 no data
1362.99/49.06 c x-sub: 110 x-cut: 48 vfix: 0 v-elim: 227 locsubst: 36 time: 0.06
1379.61/49.53 c Flit: 0 Blit: 42 bXBeca: 0 bXProp: 316 Bins: 1020 BRemL: 743 BRemN: 0 P: 3.9M T: 0.47
1382.16/49.62 c Replacing 483 vars Replaced 11956 lits Time: 0.09 s
1385.36/49.73 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
1385.36/49.76 c bin-w-bin subsume rem 1122 bins time: 0.03 s
1391.76/49.90 c subs with bin: 44 lits-rem: 0 v-fix: 0 time: 0.14 s
1391.76/49.98 c Subs w/ non-existent bins: 9 l-rem: 0 v-fix: 0 done: 52490 time: 0.07 s
1394.96/50.06 c Removed useless bin: 0 fixed: 0 props: 0.89M time: 0.08 s
1407.75/50.46 c lits-rem: 18 cl-subs: 541 v-elim: 52 v-fix: 0 time: 0.41 s
1411.53/50.56 c subs with bin: 144 lits-rem: 184 v-fix: 0 time: 0.05 s
1417.33/50.77 c lits-rem: 159 cl-subs: 233 v-elim: 0 v-fix: 0 time: 0.13 s
1420.52/50.82 c vivif2 -- cl tried 158802 cl shrink 0 lits rem 0 time: 0.05
1420.52/50.84 c vivif2 -- cl tried 20250 cl shrink 743 lits rem 1221 time: 0.01
1436.52/51.34 c asymm cl-useful: 35/158802/158802 lits-rem:43 time: 0.51
1436.52/51.39 c calculated reachability. Time: 0.01
1436.52/51.39 c N dy 338 69887 52438 158798 42172 20245 638900 132160 6.52 no data
1458.88/52.01 c N dy 357 74421 52438 158798 44449 24730 638900 189221 6.51 6.92
1478.07/52.68 c N dy 382 79189 52438 158798 44459 29433 638900 245130 6.52 6.90
1503.64/53.46 c N dy 407 84274 52437 158798 44726 34467 638900 304605 6.52 6.96
1520.25/53.99 c F st 425 87500 52437 158798 44794 19072 638900 95619 6.52 no data
1552.14/55.01 c N st 430 90796 52437 158797 44798 22339 638887 147994 6.52 no data
1580.23/55.86 c N dy 449 96681 52437 158797 44982 28168 638887 216592 6.52 8.53
1605.01/56.66 c N dy 477 102917 52437 158797 45043 34316 638887 295506 6.53 6.90
1614.60/56.96 c S st 488 104830 52437 158797 45047 36205 638887 318248 6.53 no data
1624.84/57.26 c S st 488 105330 52436 158797 45056 36687 638887 321463 6.53 no data
1627.36/57.32 c x-sub: 18 x-cut: 0 vfix: 0 v-elim: 201 locsubst: 38 time: 0.06
1643.35/57.82 c Flit: 0 Blit: 2 bXBeca: 0 bXProp: 571 Bins: 1092 BRemL: 991 BRemN: 1 P: 4.2M T: 0.49
1646.56/57.92 c Replacing 590 vars Replaced 14097 lits Time: 0.09 s
1649.76/58.03 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
1649.76/58.06 c bin-w-bin subsume rem 2275 bins time: 0.03 s
1656.74/58.22 c subs with bin: 21 lits-rem: 4 v-fix: 0 time: 0.14 s
1656.74/58.30 c Subs w/ non-existent bins: 6 l-rem: 0 v-fix: 0 done: 51643 time: 0.07 s
1659.97/58.38 c Removed useless bin: 1 fixed: 0 props: 0.87M time: 0.08 s
1672.11/58.80 c lits-rem: 19 cl-subs: 627 v-elim: 27 v-fix: 0 time: 0.41 s
1678.50/58.94 c subs with bin: 178 lits-rem: 427 v-fix: 0 time: 0.06 s
1688.10/59.20 c lits-rem: 376 cl-subs: 471 v-elim: 0 v-fix: 0 time: 0.18 s
1688.10/59.24 c vivif2 -- cl tried 158091 cl shrink 0 lits rem 0 time: 0.05
1688.10/59.28 c vivif2 -- cl tried 35798 cl shrink 2497 lits rem 3871 time: 0.03
1707.26/59.86 c asymm cl-useful: 12/158091/158091 lits-rem:12 time: 0.56
1710.45/59.91 c calculated reachability. Time: 0.02
1710.45/59.91 c N dy 488 105330 51616 158091 41685 35796 634417 304529 6.53 no data
1747.72/61.14 c N dy 520 112377 51616 158091 42403 22810 634417 109965 6.52 6.91
1757.03/61.40 c Finding binary XORs T: 0.06 s found: 123
1785.78/62.36 c N dy 557 119641 51613 158087 42896 29994 634373 194170 6.52 7.27
1826.88/63.66 c N dy 603 127294 51613 158087 43189 37588 634373 285404 6.54 7.00
1874.76/65.14 c N dy 657 135691 51611 158087 43298 45889 634373 386331 6.57 6.97
1925.89/66.72 c N dy 701 144763 51609 158087 43663 34933 634373 221051 6.57 6.94
1980.15/68.43 c N dy 752 154783 51608 158087 43754 44837 634373 335386 6.58 7.03
1996.13/68.97 c S st 769 157996 51608 158087 43927 48029 634373 373205 6.58 no data
2006.32/69.24 c S st 769 158498 51608 158087 43930 48524 634373 377648 6.58 no data
2006.32/69.30 c x-sub: 20 x-cut: 0 vfix: 0 v-elim: 200 locsubst: 40 time: 0.06
2024.90/69.80 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 580 Bins: 715 BRemL: 533 BRemN: 0 P: 4.4M T: 0.50
2028.09/69.91 c Replacing 723 vars Replaced 18275 lits Time: 0.10 s
2031.29/70.01 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
2031.29/70.04 c bin-w-bin subsume rem 1338 bins time: 0.03 s
2034.49/70.18 c subs with bin: 22 lits-rem: 0 v-fix: 0 time: 0.14 s
2037.69/70.26 c Subs w/ non-existent bins: 2 l-rem: 0 v-fix: 0 done: 50684 time: 0.07 s
2041.48/70.34 c Removed useless bin: 1 fixed: 0 props: 0.86M time: 0.08 s
2053.62/70.76 c lits-rem: 35 cl-subs: 814 v-elim: 71 v-fix: 0 time: 0.42 s
2060.02/70.90 c subs with bin: 92 lits-rem: 288 v-fix: 0 time: 0.06 s
2066.42/71.17 c lits-rem: 485 cl-subs: 537 v-elim: 0 v-fix: 0 time: 0.19 s
2069.61/71.21 c vivif2 -- cl tried 157132 cl shrink 0 lits rem 0 time: 0.05
2069.61/71.25 c vivif2 -- cl tried 47697 cl shrink 2759 lits rem 4152 time: 0.04
2088.77/71.86 c asymm cl-useful: 27/157132/157132 lits-rem:27 time: 0.61
2091.97/71.91 c calculated reachability. Time: 0.01
2091.97/71.91 c N dy 769 158498 50613 157132 41240 47697 628638 362566 6.58 no data
2136.72/73.37 c N dy 815 168624 50611 157132 41835 36469 628638 207609 6.58 6.96
2194.24/75.19 c N dy 868 179410 50611 157132 41895 47160 628638 337009 6.59 6.95
2210.22/75.61 c Finding binary XORs T: 0.06 s found: 224
2267.71/77.44 c N dy 931 191066 50609 157130 42284 36516 628612 175281 6.60 7.00
2334.77/79.51 c N dy 1002 203315 50608 157130 42584 48646 628612 323084 6.61 7.10
2408.29/81.85 c N dy 1077 216312 50607 157130 43281 61484 628612 477508 6.63 8.62
2481.77/84.11 c N dy 1152 230193 50605 157130 43543 52088 628612 333922 6.64 7.07
2523.30/85.41 c S st 1206 237749 50605 157130 43773 59569 628612 432756 6.66 6.51
2529.69/85.66 c S st 1206 238251 50604 157130 43776 60066 628612 437185 6.66 no data
2529.69/85.71 c x-sub: 25 x-cut: 0 vfix: 0 v-elim: 80 locsubst: 52 time: 0.06
2548.84/86.22 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 428 Bins: 327 BRemL: 498 BRemN: 2 P: 4.6M T: 0.50
2552.05/86.33 c Replacing 663 vars Replaced 15959 lits Time: 0.10 s
2555.24/86.43 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
2555.24/86.46 c bin-w-bin subsume rem 1132 bins time: 0.03 s
2561.64/86.60 c subs with bin: 37 lits-rem: 12 v-fix: 0 time: 0.14 s
2561.64/86.69 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 49857 time: 0.08 s
2564.83/86.76 c Removed useless bin: 0 fixed: 0 props: 0.84M time: 0.08 s
2580.79/87.20 c lits-rem: 431 cl-subs: 880 v-elim: 154 v-fix: 0 time: 0.43 s
2583.99/87.35 c subs with bin: 311 lits-rem: 290 v-fix: 0 time: 0.07 s
2593.59/87.64 c lits-rem: 493 cl-subs: 634 v-elim: 0 v-fix: 0 time: 0.21 s
2593.59/87.69 c vivif2 -- cl tried 155457 cl shrink 3 lits rem 3 time: 0.05
2596.78/87.73 c vivif2 -- cl tried 58911 cl shrink 2847 lits rem 4453 time: 0.05
2615.94/88.39 c asymm cl-useful: 25/155455/155455 lits-rem:25 time: 0.66
2619.13/88.44 c calculated reachability. Time: 0.01
2619.13/88.44 c N dy 1206 238251 49703 155455 41066 58911 621662 419805 6.66 no data
2705.45/91.19 c N dy 1289 253906 49700 155455 41626 49769 621662 274732 6.67 7.07
2731.01/91.96 c Finding binary XORs T: 0.06 s found: 127
2791.68/93.82 c N dy 1377 270263 49699 155452 41846 65942 621623 486289 6.68 7.09
2890.73/96.91 c N dy 1474 287675 49694 155452 42217 57830 621623 341644 6.69 7.06
3005.75/100.58 c N dy 1597 306159 49689 155452 42678 76125 621622 570431 6.71 7.09
3008.94/100.62 c F st 1598 306250 49689 155452 42678 76216 621622 571371 6.71 no data
3012.14/100.72 c Replacing 127 vars Replaced 3933 lits Time: 0.07 s
3134.12/104.55 c N dy 1697 325792 49559 155435 42819 69336 621434 470691 6.73 7.97
3251.73/108.27 c Finding binary XORs T: 0.06 s found: 511
3254.93/108.34 c Replacing 511 vars Replaced 10440 lits Time: 0.07 s
3267.71/108.81 c N dy 1823 345821 49043 155405 42551 61672 621214 330349 6.75 8.14
3341.82/111.03 c S st 1897 357376 49040 155405 43013 73065 621214 474873 6.76 no data
3347.61/111.26 c S st 1897 357883 49040 155405 43015 73566 621214 480296 6.76 no data
3350.80/111.32 c x-sub: 82 x-cut: 0 vfix: 0 v-elim: 99 locsubst: 16 time: 0.06
3366.79/111.84 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 93 Bins: 53 BRemL: 617 BRemN: 2 P: 4.8M T: 0.52
3369.98/111.95 c Replacing 101 vars Replaced 2567 lits Time: 0.10 s
3373.18/112.06 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3373.18/112.09 c bin-w-bin subsume rem 975 bins time: 0.03 s
3380.17/112.23 c subs with bin: 45 lits-rem: 6 v-fix: 0 time: 0.14 s
3382.76/112.31 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 48840 time: 0.08 s
3382.76/112.39 c Removed useless bin: 0 fixed: 0 props: 0.83M time: 0.08 s
3401.93/112.96 c lits-rem: 246 cl-subs: 855 v-elim: 189 v-fix: 0 time: 0.57 s
3408.33/113.12 c subs with bin: 257 lits-rem: 297 v-fix: 0 time: 0.07 s
3417.90/113.44 c lits-rem: 728 cl-subs: 1012 v-elim: 0 v-fix: 0 time: 0.25 s
3417.90/113.49 c vivif2 -- cl tried 154043 cl shrink 0 lits rem 0 time: 0.05
3421.09/113.55 c vivif2 -- cl tried 72263 cl shrink 2306 lits rem 3483 time: 0.06
3447.27/114.34 c asymm cl-useful: 44/154043/154043 lits-rem:44 time: 0.78
3447.27/114.38 c calculated reachability. Time: 0.02
3447.27/114.39 c N dy 1897 357883 48651 154043 41133 72263 615149 463981 6.76 no data
3593.64/118.96 c N dy 2032 378043 48644 154043 41906 63525 615149 324800 6.78 7.30
3737.44/123.47 c N dy 2170 398073 48637 154043 42603 83368 615149 580617 6.80 7.25
3791.76/125.18 c Finding binary XORs T: 0.06 s found: 454
3878.01/127.88 c N dy 2309 418170 48629 154021 43154 73728 614911 423150 6.82 7.20
4018.60/132.30 c N dy 2428 438312 48625 154021 43779 93688 614911 680798 6.83 7.20
4156.02/136.52 c N dy 2566 458508 48615 154021 44404 83491 614910 518950 6.86 7.23
4232.73/138.98 c Finding binary XORs T: 0.06 s found: 628
4235.93/139.07 c Replacing 1082 vars Replaced 26767 lits Time: 0.09 s
4306.23/141.24 c N dy 2700 478607 47518 153984 43045 102829 614428 773862 6.88 7.29
4446.85/145.64 c N dy 2835 498793 47507 153984 43651 91810 614428 589279 6.89 7.36
4587.49/150.01 c N dy 2967 518811 47486 153984 44456 79474 614427 399455 6.91 7.35
4683.38/153.05 c Finding binary XORs T: 0.06 s found: 623
4686.58/153.13 c Replacing 623 vars Replaced 14778 lits Time: 0.08 s
4708.97/153.81 c S st 3072 536825 46853 153933 43606 96686 613707 621005 6.92 no data
4715.95/154.06 c S st 3072 537326 46853 153933 43606 97186 613707 625992 6.92 no data
4718.54/154.12 c x-sub: 76 x-cut: 0 vfix: 0 v-elim: 29 locsubst: 166 time: 0.06
4734.53/154.66 c Flit: 1 Blit: 1 bXBeca: 0 bXProp: 76 Bins: 89 BRemL: 668 BRemN: 4 P: 5.3M T: 0.54
4737.73/154.77 c Replacing 144 vars Replaced 2668 lits Time: 0.10 s
4740.93/154.88 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
4744.12/154.91 c bin-w-bin subsume rem 1492 bins time: 0.03 s
4747.92/155.04 c subs with bin: 24 lits-rem: 16 v-fix: 0 time: 0.13 s
4747.92/155.12 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 46670 time: 0.07 s
4751.12/155.20 c Removed useless bin: 1 fixed: 0 props: 0.82M time: 0.08 s
4766.46/155.66 c lits-rem: 674 cl-subs: 1695 v-elim: 371 v-fix: 0 time: 0.46 s
4772.89/155.85 c subs with bin: 644 lits-rem: 689 v-fix: 0 time: 0.08 s
4786.27/156.24 c lits-rem: 1104 cl-subs: 1753 v-elim: 0 v-fix: 0 time: 0.31 s
4786.27/156.29 c vivif2 -- cl tried 151175 cl shrink 0 lits rem 0 time: 0.05
4788.83/156.37 c vivif2 -- cl tried 94712 cl shrink 2635 lits rem 4001 time: 0.08
4814.42/157.15 c asymm cl-useful: 51/140569/151175 lits-rem:54 time: 0.78
4814.42/157.20 c calculated reachability. Time: 0.01
4814.42/157.20 c N dy 3072 537326 46299 151174 41004 94712 603174 600992 6.92 no data
4967.84/161.99 c N dy 3206 557357 46265 151174 42062 114457 603174 852118 6.93 7.96
5114.88/166.52 c N dy 3326 577361 46241 151174 42640 100153 603174 636249 6.94 7.33
5169.82/168.26 c Finding binary XORs T: 0.06 s found: 653
5173.05/168.35 c Replacing 653 vars Replaced 15644 lits Time: 0.08 s
5287.47/171.90 c N dy 3441 597495 45558 151107 42350 86189 602195 424576 6.94 7.55
5434.51/176.59 c N dy 3552 617594 45528 151107 43195 106070 602195 672259 6.95 8.86
5539.98/179.80 c Finding binary XORs T: 0.06 s found: 822
5539.98/179.89 c Replacing 822 vars Replaced 21212 lits Time: 0.09 s
5600.70/181.78 c N dy 3680 637617 44662 151008 42588 90645 600756 449145 6.96 8.65
5763.71/186.80 c N dy 3801 657854 44620 151008 43363 110643 600756 701627 6.97 7.58
5908.14/191.37 c Finding binary XORs T: 0.06 s found: 841
5911.37/191.47 c Replacing 841 vars Replaced 22402 lits Time: 0.10 s
5943.30/192.43 c N dy 3924 677914 43737 150917 42584 129640 599449 955232 6.98 9.48
6119.10/197.94 c N dy 4061 697948 43659 150917 43883 113962 599449 723178 6.99 7.38
6271.94/202.78 c Finding binary XORs T: 0.06 s found: 827
6275.14/202.88 c Replacing 827 vars Replaced 20272 lits Time: 0.09 s
6300.71/203.67 c N dy 4191 718005 42766 150764 42776 133194 597255 980629 7.00 7.45
6454.14/208.44 c N dy 4298 738113 42715 150764 43566 116362 597255 717337 7.00 7.77
6629.96/213.92 c N dy 4424 758143 42656 150764 44375 136126 597255 971958 7.01 10.37
6661.88/214.91 c Finding binary XORs T: 0.06 s found: 740
6665.07/215.01 c Replacing 740 vars Replaced 24893 lits Time: 0.10 s
6802.51/219.32 c N dy 4556 778154 41833 150631 43913 117773 595318 711677 7.02 7.41
6962.93/224.36 c N dy 4680 798244 41772 150631 44887 137529 595318 968915 7.02 7.44
6991.11/225.28 c Finding binary XORs T: 0.06 s found: 834
6994.30/225.37 c Replacing 834 vars Replaced 25013 lits Time: 0.09 s
7039.04/226.75 c S st 4731 805989 40915 150474 43099 143899 593081 1054369 7.03 no data
7048.64/227.07 c S st 4731 806490 40914 150474 43100 144394 593081 1059592 7.03 no data
7051.84/227.14 c x-sub: 545 x-cut: 0 vfix: 0 v-elim: 59 locsubst: 282 time: 0.07
7071.65/227.73 c Flit: 1 Blit: 11 bXBeca: 0 bXProp: 22 Bins: 118 BRemL: 817 BRemN: 32 P: 6.4M T: 0.59
7074.21/227.85 c Replacing 101 vars Replaced 1848 lits Time: 0.11 s
7077.40/227.96 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
7077.40/227.99 c bin-w-bin subsume rem 2576 bins time: 0.03 s
7080.60/228.09 c subs with bin: 6 lits-rem: 0 v-fix: 0 time: 0.09 s
7083.79/228.16 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 40742 time: 0.07 s
7087.00/228.23 c Removed useless bin: 20 fixed: 0 props: 0.76M time: 0.07 s
7099.79/228.70 c lits-rem: 766 cl-subs: 3555 v-elim: 1031 v-fix: 2 time: 0.47 s
7112.56/229.01 c subs with bin: 1376 lits-rem: 1455 v-fix: 0 time: 0.10 s
7134.95/229.76 c lits-rem: 2462 cl-subs: 4275 v-elim: 0 v-fix: 0 time: 0.67 s
7134.95/229.81 c vivif2 -- cl tried 144243 cl shrink 38 lits rem 38 time: 0.05
7141.97/229.95 c vivif2 -- cl tried 138532 cl shrink 6919 lits rem 11044 time: 0.14
7141.97/229.98 c asymm cl-useful: 0/3674/144243 lits-rem:0 time: 0.03
7144.52/230.03 c calculated reachability. Time: 0.01
7144.52/230.03 c N dy 4731 806490 39709 144243 38929 138532 567959 1004525 7.03 no data
7297.95/234.86 c N dy 4850 826522 39622 144243 40623 117276 567959 686673 7.03 7.43
7400.20/238.04 c Finding binary XORs T: 0.06 s found: 760
7403.40/238.14 c Replacing 760 vars Replaced 22504 lits Time: 0.10 s
7473.71/240.40 c N dy 4960 846537 38784 144053 39904 136381 565795 936263 7.03 7.42
7652.68/245.98 c N dy 5076 866786 38704 144053 41326 117740 565795 653413 7.04 7.44
7694.24/247.21 c Finding binary XORs T: 0.06 s found: 635
7697.44/247.30 c Replacing 635 vars Replaced 22455 lits Time: 0.09 s
7828.48/251.44 c N dy 5184 886921 37980 143892 40875 136381 563700 887134 7.03 7.57
8020.90/257.42 c N dy 5307 906927 37893 143892 41890 116939 563700 611661 7.04 7.46
8045.84/258.26 c Finding binary XORs T: 0.06 s found: 531
8049.04/258.35 c Replacing 531 vars Replaced 18202 lits Time: 0.08 s
8180.08/262.45 c N dy 5396 927017 37311 143718 41141 135327 561270 842755 7.04 8.82
8352.65/267.86 c N dy 5506 947190 37260 143718 42211 155233 561270 1094231 7.04 7.41
8381.41/268.78 c Finding binary XORs T: 0.06 s found: 611
8384.61/268.88 c Replacing 611 vars Replaced 30669 lits Time: 0.10 s
8541.20/273.72 c N dy 5603 967195 36588 143575 42086 133772 559503 789327 7.03 7.41
8701.02/278.78 c N dy 5693 987348 36528 143575 42801 153473 559503 1025560 7.03 7.54
8768.15/280.88 c Finding binary XORs T: 0.06 s found: 417
8771.35/280.99 c Replacing 417 vars Replaced 35545 lits Time: 0.10 s
8899.84/284.97 c N dy 5813 1007435 36066 143419 42045 131471 557455 726630 7.03 8.87
9091.01/290.98 c N dy 5945 1027667 36038 143419 42359 151539 557455 987952 7.04 7.46
9305.18/297.66 c Finding binary XORs T: 0.06 s found: 286
9318.53/298.04 c N dy 6074 1047685 36013 143348 42712 128558 556484 650545 7.04 7.86
9512.93/304.19 c N dy 6199 1067703 36004 143348 42924 148410 556484 913294 7.05 9.54
9560.86/305.66 c F st 6224 1071875 36000 143348 42967 152565 556484 967111 7.05 no data
9564.66/305.79 c Replacing 286 vars Replaced 15846 lits Time: 0.09 s
9573.64/306.05 c Found part 3019 vars: 5 clauses: 16 lits size: 56
9573.64/306.05 c Found part 4694 vars: 35545 clauses: 180397 lits size: 556044
9573.64/306.05 c Found parts: 2 time: 0.39 s
9573.64/306.05 c Solving part 3019
9580.04/306.24 c N st 0 0 5 16 0 0 56 0 no data no data
9580.04/306.24 c asymm cl-useful: 0/16/16 lits-rem:0 time: 0.00
9580.04/306.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
9580.04/306.26 c Finding binary XORs T: 0.01 s found: 0
9580.04/306.26 c Finding non-binary XORs: 0.00 s (found: 3, avg size: 3.3)
9580.04/306.26 c calculated reachability. Time: 0.00
9580.04/306.27 c Calc default polars - time: 0.00 s pos: 0 undec: 192498 neg: 5
9580.04/306.27 c =========================================================================================
9580.04/306.27 c types(t): F = full restart, N = normal restart
9580.04/306.27 c types(t): S = simplification begin/end, E = solution found
9580.04/306.27 c restart types(rt): st = static, dy = dynamic
9580.04/306.27 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
9580.04/306.27 c B st 0 0 5 0 0 0 10 0 no data no data
9580.04/306.27 c E st 1 0 0 0 0 0 10 0 no data no data
9580.04/306.27 c Verified 3 clauses.
9580.04/306.27 c Verified 3 clauses.
9580.04/306.27 c Solved part
9580.04/306.27 c =========================================================================================
9580.04/306.28 c Coming back to original instance
9580.04/306.28 c =========================================================================================
9762.25/311.94 c N dy 6290 1087785 35698 143292 42467 167603 556044 1172642 7.05 8.17
9995.60/319.21 c N dy 6421 1107812 35686 143292 42675 143440 556044 804699 7.06 7.43
10181.00/325.04 c Finding binary XORs T: 0.06 s found: 213
10219.37/326.27 c N dy 6541 1127887 35676 143258 42699 163316 555626 1059123 7.06 7.69
10471.86/334.16 c N dy 6654 1148023 35668 143258 42898 183333 555626 1310472 7.06 7.62
10708.40/341.52 c N dy 6775 1168071 35660 143258 43009 158307 555626 950001 7.07 7.68
10971.12/349.79 c N dy 6899 1188138 35651 143258 43187 178302 555626 1203358 7.07 7.59
11133.55/354.88 c Finding binary XORs T: 0.06 s found: 194
11136.71/354.98 c Replacing 407 vars Replaced 21775 lits Time: 0.10 s
11258.16/358.77 c N dy 7026 1208169 35239 143219 42380 150858 555055 815031 7.08 7.46
11280.55/359.42 c S st 7034 1209736 35239 143219 42380 152418 555055 833148 7.08 6.78
11290.77/359.77 c S st 7034 1210238 35239 143219 42382 152918 555055 838531 7.08 no data
11293.36/359.84 c x-sub: 267 x-cut: 0 vfix: 0 v-elim: 15 locsubst: 0 time: 0.07
11312.52/360.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 10 Bins: 19 BRemL: 1057 BRemN: 51 P: 6.4M T: 0.59
11315.72/360.56 c Replacing 10 vars Replaced 417 lits Time: 0.12 s
11318.92/360.67 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
11318.92/360.70 c bin-w-bin subsume rem 3378 bins time: 0.03 s
11322.70/360.76 c subs with bin: 38 lits-rem: 0 v-fix: 0 time: 0.06 s
11325.93/360.84 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 35214 time: 0.08 s
11328.49/360.92 c Removed useless bin: 46 fixed: 0 props: 0.68M time: 0.07 s
11338.08/361.28 c lits-rem: 945 cl-subs: 3400 v-elim: 515 v-fix: 0 time: 0.36 s
11347.68/361.53 c subs with bin: 1182 lits-rem: 705 v-fix: 0 time: 0.08 s
11363.65/362.10 c lits-rem: 1443 cl-subs: 4224 v-elim: 0 v-fix: 0 time: 0.49 s
11366.85/362.15 c vivif2 -- cl tried 137957 cl shrink 64 lits rem 64 time: 0.05
11370.04/362.29 c vivif2 -- cl tried 147349 cl shrink 1766 lits rem 2560 time: 0.14
11396.25/363.07 c asymm cl-useful: 49/69743/137957 lits-rem:52 time: 0.78
11398.81/363.11 c calculated reachability. Time: 0.01
11398.81/363.12 c N dy 7034 1210238 34699 137957 37674 147345 535470 801079 7.08 no data
11657.72/371.27 c N dy 7136 1230581 34694 137957 37904 167617 535470 1048215 7.08 7.67
11926.22/379.63 c N dy 7249 1250668 34692 137957 37981 187640 535470 1300104 7.08 7.51
12201.70/388.24 c N dy 7364 1270926 34690 137957 38010 156522 535470 866663 7.08 7.47
12440.84/395.75 c N dy 7487 1290935 34688 137957 38044 176448 535470 1115348 7.08 7.57
12677.38/403.11 c Finding binary XORs T: 0.06 s found: 560
12680.58/403.21 c Replacing 560 vars Replaced 14438 lits Time: 0.10 s
12709.35/404.12 c N dy 7594 1310954 34124 137932 37741 196037 535199 1359782 7.08 7.51
12961.84/412.10 c N dy 7712 1331091 34123 137932 38561 168465 535199 978166 7.09 7.53
13233.54/420.54 c N dy 7839 1351161 34122 137932 38627 188459 535198 1228167 7.09 7.49
13351.82/424.27 c Finding binary XORs T: 0.06 s found: 107
13530.84/429.88 c N dy 7968 1371259 34119 137921 38686 159138 535103 822510 7.09 7.56
13799.35/438.23 c N dy 8077 1391432 34117 137921 38705 179237 535103 1066968 7.10 7.51
14083.81/447.18 c N dy 8190 1411768 34117 137921 38720 199494 535103 1313375 7.10 7.49
14381.68/456.42 c N dy 8287 1431811 34116 137921 38756 169891 535103 907653 7.10 7.53
14643.21/464.68 c N dy 8387 1451840 34116 137921 38790 189826 535103 1151575 7.10 7.49
14947.49/474.18 c N dy 8513 1471904 34116 137921 38808 209813 535103 1396693 7.10 7.48
15237.75/483.27 c N dy 8631 1491908 34115 137921 38825 179075 535102 978447 7.10 7.50
15519.03/492.06 c N dy 8735 1512026 34115 137921 38829 199110 535102 1222789 7.10 7.48
15835.46/501.98 c N dy 8863 1532117 34114 137921 38844 219127 535102 1467911 7.11 7.91
16139.76/511.48 c N dy 8977 1552123 34113 137921 38853 187253 535102 1034400 7.11 7.62
16424.25/520.38 c N dy 9097 1572207 34113 137921 38870 207263 535102 1278417 7.11 8.01
16733.68/530.09 c N dy 9216 1592246 34113 137921 38889 227230 535102 1521576 7.11 7.57
17040.57/539.69 c N dy 9335 1612322 34113 137921 38904 194851 535101 1085812 7.11 7.54
17363.43/549.77 c N dy 9451 1632352 34112 137921 38911 214803 535101 1329950 7.12 7.58
17711.83/560.68 c N dy 9582 1652437 34112 137921 38966 234823 535101 1580665 7.12 8.06
18047.47/571.11 c N dy 9712 1672622 34111 137921 38970 200901 535100 1122388 7.12 7.53
18367.13/581.15 c N dy 9841 1692724 34111 137921 38981 220934 535100 1375696 7.13 7.64
18658.01/590.22 c S st 9965 1710239 34110 137921 38999 238400 535100 1601664 7.13 no data
18674.61/590.75 c S st 9965 1710739 34110 137921 38999 238897 535100 1606608 7.13 no data
18677.17/590.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 2 time: 0.09
18702.76/591.63 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 231 Bins: 3 BRemL: 656 BRemN: 1 P: 8.4M T: 0.80
18709.77/591.82 c Replacing 338 vars Replaced 15090 lits Time: 0.18 s
18712.33/591.93 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
18712.33/591.96 c bin-w-bin subsume rem 803 bins time: 0.03 s
18715.53/592.02 c subs with bin: 56 lits-rem: 0 v-fix: 0 time: 0.06 s
18718.73/592.10 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 33771 time: 0.08 s
18718.73/592.18 c Removed useless bin: 1 fixed: 0 props: 0.68M time: 0.07 s
18731.53/592.57 c lits-rem: 432 cl-subs: 3458 v-elim: 175 v-fix: 0 time: 0.39 s
18747.49/593.03 c subs with bin: 136 lits-rem: 161 v-fix: 0 time: 0.12 s
18785.86/594.25 c lits-rem: 1752 cl-subs: 2506 v-elim: 0 v-fix: 0 time: 1.14 s
18789.05/594.31 c vivif2 -- cl tried 133652 cl shrink 1 lits rem 1 time: 0.06
18798.65/594.63 c vivif2 -- cl tried 236032 cl shrink 9375 lits rem 14223 time: 0.32
18821.02/595.40 c asymm cl-useful: 0/63909/133652 lits-rem:0 time: 0.77
18824.21/595.45 c calculated reachability. Time: 0.01
18824.21/595.45 c N dy 9965 1710739 33596 133652 36784 236032 521127 1569679 7.13 no data
19156.67/605.86 c N dy 10089 1730907 33596 133652 36859 199299 521127 1066496 7.14 7.57
19457.10/615.28 c N dy 10209 1750957 33596 133652 36892 219279 521127 1312346 7.14 7.54
19796.56/625.84 c N dy 10320 1772119 33596 133652 36908 240358 521127 1569461 7.14 7.55
20106.01/635.60 c N dy 10417 1792165 33595 133652 36916 204998 521127 1088642 7.14 7.61
20400.06/644.74 c N dy 10521 1812223 33595 133652 36929 224985 521127 1335348 7.14 7.61
20700.56/654.20 c N dy 10637 1832323 33595 133652 36939 245015 521127 1583679 7.14 7.69
21023.41/664.27 c N dy 10754 1852357 33595 133652 36953 209033 521127 1091223 7.14 7.53
21211.98/670.10 c Finding binary XORs T: 0.06 s found: 133
21330.24/673.86 c N dy 10870 1872434 33595 133651 36961 229058 521118 1338919 7.15 7.62
21608.35/682.55 c N dy 10991 1892535 33595 133651 36963 249097 521118 1593579 7.15 7.61
21944.59/693.10 c N dy 11108 1912707 33593 133651 36976 211909 521118 1081018 7.15 7.70
22228.46/701.99 c N dy 11226 1932761 33593 133651 36985 231886 521118 1327900 7.15 7.55
22525.74/711.23 c N dy 11349 1952974 33593 133651 36989 252025 521118 1579215 7.15 7.88
22829.41/720.76 c N dy 11491 1973076 33593 133651 36996 272056 521118 1838663 7.16 7.57
23155.44/730.91 c N dy 11609 1993153 33592 133651 37001 233673 521117 1302120 7.16 7.64
23507.08/741.93 c N dy 11712 2013189 33591 133651 37007 253635 521117 1545057 7.16 8.04
23858.70/752.98 c N dy 11847 2033306 33591 133651 37019 273681 521117 1800463 7.16 7.61
24210.29/763.96 c N dy 11974 2053332 33591 133651 37027 234322 521116 1267361 7.17 7.55
24539.53/774.20 c N dy 12104 2073401 33590 133651 37044 254323 521116 1520012 7.17 7.59
24881.54/784.96 c N dy 12243 2093499 33590 133651 37061 274327 521116 1773349 7.17 7.57
25233.15/795.95 c N dy 12377 2113676 33590 133651 37074 234224 521116 1220397 7.18 7.64
25533.61/805.33 c N dy 12510 2133772 33590 133651 37077 254257 521116 1477409 7.18 7.58
25834.07/814.77 c N dy 12634 2153911 33590 133651 37081 274325 521116 1730418 7.18 7.64
26166.52/825.18 c N dy 12758 2173946 33590 133651 37088 294293 521116 1978906 7.18 7.62
26457.42/834.28 c N dy 12891 2194038 33590 133651 37100 253301 521116 1410384 7.19 7.63
26693.97/841.70 c S st 12994 2210739 33590 133651 37119 269934 521116 1619370 7.19 7.02
26713.13/842.26 c S st 12994 2211240 33590 133651 37119 270432 521116 1624388 7.19 no data
26716.33/842.34 c x-sub: 4 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 2 time: 0.09
26741.89/843.11 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 124 Bins: 0 BRemL: 69 BRemN: 0 P: 8.9M T: 0.77
26745.09/843.29 c Replacing 257 vars Replaced 10901 lits Time: 0.17 s
26748.29/843.40 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
26751.49/843.43 c bin-w-bin subsume rem 15 bins time: 0.03 s
26751.49/843.49 c subs with bin: 1 lits-rem: 0 v-fix: 0 time: 0.06 s
26754.68/843.56 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 33333 time: 0.07 s
26758.47/843.64 c Removed useless bin: 1 fixed: 0 props: 0.69M time: 0.07 s
26767.46/843.99 c lits-rem: 127 cl-subs: 416 v-elim: 52 v-fix: 0 time: 0.35 s
26783.44/844.45 c subs with bin: 11 lits-rem: 77 v-fix: 0 time: 0.12 s
26812.21/845.34 c lits-rem: 1388 cl-subs: 1680 v-elim: 0 v-fix: 0 time: 0.81 s
26812.21/845.39 c vivif2 -- cl tried 132993 cl shrink 0 lits rem 0 time: 0.05
26825.00/845.71 c vivif2 -- cl tried 268627 cl shrink 5570 lits rem 8209 time: 0.32
26847.37/846.47 c asymm cl-useful: 56/51709/132993 lits-rem:56 time: 0.76
26850.57/846.52 c calculated reachability. Time: 0.01
26850.57/846.53 c N dy 12994 2211240 33281 132993 36505 268627 518768 1602854 7.19 no data
27167.04/856.47 c N dy 13130 2231282 33277 132993 36518 288592 518768 1859273 7.19 7.64
27170.24/856.55 c Following stats are for *FIRST FINISHED THREAD ONLY*
27170.24/856.55 c num threads : 32
27170.24/856.55 c restarts : 9152
27170.24/856.55 c dynamic restarts : 9122
27170.24/856.55 c static restarts : 30
27170.24/856.55 c full restarts : 4
27170.24/856.55 c total simplify time : 6.05
27170.24/856.55 c learnts DL2 : 0
27170.24/856.55 c learnts size 2 : 725037
27170.24/856.55 c learnts size 1 : 3919 (2.04 % of vars)
27170.24/856.55 c filedLit time : 6.46 (0.76 % time)
27170.24/856.55 c v-elim SatELite : 124049 (64.44 % vars)
27170.24/856.55 c SatELite time : 7.50 (0.89 % time)
27170.24/856.55 c v-elim xor : 4617 (2.40 % vars)
27170.24/856.55 c xor elim time : 0.55 (0.06 % time)
27170.24/856.55 c num binary xor trees : 23893
27170.24/856.55 c binxor trees' crown : 25582 (1.07 leafs/tree)
27170.24/856.55 c bin xor find time : 1.72
27170.24/856.55 c OTF clause improved : 13623 (0.01 clauses/conflict)
27170.24/856.55 c OTF impr. size diff : 14226 (1.04 lits/clause)
27170.24/856.55 c OTF cl watch-shrink : 1090395 (0.49 clauses/conflict)
27170.24/856.55 c OTF cl watch-sh-lit : 2042412 (1.87 lits/clause)
27170.24/856.55 c tried to recurMin cls : 442981 (20.03 % of conflicts)
27170.24/856.55 c updated cache : 220890 (0.50 lits/tried recurMin)
27170.24/856.55 c unit cls recevied : 1918 (48.94 % of units)
27170.24/856.55 c unit cls sent : 12 (0.31 % of units)
27170.24/856.55 c bin cls recevied : 245907
27170.24/856.55 c bin cls sent : 3742
27170.24/856.55 c clauses over max glue : 0 (0.00 % of all clauses)
27170.24/856.55 c conflicts : 2211445 (2616.59 / sec)
27170.24/856.55 c decisions : 34826774 (7.85 % random)
27170.24/856.55 c bogo-props : 18501491290 (21891019.86 / sec)
27170.24/856.55 c conflict literals : 31027398 (24.89 % deleted)
27170.24/856.55 c Memory used : 11638.36 MB
27170.24/856.55 c single-thread CPU time : 845.16 s
27170.24/856.55 c all-threads sum CPU time : 27055.75 s
27170.24/856.55 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-3400789-1306784046/watcher-3400789-1306784046 -o /tmp/evaluation-result-3400789-1306784046/solver-3400789-1306784046 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400789-1306784046.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: 25.91 28.51 30.28 1/413 19439
/proc/meminfo: memFree=263692464/264257624 swapFree=67044744/67111528
[pid=19439] ppid=19437 vsize=338000 CPUtime=0.79 cores=0-31
/proc/19439/stat : 19439 (strangenight2-m) R 19437 19439 19235 0 -1 4202496 469 0 0 0 79 0 0 0 22 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533552 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/19439/statm: 84500 409 300 95 0 79482 0
[pid=19439/tid=19440] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19440/stat : 19440 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19439/tid=19441] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19441/stat : 19441 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 4 0 0 0 2 0 0 0 24 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19439/tid=19442] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19442/stat : 19442 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=19439/tid=19443] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19443/stat : 19443 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533136 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19439/tid=19444] ppid=19437 vsize=338000 CPUtime=0 cores=0-31
/proc/19439/task/19444/stat : 19444 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533554 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=19439/tid=19445] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19445/stat : 19445 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19439/tid=19446] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19446/stat : 19446 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19439/tid=19447] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19447/stat : 19447 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533149 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=19439/tid=19448] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19448/stat : 19448 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=19439/tid=19449] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19449/stat : 19449 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19439/tid=19450] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19450/stat : 19450 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533139 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=19439/tid=19451] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19451/stat : 19451 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533136 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=19439/tid=19452] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19452/stat : 19452 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=19439/tid=19453] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19453/stat : 19453 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533136 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19439/tid=19454] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19454/stat : 19454 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533139 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=19439/tid=19455] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19455/stat : 19455 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=19439/tid=19456] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19456/stat : 19456 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=19439/tid=19457] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19457/stat : 19457 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 4370681 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=19439/tid=19458] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19458/stat : 19458 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 4370682 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533136 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=19439/tid=19459] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19459/stat : 19459 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 4370682 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=19439/tid=19460] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19460/stat : 19460 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 4370682 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=19439/tid=19461] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19461/stat : 19461 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 4370682 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533139 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=19439/tid=19462] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19462/stat : 19462 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 4370682 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=19439/tid=19463] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19463/stat : 19463 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 4370682 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=19439/tid=19464] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19464/stat : 19464 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 4370682 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533136 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=19439/tid=19465] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19465/stat : 19465 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 4370682 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=19439/tid=19466] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19466/stat : 19466 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 4370682 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533139 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=19439/tid=19467] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19467/stat : 19467 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 4370682 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=19439/tid=19468] ppid=19437 vsize=338000 CPUtime=0.01 cores=0-31
/proc/19439/task/19468/stat : 19468 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 32 0 4370682 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19439/tid=19469] ppid=19437 vsize=338000 CPUtime=0.01 cores=0-31
/proc/19439/task/19469/stat : 19469 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 32 0 4370682 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533139 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=19439/tid=19470] ppid=19437 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19439/task/19470/stat : 19470 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 4370682 346112000 409 268435456000 4194304 4580107 140733864111888 18446744073709551615 47397150533139 0 0 4096 2 0 0 0 -1 24 0 0 0
[startup+0.069867 s]
/proc/loadavg: 25.91 28.51 30.28 1/413 19439
/proc/meminfo: memFree=263692464/264257624 swapFree=67044744/67111528
[pid=19439] ppid=19437 vsize=732572 CPUtime=1.54 cores=0-31
/proc/19439/stat : 19439 (strangenight2-m) R 19437 19439 19235 0 -1 4202496 8260 0 0 0 92 62 0 0 18 0 32 0 4370681 750153728 8097 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650616632 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/19439/statm: 183143 8097 331 95 0 178125 0
[pid=19439/tid=19440] ppid=19437 vsize=732572 CPUtime=0.04 cores=0-31
/proc/19439/task/19440/stat : 19440 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 251 0 0 0 3 1 0 0 18 0 32 0 4370681 750153728 8097 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19439/tid=19441] ppid=19437 vsize=732572 CPUtime=0.05 cores=0-31
/proc/19439/task/19441/stat : 19441 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 274 0 0 0 3 2 0 0 18 0 32 0 4370681 750153728 8112 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19439/tid=19442] ppid=19437 vsize=732572 CPUtime=0.04 cores=0-31
/proc/19439/task/19442/stat : 19442 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 258 0 0 0 3 1 0 0 18 0 32 0 4370681 750153728 8152 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=19439/tid=19443] ppid=19437 vsize=732572 CPUtime=0.04 cores=0-31
/proc/19439/task/19443/stat : 19443 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 218 0 0 0 3 1 0 0 19 0 32 0 4370681 750153728 8152 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19439/tid=19444] ppid=19437 vsize=732572 CPUtime=0.02 cores=0-31
/proc/19439/task/19444/stat : 19444 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 258 0 0 0 0 2 0 0 18 0 32 0 4370681 750153728 8152 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=19439/tid=19445] ppid=19437 vsize=732572 CPUtime=0.04 cores=0-31
/proc/19439/task/19445/stat : 19445 (strangenight2-m) S 19437 19439 19235 0 -1 4202560 267 0 0 0 3 1 0 0 19 0 32 0 4370681 750153728 8182 268435456000 4194304 4580107 140733864111888 18446744073709551615 258651060958 0 0 4096 2 18446744071566931384 0 0 -1 6 0 0 0
[pid=19439/tid=19446] ppid=19437 vsize=732572 CPUtime=0.05 cores=0-31
/proc/19439/task/19446/stat : 19446 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 235 0 0 0 3 2 0 0 19 0 32 0 4370681 750153728 8204 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19439/tid=19447] ppid=19437 vsize=732572 CPUtime=0.03 cores=0-31
/proc/19439/task/19447/stat : 19447 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 306 0 0 0 2 1 0 0 18 0 32 0 4370681 750153728 8209 268435456000 4194304 4580107 140733864111888 18446744073709551615 4349442 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=19439/tid=19448] ppid=19437 vsize=732572 CPUtime=0.03 cores=0-31
/proc/19439/task/19448/stat : 19448 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 215 0 0 0 2 1 0 0 17 0 32 0 4370681 750153728 8228 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=19439/tid=19449] ppid=19437 vsize=732572 CPUtime=0.04 cores=0-31
/proc/19439/task/19449/stat : 19449 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 290 0 0 0 2 2 0 0 18 0 32 0 4370681 750153728 8237 268435456000 4194304 4580107 140733864111888 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19439/tid=19450] ppid=19437 vsize=732572 CPUtime=0.04 cores=0-31
/proc/19439/task/19450/stat : 19450 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 218 0 0 0 2 2 0 0 20 0 32 0 4370681 750153728 8282 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=19439/tid=19451] ppid=19437 vsize=732572 CPUtime=0.03 cores=0-31
/proc/19439/task/19451/stat : 19451 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 266 0 0 0 2 1 0 0 18 0 32 0 4370681 750153728 8283 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=19439/tid=19452] ppid=19437 vsize=732572 CPUtime=0.05 cores=0-31
/proc/19439/task/19452/stat : 19452 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 221 0 0 0 3 2 0 0 20 0 32 0 4370681 750153728 8307 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=19439/tid=19453] ppid=19437 vsize=732572 CPUtime=0.04 cores=0-31
/proc/19439/task/19453/stat : 19453 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 251 0 0 0 3 1 0 0 21 0 32 0 4370681 750153728 8324 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19439/tid=19454] ppid=19437 vsize=732572 CPUtime=0.04 cores=0-31
/proc/19439/task/19454/stat : 19454 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 232 0 0 0 3 1 0 0 22 0 32 0 4370681 750153728 8367 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=19439/tid=19455] ppid=19437 vsize=732572 CPUtime=0.04 cores=0-31
/proc/19439/task/19455/stat : 19455 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 274 0 0 0 3 1 0 0 18 0 32 0 4370681 750153728 8369 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=19439/tid=19456] ppid=19437 vsize=863644 CPUtime=0.04 cores=0-31
/proc/19439/task/19456/stat : 19456 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 256 0 0 0 3 1 0 0 18 0 32 0 4370681 884371456 8395 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=19439/tid=19457] ppid=19437 vsize=863644 CPUtime=0.04 cores=0-31
/proc/19439/task/19457/stat : 19457 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 269 0 0 0 3 1 0 0 18 0 32 0 4370681 884371456 8400 268435456000 4194304 4580107 140733864111888 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=19439/tid=19458] ppid=19437 vsize=863644 CPUtime=0.05 cores=0-31
/proc/19439/task/19458/stat : 19458 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 232 0 0 0 3 2 0 0 18 0 32 0 4370682 884371456 8400 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=19439/tid=19459] ppid=19437 vsize=798140 CPUtime=0.04 cores=0-31
/proc/19439/task/19459/stat : 19459 (strangenight2-m) S 19437 19439 19235 0 -1 4202560 270 0 0 0 3 1 0 0 18 0 32 0 4370682 817295360 8414 268435456000 4194304 4580107 140733864111888 18446744073709551615 258651060958 0 0 4096 2 18446744071566928224 0 0 -1 18 0 0 0
[pid=19439/tid=19460] ppid=19437 vsize=798140 CPUtime=0.04 cores=0-31
/proc/19439/task/19460/stat : 19460 (strangenight2-m) S 19437 19439 19235 0 -1 4202560 267 0 0 0 3 1 0 0 18 0 32 0 4370682 817295360 8414 268435456000 4194304 4580107 140733864111888 18446744073709551615 258651060958 0 0 4096 2 18446744071566926504 0 0 -1 15 0 0 0
[pid=19439/tid=19461] ppid=19437 vsize=798140 CPUtime=0.04 cores=0-31
/proc/19439/task/19461/stat : 19461 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 240 0 0 0 3 1 0 0 18 0 32 0 4370682 817295360 8416 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=19439/tid=19462] ppid=19437 vsize=798140 CPUtime=0.05 cores=0-31
/proc/19439/task/19462/stat : 19462 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 279 0 0 0 3 2 0 0 18 0 32 0 4370682 817295360 8424 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=19439/tid=19463] ppid=19437 vsize=798108 CPUtime=0.04 cores=0-31
/proc/19439/task/19463/stat : 19463 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 221 0 0 0 3 1 0 0 23 0 32 0 4370682 817262592 8437 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=19439/tid=19464] ppid=19437 vsize=798108 CPUtime=0.05 cores=0-31
/proc/19439/task/19464/stat : 19464 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 243 0 0 0 3 2 0 0 23 0 32 0 4370682 817262592 8451 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=19439/tid=19465] ppid=19437 vsize=798108 CPUtime=0.05 cores=0-31
/proc/19439/task/19465/stat : 19465 (strangenight2-m) S 19437 19439 19235 0 -1 4202560 269 0 0 0 3 2 0 0 23 0 32 0 4370682 817262592 8451 268435456000 4194304 4580107 140733864111888 18446744073709551615 258651060958 0 0 4096 2 18446744071566931664 0 0 -1 26 0 0 0
[pid=19439/tid=19466] ppid=19437 vsize=798108 CPUtime=0.05 cores=0-31
/proc/19439/task/19466/stat : 19466 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 278 0 0 0 3 2 0 0 18 0 32 0 4370682 817262592 8454 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=19439/tid=19467] ppid=19437 vsize=798108 CPUtime=0.04 cores=0-31
/proc/19439/task/19467/stat : 19467 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 230 0 0 0 2 2 0 0 23 0 32 0 4370682 817262592 8466 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=19439/tid=19468] ppid=19437 vsize=798108 CPUtime=0.02 cores=0-31
/proc/19439/task/19468/stat : 19468 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 229 0 0 0 1 1 0 0 18 0 32 0 4370682 817262592 8467 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19439/tid=19469] ppid=19437 vsize=798108 CPUtime=0.03 cores=0-31
/proc/19439/task/19469/stat : 19469 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 218 0 0 0 1 2 0 0 24 0 32 0 4370682 817262592 8485 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=19439/tid=19470] ppid=19437 vsize=798108 CPUtime=0.03 cores=0-31
/proc/19439/task/19470/stat : 19470 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 233 0 0 0 2 1 0 0 24 0 32 0 4370682 817262592 8494 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 732572
[startup+0.104836 s]
/proc/loadavg: 25.91 28.51 30.28 1/413 19439
/proc/meminfo: memFree=263692464/264257624 swapFree=67044744/67111528
[pid=19439] ppid=19437 vsize=1066420 CPUtime=1.89 cores=0-31
/proc/19439/stat : 19439 (strangenight2-m) R 19437 19439 19235 0 -1 4202496 12835 0 0 0 97 92 0 0 17 0 32 0 4370681 1092014080 12572 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650653023 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/19439/statm: 266605 12581 331 95 0 261587 0
[pid=19439/tid=19440] ppid=19437 vsize=1066420 CPUtime=0.06 cores=0-31
/proc/19439/task/19440/stat : 19440 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 386 0 0 0 3 3 0 0 17 0 32 0 4370681 1092014080 12604 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19439/tid=19441] ppid=19437 vsize=1066420 CPUtime=0.05 cores=0-31
/proc/19439/task/19441/stat : 19441 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 449 0 0 0 3 2 0 0 17 0 32 0 4370681 1092014080 12636 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650653112 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19439/tid=19442] ppid=19437 vsize=1066420 CPUtime=0.05 cores=0-31
/proc/19439/task/19442/stat : 19442 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 459 0 0 0 3 2 0 0 17 0 32 0 4370681 1092014080 12636 268435456000 4194304 4580107 140733864111888 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=19439/tid=19443] ppid=19437 vsize=1066680 CPUtime=0.05 cores=0-31
/proc/19439/task/19443/stat : 19443 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 378 0 0 0 3 2 0 0 17 0 32 0 4370681 1092280320 12640 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650653008 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19439/tid=19444] ppid=19437 vsize=1066680 CPUtime=0.02 cores=0-31
/proc/19439/task/19444/stat : 19444 (strangenight2-m) S 19437 19439 19235 0 -1 4202560 287 0 0 0 0 2 0 0 17 0 32 0 4370681 1092280320 12646 268435456000 4194304 4580107 140733864111888 18446744073709551615 258651060958 0 0 4096 2 18446604452961877472 0 0 -1 31 0 0 0
[pid=19439/tid=19445] ppid=19437 vsize=1066548 CPUtime=0.06 cores=0-31
/proc/19439/task/19445/stat : 19445 (strangenight2-m) S 19437 19439 19235 0 -1 4202560 395 0 0 0 3 3 0 0 17 0 32 0 4370681 1092145152 12616 268435456000 4194304 4580107 140733864111888 18446744073709551615 258651060958 0 0 4096 2 18446604484265827808 0 0 -1 6 0 0 0
[pid=19439/tid=19446] ppid=19437 vsize=1066548 CPUtime=0.06 cores=0-31
/proc/19439/task/19446/stat : 19446 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 429 0 0 0 3 3 0 0 17 0 32 0 4370681 1092145152 12640 268435456000 4194304 4580107 140733864111888 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19439/tid=19447] ppid=19437 vsize=1066548 CPUtime=0.05 cores=0-31
/proc/19439/task/19447/stat : 19447 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 518 0 0 0 3 2 0 0 17 0 32 0 4370681 1092145152 12640 268435456000 4194304 4580107 140733864111888 18446744073709551615 4345288 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=19439/tid=19448] ppid=19437 vsize=1066548 CPUtime=0.04 cores=0-31
/proc/19439/task/19448/stat : 19448 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 350 0 0 0 2 2 0 0 17 0 32 0 4370681 1092145152 12654 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=19439/tid=19449] ppid=19437 vsize=1066548 CPUtime=0.05 cores=0-31
/proc/19439/task/19449/stat : 19449 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 479 0 0 0 2 3 0 0 17 0 32 0 4370681 1092145152 12694 268435456000 4194304 4580107 140733864111888 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19439/tid=19450] ppid=19437 vsize=1066548 CPUtime=0.05 cores=0-31
/proc/19439/task/19450/stat : 19450 (strangenight2-m) S 19437 19439 19235 0 -1 4202560 469 0 0 0 3 2 0 0 17 0 32 0 4370681 1092145152 12695 268435456000 4194304 4580107 140733864111888 18446744073709551615 258651060958 0 0 4096 2 18446604471182851552 0 0 -1 28 0 0 0
[pid=19439/tid=19451] ppid=19437 vsize=1066548 CPUtime=0.04 cores=0-31
/proc/19439/task/19451/stat : 19451 (strangenight2-m) S 19437 19439 19235 0 -1 4202560 270 0 0 0 2 2 0 0 17 0 32 0 4370681 1092145152 12672 268435456000 4194304 4580107 140733864111888 18446744073709551615 258651060958 0 0 4096 2 18446604490849132000 0 0 -1 12 0 0 0
[pid=19439/tid=19452] ppid=19437 vsize=1066416 CPUtime=0.05 cores=0-31
/proc/19439/task/19452/stat : 19452 (strangenight2-m) S 19437 19439 19235 0 -1 4202560 352 0 0 0 3 2 0 0 17 0 32 0 4370681 1092009984 12683 268435456000 4194304 4580107 140733864111888 18446744073709551615 258651060958 0 0 4096 2 18446604452961877472 0 0 -1 11 0 0 0
[pid=19439/tid=19453] ppid=19437 vsize=1066416 CPUtime=0.05 cores=0-31
/proc/19439/task/19453/stat : 19453 (strangenight2-m) S 19437 19439 19235 0 -1 4202560 268 0 0 0 3 2 0 0 17 0 32 0 4370681 1092009984 12687 268435456000 4194304 4580107 140733864111888 18446744073709551615 258651060958 0 0 4096 2 18446604499817643488 0 0 -1 7 0 0 0
[pid=19439/tid=19454] ppid=19437 vsize=1066676 CPUtime=0.06 cores=0-31
/proc/19439/task/19454/stat : 19454 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 438 0 0 0 3 3 0 0 17 0 32 0 4370681 1092276224 12689 268435456000 4194304 4580107 140733864111888 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=19439/tid=19455] ppid=19437 vsize=1066676 CPUtime=0.05 cores=0-31
/proc/19439/task/19455/stat : 19455 (strangenight2-m) D 19437 19439 19235 0 -1 4202560 512 0 0 0 3 2 0 0 17 0 32 0 4370681 1092276224 12704 268435456000 4194304 4580107 140733864111888 18446744073709551615 258650616986 0 0 4096 2 1159168 0 0 -1 10 0 0 0
[pid=19439/tid=19456] ppid=19437 vsize=1066676 CPUtime=0.06 cores=0-31
################
# More data... #
################
/proc/19439/stat : 19439 (strangenight2-m) R 19437 19439 19235 0 -1 4202496 5915839 0 0 0 2698377 11614 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19439/statm: 2979418 2512096 667 95 0 2974400 0
[pid=19439/tid=19440] ppid=19437 vsize=11917672 CPUtime=846.74 cores=0-31
/proc/19439/task/19440/stat : 19440 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 207556 0 0 0 84299 375 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4339860 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=19439/tid=19441] ppid=19437 vsize=11917672 CPUtime=847.84 cores=0-31
/proc/19439/task/19441/stat : 19441 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 174017 0 0 0 84411 373 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=19439/tid=19442] ppid=19437 vsize=11917672 CPUtime=848.8 cores=0-31
/proc/19439/task/19442/stat : 19442 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 281503 0 0 0 84543 337 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=19439/tid=19443] ppid=19437 vsize=11917672 CPUtime=847.61 cores=0-31
/proc/19439/task/19443/stat : 19443 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 187251 0 0 0 84380 381 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4295561 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=19439/tid=19444] ppid=19437 vsize=11917672 CPUtime=846.68 cores=0-31
/proc/19439/task/19444/stat : 19444 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 154888 0 0 0 84305 363 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4320987 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19439/tid=19445] ppid=19437 vsize=11917672 CPUtime=847.35 cores=0-31
/proc/19439/task/19445/stat : 19445 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 164371 0 0 0 84350 385 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=19439/tid=19446] ppid=19437 vsize=11917672 CPUtime=846.99 cores=0-31
/proc/19439/task/19446/stat : 19446 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 120906 0 0 0 84333 366 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19439/tid=19447] ppid=19437 vsize=11917672 CPUtime=849.03 cores=0-31
/proc/19439/task/19447/stat : 19447 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 201636 0 0 0 84588 315 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=19439/tid=19448] ppid=19437 vsize=11917672 CPUtime=848.88 cores=0-31
/proc/19439/task/19448/stat : 19448 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 209878 0 0 0 84545 343 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=19439/tid=19449] ppid=19437 vsize=11917672 CPUtime=847.02 cores=0-31
/proc/19439/task/19449/stat : 19449 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 197972 0 0 0 84330 372 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=19439/tid=19450] ppid=19437 vsize=11917672 CPUtime=848.5 cores=0-31
/proc/19439/task/19450/stat : 19450 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 167996 0 0 0 84513 337 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=19439/tid=19451] ppid=19437 vsize=11917672 CPUtime=848.25 cores=0-31
/proc/19439/task/19451/stat : 19451 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 238536 0 0 0 84487 338 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=19439/tid=19452] ppid=19437 vsize=11917672 CPUtime=846.87 cores=0-31
/proc/19439/task/19452/stat : 19452 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 187387 0 0 0 84300 387 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4295051 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=19439/tid=19453] ppid=19437 vsize=11917672 CPUtime=847.44 cores=0-31
/proc/19439/task/19453/stat : 19453 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 130630 0 0 0 84380 364 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19439/tid=19454] ppid=19437 vsize=11917672 CPUtime=846.45 cores=0-31
/proc/19439/task/19454/stat : 19454 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 181895 0 0 0 84258 387 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19439/tid=19455] ppid=19437 vsize=11917672 CPUtime=847.62 cores=0-31
/proc/19439/task/19455/stat : 19455 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 165300 0 0 0 84384 378 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=19439/tid=19456] ppid=19437 vsize=11917672 CPUtime=846.55 cores=0-31
/proc/19439/task/19456/stat : 19456 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 135858 0 0 0 84275 380 0 0 25 0 32 0 4370681 12203696128 2512096 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=19439/tid=19457] ppid=19437 vsize=11917672 CPUtime=847.83 cores=0-31
/proc/19439/task/19457/stat : 19457 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 202671 0 0 0 84381 402 0 0 25 0 32 0 4370681 12203696128 2512097 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=19439/tid=19458] ppid=19437 vsize=11917672 CPUtime=847.09 cores=0-31
/proc/19439/task/19458/stat : 19458 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 140658 0 0 0 84341 368 0 0 25 0 32 0 4370682 12203696128 2512097 268435456000 4194304 4580107 140733864111888 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=19439/tid=19459] ppid=19437 vsize=11917672 CPUtime=846.82 cores=0-31
/proc/19439/task/19459/stat : 19459 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 172913 0 0 0 84305 377 0 0 25 0 32 0 4370682 12203696128 2512097 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19439/tid=19460] ppid=19437 vsize=11917672 CPUtime=846.37 cores=0-31
/proc/19439/task/19460/stat : 19460 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 131687 0 0 0 84291 346 0 0 25 0 32 0 4370682 12203696128 2512097 268435456000 4194304 4580107 140733864111888 18446744073709551615 4412053 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=19439/tid=19461] ppid=19437 vsize=11917672 CPUtime=829.7 cores=0-31
/proc/19439/task/19461/stat : 19461 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 202106 0 0 0 82607 363 0 0 25 0 32 0 4370682 12203696128 2512097 268435456000 4194304 4580107 140733864111888 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=19439/tid=19462] ppid=19437 vsize=11917672 CPUtime=847.73 cores=0-31
/proc/19439/task/19462/stat : 19462 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 170651 0 0 0 84383 390 0 0 25 0 32 0 4370682 12203696128 2512097 268435456000 4194304 4580107 140733864111888 18446744073709551615 4302360 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=19439/tid=19463] ppid=19437 vsize=11917672 CPUtime=848.31 cores=0-31
/proc/19439/task/19463/stat : 19463 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 216519 0 0 0 84467 364 0 0 25 0 32 0 4370682 12203696128 2512097 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=19439/tid=19464] ppid=19437 vsize=11917672 CPUtime=846.36 cores=0-31
/proc/19439/task/19464/stat : 19464 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 233324 0 0 0 84252 384 0 0 25 0 32 0 4370682 12203696128 2512097 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19439/tid=19465] ppid=19437 vsize=11917672 CPUtime=847.56 cores=0-31
/proc/19439/task/19465/stat : 19465 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 219724 0 0 0 84363 393 0 0 25 0 32 0 4370682 12203696128 2512097 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=19439/tid=19466] ppid=19437 vsize=11917672 CPUtime=844.8 cores=0-31
/proc/19439/task/19466/stat : 19466 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 200905 0 0 0 84097 383 0 0 25 0 32 0 4370682 12203696128 2512097 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=19439/tid=19467] ppid=19437 vsize=11917672 CPUtime=847.4 cores=0-31
/proc/19439/task/19467/stat : 19467 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 194292 0 0 0 84365 375 0 0 25 0 32 0 4370682 12203696128 2512097 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=19439/tid=19468] ppid=19437 vsize=11917672 CPUtime=848.3 cores=0-31
/proc/19439/task/19468/stat : 19468 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 180207 0 0 0 84578 252 0 0 25 0 32 0 4370682 12203696128 2512097 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19439/tid=19469] ppid=19437 vsize=11917672 CPUtime=847.72 cores=0-31
/proc/19439/task/19469/stat : 19469 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 190769 0 0 0 84392 380 0 0 25 0 32 0 4370682 12203696128 2512097 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=19439/tid=19470] ppid=19437 vsize=11917672 CPUtime=849.15 cores=0-31
/proc/19439/task/19470/stat : 19470 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 204490 0 0 0 84655 260 0 0 25 0 32 0 4370682 12203696128 2512097 268435456000 4194304 4580107 140733864111888 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 27099.9
Current children cumulated vsize (KiB) 11917672
[startup+855.902 s]
/proc/loadavg: 32.07 31.82 31.25 33/445 19495
/proc/meminfo: memFree=253644748/264257624 swapFree=67044744/67111528
[pid=19439] ppid=19437 vsize=11917672 CPUtime=27151 cores=0-31
/proc/19439/stat : 19439 (strangenight2-m) R 19437 19439 19235 0 -1 4202496 5918266 0 0 0 2703489 11615 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19439/statm: 2979418 2513609 667 95 0 2974400 0
[pid=19439/tid=19440] ppid=19437 vsize=11917672 CPUtime=848.34 cores=0-31
/proc/19439/task/19440/stat : 19440 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 207556 0 0 0 84459 375 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293121 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=19439/tid=19441] ppid=19437 vsize=11917672 CPUtime=849.44 cores=0-31
/proc/19439/task/19441/stat : 19441 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 174061 0 0 0 84571 373 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=19439/tid=19442] ppid=19437 vsize=11917672 CPUtime=850.4 cores=0-31
/proc/19439/task/19442/stat : 19442 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 281506 0 0 0 84703 337 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=19439/tid=19443] ppid=19437 vsize=11917672 CPUtime=849.21 cores=0-31
/proc/19439/task/19443/stat : 19443 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 187293 0 0 0 84540 381 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=19439/tid=19444] ppid=19437 vsize=11917672 CPUtime=848.28 cores=0-31
/proc/19439/task/19444/stat : 19444 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 154939 0 0 0 84465 363 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19439/tid=19445] ppid=19437 vsize=11917672 CPUtime=848.96 cores=0-31
/proc/19439/task/19445/stat : 19445 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 164414 0 0 0 84510 386 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=19439/tid=19446] ppid=19437 vsize=11917672 CPUtime=848.59 cores=0-31
/proc/19439/task/19446/stat : 19446 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 120906 0 0 0 84493 366 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19439/tid=19447] ppid=19437 vsize=11917672 CPUtime=850.63 cores=0-31
/proc/19439/task/19447/stat : 19447 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 201636 0 0 0 84748 315 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=19439/tid=19448] ppid=19437 vsize=11917672 CPUtime=850.48 cores=0-31
/proc/19439/task/19448/stat : 19448 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 209913 0 0 0 84705 343 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=19439/tid=19449] ppid=19437 vsize=11917672 CPUtime=848.62 cores=0-31
/proc/19439/task/19449/stat : 19449 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 197975 0 0 0 84490 372 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=19439/tid=19450] ppid=19437 vsize=11917672 CPUtime=850.1 cores=0-31
/proc/19439/task/19450/stat : 19450 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 167996 0 0 0 84673 337 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=19439/tid=19451] ppid=19437 vsize=11917672 CPUtime=849.85 cores=0-31
/proc/19439/task/19451/stat : 19451 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 238596 0 0 0 84647 338 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=19439/tid=19452] ppid=19437 vsize=11917672 CPUtime=848.47 cores=0-31
/proc/19439/task/19452/stat : 19452 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 187387 0 0 0 84460 387 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=19439/tid=19453] ppid=19437 vsize=11917672 CPUtime=849.04 cores=0-31
/proc/19439/task/19453/stat : 19453 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 130630 0 0 0 84540 364 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19439/tid=19454] ppid=19437 vsize=11917672 CPUtime=848.05 cores=0-31
/proc/19439/task/19454/stat : 19454 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 181895 0 0 0 84418 387 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19439/tid=19455] ppid=19437 vsize=11917672 CPUtime=849.22 cores=0-31
/proc/19439/task/19455/stat : 19455 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 165358 0 0 0 84544 378 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=19439/tid=19456] ppid=19437 vsize=11917672 CPUtime=848.15 cores=0-31
/proc/19439/task/19456/stat : 19456 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 135858 0 0 0 84435 380 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=19439/tid=19457] ppid=19437 vsize=11917672 CPUtime=849.43 cores=0-31
/proc/19439/task/19457/stat : 19457 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 202723 0 0 0 84541 402 0 0 25 0 32 0 4370681 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4302544 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=19439/tid=19458] ppid=19437 vsize=11917672 CPUtime=848.69 cores=0-31
/proc/19439/task/19458/stat : 19458 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 140712 0 0 0 84501 368 0 0 25 0 32 0 4370682 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=19439/tid=19459] ppid=19437 vsize=11917672 CPUtime=848.42 cores=0-31
/proc/19439/task/19459/stat : 19459 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 172971 0 0 0 84465 377 0 0 25 0 32 0 4370682 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4316566 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19439/tid=19460] ppid=19437 vsize=11917672 CPUtime=847.97 cores=0-31
/proc/19439/task/19460/stat : 19460 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 132910 0 0 0 84451 346 0 0 25 0 32 0 4370682 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=19439/tid=19461] ppid=19437 vsize=11917672 CPUtime=831.24 cores=0-31
/proc/19439/task/19461/stat : 19461 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 202106 0 0 0 82761 363 0 0 25 0 32 0 4370682 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=19439/tid=19462] ppid=19437 vsize=11917672 CPUtime=849.33 cores=0-31
/proc/19439/task/19462/stat : 19462 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 170706 0 0 0 84543 390 0 0 25 0 32 0 4370682 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=19439/tid=19463] ppid=19437 vsize=11917672 CPUtime=849.91 cores=0-31
/proc/19439/task/19463/stat : 19463 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 216578 0 0 0 84627 364 0 0 25 0 32 0 4370682 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=19439/tid=19464] ppid=19437 vsize=11917672 CPUtime=847.97 cores=0-31
/proc/19439/task/19464/stat : 19464 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 233386 0 0 0 84412 385 0 0 25 0 32 0 4370682 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19439/tid=19465] ppid=19437 vsize=11917672 CPUtime=849.16 cores=0-31
/proc/19439/task/19465/stat : 19465 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 219779 0 0 0 84523 393 0 0 25 0 32 0 4370682 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=19439/tid=19466] ppid=19437 vsize=11917672 CPUtime=846.4 cores=0-31
/proc/19439/task/19466/stat : 19466 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 200905 0 0 0 84257 383 0 0 25 0 32 0 4370682 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=19439/tid=19467] ppid=19437 vsize=11917672 CPUtime=849 cores=0-31
/proc/19439/task/19467/stat : 19467 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 194340 0 0 0 84525 375 0 0 25 0 32 0 4370682 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=19439/tid=19468] ppid=19437 vsize=11917672 CPUtime=849.9 cores=0-31
/proc/19439/task/19468/stat : 19468 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 180270 0 0 0 84738 252 0 0 25 0 32 0 4370682 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19439/tid=19469] ppid=19437 vsize=11917672 CPUtime=849.32 cores=0-31
/proc/19439/task/19469/stat : 19469 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 190769 0 0 0 84552 380 0 0 25 0 32 0 4370682 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=19439/tid=19470] ppid=19437 vsize=11917672 CPUtime=850.75 cores=0-31
/proc/19439/task/19470/stat : 19470 (strangenight2-m) R 19437 19439 19235 0 -1 4202560 204794 0 0 0 84815 260 0 0 25 0 32 0 4370682 12203696128 2513609 268435456000 4194304 4580107 140733864111888 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 27151
Current children cumulated vsize (KiB) 11917672
[startup+856.701 s]
/proc/loadavg: 32.07 31.82 31.25 33/445 19495
/proc/meminfo: memFree=253644748/264257624 swapFree=67044744/67111528
[pid=19439] ppid=19437 vsize=0 CPUtime=27172.1 cores=0-31
/proc/19439/stat : 19439 (strangenight2-m) Z 19437 19439 19235 0 -1 4203548 5918651 0 0 0 2705574 11632 0 0 25 0 2 0 4370681 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19439/statm: 0 0 0 0 0 0 0
[pid=19439/tid=19461] ppid=19437 vsize=0 CPUtime=832.04 cores=0-31
/proc/19439/task/19461/stat : 19461 (strangenight2-m) R 19437 19439 19235 0 -1 4203588 202106 0 0 0 82826 378 0 0 25 0 2 0 4370682 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 27172.1
Current children cumulated vsize (KiB) 0
[startup+857.101 s]
/proc/loadavg: 32.07 31.82 31.25 2/415 19495
/proc/meminfo: memFree=256998196/264257624 swapFree=67044744/67111528
[pid=19439] ppid=19437 vsize=0 CPUtime=27172.5 cores=0-31
/proc/19439/stat : 19439 (strangenight2-m) Z 19437 19439 19235 0 -1 4203548 5918651 0 0 0 2705574 11672 0 0 25 0 2 0 4370681 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19439/statm: 0 0 0 0 0 0 0
[pid=19439/tid=19461] ppid=19437 vsize=0 CPUtime=832.44 cores=0-31
/proc/19439/task/19461/stat : 19461 (strangenight2-m) R 19437 19439 19235 0 -1 4203588 202106 0 0 0 82826 418 0 0 25 0 2 0 4370682 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 27172.5
Current children cumulated vsize (KiB) 0
[startup+857.301 s]
/proc/loadavg: 32.07 31.82 31.25 2/415 19495
/proc/meminfo: memFree=256998196/264257624 swapFree=67044744/67111528
[pid=19439] ppid=19437 vsize=0 CPUtime=27172.7 cores=0-31
/proc/19439/stat : 19439 (strangenight2-m) Z 19437 19439 19235 0 -1 4203548 5918651 0 0 0 2705574 11692 0 0 25 0 2 0 4370681 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/19439/statm: 0 0 0 0 0 0 0
[pid=19439/tid=19461] ppid=19437 vsize=0 CPUtime=832.64 cores=0-31
/proc/19439/task/19461/stat : 19461 (strangenight2-m) R 19437 19439 19235 0 -1 4203588 202106 0 0 0 82826 438 0 0 25 0 2 0 4370682 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 27172.7
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 857.35
CPU time (s): 27172.7
CPU user time (s): 27055.7
CPU system time (s): 116.97
CPU usage (%): 3169.38
Max. virtual memory (cumulated for all children) (KiB): 11917672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27055.7
system time used= 116.97
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5918651
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= 2823755
involuntary context switches= 87246
runsolver used 4.44632 second user time and 19.578 second system time
The end
Launcher Data
Begin job on node200 at 2011-05-30 21:34:07
IDJOB=3400789
IDBENCH=82493
IDSOLVER=1886
FILE ID=node200/3400789-1306784046
RUNJOBID= node200-1306783903-19249
PBS_JOBID= 13471871
Free space on /tmp= 61568 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-eijkbs6669-tseitin.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400789-1306784046/watcher-3400789-1306784046 -o /tmp/evaluation-result-3400789-1306784046/solver-3400789-1306784046 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400789-1306784046.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 7886cd26d6e0801ea382a1ffd6224023
RANDOM SEED=951386180
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.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
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.042
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.12
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.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
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.04
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.042
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.042
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.09
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.042
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.042
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.05
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.042
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.14
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.042
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.11
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.042
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.12
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.042
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.02
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.042
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.08
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.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
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.042
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.10
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.042
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.07
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.042
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.13
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.042
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.042
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 : 3989.95
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.042
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.06
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.042
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.08
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.042
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.07
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.042
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.09
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.042
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.042
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.06
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.042
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.09
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.042
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.05
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.042
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 : 3996.76
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.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
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.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 263692744 kB
Buffers: 54068 kB
Cached: 314112 kB
SwapCached: 29816 kB
Active: 126132 kB
Inactive: 274260 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263692744 kB
SwapTotal: 67111528 kB
SwapFree: 67044744 kB
Dirty: 15236 kB
Writeback: 0 kB
AnonPages: 27444 kB
Mapped: 8384 kB
Slab: 60128 kB
PageTables: 4536 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 167864 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= 61564 MiB
End job on node200 at 2011-05-30 21:48:25