Trace number 3400796
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/manthey/traffic/ traffic_pcb_unknown.cnf |
MD5SUM | e669f2d68684ca746cc80f142ad8d0dc |
Bench Category | APPLICATION (applications instances) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 3081.42 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 33320 |
Number of clauses | 766757 |
Sum of the clauses size | 2858079 |
Maximum clause length | 4 |
Minimum clause length | 2 |
Number of clauses of size 1 | 0 |
Number of clauses of size 2 | 53534 |
Number of clauses of size 3 | 101881 |
Number of clauses of size 4 | 611342 |
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.03 c Using 32 threads
0.00/0.05 c This is CryptoMiniSat 3.0.0
0.00/0.05 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05 c Reading file 'HOME/instance-3400796-1306787419.cnf'
0.94/0.07 c -- header says num vars: 33320
0.94/0.07 c -- header says num clauses: 766757
62.00/4.68 c -- clauses added: 0 learnts, 766757 normals, 0 xors
62.00/4.68 c -- vars added 33320
62.00/4.68 c Parsing time: 0.87 s
62.00/4.68 c N st 0 0 33320 713223 53534 0 2858079 0 no data no data
73.19/5.51 c asymm cl-useful: 5/880/713223 lits-rem:5 time: 0.32
297.30/20.57 c Flit: 356 Blit: 266 bXBeca: 0 bXProp: 870 Bins: 0 BRemL: 0 BRemN: 0 P: 200.1M T: 6.16
299.06/20.63 c Cleaning up after failed var search: 0.06 s
300.74/20.80 c Replacing 870 vars Replaced 22593 lits Time: 0.08 s
389.85/30.33 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
389.85/30.36 c bin-w-bin subsume rem 6849 bins time: 0.02 s
392.49/30.54 c subs with bin: 4632 lits-rem: 2864 v-fix: 0 time: 0.13 s
395.85/30.74 c Subs w/ non-existent bins: 2562 l-rem: 1358 v-fix: 0 done: 3222 time: 0.09 s
398.94/30.92 c Removed useless bin: 9524 fixed: 0 props: 20.00M time: 0.16 s
472.41/33.99 c lits-rem: 841 cl-subs: 56082 v-elim: 812 v-fix: 0 time: 2.69 s
479.01/34.16 c Finding binary XORs T: 0.17 s found: 604
481.41/34.24 c Replacing 604 vars Replaced 9630 lits Time: 0.08 s
507.89/35.16 c Finding non-binary XORs: 0.81 s (found: 0, avg size: nan)
507.89/35.16 c calculated reachability. Time: 0.05
510.73/35.24 c Calc default polars - time: 0.08 s pos: 10963 undec: 11220 neg: 11137
510.73/35.25 c =========================================================================================
510.73/35.25 c types(t): F = full restart, N = normal restart
510.73/35.25 c types(t): S = simplification begin/end, E = solution found
510.73/35.25 c restart types(rt): st = static, dy = dynamic
510.73/35.25 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
510.73/35.25 c B st 0 0 30233 629222 37764 0 2503996 0 no data no data
570.72/37.28 c N dy 9 4066 30232 629222 37772 4003 2503995 45753 5.91 6.34
605.85/38.38 c Finding binary XORs T: 0.12 s found: 1
634.61/39.20 c N dy 40 8091 30231 629121 49247 6393 2503628 97416 6.52 8.43
688.94/40.98 c N dy 63 12137 30231 629121 50243 10402 2503628 149140 6.64 7.35
740.10/42.58 c Finding binary XORs T: 0.12 s found: 0
750.28/42.89 c N dy 87 16182 30230 628997 50243 14327 2503214 199364 6.82 8.11
810.43/44.78 c N dy 115 20634 30227 628997 50353 9682 2503214 117402 6.95 7.32
867.57/46.58 c N dy 135 24731 30226 628997 50439 13731 2503214 168894 6.91 7.28
870.74/46.68 c F st 138 25000 30226 628997 50439 13997 2503214 172240 6.92 no data
877.08/46.84 c Replacing 1 vars Replaced 391 lits Time: 0.09 s
883.40/47.07 c Found part 1410 vars: 952 clauses: 6776 lits size: 23750
883.40/47.07 c Found part 1647 vars: 810 clauses: 11035 lits size: 40572
883.40/47.07 c Found part 2212 vars: 4872 clauses: 194105 lits size: 741520
883.40/47.07 c Found part 2371 vars: 1069 clauses: 8829 lits size: 31178
883.40/47.07 c Found part 2397 vars: 4889 clauses: 18154 lits size: 51065
883.40/47.07 c Found part 2415 vars: 191 clauses: 476 lits size: 1318
883.40/47.07 c Found part 2417 vars: 15828 clauses: 420141 lits size: 1589152
883.40/47.07 c Found part 2425 vars: 833 clauses: 5234 lits size: 18300
883.40/47.07 c Found part 2426 vars: 305 clauses: 965 lits size: 2994
883.40/47.07 c Found part 2427 vars: 119 clauses: 118 lits size: 236
883.40/47.07 c Found part 2428 vars: 119 clauses: 118 lits size: 236
883.40/47.07 c Found part 2429 vars: 119 clauses: 118 lits size: 236
883.40/47.07 c Found part 2430 vars: 119 clauses: 118 lits size: 236
883.40/47.07 c Found parts: 13 time: 0.38 s
883.40/47.07 c Solving part 2427
886.57/47.13 c N st 0 0 119 0 118 0 236 0 no data no data
886.57/47.13 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
886.57/47.13 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
886.57/47.13 c Finding binary XORs T: 0.00 s found: 0
886.57/47.13 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
886.57/47.13 c calculated reachability. Time: 0.00
886.57/47.14 c Calc default polars - time: 0.00 s pos: 1 undec: 33318 neg: 1
886.57/47.14 c =========================================================================================
886.57/47.14 c types(t): F = full restart, N = normal restart
886.57/47.14 c types(t): S = simplification begin/end, E = solution found
886.57/47.14 c restart types(rt): st = static, dy = dynamic
886.57/47.14 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
886.57/47.14 c B st 0 0 119 0 118 0 236 0 no data no data
886.57/47.14 c E st 1 0 0 0 118 0 236 0 no data no data
886.57/47.14 c Verified 0 clauses.
886.57/47.14 c Verified 0 clauses.
886.57/47.14 c Solved part
886.57/47.14 c =========================================================================================
886.57/47.14 c Solving part 2428
886.57/47.20 c N st 0 0 119 0 118 0 236 0 no data no data
886.57/47.20 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
886.57/47.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
886.57/47.20 c Finding binary XORs T: 0.00 s found: 0
886.57/47.20 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
886.57/47.20 c calculated reachability. Time: 0.00
886.57/47.20 c Calc default polars - time: 0.00 s pos: 1 undec: 33318 neg: 1
886.57/47.20 c =========================================================================================
886.57/47.20 c types(t): F = full restart, N = normal restart
886.57/47.20 c types(t): S = simplification begin/end, E = solution found
886.57/47.20 c restart types(rt): st = static, dy = dynamic
886.57/47.20 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
886.57/47.20 c B st 0 0 119 0 118 0 236 0 no data no data
886.57/47.20 c E st 1 0 0 0 118 0 236 0 no data no data
886.57/47.20 c Verified 0 clauses.
886.57/47.20 c Verified 0 clauses.
886.57/47.20 c Solved part
886.57/47.20 c =========================================================================================
886.57/47.20 c Solving part 2429
890.35/47.26 c N st 0 0 119 0 118 0 236 0 no data no data
890.35/47.26 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
890.35/47.26 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
890.35/47.27 c Finding binary XORs T: 0.00 s found: 0
890.35/47.27 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
890.35/47.27 c calculated reachability. Time: 0.00
890.35/47.27 c Calc default polars - time: 0.00 s pos: 1 undec: 33318 neg: 1
890.35/47.27 c =========================================================================================
890.35/47.27 c types(t): F = full restart, N = normal restart
890.35/47.27 c types(t): S = simplification begin/end, E = solution found
890.35/47.27 c restart types(rt): st = static, dy = dynamic
890.35/47.27 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
890.35/47.27 c B st 0 0 119 0 118 0 236 0 no data no data
890.35/47.27 c E st 1 0 0 0 118 0 236 0 no data no data
890.35/47.27 c Verified 0 clauses.
890.35/47.27 c Verified 0 clauses.
890.35/47.27 c Solved part
890.35/47.27 c =========================================================================================
890.35/47.27 c Solving part 2430
893.58/47.33 c N st 0 0 119 0 118 0 236 0 no data no data
893.58/47.33 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
893.58/47.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
893.58/47.33 c Finding binary XORs T: 0.00 s found: 0
893.58/47.33 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
893.58/47.33 c calculated reachability. Time: 0.00
893.58/47.33 c Calc default polars - time: 0.00 s pos: 1 undec: 33318 neg: 1
893.58/47.33 c =========================================================================================
893.58/47.33 c types(t): F = full restart, N = normal restart
893.58/47.33 c types(t): S = simplification begin/end, E = solution found
893.58/47.33 c restart types(rt): st = static, dy = dynamic
893.58/47.33 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
893.58/47.33 c B st 0 0 119 0 118 0 236 0 no data no data
893.58/47.33 c E st 1 0 0 0 118 0 236 0 no data no data
893.58/47.33 c Verified 0 clauses.
893.58/47.33 c Verified 0 clauses.
893.58/47.33 c Solved part
893.58/47.33 c =========================================================================================
893.58/47.33 c Solving part 2415
893.58/47.39 c N st 0 0 191 221 280 0 1318 50 no data no data
893.58/47.40 c asymm cl-useful: 27/221/221 lits-rem:27 time: 0.00
896.11/47.40 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
896.11/47.40 c Finding binary XORs T: 0.00 s found: 0
896.11/47.40 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
896.11/47.40 c calculated reachability. Time: 0.00
896.11/47.40 c Calc default polars - time: 0.00 s pos: 69 undec: 33163 neg: 88
896.11/47.40 c =========================================================================================
896.11/47.40 c types(t): F = full restart, N = normal restart
896.11/47.40 c types(t): S = simplification begin/end, E = solution found
896.11/47.40 c restart types(rt): st = static, dy = dynamic
896.11/47.40 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
896.11/47.40 c B st 0 0 191 221 280 0 1291 50 no data no data
896.11/47.40 c E st 1 0 0 221 280 0 1291 50 no data no data
896.11/47.41 c Verified 221 clauses.
896.11/47.41 c Verified 221 clauses.
896.11/47.41 c Solved part
896.11/47.41 c =========================================================================================
896.11/47.41 c Solving part 2426
896.11/47.47 c N st 0 0 305 606 483 0 2994 248 no data no data
896.11/47.48 c asymm cl-useful: 84/606/606 lits-rem:131 time: 0.01
896.11/47.49 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01
896.11/47.49 c Finding binary XORs T: 0.00 s found: 0
896.11/47.49 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
896.11/47.49 c calculated reachability. Time: 0.00
896.11/47.49 c Calc default polars - time: 0.00 s pos: 135 undec: 33051 neg: 134
896.11/47.49 c =========================================================================================
896.11/47.49 c types(t): F = full restart, N = normal restart
896.11/47.49 c types(t): S = simplification begin/end, E = solution found
896.11/47.49 c restart types(rt): st = static, dy = dynamic
896.11/47.49 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
896.11/47.49 c B st 0 0 305 603 486 0 2869 248 no data no data
896.11/47.49 c E st 1 0 0 603 486 0 2869 248 no data no data
896.11/47.49 c Verified 603 clauses.
896.11/47.49 c Verified 603 clauses.
896.11/47.49 c Solved part
896.11/47.49 c =========================================================================================
896.11/47.49 c Solving part 1647
899.30/47.56 c N st 0 0 810 10011 1960 0 40572 1872 no data no data
912.07/47.94 c asymm cl-useful: 681/3974/10011 lits-rem:735 time: 0.38
915.26/48.02 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 47 Bins: 0 BRemL: 0 BRemN: 0 P: 2.9M T: 0.08
915.26/48.02 c Finding binary XORs T: 0.00 s found: 3
915.26/48.02 c Replacing 51 vars Replaced 4226 lits Time: 0.00 s
915.26/48.03 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
915.26/48.03 c calculated reachability. Time: 0.00
915.26/48.03 c Calc default polars - time: 0.00 s pos: 306 undec: 32767 neg: 247
915.26/48.03 c =========================================================================================
915.26/48.03 c types(t): F = full restart, N = normal restart
915.26/48.03 c types(t): S = simplification begin/end, E = solution found
915.26/48.03 c restart types(rt): st = static, dy = dynamic
915.26/48.03 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
915.26/48.03 c B st 0 0 759 8868 1909 0 35325 1866 no data no data
915.26/48.03 c E st 1 0 0 8868 1909 0 35325 1866 no data no data
915.26/48.03 c Verified 8868 clauses.
915.26/48.03 c Verified 8868 clauses.
915.26/48.03 c Solved part
915.26/48.03 c =========================================================================================
915.26/48.03 c Solving part 2425
915.26/48.10 c N st 0 0 833 4250 1058 0 18300 148 no data no data
918.46/48.19 c asymm cl-useful: 58/4250/4250 lits-rem:58 time: 0.09
921.65/48.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.03
921.65/48.22 c Finding binary XORs T: 0.00 s found: 0
921.65/48.22 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
921.65/48.22 c calculated reachability. Time: 0.00
921.65/48.22 c Calc default polars - time: 0.00 s pos: 276 undec: 32785 neg: 259
921.65/48.22 c =========================================================================================
921.65/48.22 c types(t): F = full restart, N = normal restart
921.65/48.22 c types(t): S = simplification begin/end, E = solution found
921.65/48.22 c restart types(rt): st = static, dy = dynamic
921.65/48.22 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
921.65/48.22 c B st 0 0 833 4250 1058 0 18242 148 no data no data
921.65/48.22 c E st 1 0 0 4250 1058 0 18242 148 no data no data
921.65/48.23 c Verified 4250 clauses.
921.65/48.23 c Verified 4250 clauses.
921.65/48.23 c Solved part
921.65/48.23 c =========================================================================================
921.65/48.23 c Solving part 1410
921.65/48.29 c N st 0 0 952 5550 1324 0 23750 196 no data no data
928.64/48.43 c asymm cl-useful: 137/5550/5550 lits-rem:137 time: 0.14
928.64/48.47 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.6M T: 0.04
928.64/48.48 c Finding binary XORs T: 0.00 s found: 0
928.64/48.48 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
928.64/48.48 c calculated reachability. Time: 0.00
928.64/48.48 c Calc default polars - time: 0.00 s pos: 360 undec: 32596 neg: 364
928.64/48.48 c =========================================================================================
928.64/48.48 c types(t): F = full restart, N = normal restart
928.64/48.48 c types(t): S = simplification begin/end, E = solution found
928.64/48.48 c restart types(rt): st = static, dy = dynamic
928.64/48.48 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
928.64/48.48 c B st 0 0 952 5550 1324 0 23613 196 no data no data
928.64/48.48 c E st 1 0 0 5550 1324 0 23613 196 no data no data
928.64/48.48 c Verified 5550 clauses.
928.64/48.48 c Verified 5550 clauses.
928.64/48.48 c Solved part
928.64/48.48 c =========================================================================================
928.64/48.49 c Solving part 2371
931.22/48.55 c N st 0 0 1069 7373 1661 0 31178 410 no data no data
937.62/48.78 c asymm cl-useful: 124/7373/7373 lits-rem:124 time: 0.22
940.81/48.82 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.0M T: 0.05
940.81/48.83 c Finding binary XORs T: 0.00 s found: 0
940.81/48.83 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
940.81/48.83 c calculated reachability. Time: 0.00
940.81/48.83 c Calc default polars - time: 0.00 s pos: 438 undec: 32424 neg: 458
940.81/48.83 c =========================================================================================
940.81/48.83 c types(t): F = full restart, N = normal restart
940.81/48.83 c types(t): S = simplification begin/end, E = solution found
940.81/48.83 c restart types(rt): st = static, dy = dynamic
940.81/48.83 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
940.81/48.83 c B st 0 0 1069 7373 1661 0 31054 410 no data no data
940.81/48.83 c E st 1 0 0 7373 1661 0 31054 410 no data no data
940.81/48.84 c Verified 7373 clauses.
940.81/48.84 c Verified 7373 clauses.
940.81/48.84 c Solved part
940.81/48.84 c =========================================================================================
940.81/48.84 c Solving part 2212
947.19/49.09 c N st 0 0 4872 187932 7725 12491 741520 134391 no data no data
950.37/49.19 c asymm cl-useful: 2/338/187932 lits-rem:2 time: 0.10
975.68/49.90 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 3 Bins: 0 BRemL: 0 BRemN: 0 P: 75.9M T: 0.68
975.68/49.91 c Finding binary XORs T: 0.01 s found: 0
975.68/49.93 c Replacing 3 vars Replaced 1267 lits Time: 0.01 s
978.80/50.05 c Finding non-binary XORs: 0.10 s (found: 0, avg size: nan)
978.80/50.05 c calculated reachability. Time: 0.00
978.80/50.06 c Calc default polars - time: 0.01 s pos: 1550 undec: 30200 neg: 1570
978.80/50.06 c =========================================================================================
978.80/50.06 c types(t): F = full restart, N = normal restart
978.80/50.06 c types(t): S = simplification begin/end, E = solution found
978.80/50.06 c restart types(rt): st = static, dy = dynamic
978.80/50.06 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
978.80/50.06 c B st 0 0 4869 187932 7719 12490 741512 134369 no data no data
1026.61/51.54 c N dy 16 4162 4869 187932 7723 16613 741512 191353 7.22 7.61
1077.74/53.13 c N dy 28 8335 4868 187932 7742 20739 741512 243536 6.89 7.29
1125.71/54.60 c N dy 45 12512 4868 187932 7743 24886 741512 298032 6.82 7.20
1183.23/56.42 c N dy 61 17070 4867 187932 7758 29392 741512 353086 6.77 7.14
1237.59/58.11 c N dy 82 21293 4866 187932 7764 17436 741512 158405 6.78 7.15
1279.74/59.43 c F st 105 25000 4865 187932 7770 21111 741512 205971 6.83 4.98
1288.73/59.72 c N st 107 25626 4865 187932 7770 21735 741512 214172 6.83 no data
1350.06/61.63 c N dy 111 30194 4864 187932 7782 26251 741512 277179 6.83 no data
1413.40/63.66 c N dy 143 35011 4864 187932 7783 31035 741511 343676 6.92 7.34
1477.30/65.67 c N dy 158 39588 4863 187932 7797 35553 741511 400046 6.88 7.28
1480.50/65.71 c Finding binary XORs T: 0.01 s found: 0
1544.43/67.73 c N dy 178 44009 4862 186978 7542 16968 737679 144085 6.89 7.30
1598.80/69.47 c N dy 199 48076 4862 186978 7546 20999 737679 195989 6.89 7.30
1656.32/71.25 c N dy 225 52129 4862 186978 7548 25033 737679 249135 6.94 7.33
1726.64/73.49 c N dy 247 56666 4862 186978 7551 29531 737679 307514 6.96 7.70
1784.18/75.22 c N dy 257 60681 4862 186978 7555 33508 737679 354058 6.93 7.32
1839.13/76.98 c N dy 275 64707 4862 186978 7556 19606 737679 153936 6.94 7.32
1892.87/78.65 c N dy 300 69008 4862 186978 7561 23862 737677 212788 6.96 7.40
1950.40/80.41 c N dy 319 73747 4862 186978 7569 28563 737675 277674 6.95 7.35
2018.13/82.54 c N dy 346 78501 4860 186978 7590 33253 737675 342492 6.97 7.57
2100.64/85.19 c N dy 374 83887 4859 186978 7601 38564 737673 413257 6.98 7.35
2155.59/86.90 c F st 390 87502 4859 186978 7605 21830 737673 160833 6.97 no data
2183.76/87.80 c N st 394 89532 4859 186978 7605 23853 737673 186922 6.97 no data
2261.07/90.17 c N dy 418 95267 4859 186978 7605 29568 737672 275667 7.00 7.96
2340.39/92.61 c Finding binary XORs T: 0.01 s found: 0
2356.39/93.19 c N dy 442 101408 4859 186313 7499 32365 735081 335668 7.00 7.38
2477.82/96.90 c N dy 477 109498 4858 186313 7511 40391 735079 444910 7.00 7.43
2583.34/100.27 c N dy 518 116711 4858 186313 7519 27096 735079 223594 7.02 7.41
2701.59/103.96 c N dy 562 124258 4856 186313 7532 34595 735079 331029 7.04 9.05
2829.45/107.94 c N dy 599 132393 4856 186313 7538 42660 735079 445694 7.06 7.45
2964.32/112.16 c N dy 650 140951 4854 186313 7547 28545 735078 232620 7.09 7.46
3120.35/117.08 c N dy 704 150862 4854 186313 7557 38379 735078 376121 7.11 7.49
3289.74/122.32 c N dy 768 160533 4854 186313 7558 47995 735077 520509 7.16 9.02
3449.58/127.36 c N dy 830 170926 4853 186313 7569 34089 735077 295247 7.18 7.68
3539.07/130.15 c Finding binary XORs T: 0.01 s found: 0
3635.58/133.15 c N dy 902 182439 4852 185013 7409 38515 729933 395150 7.22 7.60
3808.20/138.60 c N dy 955 194164 4851 185013 7427 28138 729932 220499 7.22 9.03
4009.00/144.80 c N dy 1032 206952 4851 185013 7433 40832 729932 403667 7.25 7.64
4226.35/151.68 c N dy 1122 220353 4850 185013 7445 29224 729931 210452 7.29 7.70
4446.92/158.59 c N dy 1221 234454 4850 185013 7449 43251 729931 419228 7.33 8.29
4712.25/166.80 c N dy 1316 249579 4850 185013 7456 31424 729931 228917 7.36 7.77
4958.38/174.52 c N dy 1421 265519 4850 185013 7463 47258 729931 465064 7.39 7.78
5223.67/182.85 c N dy 1514 282623 4848 185013 7481 35930 729931 280078 7.40 7.82
5469.82/190.59 c Finding binary XORs T: 0.01 s found: 3
5531.16/192.42 c N dy 1628 300819 4848 184484 7414 52107 727910 538702 7.43 7.95
5636.65/195.74 c F st 1660 306251 4848 184484 7415 28887 727910 166325 7.44 no data
5859.81/202.73 c N dy 1708 320123 4847 184484 7425 42683 727910 381840 7.44 7.93
6221.02/214.05 c N dy 1826 340176 4847 184484 7436 32399 727910 200087 7.46 10.33
6556.65/224.54 c N dy 1965 360184 4847 184484 7438 52307 727910 508955 7.51 8.22
6908.26/235.58 c N dy 2088 380256 4847 184484 7443 40754 727910 316253 7.53 7.98
7275.89/247.08 c N dy 2209 401101 4845 184484 7456 61476 727910 640100 7.55 8.05
7614.72/257.65 c N dy 2303 421159 4843 184484 7477 48729 727909 428712 7.56 8.15
7969.52/268.78 c N dy 2434 441182 4843 184484 7484 34921 727909 202852 7.58 8.38
8308.98/279.34 c N dy 2543 461794 4843 184484 7491 55424 727909 524876 7.60 8.02
8353.12/280.76 c Finding binary XORs T: 0.01 s found: 6
8675.97/290.90 c N dy 2657 482224 4843 183631 7433 40448 724498 284679 7.61 8.09
9021.20/301.61 c N dy 2758 502276 4843 183631 7439 60396 724498 605223 7.62 8.95
9392.02/313.30 c N dy 2879 522792 4843 183631 7442 45273 724498 348328 7.63 8.05
9759.59/324.72 c N dy 2988 542890 4843 183631 7449 65259 724498 680577 7.64 8.09
10098.47/335.38 c N dy 3081 563030 4840 183631 7470 48613 724498 392702 7.64 8.24
10459.68/346.66 c N dy 3206 583037 4836 183631 7487 68502 724498 712054 7.66 8.12
10805.48/357.52 c N dy 3315 603265 4835 183631 7495 50913 724498 429732 7.66 8.25
11172.50/368.94 c N dy 3444 623797 4835 183631 7501 71345 724498 775011 7.68 8.36
11444.22/377.43 c Finding binary XORs T: 0.01 s found: 7
11530.50/380.16 c N dy 3557 643941 4835 182223 7309 52635 718501 439355 7.69 8.22
11901.30/391.71 c N dy 3652 664064 4835 182223 7315 72654 718501 766930 7.69 8.10
12256.10/402.83 c N dy 3752 684105 4835 182223 7321 53649 718500 442556 7.70 9.53
12642.90/414.98 c N dy 3848 704369 4831 182223 7343 73776 718500 772212 7.70 8.22
13016.93/426.72 c N dy 3953 724393 4824 182223 7367 53872 718500 415152 7.70 8.39
13375.55/437.84 c N dy 4063 744472 4824 182223 7374 73825 718500 747703 7.71 8.17
13493.19/441.52 c Finding binary XORs T: 0.01 s found: 30
13739.33/449.28 c N dy 4155 764499 4805 175015 7266 49449 689659 360316 7.71 8.12
14094.13/460.38 c N dy 4249 785441 4802 175015 7288 70258 689659 716181 7.71 8.32
14477.74/472.33 c N dy 4338 806463 4769 175015 7316 49875 689659 353950 7.70 8.22
14682.32/478.76 c Finding binary XORs T: 0.01 s found: 25
14685.52/478.82 c Replacing 71 vars Replaced 55394 lits Time: 0.06 s
14832.57/483.42 c N dy 4414 826537 4684 159813 7078 59108 629084 583157 7.69 8.54
15174.57/494.10 c N dy 4487 846685 4649 159813 7126 42066 629084 251068 7.68 8.11
15200.75/494.93 c Finding binary XORs T: 0.01 s found: 33
15280.06/497.41 c E dy 4504 853885 4431 104993 7460 21386 416197 131676 7.68 3.56
16435.85/615.47 c Following stats are for *FIRST FINISHED THREAD ONLY*
16435.85/615.47 c num threads : 32
16435.85/615.47 c restarts : 131
16435.85/615.47 c dynamic restarts : 125
16435.85/615.47 c static restarts : 6
16435.85/615.47 c full restarts : 0
16435.85/615.47 c total simplify time : 0.18
16435.85/615.47 c learnts DL2 : 0
16435.85/615.47 c learnts size 2 : 72925
16435.85/615.47 c learnts size 1 : 823 (2.47 % of vars)
16435.85/615.47 c filedLit time : 5.83 (0.99 % time)
16435.85/615.47 c v-elim SatELite : 797 (2.39 % vars)
16435.85/615.47 c SatELite time : 1.22 (0.21 % time)
16435.85/615.47 c v-elim xor : 0 (0.00 % vars)
16435.85/615.47 c xor elim time : 0.00 (0.00 % time)
16435.85/615.47 c num binary xor trees : 229
16435.85/615.47 c binxor trees' crown : 1461 (6.38 leafs/tree)
16435.85/615.47 c bin xor find time : 0.24
16435.85/615.47 c OTF clause improved : 242 (0.01 clauses/conflict)
16435.85/615.47 c OTF impr. size diff : 319 (1.32 lits/clause)
16435.85/615.47 c OTF cl watch-shrink : 16469 (0.66 clauses/conflict)
16435.85/615.47 c OTF cl watch-sh-lit : 38949 (2.36 lits/clause)
16435.85/615.48 c tried to recurMin cls : 4451 (17.80 % of conflicts)
16435.85/615.48 c updated cache : 0 (0.00 lits/tried recurMin)
16435.85/615.48 c unit cls recevied : 5 (0.61 % of units)
16435.85/615.48 c unit cls sent : 0 (0.00 % of units)
16435.85/615.48 c bin cls recevied : 15771
16435.85/615.48 c bin cls sent : 141
16435.85/615.48 c clauses over max glue : 0 (0.00 % of all clauses)
16435.85/615.48 c conflicts : 25001 (42.37 / sec)
16435.85/615.48 c decisions : 31273 (0.00 % random)
16435.85/615.48 c bogo-props : 1418892620 (2404750.72 / sec)
16435.85/615.48 c conflict literals : 306660 (55.50 % deleted)
16435.85/615.48 c Memory used : 9978.40 MB
16435.85/615.48 c single-thread CPU time : 590.04 s
16435.85/615.48 c all-threads sum CPU time : 16344.65 s
16435.85/615.48 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-3400796-1306787419/watcher-3400796-1306787419 -o /tmp/evaluation-result-3400796-1306787419/solver-3400796-1306787419 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400796-1306787419.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: 13.95 20.68 25.22 1/413 20056
/proc/meminfo: memFree=263606880/264257624 swapFree=67044744/67111528
[pid=20056] ppid=20054 vsize=338000 CPUtime=0.66 cores=0-31
/proc/20056/stat : 20056 (strangenight2-m) R 20054 20056 19908 0 -1 4202496 438 0 0 0 66 0 0 0 22 0 32 0 4707979 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418678 0 0 4096 2 18446744073709551615 0 0 17 11 0 0 0
/proc/20056/statm: 84500 378 297 95 0 79482 0
[pid=20056/tid=20057] ppid=20054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20056/task/20057/stat : 20057 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418678 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20056/tid=20058] ppid=20054 vsize=338000 CPUtime=0 cores=0-31
/proc/20056/task/20058/stat : 20058 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418672 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=20056/tid=20059] ppid=20054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20056/task/20059/stat : 20059 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418674 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20056/tid=20060] ppid=20054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20056/task/20060/stat : 20060 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418664 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20056/tid=20061] ppid=20054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20056/task/20061/stat : 20061 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418674 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20056/tid=20062] ppid=20054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20056/task/20062/stat : 20062 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418668 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20056/tid=20063] ppid=20054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20056/task/20063/stat : 20063 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418674 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=20056/tid=20064] ppid=20054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20056/task/20064/stat : 20064 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418674 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20056/tid=20065] ppid=20054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20056/task/20065/stat : 20065 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418668 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=20056/tid=20066] ppid=20054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20056/task/20066/stat : 20066 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418668 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=20056/tid=20067] ppid=20054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20056/task/20067/stat : 20067 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418668 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=20056/tid=20068] ppid=20054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20056/task/20068/stat : 20068 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418674 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=20056/tid=20069] ppid=20054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20056/task/20069/stat : 20069 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418674 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=20056/tid=20070] ppid=20054 vsize=338000 CPUtime=0 cores=0-31
/proc/20056/task/20070/stat : 20070 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418668 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=20056/tid=20071] ppid=20054 vsize=338000 CPUtime=0 cores=0-31
/proc/20056/task/20071/stat : 20071 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418668 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=20056/tid=20072] ppid=20054 vsize=338000 CPUtime=0.01 cores=0-31
/proc/20056/task/20072/stat : 20072 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 0 0 0 0 1 0 0 0 21 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418674 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=20056/tid=20073] ppid=20054 vsize=338000 CPUtime=0.01 cores=0-31
/proc/20056/task/20073/stat : 20073 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 0 0 0 0 1 0 0 0 21 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418668 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=20056/tid=20074] ppid=20054 vsize=338000 CPUtime=0.01 cores=0-31
/proc/20056/task/20074/stat : 20074 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 0 0 0 0 1 0 0 0 21 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418674 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=20056/tid=20075] ppid=20054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20056/task/20075/stat : 20075 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418674 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20056/tid=20076] ppid=20054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20056/task/20076/stat : 20076 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418674 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=20056/tid=20077] ppid=20054 vsize=338000 CPUtime=0 cores=0-31
/proc/20056/task/20077/stat : 20077 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=20056/tid=20078] ppid=20054 vsize=338000 CPUtime=0 cores=0-31
/proc/20056/task/20078/stat : 20078 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418674 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=20056/tid=20079] ppid=20054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20056/task/20079/stat : 20079 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418664 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=20056/tid=20080] ppid=20054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20056/task/20080/stat : 20080 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418678 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20056/tid=20081] ppid=20054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20056/task/20081/stat : 20081 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418674 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=20056/tid=20082] ppid=20054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20056/task/20082/stat : 20082 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418674 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=20056/tid=20083] ppid=20054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20056/task/20083/stat : 20083 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418664 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=20056/tid=20084] ppid=20054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20056/task/20084/stat : 20084 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418674 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=20056/tid=20085] ppid=20054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20056/task/20085/stat : 20085 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418674 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=20056/tid=20086] ppid=20054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20056/task/20086/stat : 20086 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418678 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=20056/tid=20087] ppid=20054 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20056/task/20087/stat : 20087 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4707980 346112000 378 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418674 0 0 4096 2 0 0 0 -1 17 0 0 0
[startup+0.053 s]
/proc/loadavg: 13.95 20.68 25.22 1/413 20056
/proc/meminfo: memFree=263606880/264257624 swapFree=67044744/67111528
[pid=20056] ppid=20054 vsize=732436 CPUtime=0.94 cores=0-31
/proc/20056/stat : 20056 (strangenight2-m) R 20054 20056 19908 0 -1 4202496 2335 0 0 0 79 15 0 0 23 0 32 0 4707979 750014464 2163 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 11 0 0 0
/proc/20056/statm: 183109 2230 322 95 0 178091 0
[pid=20056/tid=20057] ppid=20054 vsize=732436 CPUtime=0.03 cores=0-31
/proc/20056/task/20057/stat : 20057 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 42 0 0 0 3 0 0 0 23 0 32 0 4707980 750014464 2278 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20056/tid=20058] ppid=20054 vsize=732436 CPUtime=0 cores=0-31
/proc/20056/task/20058/stat : 20058 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 81 0 0 0 0 0 0 0 18 0 32 0 4707980 750014464 2335 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=20056/tid=20059] ppid=20054 vsize=732436 CPUtime=0.03 cores=0-31
/proc/20056/task/20059/stat : 20059 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 92 0 0 0 3 0 0 0 18 0 32 0 4707980 750014464 2388 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20056/tid=20060] ppid=20054 vsize=732436 CPUtime=0.03 cores=0-31
/proc/20056/task/20060/stat : 20060 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 42 0 0 0 3 0 0 0 19 0 32 0 4707980 750014464 2438 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20056/tid=20061] ppid=20054 vsize=732436 CPUtime=0.03 cores=0-31
/proc/20056/task/20061/stat : 20061 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 67 0 0 0 3 0 0 0 19 0 32 0 4707980 750014464 2456 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20056/tid=20062] ppid=20054 vsize=732436 CPUtime=0.03 cores=0-31
/proc/20056/task/20062/stat : 20062 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 114 0 0 0 3 0 0 0 18 0 32 0 4707980 750014464 2531 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20056/tid=20063] ppid=20054 vsize=732436 CPUtime=0.03 cores=0-31
/proc/20056/task/20063/stat : 20063 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 63 0 0 0 3 0 0 0 20 0 32 0 4707980 750014464 2585 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=20056/tid=20064] ppid=20054 vsize=732436 CPUtime=0.03 cores=0-31
/proc/20056/task/20064/stat : 20064 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 71 0 0 0 3 0 0 0 20 0 32 0 4707980 750014464 2647 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20056/tid=20065] ppid=20054 vsize=732436 CPUtime=0.03 cores=0-31
/proc/20056/task/20065/stat : 20065 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 47 0 0 0 3 0 0 0 20 0 32 0 4707980 750014464 2693 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=20056/tid=20066] ppid=20054 vsize=732436 CPUtime=0.03 cores=0-31
/proc/20056/task/20066/stat : 20066 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 78 0 0 0 3 0 0 0 20 0 32 0 4707980 750014464 2746 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=20056/tid=20067] ppid=20054 vsize=732436 CPUtime=0.03 cores=0-31
/proc/20056/task/20067/stat : 20067 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 65 0 0 0 3 0 0 0 18 0 32 0 4707980 750014464 2791 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=20056/tid=20068] ppid=20054 vsize=732436 CPUtime=0.03 cores=0-31
/proc/20056/task/20068/stat : 20068 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 81 0 0 0 3 0 0 0 20 0 32 0 4707980 750014464 2832 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=20056/tid=20069] ppid=20054 vsize=732436 CPUtime=0.03 cores=0-31
/proc/20056/task/20069/stat : 20069 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 84 0 0 0 3 0 0 0 22 0 32 0 4707980 750014464 2877 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=20056/tid=20070] ppid=20054 vsize=732436 CPUtime=0 cores=0-31
/proc/20056/task/20070/stat : 20070 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 95 0 0 0 0 0 0 0 18 0 32 0 4707980 750014464 2924 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=20056/tid=20071] ppid=20054 vsize=732436 CPUtime=0 cores=0-31
/proc/20056/task/20071/stat : 20071 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 77 0 0 0 0 0 0 0 21 0 32 0 4707980 750014464 2965 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=20056/tid=20072] ppid=20054 vsize=732436 CPUtime=0.01 cores=0-31
/proc/20056/task/20072/stat : 20072 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 68 0 0 0 1 0 0 0 21 0 32 0 4707980 750014464 3037 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=20056/tid=20073] ppid=20054 vsize=732436 CPUtime=0.01 cores=0-31
/proc/20056/task/20073/stat : 20073 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 65 0 0 0 1 0 0 0 21 0 32 0 4707980 750014464 3082 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=20056/tid=20074] ppid=20054 vsize=732436 CPUtime=0.02 cores=0-31
/proc/20056/task/20074/stat : 20074 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 125 0 0 0 2 0 0 0 18 0 32 0 4707980 750014464 3130 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=20056/tid=20075] ppid=20054 vsize=732436 CPUtime=0.02 cores=0-31
/proc/20056/task/20075/stat : 20075 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 78 0 0 0 2 0 0 0 22 0 32 0 4707980 750014464 3173 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20056/tid=20076] ppid=20054 vsize=732436 CPUtime=0.02 cores=0-31
/proc/20056/task/20076/stat : 20076 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 92 0 0 0 2 0 0 0 23 0 32 0 4707980 750014464 3225 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=20056/tid=20077] ppid=20054 vsize=732436 CPUtime=0 cores=0-31
/proc/20056/task/20077/stat : 20077 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 43 0 0 0 0 0 0 0 22 0 32 0 4707980 750014464 3278 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=20056/tid=20078] ppid=20054 vsize=732436 CPUtime=0 cores=0-31
/proc/20056/task/20078/stat : 20078 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 88 0 0 0 0 0 0 0 22 0 32 0 4707980 750014464 3305 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=20056/tid=20079] ppid=20054 vsize=732436 CPUtime=0.02 cores=0-31
/proc/20056/task/20079/stat : 20079 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 102 0 0 0 2 0 0 0 23 0 32 0 4707980 750014464 3356 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=20056/tid=20080] ppid=20054 vsize=732436 CPUtime=0.02 cores=0-31
/proc/20056/task/20080/stat : 20080 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 151 0 0 0 2 0 0 0 23 0 32 0 4707980 750014464 3391 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20056/tid=20081] ppid=20054 vsize=732436 CPUtime=0.02 cores=0-31
/proc/20056/task/20081/stat : 20081 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 102 0 0 0 2 0 0 0 23 0 32 0 4707980 750014464 3449 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=20056/tid=20082] ppid=20054 vsize=732436 CPUtime=0.02 cores=0-31
/proc/20056/task/20082/stat : 20082 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 105 0 0 0 2 0 0 0 23 0 32 0 4707980 750014464 3487 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=20056/tid=20083] ppid=20054 vsize=732436 CPUtime=0.02 cores=0-31
/proc/20056/task/20083/stat : 20083 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 135 0 0 0 2 0 0 0 18 0 32 0 4707980 750014464 3528 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=20056/tid=20084] ppid=20054 vsize=732436 CPUtime=0.02 cores=0-31
/proc/20056/task/20084/stat : 20084 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 101 0 0 0 2 0 0 0 24 0 32 0 4707980 750014464 3584 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=20056/tid=20085] ppid=20054 vsize=732436 CPUtime=0.02 cores=0-31
/proc/20056/task/20085/stat : 20085 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 85 0 0 0 2 0 0 0 17 0 32 0 4707980 750014464 3639 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=20056/tid=20086] ppid=20054 vsize=732436 CPUtime=0.02 cores=0-31
/proc/20056/task/20086/stat : 20086 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 102 0 0 0 2 0 0 0 24 0 32 0 4707980 750014464 3694 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=20056/tid=20087] ppid=20054 vsize=732436 CPUtime=0.02 cores=0-31
/proc/20056/task/20087/stat : 20087 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 140 0 0 0 2 0 0 0 24 0 32 0 4707980 750014464 3746 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 732436
[startup+0.105979 s]
/proc/loadavg: 13.95 20.68 25.22 1/413 20056
/proc/meminfo: memFree=263606880/264257624 swapFree=67044744/67111528
[pid=20056] ppid=20054 vsize=1260376 CPUtime=1.72 cores=0-31
/proc/20056/stat : 20056 (strangenight2-m) S 20054 20056 19908 0 -1 4202496 11908 0 0 0 85 87 0 0 17 0 32 0 4707979 1290625024 11731 268435456000 4194304 4580107 140733197718608 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 11 0 0 0
/proc/20056/statm: 315094 11779 332 95 0 310076 0
[pid=20056/tid=20057] ppid=20054 vsize=1260376 CPUtime=0.05 cores=0-31
/proc/20056/task/20057/stat : 20057 (strangenight2-m) D 20054 20056 19908 0 -1 4202560 391 0 0 0 3 2 0 0 17 0 32 0 4707980 1290625024 11783 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20056/tid=20058] ppid=20054 vsize=1260376 CPUtime=0.03 cores=0-31
/proc/20056/task/20058/stat : 20058 (strangenight2-m) D 20054 20056 19908 0 -1 4202560 292 0 0 0 1 2 0 0 17 0 32 0 4707980 1290625024 11790 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=20056/tid=20059] ppid=20054 vsize=1260376 CPUtime=0.06 cores=0-31
/proc/20056/task/20059/stat : 20059 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 404 0 0 0 3 3 0 0 17 0 32 0 4707980 1290625024 11796 268435456000 4194304 4580107 140733197718608 18446744073709551615 258651060958 0 0 4096 2 18446604497495301600 0 0 -1 2 0 0 0
[pid=20056/tid=20060] ppid=20054 vsize=1260376 CPUtime=0.05 cores=0-31
/proc/20056/task/20060/stat : 20060 (strangenight2-m) D 20054 20056 19908 0 -1 4202560 272 0 0 0 3 2 0 0 17 0 32 0 4707980 1290625024 11803 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20056/tid=20061] ppid=20054 vsize=1260516 CPUtime=0.06 cores=0-31
/proc/20056/task/20061/stat : 20061 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 370 0 0 0 3 3 0 0 17 0 32 0 4707980 1290768384 11814 268435456000 4194304 4580107 140733197718608 18446744073709551615 258651060958 0 0 4096 2 18446744071566928464 0 0 -1 6 0 0 0
[pid=20056/tid=20062] ppid=20054 vsize=1260516 CPUtime=0.05 cores=0-31
/proc/20056/task/20062/stat : 20062 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 449 0 0 0 3 2 0 0 17 0 32 0 4707980 1290768384 11830 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20056/tid=20063] ppid=20054 vsize=1260516 CPUtime=0.05 cores=0-31
/proc/20056/task/20063/stat : 20063 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 271 0 0 0 3 2 0 0 17 0 32 0 4707980 1290768384 11835 268435456000 4194304 4580107 140733197718608 18446744073709551615 258651060958 0 0 4096 2 18446604505255149024 0 0 -1 24 0 0 0
[pid=20056/tid=20064] ppid=20054 vsize=1260516 CPUtime=0.05 cores=0-31
/proc/20056/task/20064/stat : 20064 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 267 0 0 0 3 2 0 0 17 0 32 0 4707980 1290768384 11866 268435456000 4194304 4580107 140733197718608 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20056/tid=20065] ppid=20054 vsize=1260516 CPUtime=0.05 cores=0-31
/proc/20056/task/20065/stat : 20065 (strangenight2-m) D 20054 20056 19908 0 -1 4202560 321 0 0 0 3 2 0 0 17 0 32 0 4707980 1290768384 11868 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=20056/tid=20066] ppid=20054 vsize=1260648 CPUtime=0.05 cores=0-31
/proc/20056/task/20066/stat : 20066 (strangenight2-m) D 20054 20056 19908 0 -1 4202560 350 0 0 0 3 2 0 0 17 0 32 0 4707980 1290903552 11873 268435456000 4194304 4580107 140733197718608 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=20056/tid=20067] ppid=20054 vsize=1260648 CPUtime=0.05 cores=0-31
/proc/20056/task/20067/stat : 20067 (strangenight2-m) D 20054 20056 19908 0 -1 4202560 358 0 0 0 3 2 0 0 17 0 32 0 4707980 1290903552 11881 268435456000 4194304 4580107 140733197718608 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=20056/tid=20068] ppid=20054 vsize=1260648 CPUtime=0.05 cores=0-31
/proc/20056/task/20068/stat : 20068 (strangenight2-m) D 20054 20056 19908 0 -1 4202560 398 0 0 0 3 2 0 0 18 0 32 0 4707980 1290903552 11891 268435456000 4194304 4580107 140733197718608 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=20056/tid=20069] ppid=20054 vsize=1260648 CPUtime=0.05 cores=0-31
/proc/20056/task/20069/stat : 20069 (strangenight2-m) D 20054 20056 19908 0 -1 4202560 439 0 0 0 3 2 0 0 17 0 32 0 4707980 1290903552 11900 268435456000 4194304 4580107 140733197718608 18446744073709551615 258650653015 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=20056/tid=20070] ppid=20054 vsize=1260648 CPUtime=0.02 cores=0-31
/proc/20056/task/20070/stat : 20070 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 271 0 0 0 0 2 0 0 17 0 32 0 4707980 1290903552 11904 268435456000 4194304 4580107 140733197718608 18446744073709551615 258651060958 0 0 4096 2 18446744071566927544 0 0 -1 22 0 0 0
[pid=20056/tid=20071] ppid=20054 vsize=1260648 CPUtime=0.03 cores=0-31
/proc/20056/task/20071/stat : 20071 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 353 0 0 0 1 2 0 0 17 0 32 0 4707980 1290903552 11907 268435456000 4194304 4580107 140733197718608 18446744073709551615 258651060958 0 0 4096 2 18446604489237020128 0 0 -1 30 0 0 0
[pid=20056/tid=20072] ppid=20054 vsize=1260648 CPUtime=0.03 cores=0-31
/proc/20056/task/20072/stat : 20072 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 305 0 0 0 1 2 0 0 21 0 32 0 4707980 1290903552 11926 268435456000 4194304 4580107 140733197718608 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=20056/tid=20073] ppid=20054 vsize=1260648 CPUtime=0.05 cores=0-31
################
# More data... #
################
[pid=20056/tid=20086] ppid=20054 vsize=10235168 CPUtime=544.22 cores=0-31
/proc/20056/task/20086/stat : 20086 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 118829 0 0 0 54144 278 0 0 25 0 32 0 4707980 10480812032 1943054 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604449302732256 0 0 -1 22 0 0 0
[pid=20056/tid=20087] ppid=20054 vsize=10235168 CPUtime=602.14 cores=0-31
/proc/20056/task/20087/stat : 20087 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 94045 0 0 0 60008 206 0 0 25 0 32 0 4707980 10480812032 1943054 268435456000 4194304 4580107 140733197718608 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 16427.3
Current children cumulated vsize (KiB) 10235168
[startup+614.302 s]
/proc/loadavg: 9.40 22.97 25.71 3/445 20107
/proc/meminfo: memFree=255831760/264257624 swapFree=67044744/67111528
[pid=20056] ppid=20054 vsize=10235168 CPUtime=16433.7 cores=0-31
/proc/20056/stat : 20056 (strangenight2-m) S 20054 20056 19908 0 -1 4202496 3512090 0 0 0 1634229 9136 0 0 25 0 32 0 4707979 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/20056/statm: 2558792 1943210 378 95 0 2553774 0
[pid=20056/tid=20057] ppid=20054 vsize=10235168 CPUtime=504.71 cores=0-31
/proc/20056/task/20057/stat : 20057 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 113766 0 0 0 50159 312 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604505255149024 0 0 -1 25 0 0 0
[pid=20056/tid=20058] ppid=20054 vsize=10235168 CPUtime=485.73 cores=0-31
/proc/20056/task/20058/stat : 20058 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 105922 0 0 0 48306 267 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604535001234912 0 0 -1 30 0 0 0
[pid=20056/tid=20059] ppid=20054 vsize=10235168 CPUtime=495.5 cores=0-31
/proc/20056/task/20059/stat : 20059 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 106750 0 0 0 49238 312 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604503818919392 0 0 -1 15 0 0 0
[pid=20056/tid=20060] ppid=20054 vsize=10235168 CPUtime=514.87 cores=0-31
/proc/20056/task/20060/stat : 20060 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 102179 0 0 0 51196 291 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604497495301600 0 0 -1 20 0 0 0
[pid=20056/tid=20061] ppid=20054 vsize=10235168 CPUtime=515.36 cores=0-31
/proc/20056/task/20061/stat : 20061 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 124795 0 0 0 51241 295 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604489237020128 0 0 -1 20 0 0 0
[pid=20056/tid=20062] ppid=20054 vsize=10235168 CPUtime=490.69 cores=0-31
/proc/20056/task/20062/stat : 20062 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 95790 0 0 0 48800 269 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604454700342752 0 0 -1 13 0 0 0
[pid=20056/tid=20063] ppid=20054 vsize=10235168 CPUtime=493.9 cores=0-31
/proc/20056/task/20063/stat : 20063 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 115259 0 0 0 49127 263 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604487066426848 0 0 -1 27 0 0 0
[pid=20056/tid=20064] ppid=20054 vsize=10235168 CPUtime=503.58 cores=0-31
/proc/20056/task/20064/stat : 20064 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 123185 0 0 0 50114 244 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604695801503200 0 0 -1 28 0 0 0
[pid=20056/tid=20065] ppid=20054 vsize=10235168 CPUtime=532.63 cores=0-31
/proc/20056/task/20065/stat : 20065 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 126814 0 0 0 53000 263 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604490792549856 0 0 -1 21 0 0 0
[pid=20056/tid=20066] ppid=20054 vsize=10235168 CPUtime=592 cores=0-31
/proc/20056/task/20066/stat : 20066 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 119810 0 0 0 58886 314 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289393707 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=20056/tid=20067] ppid=20054 vsize=10235168 CPUtime=519.23 cores=0-31
/proc/20056/task/20067/stat : 20067 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 94508 0 0 0 51646 277 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604695801396704 0 0 -1 11 0 0 0
[pid=20056/tid=20068] ppid=20054 vsize=10235168 CPUtime=491.93 cores=0-31
/proc/20056/task/20068/stat : 20068 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 88426 0 0 0 48912 281 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604489814597088 0 0 -1 6 0 0 0
[pid=20056/tid=20069] ppid=20054 vsize=10235168 CPUtime=497.34 cores=0-31
/proc/20056/task/20069/stat : 20069 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 117454 0 0 0 49440 294 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604695801478624 0 0 -1 3 0 0 0
[pid=20056/tid=20070] ppid=20054 vsize=10235168 CPUtime=490.39 cores=0-31
/proc/20056/task/20070/stat : 20070 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 108059 0 0 0 48715 324 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604695801413088 0 0 -1 4 0 0 0
[pid=20056/tid=20071] ppid=20054 vsize=10235168 CPUtime=496.94 cores=0-31
/proc/20056/task/20071/stat : 20071 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 101391 0 0 0 49376 318 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604469205614048 0 0 -1 18 0 0 0
[pid=20056/tid=20072] ppid=20054 vsize=10235168 CPUtime=515.16 cores=0-31
/proc/20056/task/20072/stat : 20072 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 94951 0 0 0 51246 270 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604695801421280 0 0 -1 29 0 0 0
[pid=20056/tid=20073] ppid=20054 vsize=10235168 CPUtime=528.29 cores=0-31
/proc/20056/task/20073/stat : 20073 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 105058 0 0 0 52531 298 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604450914426336 0 0 -1 20 0 0 0
[pid=20056/tid=20074] ppid=20054 vsize=10235168 CPUtime=525.57 cores=0-31
/proc/20056/task/20074/stat : 20074 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 67968 0 0 0 52248 309 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604695801437664 0 0 -1 3 0 0 0
[pid=20056/tid=20075] ppid=20054 vsize=10235168 CPUtime=528.68 cores=0-31
/proc/20056/task/20075/stat : 20075 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 86141 0 0 0 52587 281 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604452606893536 0 0 -1 24 0 0 0
[pid=20056/tid=20076] ppid=20054 vsize=10235168 CPUtime=521.5 cores=0-31
/proc/20056/task/20076/stat : 20076 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 114238 0 0 0 51870 280 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604488593939936 0 0 -1 5 0 0 0
[pid=20056/tid=20077] ppid=20054 vsize=10235168 CPUtime=484.77 cores=0-31
/proc/20056/task/20077/stat : 20077 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 125601 0 0 0 48155 322 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604498261761504 0 0 -1 10 0 0 0
[pid=20056/tid=20078] ppid=20054 vsize=10235168 CPUtime=512.75 cores=0-31
/proc/20056/task/20078/stat : 20078 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 117165 0 0 0 51018 257 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604459545918944 0 0 -1 22 0 0 0
[pid=20056/tid=20079] ppid=20054 vsize=10235168 CPUtime=493.05 cores=0-31
/proc/20056/task/20079/stat : 20079 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 114904 0 0 0 49013 292 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604473082019296 0 0 -1 8 0 0 0
[pid=20056/tid=20080] ppid=20054 vsize=10235168 CPUtime=525.42 cores=0-31
/proc/20056/task/20080/stat : 20080 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 116947 0 0 0 52256 286 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604695801519584 0 0 -1 9 0 0 0
[pid=20056/tid=20081] ppid=20054 vsize=10235168 CPUtime=498.52 cores=0-31
/proc/20056/task/20081/stat : 20081 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 112889 0 0 0 49545 307 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604450831400416 0 0 -1 14 0 0 0
[pid=20056/tid=20082] ppid=20054 vsize=10235168 CPUtime=519.24 cores=0-31
/proc/20056/task/20082/stat : 20082 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 126224 0 0 0 51642 282 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604474486513120 0 0 -1 19 0 0 0
[pid=20056/tid=20083] ppid=20054 vsize=10235168 CPUtime=489.5 cores=0-31
/proc/20056/task/20083/stat : 20083 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 122143 0 0 0 48652 298 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604695801560544 0 0 -1 23 0 0 0
[pid=20056/tid=20084] ppid=20054 vsize=10235168 CPUtime=512.37 cores=0-31
/proc/20056/task/20084/stat : 20084 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 105511 0 0 0 50968 269 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604695801576928 0 0 -1 16 0 0 0
[pid=20056/tid=20085] ppid=20054 vsize=10235168 CPUtime=526.74 cores=0-31
/proc/20056/task/20085/stat : 20085 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 125762 0 0 0 52413 261 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604695801495008 0 0 -1 26 0 0 0
[pid=20056/tid=20086] ppid=20054 vsize=10235168 CPUtime=544.22 cores=0-31
/proc/20056/task/20086/stat : 20086 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 118829 0 0 0 54144 278 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604449302732256 0 0 -1 22 0 0 0
[pid=20056/tid=20087] ppid=20054 vsize=10235168 CPUtime=605.34 cores=0-31
/proc/20056/task/20087/stat : 20087 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 94201 0 0 0 60328 206 0 0 25 0 32 0 4707980 10480812032 1943210 268435456000 4194304 4580107 140733197718608 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 16433.7
Current children cumulated vsize (KiB) 10235168
[startup+615.102 s]
/proc/loadavg: 9.40 22.97 25.71 3/445 20107
/proc/meminfo: memFree=255831624/264257624 swapFree=67044744/67111528
[pid=20056] ppid=20054 vsize=10235168 CPUtime=16435.2 cores=0-31
/proc/20056/stat : 20056 (strangenight2-m) S 20054 20056 19908 0 -1 4202496 3512130 0 0 0 1634389 9136 0 0 25 0 32 0 4707979 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/20056/statm: 2558792 1943250 378 95 0 2553774 0
[pid=20056/tid=20057] ppid=20054 vsize=10235168 CPUtime=504.71 cores=0-31
/proc/20056/task/20057/stat : 20057 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 113766 0 0 0 50159 312 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604505255149024 0 0 -1 25 0 0 0
[pid=20056/tid=20058] ppid=20054 vsize=10235168 CPUtime=485.73 cores=0-31
/proc/20056/task/20058/stat : 20058 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 105922 0 0 0 48306 267 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604535001234912 0 0 -1 30 0 0 0
[pid=20056/tid=20059] ppid=20054 vsize=10235168 CPUtime=495.5 cores=0-31
/proc/20056/task/20059/stat : 20059 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 106750 0 0 0 49238 312 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604503818919392 0 0 -1 15 0 0 0
[pid=20056/tid=20060] ppid=20054 vsize=10235168 CPUtime=514.87 cores=0-31
/proc/20056/task/20060/stat : 20060 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 102179 0 0 0 51196 291 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604497495301600 0 0 -1 20 0 0 0
[pid=20056/tid=20061] ppid=20054 vsize=10235168 CPUtime=515.36 cores=0-31
/proc/20056/task/20061/stat : 20061 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 124795 0 0 0 51241 295 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604489237020128 0 0 -1 20 0 0 0
[pid=20056/tid=20062] ppid=20054 vsize=10235168 CPUtime=490.69 cores=0-31
/proc/20056/task/20062/stat : 20062 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 95790 0 0 0 48800 269 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604454700342752 0 0 -1 13 0 0 0
[pid=20056/tid=20063] ppid=20054 vsize=10235168 CPUtime=493.9 cores=0-31
/proc/20056/task/20063/stat : 20063 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 115259 0 0 0 49127 263 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604487066426848 0 0 -1 27 0 0 0
[pid=20056/tid=20064] ppid=20054 vsize=10235168 CPUtime=503.58 cores=0-31
/proc/20056/task/20064/stat : 20064 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 123185 0 0 0 50114 244 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604695801503200 0 0 -1 28 0 0 0
[pid=20056/tid=20065] ppid=20054 vsize=10235168 CPUtime=532.63 cores=0-31
/proc/20056/task/20065/stat : 20065 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 126814 0 0 0 53000 263 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604490792549856 0 0 -1 21 0 0 0
[pid=20056/tid=20066] ppid=20054 vsize=10235168 CPUtime=592.8 cores=0-31
/proc/20056/task/20066/stat : 20066 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 119810 0 0 0 58966 314 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289393707 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=20056/tid=20067] ppid=20054 vsize=10235168 CPUtime=519.23 cores=0-31
/proc/20056/task/20067/stat : 20067 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 94508 0 0 0 51646 277 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604695801396704 0 0 -1 11 0 0 0
[pid=20056/tid=20068] ppid=20054 vsize=10235168 CPUtime=491.93 cores=0-31
/proc/20056/task/20068/stat : 20068 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 88426 0 0 0 48912 281 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604489814597088 0 0 -1 6 0 0 0
[pid=20056/tid=20069] ppid=20054 vsize=10235168 CPUtime=497.34 cores=0-31
/proc/20056/task/20069/stat : 20069 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 117454 0 0 0 49440 294 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604695801478624 0 0 -1 3 0 0 0
[pid=20056/tid=20070] ppid=20054 vsize=10235168 CPUtime=490.39 cores=0-31
/proc/20056/task/20070/stat : 20070 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 108059 0 0 0 48715 324 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604695801413088 0 0 -1 4 0 0 0
[pid=20056/tid=20071] ppid=20054 vsize=10235168 CPUtime=496.94 cores=0-31
/proc/20056/task/20071/stat : 20071 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 101391 0 0 0 49376 318 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604469205614048 0 0 -1 18 0 0 0
[pid=20056/tid=20072] ppid=20054 vsize=10235168 CPUtime=515.16 cores=0-31
/proc/20056/task/20072/stat : 20072 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 94951 0 0 0 51246 270 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604695801421280 0 0 -1 29 0 0 0
[pid=20056/tid=20073] ppid=20054 vsize=10235168 CPUtime=528.29 cores=0-31
/proc/20056/task/20073/stat : 20073 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 105058 0 0 0 52531 298 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604450914426336 0 0 -1 20 0 0 0
[pid=20056/tid=20074] ppid=20054 vsize=10235168 CPUtime=525.57 cores=0-31
/proc/20056/task/20074/stat : 20074 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 67968 0 0 0 52248 309 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604695801437664 0 0 -1 3 0 0 0
[pid=20056/tid=20075] ppid=20054 vsize=10235168 CPUtime=528.68 cores=0-31
/proc/20056/task/20075/stat : 20075 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 86141 0 0 0 52587 281 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604452606893536 0 0 -1 24 0 0 0
[pid=20056/tid=20076] ppid=20054 vsize=10235168 CPUtime=521.5 cores=0-31
/proc/20056/task/20076/stat : 20076 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 114238 0 0 0 51870 280 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604488593939936 0 0 -1 5 0 0 0
[pid=20056/tid=20077] ppid=20054 vsize=10235168 CPUtime=484.77 cores=0-31
/proc/20056/task/20077/stat : 20077 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 125601 0 0 0 48155 322 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604498261761504 0 0 -1 10 0 0 0
[pid=20056/tid=20078] ppid=20054 vsize=10235168 CPUtime=512.75 cores=0-31
/proc/20056/task/20078/stat : 20078 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 117165 0 0 0 51018 257 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604459545918944 0 0 -1 22 0 0 0
[pid=20056/tid=20079] ppid=20054 vsize=10235168 CPUtime=493.05 cores=0-31
/proc/20056/task/20079/stat : 20079 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 114904 0 0 0 49013 292 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604473082019296 0 0 -1 8 0 0 0
[pid=20056/tid=20080] ppid=20054 vsize=10235168 CPUtime=525.42 cores=0-31
/proc/20056/task/20080/stat : 20080 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 116947 0 0 0 52256 286 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604695801519584 0 0 -1 9 0 0 0
[pid=20056/tid=20081] ppid=20054 vsize=10235168 CPUtime=498.52 cores=0-31
/proc/20056/task/20081/stat : 20081 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 112889 0 0 0 49545 307 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604450831400416 0 0 -1 14 0 0 0
[pid=20056/tid=20082] ppid=20054 vsize=10235168 CPUtime=519.24 cores=0-31
/proc/20056/task/20082/stat : 20082 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 126224 0 0 0 51642 282 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604474486513120 0 0 -1 19 0 0 0
[pid=20056/tid=20083] ppid=20054 vsize=10235168 CPUtime=489.5 cores=0-31
/proc/20056/task/20083/stat : 20083 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 122143 0 0 0 48652 298 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604695801560544 0 0 -1 23 0 0 0
[pid=20056/tid=20084] ppid=20054 vsize=10235168 CPUtime=512.37 cores=0-31
/proc/20056/task/20084/stat : 20084 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 105511 0 0 0 50968 269 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604695801576928 0 0 -1 16 0 0 0
[pid=20056/tid=20085] ppid=20054 vsize=10235168 CPUtime=526.74 cores=0-31
/proc/20056/task/20085/stat : 20085 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 125762 0 0 0 52413 261 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604695801495008 0 0 -1 26 0 0 0
[pid=20056/tid=20086] ppid=20054 vsize=10235168 CPUtime=544.22 cores=0-31
/proc/20056/task/20086/stat : 20086 (strangenight2-m) S 20054 20056 19908 0 -1 4202560 118829 0 0 0 54144 278 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 46929289418292 0 0 4096 2 18446604449302732256 0 0 -1 22 0 0 0
[pid=20056/tid=20087] ppid=20054 vsize=10235168 CPUtime=606.14 cores=0-31
/proc/20056/task/20087/stat : 20087 (strangenight2-m) R 20054 20056 19908 0 -1 4202560 94241 0 0 0 60408 206 0 0 25 0 32 0 4707980 10480812032 1943250 268435456000 4194304 4580107 140733197718608 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 16435.2
Current children cumulated vsize (KiB) 10235168
[startup+615.901 s]
/proc/loadavg: 9.40 22.97 25.71 2/415 20107
/proc/meminfo: memFree=259381732/264257624 swapFree=67044744/67111528
[pid=20056] ppid=20054 vsize=0 CPUtime=16436.5 cores=0-31
/proc/20056/stat : 20056 (strangenight2-m) Z 20054 20056 19908 0 -1 4203548 3512154 0 0 0 1634464 9182 0 0 18 0 2 0 4707979 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/20056/statm: 0 0 0 0 0 0 0
[pid=20056/tid=20061] ppid=20054 vsize=0 CPUtime=515.81 cores=0-31
/proc/20056/task/20061/stat : 20061 (strangenight2-m) R 20054 20056 19908 0 -1 4203588 124795 0 0 0 51241 340 0 0 18 0 2 0 4707980 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 16436.5
Current children cumulated vsize (KiB) 0
[startup+616.301 s]
/proc/loadavg: 9.40 22.97 25.71 2/415 20107
/proc/meminfo: memFree=259381732/264257624 swapFree=67044744/67111528
[pid=20056] ppid=20054 vsize=0 CPUtime=16436.8 cores=0-31
/proc/20056/stat : 20056 (strangenight2-m) Z 20054 20056 19908 0 -1 4203548 3512154 0 0 0 1634464 9219 0 0 18 0 2 0 4707979 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 17 0 0 0
/proc/20056/statm: 0 0 0 0 0 0 0
[pid=20056/tid=20061] ppid=20054 vsize=0 CPUtime=516.18 cores=0-31
/proc/20056/task/20061/stat : 20061 (strangenight2-m) R 20054 20056 19908 0 -1 4203588 124795 0 0 0 51241 377 0 0 18 0 2 0 4707980 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 16436.8
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 616.367
CPU time (s): 16436.9
CPU user time (s): 16344.6
CPU system time (s): 92.258
CPU usage (%): 2666.74
Max. virtual memory (cumulated for all children) (KiB): 11505632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16344.6
system time used= 92.258
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3512154
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= 3910160
involuntary context switches= 104973
runsolver used 3.47247 second user time and 13.399 second system time
The end
Launcher Data
Begin job on node200 at 2011-05-30 22:30:20
IDJOB=3400796
IDBENCH=82500
IDSOLVER=1886
FILE ID=node200/3400796-1306787419
RUNJOBID= node200-1306787258-19922
PBS_JOBID= 13470327
Free space on /tmp= 61560 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/manthey/traffic/traffic_pcb_unknown.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400796-1306787419/watcher-3400796-1306787419 -o /tmp/evaluation-result-3400796-1306787419/solver-3400796-1306787419 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400796-1306787419.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= e669f2d68684ca746cc80f142ad8d0dc
RANDOM SEED=73335982
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: 263607028 kB
Buffers: 59532 kB
Cached: 388988 kB
SwapCached: 29884 kB
Active: 137772 kB
Inactive: 345564 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263607028 kB
SwapTotal: 67111528 kB
SwapFree: 67044744 kB
Dirty: 24208 kB
Writeback: 0 kB
AnonPages: 31172 kB
Mapped: 8812 kB
Slab: 61056 kB
PageTables: 4492 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 189336 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= 61556 MiB
End job on node200 at 2011-05-30 22:40:37