Trace number 3400871
Some explanations
A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process.
The trace of the execution of a solver is divided into four (or five) parts:
-
SOLVER DATA
This is the output of the solver (stdout and stderr).
Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.
When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.
As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
-
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
-
CONVERSION SCRIPT DATA (Optionnal)
When a conversion script is used, this section shows the messages that were output by the conversion script.
-
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver.
The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
-
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.
Solver answer on this benchmark
General information on the benchmark
Name | SAT04/industrial/velev/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf |
MD5SUM | 9a43349587a435e7109b46b3aceb156e |
Bench Category | APPLICATION (applications instances) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 84323.6 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 482093 |
Number of clauses | 9676386 |
Sum of the clauses size | 28195028 |
Maximum clause length | 226 |
Minimum clause length | 1 |
Number of clauses of size 1 | 1 |
Number of clauses of size 2 | 9152157 |
Number of clauses of size 3 | 120945 |
Number of clauses of size 4 | 10067 |
Number of clauses of size 5 | 28986 |
Number of clauses of size over 5 | 364230 |
Solver Data
0.00/0.00 c Outputting solution to console
0.00/0.01 c Using 32 threads
0.00/0.06 c This is CryptoMiniSat 3.0.0
0.00/0.06 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06 c Reading file 'HOME/instance-3400871-1307095100.cnf'
2.47/0.11 c -- header says num vars: 482093
2.47/0.11 c -- header says num clauses: 9676386
548.96/39.07 c -- clauses added: 0 learnts, 9676386 normals, 0 xors
548.96/39.07 c -- vars added 482093
548.96/39.07 c Parsing time: 9.15 s
548.96/39.07 c N st 0 0 482093 524228 9152157 0 28195027 0 no data no data
588.52/40.83 c asymm cl-useful: 17/19/524218 lits-rem:760 time: 1.16
1052.76/55.48 c Flit: 142 Blit: 134307 bXBeca: 0 bXProp: 2690 Bins: 0 BRemL: 0 BRemN: 0 P: 200.5M T: 14.52
1077.81/56.37 c Cleaning up after failed var search: 0.88 s
1112.03/58.11 c Replacing 2690 vars Replaced 279907 lits Time: 1.68 s
1336.91/70.20 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.02 s
1346.45/70.60 c bin-w-bin subsume rem 8 bins time: 0.83 s
1845.12/86.12 c subs with bin: 9106 lits-rem: 87369 v-fix: 0 time: 15.52 s
2084.85/93.67 c Subs w/ non-existent bins: 22 l-rem: 49 v-fix: 0 done: 23549 time: 7.54 s
2104.02/94.23 c Removed useless bin: 694 fixed: 0 props: 20.00M time: 0.56 s
3033.45/123.37 c lits-rem: 29487 cl-subs: 32952 v-elim: 26623 v-fix: 0 time: 29.09 s
3046.24/123.74 c Finding binary XORs T: 0.37 s found: 1928
3078.20/124.77 c Replacing 1928 vars Replaced 213514 lits Time: 1.03 s
3106.88/125.60 c Finding non-binary XORs: 0.56 s (found: 0, avg size: nan)
3106.88/125.60 c calculated reachability. Time: 0.02
3113.31/125.89 c Calc default polars - time: 0.29 s pos: 47860 undec: 174391 neg: 259842
3113.31/125.89 c =========================================================================================
3113.31/125.89 c types(t): F = full restart, N = normal restart
3113.31/125.89 c types(t): S = simplification begin/end, E = solution found
3113.31/125.89 c restart types(rt): st = static, dy = dynamic
3113.31/125.89 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
3113.31/125.89 c B st 0 0 308418 315808 6201927 0 18694194 0 no data no data
3877.25/149.78 c N dy 19 4022 308417 315808 6202195 3652 18694145 161796 19.72 20.83
4286.34/162.55 c N dy 43 8030 308390 315808 6224297 7491 18694136 404250 19.87 21.11
4874.50/180.93 c N dy 73 12122 303195 315808 6238329 11434 18694130 648213 21.55 29.61
5587.30/203.23 c N dy 103 16337 300007 305946 6110357 15407 18314409 863486 22.35 23.82
5849.37/211.40 c Finding binary XORs T: 0.36 s found: 3198
5875.55/212.26 c Replacing 3198 vars Replaced 280223 lits Time: 0.86 s
6054.53/217.87 c N dy 119 20745 296046 304214 6067719 10168 18177910 388898 22.07 23.72
6227.07/223.23 c F st 125 25000 294460 304214 6069377 14256 18177814 565874 21.19 12.72
6358.16/227.41 c Found part 28624 vars: 294093 clauses: 6302459 lits size: 18102865
6358.16/227.41 c Found part 28625 vars: 2 clauses: 1 lits size: 2
6358.16/227.41 c Found part 28626 vars: 2 clauses: 1 lits size: 2
6358.16/227.41 c Found part 28627 vars: 2 clauses: 1 lits size: 2
6358.16/227.41 c Found parts: 4 time: 3.92 s
6358.16/227.42 c Solving part 28625
6376.16/228.06 c N st 0 0 2 0 1 0 2 0 no data no data
6376.16/228.06 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
6376.16/228.07 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
6379.21/228.11 c Finding binary XORs T: 0.04 s found: 0
6379.21/228.11 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
6379.21/228.11 c calculated reachability. Time: 0.00
6379.21/228.13 c Calc default polars - time: 0.01 s pos: 0 undec: 482091 neg: 2
6379.21/228.13 c =========================================================================================
6379.21/228.13 c types(t): F = full restart, N = normal restart
6379.21/228.13 c types(t): S = simplification begin/end, E = solution found
6379.21/228.13 c restart types(rt): st = static, dy = dynamic
6379.21/228.13 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
6379.21/228.13 c B st 0 0 2 0 1 0 2 0 no data no data
6379.21/228.13 c E st 1 0 0 0 1 0 2 0 no data no data
6379.21/228.16 c Verified 0 clauses.
6379.21/228.16 c Verified 0 clauses.
6379.21/228.16 c Solved part
6379.21/228.16 c =========================================================================================
6379.21/228.19 c Solving part 28626
6400.69/228.89 c N st 0 0 2 0 1 0 2 0 no data no data
6400.69/228.89 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
6400.69/228.89 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
6403.08/228.93 c Finding binary XORs T: 0.04 s found: 0
6403.08/228.94 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
6403.08/228.94 c calculated reachability. Time: 0.00
6403.08/228.95 c Calc default polars - time: 0.01 s pos: 0 undec: 482091 neg: 2
6403.08/228.95 c =========================================================================================
6403.08/228.95 c types(t): F = full restart, N = normal restart
6403.08/228.95 c types(t): S = simplification begin/end, E = solution found
6403.08/228.95 c restart types(rt): st = static, dy = dynamic
6403.08/228.95 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
6403.08/228.95 c B st 0 0 2 0 1 0 2 0 no data no data
6403.08/228.95 c E st 1 0 0 0 1 0 2 0 no data no data
6403.08/228.97 c Verified 0 clauses.
6403.08/228.97 c Verified 0 clauses.
6403.08/228.97 c Solved part
6403.08/228.97 c =========================================================================================
6403.08/229.00 c Solving part 28627
6426.96/229.73 c N st 0 0 2 0 1 0 2 0 no data no data
6426.96/229.73 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
6426.96/229.74 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
6426.96/229.79 c Finding binary XORs T: 0.04 s found: 0
6426.96/229.79 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
6426.96/229.79 c calculated reachability. Time: 0.00
6426.96/229.81 c Calc default polars - time: 0.01 s pos: 0 undec: 482091 neg: 2
6426.96/229.81 c =========================================================================================
6426.96/229.81 c types(t): F = full restart, N = normal restart
6426.96/229.81 c types(t): S = simplification begin/end, E = solution found
6426.96/229.81 c restart types(rt): st = static, dy = dynamic
6426.96/229.81 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
6426.96/229.81 c B st 0 0 2 0 1 0 2 0 no data no data
6426.96/229.81 c E st 1 0 0 0 1 0 2 0 no data no data
6430.60/229.83 c Verified 0 clauses.
6430.60/229.83 c Verified 0 clauses.
6430.60/229.83 c Solved part
6430.60/229.83 c =========================================================================================
6430.60/229.86 c Coming back to original instance
6430.60/229.86 c =========================================================================================
6430.60/229.88 c N st 125 25000 294292 299721 6045269 14254 18102865 565543 21.19 12.72
6740.69/239.89 c N dy 131 30000 294292 299721 6045358 19002 18102865 800997 21.19 no data
6740.69/239.89 c S st 131 30000 294292 299721 6045358 19002 18102865 800997 21.19 no data
6864.06/243.76 c S st 131 30501 294291 299721 6045501 19359 18102865 806564 21.19 no data
6880.68/244.29 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.50
7923.11/277.19 c Flit: 146 Blit: 5207 bXBeca: 0 bXProp: 4030 Bins: 760496 BRemL: 16648 BRemN: 3998 P: 200.3M T: 32.49
7934.79/277.56 c Cleaning up after failed var search: 0.35 s
7966.11/278.50 c Replacing 4030 vars Replaced 468602 lits Time: 0.90 s
8241.40/287.27 c blocked clauses removed: 52861 vars: 53848 tried: 760845 T: 7.64 s
8263.79/287.92 c bin-w-bin subsume rem 59210 bins time: 0.65 s
8503.42/295.45 c subs with bin: 14547 lits-rem: 224804 v-fix: 0 time: 7.53 s
8660.64/300.33 c Subs w/ non-existent bins: 80 l-rem: 98 v-fix: 20 done: 8279 time: 4.87 s
8679.23/301.00 c Removed useless bin: 1672 fixed: 0 props: 20.03M time: 0.65 s
9056.35/312.74 c lits-rem: 40591 cl-subs: 4908 v-elim: 53603 v-fix: 0 time: 11.69 s
9091.50/313.85 c subs with bin: 68 lits-rem: 7537 v-fix: 0 time: 0.88 s
9145.86/315.60 c lits-rem: 4256 cl-subs: 1661 v-elim: 0 v-fix: 0 time: 1.26 s
9177.82/316.52 c asymm cl-useful: 49/688/344742 lits-rem:1826 time: 0.92
9181.01/316.71 c calculated reachability. Time: 0.02
9184.80/316.72 c N dy 131 30501 175893 344742 3667924 9159 11711996 685433 21.19 no data
9190.59/316.97 c Finding binary XORs T: 0.25 s found: 2667
9206.58/317.49 c Replacing 2667 vars Replaced 233230 lits Time: 0.52 s
9553.44/333.40 c N dy 155 35961 173212 344730 3667844 14455 11701167 928849 21.29 22.65
10178.85/420.56 c Finding binary XORs T: 0.24 s found: 175
10193.37/423.69 c N dy 176 40027 172953 339975 3782906 17963 11622119 1340708 21.27 22.91
10942.83/569.91 c Finding binary XORs T: 0.25 s found: 106
10958.42/572.58 c N dy 209 44234 170129 337154 3920150 11587 11416577 1378700 21.65 23.09
10973.96/575.17 c S st 219 45752 170129 337154 3920160 13066 11416571 1445277 21.66 17.54
10980.97/576.49 c S st 219 46252 170129 337154 3920260 13462 11416571 1450697 21.66 no data
10983.25/576.84 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.34
11052.89/589.22 c Flit: 326 Blit: 363 bXBeca: 0 bXProp: 89 Bins: 148327 BRemL: 1257 BRemN: 395 P: 200.0M T: 12.38
11052.89/589.23 c Cleaning up after failed var search: 0.00 s
11058.99/590.31 c Replacing 370 vars Replaced 278432 lits Time: 1.06 s
11061.99/590.96 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.02 s
11078.27/593.98 c bin-w-bin subsume rem 322613 bins time: 3.03 s
11108.75/600.12 c subs with bin: 14836 lits-rem: 369397 v-fix: 0 time: 6.13 s
11121.82/602.77 c Subs w/ non-existent bins: 255 l-rem: 1011 v-fix: 0 done: 17808 time: 2.64 s
11124.24/603.27 c Removed useless bin: 11554 fixed: 0 props: 20.05M time: 0.49 s
11156.38/609.33 c lits-rem: 2061 cl-subs: 4624 v-elim: 4118 v-fix: 0 time: 6.05 s
11160.79/610.21 c subs with bin: 912 lits-rem: 7231 v-fix: 0 time: 0.69 s
11165.29/611.11 c lits-rem: 5330 cl-subs: 454 v-elim: 0 v-fix: 0 time: 0.52 s
11167.88/611.63 c asymm cl-useful: 14/816/333045 lits-rem:382 time: 0.52
11168.79/611.80 c calculated reachability. Time: 0.02
11168.79/611.81 c N dy 219 46252 164953 333045 3578434 10300 10904514 800631 21.66 no data
11197.01/618.47 c Finding binary XORs T: 0.24 s found: 20
11201.01/619.48 c N dy 247 50262 164616 332659 3579826 14218 10892428 1014527 22.05 25.34
11241.51/627.44 c N dy 276 54367 164616 332659 3579866 18216 10892428 1205023 22.30 23.62
11899.92/683.32 c N dy 301 58678 164616 332659 3611392 22391 10892423 1465741 22.31 24.21
12248.14/694.29 c N dy 325 62741 164296 332659 3614875 26315 10892423 1708884 22.47 26.09
12475.08/701.35 c N dy 338 67029 164181 332659 3614903 15710 10892386 953338 22.32 24.31
12650.90/706.89 c S st 358 69379 164157 332659 3616513 18021 10892382 1110827 22.49 no data
12727.62/709.30 c S st 358 69879 164157 332659 3616608 18425 10892382 1115125 22.49 no data
12740.40/709.63 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.33
13558.32/735.28 c Flit: 501 Blit: 223 bXBeca: 0 bXProp: 100 Bins: 442028 BRemL: 8747 BRemN: 11398 P: 200.1M T: 25.65
13558.32/735.30 c Cleaning up after failed var search: 0.00 s
13590.28/736.29 c Replacing 120 vars Replaced 231598 lits Time: 0.97 s
13613.25/736.97 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.02 s
13631.84/737.58 c bin-w-bin subsume rem 43051 bins time: 0.61 s
13868.37/744.94 c subs with bin: 13957 lits-rem: 147846 v-fix: 0 time: 7.35 s
13993.04/748.89 c Subs w/ non-existent bins: 1867 l-rem: 4786 v-fix: 2 done: 8868 time: 3.95 s
14015.39/749.55 c Removed useless bin: 2712 fixed: 0 props: 20.19M time: 0.65 s
14207.16/755.60 c lits-rem: 5202 cl-subs: 7667 v-elim: 6527 v-fix: 0 time: 6.02 s
14249.33/756.82 c subs with bin: 153 lits-rem: 3119 v-fix: 0 time: 0.97 s
14287.09/758.02 c lits-rem: 6027 cl-subs: 551 v-elim: 0 v-fix: 0 time: 0.72 s
14322.22/759.15 c asymm cl-useful: 38/752/351517 lits-rem:340 time: 1.13
14328.62/759.33 c calculated reachability. Time: 0.02
14328.62/759.34 c N dy 358 69879 156785 351517 3586668 16269 10845072 1160772 22.49 no data
14335.01/759.58 c Finding binary XORs T: 0.24 s found: 33
15028.87/783.07 c N dy 393 74443 155224 351517 3619148 20716 10845070 1455420 22.69 24.17
15212.46/796.01 c N dy 423 79267 155029 348916 3557640 23883 10709771 1556013 22.84 24.45
16005.48/992.32 c Finding binary XORs T: 0.24 s found: 18
16031.87/998.90 c N dy 458 84798 155013 348691 3615780 29208 10707294 1935926 22.98 25.21
16501.97/1027.06 c F st 479 87500 152454 343833 3687307 31677 10573193 2281471 23.12 no data
16517.91/1027.52 c Replacing 51 vars Replaced 88232 lits Time: 0.46 s
16543.49/1028.37 c Found part 68 vars: 152402 clauses: 3486884 lits size: 10572761
16543.49/1028.37 c Found part 69 vars: 2 clauses: 1 lits size: 2
16543.49/1028.37 c Found parts: 2 time: 1.31 s
16543.49/1028.37 c Solving part 69
16562.63/1028.93 c N st 0 0 2 0 1 0 2 0 no data no data
16562.63/1028.93 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
16562.63/1028.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
16562.63/1028.96 c Finding binary XORs T: 0.03 s found: 0
16562.63/1028.97 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
16562.63/1028.97 c calculated reachability. Time: 0.00
16562.63/1028.98 c Calc default polars - time: 0.01 s pos: 0 undec: 482091 neg: 2
16562.63/1028.98 c =========================================================================================
16562.63/1028.98 c types(t): F = full restart, N = normal restart
16562.63/1028.98 c types(t): S = simplification begin/end, E = solution found
16562.63/1028.98 c restart types(rt): st = static, dy = dynamic
16562.63/1028.98 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
16562.63/1028.98 c B st 0 0 2 0 1 0 2 0 no data no data
16562.63/1028.98 c E st 1 0 0 0 1 0 2 0 no data no data
16565.83/1029.00 c Verified 0 clauses.
16565.83/1029.00 c Verified 0 clauses.
16565.83/1029.00 c Solved part
16565.83/1029.00 c =========================================================================================
16565.83/1029.03 c Coming back to original instance
16565.83/1029.03 c =========================================================================================
16687.03/1032.89 c Finding binary XORs T: 0.24 s found: 94
16795.74/1036.27 c N st 484 90800 152403 343762 3687121 18029 10572754 1463584 23.12 no data
17367.12/1054.12 c N dy 516 96693 152389 343762 3712273 23795 10572754 1836438 23.38 24.92
17741.69/1065.84 c N dy 548 102961 152385 343762 3713362 29949 10572754 2197141 23.40 31.19
17852.96/1069.36 c S st 558 104820 152385 343762 3713394 31738 10572754 2305448 23.37 11.16
17913.71/1071.29 c S st 558 105323 152385 343762 3714139 32186 10572754 2314877 23.37 no data
17926.48/1071.62 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.33
18691.02/1095.52 c Flit: 138 Blit: 63 bXBeca: 0 bXProp: 33 Bins:1164818 BRemL: 1524 BRemN: 322 P: 200.1M T: 23.86
18691.02/1095.53 c Cleaning up after failed var search: 0.00 s
18729.41/1096.72 c Replacing 127 vars Replaced 429461 lits Time: 1.17 s
18751.15/1097.41 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.02 s
18776.72/1098.26 c bin-w-bin subsume rem 162358 bins time: 0.85 s
19007.50/1105.47 c subs with bin: 23263 lits-rem: 86205 v-fix: 0 time: 7.20 s
19163.38/1110.33 c Subs w/ non-existent bins: 2291 l-rem: 1937 v-fix: 0 done: 12432 time: 4.85 s
19179.30/1110.88 c Removed useless bin: 12386 fixed: 0 props: 20.00M time: 0.55 s
19390.24/1117.49 c lits-rem: 3023 cl-subs: 11940 v-elim: 5768 v-fix: 0 time: 6.60 s
19467.56/1119.86 c subs with bin: 699 lits-rem: 13712 v-fix: 0 time: 2.10 s
19521.28/1121.52 c lits-rem: 17405 cl-subs: 1419 v-elim: 0 v-fix: 0 time: 1.17 s
19553.23/1122.59 c asymm cl-useful: 34/661/332787 lits-rem:289 time: 1.06
19559.64/1122.77 c calculated reachability. Time: 0.02
19559.64/1122.78 c N dy 558 105323 146290 332787 3856768 27376 10196962 2556650 23.37 no data
19566.03/1123.02 c Finding binary XORs T: 0.24 s found: 8
20468.36/1165.19 c N dy 604 112129 146121 332787 3893367 33989 10196960 2976644 23.48 31.73
21668.27/1783.91 c Finding binary XORs T: 0.24 s found: 22
21672.77/1785.46 c N dy 656 119562 145836 330837 3929914 22589 10133668 2337482 23.76 25.15
22158.45/1876.67 c N dy 695 127286 144930 330837 3947486 30078 10133659 2783331 23.84 36.85
22880.18/1899.25 c N dy 762 135702 144925 330837 3956014 38331 10133647 3319980 24.32 25.68
23708.04/1925.18 c N dy 827 144457 143480 327737 3598445 24330 10012956 1711082 24.64 37.12
24360.11/1945.52 c N dy 889 153714 143458 327737 3599818 33356 10012926 2288456 24.81 33.39
24551.85/1951.54 c Finding binary XORs T: 0.23 s found: 46
24682.92/1955.64 c S st 903 157985 143454 327708 3599233 37444 10010993 2524445 24.64 34.81
24772.40/1958.41 c S st 903 158485 143454 327708 3599272 37905 10010993 2528340 24.64 no data
24782.00/1958.73 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.32
25488.40/1980.82 c Flit: 222 Blit: 163 bXBeca: 0 bXProp: 24 Bins: 699641 BRemL: 10839 BRemN: 7430 P: 200.3M T: 22.08
25488.40/1980.83 c Cleaning up after failed var search: 0.00 s
25526.76/1982.08 c Replacing 100 vars Replaced 301263 lits Time: 1.23 s
25549.13/1982.73 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.02 s
25584.27/1983.82 c bin-w-bin subsume rem 83838 bins time: 1.09 s
25804.82/1990.74 c subs with bin: 12917 lits-rem: 37128 v-fix: 0 time: 6.92 s
25865.54/1992.69 c Subs w/ non-existent bins: 363 l-rem: 606 v-fix: 0 done: 13317 time: 1.78 s
25885.36/1993.26 c Removed useless bin: 20766 fixed: 0 props: 20.02M time: 0.56 s
26079.72/1999.33 c lits-rem: 2825 cl-subs: 7763 v-elim: 3394 v-fix: 0 time: 6.07 s
26150.04/2001.59 c subs with bin: 174 lits-rem: 6378 v-fix: 0 time: 1.97 s
26213.96/2003.58 c lits-rem: 18287 cl-subs: 2173 v-elim: 0 v-fix: 0 time: 1.53 s
26249.13/2004.65 c asymm cl-useful: 46/679/320619 lits-rem:55 time: 1.07
26255.49/2004.83 c calculated reachability. Time: 0.02
26255.49/2004.84 c N dy 903 158485 139571 320619 3950883 33255 9783661 3193206 24.64 no data
26261.89/2005.08 c Finding binary XORs T: 0.24 s found: 1
27464.86/2163.20 c N dy 976 168627 137912 314202 3909055 43134 9659887 3773816 24.85 26.95
27828.04/2204.75 c Finding binary XORs T: 0.24 s found: 70
28451.99/2224.22 c N dy 1053 179489 137618 313998 3940225 32065 9651967 3053546 25.16 26.77
29339.96/2252.08 c N dy 1134 191194 137604 313998 3941258 43546 9651965 3738957 25.43 27.14
30477.82/2287.63 c N dy 1229 203456 137482 313998 3950405 31520 9651961 2929045 25.80 38.65
31721.80/2326.53 c N dy 1338 216638 136767 313998 3956954 44504 9651937 3758741 26.28 27.76
32753.55/2358.87 c N dy 1444 230555 135549 310711 3878144 32044 9532981 2789409 26.56 28.71
33351.25/2377.50 c S st 1501 237728 135532 310711 3878954 39023 9532979 3192192 26.72 25.60
33418.38/2379.66 c S st 1501 238228 135531 310711 3878985 39491 9532979 3197724 26.72 no data
33427.98/2379.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.32
34201.51/2404.13 c Flit: 390 Blit: 1640 bXBeca: 0 bXProp: 47 Bins: 752192 BRemL: 13474 BRemN: 125 P: 200.1M T: 24.15
34211.10/2404.40 c Cleaning up after failed var search: 0.26 s
34246.26/2405.58 c Replacing 118 vars Replaced 374533 lits Time: 1.15 s
34265.43/2406.20 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
34316.59/2407.80 c bin-w-bin subsume rem 84435 bins time: 1.60 s
34527.56/2414.30 c subs with bin: 8651 lits-rem: 47138 v-fix: 0 time: 6.50 s
34569.74/2415.70 c Subs w/ non-existent bins: 493 l-rem: 2592 v-fix: 0 done: 15742 time: 1.37 s
34591.49/2416.30 c Removed useless bin: 17421 fixed: 0 props: 20.01M time: 0.60 s
34821.62/2423.60 c lits-rem: 3436 cl-subs: 7977 v-elim: 5575 v-fix: 0 time: 7.28 s
34895.14/2425.82 c subs with bin: 137 lits-rem: 5595 v-fix: 0 time: 1.96 s
34953.28/2427.64 c lits-rem: 42303 cl-subs: 1859 v-elim: 0 v-fix: 0 time: 1.39 s
34987.67/2428.73 c asymm cl-useful: 182/690/301183 lits-rem:254 time: 1.09
34993.43/2428.90 c calculated reachability. Time: 0.02
34993.43/2428.91 c N dy 1501 238228 127829 301183 3779004 34070 9162591 3065495 26.72 no data
34999.83/2429.14 c Finding binary XORs T: 0.23 s found: 9
36315.87/2650.94 c N dy 1592 253676 127508 301183 3874541 49139 9162590 4100927 26.87 28.88
36334.42/2651.59 c Finding binary XORs T: 0.23 s found: 45
37616.79/2691.65 c N dy 1707 269882 127487 300258 3858809 39943 9114805 3507505 27.23 36.44
39051.34/2736.58 c N dy 1823 287141 127477 300258 3860483 29475 9114780 2732763 27.42 29.50
40547.26/2783.38 c N dy 1967 305520 127326 300258 3864661 47524 9114770 3935127 27.75 30.04
40627.18/2785.87 c F st 1974 306250 127326 300258 3864666 48239 9114770 3981009 27.77 no data
40652.75/2786.62 c Replacing 54 vars Replaced 53797 lits Time: 0.55 s
42017.56/2829.39 c N dy 2070 325208 127253 299701 3471173 37959 9101450 2438149 27.92 30.39
43548.67/2877.21 c N dy 2231 345242 125309 296161 3421358 57312 9014464 3709270 28.31 42.96
44494.83/2906.88 c S st 2326 357342 124709 296161 3424843 39346 9014455 2483026 28.60 24.48
44571.56/2909.21 c S st 2326 357842 124709 296161 3424858 39829 9014455 2487613 28.60 no data
44578.56/2909.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.30
45220.41/2929.55 c Flit: 184 Blit: 886 bXBeca: 0 bXProp: 71 Bins: 5458 BRemL: 4322 BRemN: 34 P: 200.0M T: 20.03
45230.01/2929.87 c Cleaning up after failed var search: 0.32 s
45277.96/2931.30 c Replacing 71 vars Replaced 301712 lits Time: 1.41 s
45293.93/2931.89 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
45329.10/2932.92 c bin-w-bin subsume rem 73082 bins time: 1.03 s
45527.90/2939.14 c subs with bin: 9767 lits-rem: 26179 v-fix: 0 time: 6.22 s
45552.88/2939.98 c Subs w/ non-existent bins: 58 l-rem: 25 v-fix: 0 done: 13123 time: 0.84 s
45568.84/2940.43 c Removed useless bin: 10519 fixed: 0 props: 20.00M time: 0.44 s
45802.18/2947.79 c lits-rem: 2465 cl-subs: 8679 v-elim: 4317 v-fix: 0 time: 7.34 s
45875.70/2950.02 c subs with bin: 554 lits-rem: 7214 v-fix: 0 time: 1.99 s
45930.04/2951.77 c lits-rem: 30970 cl-subs: 1434 v-elim: 0 v-fix: 0 time: 1.35 s
45965.19/2952.87 c asymm cl-useful: 215/627/281830 lits-rem:1517 time: 1.10
45971.59/2953.03 c calculated reachability. Time: 0.02
45971.59/2953.04 c N dy 2326 357842 119251 281824 3171493 36081 8704577 2072370 28.60 no data
45978.00/2953.25 c Finding binary XORs T: 0.21 s found: 10
47509.09/3001.18 c N dy 2477 377883 118927 281824 3184815 55798 8704576 3356037 28.92 37.77
49079.23/3050.25 c N dy 2634 397923 118918 281824 3185792 45282 8704558 2531336 29.29 35.59
50491.42/3094.40 c N dy 2743 418601 118880 281824 3192007 33756 8704555 1619532 29.32 31.04
51945.86/3139.95 c N dy 2892 438651 117608 278033 3154269 49974 8612706 2748850 29.60 31.51
52153.61/3146.44 c Finding binary XORs T: 0.21 s found: 50
53281.97/3181.77 c N dy 3042 458658 117528 276087 3146635 38301 8597183 1924927 29.82 49.18
54682.05/3225.56 c N dy 3193 478733 116436 274507 3121420 58022 8550757 3291104 30.05 49.04
56220.17/3273.65 c N dy 3365 498786 116429 274507 3122288 44521 8550735 2237164 30.42 32.48
57737.89/3321.15 c N dy 3518 518864 116027 274507 3139993 64301 8550695 3704083 30.64 33.35
57881.75/3325.64 c Finding binary XORs T: 0.21 s found: 34
59131.61/3364.79 c S st 3662 536765 116025 274143 3133404 46966 8540023 2306897 30.90 no data
59224.30/3367.65 c S st 3662 537265 116025 274143 3133423 47446 8540023 2312107 30.90 no data
59233.89/3367.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.28
59885.96/3388.34 c Flit: 252 Blit: 159 bXBeca: 0 bXProp: 15 Bins: 7717 BRemL: 3423 BRemN: 78 P: 200.0M T: 20.40
59885.96/3388.35 c Cleaning up after failed var search: 0.00 s
59940.31/3390.09 c Replacing 109 vars Replaced 249952 lits Time: 1.72 s
59959.48/3390.64 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
59982.50/3391.32 c bin-w-bin subsume rem 33000 bins time: 0.68 s
60180.06/3397.55 c subs with bin: 6423 lits-rem: 22670 v-fix: 0 time: 6.23 s
60202.42/3398.27 c Subs w/ non-existent bins: 3 l-rem: 14 v-fix: 0 done: 14526 time: 0.72 s
60215.22/3398.68 c Removed useless bin: 12806 fixed: 0 props: 20.04M time: 0.41 s
60454.93/3406.10 c lits-rem: 2012 cl-subs: 7374 v-elim: 3486 v-fix: 0 time: 7.42 s
60522.06/3408.24 c subs with bin: 29 lits-rem: 1084 v-fix: 0 time: 1.89 s
60589.19/3410.32 c lits-rem: 25653 cl-subs: 1550 v-elim: 0 v-fix: 0 time: 1.68 s
60624.35/3411.48 c asymm cl-useful: 199/586/265019 lits-rem:2913 time: 1.16
60630.74/3411.63 c calculated reachability. Time: 0.01
60630.74/3411.64 c N dy 3662 537265 112027 265003 2994017 44365 8325170 2086700 30.90 no data
61746.33/3446.52 c N dy 3743 557561 112006 265003 2998241 64165 8325164 3338128 30.80 32.74
63232.71/3493.04 c N dy 3907 577666 110699 258459 2962491 46978 8237843 2299452 31.06 33.06
64568.86/3534.81 c N dy 4063 597763 110693 258459 2964475 66681 8237827 3666035 31.24 41.27
65784.14/3572.85 c Finding binary XORs T: 0.20 s found: 54
66027.09/3580.47 c N dy 4226 617769 110025 257952 2957695 50267 8213538 2407784 31.54 72.02
67464.90/3625.51 c N dy 4388 638021 109984 257952 2980437 70123 8213529 3908500 31.79 34.55
68759.44/3665.91 c Finding binary XORs T: 0.20 s found: 28
68980.61/3672.82 c N dy 4542 658108 109390 256996 2972626 52437 8179559 2466062 32.00 41.05
70287.36/3713.76 c N dy 4698 678205 109311 256996 2982889 72148 8179535 3925465 32.18 53.14
71656.05/3756.54 c N dy 4815 698299 109291 256996 2984970 52942 8179507 2345639 32.23 34.72
73059.31/3800.50 c N dy 4973 718300 108670 256996 2987842 72631 8179480 3801078 32.43 48.48
74279.75/3838.61 c Finding binary XORs T: 0.20 s found: 27
74557.85/3847.30 c N dy 5132 738389 107498 251142 2952982 50970 8086593 2300464 32.59 62.01
75897.20/3889.23 c N dy 5283 758421 107472 251142 2956742 70641 8086593 3720258 32.74 35.48
77249.28/3931.58 c N dy 5411 778427 107316 251142 2959204 50031 8086559 2107525 32.82 34.74
78556.66/3972.44 c N dy 5566 798482 107305 251142 2964160 69697 8086498 3545868 33.00 35.91
79036.73/3987.46 c S st 5618 805897 107300 251142 2964951 76925 8086484 4034279 33.04 no data
79145.44/3990.82 c S st 5618 806397 107300 251142 2964954 77421 8086484 4038087 33.04 no data
79151.21/3991.10 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.27
79761.73/4010.15 c Flit: 5 Blit: 323 bXBeca: 0 bXProp: 48 Bins: 5855 BRemL: 1594 BRemN: 48 P: 200.0M T: 19.05
79761.73/4010.16 c Cleaning up after failed var search: 0.00 s
79851.22/4012.94 c Replacing 157 vars Replaced 279293 lits Time: 2.76 s
79867.21/4013.46 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
79889.59/4014.15 c bin-w-bin subsume rem 26413 bins time: 0.68 s
80097.36/4020.65 c subs with bin: 8067 lits-rem: 31492 v-fix: 0 time: 6.51 s
80119.76/4021.30 c Subs w/ non-existent bins: 10 l-rem: 81 v-fix: 0 done: 14535 time: 0.64 s
80135.73/4021.84 c Removed useless bin: 30821 fixed: 0 props: 20.01M time: 0.53 s
80455.38/4031.80 c lits-rem: 2712 cl-subs: 11631 v-elim: 7445 v-fix: 0 time: 9.95 s
80525.72/4034.07 c subs with bin: 102 lits-rem: 1169 v-fix: 0 time: 1.83 s
80624.78/4037.16 c lits-rem: 79614 cl-subs: 3435 v-elim: 0 v-fix: 0 time: 2.69 s
80659.97/4038.22 c asymm cl-useful: 176/674/240899 lits-rem:3104 time: 1.06
80663.16/4038.36 c calculated reachability. Time: 0.01
80663.16/4038.37 c N dy 5618 806397 99378 240884 2758700 69343 7924435 3508804 33.04 no data
80669.53/4038.55 c Finding binary XORs T: 0.19 s found: 5
81852.88/4075.57 c N dy 5703 826528 99355 240884 2781589 49548 7924420 1992115 32.97 35.53
83041.36/4112.71 c N dy 5858 846586 99229 240884 2784170 69185 7924410 3360071 33.10 38.21
83594.33/4130.02 c Finding binary XORs T: 0.19 s found: 18
84275.80/4151.35 c N dy 5994 866783 97315 232825 2757200 44118 7841798 1685584 33.16 35.93
84320.80/4153.77 c Following stats are for *FIRST FINISHED THREAD ONLY*
84320.80/4153.77 c num threads : 32
84320.80/4153.77 c restarts : 6606
84320.80/4153.77 c dynamic restarts : 6582
84320.80/4153.77 c static restarts : 24
84320.80/4153.77 c full restarts : 3
84320.80/4153.77 c total simplify time : 20.86
84320.80/4153.77 c learnts DL2 : 0
84320.80/4153.77 c learnts size 2 : 14769212
84320.80/4153.77 c learnts size 1 : 214512 (44.50 % of vars)
84320.80/4153.77 c filedLit time : 66.05 (2.50 % time)
84320.80/4153.77 c v-elim SatELite : 153178 (31.77 % vars)
84320.80/4153.77 c SatELite time : 86.53 (3.27 % time)
84320.80/4153.77 c v-elim xor : 0 (0.00 % vars)
84320.80/4153.77 c xor elim time : 0.86 (0.03 % time)
84320.80/4153.77 c num binary xor trees : 7974
84320.80/4153.77 c binxor trees' crown : 17226 (2.16 leafs/tree)
84320.80/4153.77 c bin xor find time : 6.35
84320.80/4153.77 c OTF clause improved : 16796 (0.02 clauses/conflict)
84320.80/4153.77 c OTF impr. size diff : 29169 (1.74 lits/clause)
84320.80/4153.77 c OTF cl watch-shrink : 539063 (0.55 clauses/conflict)
84320.80/4153.77 c OTF cl watch-sh-lit : 3108841 (5.77 lits/clause)
84320.80/4153.77 c tried to recurMin cls : 0 (0.00 % of conflicts)
84320.80/4153.77 c updated cache : 0 (nan lits/tried recurMin)
84320.80/4153.77 c unit cls recevied : 23928 (11.15 % of units)
84320.80/4153.77 c unit cls sent : 4748 (2.21 % of units)
84320.80/4153.77 c bin cls recevied : 5573585
84320.80/4153.77 c bin cls sent : 42305
84320.80/4153.77 c clauses over max glue : 0 (0.00 % of all clauses)
84320.80/4153.77 c conflicts : 981791 (371.50 / sec)
84320.80/4153.77 c decisions : 331935335 (0.11 % random)
84320.80/4153.77 c bogo-props : 22964931926 (8689647.12 / sec)
84320.80/4153.77 c conflict literals : 64777015 (19.97 % deleted)
84320.80/4153.77 c Memory used : 31672.89 MB
84320.80/4153.77 c single-thread CPU time : 2642.79 s
84320.80/4153.77 c all-threads sum CPU time : 83941.43 s
84320.80/4153.77 s UNSATISFIABLE
Verifier Data
No possible verification on an UNSAT instance
Watcher Data
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400871-1307095100/watcher-3400871-1307095100 -o /tmp/evaluation-result-3400871-1307095100/solver-3400871-1307095100 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400871-1307095100.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 267264000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 267315200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 23.16 22.53 14.16 1/413 14138
/proc/meminfo: memFree=262755516/264257624 swapFree=67054988/67111528
[pid=14138] ppid=14136 vsize=338000 CPUtime=0.78 cores=0-31
/proc/14138/stat : 14138 (strangenight2-m) R 14136 14138 14112 0 -1 4202496 468 0 0 0 78 0 0 0 25 0 32 0 15423267 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332755 0 0 4096 2 18446744073709551615 0 0 17 21 0 0 0
/proc/14138/statm: 84500 407 300 95 0 79482 0
[pid=14138/tid=14139] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14139/stat : 14139 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15423267 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332761 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14138/tid=14140] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14140/stat : 14140 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15423267 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332761 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14138/tid=14141] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14141/stat : 14141 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 4 0 0 0 2 0 0 0 25 0 32 0 15423267 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332761 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14138/tid=14142] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14142/stat : 14142 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15423268 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332755 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14138/tid=14143] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14143/stat : 14143 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15423268 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332761 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14138/tid=14144] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14144/stat : 14144 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15423268 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332752 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14138/tid=14145] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14145/stat : 14145 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15423268 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332761 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14138/tid=14146] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14146/stat : 14146 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15423268 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332761 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14138/tid=14147] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14147/stat : 14147 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15423268 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332759 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14138/tid=14148] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14148/stat : 14148 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15423268 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332761 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14138/tid=14149] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14149/stat : 14149 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15423268 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332761 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14138/tid=14150] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14150/stat : 14150 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15423268 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332755 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14138/tid=14151] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14151/stat : 14151 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15423268 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332761 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14138/tid=14152] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14152/stat : 14152 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15423268 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332761 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14138/tid=14153] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14153/stat : 14153 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15423268 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332759 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14138/tid=14154] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14154/stat : 14154 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15423268 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332755 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14138/tid=14155] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14155/stat : 14155 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15423268 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332761 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14138/tid=14156] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14156/stat : 14156 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15423268 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332761 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14138/tid=14157] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14157/stat : 14157 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15423268 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332761 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14138/tid=14158] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14158/stat : 14158 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15423268 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332761 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14138/tid=14159] ppid=14136 vsize=338000 CPUtime=0 cores=0-31
/proc/14138/task/14159/stat : 14159 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 15423268 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457333164 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14138/tid=14160] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14160/stat : 14160 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15423268 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332761 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14138/tid=14161] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14161/stat : 14161 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15423268 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332755 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14138/tid=14162] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14162/stat : 14162 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15423268 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332761 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14138/tid=14163] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14163/stat : 14163 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15423268 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332761 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14138/tid=14164] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14164/stat : 14164 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15423268 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332755 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14138/tid=14165] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14165/stat : 14165 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15423268 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332761 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14138/tid=14166] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14166/stat : 14166 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 15423268 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332761 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14138/tid=14167] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14167/stat : 14167 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15423268 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332755 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=14138/tid=14168] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14168/stat : 14168 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15423268 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332752 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14138/tid=14169] ppid=14136 vsize=338000 CPUtime=0.02 cores=0-31
/proc/14138/task/14169/stat : 14169 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 15423268 346112000 407 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332755 0 0 4096 2 0 0 0 -1 28 0 0 0
[startup+0.09615 s]
/proc/loadavg: 23.16 22.53 14.16 1/413 14138
/proc/meminfo: memFree=262755516/264257624 swapFree=67054988/67111528
[pid=14138] ppid=14136 vsize=781800 CPUtime=2.36 cores=0-31
/proc/14138/stat : 14138 (strangenight2-m) D 14136 14138 14112 0 -1 4202496 8084 0 0 0 168 68 0 0 25 0 32 0 15423267 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 21 0 0 0
/proc/14138/statm: 195450 7926 333 95 0 190432 0
[pid=14138/tid=14139] ppid=14136 vsize=781800 CPUtime=0.07 cores=0-31
/proc/14138/task/14139/stat : 14139 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 272 0 0 0 5 2 0 0 18 0 32 0 15423267 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258651060958 0 0 4096 2 18446744071566928504 0 0 -1 2 0 0 0
[pid=14138/tid=14140] ppid=14136 vsize=781800 CPUtime=0.07 cores=0-31
/proc/14138/task/14140/stat : 14140 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 210 0 0 0 5 2 0 0 25 0 32 0 15423267 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14138/tid=14141] ppid=14136 vsize=781800 CPUtime=0.07 cores=0-31
/proc/14138/task/14141/stat : 14141 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 255 0 0 0 5 2 0 0 25 0 32 0 15423267 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14138/tid=14142] ppid=14136 vsize=781800 CPUtime=0.07 cores=0-31
/proc/14138/task/14142/stat : 14142 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 233 0 0 0 5 2 0 0 25 0 32 0 15423268 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14138/tid=14143] ppid=14136 vsize=781800 CPUtime=0.06 cores=0-31
/proc/14138/task/14143/stat : 14143 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 204 0 0 0 5 1 0 0 25 0 32 0 15423268 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14138/tid=14144] ppid=14136 vsize=781800 CPUtime=0.07 cores=0-31
/proc/14138/task/14144/stat : 14144 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 225 0 0 0 5 2 0 0 25 0 32 0 15423268 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14138/tid=14145] ppid=14136 vsize=781800 CPUtime=0.07 cores=0-31
/proc/14138/task/14145/stat : 14145 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 242 0 0 0 5 2 0 0 25 0 32 0 15423268 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14138/tid=14146] ppid=14136 vsize=781800 CPUtime=0.07 cores=0-31
/proc/14138/task/14146/stat : 14146 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 244 0 0 0 5 2 0 0 25 0 32 0 15423268 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14138/tid=14147] ppid=14136 vsize=781800 CPUtime=0.07 cores=0-31
/proc/14138/task/14147/stat : 14147 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 279 0 0 0 5 2 0 0 18 0 32 0 15423268 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14138/tid=14148] ppid=14136 vsize=781800 CPUtime=0.07 cores=0-31
/proc/14138/task/14148/stat : 14148 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 273 0 0 0 5 2 0 0 18 0 32 0 15423268 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14138/tid=14149] ppid=14136 vsize=781800 CPUtime=0.07 cores=0-31
/proc/14138/task/14149/stat : 14149 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 266 0 0 0 5 2 0 0 25 0 32 0 15423268 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14138/tid=14150] ppid=14136 vsize=781800 CPUtime=0.06 cores=0-31
/proc/14138/task/14150/stat : 14150 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 201 0 0 0 5 1 0 0 25 0 32 0 15423268 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14138/tid=14151] ppid=14136 vsize=781800 CPUtime=0.07 cores=0-31
/proc/14138/task/14151/stat : 14151 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 216 0 0 0 5 2 0 0 18 0 32 0 15423268 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14138/tid=14152] ppid=14136 vsize=781800 CPUtime=0.07 cores=0-31
/proc/14138/task/14152/stat : 14152 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 257 0 0 0 5 2 0 0 18 0 32 0 15423268 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14138/tid=14153] ppid=14136 vsize=781800 CPUtime=0.07 cores=0-31
/proc/14138/task/14153/stat : 14153 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 262 0 0 0 5 2 0 0 18 0 32 0 15423268 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14138/tid=14154] ppid=14136 vsize=781800 CPUtime=0.06 cores=0-31
/proc/14138/task/14154/stat : 14154 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 200 0 0 0 5 1 0 0 25 0 32 0 15423268 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14138/tid=14155] ppid=14136 vsize=781800 CPUtime=0.07 cores=0-31
/proc/14138/task/14155/stat : 14155 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 269 0 0 0 5 2 0 0 25 0 32 0 15423268 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14138/tid=14156] ppid=14136 vsize=781800 CPUtime=0.07 cores=0-31
/proc/14138/task/14156/stat : 14156 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 251 0 0 0 5 2 0 0 25 0 32 0 15423268 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14138/tid=14157] ppid=14136 vsize=781800 CPUtime=0.07 cores=0-31
/proc/14138/task/14157/stat : 14157 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 231 0 0 0 5 2 0 0 25 0 32 0 15423268 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14138/tid=14158] ppid=14136 vsize=781800 CPUtime=0.06 cores=0-31
/proc/14138/task/14158/stat : 14158 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 192 0 0 0 5 1 0 0 25 0 32 0 15423268 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14138/tid=14159] ppid=14136 vsize=781800 CPUtime=0.02 cores=0-31
/proc/14138/task/14159/stat : 14159 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 218 0 0 0 0 2 0 0 25 0 32 0 15423268 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=14138/tid=14160] ppid=14136 vsize=781800 CPUtime=0.07 cores=0-31
/proc/14138/task/14160/stat : 14160 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 240 0 0 0 5 2 0 0 25 0 32 0 15423268 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14138/tid=14161] ppid=14136 vsize=781800 CPUtime=0.06 cores=0-31
/proc/14138/task/14161/stat : 14161 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 201 0 0 0 5 1 0 0 25 0 32 0 15423268 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14138/tid=14162] ppid=14136 vsize=781800 CPUtime=0.07 cores=0-31
/proc/14138/task/14162/stat : 14162 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 240 0 0 0 5 2 0 0 18 0 32 0 15423268 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14138/tid=14163] ppid=14136 vsize=781800 CPUtime=0.06 cores=0-31
/proc/14138/task/14163/stat : 14163 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 275 0 0 0 5 1 0 0 18 0 32 0 15423268 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258651060958 0 0 4096 2 18446744071566929864 0 0 -1 26 0 0 0
[pid=14138/tid=14164] ppid=14136 vsize=781800 CPUtime=0.07 cores=0-31
/proc/14138/task/14164/stat : 14164 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 210 0 0 0 5 2 0 0 25 0 32 0 15423268 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14138/tid=14165] ppid=14136 vsize=781800 CPUtime=0.07 cores=0-31
/proc/14138/task/14165/stat : 14165 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 296 0 0 0 5 2 0 0 25 0 32 0 15423268 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14138/tid=14166] ppid=14136 vsize=781800 CPUtime=0.07 cores=0-31
/proc/14138/task/14166/stat : 14166 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 222 0 0 0 5 2 0 0 25 0 32 0 15423268 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14138/tid=14167] ppid=14136 vsize=781800 CPUtime=0.07 cores=0-31
/proc/14138/task/14167/stat : 14167 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 280 0 0 0 5 2 0 0 18 0 32 0 15423268 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=14138/tid=14168] ppid=14136 vsize=781800 CPUtime=0.07 cores=0-31
/proc/14138/task/14168/stat : 14168 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 257 0 0 0 5 2 0 0 25 0 32 0 15423268 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14138/tid=14169] ppid=14136 vsize=781800 CPUtime=0.06 cores=0-31
/proc/14138/task/14169/stat : 14169 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 204 0 0 0 5 1 0 0 25 0 32 0 15423268 800563200 7926 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 781800
[startup+0.103152 s]
/proc/loadavg: 23.16 22.53 14.16 1/413 14138
/proc/meminfo: memFree=262755516/264257624 swapFree=67054988/67111528
[pid=14138] ppid=14136 vsize=896560 CPUtime=2.47 cores=0-31
/proc/14138/stat : 14138 (strangenight2-m) D 14136 14138 14112 0 -1 4202496 8576 0 0 0 169 78 0 0 25 0 32 0 15423267 918077440 8418 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 21 0 0 0
/proc/14138/statm: 224140 8419 333 95 0 219122 0
[pid=14138/tid=14139] ppid=14136 vsize=896560 CPUtime=0.07 cores=0-31
/proc/14138/task/14139/stat : 14139 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 276 0 0 0 5 2 0 0 17 0 32 0 15423267 918077440 8419 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14138/tid=14140] ppid=14136 vsize=896560 CPUtime=0.07 cores=0-31
/proc/14138/task/14140/stat : 14140 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 231 0 0 0 5 2 0 0 25 0 32 0 15423267 918077440 8419 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14138/tid=14141] ppid=14136 vsize=896560 CPUtime=0.07 cores=0-31
/proc/14138/task/14141/stat : 14141 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 269 0 0 0 5 2 0 0 25 0 32 0 15423267 918077440 8419 268435456000 4194304 4580107 140735457020112 18446744073709551615 258651060958 0 0 4096 2 18446744071566932504 0 0 -1 25 0 0 0
[pid=14138/tid=14142] ppid=14136 vsize=896560 CPUtime=0.07 cores=0-31
/proc/14138/task/14142/stat : 14142 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 250 0 0 0 5 2 0 0 25 0 32 0 15423268 918077440 8419 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14138/tid=14143] ppid=14136 vsize=896560 CPUtime=0.07 cores=0-31
/proc/14138/task/14143/stat : 14143 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 221 0 0 0 5 2 0 0 25 0 32 0 15423268 918077440 8419 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14138/tid=14144] ppid=14136 vsize=896560 CPUtime=0.07 cores=0-31
/proc/14138/task/14144/stat : 14144 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 242 0 0 0 5 2 0 0 25 0 32 0 15423268 918077440 8419 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14138/tid=14145] ppid=14136 vsize=896560 CPUtime=0.07 cores=0-31
/proc/14138/task/14145/stat : 14145 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 261 0 0 0 5 2 0 0 25 0 32 0 15423268 918077440 8419 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14138/tid=14146] ppid=14136 vsize=896560 CPUtime=0.07 cores=0-31
/proc/14138/task/14146/stat : 14146 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 269 0 0 0 5 2 0 0 25 0 32 0 15423268 918077440 8419 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14138/tid=14147] ppid=14136 vsize=896560 CPUtime=0.07 cores=0-31
/proc/14138/task/14147/stat : 14147 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 288 0 0 0 5 2 0 0 18 0 32 0 15423268 918077440 8419 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14138/tid=14148] ppid=14136 vsize=896560 CPUtime=0.07 cores=0-31
/proc/14138/task/14148/stat : 14148 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 286 0 0 0 5 2 0 0 18 0 32 0 15423268 918077440 8424 268435456000 4194304 4580107 140735457020112 18446744073709551615 258651060958 0 0 4096 2 18446744071566930224 0 0 -1 4 0 0 0
[pid=14138/tid=14149] ppid=14136 vsize=1027632 CPUtime=0.07 cores=0-31
/proc/14138/task/14149/stat : 14149 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 275 0 0 0 5 2 0 0 25 0 32 0 15423268 1052295168 8434 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14138/tid=14150] ppid=14136 vsize=1027632 CPUtime=0.07 cores=0-31
/proc/14138/task/14150/stat : 14150 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 220 0 0 0 5 2 0 0 25 0 32 0 15423268 1052295168 8441 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14138/tid=14151] ppid=14136 vsize=1035836 CPUtime=0.07 cores=0-31
/proc/14138/task/14151/stat : 14151 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 235 0 0 0 5 2 0 0 18 0 32 0 15423268 1060696064 8452 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14138/tid=14152] ppid=14136 vsize=1003140 CPUtime=0.07 cores=0-31
/proc/14138/task/14152/stat : 14152 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 270 0 0 0 5 2 0 0 17 0 32 0 15423268 1027215360 8455 268435456000 4194304 4580107 140735457020112 18446744073709551615 258651060958 0 0 4096 2 18446744071566931744 0 0 -1 14 0 0 0
[pid=14138/tid=14153] ppid=14136 vsize=1003140 CPUtime=0.07 cores=0-31
/proc/14138/task/14153/stat : 14153 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 269 0 0 0 5 2 0 0 17 0 32 0 15423268 1027215360 8463 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650999159 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14138/tid=14154] ppid=14136 vsize=1003140 CPUtime=0.07 cores=0-31
/proc/14138/task/14154/stat : 14154 (strangenight2-m) D 14136 14138 14112 0 -1 4202560 222 0 0 0 5 2 0 0 25 0 32 0 15423268 1027215360 8469 268435456000 4194304 4580107 140735457020112 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=14138/tid=14155] ppid=14136 vsize=970300 CPUtime=0.07 cores=0-31
################
# More data... #
################
/proc/14138/stat : 14138 (strangenight2-m) R 14136 14138 14112 0 -1 4202496 16519862 0 0 0 8386433 37951 0 0 25 0 32 0 15423267 33211428864 7277798 268435456000 4194304 4580107 140735457020112 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/14138/statm: 8108259 7277798 381 95 0 8103241 0
[pid=14138/tid=14139] ppid=14136 vsize=32433036 CPUtime=2546.98 cores=0-31
/proc/14138/task/14139/stat : 14139 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 796569 0 0 0 253492 1206 0 0 25 0 32 0 15423267 33211428864 7277798 268435456000 4194304 4580107 140735457020112 18446744073709551615 4294213 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=14138/tid=14140] ppid=14136 vsize=32433036 CPUtime=2642.84 cores=0-31
/proc/14138/task/14140/stat : 14140 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 410696 0 0 0 263179 1105 0 0 25 0 32 0 15423267 33211428864 7277798 268435456000 4194304 4580107 140735457020112 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14138/tid=14141] ppid=14136 vsize=32433036 CPUtime=2577.3 cores=0-31
/proc/14138/task/14141/stat : 14141 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 536572 0 0 0 256518 1212 0 0 25 0 32 0 15423267 33211428864 7277798 268435456000 4194304 4580107 140735457020112 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=14138/tid=14142] ppid=14136 vsize=32433036 CPUtime=2588.05 cores=0-31
/proc/14138/task/14142/stat : 14142 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 409185 0 0 0 257643 1162 0 0 25 0 32 0 15423268 33211428864 7277798 268435456000 4194304 4580107 140735457020112 18446744073709551615 4318664 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=14138/tid=14143] ppid=14136 vsize=32433036 CPUtime=2685.06 cores=0-31
/proc/14138/task/14143/stat : 14143 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 464564 0 0 0 267302 1204 0 0 25 0 32 0 15423268 33211428864 7277798 268435456000 4194304 4580107 140735457020112 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14138/tid=14144] ppid=14136 vsize=32433036 CPUtime=2573.15 cores=0-31
/proc/14138/task/14144/stat : 14144 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 380514 0 0 0 256156 1159 0 0 25 0 32 0 15423268 33211428864 7277798 268435456000 4194304 4580107 140735457020112 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=14138/tid=14145] ppid=14136 vsize=32433036 CPUtime=2631.1 cores=0-31
/proc/14138/task/14145/stat : 14145 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 455785 0 0 0 261994 1116 0 0 25 0 32 0 15423268 33211428864 7277798 268435456000 4194304 4580107 140735457020112 18446744073709551615 4301898 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=14138/tid=14146] ppid=14136 vsize=32433036 CPUtime=2618.25 cores=0-31
/proc/14138/task/14146/stat : 14146 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 431387 0 0 0 260579 1246 0 0 25 0 32 0 15423268 33211428864 7277798 268435456000 4194304 4580107 140735457020112 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14138/tid=14147] ppid=14136 vsize=32433036 CPUtime=2614.7 cores=0-31
/proc/14138/task/14147/stat : 14147 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 502532 0 0 0 260238 1232 0 0 25 0 32 0 15423268 33211428864 7277798 268435456000 4194304 4580107 140735457020112 18446744073709551615 4318491 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=14138/tid=14148] ppid=14136 vsize=32433036 CPUtime=2628.53 cores=0-31
/proc/14138/task/14148/stat : 14148 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 495195 0 0 0 261700 1153 0 0 25 0 32 0 15423268 33211428864 7277798 268435456000 4194304 4580107 140735457020112 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=14138/tid=14149] ppid=14136 vsize=32433036 CPUtime=2651.43 cores=0-31
/proc/14138/task/14149/stat : 14149 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 466945 0 0 0 263933 1210 0 0 25 0 32 0 15423268 33211428864 7277798 268435456000 4194304 4580107 140735457020112 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14138/tid=14150] ppid=14136 vsize=32433036 CPUtime=2630.93 cores=0-31
/proc/14138/task/14150/stat : 14150 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 529918 0 0 0 261862 1231 0 0 25 0 32 0 15423268 33211428864 7277798 268435456000 4194304 4580107 140735457020112 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14138/tid=14151] ppid=14136 vsize=32433036 CPUtime=2609.06 cores=0-31
/proc/14138/task/14151/stat : 14151 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 476752 0 0 0 259701 1205 0 0 25 0 32 0 15423268 33211428864 7277798 268435456000 4194304 4580107 140735457020112 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=14138/tid=14152] ppid=14136 vsize=32433036 CPUtime=2641.67 cores=0-31
/proc/14138/task/14152/stat : 14152 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 500685 0 0 0 263041 1126 0 0 25 0 32 0 15423268 33211428864 7277798 268435456000 4194304 4580107 140735457020112 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=14138/tid=14153] ppid=14136 vsize=32433036 CPUtime=2617.09 cores=0-31
/proc/14138/task/14153/stat : 14153 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 460041 0 0 0 260490 1219 0 0 25 0 32 0 15423268 33211428864 7277798 268435456000 4194304 4580107 140735457020112 18446744073709551615 4321592 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=14138/tid=14154] ppid=14136 vsize=32433036 CPUtime=2700.84 cores=0-31
/proc/14138/task/14154/stat : 14154 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 841599 0 0 0 268922 1162 0 0 25 0 32 0 15423268 33211428864 7277798 268435456000 4194304 4580107 140735457020112 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=14138/tid=14155] ppid=14136 vsize=32433036 CPUtime=2629.31 cores=0-31
/proc/14138/task/14155/stat : 14155 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 390134 0 0 0 261697 1234 0 0 25 0 32 0 15423268 33211428864 7277798 268435456000 4194304 4580107 140735457020112 18446744073709551615 4302360 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14138/tid=14156] ppid=14136 vsize=32433036 CPUtime=2652.63 cores=0-31
/proc/14138/task/14156/stat : 14156 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 487288 0 0 0 264041 1222 0 0 25 0 32 0 15423268 33211428864 7277798 268435456000 4194304 4580107 140735457020112 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=14138/tid=14157] ppid=14136 vsize=32433036 CPUtime=2652.25 cores=0-31
/proc/14138/task/14157/stat : 14157 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 638138 0 0 0 263963 1262 0 0 25 0 32 0 15423268 33211428864 7277798 268435456000 4194304 4580107 140735457020112 18446744073709551615 4302360 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=14138/tid=14158] ppid=14136 vsize=32433036 CPUtime=2651.06 cores=0-31
/proc/14138/task/14158/stat : 14158 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 741149 0 0 0 263866 1240 0 0 25 0 32 0 15423268 33211428864 7277798 268435456000 4194304 4580107 140735457020112 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=14138/tid=14159] ppid=14136 vsize=32433036 CPUtime=2665.39 cores=0-31
/proc/14138/task/14159/stat : 14159 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 497189 0 0 0 265335 1204 0 0 25 0 32 0 15423268 33211428864 7277798 268435456000 4194304 4580107 140735457020112 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=14138/tid=14160] ppid=14136 vsize=32433036 CPUtime=2638.77 cores=0-31
/proc/14138/task/14160/stat : 14160 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 679067 0 0 0 262732 1145 0 0 25 0 32 0 15423268 33211428864 7277799 268435456000 4194304 4580107 140735457020112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=14138/tid=14161] ppid=14136 vsize=32433036 CPUtime=2660.49 cores=0-31
/proc/14138/task/14161/stat : 14161 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 336807 0 0 0 264831 1218 0 0 25 0 32 0 15423268 33211428864 7277799 268435456000 4194304 4580107 140735457020112 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14138/tid=14162] ppid=14136 vsize=32433036 CPUtime=2611.32 cores=0-31
/proc/14138/task/14162/stat : 14162 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 473088 0 0 0 259916 1216 0 0 25 0 32 0 15423268 33211428864 7277799 268435456000 4194304 4580107 140735457020112 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=14138/tid=14163] ppid=14136 vsize=32433036 CPUtime=2652.46 cores=0-31
/proc/14138/task/14163/stat : 14163 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 588492 0 0 0 264004 1242 0 0 25 0 32 0 15423268 33211428864 7277799 268435456000 4194304 4580107 140735457020112 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14138/tid=14164] ppid=14136 vsize=32433036 CPUtime=2654.92 cores=0-31
/proc/14138/task/14164/stat : 14164 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 502977 0 0 0 264292 1200 0 0 25 0 32 0 15423268 33211428864 7277799 268435456000 4194304 4580107 140735457020112 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=14138/tid=14165] ppid=14136 vsize=32433036 CPUtime=2619.46 cores=0-31
/proc/14138/task/14165/stat : 14165 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 551327 0 0 0 260761 1185 0 0 25 0 32 0 15423268 33211428864 7277799 268435456000 4194304 4580107 140735457020112 18446744073709551615 4325152 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=14138/tid=14166] ppid=14136 vsize=32433036 CPUtime=2643.12 cores=0-31
/proc/14138/task/14166/stat : 14166 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 480193 0 0 0 263181 1131 0 0 25 0 32 0 15423268 33211428864 7277799 268435456000 4194304 4580107 140735457020112 18446744073709551615 4301898 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=14138/tid=14167] ppid=14136 vsize=32433036 CPUtime=2638.33 cores=0-31
/proc/14138/task/14167/stat : 14167 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 350292 0 0 0 262652 1181 0 0 25 0 32 0 15423268 33211428864 7277800 268435456000 4194304 4580107 140735457020112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=14138/tid=14168] ppid=14136 vsize=32433036 CPUtime=2623.21 cores=0-31
/proc/14138/task/14168/stat : 14168 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 490900 0 0 0 261129 1192 0 0 25 0 32 0 15423268 33211428864 7277801 268435456000 4194304 4580107 140735457020112 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=14138/tid=14169] ppid=14136 vsize=32433036 CPUtime=2669.85 cores=0-31
/proc/14138/task/14169/stat : 14169 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 560699 0 0 0 266032 953 0 0 25 0 32 0 15423268 33211428864 7277801 268435456000 4194304 4580107 140735457020112 18446744073709551615 4304303 0 0 4096 2 0 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 84243.8
Current children cumulated vsize (KiB) 32433036
[startup+4153.5 s]
/proc/loadavg: 32.09 31.96 28.37 3/445 14301
/proc/meminfo: memFree=233579916/264257624 swapFree=67054988/67111528
[pid=14138] ppid=14136 vsize=32433036 CPUtime=84320.4 cores=0-31
/proc/14138/stat : 14138 (strangenight2-m) S 14136 14138 14112 0 -1 4202496 16520952 0 0 0 8394091 37952 0 0 25 0 32 0 15423267 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/14138/statm: 8108259 7278581 381 95 0 8103241 0
[pid=14138/tid=14139] ppid=14136 vsize=32433036 CPUtime=2549.31 cores=0-31
/proc/14138/task/14139/stat : 14139 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 796619 0 0 0 253725 1206 0 0 25 0 32 0 15423267 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446604562858679776 0 0 -1 13 0 0 0
[pid=14138/tid=14140] ppid=14136 vsize=32433036 CPUtime=2645.17 cores=0-31
/proc/14138/task/14140/stat : 14140 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 410760 0 0 0 263412 1105 0 0 25 0 32 0 15423267 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446744071566933344 0 0 -1 1 0 0 0
[pid=14138/tid=14141] ppid=14136 vsize=32433036 CPUtime=2579.63 cores=0-31
/proc/14138/task/14141/stat : 14141 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 536627 0 0 0 256751 1212 0 0 25 0 32 0 15423267 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446604562813369824 0 0 -1 16 0 0 0
[pid=14138/tid=14142] ppid=14136 vsize=32433036 CPUtime=2590.39 cores=0-31
/proc/14138/task/14142/stat : 14142 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 409287 0 0 0 257876 1163 0 0 25 0 32 0 15423268 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446604564227448288 0 0 -1 14 0 0 0
[pid=14138/tid=14143] ppid=14136 vsize=32433036 CPUtime=2687.39 cores=0-31
/proc/14138/task/14143/stat : 14143 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 464612 0 0 0 267535 1204 0 0 25 0 32 0 15423268 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446604528964017632 0 0 -1 3 0 0 0
[pid=14138/tid=14144] ppid=14136 vsize=32433036 CPUtime=2575.48 cores=0-31
/proc/14138/task/14144/stat : 14144 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 380596 0 0 0 256388 1160 0 0 25 0 32 0 15423268 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446604556857351648 0 0 -1 18 0 0 0
[pid=14138/tid=14145] ppid=14136 vsize=32433036 CPUtime=2633.43 cores=0-31
/proc/14138/task/14145/stat : 14145 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 455785 0 0 0 262227 1116 0 0 25 0 32 0 15423268 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446604564528946656 0 0 -1 23 0 0 0
[pid=14138/tid=14146] ppid=14136 vsize=32433036 CPUtime=2621.45 cores=0-31
/proc/14138/task/14146/stat : 14146 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 431437 0 0 0 260899 1246 0 0 25 0 32 0 15423268 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 4304560 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14138/tid=14147] ppid=14136 vsize=32433036 CPUtime=2617.03 cores=0-31
/proc/14138/task/14147/stat : 14147 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 502611 0 0 0 260471 1232 0 0 25 0 32 0 15423268 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446604564050755040 0 0 -1 29 0 0 0
[pid=14138/tid=14148] ppid=14136 vsize=32433036 CPUtime=2630.79 cores=0-31
/proc/14138/task/14148/stat : 14148 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 495198 0 0 0 261926 1153 0 0 25 0 32 0 15423268 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446604568196365792 0 0 -1 31 0 0 0
[pid=14138/tid=14149] ppid=14136 vsize=32433036 CPUtime=2654.63 cores=0-31
/proc/14138/task/14149/stat : 14149 (strangenight2-m) R 14136 14138 14112 0 -1 4202560 466945 0 0 0 264253 1210 0 0 25 0 32 0 15423268 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 4219864 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=14138/tid=14150] ppid=14136 vsize=32433036 CPUtime=2633.26 cores=0-31
/proc/14138/task/14150/stat : 14150 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 530008 0 0 0 262095 1231 0 0 25 0 32 0 15423268 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446604570781646304 0 0 -1 2 0 0 0
[pid=14138/tid=14151] ppid=14136 vsize=32433036 CPUtime=2611.39 cores=0-31
/proc/14138/task/14151/stat : 14151 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 476752 0 0 0 259934 1205 0 0 25 0 32 0 15423268 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446604566602030560 0 0 -1 30 0 0 0
[pid=14138/tid=14152] ppid=14136 vsize=32433036 CPUtime=2644 cores=0-31
/proc/14138/task/14152/stat : 14152 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 500685 0 0 0 263274 1126 0 0 25 0 32 0 15423268 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446604559703252448 0 0 -1 9 0 0 0
[pid=14138/tid=14153] ppid=14136 vsize=32433036 CPUtime=2619.42 cores=0-31
/proc/14138/task/14153/stat : 14153 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 460041 0 0 0 260723 1219 0 0 25 0 32 0 15423268 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446604566589488608 0 0 -1 20 0 0 0
[pid=14138/tid=14154] ppid=14136 vsize=32433036 CPUtime=2703.17 cores=0-31
/proc/14138/task/14154/stat : 14154 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 841599 0 0 0 269155 1162 0 0 25 0 32 0 15423268 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446604558504000992 0 0 -1 22 0 0 0
[pid=14138/tid=14155] ppid=14136 vsize=32433036 CPUtime=2631.64 cores=0-31
/proc/14138/task/14155/stat : 14155 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 390134 0 0 0 261930 1234 0 0 25 0 32 0 15423268 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446604562535087584 0 0 -1 7 0 0 0
[pid=14138/tid=14156] ppid=14136 vsize=32433036 CPUtime=2654.96 cores=0-31
/proc/14138/task/14156/stat : 14156 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 487377 0 0 0 264273 1223 0 0 25 0 32 0 15423268 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446604566589464032 0 0 -1 26 0 0 0
[pid=14138/tid=14157] ppid=14136 vsize=32433036 CPUtime=2654.58 cores=0-31
/proc/14138/task/14157/stat : 14157 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 638138 0 0 0 264196 1262 0 0 25 0 32 0 15423268 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446604569302269408 0 0 -1 10 0 0 0
[pid=14138/tid=14158] ppid=14136 vsize=32433036 CPUtime=2653.39 cores=0-31
/proc/14138/task/14158/stat : 14158 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 741222 0 0 0 264099 1240 0 0 25 0 32 0 15423268 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446604564838489568 0 0 -1 8 0 0 0
[pid=14138/tid=14159] ppid=14136 vsize=32433036 CPUtime=2667.72 cores=0-31
/proc/14138/task/14159/stat : 14159 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 497291 0 0 0 265568 1204 0 0 25 0 32 0 15423268 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446604565563481568 0 0 -1 24 0 0 0
[pid=14138/tid=14160] ppid=14136 vsize=32433036 CPUtime=2641.1 cores=0-31
/proc/14138/task/14160/stat : 14160 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 679067 0 0 0 262965 1145 0 0 25 0 32 0 15423268 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446604564127178208 0 0 -1 5 0 0 0
[pid=14138/tid=14161] ppid=14136 vsize=32433036 CPUtime=2662.82 cores=0-31
/proc/14138/task/14161/stat : 14161 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 336890 0 0 0 265064 1218 0 0 25 0 32 0 15423268 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446604481647295968 0 0 -1 6 0 0 0
[pid=14138/tid=14162] ppid=14136 vsize=32433036 CPUtime=2613.94 cores=0-31
/proc/14138/task/14162/stat : 14162 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 473107 0 0 0 260178 1216 0 0 25 0 32 0 15423268 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446604572518964704 0 0 -1 11 0 0 0
[pid=14138/tid=14163] ppid=14136 vsize=32433036 CPUtime=2654.79 cores=0-31
/proc/14138/task/14163/stat : 14163 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 588492 0 0 0 264237 1242 0 0 25 0 32 0 15423268 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446604575229246944 0 0 -1 0 0 0 0
[pid=14138/tid=14164] ppid=14136 vsize=32433036 CPUtime=2657.25 cores=0-31
/proc/14138/task/14164/stat : 14164 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 502977 0 0 0 264525 1200 0 0 25 0 32 0 15423268 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446604562062007776 0 0 -1 19 0 0 0
[pid=14138/tid=14165] ppid=14136 vsize=32433036 CPUtime=2621.79 cores=0-31
/proc/14138/task/14165/stat : 14165 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 551327 0 0 0 260994 1185 0 0 25 0 32 0 15423268 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446604562612133344 0 0 -1 27 0 0 0
[pid=14138/tid=14166] ppid=14136 vsize=32433036 CPUtime=2645.45 cores=0-31
/proc/14138/task/14166/stat : 14166 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 480278 0 0 0 263414 1131 0 0 25 0 32 0 15423268 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446604564119535072 0 0 -1 15 0 0 0
[pid=14138/tid=14167] ppid=14136 vsize=32433036 CPUtime=2640.66 cores=0-31
/proc/14138/task/14167/stat : 14167 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 350292 0 0 0 262885 1181 0 0 25 0 32 0 15423268 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446604561947393504 0 0 -1 25 0 0 0
[pid=14138/tid=14168] ppid=14136 vsize=32433036 CPUtime=2625.55 cores=0-31
/proc/14138/task/14168/stat : 14168 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 490900 0 0 0 261363 1192 0 0 25 0 32 0 15423268 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446604573487136224 0 0 -1 21 0 0 0
[pid=14138/tid=14169] ppid=14136 vsize=32433036 CPUtime=2672.18 cores=0-31
/proc/14138/task/14169/stat : 14169 (strangenight2-m) S 14136 14138 14112 0 -1 4202560 560715 0 0 0 266265 953 0 0 25 0 32 0 15423268 33211428864 7278581 268435456000 4194304 4580107 140735457020112 18446744073709551615 47035457332788 0 0 4096 2 18446604564838505952 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 84320.4
Current children cumulated vsize (KiB) 32433036
[startup+4155.1 s]
/proc/loadavg: 29.60 31.45 28.22 2/415 14301
/proc/meminfo: memFree=240382312/264257624 swapFree=67054988/67111528
[pid=14138] ppid=14136 vsize=0 CPUtime=84322.3 cores=0-31
/proc/14138/stat : 14138 (strangenight2-m) Z 14136 14138 14112 0 -1 4203548 16520956 0 0 0 8394142 38087 0 0 18 0 2 0 15423267 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/14138/statm: 0 0 0 0 0 0 0
[pid=14138/tid=14163] ppid=14136 vsize=0 CPUtime=2656.12 cores=0-31
/proc/14138/task/14163/stat : 14163 (strangenight2-m) R 14136 14138 14112 0 -1 4203588 588492 0 0 0 264237 1375 0 0 19 0 2 0 15423268 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 84322.3
Current children cumulated vsize (KiB) 0
[startup+4155.9 s]
/proc/loadavg: 29.60 31.45 28.22 2/415 14301
/proc/meminfo: memFree=253430140/264257624 swapFree=67054988/67111528
[pid=14138] ppid=14136 vsize=0 CPUtime=84323.1 cores=0-31
/proc/14138/stat : 14138 (strangenight2-m) Z 14136 14138 14112 0 -1 4203548 16520956 0 0 0 8394142 38167 0 0 18 0 2 0 15423267 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/14138/statm: 0 0 0 0 0 0 0
[pid=14138/tid=14163] ppid=14136 vsize=0 CPUtime=2656.92 cores=0-31
/proc/14138/task/14163/stat : 14163 (strangenight2-m) R 14136 14138 14112 0 -1 4203588 588492 0 0 0 264237 1455 0 0 21 0 2 0 15423268 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 84323.1
Current children cumulated vsize (KiB) 0
[startup+4156.3 s]
/proc/loadavg: 29.60 31.45 28.22 2/415 14301
/proc/meminfo: memFree=253430140/264257624 swapFree=67054988/67111528
[pid=14138] ppid=14136 vsize=0 CPUtime=84323.5 cores=0-31
/proc/14138/stat : 14138 (strangenight2-m) Z 14136 14138 14112 0 -1 4203548 16520956 0 0 0 8394142 38207 0 0 18 0 2 0 15423267 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 28 0 0 0
/proc/14138/statm: 0 0 0 0 0 0 0
[pid=14138/tid=14163] ppid=14136 vsize=0 CPUtime=2657.32 cores=0-31
/proc/14138/task/14163/stat : 14163 (strangenight2-m) R 14136 14138 14112 0 -1 4203588 588492 0 0 0 264237 1495 0 0 22 0 2 0 15423268 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 84323.5
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 4156.4
CPU time (s): 84323.6
CPU user time (s): 83941.4
CPU system time (s): 382.175
CPU usage (%): 2028.77
Max. virtual memory (cumulated for all children) (KiB): 33023736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 83941.4
system time used= 382.175
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16520956
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= 14160312
involuntary context switches= 267822
runsolver used 27.1299 second user time and 96.3204 second system time
The end
Launcher Data
Begin job on node200 at 2011-06-03 11:58:29
IDJOB=3400871
IDBENCH=85008
IDSOLVER=1886
FILE ID=node200/3400871-1307095100
RUNJOBID= node200-1307095100-14126
PBS_JOBID= 13498406
Free space on /tmp= 61536 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400871-1307095100/watcher-3400871-1307095100 -o /tmp/evaluation-result-3400871-1307095100/solver-3400871-1307095100 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400871-1307095100.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 261000 MiB
NBCORE= 32
MD5SUM BENCH= 9a43349587a435e7109b46b3aceb156e
RANDOM SEED=872168728
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.96
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.03
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.99
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.10
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.35
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 262756168 kB
Buffers: 103400 kB
Cached: 1201172 kB
SwapCached: 8400 kB
Active: 317932 kB
Inactive: 1005728 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 262756168 kB
SwapTotal: 67111528 kB
SwapFree: 67054988 kB
Dirty: 218644 kB
Writeback: 0 kB
AnonPages: 15200 kB
Mapped: 8472 kB
Slab: 96208 kB
PageTables: 4384 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 181320 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= 61528 MiB
End job on node200 at 2011-06-03 13:07:45