Trace number 3400869
Some explanations
A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process.
The trace of the execution of a solver is divided into four (or five) parts:
-
SOLVER DATA
This is the output of the solver (stdout and stderr).
Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.
When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.
As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
-
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
-
CONVERSION SCRIPT DATA (Optionnal)
When a conversion script is used, this section shows the messages that were output by the conversion script.
-
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver.
The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
-
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.
Solver answer on this benchmark
General information on the benchmark
| Name | SAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf |
| MD5SUM | 776da55785376fd8eac6989ca812b102 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 63687.7 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 371419 |
| Number of clauses | 7170909 |
| Sum of the clauses size | 20872419 |
| Maximum clause length | 205 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1 |
| Number of clauses of size 2 | 6770451 |
| Number of clauses of size 3 | 92326 |
| Number of clauses of size 4 | 8862 |
| Number of clauses of size 5 | 23554 |
| Number of clauses of size over 5 | 275715 |
Solver Data
0.00/0.00 c Outputting solution to console
0.00/0.06 c Using 32 threads
0.00/0.07 c This is CryptoMiniSat 3.0.0
0.00/0.07 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07 c Reading file 'HOME/instance-3400869-1307086448.cnf'
0.00/0.10 c -- header says num vars: 371419
0.00/0.10 c -- header says num clauses: 7170909
408.81/29.53 c -- clauses added: 0 learnts, 7170909 normals, 0 xors
408.81/29.53 c -- vars added 371419
408.81/29.53 c Parsing time: 6.34 s
408.81/29.53 c N st 0 0 371419 400457 6770451 0 20872418 0 no data no data
440.67/31.08 c asymm cl-useful: 23/27/400448 lits-rem:822 time: 0.94
835.64/43.42 c Flit: 252 Blit: 91852 bXBeca: 0 bXProp: 3696 Bins: 0 BRemL: 0 BRemN: 0 P: 200.4M T: 12.24
870.80/44.59 c Cleaning up after failed var search: 1.16 s
901.02/45.53 c Replacing 3696 vars Replaced 244272 lits Time: 0.92 s
1063.53/54.91 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.02 s
1084.49/55.85 c bin-w-bin subsume rem 7 bins time: 0.94 s
1414.01/66.22 c subs with bin: 14521 lits-rem: 75534 v-fix: 0 time: 10.35 s
1601.32/72.45 c Subs w/ non-existent bins: 8 l-rem: 8 v-fix: 0 done: 27391 time: 5.78 s
1620.47/73.05 c Removed useless bin: 985 fixed: 0 props: 20.00M time: 0.59 s
2357.09/96.57 c lits-rem: 72826 cl-subs: 25623 v-elim: 69532 v-fix: 0 time: 21.87 s
2366.87/96.83 c Finding binary XORs T: 0.25 s found: 729
2388.03/97.56 c Replacing 729 vars Replaced 192547 lits Time: 0.72 s
2429.04/98.86 c Finding non-binary XORs: 1.09 s (found: 0, avg size: nan)
2429.04/98.86 c calculated reachability. Time: 0.01
2436.01/99.08 c Calc default polars - time: 0.22 s pos: 26427 undec: 174060 neg: 170932
2436.01/99.08 c =========================================================================================
2436.01/99.08 c types(t): F = full restart, N = normal restart
2436.01/99.08 c types(t): S = simplification begin/end, E = solution found
2436.01/99.08 c restart types(rt): st = static, dy = dynamic
2436.01/99.08 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
2436.01/99.08 c B st 0 0 197768 365014 4501560 0 14983338 0 no data no data
3266.22/125.07 c N dy 17 4283 197768 365014 4501703 4057 14983331 151817 20.49 21.69
3847.89/143.22 c N dy 39 8377 189671 345331 4381330 7791 14516328 310396 21.00 42.92
4330.47/158.36 c N dy 63 12440 189659 345331 4386027 11711 14516312 489549 22.11 23.39
4672.41/169.01 c N dy 82 16707 189643 345331 4386098 15801 14516305 684956 21.84 23.18
4908.74/176.43 c N dy 92 20944 188245 345331 4390960 10417 14516303 275309 21.01 22.14
5279.44/188.11 c F st 113 25000 188228 345331 4393130 14362 14516276 474641 20.91 no data
5324.17/189.41 c N st 113 25000 188228 339454 4373333 14359 14432626 474532 20.91 no data
5835.55/205.48 c N dy 119 30000 188228 339454 4373401 19248 14432626 727026 20.91 no data
5835.55/205.49 c S st 119 30000 188228 339454 4373401 19248 14432626 727026 20.91 no data
5909.08/207.71 c S st 119 30501 188224 339454 4373499 19643 14432626 732205 20.91 no data
5919.26/208.06 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.35
6698.59/232.48 c Flit: 127 Blit: 2784 bXBeca: 0 bXProp: 2681 Bins: 737282 BRemL: 10664 BRemN: 1410 P: 200.4M T: 24.39
6708.19/232.78 c Cleaning up after failed var search: 0.29 s
6733.75/233.58 c Replacing 2681 vars Replaced 430617 lits Time: 0.79 s
6874.37/237.95 c blocked clauses removed: 19751 vars: 19811 tried: 253775 T: 3.45 s
6890.35/238.48 c bin-w-bin subsume rem 10267 bins time: 0.53 s
7130.05/245.98 c subs with bin: 19676 lits-rem: 361609 v-fix: 0 time: 7.49 s
7209.78/248.42 c Subs w/ non-existent bins: 118 l-rem: 2747 v-fix: 0 done: 35795 time: 2.21 s
7232.14/249.12 c Removed useless bin: 47479 fixed: 0 props: 20.02M time: 0.65 s
7507.04/257.79 c lits-rem: 11162 cl-subs: 6170 v-elim: 15329 v-fix: 0 time: 8.64 s
7554.99/259.23 c subs with bin: 78 lits-rem: 17321 v-fix: 0 time: 1.23 s
7762.74/265.80 c lits-rem: 14470 cl-subs: 4170 v-elim: 0 v-fix: 0 time: 6.10 s
7794.70/266.79 c asymm cl-useful: 39/850/299155 lits-rem:638 time: 1.00
7801.10/266.95 c calculated reachability. Time: 0.02
7801.10/266.96 c N dy 119 30501 147489 299155 3194975 17138 9860641 1125611 20.91 no data
7807.50/267.16 c Finding binary XORs T: 0.20 s found: 637
8144.09/280.12 c N dy 145 34592 145653 291692 3099393 21111 9592171 1260465 21.06 29.35
8683.93/304.48 c N dy 174 39252 145202 291692 3110320 25633 9592160 1477866 21.51 24.65
8862.21/310.10 c N dy 179 44029 145202 291692 3110356 15919 9592159 964697 20.63 22.40
9030.89/315.40 c S st 194 45752 144728 291692 3135153 17596 9592157 1104879 20.81 no data
9101.20/317.55 c S st 194 46252 144728 291692 3135209 18039 9592157 1108851 20.81 no data
9110.79/317.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.28
9811.85/339.96 c Flit: 365 Blit: 394 bXBeca: 0 bXProp: 281 Bins: 144549 BRemL: 8759 BRemN: 990 P: 200.3M T: 22.05
9817.23/340.15 c Cleaning up after failed var search: 0.18 s
9838.95/340.80 c Replacing 920 vars Replaced 309672 lits Time: 0.60 s
9858.05/341.42 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.02 s
9877.01/342.08 c bin-w-bin subsume rem 35220 bins time: 0.67 s
10099.98/349.14 c subs with bin: 17547 lits-rem: 295760 v-fix: 0 time: 7.05 s
10200.71/352.32 c Subs w/ non-existent bins: 502 l-rem: 603 v-fix: 0 done: 18680 time: 3.17 s
10216.62/352.87 c Removed useless bin: 3918 fixed: 0 props: 20.01M time: 0.53 s
10528.91/362.66 c lits-rem: 1871 cl-subs: 5557 v-elim: 7636 v-fix: 0 time: 9.78 s
10560.86/363.62 c subs with bin: 546 lits-rem: 31960 v-fix: 0 time: 0.80 s
10595.71/364.75 c lits-rem: 10304 cl-subs: 1075 v-elim: 0 v-fix: 0 time: 0.72 s
10633.05/365.95 c asymm cl-useful: 16/1006/295588 lits-rem:392 time: 1.10
10636.21/366.10 c calculated reachability. Time: 0.01
10639.41/366.10 c N dy 194 46252 135425 295588 2973941 14454 9012191 901307 20.81 no data
10642.61/366.29 c Finding binary XORs T: 0.19 s found: 66
11083.95/382.57 c N dy 221 50344 134804 295588 3082162 18425 9012191 1297000 21.06 32.92
11264.87/390.68 c N dy 247 54357 134397 295588 3082189 22293 9012191 1510089 21.13 34.78
11311.48/392.80 c Finding binary XORs T: 0.19 s found: 129
11947.84/426.50 c N dy 280 58422 134390 294424 3189292 26274 8976825 1967747 21.51 22.74
12178.98/434.73 c N dy 314 62506 133735 294424 3191422 30260 8976818 2172908 21.80 29.30
12340.36/439.91 c Finding binary XORs T: 0.19 s found: 42
12513.05/445.43 c N dy 350 66537 132710 292313 3142130 17209 8870740 1310591 22.21 29.72
12745.46/453.11 c S st 375 69378 132591 292313 3150249 20009 8870736 1477790 22.50 20.15
12798.57/454.95 c S st 375 69879 132590 292313 3150316 20439 8870736 1482661 22.50 no data
12808.15/455.23 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.28
13571.23/479.11 c Flit: 460 Blit: 1222 bXBeca: 0 bXProp: 45 Bins: 254909 BRemL: 2291 BRemN: 6397 P: 200.1M T: 23.87
13577.63/479.34 c Cleaning up after failed var search: 0.22 s
13599.99/480.04 c Replacing 282 vars Replaced 423991 lits Time: 0.70 s
13619.18/480.61 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
13676.72/482.43 c bin-w-bin subsume rem 169157 bins time: 1.82 s
13849.34/487.90 c subs with bin: 21486 lits-rem: 38125 v-fix: 0 time: 5.47 s
13986.78/492.16 c Subs w/ non-existent bins: 2430 l-rem: 4283 v-fix: 0 done: 11394 time: 4.25 s
14002.77/492.69 c Removed useless bin: 4931 fixed: 0 props: 20.06M time: 0.53 s
14168.98/497.82 c lits-rem: 2285 cl-subs: 7212 v-elim: 3626 v-fix: 0 time: 5.13 s
14200.94/498.81 c subs with bin: 209 lits-rem: 6361 v-fix: 0 time: 0.81 s
14232.54/499.89 c lits-rem: 6899 cl-subs: 897 v-elim: 0 v-fix: 0 time: 0.69 s
14264.50/500.89 c asymm cl-useful: 18/876/277769 lits-rem:200 time: 1.00
14270.89/501.04 c calculated reachability. Time: 0.01
14270.89/501.04 c N dy 375 69879 127006 277769 3089447 17796 8595245 1432262 22.50 no data
14277.29/501.23 c Finding binary XORs T: 0.19 s found: 12
14648.08/512.89 c N dy 410 74409 127006 277769 3089464 22256 8595239 1678978 22.92 39.42
14990.87/528.40 c N dy 446 79186 126853 277769 3101246 26938 8595239 1936928 23.26 25.11
15580.19/617.42 c F st 461 87500 126828 277769 3152542 34766 8595239 2471309 22.57 16.55
15588.28/618.07 c Replacing 12 vars Replaced 3534 lits Time: 0.35 s
15600.67/618.76 c Found part 176 vars: 126760 clauses: 2849476 lits size: 8548351
15600.67/618.76 c Found part 177 vars: 2 clauses: 1 lits size: 2
15600.67/618.76 c Found part 178 vars: 2 clauses: 1 lits size: 2
15600.67/618.76 c Found part 179 vars: 2 clauses: 1 lits size: 2
15600.67/618.76 c Found parts: 4 time: 1.33 s
15600.67/618.76 c Solving part 177
15610.73/619.20 c N st 0 0 2 0 1 0 2 0 no data no data
15610.73/619.20 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
15610.73/619.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
15610.73/619.23 c Finding binary XORs T: 0.03 s found: 0
15610.73/619.23 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
15610.73/619.23 c calculated reachability. Time: 0.00
15610.73/619.24 c Calc default polars - time: 0.01 s pos: 0 undec: 371417 neg: 2
15610.73/619.24 c =========================================================================================
15610.73/619.24 c types(t): F = full restart, N = normal restart
15610.73/619.24 c types(t): S = simplification begin/end, E = solution found
15610.73/619.24 c restart types(rt): st = static, dy = dynamic
15610.73/619.24 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
15610.73/619.24 c B st 0 0 2 0 1 0 2 0 no data no data
15610.73/619.24 c E st 1 0 0 0 1 0 2 0 no data no data
15610.73/619.26 c Verified 0 clauses.
15610.73/619.26 c Verified 0 clauses.
15610.73/619.26 c Solved part
15610.73/619.26 c =========================================================================================
15610.73/619.27 c Solving part 178
15621.45/619.70 c N st 0 0 2 0 1 0 2 0 no data no data
15621.45/619.70 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
15621.45/619.71 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
15621.45/619.73 c Finding binary XORs T: 0.02 s found: 0
15621.45/619.74 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
15621.45/619.74 c calculated reachability. Time: 0.00
15621.45/619.74 c Calc default polars - time: 0.01 s pos: 0 undec: 371417 neg: 2
15621.45/619.74 c =========================================================================================
15621.45/619.74 c types(t): F = full restart, N = normal restart
15621.45/619.74 c types(t): S = simplification begin/end, E = solution found
15621.45/619.74 c restart types(rt): st = static, dy = dynamic
15621.45/619.74 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
15621.45/619.74 c B st 0 0 2 0 1 0 2 0 no data no data
15621.45/619.74 c E st 1 0 0 0 1 0 2 0 no data no data
15621.45/619.76 c Verified 0 clauses.
15621.45/619.76 c Verified 0 clauses.
15621.45/619.76 c Solved part
15621.45/619.76 c =========================================================================================
15621.45/619.78 c Solving part 179
15633.33/620.23 c N st 0 0 2 0 1 0 2 0 no data no data
15633.33/620.23 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
15633.33/620.23 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
15633.33/620.26 c Finding binary XORs T: 0.03 s found: 0
15633.33/620.26 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
15633.33/620.26 c calculated reachability. Time: 0.00
15633.33/620.27 c Calc default polars - time: 0.01 s pos: 0 undec: 371417 neg: 2
15633.33/620.27 c =========================================================================================
15633.33/620.27 c types(t): F = full restart, N = normal restart
15633.33/620.27 c types(t): S = simplification begin/end, E = solution found
15633.33/620.27 c restart types(rt): st = static, dy = dynamic
15633.33/620.27 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
15633.33/620.27 c B st 0 0 2 0 1 0 2 0 no data no data
15633.33/620.27 c E st 1 0 0 0 1 0 2 0 no data no data
15633.33/620.29 c Verified 0 clauses.
15633.33/620.29 c Verified 0 clauses.
15633.33/620.29 c Solved part
15633.33/620.29 c =========================================================================================
15635.93/620.31 c Coming back to original instance
15635.93/620.31 c =========================================================================================
15635.93/620.31 c N st 461 87500 126810 274385 3135438 34617 8548351 2450964 22.57 16.55
15652.03/620.97 c Finding binary XORs T: 0.18 s found: 53
15854.19/628.11 c N dy 470 93083 125459 270957 2968060 21558 8476421 1336551 22.58 24.92
16212.82/639.22 c N dy 514 99076 125459 270957 2982394 27429 8476415 1691129 22.85 37.42
16566.98/650.31 c S st 554 104819 125409 270957 2986707 33032 8476410 2009044 23.12 no data
16637.30/652.51 c S st 554 105319 125408 270957 2986745 33490 8476410 2012535 23.12 no data
16643.70/652.76 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.26
17378.80/675.72 c Flit: 188 Blit: 27 bXBeca: 0 bXProp: 14 Bins:1500107 BRemL: 2988 BRemN: 107 P: 200.0M T: 22.94
17378.80/675.73 c Cleaning up after failed var search: 0.00 s
17408.21/676.67 c Replacing 67 vars Replaced 211089 lits Time: 0.93 s
17426.76/677.23 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
17455.52/678.15 c bin-w-bin subsume rem 101190 bins time: 0.91 s
17614.65/683.36 c subs with bin: 8127 lits-rem: 28126 v-fix: 0 time: 5.22 s
17657.71/685.06 c Subs w/ non-existent bins: 269 l-rem: 190 v-fix: 0 done: 30897 time: 1.68 s
17668.18/685.48 c Removed useless bin: 3482 fixed: 0 props: 20.03M time: 0.41 s
17741.37/688.80 c lits-rem: 985 cl-subs: 4156 v-elim: 2243 v-fix: 0 time: 3.31 s
17771.42/690.78 c subs with bin: 368 lits-rem: 10781 v-fix: 0 time: 1.75 s
17787.61/692.03 c lits-rem: 15278 cl-subs: 1478 v-elim: 0 v-fix: 0 time: 0.91 s
17793.80/692.68 c asymm cl-useful: 33/825/264942 lits-rem:223 time: 0.65
17795.80/692.83 c calculated reachability. Time: 0.01
17795.80/692.83 c N dy 554 105319 122883 264942 3581094 29734 8372973 3103597 23.12 no data
17797.98/693.02 c Finding binary XORs T: 0.19 s found: 1
19436.99/1359.53 c N dy 608 112156 122352 264942 3668441 36452 8372973 3659266 23.61 26.05
19671.66/1377.71 c Finding binary XORs T: 0.20 s found: 63
19754.77/1380.33 c N dy 659 119423 121043 260893 3139554 23501 8276747 1785979 24.04 25.38
20292.39/1397.18 c N dy 706 127047 120116 260893 3146988 30981 8276742 2264371 24.32 31.91
20729.67/1410.84 c N dy 740 135197 120116 260893 3151068 38873 8276741 2750439 24.14 39.81
21426.45/1432.65 c N dy 808 144255 120111 260893 3163304 25664 8276733 1874419 24.54 25.88
22191.01/1456.56 c N dy 891 153542 120096 260893 3164863 34810 8276715 2440679 25.11 26.52
22561.18/1468.18 c Finding binary XORs T: 0.19 s found: 34
22570.77/1468.49 c S st 927 157979 119384 257786 2959768 38919 8170965 2371946 25.38 25.17
22637.90/1470.57 c S st 927 158479 119384 257786 2959800 39387 8170965 2376036 25.38 no data
22648.08/1470.84 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.26
23433.81/1495.41 c Flit: 158 Blit: 187 bXBeca: 0 bXProp: 8 Bins:1154101 BRemL: 2357 BRemN: 238 P: 200.0M T: 24.56
23433.81/1495.42 c Cleaning up after failed var search: 0.00 s
23465.76/1496.43 c Replacing 106 vars Replaced 232090 lits Time: 1.00 s
23481.76/1496.98 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
23504.13/1497.69 c bin-w-bin subsume rem 51605 bins time: 0.71 s
23673.52/1502.97 c subs with bin: 6062 lits-rem: 19859 v-fix: 0 time: 5.28 s
23750.23/1505.35 c Subs w/ non-existent bins: 1074 l-rem: 3397 v-fix: 0 done: 27069 time: 2.37 s
23770.00/1505.97 c Removed useless bin: 29767 fixed: 0 props: 20.01M time: 0.62 s
23932.42/1511.07 c lits-rem: 2574 cl-subs: 5664 v-elim: 3266 v-fix: 0 time: 5.09 s
24005.95/1513.37 c subs with bin: 140 lits-rem: 6818 v-fix: 0 time: 2.02 s
24060.28/1515.04 c lits-rem: 25034 cl-subs: 1385 v-elim: 0 v-fix: 0 time: 1.29 s
24095.44/1516.10 c asymm cl-useful: 237/849/253648 lits-rem:312 time: 1.06
24098.64/1516.27 c calculated reachability. Time: 0.01
24098.64/1516.28 c N dy 927 158479 115682 253648 3899825 34669 7959690 4241882 25.38 no data
24105.03/1516.49 c Finding binary XORs T: 0.21 s found: 1
24687.38/1546.22 c N dy 995 168596 115533 253648 3912677 22453 7959675 3366372 25.62 27.14
25805.63/1891.19 c N dy 1076 179441 114578 253648 3939902 33075 7959667 4057224 25.94 40.11
26236.97/1955.36 c Finding binary XORs T: 0.19 s found: 43
26715.78/1975.77 c N dy 1165 190986 114473 253145 3361884 44420 7929015 3585846 26.26 36.14
27603.76/2003.57 c N dy 1269 203252 114422 253145 3385553 32177 7929013 2788236 26.73 48.57
28460.44/2030.31 c N dy 1376 216364 114421 253145 3388867 45153 7929006 3619555 27.02 28.50
28998.06/2047.18 c Finding binary XORs T: 0.19 s found: 11
29490.28/2062.60 c N dy 1474 230231 114420 252376 3384231 32950 7912045 2743400 27.33 28.86
29984.87/2078.20 c S st 1522 237718 113260 247064 3028949 39785 7812987 2503038 27.41 no data
30034.51/2080.25 c S st 1522 238218 113258 247064 3028974 40258 7812987 2507170 27.41 no data
30038.21/2080.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.24
30183.06/2092.40 c Flit: 372 Blit: 896 bXBeca: 0 bXProp: 27 Bins: 314357 BRemL: 7183 BRemN: 6962 P: 200.0M T: 11.91
30183.56/2092.58 c Cleaning up after failed var search: 0.17 s
30188.15/2093.44 c Replacing 82 vars Replaced 232328 lits Time: 0.85 s
30190.06/2093.88 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
30193.14/2094.44 c bin-w-bin subsume rem 33753 bins time: 0.55 s
30214.10/2098.44 c subs with bin: 7761 lits-rem: 21361 v-fix: 0 time: 4.00 s
30223.20/2100.21 c Subs w/ non-existent bins: 576 l-rem: 2227 v-fix: 2 done: 35376 time: 1.77 s
30224.54/2100.53 c Removed useless bin: 4732 fixed: 0 props: 20.01M time: 0.32 s
30240.70/2104.83 c lits-rem: 2164 cl-subs: 6569 v-elim: 3016 v-fix: 0 time: 4.30 s
30248.30/2106.73 c subs with bin: 218 lits-rem: 11418 v-fix: 0 time: 1.64 s
30254.26/2108.24 c lits-rem: 50573 cl-subs: 2277 v-elim: 0 v-fix: 0 time: 1.21 s
30256.12/2108.74 c asymm cl-useful: 100/841/237517 lits-rem:242 time: 0.50
30256.52/2108.88 c calculated reachability. Time: 0.01
30256.52/2108.88 c N dy 1522 238218 108902 237517 2984874 36541 7582926 2412723 27.41 no data
30257.24/2109.06 c Finding binary XORs T: 0.18 s found: 2
31118.96/2230.76 c N dy 1640 253500 108851 237517 3039768 51557 7582925 3458014 27.78 51.00
31228.24/2234.22 c Finding binary XORs T: 0.18 s found: 18
32142.44/2262.78 c N dy 1756 269700 108835 237489 3048165 41467 7581393 2761123 28.00 29.94
33049.63/2291.19 c N dy 1853 286984 108835 237489 3048906 30584 7581361 1998956 28.11 30.41
34255.34/2328.86 c N dy 1987 305325 108803 237489 3051788 48675 7581304 3134196 28.39 45.79
34331.43/2331.27 c F st 1995 306251 108803 237489 3051789 49586 7581304 3185583 28.40 no data
34347.38/2331.78 c Replacing 20 vars Replaced 16059 lits Time: 0.34 s
35482.76/2367.26 c N dy 2099 324990 108782 236643 2991623 38798 7566154 2325992 28.59 30.22
36706.39/2405.56 c N dy 2242 345025 108782 236643 2992336 58539 7566108 3617454 28.87 32.21
37483.15/2429.82 c S st 2340 357327 108781 236643 2992929 40515 7566108 2397010 29.05 no data
37560.49/2432.27 c S st 2340 357827 108780 236643 2992940 41000 7566108 2401846 29.05 no data
37569.44/2432.52 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.24
38247.09/2453.76 c Flit: 401 Blit: 1037 bXBeca: 0 bXProp: 56 Bins: 410727 BRemL: 10724 BRemN: 2167 P: 200.0M T: 21.24
38253.48/2453.97 c Cleaning up after failed var search: 0.20 s
38295.63/2455.24 c Replacing 56 vars Replaced 232991 lits Time: 1.26 s
38311.01/2455.73 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
38336.58/2456.58 c bin-w-bin subsume rem 41285 bins time: 0.85 s
38478.57/2461.37 c subs with bin: 6025 lits-rem: 14027 v-fix: 0 time: 4.78 s
38514.52/2462.89 c Subs w/ non-existent bins: 67 l-rem: 434 v-fix: 0 done: 30080 time: 1.52 s
38522.79/2463.24 c Removed useless bin: 7270 fixed: 0 props: 20.03M time: 0.35 s
38587.28/2467.16 c lits-rem: 983 cl-subs: 4583 v-elim: 1583 v-fix: 2 time: 3.91 s
38611.98/2469.10 c subs with bin: 191 lits-rem: 3984 v-fix: 0 time: 1.70 s
38623.88/2470.37 c lits-rem: 15212 cl-subs: 1151 v-elim: 0 v-fix: 0 time: 0.96 s
38629.88/2471.00 c asymm cl-useful: 117/596/230452 lits-rem:917 time: 0.63
38631.88/2471.13 c calculated reachability. Time: 0.01
38631.88/2471.14 c N dy 2340 357827 105701 230449 3154468 38907 7467217 2740319 29.05 no data
38633.88/2471.31 c Finding binary XORs T: 0.18 s found: 5
40084.62/2626.56 c Finding binary XORs T: 0.19 s found: 34
40142.15/2628.40 c N dy 2486 377832 104194 226914 3111394 58256 7392724 3940677 29.32 31.04
41561.39/2672.75 c N dy 2630 397853 104194 226914 3112115 47103 7392703 3138905 29.58 42.18
42919.89/2715.24 c N dy 2769 417928 104193 226914 3112804 34791 7392683 2241347 29.79 31.52
44281.98/2757.85 c N dy 2921 437962 104193 226914 3113484 54548 7392674 3580000 30.11 53.22
45539.83/2797.28 c N dy 3060 458081 104066 226914 3122367 41000 7392662 2615702 30.32 32.56
46869.54/2838.89 c N dy 3203 478107 104064 226914 3123019 60669 7392661 3873358 30.52 47.21
48151.31/2878.98 c N dy 3357 498169 103750 226914 3125315 46122 7392660 2871249 30.76 47.94
48413.44/2887.13 c Finding binary XORs T: 0.19 s found: 61
49318.03/2915.49 c N dy 3479 518195 103158 225953 2911672 65733 7350223 3703913 30.84 40.27
50340.88/2947.46 c S st 3595 536740 102303 225953 2912064 48616 7350223 2569221 30.92 no data
50414.40/2949.77 c S st 3595 537240 102294 225953 2912075 49105 7350223 2573999 30.92 no data
50424.00/2950.03 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.26
51037.72/2969.27 c Flit: 54 Blit: 419 bXBeca: 0 bXProp: 15 Bins: 186198 BRemL: 22150 BRemN: 148 P: 200.0M T: 19.24
51047.34/2969.52 c Cleaning up after failed var search: 0.24 s
51085.67/2970.75 c Replacing 115 vars Replaced 258598 lits Time: 1.21 s
51102.28/2971.24 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
51127.23/2972.06 c bin-w-bin subsume rem 49724 bins time: 0.82 s
51290.25/2977.15 c subs with bin: 5465 lits-rem: 20674 v-fix: 0 time: 5.10 s
51345.20/2978.86 c Subs w/ non-existent bins: 56 l-rem: 960 v-fix: 0 done: 43561 time: 1.70 s
51360.58/2979.35 c Removed useless bin: 20898 fixed: 0 props: 20.02M time: 0.48 s
51556.17/2985.51 c lits-rem: 3203 cl-subs: 7874 v-elim: 4388 v-fix: 0 time: 6.16 s
51626.50/2987.68 c subs with bin: 547 lits-rem: 6107 v-fix: 0 time: 1.95 s
51696.77/2989.87 c lits-rem: 35114 cl-subs: 1911 v-elim: 0 v-fix: 0 time: 1.84 s
51737.75/2991.11 c asymm cl-useful: 245/733/213469 lits-rem:3932 time: 1.23
51740.92/2991.24 c calculated reachability. Time: 0.01
51740.92/2991.25 c N dy 3595 537240 97334 213443 2750692 43454 7129379 2278910 30.92 no data
51747.32/2991.43 c Finding binary XORs T: 0.18 s found: 8
52990.40/3031.93 c N dy 3744 557274 97319 213443 2803516 63261 7129374 3703173 31.12 33.31
53163.01/3037.36 c Finding binary XORs T: 0.17 s found: 4
54061.20/3065.44 c N dy 3849 577277 96586 213441 2805533 48144 7129104 2523661 31.10 37.94
55243.49/3102.44 c N dy 4016 597348 96486 213441 2821534 67891 7129093 3962085 31.37 42.81
55751.73/3118.33 c Finding binary XORs T: 0.17 s found: 32
56368.60/3137.63 c N dy 4160 617439 95377 209788 2679986 50345 7047323 2451859 31.51 42.84
57439.37/3171.20 c N dy 4309 637450 95328 209788 2686689 70056 7047322 3819363 31.71 43.02
58471.83/3203.47 c N dy 4436 657549 95315 209788 2688180 52210 7047311 2494895 31.77 47.87
59501.06/3235.66 c N dy 4570 677574 95275 209788 2691641 71880 7047306 3788376 31.88 34.65
59951.79/3249.70 c Finding binary XORs T: 0.17 s found: 65
60614.07/3270.49 c N dy 4713 697689 95260 209781 2696890 52668 7045196 2419091 31.99 33.70
61716.23/3304.92 c N dy 4854 717746 95204 209781 2697900 72344 7045179 3712708 32.10 34.56
62745.49/3337.19 c N dy 4968 738005 94929 209781 2700427 52114 7045159 2306483 32.11 35.91
63685.56/3381.78 c Following stats are for *FIRST FINISHED THREAD ONLY*
63685.56/3381.78 c num threads : 32
63685.56/3381.78 c restarts : 5388
63685.56/3381.78 c dynamic restarts : 5364
63685.56/3381.78 c static restarts : 24
63685.56/3381.78 c full restarts : 3
63685.56/3381.78 c total simplify time : 11.67
63685.56/3381.78 c learnts DL2 : 0
63685.56/3381.78 c learnts size 2 : 12765720
63685.56/3381.78 c learnts size 1 : 146387 (39.41 % of vars)
63685.56/3381.78 c filedLit time : 135.42 (6.80 % time)
63685.56/3381.78 c v-elim SatELite : 133475 (35.94 % vars)
63685.56/3381.78 c SatELite time : 84.97 (4.27 % time)
63685.56/3381.78 c v-elim xor : 0 (0.00 % vars)
63685.56/3381.78 c xor elim time : 1.74 (0.09 % time)
63685.56/3381.78 c num binary xor trees : 5645
63685.56/3381.78 c binxor trees' crown : 8992 (1.59 leafs/tree)
63685.56/3381.78 c bin xor find time : 4.33
63685.56/3381.78 c OTF clause improved : 13283 (0.02 clauses/conflict)
63685.56/3381.78 c OTF impr. size diff : 20953 (1.58 lits/clause)
63685.56/3381.78 c OTF cl watch-shrink : 434233 (0.54 clauses/conflict)
63685.56/3381.78 c OTF cl watch-sh-lit : 2297696 (5.29 lits/clause)
63685.56/3381.78 c tried to recurMin cls : 0 (0.00 % of conflicts)
63685.56/3381.78 c updated cache : 0 (nan lits/tried recurMin)
63685.56/3381.78 c unit cls recevied : 14305 (9.77 % of units)
63685.56/3381.78 c unit cls sent : 1833 (1.25 % of units)
63685.56/3381.78 c bin cls recevied : 3682923
63685.56/3381.78 c bin cls sent : 1477246
63685.56/3381.78 c clauses over max glue : 0 (0.00 % of all clauses)
63685.56/3381.78 c conflicts : 803316 (403.63 / sec)
63685.56/3381.78 c decisions : 243741974 (0.08 % random)
63685.56/3381.78 c bogo-props : 16058193327 (8068582.53 / sec)
63685.56/3381.78 c conflict literals : 49284966 (17.37 % deleted)
63685.56/3381.78 c Memory used : 26711.48 MB
63685.56/3381.78 c single-thread CPU time : 1990.21 s
63685.56/3381.78 c all-threads sum CPU time : 63392.74 s
63685.56/3381.78 s UNSATISFIABLE
Verifier Data
No possible verification on an UNSAT instance
Watcher Data
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400869-1307086448/watcher-3400869-1307086448 -o /tmp/evaluation-result-3400869-1307086448/solver-3400869-1307086448 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400869-1307086448.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 267264000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 267315200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 25.68 30.49 31.47 1/413 13211
/proc/meminfo: memFree=262851684/264257624 swapFree=67054988/67111528
[pid=13211] ppid=13209 vsize=338000 CPUtime=0.73 cores=0-31
/proc/13211/stat : 13211 (strangenight2-m) R 13209 13211 13067 0 -1 4202496 438 0 0 0 73 0 0 0 22 0 32 0 14557780 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677938 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/13211/statm: 84500 377 297 95 0 79482 0
[pid=13211/tid=13212] ppid=13209 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13211/task/13212/stat : 13212 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 14557780 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677942 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13211/tid=13213] ppid=13209 vsize=338000 CPUtime=0.01 cores=0-31
/proc/13211/task/13213/stat : 13213 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 32 0 14557780 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677938 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=13211/tid=13214] ppid=13209 vsize=338000 CPUtime=0.01 cores=0-31
/proc/13211/task/13214/stat : 13214 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 0 0 0 0 1 0 0 0 19 0 32 0 14557780 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677932 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=13211/tid=13215] ppid=13209 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13211/task/13215/stat : 13215 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 14557780 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677928 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13211/tid=13216] ppid=13209 vsize=338000 CPUtime=0.01 cores=0-31
/proc/13211/task/13216/stat : 13216 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 0 0 0 0 1 0 0 0 19 0 32 0 14557780 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677942 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=13211/tid=13217] ppid=13209 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13211/task/13217/stat : 13217 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 14557780 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677938 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=13211/tid=13218] ppid=13209 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13211/task/13218/stat : 13218 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 14557780 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677932 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=13211/tid=13219] ppid=13209 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13211/task/13219/stat : 13219 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 14557780 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13211/tid=13220] ppid=13209 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13211/task/13220/stat : 13220 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 14557780 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13211/tid=13221] ppid=13209 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13211/task/13221/stat : 13221 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 14557780 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13211/tid=13222] ppid=13209 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13211/task/13222/stat : 13222 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 14557780 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677938 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=13211/tid=13223] ppid=13209 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13211/task/13223/stat : 13223 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 14557780 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677938 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=13211/tid=13224] ppid=13209 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13211/task/13224/stat : 13224 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 14557780 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677932 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13211/tid=13225] ppid=13209 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13211/task/13225/stat : 13225 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 14557780 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677938 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=13211/tid=13226] ppid=13209 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13211/task/13226/stat : 13226 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 14557780 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677938 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=13211/tid=13227] ppid=13209 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13211/task/13227/stat : 13227 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 14557780 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677938 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=13211/tid=13228] ppid=13209 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13211/task/13228/stat : 13228 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 14557780 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677928 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=13211/tid=13229] ppid=13209 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13211/task/13229/stat : 13229 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 14557780 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677932 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=13211/tid=13230] ppid=13209 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13211/task/13230/stat : 13230 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 14557780 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677938 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=13211/tid=13231] ppid=13209 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13211/task/13231/stat : 13231 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 14557780 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677932 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=13211/tid=13232] ppid=13209 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13211/task/13232/stat : 13232 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 14557780 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677942 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13211/tid=13233] ppid=13209 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13211/task/13233/stat : 13233 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 14557780 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677938 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=13211/tid=13234] ppid=13209 vsize=338000 CPUtime=0 cores=0-31
/proc/13211/task/13234/stat : 13234 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 14557780 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=13211/tid=13235] ppid=13209 vsize=338000 CPUtime=0 cores=0-31
/proc/13211/task/13235/stat : 13235 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 32 0 14557780 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=13211/tid=13236] ppid=13209 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13211/task/13236/stat : 13236 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 14557780 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677932 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13211/tid=13237] ppid=13209 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13211/task/13237/stat : 13237 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 14557780 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677938 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=13211/tid=13238] ppid=13209 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13211/task/13238/stat : 13238 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 14557780 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677938 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=13211/tid=13239] ppid=13209 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13211/task/13239/stat : 13239 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 14557780 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677942 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=13211/tid=13240] ppid=13209 vsize=338000 CPUtime=0.01 cores=0-31
/proc/13211/task/13240/stat : 13240 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 32 0 14557781 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677938 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=13211/tid=13241] ppid=13209 vsize=338000 CPUtime=0 cores=0-31
/proc/13211/task/13241/stat : 13241 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 32 0 14557781 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=13211/tid=13242] ppid=13209 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13211/task/13242/stat : 13242 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 14557781 346112000 377 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677938 0 0 4096 2 0 0 0 -1 19 0 0 0
[startup+0.123024 s]
/proc/loadavg: 25.68 30.49 31.47 1/413 13211
/proc/meminfo: memFree=262851684/264257624 swapFree=67054988/67111528
[pid=13211] ppid=13209 vsize=1257784 CPUtime=2.54 cores=0-31
/proc/13211/stat : 13211 (strangenight2-m) R 13209 13211 13067 0 -1 4202496 10568 0 0 0 165 89 0 0 17 0 32 0 14557780 1287970816 10405 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651061007 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/13211/statm: 314446 10418 334 95 0 309428 0
[pid=13211/tid=13212] ppid=13209 vsize=1257784 CPUtime=0.08 cores=0-31
/proc/13211/task/13212/stat : 13212 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 311 0 0 0 6 2 0 0 17 0 32 0 14557780 1287970816 10432 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446744071566926664 0 0 -1 1 0 0 0
[pid=13211/tid=13213] ppid=13209 vsize=1257784 CPUtime=0.04 cores=0-31
/proc/13211/task/13213/stat : 13213 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 324 0 0 0 2 2 0 0 17 0 32 0 14557780 1287970816 10442 268435456000 4194304 4580107 140736556843408 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=13211/tid=13214] ppid=13209 vsize=1257784 CPUtime=0.05 cores=0-31
/proc/13211/task/13214/stat : 13214 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 356 0 0 0 3 2 0 0 17 0 32 0 14557780 1287970816 10456 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446604500986592736 0 0 -1 16 0 0 0
[pid=13211/tid=13215] ppid=13209 vsize=1257928 CPUtime=0.08 cores=0-31
/proc/13211/task/13215/stat : 13215 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 294 0 0 0 6 2 0 0 17 0 32 0 14557780 1288118272 10461 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13211/tid=13216] ppid=13209 vsize=1257928 CPUtime=0.07 cores=0-31
/proc/13211/task/13216/stat : 13216 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 296 0 0 0 5 2 0 0 17 0 32 0 14557780 1288118272 10482 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446744071566932184 0 0 -1 25 0 0 0
[pid=13211/tid=13217] ppid=13209 vsize=1257928 CPUtime=0.08 cores=0-31
/proc/13211/task/13217/stat : 13217 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 360 0 0 0 6 2 0 0 17 0 32 0 14557780 1288118272 10497 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=13211/tid=13218] ppid=13209 vsize=1257928 CPUtime=0.08 cores=0-31
/proc/13211/task/13218/stat : 13218 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 319 0 0 0 5 3 0 0 17 0 32 0 14557780 1288118272 10511 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446604486355910112 0 0 -1 29 0 0 0
[pid=13211/tid=13219] ppid=13209 vsize=1257928 CPUtime=0.09 cores=0-31
/proc/13211/task/13219/stat : 13219 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 315 0 0 0 6 3 0 0 17 0 32 0 14557780 1288118272 10530 268435456000 4194304 4580107 140736556843408 18446744073709551615 4511219 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13211/tid=13220] ppid=13209 vsize=1257928 CPUtime=0.08 cores=0-31
/proc/13211/task/13220/stat : 13220 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 294 0 0 0 6 2 0 0 17 0 32 0 14557780 1288118272 10533 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446604502549495264 0 0 -1 6 0 0 0
[pid=13211/tid=13221] ppid=13209 vsize=1258072 CPUtime=0.08 cores=0-31
/proc/13211/task/13221/stat : 13221 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 319 0 0 0 6 2 0 0 17 0 32 0 14557780 1288265728 10539 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446604501074763232 0 0 -1 3 0 0 0
[pid=13211/tid=13222] ppid=13209 vsize=1258072 CPUtime=0.09 cores=0-31
/proc/13211/task/13222/stat : 13222 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 318 0 0 0 6 3 0 0 17 0 32 0 14557780 1288265728 10602 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=13211/tid=13223] ppid=13209 vsize=1258072 CPUtime=0.08 cores=0-31
/proc/13211/task/13223/stat : 13223 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 319 0 0 0 6 2 0 0 17 0 32 0 14557780 1288265728 10604 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446604457911025120 0 0 -1 10 0 0 0
[pid=13211/tid=13224] ppid=13209 vsize=1389144 CPUtime=0.07 cores=0-31
/proc/13211/task/13224/stat : 13224 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 314 0 0 0 5 2 0 0 17 0 32 0 14557780 1422483456 10650 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446604501074763232 0 0 -1 7 0 0 0
[pid=13211/tid=13225] ppid=13209 vsize=1323608 CPUtime=0.08 cores=0-31
/proc/13211/task/13225/stat : 13225 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 315 0 0 0 6 2 0 0 17 0 32 0 14557780 1355374592 10654 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446604443954191840 0 0 -1 13 0 0 0
[pid=13211/tid=13226] ppid=13209 vsize=1323608 CPUtime=0.08 cores=0-31
/proc/13211/task/13226/stat : 13226 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 314 0 0 0 6 2 0 0 17 0 32 0 14557780 1355374592 10667 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446744071566928704 0 0 -1 14 0 0 0
[pid=13211/tid=13227] ppid=13209 vsize=1323608 CPUtime=0.07 cores=0-31
/proc/13211/task/13227/stat : 13227 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 347 0 0 0 5 2 0 0 17 0 32 0 14557780 1355374592 10671 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446604500986592736 0 0 -1 11 0 0 0
[pid=13211/tid=13228] ppid=13209 vsize=1323608 CPUtime=0.08 cores=0-31
/proc/13211/task/13228/stat : 13228 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 279 0 0 0 5 3 0 0 17 0 32 0 14557780 1355374592 10683 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446604496473431520 0 0 -1 17 0 0 0
[pid=13211/tid=13229] ppid=13209 vsize=1323608 CPUtime=0.08 cores=0-31
/proc/13211/task/13229/stat : 13229 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 315 0 0 0 5 3 0 0 17 0 32 0 14557780 1355374592 10686 268435456000 4194304 4580107 140736556843408 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=13211/tid=13230] ppid=13209 vsize=1323608 CPUtime=0.08 cores=0-31
/proc/13211/task/13230/stat : 13230 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 362 0 0 0 6 2 0 0 17 0 32 0 14557780 1355374592 10698 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446604486355901920 0 0 -1 15 0 0 0
[pid=13211/tid=13231] ppid=13209 vsize=1323608 CPUtime=0.07 cores=0-31
/proc/13211/task/13231/stat : 13231 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 343 0 0 0 5 2 0 0 17 0 32 0 14557780 1355374592 10715 268435456000 4194304 4580107 140736556843408 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=13211/tid=13232] ppid=13209 vsize=1323608 CPUtime=0.07 cores=0-31
/proc/13211/task/13232/stat : 13232 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 317 0 0 0 5 2 0 0 17 0 32 0 14557780 1355374592 10725 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446604486355893728 0 0 -1 4 0 0 0
[pid=13211/tid=13233] ppid=13209 vsize=1323608 CPUtime=0.08 cores=0-31
/proc/13211/task/13233/stat : 13233 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 345 0 0 0 5 3 0 0 17 0 32 0 14557780 1355374592 10737 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=13211/tid=13234] ppid=13209 vsize=1323608 CPUtime=0.02 cores=0-31
/proc/13211/task/13234/stat : 13234 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 348 0 0 0 0 2 0 0 17 0 32 0 14557780 1355374592 10744 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446744071566926504 0 0 -1 31 0 0 0
[pid=13211/tid=13235] ppid=13209 vsize=1323608 CPUtime=0.02 cores=0-31
/proc/13211/task/13235/stat : 13235 (strangenight2-m) D 13209 13211 13067 0 -1 4202560 310 0 0 0 0 2 0 0 17 0 32 0 14557780 1355374592 10759 268435456000 4194304 4580107 140736556843408 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=13211/tid=13236] ppid=13209 vsize=1323608 CPUtime=0.07 cores=0-31
/proc/13211/task/13236/stat : 13236 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 351 0 0 0 5 2 0 0 17 0 32 0 14557780 1355374592 10784 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446744071566932624 0 0 -1 0 0 0 0
[pid=13211/tid=13237] ppid=13209 vsize=1323608 CPUtime=0.07 cores=0-31
/proc/13211/task/13237/stat : 13237 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 346 0 0 0 5 2 0 0 17 0 32 0 14557780 1355374592 10795 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446604443954200032 0 0 -1 20 0 0 0
[pid=13211/tid=13238] ppid=13209 vsize=1323608 CPUtime=0.07 cores=0-31
/proc/13211/task/13238/stat : 13238 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 316 0 0 0 5 2 0 0 17 0 32 0 14557780 1355374592 10815 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446744071566932624 0 0 -1 12 0 0 0
[pid=13211/tid=13239] ppid=13209 vsize=1323608 CPUtime=0.07 cores=0-31
/proc/13211/task/13239/stat : 13239 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 335 0 0 0 5 2 0 0 17 0 32 0 14557780 1355374592 10820 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446604502549478880 0 0 -1 8 0 0 0
[pid=13211/tid=13240] ppid=13209 vsize=1323748 CPUtime=0.05 cores=0-31
/proc/13211/task/13240/stat : 13240 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 328 0 0 0 3 2 0 0 17 0 32 0 14557781 1355517952 10821 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446604486355893728 0 0 -1 24 0 0 0
[pid=13211/tid=13241] ppid=13209 vsize=1323748 CPUtime=0.05 cores=0-31
/proc/13211/task/13241/stat : 13241 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 294 0 0 0 2 3 0 0 17 0 32 0 14557781 1355517952 10834 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446604443954191840 0 0 -1 30 0 0 0
[pid=13211/tid=13242] ppid=13209 vsize=1323748 CPUtime=0.07 cores=0-31
/proc/13211/task/13242/stat : 13242 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 320 0 0 0 5 2 0 0 17 0 32 0 14557781 1355517952 10849 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446744071566926504 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 1257784
[startup+0.207043 s]
/proc/loadavg: 25.68 30.49 31.47 1/413 13211
/proc/meminfo: memFree=262851684/264257624 swapFree=67054988/67111528
[pid=13211] ppid=13209 vsize=1335016 CPUtime=3.97 cores=0-31
/proc/13211/stat : 13211 (strangenight2-m) R 13209 13211 13067 0 -1 4202496 19493 0 0 0 215 182 0 0 17 0 32 0 14557780 1367056384 18366 268435456000 4194304 4580107 140736556843408 18446744073709551615 4354920 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/13211/statm: 333754 18370 334 95 0 328736 0
[pid=13211/tid=13212] ppid=13209 vsize=1335016 CPUtime=0.12 cores=0-31
/proc/13211/task/13212/stat : 13212 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 569 0 0 0 7 5 0 0 17 0 32 0 14557780 1367056384 18416 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13211/tid=13213] ppid=13209 vsize=1335016 CPUtime=0.09 cores=0-31
/proc/13211/task/13213/stat : 13213 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 580 0 0 0 3 6 0 0 17 0 32 0 14557780 1367056384 18417 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446604457911025120 0 0 -1 23 0 0 0
[pid=13211/tid=13214] ppid=13209 vsize=1335016 CPUtime=0.1 cores=0-31
/proc/13211/task/13214/stat : 13214 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 681 0 0 0 5 5 0 0 17 0 32 0 14557780 1367056384 18442 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446604501074755040 0 0 -1 16 0 0 0
[pid=13211/tid=13215] ppid=13209 vsize=1335016 CPUtime=0.12 cores=0-31
/proc/13211/task/13215/stat : 13215 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 515 0 0 0 7 5 0 0 17 0 32 0 14557780 1367056384 18448 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13211/tid=13216] ppid=13209 vsize=1335016 CPUtime=0.11 cores=0-31
/proc/13211/task/13216/stat : 13216 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 440 0 0 0 6 5 0 0 17 0 32 0 14557780 1367056384 18457 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446604457911000544 0 0 -1 25 0 0 0
[pid=13211/tid=13217] ppid=13209 vsize=1335016 CPUtime=0.14 cores=0-31
/proc/13211/task/13217/stat : 13217 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 737 0 0 0 8 6 0 0 17 0 32 0 14557780 1367056384 18462 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446604496473439712 0 0 -1 27 0 0 0
[pid=13211/tid=13218] ppid=13209 vsize=1335016 CPUtime=0.13 cores=0-31
/proc/13211/task/13218/stat : 13218 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 610 0 0 0 7 6 0 0 17 0 32 0 14557780 1367056384 18488 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446604457911008736 0 0 -1 29 0 0 0
[pid=13211/tid=13219] ppid=13209 vsize=1335276 CPUtime=0.12 cores=0-31
/proc/13211/task/13219/stat : 13219 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 603 0 0 0 7 5 0 0 17 0 32 0 14557780 1367322624 18495 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446604486355893728 0 0 -1 5 0 0 0
[pid=13211/tid=13220] ppid=13209 vsize=1335276 CPUtime=0.12 cores=0-31
/proc/13211/task/13220/stat : 13220 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 535 0 0 0 7 5 0 0 17 0 32 0 14557780 1367322624 18512 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446604500705828320 0 0 -1 6 0 0 0
[pid=13211/tid=13221] ppid=13209 vsize=1335276 CPUtime=0.12 cores=0-31
/proc/13211/task/13221/stat : 13221 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 579 0 0 0 8 4 0 0 17 0 32 0 14557780 1367322624 18533 268435456000 4194304 4580107 140736556843408 18446744073709551615 258650653112 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13211/tid=13222] ppid=13209 vsize=1335432 CPUtime=0.13 cores=0-31
/proc/13211/task/13222/stat : 13222 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 565 0 0 0 8 5 0 0 17 0 32 0 14557780 1367482368 18542 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446744071566928704 0 0 -1 9 0 0 0
[pid=13211/tid=13223] ppid=13209 vsize=1335432 CPUtime=0.13 cores=0-31
/proc/13211/task/13223/stat : 13223 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 546 0 0 0 8 5 0 0 17 0 32 0 14557780 1367482368 18565 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=13211/tid=13224] ppid=13209 vsize=1335432 CPUtime=0.12 cores=0-31
/proc/13211/task/13224/stat : 13224 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 554 0 0 0 7 5 0 0 17 0 32 0 14557780 1367482368 18574 268435456000 4194304 4580107 140736556843408 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13211/tid=13225] ppid=13209 vsize=1335300 CPUtime=0.14 cores=0-31
/proc/13211/task/13225/stat : 13225 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 563 0 0 0 8 6 0 0 17 0 32 0 14557780 1367347200 18559 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=13211/tid=13226] ppid=13209 vsize=1335300 CPUtime=0.13 cores=0-31
/proc/13211/task/13226/stat : 13226 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 526 0 0 0 7 6 0 0 17 0 32 0 14557780 1367347200 18576 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446604500986584544 0 0 -1 14 0 0 0
[pid=13211/tid=13227] ppid=13209 vsize=1335300 CPUtime=0.13 cores=0-31
/proc/13211/task/13227/stat : 13227 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 600 0 0 0 8 5 0 0 17 0 32 0 14557780 1367347200 18591 268435456000 4194304 4580107 140736556843408 18446744073709551615 258651060958 0 0 4096 2 18446604443954200032 0 0 -1 11 0 0 0
[pid=13211/tid=13228] ppid=13209 vsize=1335300 CPUtime=0.12 cores=0-31
################
# More data... #
################
/proc/13211/task/13216/stat : 13216 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 253322 0 0 0 195165 915 0 0 25 0 32 0 14557780 28009013248 6024571 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604443954200032 0 0 -1 2 0 0 0
[pid=13211/tid=13217] ppid=13209 vsize=27352552 CPUtime=1980.37 cores=0-31
/proc/13211/task/13217/stat : 13217 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 223741 0 0 0 197123 914 0 0 25 0 32 0 14557780 28009013248 6024571 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604500986592736 0 0 -1 27 0 0 0
[pid=13211/tid=13218] ppid=13209 vsize=27352552 CPUtime=1953.33 cores=0-31
/proc/13211/task/13218/stat : 13218 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 221327 0 0 0 194412 921 0 0 25 0 32 0 14557780 28009013248 6024571 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604502549487072 0 0 -1 3 0 0 0
[pid=13211/tid=13219] ppid=13209 vsize=27352552 CPUtime=2026.06 cores=0-31
/proc/13211/task/13219/stat : 13219 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 228681 0 0 0 201708 898 0 0 25 0 32 0 14557780 28009013248 6024571 268435456000 4194304 4580107 140736556843408 18446744073709551615 4413328 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=13211/tid=13220] ppid=13209 vsize=27352552 CPUtime=1953.15 cores=0-31
/proc/13211/task/13220/stat : 13220 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 273008 0 0 0 194434 881 0 0 25 0 32 0 14557780 28009013248 6024571 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604486355910112 0 0 -1 20 0 0 0
[pid=13211/tid=13221] ppid=13209 vsize=27352552 CPUtime=2021.98 cores=0-31
/proc/13211/task/13221/stat : 13221 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 282318 0 0 0 201316 882 0 0 25 0 32 0 14557780 28009013248 6024571 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604496473439712 0 0 -1 12 0 0 0
[pid=13211/tid=13222] ppid=13209 vsize=27352552 CPUtime=1959.96 cores=0-31
/proc/13211/task/13222/stat : 13222 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 283090 0 0 0 195066 930 0 0 25 0 32 0 14557780 28009013248 6024571 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604500705811936 0 0 -1 14 0 0 0
[pid=13211/tid=13223] ppid=13209 vsize=27352552 CPUtime=1986.89 cores=0-31
/proc/13211/task/13223/stat : 13223 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 322960 0 0 0 197739 950 0 0 25 0 32 0 14557780 28009013248 6024571 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604502549495264 0 0 -1 4 0 0 0
[pid=13211/tid=13224] ppid=13209 vsize=27352552 CPUtime=1955.9 cores=0-31
/proc/13211/task/13224/stat : 13224 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 309992 0 0 0 194627 963 0 0 25 0 32 0 14557780 28009013248 6024571 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604486355893728 0 0 -1 23 0 0 0
[pid=13211/tid=13225] ppid=13209 vsize=27352552 CPUtime=1989.2 cores=0-31
/proc/13211/task/13225/stat : 13225 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 308942 0 0 0 197988 932 0 0 25 0 32 0 14557780 28009013248 6024571 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604457911016928 0 0 -1 7 0 0 0
[pid=13211/tid=13226] ppid=13209 vsize=27352552 CPUtime=1986.6 cores=0-31
/proc/13211/task/13226/stat : 13226 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 310311 0 0 0 197721 939 0 0 25 0 32 0 14557780 28009013248 6024571 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604443954208224 0 0 -1 10 0 0 0
[pid=13211/tid=13227] ppid=13209 vsize=27352552 CPUtime=1999.48 cores=0-31
/proc/13211/task/13227/stat : 13227 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 294383 0 0 0 198971 977 0 0 25 0 32 0 14557780 28009013248 6024571 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604443954191840 0 0 -1 19 0 0 0
[pid=13211/tid=13228] ppid=13209 vsize=27352552 CPUtime=1994.9 cores=0-31
/proc/13211/task/13228/stat : 13228 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 358974 0 0 0 198529 961 0 0 25 0 32 0 14557780 28009013248 6024571 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604561696800224 0 0 -1 30 0 0 0
[pid=13211/tid=13229] ppid=13209 vsize=27352552 CPUtime=1980.27 cores=0-31
/proc/13211/task/13229/stat : 13229 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 292771 0 0 0 197033 994 0 0 25 0 32 0 14557780 28009013248 6024571 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604500705828320 0 0 -1 8 0 0 0
[pid=13211/tid=13230] ppid=13209 vsize=27352552 CPUtime=1976.46 cores=0-31
/proc/13211/task/13230/stat : 13230 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 322063 0 0 0 196676 970 0 0 25 0 32 0 14557780 28009013248 6024571 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604500986584544 0 0 -1 16 0 0 0
[pid=13211/tid=13231] ppid=13209 vsize=27352552 CPUtime=1986.07 cores=0-31
/proc/13211/task/13231/stat : 13231 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 304717 0 0 0 197834 773 0 0 25 0 32 0 14557780 28009013248 6024571 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604496473431520 0 0 -1 21 0 0 0
[pid=13211/tid=13232] ppid=13209 vsize=27352552 CPUtime=1999.91 cores=0-31
/proc/13211/task/13232/stat : 13232 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 360051 0 0 0 199010 981 0 0 25 0 32 0 14557780 28009013248 6024571 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604496473456096 0 0 -1 13 0 0 0
[pid=13211/tid=13233] ppid=13209 vsize=27352552 CPUtime=2045.19 cores=0-31
/proc/13211/task/13233/stat : 13233 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 319550 0 0 0 203641 878 0 0 25 0 32 0 14557780 28009013248 6024571 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604496473447904 0 0 -1 31 0 0 0
[pid=13211/tid=13234] ppid=13209 vsize=27352552 CPUtime=2033.77 cores=0-31
/proc/13211/task/13234/stat : 13234 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 306236 0 0 0 202478 899 0 0 25 0 32 0 14557780 28009013248 6024571 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604502549478880 0 0 -1 29 0 0 0
[pid=13211/tid=13235] ppid=13209 vsize=27352552 CPUtime=2051.02 cores=0-31
/proc/13211/task/13235/stat : 13235 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 382365 0 0 0 204130 972 0 0 25 0 32 0 14557780 28009013248 6024571 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604457911000544 0 0 -1 25 0 0 0
[pid=13211/tid=13236] ppid=13209 vsize=27352552 CPUtime=1995.93 cores=0-31
/proc/13211/task/13236/stat : 13236 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 310672 0 0 0 198689 904 0 0 25 0 32 0 14557780 28009013248 6024571 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604500986568160 0 0 -1 11 0 0 0
[pid=13211/tid=13237] ppid=13209 vsize=27352552 CPUtime=1989.07 cores=0-31
/proc/13211/task/13237/stat : 13237 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 279624 0 0 0 197967 940 0 0 25 0 32 0 14557780 28009013248 6024571 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604457911025120 0 0 -1 9 0 0 0
[pid=13211/tid=13238] ppid=13209 vsize=27352552 CPUtime=1968.79 cores=0-31
/proc/13211/task/13238/stat : 13238 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 307288 0 0 0 196152 727 0 0 25 0 32 0 14557780 28009013248 6024571 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604502549470688 0 0 -1 28 0 0 0
[pid=13211/tid=13239] ppid=13209 vsize=27352552 CPUtime=1992.87 cores=0-31
/proc/13211/task/13239/stat : 13239 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 273752 0 0 0 198513 774 0 0 25 0 32 0 14557780 28009013248 6024571 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604501074746848 0 0 -1 22 0 0 0
[pid=13211/tid=13240] ppid=13209 vsize=27352552 CPUtime=2009.41 cores=0-31
/proc/13211/task/13240/stat : 13240 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 310063 0 0 0 200159 782 0 0 25 0 32 0 14557781 28009013248 6024571 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446744071566929744 0 0 -1 5 0 0 0
[pid=13211/tid=13241] ppid=13209 vsize=27352552 CPUtime=1986.19 cores=0-31
/proc/13211/task/13241/stat : 13241 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 340112 0 0 0 197707 912 0 0 25 0 32 0 14557781 28009013248 6024571 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604501074763232 0 0 -1 0 0 0 0
[pid=13211/tid=13242] ppid=13209 vsize=27352552 CPUtime=2090.81 cores=0-31
/proc/13211/task/13242/stat : 13242 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 439814 0 0 0 208237 844 0 0 25 0 32 0 14557781 28009013248 6024571 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604486355901920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 63680.6
Current children cumulated vsize (KiB) 27352552
[startup+3380.8 s]
/proc/loadavg: 25.42 29.37 24.62 3/445 13345
/proc/meminfo: memFree=238711716/264257624 swapFree=67054988/67111528
[pid=13211] ppid=13209 vsize=27352552 CPUtime=63683.8 cores=0-31
/proc/13211/stat : 13211 (strangenight2-m) S 13209 13211 13067 0 -1 4202496 9731729 0 0 0 6339076 29300 0 0 25 0 32 0 14557780 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/13211/statm: 6838138 6024839 380 95 0 6833120 0
[pid=13211/tid=13212] ppid=13209 vsize=27352552 CPUtime=1998.68 cores=0-31
/proc/13211/task/13212/stat : 13212 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 331601 0 0 0 198922 946 0 0 25 0 32 0 14557780 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646652971 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=13211/tid=13213] ppid=13209 vsize=27352552 CPUtime=1944.16 cores=0-31
/proc/13211/task/13213/stat : 13213 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 306711 0 0 0 193430 986 0 0 25 0 32 0 14557780 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604500705820128 0 0 -1 1 0 0 0
[pid=13211/tid=13214] ppid=13209 vsize=27352552 CPUtime=1952.6 cores=0-31
/proc/13211/task/13214/stat : 13214 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 258784 0 0 0 194343 917 0 0 25 0 32 0 14557780 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604443954216416 0 0 -1 24 0 0 0
[pid=13211/tid=13215] ppid=13209 vsize=27352552 CPUtime=1943.28 cores=0-31
/proc/13211/task/13215/stat : 13215 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 247632 0 0 0 193341 987 0 0 25 0 32 0 14557780 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604501074755040 0 0 -1 17 0 0 0
[pid=13211/tid=13216] ppid=13209 vsize=27352552 CPUtime=1960.8 cores=0-31
/proc/13211/task/13216/stat : 13216 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 253322 0 0 0 195165 915 0 0 25 0 32 0 14557780 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604443954200032 0 0 -1 2 0 0 0
[pid=13211/tid=13217] ppid=13209 vsize=27352552 CPUtime=1980.37 cores=0-31
/proc/13211/task/13217/stat : 13217 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 223741 0 0 0 197123 914 0 0 25 0 32 0 14557780 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604500986592736 0 0 -1 27 0 0 0
[pid=13211/tid=13218] ppid=13209 vsize=27352552 CPUtime=1953.33 cores=0-31
/proc/13211/task/13218/stat : 13218 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 221327 0 0 0 194412 921 0 0 25 0 32 0 14557780 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604502549487072 0 0 -1 3 0 0 0
[pid=13211/tid=13219] ppid=13209 vsize=27352552 CPUtime=2027.65 cores=0-31
/proc/13211/task/13219/stat : 13219 (strangenight2-m) R 13209 13211 13067 0 -1 4202560 228949 0 0 0 201867 898 0 0 25 0 32 0 14557780 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 4451475 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=13211/tid=13220] ppid=13209 vsize=27352552 CPUtime=1953.15 cores=0-31
/proc/13211/task/13220/stat : 13220 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 273008 0 0 0 194434 881 0 0 25 0 32 0 14557780 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604486355910112 0 0 -1 20 0 0 0
[pid=13211/tid=13221] ppid=13209 vsize=27352552 CPUtime=2021.98 cores=0-31
/proc/13211/task/13221/stat : 13221 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 282318 0 0 0 201316 882 0 0 25 0 32 0 14557780 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604496473439712 0 0 -1 12 0 0 0
[pid=13211/tid=13222] ppid=13209 vsize=27352552 CPUtime=1959.96 cores=0-31
/proc/13211/task/13222/stat : 13222 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 283090 0 0 0 195066 930 0 0 25 0 32 0 14557780 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604500705811936 0 0 -1 14 0 0 0
[pid=13211/tid=13223] ppid=13209 vsize=27352552 CPUtime=1986.89 cores=0-31
/proc/13211/task/13223/stat : 13223 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 322960 0 0 0 197739 950 0 0 25 0 32 0 14557780 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604502549495264 0 0 -1 4 0 0 0
[pid=13211/tid=13224] ppid=13209 vsize=27352552 CPUtime=1955.9 cores=0-31
/proc/13211/task/13224/stat : 13224 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 309992 0 0 0 194627 963 0 0 25 0 32 0 14557780 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604486355893728 0 0 -1 23 0 0 0
[pid=13211/tid=13225] ppid=13209 vsize=27352552 CPUtime=1989.2 cores=0-31
/proc/13211/task/13225/stat : 13225 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 308942 0 0 0 197988 932 0 0 25 0 32 0 14557780 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604457911016928 0 0 -1 7 0 0 0
[pid=13211/tid=13226] ppid=13209 vsize=27352552 CPUtime=1986.6 cores=0-31
/proc/13211/task/13226/stat : 13226 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 310311 0 0 0 197721 939 0 0 25 0 32 0 14557780 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604443954208224 0 0 -1 10 0 0 0
[pid=13211/tid=13227] ppid=13209 vsize=27352552 CPUtime=1999.48 cores=0-31
/proc/13211/task/13227/stat : 13227 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 294383 0 0 0 198971 977 0 0 25 0 32 0 14557780 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604443954191840 0 0 -1 19 0 0 0
[pid=13211/tid=13228] ppid=13209 vsize=27352552 CPUtime=1994.9 cores=0-31
/proc/13211/task/13228/stat : 13228 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 358974 0 0 0 198529 961 0 0 25 0 32 0 14557780 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604561696800224 0 0 -1 30 0 0 0
[pid=13211/tid=13229] ppid=13209 vsize=27352552 CPUtime=1980.27 cores=0-31
/proc/13211/task/13229/stat : 13229 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 292771 0 0 0 197033 994 0 0 25 0 32 0 14557780 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604500705828320 0 0 -1 8 0 0 0
[pid=13211/tid=13230] ppid=13209 vsize=27352552 CPUtime=1976.46 cores=0-31
/proc/13211/task/13230/stat : 13230 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 322063 0 0 0 196676 970 0 0 25 0 32 0 14557780 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604500986584544 0 0 -1 16 0 0 0
[pid=13211/tid=13231] ppid=13209 vsize=27352552 CPUtime=1986.07 cores=0-31
/proc/13211/task/13231/stat : 13231 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 304717 0 0 0 197834 773 0 0 25 0 32 0 14557780 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604496473431520 0 0 -1 21 0 0 0
[pid=13211/tid=13232] ppid=13209 vsize=27352552 CPUtime=1999.91 cores=0-31
/proc/13211/task/13232/stat : 13232 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 360051 0 0 0 199010 981 0 0 25 0 32 0 14557780 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604496473456096 0 0 -1 13 0 0 0
[pid=13211/tid=13233] ppid=13209 vsize=27352552 CPUtime=2045.19 cores=0-31
/proc/13211/task/13233/stat : 13233 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 319550 0 0 0 203641 878 0 0 25 0 32 0 14557780 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604496473447904 0 0 -1 31 0 0 0
[pid=13211/tid=13234] ppid=13209 vsize=27352552 CPUtime=2033.77 cores=0-31
/proc/13211/task/13234/stat : 13234 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 306236 0 0 0 202478 899 0 0 25 0 32 0 14557780 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604502549478880 0 0 -1 29 0 0 0
[pid=13211/tid=13235] ppid=13209 vsize=27352552 CPUtime=2051.02 cores=0-31
/proc/13211/task/13235/stat : 13235 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 382365 0 0 0 204130 972 0 0 25 0 32 0 14557780 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604457911000544 0 0 -1 25 0 0 0
[pid=13211/tid=13236] ppid=13209 vsize=27352552 CPUtime=1995.93 cores=0-31
/proc/13211/task/13236/stat : 13236 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 310672 0 0 0 198689 904 0 0 25 0 32 0 14557780 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604500986568160 0 0 -1 11 0 0 0
[pid=13211/tid=13237] ppid=13209 vsize=27352552 CPUtime=1989.07 cores=0-31
/proc/13211/task/13237/stat : 13237 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 279624 0 0 0 197967 940 0 0 25 0 32 0 14557780 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604457911025120 0 0 -1 9 0 0 0
[pid=13211/tid=13238] ppid=13209 vsize=27352552 CPUtime=1968.79 cores=0-31
/proc/13211/task/13238/stat : 13238 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 307288 0 0 0 196152 727 0 0 25 0 32 0 14557780 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604502549470688 0 0 -1 28 0 0 0
[pid=13211/tid=13239] ppid=13209 vsize=27352552 CPUtime=1992.87 cores=0-31
/proc/13211/task/13239/stat : 13239 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 273752 0 0 0 198513 774 0 0 25 0 32 0 14557780 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604501074746848 0 0 -1 22 0 0 0
[pid=13211/tid=13240] ppid=13209 vsize=27352552 CPUtime=2009.41 cores=0-31
/proc/13211/task/13240/stat : 13240 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 310063 0 0 0 200159 782 0 0 25 0 32 0 14557781 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446744071566929744 0 0 -1 5 0 0 0
[pid=13211/tid=13241] ppid=13209 vsize=27352552 CPUtime=1986.19 cores=0-31
/proc/13211/task/13241/stat : 13241 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 340112 0 0 0 197707 912 0 0 25 0 32 0 14557781 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604501074763232 0 0 -1 0 0 0 0
[pid=13211/tid=13242] ppid=13209 vsize=27352552 CPUtime=2090.81 cores=0-31
/proc/13211/task/13242/stat : 13242 (strangenight2-m) S 13209 13211 13067 0 -1 4202560 439814 0 0 0 208237 844 0 0 25 0 32 0 14557781 28009013248 6024839 268435456000 4194304 4580107 140736556843408 18446744073709551615 47701646677556 0 0 4096 2 18446604486355901920 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 63683.8
Current children cumulated vsize (KiB) 27352552
[startup+3382.4 s]
/proc/loadavg: 25.42 29.37 24.62 3/445 13345
/proc/meminfo: memFree=238711608/264257624 swapFree=67054988/67111528
[pid=13211] ppid=13209 vsize=0 CPUtime=63686.4 cores=0-31
/proc/13211/stat : 13211 (strangenight2-m) Z 13209 13211 13067 0 -1 4203548 9731748 0 0 0 6339273 29362 0 0 18 0 2 0 14557780 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/13211/statm: 0 0 0 0 0 0 0
[pid=13211/tid=13235] ppid=13209 vsize=0 CPUtime=2051.64 cores=0-31
/proc/13211/task/13235/stat : 13235 (strangenight2-m) R 13209 13211 13067 0 -1 4203588 382365 0 0 0 204130 1034 0 0 18 0 2 0 14557780 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 63686.4
Current children cumulated vsize (KiB) 0
[startup+3383.2 s]
/proc/loadavg: 25.42 29.37 24.62 2/415 13345
/proc/meminfo: memFree=244294880/264257624 swapFree=67054988/67111528
[pid=13211] ppid=13209 vsize=0 CPUtime=63687.1 cores=0-31
/proc/13211/stat : 13211 (strangenight2-m) Z 13209 13211 13067 0 -1 4203548 9731748 0 0 0 6339273 29442 0 0 18 0 2 0 14557780 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/13211/statm: 0 0 0 0 0 0 0
[pid=13211/tid=13235] ppid=13209 vsize=0 CPUtime=2052.44 cores=0-31
/proc/13211/task/13235/stat : 13235 (strangenight2-m) R 13209 13211 13067 0 -1 4203588 382365 0 0 0 204130 1114 0 0 19 0 2 0 14557780 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 63687.2
Current children cumulated vsize (KiB) 0
[startup+3383.6 s]
/proc/loadavg: 25.42 29.37 24.62 2/415 13345
/proc/meminfo: memFree=259983404/264257624 swapFree=67054988/67111528
[pid=13211] ppid=13209 vsize=0 CPUtime=63687.6 cores=0-31
/proc/13211/stat : 13211 (strangenight2-m) Z 13209 13211 13067 0 -1 4203548 9731748 0 0 0 6339273 29485 0 0 18 0 2 0 14557780 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/13211/statm: 0 0 0 0 0 0 0
[pid=13211/tid=13235] ppid=13209 vsize=0 CPUtime=2052.87 cores=0-31
/proc/13211/task/13235/stat : 13235 (strangenight2-m) R 13209 13211 13067 0 -1 4203588 382365 0 0 0 204130 1157 0 0 20 0 2 0 14557780 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 63687.6
Current children cumulated vsize (KiB) 0
[startup+3383.73 s]
/proc/loadavg: 25.42 29.37 24.62 2/415 13345
/proc/meminfo: memFree=259983404/264257624 swapFree=67054988/67111528
[pid=13211] ppid=13209 vsize=0 CPUtime=63687.7 cores=0-31
/proc/13211/stat : 13211 (strangenight2-m) Z 13209 13211 13067 0 -1 4203548 9731748 0 0 0 6339273 29496 0 0 18 0 2 0 14557780 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/13211/statm: 0 0 0 0 0 0 0
[pid=13211/tid=13235] ppid=13209 vsize=0 CPUtime=2052.97 cores=0-31
/proc/13211/task/13235/stat : 13235 (strangenight2-m) R 13209 13211 13067 0 -1 4203588 382365 0 0 0 204130 1167 0 0 20 0 2 0 14557780 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 63687.7
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 3383.74
CPU time (s): 63687.7
CPU user time (s): 63392.7
CPU system time (s): 294.963
CPU usage (%): 1882.17
Max. virtual memory (cumulated for all children) (KiB): 27570296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 63392.7
system time used= 294.963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9731748
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= 12688635
involuntary context switches= 258485
runsolver used 23.7424 second user time and 79.8439 second system time
The end
Launcher Data
Begin job on node200 at 2011-06-03 09:34:14
IDJOB=3400869
IDBENCH=85005
IDSOLVER=1886
FILE ID=node200/3400869-1307086448
RUNJOBID= node200-1307086402-13081
PBS_JOBID= 13497889
Free space on /tmp= 61592 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400869-1307086448/watcher-3400869-1307086448 -o /tmp/evaluation-result-3400869-1307086448/solver-3400869-1307086448 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400869-1307086448.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 261000 MiB
NBCORE= 32
MD5SUM BENCH= 776da55785376fd8eac6989ca812b102
RANDOM SEED=1813157464
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.14
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.96
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.03
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.99
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.10
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.35
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.043
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 262851956 kB
Buffers: 97588 kB
Cached: 1106988 kB
SwapCached: 8336 kB
Active: 259900 kB
Inactive: 963380 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 262851956 kB
SwapTotal: 67111528 kB
SwapFree: 67054988 kB
Dirty: 162332 kB
Writeback: 0 kB
AnonPages: 15452 kB
Mapped: 8524 kB
Slab: 93396 kB
PageTables: 4440 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 191328 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= 61584 MiB
End job on node200 at 2011-06-03 10:30:38