Trace number 3400638
Some explanations
A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process.
The trace of the execution of a solver is divided into four (or five) parts:
-
SOLVER DATA
This is the output of the solver (stdout and stderr).
Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.
When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.
As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
-
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
-
CONVERSION SCRIPT DATA (Optionnal)
When a conversion script is used, this section shows the messages that were output by the conversion script.
-
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver.
The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
-
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.
Solver answer on this benchmark
General information on the benchmark
Name | industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf |
MD5SUM | 0fbc00fde383cec371bb97d621c5e7e5 |
Bench Category | APPLICATION (applications instances) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 33409.7 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 306095 |
Number of clauses | 6069108 |
Sum of the clauses size | 17675754 |
Maximum clause length | 163 |
Minimum clause length | 1 |
Number of clauses of size 1 | 1 |
Number of clauses of size 2 | 5745111 |
Number of clauses of size 3 | 66910 |
Number of clauses of size 4 | 4878 |
Number of clauses of size 5 | 18476 |
Number of clauses of size over 5 | 233732 |
Solver Data
0.00/0.00 c Outputting solution to console
0.00/0.05 c Using 32 threads
0.00/0.08 c This is CryptoMiniSat 3.0.0
0.00/0.08 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.08 c Reading file 'HOME/instance-3400638-1306259785.cnf'
0.00/0.11 c -- header says num vars: 306095
0.00/0.11 c -- header says num clauses: 6069108
365.07/25.77 c -- clauses added: 0 learnts, 6069108 normals, 0 xors
365.07/25.77 c -- vars added 306095
365.07/25.77 c Parsing time: 5.49 s
365.07/25.77 c N st 0 0 306095 323996 5745111 0 17675753 0 no data no data
404.15/27.05 c asymm cl-useful: 68/76/323988 lits-rem:1368 time: 1.08
810.31/39.73 c Flit: 78 Blit: 77882 bXBeca: 0 bXProp: 23 Bins: 0 BRemL: 0 BRemN: 0 P: 200.4M T: 12.65
838.46/40.63 c Cleaning up after failed var search: 0.90 s
861.24/41.47 c Replacing 23 vars Replaced 212813 lits Time: 0.81 s
922.11/44.88 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
935.19/45.51 c bin-w-bin subsume rem 1310 bins time: 0.62 s
1157.16/54.25 c subs with bin: 9993 lits-rem: 97808 v-fix: 0 time: 8.24 s
1313.36/60.00 c Subs w/ non-existent bins: 6 l-rem: 1321 v-fix: 350 done: 33249 time: 4.52 s
1324.91/60.47 c Removed useless bin: 856 fixed: 0 props: 20.03M time: 0.41 s
2003.87/82.56 c lits-rem: 14113 cl-subs: 25135 v-elim: 73348 v-fix: 0 time: 20.46 s
2009.47/82.75 c Finding binary XORs T: 0.19 s found: 110
2022.07/83.17 c Replacing 110 vars Replaced 12621 lits Time: 0.42 s
2060.07/84.36 c Finding non-binary XORs: 1.01 s (found: 0, avg size: nan)
2060.07/84.36 c calculated reachability. Time: 0.01
2066.44/84.53 c Calc default polars - time: 0.17 s pos: 22374 undec: 156296 neg: 127425
2066.44/84.53 c =========================================================================================
2066.44/84.53 c types(t): F = full restart, N = normal restart
2066.44/84.53 c types(t): S = simplification begin/end, E = solution found
2066.44/84.53 c restart types(rt): st = static, dy = dynamic
2066.44/84.53 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
2066.44/84.53 c B st 0 0 151679 328941 2934430 0 10502748 0 no data no data
2563.42/100.18 c N dy 20 4342 151678 328941 2934566 4094 10502720 154118 20.02 21.09
2876.07/109.94 c N dy 39 9222 149283 323270 2912371 8726 10390304 333526 18.98 20.07
3106.21/117.14 c N dy 67 13530 149142 323270 2916487 12828 10390304 517535 19.38 20.98
3240.46/121.35 c N dy 87 17778 149142 323270 2916557 16840 10390251 669376 19.16 20.24
3448.17/127.83 c N dy 108 21802 149140 323270 2917783 11227 10390251 344058 19.36 32.22
3614.38/133.01 c F st 120 25001 149140 323270 2917821 14310 10390249 499856 19.00 13.52
3716.64/136.23 c N st 123 26189 149137 322716 2918917 15433 10383802 576317 19.00 no data
4020.02/145.76 c S st 126 30000 149137 322716 2918991 19143 10383802 804920 19.00 no data
4083.86/147.73 c S st 126 30500 149134 322716 2919084 19542 10383802 810140 19.00 no data
4090.25/147.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.25
5103.35/179.63 c Flit: 213 Blit: 2613 bXBeca: 0 bXProp: 42 Bins:1492493 BRemL: 9273 BRemN: 715 P: 200.2M T: 31.61
5112.95/179.92 c Cleaning up after failed var search: 0.29 s
5132.76/180.55 c Replacing 42 vars Replaced 133844 lits Time: 0.61 s
5157.70/181.35 c blocked clauses removed: 502 vars: 1814 tried: 85019 T: 0.20 s
5173.67/181.88 c bin-w-bin subsume rem 13495 bins time: 0.53 s
5407.01/189.14 c subs with bin: 31812 lits-rem: 339306 v-fix: 0 time: 7.26 s
5547.65/193.60 c Subs w/ non-existent bins: 336 l-rem: 1872 v-fix: 3 done: 39991 time: 4.34 s
5566.83/194.15 c Removed useless bin: 5123 fixed: 0 props: 20.03M time: 0.40 s
5918.43/205.18 c lits-rem: 23887 cl-subs: 5078 v-elim: 14949 v-fix: 0 time: 11.01 s
5973.38/206.92 c subs with bin: 41 lits-rem: 9350 v-fix: 0 time: 1.50 s
6011.73/208.04 c lits-rem: 10116 cl-subs: 1236 v-elim: 0 v-fix: 0 time: 0.77 s
6039.88/209.02 c asymm cl-useful: 91/764/255769 lits-rem:3037 time: 0.97
6046.89/209.17 c calculated reachability. Time: 0.01
6046.89/209.18 c N dy 126 30500 122615 255769 3577194 17687 8481721 2921071 19.00 no data
6052.65/209.37 c Finding binary XORs T: 0.19 s found: 226
6349.82/222.99 c N dy 153 34566 118028 242387 3275137 21074 8160618 2618680 19.49 20.55
6752.27/311.58 c N dy 185 38578 117847 242387 3303151 24976 8160600 2853179 19.95 39.41
6782.15/317.79 c N dy 217 42691 117844 242387 3303194 14713 8160583 2170772 20.54 22.54
8108.16/1289.92 c Finding binary XORs T: 0.22 s found: 939
8116.02/1293.18 c Replacing 1165 vars Replaced 784001 lits Time: 0.59 s
8116.92/1293.43 c S st 243 45750 109866 228078 5096730 16080 7793899 6037967 21.04 no data
8119.92/1294.47 c S st 243 46251 109863 228078 5096795 16511 7793899 6043256 21.04 no data
8120.88/1294.76 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.29
8140.16/1302.12 c Flit: 390 Blit: 2482 bXBeca: 0 bXProp: 39 Bins: 189658 BRemL: 5892 BRemN: 219 P: 200.1M T: 7.35
8140.82/1302.47 c Cleaning up after failed var search: 0.34 s
8142.16/1303.14 c Replacing 39 vars Replaced 91854 lits Time: 0.67 s
8143.02/1303.56 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
8148.75/1306.44 c bin-w-bin subsume rem 248438 bins time: 2.87 s
8163.96/1311.80 c subs with bin: 9414 lits-rem: 189480 v-fix: 0 time: 5.36 s
8171.46/1314.27 c Subs w/ non-existent bins: 351 l-rem: 3322 v-fix: 16 done: 46909 time: 2.47 s
8172.84/1314.77 c Removed useless bin: 32042 fixed: 17 props: 20.05M time: 0.49 s
8181.64/1319.16 c lits-rem: 3135 cl-subs: 11291 v-elim: 8545 v-fix: 0 time: 4.39 s
8183.03/1319.84 c subs with bin: 574 lits-rem: 10516 v-fix: 0 time: 0.53 s
8184.44/1320.53 c lits-rem: 11593 cl-subs: 914 v-elim: 0 v-fix: 0 time: 0.43 s
8185.24/1320.98 c asymm cl-useful: 25/1395/209982 lits-rem:283 time: 0.46
8185.44/1321.10 c calculated reachability. Time: 0.01
8185.44/1321.10 c N dy 243 46251 98151 209982 2462526 11432 6940568 1055139 21.04 no data
8189.24/1322.95 c Finding binary XORs T: 0.15 s found: 33
8495.85/1417.56 c N dy 277 50355 97518 209982 2528462 15446 6940565 1395782 21.67 22.93
8670.00/1424.15 c N dy 301 54390 97429 209982 2528490 19372 6940557 1567990 21.78 22.98
8959.08/1438.81 c Finding binary XORs T: 0.15 s found: 100
9004.91/1440.55 c N dy 334 58463 97154 208107 2512986 23293 6881239 1761133 22.16 35.04
9263.42/1448.68 c N dy 369 62554 97152 208107 2516627 27298 6881235 1983046 22.61 24.18
9451.94/1454.53 c N dy 388 66562 97152 208107 2516648 16095 6881233 1257087 22.63 26.96
9578.30/1458.53 c S st 409 69378 97149 208107 2517845 18837 6881230 1421043 22.69 no data
9635.33/1460.32 c S st 409 69878 97149 208107 2517939 19242 6881230 1424303 22.69 no data
9641.70/1460.53 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.21
10412.02/1484.66 c Flit: 568 Blit: 175 bXBeca: 0 bXProp: 41 Bins:1117834 BRemL: 6104 BRemN: 279 P: 200.1M T: 24.12
10412.02/1484.67 c Cleaning up after failed var search: 0.00 s
10437.59/1485.41 c Replacing 175 vars Replaced 346962 lits Time: 0.72 s
10450.38/1485.84 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
10491.94/1487.10 c bin-w-bin subsume rem 106774 bins time: 1.26 s
10636.37/1491.65 c subs with bin: 6262 lits-rem: 34427 v-fix: 0 time: 4.55 s
10738.03/1494.88 c Subs w/ non-existent bins: 373 l-rem: 3293 v-fix: 2 done: 55472 time: 3.22 s
10754.00/1495.35 c Removed useless bin: 15853 fixed: 0 props: 20.02M time: 0.47 s
10833.92/1497.87 c lits-rem: 935 cl-subs: 3659 v-elim: 676 v-fix: 0 time: 2.50 s
10872.28/1499.03 c subs with bin: 371 lits-rem: 8122 v-fix: 0 time: 0.98 s
10897.85/1499.89 c lits-rem: 7631 cl-subs: 574 v-elim: 0 v-fix: 0 time: 0.58 s
10926.50/1500.77 c asymm cl-useful: 24/1006/198445 lits-rem:34 time: 0.88
10932.89/1500.90 c calculated reachability. Time: 0.01
10932.89/1500.91 c N dy 409 69878 95548 198445 3168777 17889 6709454 2762368 22.69 no data
10936.10/1501.07 c Finding binary XORs T: 0.17 s found: 43
11351.85/1518.43 c N dy 443 74424 95444 198445 3279849 22319 6709445 3226748 22.86 40.67
11401.75/1523.59 c N dy 477 79246 95444 198445 3279877 27014 6709441 3462599 23.08 24.40
12046.33/1828.99 c Finding binary XORs T: 0.20 s found: 70
12048.73/1830.12 c N dy 494 84912 95281 198394 4576303 32466 6701739 6332306 22.88 24.60
12756.98/2207.49 c F st 505 87502 94649 198394 4588334 34982 6701731 6472515 22.85 no data
12770.21/2208.02 c Replacing 113 vars Replaced 35291 lits Time: 0.35 s
12783.91/2208.56 c Found part 21 vars: 94026 clauses: 2200892 lits size: 6688634
12783.91/2208.56 c Found part 22 vars: 2 clauses: 1 lits size: 2
12783.91/2208.56 c Found part 23 vars: 2 clauses: 1 lits size: 2
12783.91/2208.56 c Found part 24 vars: 2 clauses: 1 lits size: 2
12783.91/2208.56 c Found part 25 vars: 2 clauses: 1 lits size: 2
12783.91/2208.56 c Found part 26 vars: 2 clauses: 1 lits size: 2
12783.91/2208.56 c Found parts: 6 time: 1.07 s
12783.91/2208.56 c Solving part 22
12796.96/2208.96 c N st 0 0 2 0 1 0 2 0 no data no data
12796.96/2208.96 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
12796.96/2208.96 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
12796.96/2208.99 c Finding binary XORs T: 0.02 s found: 0
12796.96/2208.99 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
12796.96/2208.99 c calculated reachability. Time: 0.00
12799.52/2209.00 c Calc default polars - time: 0.01 s pos: 0 undec: 306093 neg: 2
12799.52/2209.00 c =========================================================================================
12799.52/2209.00 c types(t): F = full restart, N = normal restart
12799.52/2209.00 c types(t): S = simplification begin/end, E = solution found
12799.52/2209.00 c restart types(rt): st = static, dy = dynamic
12799.52/2209.00 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
12799.52/2209.00 c B st 0 0 2 0 1 0 2 0 no data no data
12799.52/2209.00 c E st 1 0 0 0 1 0 2 0 no data no data
12799.52/2209.01 c Verified 0 clauses.
12799.52/2209.01 c Verified 0 clauses.
12799.52/2209.01 c Solved part
12799.52/2209.01 c =========================================================================================
12799.52/2209.03 c Solving part 23
12812.31/2209.41 c N st 0 0 2 0 1 0 2 0 no data no data
12812.31/2209.41 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
12812.31/2209.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
12812.31/2209.43 c Finding binary XORs T: 0.02 s found: 0
12812.31/2209.44 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
12812.31/2209.44 c calculated reachability. Time: 0.00
12812.31/2209.45 c Calc default polars - time: 0.01 s pos: 0 undec: 306093 neg: 2
12812.31/2209.45 c =========================================================================================
12812.31/2209.45 c types(t): F = full restart, N = normal restart
12812.31/2209.45 c types(t): S = simplification begin/end, E = solution found
12812.31/2209.45 c restart types(rt): st = static, dy = dynamic
12812.31/2209.45 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
12812.31/2209.45 c B st 0 0 2 0 1 0 2 0 no data no data
12812.31/2209.45 c E st 1 0 0 0 1 0 2 0 no data no data
12812.31/2209.46 c Verified 0 clauses.
12812.31/2209.46 c Verified 0 clauses.
12812.31/2209.46 c Solved part
12812.31/2209.46 c =========================================================================================
12812.31/2209.47 c Solving part 24
12825.10/2209.85 c N st 0 0 2 0 1 0 2 0 no data no data
12825.10/2209.85 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
12825.10/2209.86 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
12825.10/2209.88 c Finding binary XORs T: 0.02 s found: 0
12825.10/2209.88 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
12825.10/2209.88 c calculated reachability. Time: 0.00
12825.10/2209.89 c Calc default polars - time: 0.01 s pos: 0 undec: 306093 neg: 2
12825.10/2209.89 c =========================================================================================
12825.10/2209.89 c types(t): F = full restart, N = normal restart
12825.10/2209.89 c types(t): S = simplification begin/end, E = solution found
12825.10/2209.89 c restart types(rt): st = static, dy = dynamic
12825.10/2209.89 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
12825.10/2209.89 c B st 0 0 2 0 1 0 2 0 no data no data
12825.10/2209.89 c E st 1 0 0 0 1 0 2 0 no data no data
12825.10/2209.90 c Verified 0 clauses.
12825.10/2209.90 c Verified 0 clauses.
12825.10/2209.90 c Solved part
12825.10/2209.90 c =========================================================================================
12825.10/2209.92 c Solving part 25
12841.07/2210.30 c N st 0 0 2 0 1 0 2 0 no data no data
12841.07/2210.30 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
12841.07/2210.30 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
12841.07/2210.32 c Finding binary XORs T: 0.02 s found: 0
12841.07/2210.33 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
12841.07/2210.33 c calculated reachability. Time: 0.00
12841.07/2210.33 c Calc default polars - time: 0.01 s pos: 0 undec: 306093 neg: 2
12841.07/2210.33 c =========================================================================================
12841.07/2210.33 c types(t): F = full restart, N = normal restart
12841.07/2210.33 c types(t): S = simplification begin/end, E = solution found
12841.07/2210.33 c restart types(rt): st = static, dy = dynamic
12841.07/2210.33 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
12841.07/2210.33 c B st 0 0 2 0 1 0 2 0 no data no data
12841.07/2210.33 c E st 1 0 0 0 1 0 2 0 no data no data
12841.07/2210.35 c Verified 0 clauses.
12841.07/2210.35 c Verified 0 clauses.
12841.07/2210.35 c Solved part
12841.07/2210.35 c =========================================================================================
12841.07/2210.36 c Solving part 26
12853.86/2210.74 c N st 0 0 2 0 1 0 2 0 no data no data
12853.86/2210.74 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
12853.86/2210.75 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
12853.86/2210.77 c Finding binary XORs T: 0.02 s found: 0
12853.86/2210.77 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
12853.86/2210.77 c calculated reachability. Time: 0.00
12853.86/2210.78 c Calc default polars - time: 0.01 s pos: 0 undec: 306093 neg: 2
12853.86/2210.78 c =========================================================================================
12853.86/2210.78 c types(t): F = full restart, N = normal restart
12853.86/2210.78 c types(t): S = simplification begin/end, E = solution found
12853.86/2210.78 c restart types(rt): st = static, dy = dynamic
12853.86/2210.78 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
12853.86/2210.78 c B st 0 0 2 0 1 0 2 0 no data no data
12853.86/2210.78 c E st 1 0 0 0 1 0 2 0 no data no data
12853.86/2210.79 c Verified 0 clauses.
12853.86/2210.79 c Verified 0 clauses.
12853.86/2210.79 c Solved part
12853.86/2210.79 c =========================================================================================
12857.06/2210.81 c Coming back to original instance
12857.06/2210.81 c =========================================================================================
13026.48/2216.12 c N st 510 90803 94529 197951 4024872 19790 6688629 4448388 22.85 no data
13384.47/2227.34 c N dy 544 96655 94493 197951 4031912 25531 6688623 4816681 23.08 24.30
13688.11/2236.84 c N dy 584 102898 93575 195756 4014127 30238 6645788 5118239 23.25 30.52
13783.99/2239.80 c S st 599 104820 93575 195756 4014139 32106 6645788 5227684 23.32 no data
13835.16/2241.44 c S st 599 105320 93573 195756 4015204 32557 6645788 5235659 23.32 no data
13841.55/2241.69 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.25
14608.70/2265.67 c Flit: 327 Blit: 1293 bXBeca: 0 bXProp: 52 Bins: 539408 BRemL: 5600 BRemN: 537 P: 200.0M T: 23.98
14615.10/2265.88 c Cleaning up after failed var search: 0.20 s
14637.46/2266.52 c Replacing 53 vars Replaced 171028 lits Time: 0.63 s
14650.25/2266.93 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
14672.62/2267.62 c bin-w-bin subsume rem 49894 bins time: 0.70 s
14810.05/2271.95 c subs with bin: 2736 lits-rem: 21090 v-fix: 0 time: 4.33 s
14893.14/2274.58 c Subs w/ non-existent bins: 270 l-rem: 2494 v-fix: 0 done: 57723 time: 2.62 s
14912.32/2275.10 c Removed useless bin: 16825 fixed: 0 props: 20.01M time: 0.52 s
15008.55/2278.19 c lits-rem: 1882 cl-subs: 3658 v-elim: 2320 v-fix: 0 time: 3.09 s
15078.87/2280.37 c subs with bin: 737 lits-rem: 10464 v-fix: 0 time: 1.96 s
15119.79/2281.66 c lits-rem: 18421 cl-subs: 1154 v-elim: 0 v-fix: 0 time: 1.01 s
15152.36/2282.68 c asymm cl-useful: 89/926/190766 lits-rem:996 time: 1.02
15158.12/2282.81 c calculated reachability. Time: 0.01
15158.12/2282.82 c N dy 599 105320 89167 190766 3199512 26863 6354610 3542450 23.32 no data
15161.31/2282.98 c Finding binary XORs T: 0.17 s found: 77
15541.67/2295.58 c N dy 648 112102 89118 190766 3332847 33479 6354610 4194123 23.57 28.78
16067.91/2356.40 c Finding binary XORs T: 0.17 s found: 58
16070.01/2356.75 c N dy 704 119293 89110 190753 3336399 22239 6353458 3374561 23.85 25.65
16436.33/2395.50 c N dy 763 126969 88931 190753 3485036 29779 6353455 4091024 24.08 29.40
16622.15/2403.43 c Finding binary XORs T: 0.17 s found: 74
16826.71/2409.88 c N dy 822 135161 88066 188310 3453000 35691 6311806 4400561 24.36 30.85
17299.80/2424.60 c N dy 882 143847 88060 188310 3454074 23855 6311791 3624377 24.60 32.77
17808.02/2440.59 c N dy 950 153093 88060 188310 3454705 32946 6311786 4153890 24.86 30.74
18050.96/2448.13 c S st 988 157980 88056 188310 3455335 37755 6311780 4454305 25.04 21.47
18098.92/2449.62 c S st 988 158480 88055 188310 3455370 38218 6311780 4462281 25.04 no data
18105.93/2449.86 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.24
18834.09/2472.67 c Flit: 137 Blit: 529 bXBeca: 0 bXProp: 25 Bins: 595732 BRemL: 6897 BRemN: 256 P: 200.0M T: 22.80
18834.09/2472.68 c Cleaning up after failed var search: 0.00 s
18862.85/2473.51 c Replacing 235 vars Replaced 180042 lits Time: 0.83 s
18876.27/2473.94 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
18907.61/2474.94 c bin-w-bin subsume rem 97341 bins time: 1.01 s
19052.05/2479.46 c subs with bin: 3999 lits-rem: 12498 v-fix: 0 time: 4.51 s
19125.60/2481.73 c Subs w/ non-existent bins: 1407 l-rem: 5614 v-fix: 0 done: 21121 time: 2.27 s
19140.95/2482.27 c Removed useless bin: 45787 fixed: 0 props: 20.00M time: 0.54 s
19201.68/2484.15 c lits-rem: 431 cl-subs: 4145 v-elim: 1363 v-fix: 0 time: 1.87 s
19275.16/2486.42 c subs with bin: 423 lits-rem: 14803 v-fix: 0 time: 2.04 s
19313.17/2487.69 c lits-rem: 17851 cl-subs: 1130 v-elim: 0 v-fix: 0 time: 1.01 s
19348.30/2488.78 c asymm cl-useful: 135/964/182156 lits-rem:431 time: 1.08
19354.66/2488.91 c calculated reachability. Time: 0.01
19354.66/2488.92 c N dy 988 158480 85802 182156 3219832 34061 6131824 3914626 25.04 no data
19357.86/2489.08 c Finding binary XORs T: 0.17 s found: 95
19996.02/2536.46 c Finding binary XORs T: 0.17 s found: 50
20018.21/2537.97 c N dy 1070 168734 85527 178589 3053606 22435 6080586 2811783 25.43 26.94
20536.49/2555.61 c N dy 1161 179585 85527 178589 3063605 33098 6080567 3475477 25.80 46.04
21079.89/2573.14 c N dy 1246 191128 84897 178589 3066006 44394 6080551 4136299 26.10 27.61
21707.00/2592.80 c N dy 1330 203348 84895 178589 3067147 32347 6080545 3294160 26.28 37.34
22336.10/2612.42 c N dy 1410 216371 84096 175108 2939459 44620 6036068 3753625 26.29 28.11
22607.39/2620.95 c Finding binary XORs T: 0.16 s found: 44
23070.69/2635.95 c N dy 1523 230258 83797 175097 2906030 32856 6030085 3014835 26.69 35.36
23474.42/2751.31 c Finding binary XORs T: 0.18 s found: 22
23480.60/2754.38 c S st 1582 237720 83769 172525 3717761 40013 6005602 5076825 26.83 no data
23483.60/2755.36 c S st 1582 238220 83768 172525 3717767 40506 6005602 5082809 26.83 no data
23484.26/2755.61 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.25
23511.49/2764.33 c Flit: 36 Blit: 1878 bXBeca: 0 bXProp: 37 Bins: 332461 BRemL: 6439 BRemN: 424 P: 200.0M T: 8.72
23512.69/2764.52 c Cleaning up after failed var search: 0.18 s
23515.41/2765.32 c Replacing 249 vars Replaced 286799 lits Time: 0.79 s
23516.31/2765.66 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
23530.17/2769.89 c bin-w-bin subsume rem 92991 bins time: 4.23 s
23541.77/2772.92 c subs with bin: 2208 lits-rem: 17601 v-fix: 0 time: 3.03 s
23546.75/2774.42 c Subs w/ non-existent bins: 194 l-rem: 2342 v-fix: 0 done: 57725 time: 1.49 s
23547.65/2774.71 c Removed useless bin: 12770 fixed: 0 props: 20.00M time: 0.28 s
23555.15/2777.23 c lits-rem: 2505 cl-subs: 4637 v-elim: 3202 v-fix: 0 time: 2.52 s
23560.62/2778.95 c subs with bin: 112 lits-rem: 6395 v-fix: 0 time: 1.51 s
23565.81/2780.23 c lits-rem: 40972 cl-subs: 1886 v-elim: 0 v-fix: 0 time: 1.07 s
23567.81/2780.74 c asymm cl-useful: 217/1010/169828 lits-rem:3351 time: 0.51
23568.29/2780.85 c calculated reachability. Time: 0.01
23568.29/2780.85 c N dy 1582 238220 78525 169796 2590806 35878 5825036 2779370 26.83 no data
23568.93/2781.00 c Finding binary XORs T: 0.15 s found: 0
24354.05/2816.90 c N dy 1689 253531 78521 169796 2607895 50801 5825030 3653301 27.04 29.17
25169.64/2842.42 c N dy 1814 269802 78521 169796 2609117 41325 5825004 3004346 27.28 33.42
25709.21/2859.38 c N dy 1858 287112 78521 169796 2609659 30572 5824992 2212425 26.93 38.02
26243.05/2876.07 c Finding binary XORs T: 0.15 s found: 26
26649.53/2888.74 c N dy 1996 305475 77791 166724 2608006 43439 5795514 3137191 27.22 45.98
26693.62/2890.19 c F st 2003 306252 77791 166724 2608007 44207 5795514 3189449 27.24 no data
26709.61/2890.66 c Replacing 26 vars Replaced 11798 lits Time: 0.34 s
27511.92/2915.78 c N dy 2105 325014 77762 166326 2608621 36080 5793185 2652963 27.42 40.83
28439.46/2944.74 c N dy 2239 345076 77679 166326 2609766 55668 5793169 3762823 27.56 31.14
28937.49/2960.40 c S st 2284 357330 77677 166326 2610490 38908 5793164 2585262 27.44 10.39
29005.26/2962.44 c S st 2284 357830 77677 166326 2610501 39397 5793164 2588997 27.44 no data
29011.01/2962.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.20
29621.54/2981.73 c Flit: 232 Blit: 1745 bXBeca: 0 bXProp: 108 Bins: 147662 BRemL: 6108 BRemN: 140 P: 200.0M T: 19.09
29627.94/2981.96 c Cleaning up after failed var search: 0.22 s
29663.10/2983.02 c Replacing 108 vars Replaced 168048 lits Time: 1.05 s
29673.32/2983.37 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
29691.87/2983.96 c bin-w-bin subsume rem 25817 bins time: 0.59 s
29803.75/2987.47 c subs with bin: 1940 lits-rem: 23513 v-fix: 0 time: 3.51 s
29861.28/2989.24 c Subs w/ non-existent bins: 159 l-rem: 1720 v-fix: 0 done: 74701 time: 1.77 s
29874.07/2989.63 c Removed useless bin: 11834 fixed: 0 props: 20.00M time: 0.39 s
29982.73/2993.04 c lits-rem: 2441 cl-subs: 4470 v-elim: 3327 v-fix: 0 time: 3.40 s
30043.46/2994.98 c subs with bin: 705 lits-rem: 9346 v-fix: 0 time: 1.77 s
30101.00/2996.78 c lits-rem: 35028 cl-subs: 3477 v-elim: 0 v-fix: 0 time: 1.57 s
30136.17/2997.89 c asymm cl-useful: 182/1084/161456 lits-rem:645 time: 1.11
30139.36/2997.99 c calculated reachability. Time: 0.01
30139.36/2997.99 c N dy 2284 357830 72265 161454 2140360 32921 5543911 1611340 27.44 no data
30145.76/2998.13 c Finding binary XORs T: 0.13 s found: 0
31098.31/3027.96 c N dy 2435 377846 72080 161454 2163652 52506 5543880 2841233 27.74 41.90
31891.01/3052.70 c N dy 2584 397914 72009 161454 2165090 42908 5543838 2178379 28.00 30.47
32061.03/3058.09 c Finding binary XORs T: 0.13 s found: 26
32642.19/3076.27 c N dy 2696 418523 71645 154275 2171744 30905 5489028 1425518 28.04 30.20
33297.44/3096.73 c Finding binary XORs T: 0.15 s found: 14214
33313.43/3097.22 c Replacing 14240 vars Replaced 1640813 lits Time: 0.49 s
33342.19/3098.11 c N dy 2768 438585 50791 66962 1746596 20610 4315969 1262090 27.81 29.75
33407.45/3100.53 c Following stats are for *FIRST FINISHED THREAD ONLY*
33407.45/3100.53 c num threads : 32
33407.45/3100.53 c restarts : 3420
33407.45/3100.53 c dynamic restarts : 3396
33407.45/3100.53 c static restarts : 24
33407.45/3100.53 c full restarts : 3
33407.45/3100.53 c total simplify time : 12.65
33407.45/3100.53 c learnts DL2 : 0
33407.45/3100.53 c learnts size 2 : 15995392
33407.45/3100.53 c learnts size 1 : 140235 (45.81 % of vars)
33407.45/3100.53 c filedLit time : 54.28 (5.18 % time)
33407.45/3100.53 c v-elim SatELite : 94237 (30.79 % vars)
33407.45/3100.53 c SatELite time : 49.81 (4.75 % time)
33407.45/3100.53 c v-elim xor : 0 (0.00 % vars)
33407.45/3100.53 c xor elim time : 0.62 (0.06 % time)
33407.45/3100.53 c num binary xor trees : 11692
33407.45/3100.53 c binxor trees' crown : 17267 (1.48 leafs/tree)
33407.45/3100.53 c bin xor find time : 3.51
33407.45/3100.53 c OTF clause improved : 10718 (0.02 clauses/conflict)
33407.45/3100.53 c OTF impr. size diff : 18384 (1.72 lits/clause)
33407.45/3100.53 c OTF cl watch-shrink : 280302 (0.52 clauses/conflict)
33407.45/3100.53 c OTF cl watch-sh-lit : 1508254 (5.38 lits/clause)
33407.45/3100.53 c tried to recurMin cls : 0 (0.00 % of conflicts)
33407.45/3100.53 c updated cache : 0 (nan lits/tried recurMin)
33407.45/3100.53 c unit cls recevied : 11144 (7.95 % of units)
33407.45/3100.53 c unit cls sent : 1568 (1.12 % of units)
33407.45/3100.53 c bin cls recevied : 10061990
33407.45/3100.53 c bin cls sent : 61572
33407.45/3100.53 c clauses over max glue : 0 (0.00 % of all clauses)
33407.45/3100.53 c conflicts : 537646 (513.08 / sec)
33407.45/3100.53 c decisions : 144288879 (0.11 % random)
33407.45/3100.53 c bogo-props : 9919494623 (9466307.48 / sec)
33407.45/3100.53 c conflict literals : 30231927 (21.14 % deleted)
33407.45/3100.53 c Memory used : 25112.46 MB
33407.45/3100.53 c single-thread CPU time : 1047.87 s
33407.45/3100.53 c all-threads sum CPU time : 33138.09 s
33407.45/3100.53 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-3400638-1306259785/watcher-3400638-1306259785 -o /tmp/evaluation-result-3400638-1306259785/solver-3400638-1306259785 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400638-1306259785.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: 24.83 28.93 30.26 1/413 10113
/proc/meminfo: memFree=255039740/264257624 swapFree=67111528/67111528
[pid=10113] ppid=10111 vsize=338000 CPUtime=0.75 cores=0-31
/proc/10113/stat : 10113 (strangenight2-m) R 10111 10113 10025 0 -1 4202496 436 0 0 0 75 0 0 0 25 0 32 0 737465457 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025522 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/10113/statm: 84500 376 297 95 0 79482 0
[pid=10113/tid=10114] ppid=10111 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10113/task/10114/stat : 10114 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10113/tid=10115] ppid=10111 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10113/task/10115/stat : 10115 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10113/tid=10116] ppid=10111 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10113/task/10116/stat : 10116 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025522 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=10113/tid=10117] ppid=10111 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10113/task/10117/stat : 10117 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025522 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=10113/tid=10118] ppid=10111 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10113/task/10118/stat : 10118 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025520 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=10113/tid=10119] ppid=10111 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10113/task/10119/stat : 10119 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025520 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=10113/tid=10120] ppid=10111 vsize=338000 CPUtime=0 cores=0-31
/proc/10113/task/10120/stat : 10120 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=10113/tid=10121] ppid=10111 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10113/task/10121/stat : 10121 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025522 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=10113/tid=10122] ppid=10111 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10113/task/10122/stat : 10122 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025526 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=10113/tid=10123] ppid=10111 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10113/task/10123/stat : 10123 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025522 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=10113/tid=10124] ppid=10111 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10113/task/10124/stat : 10124 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025522 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=10113/tid=10125] ppid=10111 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10113/task/10125/stat : 10125 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025516 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10113/tid=10126] ppid=10111 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10113/task/10126/stat : 10126 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025512 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10113/tid=10127] ppid=10111 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10113/task/10127/stat : 10127 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10113/tid=10128] ppid=10111 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10113/task/10128/stat : 10128 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025526 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=10113/tid=10129] ppid=10111 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10113/task/10129/stat : 10129 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025512 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=10113/tid=10130] ppid=10111 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10113/task/10130/stat : 10130 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025526 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=10113/tid=10131] ppid=10111 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10113/task/10131/stat : 10131 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025512 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=10113/tid=10132] ppid=10111 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10113/task/10132/stat : 10132 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025512 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=10113/tid=10133] ppid=10111 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10113/task/10133/stat : 10133 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025522 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=10113/tid=10134] ppid=10111 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10113/task/10134/stat : 10134 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025522 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10113/tid=10135] ppid=10111 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10113/task/10135/stat : 10135 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025522 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=10113/tid=10136] ppid=10111 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10113/task/10136/stat : 10136 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025522 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=10113/tid=10137] ppid=10111 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10113/task/10137/stat : 10137 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025522 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=10113/tid=10138] ppid=10111 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10113/task/10138/stat : 10138 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025522 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=10113/tid=10139] ppid=10111 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10113/task/10139/stat : 10139 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025512 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10113/tid=10140] ppid=10111 vsize=338000 CPUtime=0 cores=0-31
/proc/10113/task/10140/stat : 10140 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025526 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=10113/tid=10141] ppid=10111 vsize=338000 CPUtime=0.01 cores=0-31
/proc/10113/task/10141/stat : 10141 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025522 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=10113/tid=10142] ppid=10111 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10113/task/10142/stat : 10142 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025526 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=10113/tid=10143] ppid=10111 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10113/task/10143/stat : 10143 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10113/tid=10144] ppid=10111 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10113/task/10144/stat : 10144 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737465458 346112000 376 268435456000 4194304 4580107 140734726343776 18446744073709551615 47237712025522 0 0 4096 2 0 0 0 -1 26 0 0 0
[startup+0.119855 s]
/proc/loadavg: 24.83 28.93 30.26 1/413 10113
/proc/meminfo: memFree=255039740/264257624 swapFree=67111528/67111528
[pid=10113] ppid=10111 vsize=1257536 CPUtime=2.7 cores=0-31
/proc/10113/stat : 10113 (strangenight2-m) R 10111 10113 10025 0 -1 4202496 9720 0 0 0 206 64 0 0 25 0 32 0 737465457 1287716864 9566 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651061007 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/10113/statm: 314384 9586 334 95 0 309366 0
[pid=10113/tid=10114] ppid=10111 vsize=1257536 CPUtime=0.08 cores=0-31
/proc/10113/task/10114/stat : 10114 (strangenight2-m) D 10111 10113 10025 0 -1 4202560 298 0 0 0 7 1 0 0 17 0 32 0 737465458 1287716864 9588 268435456000 4194304 4580107 140734726343776 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10113/tid=10115] ppid=10111 vsize=1257536 CPUtime=0.08 cores=0-31
/proc/10113/task/10115/stat : 10115 (strangenight2-m) S 10111 10113 10025 0 -1 4202560 288 0 0 0 7 1 0 0 17 0 32 0 737465458 1287716864 9600 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651060958 0 0 4096 2 18446604632080973280 0 0 -1 4 0 0 0
[pid=10113/tid=10116] ppid=10111 vsize=1257536 CPUtime=0.07 cores=0-31
/proc/10113/task/10116/stat : 10116 (strangenight2-m) S 10111 10113 10025 0 -1 4202560 349 0 0 0 6 1 0 0 17 0 32 0 737465458 1287716864 9601 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651060958 0 0 4096 2 18446604635363745248 0 0 -1 20 0 0 0
[pid=10113/tid=10117] ppid=10111 vsize=1257536 CPUtime=0.07 cores=0-31
/proc/10113/task/10117/stat : 10117 (strangenight2-m) S 10111 10113 10025 0 -1 4202560 288 0 0 0 6 1 0 0 17 0 32 0 737465458 1287716864 9632 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651060958 0 0 4096 2 18446604627174333920 0 0 -1 16 0 0 0
[pid=10113/tid=10118] ppid=10111 vsize=1257536 CPUtime=0.07 cores=0-31
/proc/10113/task/10118/stat : 10118 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 273 0 0 0 6 1 0 0 17 0 32 0 737465458 1287716864 9644 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=10113/tid=10119] ppid=10111 vsize=1257536 CPUtime=0.06 cores=0-31
/proc/10113/task/10119/stat : 10119 (strangenight2-m) D 10111 10113 10025 0 -1 4202560 318 0 0 0 5 1 0 0 17 0 32 0 737465458 1287716864 9652 268435456000 4194304 4580107 140734726343776 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=10113/tid=10120] ppid=10111 vsize=1257536 CPUtime=0.02 cores=0-31
/proc/10113/task/10120/stat : 10120 (strangenight2-m) S 10111 10113 10025 0 -1 4202560 280 0 0 0 1 1 0 0 17 0 32 0 737465458 1287716864 9662 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651060958 0 0 4096 2 18446604505559563744 0 0 -1 30 0 0 0
[pid=10113/tid=10121] ppid=10111 vsize=1257536 CPUtime=0.07 cores=0-31
/proc/10113/task/10121/stat : 10121 (strangenight2-m) D 10111 10113 10025 0 -1 4202560 279 0 0 0 6 1 0 0 17 0 32 0 737465458 1287716864 9664 268435456000 4194304 4580107 140734726343776 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=10113/tid=10122] ppid=10111 vsize=1257536 CPUtime=0.07 cores=0-31
/proc/10113/task/10122/stat : 10122 (strangenight2-m) S 10111 10113 10025 0 -1 4202560 276 0 0 0 6 1 0 0 17 0 32 0 737465458 1287716864 9669 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651060958 0 0 4096 2 18446604634602733024 0 0 -1 14 0 0 0
[pid=10113/tid=10123] ppid=10111 vsize=1257536 CPUtime=0.08 cores=0-31
/proc/10113/task/10123/stat : 10123 (strangenight2-m) S 10111 10113 10025 0 -1 4202560 320 0 0 0 6 2 0 0 18 0 32 0 737465458 1287716864 9684 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651060958 0 0 4096 2 18446604643239591392 0 0 -1 18 0 0 0
[pid=10113/tid=10124] ppid=10111 vsize=1257536 CPUtime=0.07 cores=0-31
/proc/10113/task/10124/stat : 10124 (strangenight2-m) S 10111 10113 10025 0 -1 4202560 301 0 0 0 6 1 0 0 18 0 32 0 737465458 1287716864 9691 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651060958 0 0 4096 2 18446744071566928664 0 0 -1 10 0 0 0
[pid=10113/tid=10125] ppid=10111 vsize=1257536 CPUtime=0.08 cores=0-31
/proc/10113/task/10125/stat : 10125 (strangenight2-m) D 10111 10113 10025 0 -1 4202560 331 0 0 0 6 2 0 0 17 0 32 0 737465458 1287716864 9694 268435456000 4194304 4580107 140734726343776 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10113/tid=10126] ppid=10111 vsize=1257536 CPUtime=0.08 cores=0-31
/proc/10113/task/10126/stat : 10126 (strangenight2-m) S 10111 10113 10025 0 -1 4202560 284 0 0 0 6 2 0 0 17 0 32 0 737465458 1287716864 9700 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651060958 0 0 4096 2 18446604642634505696 0 0 -1 3 0 0 0
[pid=10113/tid=10127] ppid=10111 vsize=1257536 CPUtime=0.08 cores=0-31
/proc/10113/task/10127/stat : 10127 (strangenight2-m) D 10111 10113 10025 0 -1 4202560 308 0 0 0 6 2 0 0 17 0 32 0 737465458 1287716864 9710 268435456000 4194304 4580107 140734726343776 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10113/tid=10128] ppid=10111 vsize=1257536 CPUtime=0.08 cores=0-31
/proc/10113/task/10128/stat : 10128 (strangenight2-m) S 10111 10113 10025 0 -1 4202560 289 0 0 0 6 2 0 0 17 0 32 0 737465458 1287716864 9716 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651060958 0 0 4096 2 18446604643063537120 0 0 -1 9 0 0 0
[pid=10113/tid=10129] ppid=10111 vsize=1257536 CPUtime=0.08 cores=0-31
/proc/10113/task/10129/stat : 10129 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 272 0 0 0 6 2 0 0 17 0 32 0 737465458 1287716864 9721 268435456000 4194304 4580107 140734726343776 18446744073709551615 258650611701 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=10113/tid=10130] ppid=10111 vsize=1257536 CPUtime=0.08 cores=0-31
/proc/10113/task/10130/stat : 10130 (strangenight2-m) S 10111 10113 10025 0 -1 4202560 292 0 0 0 6 2 0 0 17 0 32 0 737465458 1287716864 9735 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651060958 0 0 4096 2 18446604627174333920 0 0 -1 13 0 0 0
[pid=10113/tid=10131] ppid=10111 vsize=1257536 CPUtime=0.07 cores=0-31
/proc/10113/task/10131/stat : 10131 (strangenight2-m) S 10111 10113 10025 0 -1 4202560 316 0 0 0 6 1 0 0 17 0 32 0 737465458 1287716864 9737 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651060958 0 0 4096 2 18446604483737714144 0 0 -1 15 0 0 0
[pid=10113/tid=10132] ppid=10111 vsize=1257536 CPUtime=0.07 cores=0-31
/proc/10113/task/10132/stat : 10132 (strangenight2-m) S 10111 10113 10025 0 -1 4202560 273 0 0 0 6 1 0 0 17 0 32 0 737465458 1287716864 9739 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651060958 0 0 4096 2 18446604632242150880 0 0 -1 17 0 0 0
[pid=10113/tid=10133] ppid=10111 vsize=1257536 CPUtime=0.08 cores=0-31
/proc/10113/task/10133/stat : 10133 (strangenight2-m) S 10111 10113 10025 0 -1 4202560 286 0 0 0 6 2 0 0 25 0 32 0 737465458 1287716864 9753 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651060958 0 0 4096 2 18446604634847690208 0 0 -1 19 0 0 0
[pid=10113/tid=10134] ppid=10111 vsize=1257536 CPUtime=0.08 cores=0-31
/proc/10113/task/10134/stat : 10134 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 285 0 0 0 6 2 0 0 17 0 32 0 737465458 1287716864 9771 268435456000 4194304 4580107 140734726343776 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10113/tid=10135] ppid=10111 vsize=1257536 CPUtime=0.08 cores=0-31
/proc/10113/task/10135/stat : 10135 (strangenight2-m) D 10111 10113 10025 0 -1 4202560 283 0 0 0 6 2 0 0 17 0 32 0 737465458 1287716864 9778 268435456000 4194304 4580107 140734726343776 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=10113/tid=10136] ppid=10111 vsize=1257536 CPUtime=0.07 cores=0-31
/proc/10113/task/10136/stat : 10136 (strangenight2-m) S 10111 10113 10025 0 -1 4202560 324 0 0 0 6 1 0 0 25 0 32 0 737465458 1287716864 9781 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651060958 0 0 4096 2 18446604634332634592 0 0 -1 23 0 0 0
[pid=10113/tid=10137] ppid=10111 vsize=1257536 CPUtime=0.07 cores=0-31
/proc/10113/task/10137/stat : 10137 (strangenight2-m) S 10111 10113 10025 0 -1 4202560 280 0 0 0 6 1 0 0 17 0 32 0 737465458 1287716864 9789 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651060958 0 0 4096 2 18446604635363745248 0 0 -1 8 0 0 0
[pid=10113/tid=10138] ppid=10111 vsize=1257672 CPUtime=0.08 cores=0-31
/proc/10113/task/10138/stat : 10138 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 290 0 0 0 6 2 0 0 17 0 32 0 737465458 1287856128 9798 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=10113/tid=10139] ppid=10111 vsize=1257672 CPUtime=0.07 cores=0-31
/proc/10113/task/10139/stat : 10139 (strangenight2-m) S 10111 10113 10025 0 -1 4202560 293 0 0 0 6 1 0 0 17 0 32 0 737465458 1287856128 9805 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651060958 0 0 4096 2 18446604643671006688 0 0 -1 2 0 0 0
[pid=10113/tid=10140] ppid=10111 vsize=1257672 CPUtime=0.06 cores=0-31
/proc/10113/task/10140/stat : 10140 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 318 0 0 0 4 2 0 0 17 0 32 0 737465458 1287856128 9813 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=10113/tid=10141] ppid=10111 vsize=1257672 CPUtime=0.06 cores=0-31
/proc/10113/task/10141/stat : 10141 (strangenight2-m) S 10111 10113 10025 0 -1 4202560 280 0 0 0 5 1 0 0 18 0 32 0 737465458 1287856128 9817 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651060958 0 0 4096 2 18446604643239591392 0 0 -1 28 0 0 0
[pid=10113/tid=10142] ppid=10111 vsize=1257672 CPUtime=0.07 cores=0-31
/proc/10113/task/10142/stat : 10142 (strangenight2-m) S 10111 10113 10025 0 -1 4202560 328 0 0 0 6 1 0 0 17 0 32 0 737465458 1287856128 9830 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651060958 0 0 4096 2 18446604634847690208 0 0 -1 24 0 0 0
[pid=10113/tid=10143] ppid=10111 vsize=1257672 CPUtime=0.08 cores=0-31
/proc/10113/task/10143/stat : 10143 (strangenight2-m) S 10111 10113 10025 0 -1 4202560 288 0 0 0 6 2 0 0 17 0 32 0 737465458 1287856128 9843 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651060958 0 0 4096 2 18446604639002623456 0 0 -1 6 0 0 0
[pid=10113/tid=10144] ppid=10111 vsize=1257672 CPUtime=0.08 cores=0-31
/proc/10113/task/10144/stat : 10144 (strangenight2-m) S 10111 10113 10025 0 -1 4202560 272 0 0 0 6 2 0 0 17 0 32 0 737465458 1287856128 9862 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651060958 0 0 4096 2 18446604483651050976 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 1257536
[startup+0.206915 s]
/proc/loadavg: 24.83 28.93 30.26 1/413 10113
/proc/meminfo: memFree=255039740/264257624 swapFree=67111528/67111528
[pid=10113] ppid=10111 vsize=1268252 CPUtime=4.34 cores=0-31
/proc/10113/stat : 10113 (strangenight2-m) R 10111 10113 10025 0 -1 4202496 17590 0 0 0 255 179 0 0 17 0 32 0 737465457 1298690048 16701 268435456000 4194304 4580107 140734726343776 18446744073709551615 4511009 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/10113/statm: 317030 16707 334 95 0 312012 0
[pid=10113/tid=10114] ppid=10111 vsize=1268120 CPUtime=0.12 cores=0-31
/proc/10113/task/10114/stat : 10114 (strangenight2-m) S 10111 10113 10025 0 -1 4202560 577 0 0 0 8 4 0 0 17 0 32 0 737465458 1298554880 16721 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651060958 0 0 4096 2 18446604505559563744 0 0 -1 1 0 0 0
[pid=10113/tid=10115] ppid=10111 vsize=1268248 CPUtime=0.13 cores=0-31
/proc/10113/task/10115/stat : 10115 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 578 0 0 0 9 4 0 0 17 0 32 0 737465458 1298685952 16705 268435456000 4194304 4580107 140734726343776 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10113/tid=10116] ppid=10111 vsize=1268248 CPUtime=0.12 cores=0-31
/proc/10113/task/10116/stat : 10116 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 682 0 0 0 8 4 0 0 17 0 32 0 737465458 1298685952 16726 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=10113/tid=10117] ppid=10111 vsize=1268248 CPUtime=0.12 cores=0-31
/proc/10113/task/10117/stat : 10117 (strangenight2-m) S 10111 10113 10025 0 -1 4202560 552 0 0 0 7 5 0 0 17 0 32 0 737465458 1298685952 16735 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651060958 0 0 4096 2 18446604634332634592 0 0 -1 16 0 0 0
[pid=10113/tid=10118] ppid=10111 vsize=1268376 CPUtime=0.13 cores=0-31
/proc/10113/task/10118/stat : 10118 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 526 0 0 0 8 5 0 0 17 0 32 0 737465458 1298817024 16783 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=10113/tid=10119] ppid=10111 vsize=1268244 CPUtime=0.12 cores=0-31
/proc/10113/task/10119/stat : 10119 (strangenight2-m) D 10111 10113 10025 0 -1 4202560 655 0 0 0 7 5 0 0 17 0 32 0 737465458 1298681856 16787 268435456000 4194304 4580107 140734726343776 18446744073709551615 258650653112 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=10113/tid=10120] ppid=10111 vsize=1268244 CPUtime=0.07 cores=0-31
/proc/10113/task/10120/stat : 10120 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 464 0 0 0 2 5 0 0 17 0 32 0 737465458 1298681856 16811 268435456000 4194304 4580107 140734726343776 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=10113/tid=10121] ppid=10111 vsize=1268244 CPUtime=0.12 cores=0-31
/proc/10113/task/10121/stat : 10121 (strangenight2-m) S 10111 10113 10025 0 -1 4202560 527 0 0 0 8 4 0 0 17 0 32 0 737465458 1298681856 16846 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651060958 0 0 4096 2 18446604634602733024 0 0 -1 22 0 0 0
[pid=10113/tid=10122] ppid=10111 vsize=1268244 CPUtime=0.13 cores=0-31
/proc/10113/task/10122/stat : 10122 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 536 0 0 0 7 6 0 0 17 0 32 0 737465458 1298681856 16852 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=10113/tid=10123] ppid=10111 vsize=1268244 CPUtime=0.13 cores=0-31
/proc/10113/task/10123/stat : 10123 (strangenight2-m) S 10111 10113 10025 0 -1 4202560 579 0 0 0 8 5 0 0 17 0 32 0 737465458 1298681856 16853 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651060958 0 0 4096 2 18446604634159521248 0 0 -1 18 0 0 0
[pid=10113/tid=10124] ppid=10111 vsize=1268244 CPUtime=0.12 cores=0-31
/proc/10113/task/10124/stat : 10124 (strangenight2-m) S 10111 10113 10025 0 -1 4202560 527 0 0 0 7 5 0 0 17 0 32 0 737465458 1298681856 16880 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651060958 0 0 4096 2 18446604505493650912 0 0 -1 10 0 0 0
[pid=10113/tid=10125] ppid=10111 vsize=1268244 CPUtime=0.14 cores=0-31
/proc/10113/task/10125/stat : 10125 (strangenight2-m) S 10111 10113 10025 0 -1 4202560 561 0 0 0 7 7 0 0 17 0 32 0 737465458 1298681856 16900 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651060958 0 0 4096 2 18446744071566926704 0 0 -1 7 0 0 0
[pid=10113/tid=10126] ppid=10111 vsize=1268244 CPUtime=0.13 cores=0-31
/proc/10113/task/10126/stat : 10126 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 541 0 0 0 8 5 0 0 17 0 32 0 737465458 1298681856 16924 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10113/tid=10127] ppid=10111 vsize=1268504 CPUtime=0.13 cores=0-31
/proc/10113/task/10127/stat : 10127 (strangenight2-m) S 10111 10113 10025 0 -1 4202560 572 0 0 0 7 6 0 0 17 0 32 0 737465458 1298948096 16957 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651060958 0 0 4096 2 18446604642634505696 0 0 -1 5 0 0 0
[pid=10113/tid=10128] ppid=10111 vsize=1268372 CPUtime=0.13 cores=0-31
/proc/10113/task/10128/stat : 10128 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 592 0 0 0 8 5 0 0 17 0 32 0 737465458 1298812928 16978 268435456000 4194304 4580107 140734726343776 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=10113/tid=10129] ppid=10111 vsize=1268372 CPUtime=0.13 cores=0-31
/proc/10113/task/10129/stat : 10129 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 487 0 0 0 8 5 0 0 17 0 32 0 737465458 1298812928 17001 268435456000 4194304 4580107 140734726343776 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=10113/tid=10130] ppid=10111 vsize=1268372 CPUtime=0.14 cores=0-31
################
# More data... #
################
/proc/10113/task/10119/stat : 10119 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 260973 0 0 0 92967 895 0 0 25 0 32 0 737465458 26306351104 5593934 268435456000 4194304 4580107 140734726343776 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=10113/tid=10120] ppid=10111 vsize=25689796 CPUtime=898.21 cores=0-31
/proc/10113/task/10120/stat : 10120 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 243130 0 0 0 89038 783 0 0 25 0 32 0 737465458 26306351104 5593934 268435456000 4194304 4580107 140734726343776 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10113/tid=10121] ppid=10111 vsize=25689796 CPUtime=910.42 cores=0-31
/proc/10113/task/10121/stat : 10121 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 258126 0 0 0 90252 790 0 0 25 0 32 0 737465458 26306351104 5593934 268435456000 4194304 4580107 140734726343776 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=10113/tid=10122] ppid=10111 vsize=25689796 CPUtime=887.38 cores=0-31
/proc/10113/task/10122/stat : 10122 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 289223 0 0 0 87971 767 0 0 25 0 32 0 737465458 26306351104 5593934 268435456000 4194304 4580107 140734726343776 18446744073709551615 4515177 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=10113/tid=10123] ppid=10111 vsize=25689796 CPUtime=921.47 cores=0-31
/proc/10113/task/10123/stat : 10123 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 282178 0 0 0 91339 808 0 0 25 0 32 0 737465458 26306351104 5593934 268435456000 4194304 4580107 140734726343776 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=10113/tid=10124] ppid=10111 vsize=25689796 CPUtime=923.97 cores=0-31
/proc/10113/task/10124/stat : 10124 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 267606 0 0 0 91467 930 0 0 25 0 32 0 737465458 26306351104 5593934 268435456000 4194304 4580107 140734726343776 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=10113/tid=10125] ppid=10111 vsize=25689796 CPUtime=921.2 cores=0-31
/proc/10113/task/10125/stat : 10125 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 286568 0 0 0 91220 900 0 0 25 0 32 0 737465458 26306351104 5593934 268435456000 4194304 4580107 140734726343776 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=10113/tid=10126] ppid=10111 vsize=25689796 CPUtime=947.02 cores=0-31
/proc/10113/task/10126/stat : 10126 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 309959 0 0 0 93769 933 0 0 25 0 32 0 737465458 26306351104 5593934 268435456000 4194304 4580107 140734726343776 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=10113/tid=10127] ppid=10111 vsize=25689796 CPUtime=939.9 cores=0-31
/proc/10113/task/10127/stat : 10127 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 274002 0 0 0 93122 868 0 0 25 0 32 0 737465458 26306351104 5593934 268435456000 4194304 4580107 140734726343776 18446744073709551615 4306424 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=10113/tid=10128] ppid=10111 vsize=25689796 CPUtime=952.91 cores=0-31
/proc/10113/task/10128/stat : 10128 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 311207 0 0 0 94426 865 0 0 25 0 32 0 737465458 26306351104 5593934 268435456000 4194304 4580107 140734726343776 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=10113/tid=10129] ppid=10111 vsize=25689796 CPUtime=909.45 cores=0-31
/proc/10113/task/10129/stat : 10129 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 254006 0 0 0 90065 880 0 0 25 0 32 0 737465458 26306351104 5593934 268435456000 4194304 4580107 140734726343776 18446744073709551615 4318494 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=10113/tid=10130] ppid=10111 vsize=25689796 CPUtime=919.76 cores=0-31
/proc/10113/task/10130/stat : 10130 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 300487 0 0 0 91099 877 0 0 25 0 32 0 737465458 26306351104 5593934 268435456000 4194304 4580107 140734726343776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=10113/tid=10131] ppid=10111 vsize=25689796 CPUtime=919.11 cores=0-31
/proc/10113/task/10131/stat : 10131 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 264601 0 0 0 90961 950 0 0 25 0 32 0 737465458 26306351104 5593934 268435456000 4194304 4580107 140734726343776 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=10113/tid=10132] ppid=10111 vsize=25689796 CPUtime=936.98 cores=0-31
/proc/10113/task/10132/stat : 10132 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 276160 0 0 0 92821 877 0 0 25 0 32 0 737465458 26306351104 5593934 268435456000 4194304 4580107 140734726343776 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=10113/tid=10133] ppid=10111 vsize=25689796 CPUtime=915.79 cores=0-31
/proc/10113/task/10133/stat : 10133 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 246097 0 0 0 90735 844 0 0 25 0 32 0 737465458 26306351104 5593934 268435456000 4194304 4580107 140734726343776 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=10113/tid=10134] ppid=10111 vsize=25689796 CPUtime=944.03 cores=0-31
/proc/10113/task/10134/stat : 10134 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 295340 0 0 0 93698 705 0 0 25 0 32 0 737465458 26306351104 5593934 268435456000 4194304 4580107 140734726343776 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=10113/tid=10135] ppid=10111 vsize=25689796 CPUtime=925.61 cores=0-31
/proc/10113/task/10135/stat : 10135 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 261400 0 0 0 91701 860 0 0 25 0 32 0 737465458 26306351104 5593934 268435456000 4194304 4580107 140734726343776 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=10113/tid=10136] ppid=10111 vsize=25689796 CPUtime=911.31 cores=0-31
/proc/10113/task/10136/stat : 10136 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 257960 0 0 0 90270 861 0 0 25 0 32 0 737465458 26306351104 5593934 268435456000 4194304 4580107 140734726343776 18446744073709551615 4293266 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10113/tid=10137] ppid=10111 vsize=25689796 CPUtime=959.76 cores=0-31
/proc/10113/task/10137/stat : 10137 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 290786 0 0 0 95212 764 0 0 25 0 32 0 737465458 26306351104 5593934 268435456000 4194304 4580107 140734726343776 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=10113/tid=10138] ppid=10111 vsize=25689796 CPUtime=915.07 cores=0-31
/proc/10113/task/10138/stat : 10138 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 293602 0 0 0 90626 881 0 0 25 0 32 0 737465458 26306351104 5593934 268435456000 4194304 4580107 140734726343776 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10113/tid=10139] ppid=10111 vsize=25689796 CPUtime=922.18 cores=0-31
/proc/10113/task/10139/stat : 10139 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 282669 0 0 0 91297 921 0 0 25 0 32 0 737465458 26306351104 5593934 268435456000 4194304 4580107 140734726343776 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=10113/tid=10140] ppid=10111 vsize=25689796 CPUtime=890.78 cores=0-31
/proc/10113/task/10140/stat : 10140 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 278755 0 0 0 88251 827 0 0 25 0 32 0 737465458 26306351104 5593934 268435456000 4194304 4580107 140734726343776 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10113/tid=10141] ppid=10111 vsize=25689796 CPUtime=929.79 cores=0-31
/proc/10113/task/10141/stat : 10141 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 284131 0 0 0 92073 906 0 0 25 0 32 0 737465458 26306351104 5593934 268435456000 4194304 4580107 140734726343776 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=10113/tid=10142] ppid=10111 vsize=25689796 CPUtime=941.61 cores=0-31
/proc/10113/task/10142/stat : 10142 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 270603 0 0 0 93412 749 0 0 25 0 32 0 737465458 26306351104 5593934 268435456000 4194304 4580107 140734726343776 18446744073709551615 4318446 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10113/tid=10143] ppid=10111 vsize=25689796 CPUtime=924.12 cores=0-31
/proc/10113/task/10143/stat : 10143 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 320288 0 0 0 91517 895 0 0 25 0 32 0 737465458 26306351104 5593934 268435456000 4194304 4580107 140734726343776 18446744073709551615 4293255 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=10113/tid=10144] ppid=10111 vsize=25689796 CPUtime=1030.85 cores=0-31
/proc/10113/task/10144/stat : 10144 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 260814 0 0 0 102405 680 0 0 25 0 32 0 737465458 26306351104 5593934 268435456000 4194304 4580107 140734726343776 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 29640.7
Current children cumulated vsize (KiB) 25689796
[startup+3042.3 s]
/proc/loadavg: 31.57 23.65 16.34 33/445 10239
/proc/meminfo: memFree=232509748/264257624 swapFree=67111528/67111528
[pid=10113] ppid=10111 vsize=25649624 CPUtime=31558.6 cores=0-31
/proc/10113/stat : 10113 (strangenight2-m) R 10111 10113 10025 0 -1 4202496 8841912 0 0 0 3128954 26903 0 0 25 0 32 0 737465457 26265214976 5623779 268435456000 4194304 4580107 140734726343776 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/10113/statm: 6412406 5623779 382 95 0 6407388 0
[pid=10113/tid=10114] ppid=10111 vsize=25649624 CPUtime=964 cores=0-31
/proc/10113/task/10114/stat : 10114 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 271293 0 0 0 95615 785 0 0 25 0 32 0 737465458 26265214976 5623780 268435456000 4194304 4580107 140734726343776 18446744073709551615 4399472 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=10113/tid=10115] ppid=10111 vsize=25649624 CPUtime=961.53 cores=0-31
/proc/10113/task/10115/stat : 10115 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 264775 0 0 0 95425 728 0 0 25 0 32 0 737465458 26265214976 5623780 268435456000 4194304 4580107 140734726343776 18446744073709551615 4318432 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=10113/tid=10116] ppid=10111 vsize=25649624 CPUtime=977.18 cores=0-31
/proc/10113/task/10116/stat : 10116 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 239127 0 0 0 96963 755 0 0 25 0 32 0 737465458 26265214976 5623780 268435456000 4194304 4580107 140734726343776 18446744073709551615 4302299 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10113/tid=10117] ppid=10111 vsize=25649624 CPUtime=978.94 cores=0-31
/proc/10113/task/10117/stat : 10117 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 255359 0 0 0 97081 813 0 0 25 0 32 0 737465458 26265214976 5623780 268435456000 4194304 4580107 140734726343776 18446744073709551615 4417803 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10113/tid=10118] ppid=10111 vsize=25649624 CPUtime=972.15 cores=0-31
/proc/10113/task/10118/stat : 10118 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 223571 0 0 0 96310 905 0 0 25 0 32 0 737465458 26265214976 5623780 268435456000 4194304 4580107 140734726343776 18446744073709551615 4292966 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=10113/tid=10119] ppid=10111 vsize=25649624 CPUtime=998.6 cores=0-31
/proc/10113/task/10119/stat : 10119 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 261141 0 0 0 98965 895 0 0 25 0 32 0 737465458 26265214976 5623780 268435456000 4194304 4580107 140734726343776 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=10113/tid=10120] ppid=10111 vsize=25649624 CPUtime=958.2 cores=0-31
/proc/10113/task/10120/stat : 10120 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 247592 0 0 0 95035 785 0 0 25 0 32 0 737465458 26265214976 5623780 268435456000 4194304 4580107 140734726343776 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10113/tid=10121] ppid=10111 vsize=25649624 CPUtime=970.41 cores=0-31
/proc/10113/task/10121/stat : 10121 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 258187 0 0 0 96251 790 0 0 25 0 32 0 737465458 26265214976 5623780 268435456000 4194304 4580107 140734726343776 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=10113/tid=10122] ppid=10111 vsize=25649624 CPUtime=947.36 cores=0-31
/proc/10113/task/10122/stat : 10122 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 289649 0 0 0 93969 767 0 0 25 0 32 0 737465458 26265214976 5623780 268435456000 4194304 4580107 140734726343776 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=10113/tid=10123] ppid=10111 vsize=25649624 CPUtime=981.47 cores=0-31
/proc/10113/task/10123/stat : 10123 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 283510 0 0 0 97337 810 0 0 25 0 32 0 737465458 26265214976 5623780 268435456000 4194304 4580107 140734726343776 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=10113/tid=10124] ppid=10111 vsize=25649624 CPUtime=983.96 cores=0-31
/proc/10113/task/10124/stat : 10124 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 272549 0 0 0 97464 932 0 0 25 0 32 0 737465458 26265214976 5623780 268435456000 4194304 4580107 140734726343776 18446744073709551615 4293308 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=10113/tid=10125] ppid=10111 vsize=25649624 CPUtime=981.2 cores=0-31
/proc/10113/task/10125/stat : 10125 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 288186 0 0 0 97218 902 0 0 25 0 32 0 737465458 26265214976 5623780 268435456000 4194304 4580107 140734726343776 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=10113/tid=10126] ppid=10111 vsize=25649624 CPUtime=1007.01 cores=0-31
/proc/10113/task/10126/stat : 10126 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 311002 0 0 0 99766 935 0 0 25 0 32 0 737465458 26265214976 5623780 268435456000 4194304 4580107 140734726343776 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=10113/tid=10127] ppid=10111 vsize=25649624 CPUtime=999.89 cores=0-31
/proc/10113/task/10127/stat : 10127 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 274791 0 0 0 99120 869 0 0 25 0 32 0 737465458 26265214976 5623780 268435456000 4194304 4580107 140734726343776 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=10113/tid=10128] ppid=10111 vsize=25649624 CPUtime=1012.89 cores=0-31
/proc/10113/task/10128/stat : 10128 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 313377 0 0 0 100422 867 0 0 25 0 32 0 737465458 26265214976 5623780 268435456000 4194304 4580107 140734726343776 18446744073709551615 4301616 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=10113/tid=10129] ppid=10111 vsize=25649624 CPUtime=969.44 cores=0-31
/proc/10113/task/10129/stat : 10129 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 259766 0 0 0 96061 883 0 0 25 0 32 0 737465458 26265214976 5623780 268435456000 4194304 4580107 140734726343776 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=10113/tid=10130] ppid=10111 vsize=25649624 CPUtime=979.74 cores=0-31
/proc/10113/task/10130/stat : 10130 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 300777 0 0 0 97097 877 0 0 25 0 32 0 737465458 26265214976 5623780 268435456000 4194304 4580107 140734726343776 18446744073709551615 4325173 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=10113/tid=10131] ppid=10111 vsize=25649624 CPUtime=977.68 cores=0-31
/proc/10113/task/10131/stat : 10131 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 264625 0 0 0 96817 951 0 0 25 0 32 0 737465458 26265214976 5623780 268435456000 4194304 4580107 140734726343776 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=10113/tid=10132] ppid=10111 vsize=25649624 CPUtime=996.96 cores=0-31
/proc/10113/task/10132/stat : 10132 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 276634 0 0 0 98819 877 0 0 25 0 32 0 737465458 26265214976 5623781 268435456000 4194304 4580107 140734726343776 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=10113/tid=10133] ppid=10111 vsize=25649624 CPUtime=975.78 cores=0-31
/proc/10113/task/10133/stat : 10133 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 246147 0 0 0 96734 844 0 0 25 0 32 0 737465458 26265214976 5623781 268435456000 4194304 4580107 140734726343776 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=10113/tid=10134] ppid=10111 vsize=25649624 CPUtime=1004.02 cores=0-31
/proc/10113/task/10134/stat : 10134 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 295847 0 0 0 99696 706 0 0 25 0 32 0 737465458 26265214976 5623781 268435456000 4194304 4580107 140734726343776 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=10113/tid=10135] ppid=10111 vsize=25649624 CPUtime=985.6 cores=0-31
/proc/10113/task/10135/stat : 10135 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 263157 0 0 0 97698 862 0 0 25 0 32 0 737465458 26265214976 5623781 268435456000 4194304 4580107 140734726343776 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=10113/tid=10136] ppid=10111 vsize=25649624 CPUtime=971.29 cores=0-31
/proc/10113/task/10136/stat : 10136 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 258398 0 0 0 96268 861 0 0 25 0 32 0 737465458 26265214976 5623781 268435456000 4194304 4580107 140734726343776 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10113/tid=10137] ppid=10111 vsize=25649624 CPUtime=1019.49 cores=0-31
/proc/10113/task/10137/stat : 10137 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 291384 0 0 0 101184 765 0 0 25 0 32 0 737465458 26265214976 5623781 268435456000 4194304 4580107 140734726343776 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=10113/tid=10138] ppid=10111 vsize=25649624 CPUtime=975.06 cores=0-31
/proc/10113/task/10138/stat : 10138 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 295000 0 0 0 96622 884 0 0 25 0 32 0 737465458 26265214976 5623781 268435456000 4194304 4580107 140734726343776 18446744073709551615 4302501 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10113/tid=10139] ppid=10111 vsize=25649624 CPUtime=982.17 cores=0-31
/proc/10113/task/10139/stat : 10139 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 282767 0 0 0 97296 921 0 0 25 0 32 0 737465458 26265214976 5623781 268435456000 4194304 4580107 140734726343776 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=10113/tid=10140] ppid=10111 vsize=25649624 CPUtime=950.77 cores=0-31
/proc/10113/task/10140/stat : 10140 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 278842 0 0 0 94250 827 0 0 25 0 32 0 737465458 26265214976 5623781 268435456000 4194304 4580107 140734726343776 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10113/tid=10141] ppid=10111 vsize=25649624 CPUtime=989.78 cores=0-31
/proc/10113/task/10141/stat : 10141 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 288245 0 0 0 98070 908 0 0 25 0 32 0 737465458 26265214976 5623781 268435456000 4194304 4580107 140734726343776 18446744073709551615 4292919 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=10113/tid=10142] ppid=10111 vsize=25649624 CPUtime=1001.6 cores=0-31
/proc/10113/task/10142/stat : 10142 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 275060 0 0 0 99409 751 0 0 25 0 32 0 737465458 26265214976 5623781 268435456000 4194304 4580107 140734726343776 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10113/tid=10143] ppid=10111 vsize=25649624 CPUtime=984.12 cores=0-31
/proc/10113/task/10143/stat : 10143 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 320448 0 0 0 97516 896 0 0 25 0 32 0 737465458 26265214976 5623781 268435456000 4194304 4580107 140734726343776 18446744073709551615 4304887 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=10113/tid=10144] ppid=10111 vsize=25649624 CPUtime=1090.85 cores=0-31
/proc/10113/task/10144/stat : 10144 (strangenight2-m) R 10111 10113 10025 0 -1 4202560 266760 0 0 0 108400 685 0 0 25 0 32 0 737465458 26265214976 5623781 268435456000 4194304 4580107 140734726343776 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 31558.6
Current children cumulated vsize (KiB) 25649624
[startup+3102.3 s]
/proc/loadavg: 31.90 25.19 17.32 2/415 10241
/proc/meminfo: memFree=245908828/264257624 swapFree=67111528/67111528
[pid=10113] ppid=10111 vsize=0 CPUtime=33409.3 cores=0-31
/proc/10113/stat : 10113 (strangenight2-m) Z 10111 10113 10025 0 -1 4203548 8894538 0 0 0 3313809 27120 0 0 21 0 2 0 737465457 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/10113/statm: 0 0 0 0 0 0 0
[pid=10113/tid=10140] ppid=10111 vsize=0 CPUtime=1010.47 cores=0-31
/proc/10113/task/10140/stat : 10140 (strangenight2-m) R 10111 10113 10025 0 -1 4203588 287158 0 0 0 100038 1009 0 0 25 0 2 0 737465458 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 33409.3
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+3102.4 s]
/proc/loadavg: 31.90 25.19 17.32 2/415 10241
/proc/meminfo: memFree=245908828/264257624 swapFree=67111528/67111528
[pid=10113] ppid=10111 vsize=0 CPUtime=33409.4 cores=0-31
/proc/10113/stat : 10113 (strangenight2-m) Z 10111 10113 10025 0 -1 4203548 8894538 0 0 0 3313809 27130 0 0 21 0 2 0 737465457 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/10113/statm: 0 0 0 0 0 0 0
[pid=10113/tid=10140] ppid=10111 vsize=0 CPUtime=1010.57 cores=0-31
/proc/10113/task/10140/stat : 10140 (strangenight2-m) R 10111 10113 10025 0 -1 4203588 287158 0 0 0 100038 1019 0 0 25 0 2 0 737465458 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 33409.4
Current children cumulated vsize (KiB) 0
[startup+3102.6 s]
/proc/loadavg: 31.90 25.19 17.32 2/415 10241
/proc/meminfo: memFree=245908828/264257624 swapFree=67111528/67111528
[pid=10113] ppid=10111 vsize=0 CPUtime=33409.6 cores=0-31
/proc/10113/stat : 10113 (strangenight2-m) Z 10111 10113 10025 0 -1 4203548 8894538 0 0 0 3313809 27150 0 0 21 0 2 0 737465457 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/10113/statm: 0 0 0 0 0 0 0
[pid=10113/tid=10140] ppid=10111 vsize=0 CPUtime=1010.77 cores=0-31
/proc/10113/task/10140/stat : 10140 (strangenight2-m) R 10111 10113 10025 0 -1 4203588 287158 0 0 0 100038 1039 0 0 25 0 2 0 737465458 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 33409.6
Current children cumulated vsize (KiB) 0
[startup+3102.7 s]
/proc/loadavg: 31.90 25.19 17.32 2/415 10241
/proc/meminfo: memFree=245908828/264257624 swapFree=67111528/67111528
[pid=10113] ppid=10111 vsize=0 CPUtime=33409.7 cores=0-31
/proc/10113/stat : 10113 (strangenight2-m) Z 10111 10113 10025 0 -1 4203548 8894538 0 0 0 3313809 27160 0 0 21 0 2 0 737465457 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/10113/statm: 0 0 0 0 0 0 0
[pid=10113/tid=10140] ppid=10111 vsize=0 CPUtime=1010.87 cores=0-31
/proc/10113/task/10140/stat : 10140 (strangenight2-m) R 10111 10113 10025 0 -1 4203588 287158 0 0 0 100038 1049 0 0 25 0 2 0 737465458 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 33409.7
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 3102.74
CPU time (s): 33409.7
CPU user time (s): 33138.1
CPU system time (s): 271.639
CPU usage (%): 1076.78
Max. virtual memory (cumulated for all children) (KiB): 25780696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 33138.1
system time used= 271.639
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8894538
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= 11965273
involuntary context switches= 176151
runsolver used 26.204 second user time and 79.5949 second system time
The end
Launcher Data
Begin job on node200 at 2011-05-24 19:56:30
IDJOB=3400638
IDBENCH=20580
IDSOLVER=1886
FILE ID=node200/3400638-1306259785
RUNJOBID= node200-1306259605-10039
PBS_JOBID= 13411763
Free space on /tmp= 61916 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq7.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400638-1306259785/watcher-3400638-1306259785 -o /tmp/evaluation-result-3400638-1306259785/solver-3400638-1306259785 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400638-1306259785.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 0fbc00fde383cec371bb97d621c5e7e5
RANDOM SEED=1627381009
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: 255040144 kB
Buffers: 464100 kB
Cached: 8348128 kB
SwapCached: 0 kB
Active: 7898976 kB
Inactive: 981788 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255040144 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 137856 kB
Writeback: 0 kB
AnonPages: 69164 kB
Mapped: 14536 kB
Slab: 257908 kB
PageTables: 4440 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 172840 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= 61912 MiB
End job on node200 at 2011-05-24 20:48:13