Trace number 3400676
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 | APPLICATIONS/bioinfo/ q_query_3_L150_coli.sat.cnf |
MD5SUM | ba6884aaa746378e56c38fd8b3d0255e |
Bench Category | APPLICATION (applications instances) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 3533.27 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 486992 |
Number of clauses | 2456708 |
Sum of the clauses size | 7147094 |
Maximum clause length | 11 |
Minimum clause length | 1 |
Number of clauses of size 1 | 45577 |
Number of clauses of size 2 | 599727 |
Number of clauses of size 3 | 1431108 |
Number of clauses of size 4 | 295435 |
Number of clauses of size 5 | 84412 |
Number of clauses of size over 5 | 449 |
Solver Data
0.00/0.20 c Outputting solution to console
2.59/0.31 c Using 32 threads
2.59/0.33 c This is CryptoMiniSat 3.0.0
2.59/0.33 c WARNING: for repeatability, setting FPU to use double precision
2.59/0.33 c Reading file 'HOME/instance-3400676-1306329846.cnf'
2.59/0.36 c -- header says num vars: 486992
2.59/0.36 c -- header says num clauses: 2456708
180.84/12.15 c -- clauses added: 0 learnts, 2456708 normals, 0 xors
180.84/12.15 c -- vars added 486992
180.84/12.15 c Parsing time: 2.94 s
180.84/12.15 c N st 0 0 486992 1619082 556391 0 6433512 0 no data no data
202.61/13.10 c asymm cl-useful: 53/301/1545359 lits-rem:113 time: 0.58
491.97/22.49 c Flit: 3270 Blit: 5923 bXBeca: 0 bXProp: 83329 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 8.57
507.95/22.92 c Cleaning up after failed var search: 0.43 s
537.02/23.97 c Replacing 83330 vars Replaced 1922151 lits Time: 0.85 s
617.05/33.35 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.03 s
622.59/33.56 c bin-w-bin subsume rem 350 bins time: 0.21 s
634.79/34.01 c subs with bin: 138 lits-rem: 121 v-fix: 0 time: 0.43 s
661.06/34.80 c Subs w/ non-existent bins: 22 l-rem: 12 v-fix: 0 done: 77793 time: 0.63 s
666.37/35.07 c Removed useless bin: 3926 fixed: 0 props: 20.00M time: 0.27 s
770.46/39.39 c lits-rem: 0 cl-subs: 265 v-elim: 97521 v-fix: 0 time: 3.10 s
777.69/39.59 c Finding binary XORs T: 0.19 s found: 53
786.39/39.84 c Replacing 53 vars Replaced 531 lits Time: 0.24 s
808.73/40.50 c Finding non-binary XORs: 0.53 s (found: 0, avg size: nan)
808.73/40.50 c calculated reachability. Time: 0.01
812.58/40.64 c Calc default polars - time: 0.13 s pos: 100870 undec: 292621 neg: 93501
812.58/40.64 c =========================================================================================
812.58/40.64 c types(t): F = full restart, N = normal restart
812.58/40.64 c types(t): S = simplification begin/end, E = solution found
812.58/40.64 c restart types(rt): st = static, dy = dynamic
812.58/40.64 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
812.58/40.64 c B st 0 0 194989 891710 321741 0 3411261 0 no data no data
872.64/42.52 c N dy 11 4202 194963 891710 322062 3813 3411261 43625 6.38 6.92
996.45/46.57 c N dy 28 8526 181525 814246 309067 5992 3125554 60503 5.87 6.26
1095.25/49.68 c Finding binary XORs T: 0.16 s found: 3186
1101.65/49.89 c Replacing 3186 vars Replaced 26887 lits Time: 0.21 s
1117.64/50.38 c N dy 46 12536 178014 812864 334635 9655 3107599 161326 5.78 6.17
1216.69/53.45 c N dy 67 17007 164083 783764 299437 13402 2951732 197332 5.78 6.18
1303.50/56.16 c Finding binary XORs T: 0.15 s found: 4850
1309.26/56.40 c Replacing 4850 vars Replaced 71772 lits Time: 0.24 s
1350.62/57.61 c N dy 82 21116 158488 774561 297710 8565 2900199 136255 5.71 6.03
1513.57/62.77 c F st 117 25000 158428 774561 304638 12319 2900199 205487 5.87 no data
1551.03/63.93 c Found part 7211 vars: 3 clauses: 1 lits size: 3
1551.03/63.93 c Found part 7212 vars: 3 clauses: 1 lits size: 3
1551.03/63.93 c Found part 7304 vars: 157887 clauses: 1025774 lits size: 2892044
1551.03/63.93 c Found parts: 3 time: 1.13 s
1551.03/63.93 c Solving part 7211
1565.62/64.41 c N st 0 0 3 1 0 0 3 0 no data no data
1565.62/64.41 c asymm cl-useful: 0/1/1 lits-rem:0 time: 0.00
1565.62/64.42 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
1565.62/64.45 c Finding binary XORs T: 0.04 s found: 0
1565.62/64.46 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
1565.62/64.46 c calculated reachability. Time: 0.00
1565.62/64.48 c Calc default polars - time: 0.01 s pos: 3 undec: 486989 neg: 0
1565.62/64.48 c =========================================================================================
1565.62/64.48 c types(t): F = full restart, N = normal restart
1565.62/64.48 c types(t): S = simplification begin/end, E = solution found
1565.62/64.48 c restart types(rt): st = static, dy = dynamic
1565.62/64.48 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
1565.62/64.48 c B st 0 0 3 1 0 0 3 0 no data no data
1565.62/64.48 c E st 1 0 0 1 0 0 3 0 no data no data
1565.62/64.50 c Verified 1 clauses.
1565.62/64.50 c Verified 1 clauses.
1565.62/64.50 c Solved part
1565.62/64.50 c =========================================================================================
1568.52/64.53 c Solving part 7212
1582.44/65.02 c N st 0 0 3 1 0 0 3 0 no data no data
1582.44/65.02 c asymm cl-useful: 0/1/1 lits-rem:0 time: 0.00
1582.44/65.03 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
1582.44/65.06 c Finding binary XORs T: 0.04 s found: 0
1582.44/65.07 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
1582.44/65.07 c calculated reachability. Time: 0.00
1582.44/65.08 c Calc default polars - time: 0.01 s pos: 3 undec: 486989 neg: 0
1582.44/65.08 c =========================================================================================
1582.44/65.08 c types(t): F = full restart, N = normal restart
1582.44/65.08 c types(t): S = simplification begin/end, E = solution found
1582.44/65.08 c restart types(rt): st = static, dy = dynamic
1582.44/65.08 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
1582.44/65.08 c B st 0 0 3 1 0 0 3 0 no data no data
1582.44/65.08 c E st 1 0 0 1 0 0 3 0 no data no data
1585.48/65.10 c Verified 1 clauses.
1585.48/65.10 c Verified 1 clauses.
1585.48/65.10 c Solved part
1585.48/65.10 c =========================================================================================
1585.48/65.13 c Coming back to original instance
1585.48/65.13 c =========================================================================================
1591.55/65.34 c N st 118 25250 157886 772697 302597 12316 2892044 204691 5.87 no data
1693.55/68.51 c N dy 123 30000 157868 772697 302638 16955 2892044 271625 5.87 no data
1693.55/68.51 c S st 123 30000 157868 772697 302638 16955 2892044 271625 5.87 no data
1792.67/71.66 c S st 123 30500 157597 772697 302755 17039 2892044 272227 5.87 no data
1799.03/71.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.16
2604.49/97.05 c Flit: 80 Blit: 5910 bXBeca: 0 bXProp: 1400 Bins: 547361 BRemL: 2862 BRemN: 54 P: 200.0M T: 25.23
2610.89/97.25 c Cleaning up after failed var search: 0.19 s
2623.68/97.61 c Replacing 1400 vars Replaced 825922 lits Time: 0.34 s
2636.49/98.06 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.02 s
3736.01/132.48 c bin-w-bin subsume rem 337931 bins time: 34.41 s
3748.80/132.82 c subs with bin: 19671 lits-rem: 8589 v-fix: 0 time: 0.34 s
3764.77/133.35 c Subs w/ non-existent bins: 6817 l-rem: 2306 v-fix: 1262 done: 60299 time: 0.52 s
3771.16/133.58 c Removed useless bin: 3627 fixed: 1932 props: 20.06M time: 0.21 s
4031.60/141.76 c lits-rem: 28175 cl-subs: 22055 v-elim: 64925 v-fix: 0 time: 8.12 s
4038.65/141.96 c subs with bin: 753 lits-rem: 3205 v-fix: 0 time: 0.10 s
4053.96/142.48 c lits-rem: 342 cl-subs: 883 v-elim: 0 v-fix: 0 time: 0.30 s
4085.85/143.50 c asymm cl-useful: 47/767/684815 lits-rem:60 time: 1.01
4089.05/143.58 c calculated reachability. Time: 0.01
4089.05/143.58 c N dy 123 30500 83170 684815 117881 8852 2357332 162897 5.87 no data
4092.24/143.68 c Finding binary XORs T: 0.09 s found: 138
4200.06/147.01 c Finding binary XORs T: 0.09 s found: 5534
4203.07/147.17 c Replacing 5672 vars Replaced 156231 lits Time: 0.16 s
4233.27/148.13 c N dy 152 34592 54519 488103 260535 4999 1608315 510178 5.97 6.94
4342.37/151.75 c Finding binary XORs T: 0.08 s found: 715
4345.60/151.87 c Replacing 715 vars Replaced 13851 lits Time: 0.12 s
4348.12/151.94 c N dy 180 38620 53356 478667 399296 8955 1565350 866868 6.05 8.06
4456.73/155.30 c N dy 211 42713 53356 478667 399339 6590 1565350 790829 6.13 6.58
4527.05/157.54 c Finding binary XORs T: 0.08 s found: 38
4546.24/158.11 c S st 239 45752 53338 478582 432887 9592 1564895 917039 6.22 no data
4556.46/158.49 c S st 239 46253 53335 478582 432932 10043 1564895 923029 6.22 no data
4559.02/158.59 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
5541.72/189.59 c Flit: 30 Blit: 32 bXBeca: 0 bXProp: 184 Bins: 181867 BRemL: 9571 BRemN: 73 P: 200.0M T: 30.84
5554.51/189.90 c Replacing 222 vars Replaced 139469 lits Time: 0.29 s
5560.90/190.17 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
6497.11/220.48 c bin-w-bin subsume rem 336413 bins time: 29.64 s
6506.28/220.77 c subs with bin: 33352 lits-rem: 20264 v-fix: 0 time: 0.28 s
6525.29/221.33 c Subs w/ non-existent bins: 9125 l-rem: 4547 v-fix: 8 done: 53041 time: 0.55 s
6531.67/221.54 c Removed useless bin: 2977 fixed: 0 props: 20.01M time: 0.14 s
6566.56/222.68 c lits-rem: 6166 cl-subs: 5999 v-elim: 1818 v-fix: 0 time: 1.14 s
6572.76/222.83 c subs with bin: 173 lits-rem: 1461 v-fix: 0 time: 0.07 s
6585.78/223.22 c lits-rem: 401 cl-subs: 265 v-elim: 0 v-fix: 0 time: 0.25 s
6600.73/223.79 c vivif2 -- cl tried 431103 cl shrink 14639 lits rem 14658 time: 0.56
6603.71/223.81 c vivif2 -- cl tried 6965 cl shrink 1503 lits rem 3804 time: 0.02
6634.51/224.92 c asymm cl-useful: 125/1289/416749 lits-rem:206 time: 1.12
6640.31/225.11 c calculated reachability. Time: 0.14
6640.31/225.12 c N dy 239 46253 51216 416746 188132 6948 1440702 291322 6.22 no data
6652.23/225.54 c Finding binary XORs T: 0.42 s found: 46
6768.74/230.34 c Finding binary XORs T: 0.39 s found: 106
6768.74/230.38 c N dy 249 50673 50661 398739 420649 10737 1376172 854870 6.14 6.48
6825.13/232.69 c N dy 268 54888 50661 398739 420669 14921 1376169 929443 6.14 6.48
7047.88/242.78 c Finding binary XORs T: 0.39 s found: 2
7063.12/243.27 c N dy 296 58933 50661 398739 466315 18935 1376168 1088201 6.16 8.27
7170.71/246.63 c N dy 321 63155 50661 398739 472279 23145 1376166 1174188 6.18 6.64
7260.22/249.49 c N dy 353 67284 50656 398739 472294 14801 1376165 970799 6.22 6.57
7302.41/250.77 c S st 359 69379 50656 398739 472303 16885 1376165 1012351 6.21 5.79
7311.36/251.10 c S st 359 69881 50603 398739 474492 17370 1376164 1025043 6.21 no data
7314.56/251.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
7838.63/267.63 c Flit: 9 Blit: 7 bXBeca: 0 bXProp: 49 Bins: 559057 BRemL: 5267 BRemN: 0 P: 200.1M T: 16.37
7848.23/267.92 c Replacing 204 vars Replaced 72492 lits Time: 0.28 s
7854.62/268.14 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
8024.35/273.71 c bin-w-bin subsume rem 221516 bins time: 5.56 s
8032.98/274.01 c subs with bin: 1906 lits-rem: 808 v-fix: 0 time: 0.30 s
8049.77/274.66 c Subs w/ non-existent bins: 899 l-rem: 651 v-fix: 2 done: 50384 time: 0.65 s
8055.37/274.81 c Removed useless bin: 2421 fixed: 0 props: 20.30M time: 0.14 s
8082.25/275.81 c lits-rem: 5974 cl-subs: 13763 v-elim: 6513 v-fix: 0 time: 0.99 s
8084.85/275.99 c subs with bin: 95 lits-rem: 1075 v-fix: 0 time: 0.10 s
8095.49/276.35 c lits-rem: 446 cl-subs: 306 v-elim: 0 v-fix: 0 time: 0.23 s
8103.84/276.61 c vivif2 -- cl tried 369240 cl shrink 212 lits rem 221 time: 0.26
8103.84/276.63 c vivif2 -- cl tried 8552 cl shrink 1214 lits rem 2761 time: 0.03
8124.74/277.40 c asymm cl-useful: 77/3049/369146 lits-rem:115 time: 0.76
8134.34/277.63 c calculated reachability. Time: 0.17
8134.34/277.64 c N dy 359 69881 43869 369145 797952 8544 1293594 1524726 6.21 no data
8150.33/278.15 c Finding binary XORs T: 0.52 s found: 33
8224.47/280.47 c N dy 372 74624 43869 369145 797982 13247 1293594 1608509 6.19 6.56
8335.16/284.05 c Finding binary XORs T: 0.50 s found: 31
8369.36/285.31 c N dy 392 79477 43841 368556 956471 18049 1291702 2003515 6.18 6.53
8596.80/294.79 c N dy 418 85158 43840 368556 978618 23677 1291702 2144853 6.18 6.54
8653.59/296.53 c F st 427 87500 43838 368556 978626 25997 1291702 2186255 6.17 5.27
8659.99/296.75 c Replacing 64 vars Replaced 9149 lits Time: 0.14 s
8685.48/297.56 c Found part 10462 vars: 43767 clauses: 436822 lits size: 1287500
8685.48/297.56 c Found part 10463 vars: 3 clauses: 2 lits size: 4
8685.48/297.56 c Found parts: 2 time: 1.03 s
8685.48/297.56 c Solving part 10463
8698.27/297.97 c N st 0 0 3 0 3 0 4 2 no data no data
8698.27/297.97 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
8698.27/297.97 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
8698.27/298.01 c Finding binary XORs T: 0.04 s found: 0
8698.27/298.02 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
8698.27/298.02 c calculated reachability. Time: 0.00
8702.09/298.03 c Calc default polars - time: 0.01 s pos: 2 undec: 486990 neg: 0
8702.09/298.03 c =========================================================================================
8702.09/298.03 c types(t): F = full restart, N = normal restart
8702.09/298.03 c types(t): S = simplification begin/end, E = solution found
8702.09/298.03 c restart types(rt): st = static, dy = dynamic
8702.09/298.03 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
8702.09/298.03 c B st 0 0 3 0 3 0 4 2 no data no data
8702.09/298.03 c E st 1 0 0 0 3 0 4 2 no data no data
8702.09/298.05 c Verified 0 clauses.
8702.09/298.05 c Verified 0 clauses.
8702.09/298.05 c Solved part
8702.09/298.05 c =========================================================================================
8702.09/298.08 c Coming back to original instance
8702.09/298.08 c =========================================================================================
8743.01/299.39 c N st 432 90795 41771 344666 289847 15301 1192048 630413 6.17 no data
8778.21/300.41 c Finding binary XORs T: 0.48 s found: 3501
8781.37/300.57 c Replacing 3501 vars Replaced 655422 lits Time: 0.16 s
9169.20/376.60 c Following stats are for *FIRST FINISHED THREAD ONLY*
9169.20/376.60 c num threads : 32
9169.20/376.60 c restarts : 951
9169.20/376.60 c dynamic restarts : 933
9169.20/376.60 c static restarts : 18
9169.20/376.60 c full restarts : 2
9169.20/376.60 c total simplify time : 6.11
9169.20/376.60 c learnts DL2 : 0
9169.20/376.60 c learnts size 2 : 2818694
9169.20/376.60 c learnts size 1 : 188267 (38.66 % of vars)
9169.20/376.60 c filedLit time : 35.37 (10.44 % time)
9169.20/376.60 c v-elim SatELite : 144603 (29.69 % vars)
9169.20/376.60 c SatELite time : 25.87 (7.63 % time)
9169.20/376.60 c v-elim xor : 0 (0.00 % vars)
9169.20/376.60 c xor elim time : 0.15 (0.04 % time)
9169.20/376.60 c num binary xor trees : 35736
9169.20/376.60 c binxor trees' crown : 106713 (2.99 leafs/tree)
9169.20/376.60 c bin xor find time : 1.82
9169.20/376.60 c OTF clause improved : 1437 (0.01 clauses/conflict)
9169.20/376.60 c OTF impr. size diff : 1679 (1.17 lits/clause)
9169.20/376.60 c OTF cl watch-shrink : 120678 (0.63 clauses/conflict)
9169.20/376.60 c OTF cl watch-sh-lit : 537331 (4.45 lits/clause)
9169.20/376.60 c tried to recurMin cls : 0 (0.00 % of conflicts)
9169.20/376.60 c updated cache : 0 (nan lits/tried recurMin)
9169.20/376.60 c unit cls recevied : 4696 (2.49 % of units)
9169.20/376.60 c unit cls sent : 12207 (6.48 % of units)
9169.20/376.60 c bin cls recevied : 1857982
9169.20/376.60 c bin cls sent : 81182
9169.20/376.60 c clauses over max glue : 0 (0.00 % of all clauses)
9169.20/376.60 c conflicts : 191659 (565.58 / sec)
9169.20/376.60 c decisions : 459816 (7.31 % random)
9169.20/376.60 c bogo-props : 3201887047 (9448620.82 / sec)
9169.20/376.60 c conflict literals : 3867076 (31.91 % deleted)
9169.20/376.60 c Memory used : 19374.23 MB
9169.20/376.60 c single-thread CPU time : 338.87 s
9169.20/376.60 c all-threads sum CPU time : 9007.91 s
9169.20/376.60 s UNSATISFIABLE
Verifier Data
No possible verification on an UNSAT instance
Watcher Data
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400676-1306329846/watcher-3400676-1306329846 -o /tmp/evaluation-result-3400676-1306329846/solver-3400676-1306329846 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400676-1306329846.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.25 16.01 24.67 1/413 15494
/proc/meminfo: memFree=255094804/264257624 swapFree=67111528/67111528
[pid=15494] ppid=15492 vsize=11796 CPUtime=0 cores=0-31
/proc/15494/stat : 15494 (runsolver) S 15492 15494 15468 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 744471274 12079104 49 268435456000 4194304 5432360 140734106388304 18446744073709551615 4881623 0 2147483391 4096 24578 18446744071700354911 0 0 17 3 0 0 0
/proc/15494/statm: 2949 49 30 303 0 2643 0
[startup+0.0891749 s]
/proc/loadavg: 2.25 16.01 24.67 1/413 15494
/proc/meminfo: memFree=255094804/264257624 swapFree=67111528/67111528
[pid=15494] ppid=15492 vsize=11796 CPUtime=0 cores=0-31
/proc/15494/stat : 15494 (runsolver) S 15492 15494 15468 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 744471274 12079104 49 268435456000 4194304 5432360 140734106388304 18446744073709551615 4881623 0 2147483391 4096 24578 18446744071700354911 0 0 17 3 0 0 0
/proc/15494/statm: 2949 49 30 303 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11796
[startup+0.101187 s]
/proc/loadavg: 2.25 16.01 24.67 1/413 15494
/proc/meminfo: memFree=255094804/264257624 swapFree=67111528/67111528
[pid=15494] ppid=15492 vsize=11796 CPUtime=0 cores=0-31
/proc/15494/stat : 15494 (runsolver) S 15492 15494 15468 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 744471274 12079104 49 268435456000 4194304 5432360 140734106388304 18446744073709551615 4881623 0 2147483391 4096 24578 18446744071700354911 0 0 17 3 0 0 0
/proc/15494/statm: 2949 49 30 303 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11796
[startup+0.301019 s]
/proc/loadavg: 2.25 16.01 24.67 1/413 15494
/proc/meminfo: memFree=255094804/264257624 swapFree=67111528/67111528
[pid=15494] ppid=15492 vsize=338000 CPUtime=2.59 cores=0-31
/proc/15494/stat : 15494 (strangenight2-m) R 15492 15494 15468 0 -1 4202496 437 0 0 0 259 0 0 0 22 0 32 0 744471274 346112000 377 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587820 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/15494/statm: 84500 377 297 95 0 79482 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 338000
[startup+0.701049 s]
/proc/loadavg: 2.25 16.01 24.67 1/413 15494
/proc/meminfo: memFree=255094804/264257624 swapFree=67111528/67111528
[pid=15494] ppid=15492 vsize=1618552 CPUtime=8.46 cores=0-31
/proc/15494/stat : 15494 (strangenight2-m) D 15492 15494 15468 0 -1 4202496 114242 0 0 0 475 371 0 0 17 0 32 0 744471274 1657397248 98223 268435456000 4194304 4580107 140736771814352 18446744073709551615 258650653381 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/15494/statm: 404638 98223 336 95 0 399620 0
Current children cumulated CPU time (s) 8.46
Current children cumulated vsize (KiB) 1618552
[startup+1.50414 s]
/proc/loadavg: 2.25 16.01 24.67 23/445 15526
/proc/meminfo: memFree=254342304/264257624 swapFree=67111528/67111528
[pid=15494] ppid=15492 vsize=2582964 CPUtime=22.06 cores=0-31
/proc/15494/stat : 15494 (strangenight2-m) R 15492 15494 15468 0 -1 4202496 395774 0 0 0 793 1413 0 0 17 0 32 0 744471274 2644955136 327334 268435456000 4194304 4580107 140736771814352 18446744073709551615 4311330 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/15494/statm: 645741 327385 336 95 0 640723 0
[pid=15494/tid=15496] ppid=15492 vsize=2582964 CPUtime=0.71 cores=0-31
/proc/15494/task/15496/stat : 15496 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 12225 0 0 0 27 44 0 0 16 0 32 0 744471295 2644955136 327413 268435456000 4194304 4580107 140736771814352 18446744073709551615 258651060958 0 0 4096 2 18446744071566928184 0 0 -1 1 0 0 0
[pid=15494/tid=15497] ppid=15492 vsize=2582964 CPUtime=0.96 cores=0-31
/proc/15494/task/15497/stat : 15497 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 18803 0 0 0 28 68 0 0 17 0 32 0 744471295 2644955136 327443 268435456000 4194304 4580107 140736771814352 18446744073709551615 258650653361 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15494/tid=15498] ppid=15492 vsize=2582964 CPUtime=0.86 cores=0-31
/proc/15494/task/15498/stat : 15498 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 16789 0 0 0 28 58 0 0 16 0 32 0 744471295 2644955136 327481 268435456000 4194304 4580107 140736771814352 18446744073709551615 258650653381 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15494/tid=15499] ppid=15492 vsize=2582964 CPUtime=0.81 cores=0-31
/proc/15494/task/15499/stat : 15499 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 15295 0 0 0 27 54 0 0 16 0 32 0 744471295 2644955136 327529 268435456000 4194304 4580107 140736771814352 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15494/tid=15500] ppid=15492 vsize=2582964 CPUtime=0.53 cores=0-31
/proc/15494/task/15500/stat : 15500 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 6555 0 0 0 25 28 0 0 15 0 32 0 744471295 2644955136 327561 268435456000 4194304 4580107 140736771814352 18446744073709551615 258651060958 0 0 4096 2 18446744071566925464 0 0 -1 8 0 0 0
[pid=15494/tid=15501] ppid=15492 vsize=2582964 CPUtime=0.38 cores=0-31
/proc/15494/task/15501/stat : 15501 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 3808 0 0 0 22 16 0 0 16 0 32 0 744471295 2644955136 327615 268435456000 4194304 4580107 140736771814352 18446744073709551615 4349457 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15494/tid=15502] ppid=15492 vsize=2582964 CPUtime=0.71 cores=0-31
/proc/15494/task/15502/stat : 15502 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 12520 0 0 0 24 47 0 0 16 0 32 0 744471295 2644955136 327664 268435456000 4194304 4580107 140736771814352 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15494/tid=15503] ppid=15492 vsize=2582964 CPUtime=0.18 cores=0-31
/proc/15494/task/15503/stat : 15503 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 1133 0 0 0 13 5 0 0 15 0 32 0 744471295 2644955136 327700 268435456000 4194304 4580107 140736771814352 18446744073709551615 258651060958 0 0 4096 2 18446604504639520224 0 0 -1 5 0 0 0
[pid=15494/tid=15504] ppid=15492 vsize=2582964 CPUtime=0.25 cores=0-31
/proc/15494/task/15504/stat : 15504 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 1559 0 0 0 18 7 0 0 16 0 32 0 744471295 2644955136 327744 268435456000 4194304 4580107 140736771814352 18446744073709551615 258650653361 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15494/tid=15505] ppid=15492 vsize=2582964 CPUtime=0.9 cores=0-31
/proc/15494/task/15505/stat : 15505 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 18328 0 0 0 29 61 0 0 17 0 32 0 744471295 2644955136 327790 268435456000 4194304 4580107 140736771814352 18446744073709551615 258650653351 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15494/tid=15506] ppid=15492 vsize=2582964 CPUtime=0.99 cores=0-31
/proc/15494/task/15506/stat : 15506 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 20879 0 0 0 27 72 0 0 18 0 32 0 744471295 2644955136 327828 268435456000 4194304 4580107 140736771814352 18446744073709551615 258651060958 0 0 4096 2 18446744071566924424 0 0 -1 7 0 0 0
[pid=15494/tid=15507] ppid=15492 vsize=2582964 CPUtime=0.95 cores=0-31
/proc/15494/task/15507/stat : 15507 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 20237 0 0 0 28 67 0 0 17 0 32 0 744471295 2644955136 327872 268435456000 4194304 4580107 140736771814352 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15494/tid=15508] ppid=15492 vsize=2582964 CPUtime=0.73 cores=0-31
/proc/15494/task/15508/stat : 15508 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 13128 0 0 0 27 46 0 0 16 0 32 0 744471295 2644955136 327908 268435456000 4194304 4580107 140736771814352 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15494/tid=15509] ppid=15492 vsize=2582964 CPUtime=0.19 cores=0-31
/proc/15494/task/15509/stat : 15509 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 676 0 0 0 14 5 0 0 15 0 32 0 744471295 2644955136 327942 268435456000 4194304 4580107 140736771814352 18446744073709551615 258651060958 0 0 4096 2 18446604501227339232 0 0 -1 11 0 0 0
[pid=15494/tid=15510] ppid=15492 vsize=2582964 CPUtime=0.69 cores=0-31
/proc/15494/task/15510/stat : 15510 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 11340 0 0 0 26 43 0 0 16 0 32 0 744471295 2644955136 327981 268435456000 4194304 4580107 140736771814352 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15494/tid=15511] ppid=15492 vsize=2582964 CPUtime=0.34 cores=0-31
/proc/15494/task/15511/stat : 15511 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 3580 0 0 0 19 15 0 0 15 0 32 0 744471295 2644955136 328025 268435456000 4194304 4580107 140736771814352 18446744073709551615 258651060958 0 0 4096 2 18446604575270239712 0 0 -1 14 0 0 0
[pid=15494/tid=15512] ppid=15492 vsize=2582964 CPUtime=0.78 cores=0-31
/proc/15494/task/15512/stat : 15512 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 13609 0 0 0 26 52 0 0 16 0 32 0 744471295 2644955136 328068 268435456000 4194304 4580107 140736771814352 18446744073709551615 4345288 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15494/tid=15513] ppid=15492 vsize=2582964 CPUtime=0.76 cores=0-31
/proc/15494/task/15513/stat : 15513 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 15918 0 0 0 27 49 0 0 16 0 32 0 744471295 2644955136 328113 268435456000 4194304 4580107 140736771814352 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15494/tid=15514] ppid=15492 vsize=2582964 CPUtime=0.65 cores=0-31
/proc/15494/task/15514/stat : 15514 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 10093 0 0 0 27 38 0 0 16 0 32 0 744471295 2644955136 328153 268435456000 4194304 4580107 140736771814352 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15494/tid=15515] ppid=15492 vsize=2582964 CPUtime=0.71 cores=0-31
/proc/15494/task/15515/stat : 15515 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 10687 0 0 0 27 44 0 0 16 0 32 0 744471295 2644955136 328186 268435456000 4194304 4580107 140736771814352 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15494/tid=15516] ppid=15492 vsize=2582964 CPUtime=0.83 cores=0-31
/proc/15494/task/15516/stat : 15516 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 15203 0 0 0 28 55 0 0 16 0 32 0 744471295 2644955136 328224 268435456000 4194304 4580107 140736771814352 18446744073709551615 4307948 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15494/tid=15517] ppid=15492 vsize=2582964 CPUtime=0.81 cores=0-31
/proc/15494/task/15517/stat : 15517 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 17919 0 0 0 22 59 0 0 17 0 32 0 744471295 2644955136 328265 268435456000 4194304 4580107 140736771814352 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15494/tid=15518] ppid=15492 vsize=2582964 CPUtime=0.75 cores=0-31
/proc/15494/task/15518/stat : 15518 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 15864 0 0 0 21 54 0 0 16 0 32 0 744471295 2644955136 328306 268435456000 4194304 4580107 140736771814352 18446744073709551615 258651060958 0 0 4096 2 18446604481517149664 0 0 -1 28 0 0 0
[pid=15494/tid=15519] ppid=15492 vsize=2582964 CPUtime=0.78 cores=0-31
/proc/15494/task/15519/stat : 15519 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 16678 0 0 0 20 58 0 0 16 0 32 0 744471295 2644955136 328339 268435456000 4194304 4580107 140736771814352 18446744073709551615 258650653289 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15494/tid=15520] ppid=15492 vsize=2582964 CPUtime=0.55 cores=0-31
/proc/15494/task/15520/stat : 15520 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 10576 0 0 0 18 37 0 0 16 0 32 0 744471295 2644955136 328372 268435456000 4194304 4580107 140736771814352 18446744073709551615 258650653381 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=15494/tid=15521] ppid=15492 vsize=2582964 CPUtime=0.17 cores=0-31
/proc/15494/task/15521/stat : 15521 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 1179 0 0 0 11 6 0 0 16 0 32 0 744471295 2644955136 328417 268435456000 4194304 4580107 140736771814352 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15494/tid=15522] ppid=15492 vsize=2582964 CPUtime=1 cores=0-31
/proc/15494/task/15522/stat : 15522 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 20111 0 0 0 30 70 0 0 18 0 32 0 744471295 2644955136 328466 268435456000 4194304 4580107 140736771814352 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15494/tid=15523] ppid=15492 vsize=2582964 CPUtime=0.99 cores=0-31
/proc/15494/task/15523/stat : 15523 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 20346 0 0 0 32 67 0 0 18 0 32 0 744471295 2644955136 328510 268435456000 4194304 4580107 140736771814352 18446744073709551615 258651060958 0 0 4096 2 18446604503719321056 0 0 -1 14 0 0 0
[pid=15494/tid=15524] ppid=15492 vsize=2582964 CPUtime=0.38 cores=0-31
/proc/15494/task/15524/stat : 15524 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 4851 0 0 0 19 19 0 0 16 0 32 0 744471295 2644955136 328534 268435456000 4194304 4580107 140736771814352 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15494/tid=15525] ppid=15492 vsize=2582964 CPUtime=0.93 cores=0-31
/proc/15494/task/15525/stat : 15525 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 19618 0 0 0 30 63 0 0 17 0 32 0 744471295 2644955136 328570 268435456000 4194304 4580107 140736771814352 18446744073709551615 258650653361 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15494/tid=15526] ppid=15492 vsize=2582964 CPUtime=0.56 cores=0-31
/proc/15494/task/15526/stat : 15526 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 8713 0 0 0 22 34 0 0 15 0 32 0 744471295 2644955136 328610 268435456000 4194304 4580107 140736771814352 18446744073709551615 258651060958 0 0 4096 2 18446604481685798368 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 22.06
Current children cumulated vsize (KiB) 2582964
[startup+3.10316 s]
/proc/loadavg: 4.00 16.14 24.67 3/445 15526
/proc/meminfo: memFree=252903644/264257624 swapFree=67111528/67111528
[pid=15494] ppid=15492 vsize=4757112 CPUtime=46.29 cores=0-31
/proc/15494/stat : 15494 (strangenight2-m) S 15492 15494 15468 0 -1 4202496 884633 0 0 0 1988 2641 0 0 16 0 32 0 744471274 4871282688 739707 268435456000 4194304 4580107 140736771814352 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/15494/statm: 1189278 739760 336 95 0 1184260 0
[pid=15494/tid=15496] ppid=15492 vsize=4757112 CPUtime=1.42 cores=0-31
/proc/15494/task/15496/stat : 15496 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 23209 0 0 0 61 81 0 0 16 0 32 0 744471295 4871282688 739796 268435456000 4194304 4580107 140736771814352 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15494/tid=15497] ppid=15492 vsize=4757112 CPUtime=1.8 cores=0-31
/proc/15494/task/15497/stat : 15497 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 36315 0 0 0 74 106 0 0 16 0 32 0 744471295 4871282688 739828 268435456000 4194304 4580107 140736771814352 18446744073709551615 258651060958 0 0 4096 2 18446604504639520224 0 0 -1 24 0 0 0
[pid=15494/tid=15498] ppid=15492 vsize=4757112 CPUtime=1.6 cores=0-31
/proc/15494/task/15498/stat : 15498 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 33825 0 0 0 60 100 0 0 16 0 32 0 744471295 4871282688 739865 268435456000 4194304 4580107 140736771814352 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15494/tid=15499] ppid=15492 vsize=4757112 CPUtime=1.61 cores=0-31
/proc/15494/task/15499/stat : 15499 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 32479 0 0 0 67 94 0 0 16 0 32 0 744471295 4871282688 739896 268435456000 4194304 4580107 140736771814352 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15494/tid=15500] ppid=15492 vsize=4757112 CPUtime=1.27 cores=0-31
/proc/15494/task/15500/stat : 15500 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 22626 0 0 0 62 65 0 0 16 0 32 0 744471295 4871282688 739927 268435456000 4194304 4580107 140736771814352 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15494/tid=15501] ppid=15492 vsize=4757112 CPUtime=1.22 cores=0-31
/proc/15494/task/15501/stat : 15501 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 24777 0 0 0 66 56 0 0 16 0 32 0 744471295 4871282688 739965 268435456000 4194304 4580107 140736771814352 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15494/tid=15502] ppid=15492 vsize=4757112 CPUtime=1.56 cores=0-31
/proc/15494/task/15502/stat : 15502 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 32112 0 0 0 66 90 0 0 16 0 32 0 744471295 4871282688 739997 268435456000 4194304 4580107 140736771814352 18446744073709551615 258651060958 0 0 4096 2 18446744071566923944 0 0 -1 27 0 0 0
[pid=15494/tid=15503] ppid=15492 vsize=4757112 CPUtime=0.96 cores=0-31
/proc/15494/task/15503/stat : 15503 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 23933 0 0 0 55 41 0 0 16 0 32 0 744471295 4871282688 740024 268435456000 4194304 4580107 140736771814352 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=15494/tid=15504] ppid=15492 vsize=4757112 CPUtime=1.03 cores=0-31
/proc/15494/task/15504/stat : 15504 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 19037 0 0 0 59 44 0 0 16 0 32 0 744471295 4871282688 740064 268435456000 4194304 4580107 140736771814352 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15494/tid=15505] ppid=15492 vsize=4757112 CPUtime=1.67 cores=0-31
/proc/15494/task/15505/stat : 15505 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 30071 0 0 0 67 100 0 0 16 0 32 0 744471295 4871282688 740068 268435456000 4194304 4580107 140736771814352 18446744073709551615 258650653289 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15494/tid=15506] ppid=15492 vsize=4757112 CPUtime=1.7 cores=0-31
/proc/15494/task/15506/stat : 15506 (strangenight2-m) D 15492 15494 15468 0 -1 4202560 31878 0 0 0 62 108 0 0 16 0 32 0 744471295 4871282688 740068 268435456000 4194304 4580107 140736771814352 18446744073709551615 258650653309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15494/tid=15507] ppid=15492 vsize=4757112 CPUtime=1.52 cores=0-31
/proc/15494/task/15507/stat : 15507 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 26378 0 0 0 52 100 0 0 16 0 32 0 744471295 4871282688 740083 268435456000 4194304 4580107 140736771814352 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15494/tid=15508] ppid=15492 vsize=4757112 CPUtime=1.44 cores=0-31
/proc/15494/task/15508/stat : 15508 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 22279 0 0 0 62 82 0 0 16 0 32 0 744471295 4871282688 740110 268435456000 4194304 4580107 140736771814352 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15494/tid=15509] ppid=15492 vsize=4757112 CPUtime=0.81 cores=0-31
/proc/15494/task/15509/stat : 15509 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 17478 0 0 0 51 30 0 0 16 0 32 0 744471295 4871282688 740147 268435456000 4194304 4580107 140736771814352 18446744073709551615 258651060958 0 0 4096 2 18446604503464213984 0 0 -1 11 0 0 0
[pid=15494/tid=15510] ppid=15492 vsize=4757112 CPUtime=1.46 cores=0-31
/proc/15494/task/15510/stat : 15510 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 27690 0 0 0 62 84 0 0 16 0 32 0 744471295 4871282688 740172 268435456000 4194304 4580107 140736771814352 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=15494/tid=15511] ppid=15492 vsize=4757112 CPUtime=1.08 cores=0-31
/proc/15494/task/15511/stat : 15511 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 20240 0 0 0 56 52 0 0 16 0 32 0 744471295 4871282688 740174 268435456000 4194304 4580107 140736771814352 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15494/tid=15512] ppid=15492 vsize=4757112 CPUtime=1.49 cores=0-31
/proc/15494/task/15512/stat : 15512 (strangenight2-m) D 15492 15494 15468 0 -1 4202560 28035 0 0 0 56 93 0 0 16 0 32 0 744471295 4871282688 740174 268435456000 4194304 4580107 140736771814352 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15494/tid=15513] ppid=15492 vsize=4757112 CPUtime=1.68 cores=0-31
/proc/15494/task/15513/stat : 15513 (strangenight2-m) D 15492 15494 15468 0 -1 4202560 33868 0 0 0 75 93 0 0 16 0 32 0 744471295 4871282688 740175 268435456000 4194304 4580107 140736771814352 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=15494/tid=15514] ppid=15492 vsize=4757112 CPUtime=1.43 cores=0-31
/proc/15494/task/15514/stat : 15514 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 28324 0 0 0 60 83 0 0 16 0 32 0 744471295 4871282688 740190 268435456000 4194304 4580107 140736771814352 18446744073709551615 4345288 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15494/tid=15515] ppid=15492 vsize=4757112 CPUtime=1.46 cores=0-31
/proc/15494/task/15515/stat : 15515 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 24921 0 0 0 62 84 0 0 16 0 32 0 744471295 4871282688 740209 268435456000 4194304 4580107 140736771814352 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15494/tid=15516] ppid=15492 vsize=4757112 CPUtime=1.64 cores=0-31
/proc/15494/task/15516/stat : 15516 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 28765 0 0 0 70 94 0 0 16 0 32 0 744471295 4871282688 740255 268435456000 4194304 4580107 140736771814352 18446744073709551615 258651060958 0 0 4096 2 18446604481160527328 0 0 -1 19 0 0 0
[pid=15494/tid=15517] ppid=15492 vsize=4757112 CPUtime=1.51 cores=0-31
/proc/15494/task/15517/stat : 15517 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 28507 0 0 0 53 98 0 0 16 0 32 0 744471295 4871282688 740283 268435456000 4194304 4580107 140736771814352 18446744073709551615 4231584 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15494/tid=15518] ppid=15492 vsize=4757112 CPUtime=1.37 cores=0-31
/proc/15494/task/15518/stat : 15518 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 24068 0 0 0 48 89 0 0 16 0 32 0 744471295 4871282688 740323 268435456000 4194304 4580107 140736771814352 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15494/tid=15519] ppid=15492 vsize=4757112 CPUtime=1.46 cores=0-31
/proc/15494/task/15519/stat : 15519 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 29599 0 0 0 54 92 0 0 16 0 32 0 744471295 4871282688 740360 268435456000 4194304 4580107 140736771814352 18446744073709551615 258651060958 0 0 4096 2 18446604478206533088 0 0 -1 5 0 0 0
[pid=15494/tid=15520] ppid=15492 vsize=4757112 CPUtime=1.36 cores=0-31
/proc/15494/task/15520/stat : 15520 (strangenight2-m) D 15492 15494 15468 0 -1 4202560 28164 0 0 0 54 82 0 0 16 0 32 0 744471295 4871282688 740362 268435456000 4194304 4580107 140736771814352 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15494/tid=15521] ppid=15492 vsize=4757112 CPUtime=0.92 cores=0-31
/proc/15494/task/15521/stat : 15521 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 20397 0 0 0 49 43 0 0 16 0 32 0 744471295 4871282688 740362 268435456000 4194304 4580107 140736771814352 18446744073709551615 258651060958 0 0 4096 2 18446604574488296928 0 0 -1 14 0 0 0
[pid=15494/tid=15522] ppid=15492 vsize=4757112 CPUtime=1.92 cores=0-31
/proc/15494/task/15522/stat : 15522 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 38372 0 0 0 83 109 0 0 16 0 32 0 744471295 4871282688 740379 268435456000 4194304 4580107 140736771814352 18446744073709551615 258651060958 0 0 4096 2 18446604489203064288 0 0 -1 12 0 0 0
[pid=15494/tid=15523] ppid=15492 vsize=4757112 CPUtime=1.66 cores=0-31
/proc/15494/task/15523/stat : 15523 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 31412 0 0 0 68 98 0 0 16 0 32 0 744471295 4871282688 740416 268435456000 4194304 4580107 140736771814352 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15494/tid=15524] ppid=15492 vsize=4757112 CPUtime=1.23 cores=0-31
/proc/15494/task/15524/stat : 15524 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 22657 0 0 0 62 61 0 0 16 0 32 0 744471295 4871282688 740456 268435456000 4194304 4580107 140736771814352 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15494/tid=15525] ppid=15492 vsize=4757112 CPUtime=1.6 cores=0-31
################
# More data... #
################
/proc/meminfo: memFree=237768036/264257624 swapFree=67111528/67111528
[pid=15494] ppid=15492 vsize=19839204 CPUtime=9164.61 cores=0-31
/proc/15494/stat : 15494 (strangenight2-m) S 15492 15494 15468 0 -1 4202496 7339666 0 0 0 900330 16131 0 0 25 0 32 0 744471274 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/15494/statm: 4959801 4326596 379 95 0 4954783 0
[pid=15494/tid=15496] ppid=15492 vsize=19839204 CPUtime=273.98 cores=0-31
/proc/15494/task/15496/stat : 15496 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 229114 0 0 0 26867 531 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604481786928608 0 0 -1 27 0 0 0
[pid=15494/tid=15497] ppid=15492 vsize=19839204 CPUtime=276.91 cores=0-31
/proc/15494/task/15497/stat : 15497 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 348667 0 0 0 27132 559 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604491167686112 0 0 -1 23 0 0 0
[pid=15494/tid=15498] ppid=15492 vsize=19839204 CPUtime=277.2 cores=0-31
/proc/15494/task/15498/stat : 15498 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 228323 0 0 0 27194 526 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604497545666016 0 0 -1 21 0 0 0
[pid=15494/tid=15499] ppid=15492 vsize=19839204 CPUtime=300.05 cores=0-31
/proc/15494/task/15499/stat : 15499 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 236710 0 0 0 29467 538 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604481065123296 0 0 -1 28 0 0 0
[pid=15494/tid=15500] ppid=15492 vsize=19839204 CPUtime=268.05 cores=0-31
/proc/15494/task/15500/stat : 15500 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 209709 0 0 0 26297 508 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604476093554144 0 0 -1 1 0 0 0
[pid=15494/tid=15501] ppid=15492 vsize=19839204 CPUtime=341.56 cores=0-31
/proc/15494/task/15501/stat : 15501 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 232012 0 0 0 33657 499 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230562859 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15494/tid=15502] ppid=15492 vsize=19839204 CPUtime=261.54 cores=0-31
/proc/15494/task/15502/stat : 15502 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 168153 0 0 0 25634 520 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604481177886176 0 0 -1 31 0 0 0
[pid=15494/tid=15503] ppid=15492 vsize=19839204 CPUtime=271.73 cores=0-31
/proc/15494/task/15503/stat : 15503 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 214273 0 0 0 26699 474 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604484551269856 0 0 -1 16 0 0 0
[pid=15494/tid=15504] ppid=15492 vsize=19839204 CPUtime=268.82 cores=0-31
/proc/15494/task/15504/stat : 15504 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 213393 0 0 0 26379 503 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604481517149664 0 0 -1 30 0 0 0
[pid=15494/tid=15505] ppid=15492 vsize=19839204 CPUtime=266.79 cores=0-31
/proc/15494/task/15505/stat : 15505 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 363678 0 0 0 26159 520 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446744071566928384 0 0 -1 25 0 0 0
[pid=15494/tid=15506] ppid=15492 vsize=19839204 CPUtime=280.24 cores=0-31
/proc/15494/task/15506/stat : 15506 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 236417 0 0 0 27459 565 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604477254729184 0 0 -1 12 0 0 0
[pid=15494/tid=15507] ppid=15492 vsize=19839204 CPUtime=277.42 cores=0-31
/proc/15494/task/15507/stat : 15507 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 244413 0 0 0 27202 540 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604480060808672 0 0 -1 19 0 0 0
[pid=15494/tid=15508] ppid=15492 vsize=19839204 CPUtime=278.65 cores=0-31
/proc/15494/task/15508/stat : 15508 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 209705 0 0 0 27374 491 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604481685798368 0 0 -1 9 0 0 0
[pid=15494/tid=15509] ppid=15492 vsize=19839204 CPUtime=283.38 cores=0-31
/proc/15494/task/15509/stat : 15509 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 230279 0 0 0 27871 467 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604505006718432 0 0 -1 18 0 0 0
[pid=15494/tid=15510] ppid=15492 vsize=19839204 CPUtime=279.64 cores=0-31
/proc/15494/task/15510/stat : 15510 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 207027 0 0 0 27449 515 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604489203064288 0 0 -1 19 0 0 0
[pid=15494/tid=15511] ppid=15492 vsize=19839204 CPUtime=280.33 cores=0-31
/proc/15494/task/15511/stat : 15511 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 234764 0 0 0 27530 503 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604478206533088 0 0 -1 26 0 0 0
[pid=15494/tid=15512] ppid=15492 vsize=19839204 CPUtime=284.05 cores=0-31
/proc/15494/task/15512/stat : 15512 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 202479 0 0 0 27903 502 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604484500930016 0 0 -1 15 0 0 0
[pid=15494/tid=15513] ppid=15492 vsize=19839204 CPUtime=286.25 cores=0-31
/proc/15494/task/15513/stat : 15513 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 303413 0 0 0 28137 488 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604484535115232 0 0 -1 30 0 0 0
[pid=15494/tid=15514] ppid=15492 vsize=19839204 CPUtime=284.42 cores=0-31
/proc/15494/task/15514/stat : 15514 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 214262 0 0 0 27984 458 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604475482930656 0 0 -1 17 0 0 0
[pid=15494/tid=15515] ppid=15492 vsize=19839204 CPUtime=289.28 cores=0-31
/proc/15494/task/15515/stat : 15515 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 193736 0 0 0 28409 519 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604503464213984 0 0 -1 29 0 0 0
[pid=15494/tid=15516] ppid=15492 vsize=19839204 CPUtime=284.73 cores=0-31
/proc/15494/task/15516/stat : 15516 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 244706 0 0 0 27966 507 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604485973335520 0 0 -1 28 0 0 0
[pid=15494/tid=15517] ppid=15492 vsize=19839204 CPUtime=313.84 cores=0-31
/proc/15494/task/15517/stat : 15517 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 220683 0 0 0 30858 526 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604496331955680 0 0 -1 22 0 0 0
[pid=15494/tid=15518] ppid=15492 vsize=19839204 CPUtime=320.72 cores=0-31
/proc/15494/task/15518/stat : 15518 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 221261 0 0 0 31570 502 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604478463499744 0 0 -1 14 0 0 0
[pid=15494/tid=15519] ppid=15492 vsize=19839204 CPUtime=306.81 cores=0-31
/proc/15494/task/15519/stat : 15519 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 219831 0 0 0 30151 530 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604500483890656 0 0 -1 11 0 0 0
[pid=15494/tid=15520] ppid=15492 vsize=19839204 CPUtime=328.84 cores=0-31
/proc/15494/task/15520/stat : 15520 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 219118 0 0 0 32385 499 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604503719321056 0 0 -1 29 0 0 0
[pid=15494/tid=15521] ppid=15492 vsize=19839204 CPUtime=349.43 cores=0-31
/proc/15494/task/15521/stat : 15521 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 197020 0 0 0 34455 488 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 4442134 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15494/tid=15522] ppid=15492 vsize=19839204 CPUtime=273.05 cores=0-31
/proc/15494/task/15522/stat : 15522 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 193916 0 0 0 26871 434 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604486529285600 0 0 -1 14 0 0 0
[pid=15494/tid=15523] ppid=15492 vsize=19839204 CPUtime=274.75 cores=0-31
/proc/15494/task/15523/stat : 15523 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 219467 0 0 0 26949 526 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604504639520224 0 0 -1 2 0 0 0
[pid=15494/tid=15524] ppid=15492 vsize=19839204 CPUtime=267.34 cores=0-31
/proc/15494/task/15524/stat : 15524 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 240216 0 0 0 26238 496 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604501227339232 0 0 -1 6 0 0 0
[pid=15494/tid=15525] ppid=15492 vsize=19839204 CPUtime=267.75 cores=0-31
/proc/15494/task/15525/stat : 15525 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 226540 0 0 0 26260 515 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604574488296928 0 0 -1 2 0 0 0
[pid=15494/tid=15526] ppid=15492 vsize=19839204 CPUtime=274.65 cores=0-31
/proc/15494/task/15526/stat : 15526 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 159491 0 0 0 27121 344 0 0 25 0 32 0 744471295 20315344896 4326596 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604481219608032 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 9164.61
Current children cumulated vsize (KiB) 19839204
[startup+375.902 s]
/proc/loadavg: 11.38 20.26 24.35 3/445 15537
/proc/meminfo: memFree=237768156/264257624 swapFree=67111528/67111528
[pid=15494] ppid=15492 vsize=19839204 CPUtime=9167.81 cores=0-31
/proc/15494/stat : 15494 (strangenight2-m) S 15492 15494 15468 0 -1 4202496 7340123 0 0 0 900650 16131 0 0 25 0 32 0 744471274 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/15494/statm: 4959801 4327053 379 95 0 4954783 0
[pid=15494/tid=15496] ppid=15492 vsize=19839204 CPUtime=273.98 cores=0-31
/proc/15494/task/15496/stat : 15496 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 229114 0 0 0 26867 531 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604481786928608 0 0 -1 27 0 0 0
[pid=15494/tid=15497] ppid=15492 vsize=19839204 CPUtime=276.91 cores=0-31
/proc/15494/task/15497/stat : 15497 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 348667 0 0 0 27132 559 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604491167686112 0 0 -1 23 0 0 0
[pid=15494/tid=15498] ppid=15492 vsize=19839204 CPUtime=277.2 cores=0-31
/proc/15494/task/15498/stat : 15498 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 228323 0 0 0 27194 526 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604497545666016 0 0 -1 21 0 0 0
[pid=15494/tid=15499] ppid=15492 vsize=19839204 CPUtime=300.05 cores=0-31
/proc/15494/task/15499/stat : 15499 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 236710 0 0 0 29467 538 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604481065123296 0 0 -1 28 0 0 0
[pid=15494/tid=15500] ppid=15492 vsize=19839204 CPUtime=268.05 cores=0-31
/proc/15494/task/15500/stat : 15500 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 209709 0 0 0 26297 508 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604476093554144 0 0 -1 1 0 0 0
[pid=15494/tid=15501] ppid=15492 vsize=19839204 CPUtime=343.16 cores=0-31
/proc/15494/task/15501/stat : 15501 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 232012 0 0 0 33817 499 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230562859 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15494/tid=15502] ppid=15492 vsize=19839204 CPUtime=261.54 cores=0-31
/proc/15494/task/15502/stat : 15502 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 168153 0 0 0 25634 520 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604481177886176 0 0 -1 31 0 0 0
[pid=15494/tid=15503] ppid=15492 vsize=19839204 CPUtime=271.73 cores=0-31
/proc/15494/task/15503/stat : 15503 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 214273 0 0 0 26699 474 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604484551269856 0 0 -1 16 0 0 0
[pid=15494/tid=15504] ppid=15492 vsize=19839204 CPUtime=268.82 cores=0-31
/proc/15494/task/15504/stat : 15504 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 213393 0 0 0 26379 503 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604481517149664 0 0 -1 30 0 0 0
[pid=15494/tid=15505] ppid=15492 vsize=19839204 CPUtime=266.79 cores=0-31
/proc/15494/task/15505/stat : 15505 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 363678 0 0 0 26159 520 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446744071566928384 0 0 -1 25 0 0 0
[pid=15494/tid=15506] ppid=15492 vsize=19839204 CPUtime=280.24 cores=0-31
/proc/15494/task/15506/stat : 15506 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 236417 0 0 0 27459 565 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604477254729184 0 0 -1 12 0 0 0
[pid=15494/tid=15507] ppid=15492 vsize=19839204 CPUtime=277.42 cores=0-31
/proc/15494/task/15507/stat : 15507 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 244413 0 0 0 27202 540 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604480060808672 0 0 -1 19 0 0 0
[pid=15494/tid=15508] ppid=15492 vsize=19839204 CPUtime=278.65 cores=0-31
/proc/15494/task/15508/stat : 15508 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 209705 0 0 0 27374 491 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604481685798368 0 0 -1 9 0 0 0
[pid=15494/tid=15509] ppid=15492 vsize=19839204 CPUtime=283.38 cores=0-31
/proc/15494/task/15509/stat : 15509 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 230279 0 0 0 27871 467 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604505006718432 0 0 -1 18 0 0 0
[pid=15494/tid=15510] ppid=15492 vsize=19839204 CPUtime=279.64 cores=0-31
/proc/15494/task/15510/stat : 15510 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 207027 0 0 0 27449 515 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604489203064288 0 0 -1 19 0 0 0
[pid=15494/tid=15511] ppid=15492 vsize=19839204 CPUtime=280.33 cores=0-31
/proc/15494/task/15511/stat : 15511 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 234764 0 0 0 27530 503 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604478206533088 0 0 -1 26 0 0 0
[pid=15494/tid=15512] ppid=15492 vsize=19839204 CPUtime=284.05 cores=0-31
/proc/15494/task/15512/stat : 15512 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 202479 0 0 0 27903 502 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604484500930016 0 0 -1 15 0 0 0
[pid=15494/tid=15513] ppid=15492 vsize=19839204 CPUtime=286.25 cores=0-31
/proc/15494/task/15513/stat : 15513 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 303413 0 0 0 28137 488 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604484535115232 0 0 -1 30 0 0 0
[pid=15494/tid=15514] ppid=15492 vsize=19839204 CPUtime=284.42 cores=0-31
/proc/15494/task/15514/stat : 15514 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 214262 0 0 0 27984 458 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604475482930656 0 0 -1 17 0 0 0
[pid=15494/tid=15515] ppid=15492 vsize=19839204 CPUtime=289.28 cores=0-31
/proc/15494/task/15515/stat : 15515 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 193736 0 0 0 28409 519 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604503464213984 0 0 -1 29 0 0 0
[pid=15494/tid=15516] ppid=15492 vsize=19839204 CPUtime=284.73 cores=0-31
/proc/15494/task/15516/stat : 15516 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 244706 0 0 0 27966 507 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604485973335520 0 0 -1 28 0 0 0
[pid=15494/tid=15517] ppid=15492 vsize=19839204 CPUtime=313.84 cores=0-31
/proc/15494/task/15517/stat : 15517 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 220683 0 0 0 30858 526 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604496331955680 0 0 -1 22 0 0 0
[pid=15494/tid=15518] ppid=15492 vsize=19839204 CPUtime=320.72 cores=0-31
/proc/15494/task/15518/stat : 15518 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 221261 0 0 0 31570 502 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604478463499744 0 0 -1 14 0 0 0
[pid=15494/tid=15519] ppid=15492 vsize=19839204 CPUtime=306.81 cores=0-31
/proc/15494/task/15519/stat : 15519 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 219831 0 0 0 30151 530 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604500483890656 0 0 -1 11 0 0 0
[pid=15494/tid=15520] ppid=15492 vsize=19839204 CPUtime=328.84 cores=0-31
/proc/15494/task/15520/stat : 15520 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 219118 0 0 0 32385 499 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604503719321056 0 0 -1 29 0 0 0
[pid=15494/tid=15521] ppid=15492 vsize=19839204 CPUtime=351.03 cores=0-31
/proc/15494/task/15521/stat : 15521 (strangenight2-m) R 15492 15494 15468 0 -1 4202560 197477 0 0 0 34615 488 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15494/tid=15522] ppid=15492 vsize=19839204 CPUtime=273.05 cores=0-31
/proc/15494/task/15522/stat : 15522 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 193916 0 0 0 26871 434 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604486529285600 0 0 -1 14 0 0 0
[pid=15494/tid=15523] ppid=15492 vsize=19839204 CPUtime=274.75 cores=0-31
/proc/15494/task/15523/stat : 15523 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 219467 0 0 0 26949 526 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604504639520224 0 0 -1 2 0 0 0
[pid=15494/tid=15524] ppid=15492 vsize=19839204 CPUtime=267.34 cores=0-31
/proc/15494/task/15524/stat : 15524 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 240216 0 0 0 26238 496 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604501227339232 0 0 -1 6 0 0 0
[pid=15494/tid=15525] ppid=15492 vsize=19839204 CPUtime=267.75 cores=0-31
/proc/15494/task/15525/stat : 15525 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 226540 0 0 0 26260 515 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604574488296928 0 0 -1 2 0 0 0
[pid=15494/tid=15526] ppid=15492 vsize=19839204 CPUtime=274.65 cores=0-31
/proc/15494/task/15526/stat : 15526 (strangenight2-m) S 15492 15494 15468 0 -1 4202560 159491 0 0 0 27121 344 0 0 25 0 32 0 744471295 20315344896 4327053 268435456000 4194304 4580107 140736771814352 18446744073709551615 47097230587444 0 0 4096 2 18446604481219608032 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 9167.81
Current children cumulated vsize (KiB) 19839204
[startup+377.5 s]
/proc/loadavg: 10.71 19.97 24.24 2/415 15537
/proc/meminfo: memFree=242241108/264257624 swapFree=67111528/67111528
[pid=15494] ppid=15492 vsize=0 CPUtime=9170.12 cores=0-31
/proc/15494/stat : 15494 (strangenight2-m) Z 15492 15494 15468 0 -1 4203548 7340127 0 0 0 900790 16222 0 0 18 0 2 0 744471274 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/15494/statm: 0 0 0 0 0 0 0
[pid=15494/tid=15526] ppid=15492 vsize=0 CPUtime=275.55 cores=0-31
/proc/15494/task/15526/stat : 15526 (strangenight2-m) R 15492 15494 15468 0 -1 4203588 159491 0 0 0 27121 434 0 0 19 0 2 0 744471295 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 9170.12
Current children cumulated vsize (KiB) 0
[startup+377.9 s]
/proc/loadavg: 10.71 19.97 24.24 2/415 15537
/proc/meminfo: memFree=242241108/264257624 swapFree=67111528/67111528
[pid=15494] ppid=15492 vsize=0 CPUtime=9170.52 cores=0-31
/proc/15494/stat : 15494 (strangenight2-m) Z 15492 15494 15468 0 -1 4203548 7340127 0 0 0 900790 16262 0 0 18 0 2 0 744471274 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/15494/statm: 0 0 0 0 0 0 0
[pid=15494/tid=15526] ppid=15492 vsize=0 CPUtime=275.95 cores=0-31
/proc/15494/task/15526/stat : 15526 (strangenight2-m) R 15492 15494 15468 0 -1 4203588 159491 0 0 0 27121 474 0 0 19 0 2 0 744471295 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 9170.52
Current children cumulated vsize (KiB) 0
[startup+378.301 s]
/proc/loadavg: 10.71 19.97 24.24 2/415 15537
/proc/meminfo: memFree=254655492/264257624 swapFree=67111528/67111528
[pid=15494] ppid=15492 vsize=0 CPUtime=9170.96 cores=0-31
/proc/15494/stat : 15494 (strangenight2-m) Z 15492 15494 15468 0 -1 4203548 7340127 0 0 0 900790 16306 0 0 18 0 1 0 744471274 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 20 0 0 0
/proc/15494/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 9170.96
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 378.334
CPU time (s): 9170.97
CPU user time (s): 9007.91
CPU system time (s): 163.06
CPU usage (%): 2424.04
Max. virtual memory (cumulated for all children) (KiB): 20515772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9007.91
system time used= 163.06
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7340127
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= 5356955
involuntary context switches= 65673
runsolver used 2.36264 second user time and 8.69768 second system time
The end
Launcher Data
Begin job on node200 at 2011-05-25 15:24:09
IDJOB=3400676
IDBENCH=70961
IDSOLVER=1886
FILE ID=node200/3400676-1306329846
RUNJOBID= node200-1306329846-15482
PBS_JOBID= 13411790
Free space on /tmp= 62000 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_L150_coli.sat.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400676-1306329846/watcher-3400676-1306329846 -o /tmp/evaluation-result-3400676-1306329846/solver-3400676-1306329846 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400676-1306329846.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= ba6884aaa746378e56c38fd8b3d0255e
RANDOM SEED=849764405
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.98
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.23
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255095332 kB
Buffers: 467424 kB
Cached: 8282160 kB
SwapCached: 0 kB
Active: 7822724 kB
Inactive: 995484 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255095332 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 54740 kB
Writeback: 0 kB
AnonPages: 69060 kB
Mapped: 14480 kB
Slab: 258960 kB
PageTables: 4432 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 191028 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= 61992 MiB
End job on node200 at 2011-05-25 15:30:27