Trace number 3400903
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 | SAT-Race-2010-CNF/hardware-verification/ velev/1dlx_c_iq60_a.cnf |
MD5SUM | 1e60a63f1ba68b9b3c423ca413b4fa2b |
Bench Category | APPLICATION (applications instances) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 40091.3 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 651875 |
Number of clauses | 9927770 |
Sum of the clauses size | 28821360 |
Maximum clause length | 195 |
Minimum clause length | 1 |
Number of clauses of size 1 | 1 |
Number of clauses of size 2 | 8783867 |
Number of clauses of size 3 | 839934 |
Number of clauses of size 4 | 10777 |
Number of clauses of size 5 | 70916 |
Number of clauses of size over 5 | 222275 |
Solver Data
0.00/0.00 c Outputting solution to console
0.00/0.03 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-3400903-1307118504.cnf'
2.57/0.11 c -- header says num vars: 651875
2.57/0.11 c -- header says num clauses: 9927770
608.29/46.56 c -- clauses added: 0 learnts, 9927770 normals, 0 xors
608.29/46.56 c -- vars added 651875
608.29/46.56 c Parsing time: 10.24 s
608.29/46.56 c N st 0 0 651875 1143902 8783867 0 28821359 0 no data no data
654.10/48.06 c asymm cl-useful: 48/48/1143841 lits-rem:1658 time: 1.33
1478.73/74.19 c Flit: 269 Blit: 69871 bXBeca: 0 bXProp: 197 Bins: 0 BRemL: 0 BRemN: 0 P: 200.1M T: 25.69
1507.92/75.17 c Cleaning up after failed var search: 0.97 s
1538.08/76.24 c Replacing 198 vars Replaced 262002 lits Time: 0.96 s
1703.92/88.00 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.04 s
1721.09/88.97 c bin-w-bin subsume rem 59 bins time: 0.96 s
1983.24/97.59 c subs with bin: 156389 lits-rem: 261160 v-fix: 0 time: 8.09 s
2426.78/111.40 c Subs w/ non-existent bins: 2277 l-rem: 2373 v-fix: 0 done: 26111 time: 13.82 s
2468.02/112.77 c Removed useless bin: 209 fixed: 0 props: 20.03M time: 1.19 s
3416.67/146.81 c lits-rem: 11428 cl-subs: 48002 v-elim: 171567 v-fix: 0 time: 23.71 s
3431.04/147.41 c Finding binary XORs T: 0.58 s found: 5196
3457.76/148.40 c Replacing 5196 vars Replaced 236523 lits Time: 0.91 s
3507.37/150.01 c Finding non-binary XORs: 1.12 s (found: 0, avg size: nan)
3507.37/150.01 c calculated reachability. Time: 0.02
3519.62/150.41 c Calc default polars - time: 0.39 s pos: 31578 undec: 247806 neg: 372491
3519.62/150.41 c =========================================================================================
3519.62/150.41 c types(t): F = full restart, N = normal restart
3519.62/150.41 c types(t): S = simplification begin/end, E = solution found
3519.62/150.41 c restart types(rt): st = static, dy = dynamic
3519.62/150.41 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
3519.62/150.41 c B st 0 0 404588 529474 5996634 0 20086110 0 no data no data
5915.74/225.51 c N dy 20 4065 404588 529474 5996774 3916 20086110 230260 26.34 33.45
7803.19/284.73 c N dy 31 8669 404585 529474 6013989 8306 20086110 502276 22.53 24.06
9608.49/341.28 c N dy 57 12710 404585 529474 6014132 12198 20086110 710151 23.12 27.59
12043.44/417.46 c N dy 77 17227 404556 529474 6035479 16519 20086110 962790 22.79 24.44
13475.38/462.29 c Finding binary XORs T: 0.51 s found: 18934
13504.79/463.14 c Replacing 18934 vars Replaced 312787 lits Time: 0.85 s
14319.24/488.67 c N dy 102 21471 385328 507404 5976619 11030 19885887 305338 23.48 24.75
15604.23/528.83 c F st 118 25002 385325 507404 5976689 14444 19885887 498729 23.30 22.48
15904.67/538.27 c N st 120 25627 385302 507098 5983382 14958 19884529 534223 23.30 no data
17330.33/582.89 c N dy 124 30000 385302 507098 5983447 19242 19884529 777245 23.30 no data
17330.33/582.90 c S st 124 30000 385302 507098 5983447 19242 19884529 777245 23.30 no data
17720.89/595.02 c S st 124 30500 385298 507098 5983570 19615 19884529 779705 23.30 no data
17739.43/595.62 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.60
20165.59/671.60 c Flit: 188 Blit: 72 bXBeca: 0 bXProp: 3117 Bins: 982871 BRemL: 179 BRemN: 18 P: 200.1M T: 75.93
20168.79/671.65 c Cleaning up after failed var search: 0.00 s
20207.15/672.88 c Replacing 3117 vars Replaced 70960 lits Time: 1.18 s
20398.91/678.87 c blocked clauses removed: 23475 vars: 22216 tried: 422548 T: 4.78 s
20428.29/679.73 c bin-w-bin subsume rem 22412 bins time: 0.86 s
20683.37/687.70 c subs with bin: 13157 lits-rem: 168859 v-fix: 0 time: 7.96 s
20945.51/695.90 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 42266 time: 8.20 s
20971.08/696.79 c Removed useless bin: 2686 fixed: 0 props: 20.01M time: 0.86 s
21533.63/714.40 c lits-rem: 15364 cl-subs: 6862 v-elim: 38909 v-fix: 0 time: 17.41 s
21581.59/715.88 c subs with bin: 136 lits-rem: 9183 v-fix: 0 time: 1.21 s
21645.52/717.90 c lits-rem: 332 cl-subs: 1262 v-elim: 0 v-fix: 0 time: 1.39 s
21719.04/720.15 c asymm cl-useful: 74/74/524807 lits-rem:4426 time: 2.26
21729.25/720.43 c calculated reachability. Time: 0.04
21729.25/720.47 c N dy 124 30500 320746 524807 4908931 12160 14580044 2113226 23.30 no data
21741.40/720.89 c Finding binary XORs T: 0.42 s found: 15
23897.50/1226.79 c N dy 139 34986 319988 524807 4943676 16485 14579981 2380309 22.47 24.04
26412.28/2710.64 c Finding binary XORs T: 0.40 s found: 679
26550.24/2730.71 c N dy 157 41495 319298 509561 5192053 22476 14341808 3131380 21.71 24.16
27695.21/2845.14 c N dy 187 45506 319120 509561 5205180 15102 14341808 2771969 22.13 31.01
27743.17/2846.66 c S st 190 45750 319067 509561 5205181 15344 14341807 2787305 22.19 no data
28139.54/2859.03 c S st 190 46250 318881 509561 5205325 15695 14341807 2791039 22.19 no data
28155.50/2859.54 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.51
29593.90/2904.60 c Flit: 123 Blit: 331 bXBeca: 0 bXProp: 86 Bins: 78399 BRemL: 12581 BRemN: 1208 P: 200.5M T: 45.04
29597.09/2904.63 c Cleaning up after failed var search: 0.00 s
29629.06/2905.68 c Replacing 780 vars Replaced 100488 lits Time: 1.01 s
29661.03/2906.62 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.03 s
29689.79/2907.54 c bin-w-bin subsume rem 33926 bins time: 0.91 s
29923.12/2914.90 c subs with bin: 22445 lits-rem: 247538 v-fix: 0 time: 7.36 s
30156.47/2922.15 c Subs w/ non-existent bins: 892 l-rem: 253 v-fix: 0 done: 24551 time: 7.18 s
30176.27/2922.75 c Removed useless bin: 2248 fixed: 0 props: 20.03M time: 0.58 s
30520.86/2933.56 c lits-rem: 1175 cl-subs: 7059 v-elim: 143370 v-fix: 0 time: 10.76 s
30549.63/2934.46 c subs with bin: 644 lits-rem: 7521 v-fix: 0 time: 0.72 s
30607.16/2936.27 c lits-rem: 1842 cl-subs: 2650 v-elim: 0 v-fix: 0 time: 1.35 s
30655.12/2937.72 c asymm cl-useful: 59/720/349766 lits-rem:1352 time: 1.45
30658.31/2937.90 c calculated reachability. Time: 0.02
30661.51/2937.91 c N dy 190 46250 174274 349766 3248388 11366 10689863 777003 22.19 no data
30668.52/2938.17 c Finding binary XORs T: 0.26 s found: 13
30987.51/2948.13 c N dy 203 50284 174274 349766 3248409 15285 10689862 934050 21.83 30.06
31333.35/2958.92 c N dy 227 54312 174126 349766 3257853 19202 10689771 1169221 22.34 30.36
31812.20/2973.92 c N dy 258 58530 174126 349766 3260439 23346 10689767 1432668 22.92 24.26
32412.20/2992.75 c N dy 290 62599 174126 349766 3260494 27324 10689767 1645550 23.17 42.15
32453.77/2994.07 c Finding binary XORs T: 0.26 s found: 108
32763.77/3003.79 c N dy 293 67462 174064 348075 3284212 17276 10659649 1031672 22.39 26.01
32997.11/3011.02 c S st 313 69375 174058 348075 3290748 19168 10659648 1162015 22.75 no data
33211.26/3017.78 c S st 313 69875 174058 348075 3290923 19493 10659648 1165355 22.75 no data
33224.05/3018.11 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.33
34379.39/3054.38 c Flit: 665 Blit: 266 bXBeca: 0 bXProp: 12 Bins: 104631 BRemL: 275 BRemN: 31 P: 200.0M T: 36.25
34379.39/3054.39 c Cleaning up after failed var search: 0.00 s
34404.96/3055.10 c Replacing 133 vars Replaced 51498 lits Time: 0.68 s
34424.74/3055.75 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.02 s
34481.68/3057.52 c bin-w-bin subsume rem 55241 bins time: 1.77 s
34686.22/3063.94 c subs with bin: 24187 lits-rem: 107366 v-fix: 0 time: 6.42 s
34782.11/3066.95 c Subs w/ non-existent bins: 11274 l-rem: 3867 v-fix: 0 done: 22299 time: 2.95 s
34801.29/3067.60 c Removed useless bin: 4356 fixed: 0 props: 20.00M time: 0.64 s
35098.55/3076.85 c lits-rem: 323 cl-subs: 1632 v-elim: 16263 v-fix: 0 time: 9.25 s
35146.51/3078.32 c subs with bin: 565 lits-rem: 3890 v-fix: 0 time: 1.28 s
35184.87/3079.54 c lits-rem: 5123 cl-subs: 804 v-elim: 0 v-fix: 0 time: 0.83 s
35233.45/3081.03 c asymm cl-useful: 98/755/294966 lits-rem:3193 time: 1.50
35236.65/3081.19 c calculated reachability. Time: 0.02
35239.21/3081.20 c N dy 313 69875 156728 294955 3072300 16057 9581645 1033632 22.75 no data
35386.25/3085.89 c Finding binary XORs T: 0.24 s found: 11
35606.73/3092.70 c N dy 329 74434 156728 294955 3072329 20469 9581645 1216868 22.57 24.73
36101.16/3108.30 c N dy 360 79252 156663 294955 3092213 25196 9581644 1528673 22.87 52.87
36603.02/3124.02 c N dy 393 84376 156656 294955 3093403 30204 9581643 1785593 23.02 24.58
36915.67/3133.77 c F st 406 87503 156656 294955 3093420 33247 9581643 2007973 22.90 no data
36934.84/3134.39 c Replacing 11 vars Replaced 21617 lits Time: 0.42 s
36960.41/3135.12 c Found part 54 vars: 156627 clauses: 3085336 lits size: 9571213
36960.41/3135.12 c Found part 55 vars: 2 clauses: 1 lits size: 2
36960.41/3135.12 c Found part 56 vars: 2 clauses: 1 lits size: 2
36960.41/3135.12 c Found part 57 vars: 2 clauses: 1 lits size: 2
36960.41/3135.12 c Found parts: 4 time: 1.34 s
36960.41/3135.12 c Solving part 55
36982.78/3135.83 c N st 0 0 2 0 1 0 2 0 no data no data
36982.78/3135.83 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
36982.78/3135.83 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
36982.78/3135.88 c Finding binary XORs T: 0.04 s found: 0
36982.78/3135.89 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
36982.78/3135.89 c calculated reachability. Time: 0.00
36985.97/3135.90 c Calc default polars - time: 0.01 s pos: 0 undec: 651873 neg: 2
36985.97/3135.90 c =========================================================================================
36985.97/3135.90 c types(t): F = full restart, N = normal restart
36985.97/3135.90 c types(t): S = simplification begin/end, E = solution found
36985.97/3135.90 c restart types(rt): st = static, dy = dynamic
36985.97/3135.90 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
36985.97/3135.90 c B st 0 0 2 0 1 0 2 0 no data no data
36985.97/3135.90 c E st 1 0 0 0 1 0 2 0 no data no data
36985.97/3135.93 c Verified 0 clauses.
36985.97/3135.93 c Verified 0 clauses.
36985.97/3135.93 c Solved part
36985.97/3135.93 c =========================================================================================
36985.97/3135.97 c Solving part 56
37008.29/3136.67 c N st 0 0 2 0 1 0 2 0 no data no data
37008.29/3136.67 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
37008.29/3136.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
37011.48/3136.72 c Finding binary XORs T: 0.04 s found: 0
37011.48/3136.73 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
37011.48/3136.73 c calculated reachability. Time: 0.00
37011.48/3136.74 c Calc default polars - time: 0.01 s pos: 0 undec: 651873 neg: 2
37011.48/3136.74 c =========================================================================================
37011.48/3136.74 c types(t): F = full restart, N = normal restart
37011.48/3136.74 c types(t): S = simplification begin/end, E = solution found
37011.48/3136.74 c restart types(rt): st = static, dy = dynamic
37011.48/3136.74 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
37011.48/3136.74 c B st 0 0 2 0 1 0 2 0 no data no data
37011.48/3136.74 c E st 1 0 0 0 1 0 2 0 no data no data
37011.48/3136.77 c Verified 0 clauses.
37011.48/3136.77 c Verified 0 clauses.
37011.48/3136.77 c Solved part
37011.48/3136.77 c =========================================================================================
37014.67/3136.81 c Solving part 57
37033.84/3137.50 c N st 0 0 2 0 1 0 2 0 no data no data
37033.84/3137.50 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
37037.04/3137.50 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
37037.04/3137.55 c Finding binary XORs T: 0.05 s found: 0
37037.04/3137.56 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
37037.04/3137.56 c calculated reachability. Time: 0.00
37037.04/3137.57 c Calc default polars - time: 0.01 s pos: 0 undec: 651873 neg: 2
37037.04/3137.57 c =========================================================================================
37037.04/3137.57 c types(t): F = full restart, N = normal restart
37037.04/3137.57 c types(t): S = simplification begin/end, E = solution found
37037.04/3137.57 c restart types(rt): st = static, dy = dynamic
37037.04/3137.57 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
37037.04/3137.57 c B st 0 0 2 0 1 0 2 0 no data no data
37037.04/3137.57 c E st 1 0 0 0 1 0 2 0 no data no data
37040.24/3137.60 c Verified 0 clauses.
37040.24/3137.60 c Verified 0 clauses.
37040.24/3137.60 c Solved part
37040.24/3137.60 c =========================================================================================
37040.24/3137.63 c Coming back to original instance
37040.24/3137.63 c =========================================================================================
37315.12/3146.27 c N st 411 90803 156632 294423 3082058 19055 9571126 1062189 22.90 no data
37836.79/3162.56 c N dy 449 96633 156631 294423 3082376 24782 9571124 1447721 23.33 57.98
38472.21/3182.45 c N dy 489 103224 156596 294423 3083145 31209 9571124 1839137 23.53 24.97
38603.29/3186.53 c S st 504 104813 156596 294423 3083151 32771 9571124 1949096 23.70 no data
38667.21/3188.60 c Finding binary XORs T: 0.24 s found: 11
38772.70/3191.86 c S st 504 105314 156593 294418 3082364 33189 9569857 1955903 23.70 no data
38782.88/3192.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.31
39811.53/3224.30 c Flit: 241 Blit: 910 bXBeca: 0 bXProp: 44 Bins: 833035 BRemL: 1068 BRemN: 72 P: 200.0M T: 32.12
39811.53/3224.32 c Cleaning up after failed var search: 0.00 s
39833.92/3225.09 c Replacing 55 vars Replaced 94684 lits Time: 0.75 s
39853.09/3225.65 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.02 s
39878.66/3226.48 c bin-w-bin subsume rem 26214 bins time: 0.83 s
40044.87/3231.72 c subs with bin: 5842 lits-rem: 7349 v-fix: 0 time: 5.23 s
40194.57/3236.40 c Subs w/ non-existent bins: 4352 l-rem: 2168 v-fix: 0 done: 27042 time: 4.64 s
40216.96/3237.08 c Removed useless bin: 7201 fixed: 0 props: 20.00M time: 0.68 s
40309.64/3239.92 c lits-rem: 470 cl-subs: 2875 v-elim: 5432 v-fix: 0 time: 2.83 s
40383.16/3242.24 c subs with bin: 619 lits-rem: 13925 v-fix: 0 time: 2.04 s
40438.12/3243.98 c lits-rem: 13813 cl-subs: 982 v-elim: 0 v-fix: 0 time: 1.35 s
40485.44/3245.42 c asymm cl-useful: 106/697/272818 lits-rem:2728 time: 1.44
40488.63/3245.59 c calculated reachability. Time: 0.02
40491.83/3245.60 c N dy 504 105314 149954 272808 3622480 28580 9131133 2938776 23.70 no data
40498.23/3245.85 c Finding binary XORs T: 0.25 s found: 9
42653.75/3585.09 c N dy 564 112097 149682 272808 3661408 35218 9131133 3419338 24.23 29.11
43479.68/3747.96 c N dy 607 119319 149267 272808 3681065 23358 9131132 2509508 24.52 27.33
43966.16/3763.13 c Finding binary XORs T: 0.24 s found: 37
44294.78/3773.42 c N dy 668 127011 149259 267323 3566072 30623 9034185 2755679 24.91 32.85
45065.11/3797.56 c N dy 743 135180 149255 267323 3567078 38709 9034185 3328658 25.65 35.98
45819.50/3821.10 c N dy 795 143849 149255 267323 3567654 25651 9034184 2338105 25.72 57.74
46676.13/3847.98 c N dy 865 153108 149216 267323 3568037 34757 9034137 2914225 26.13 35.71
47162.65/3863.14 c S st 903 157974 149209 267323 3568572 39516 9034137 3205628 26.31 12.97
47296.25/3867.38 c S st 903 158475 149208 267323 3568596 39991 9034137 3213299 26.31 no data
47309.03/3867.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.33
48120.96/3893.12 c Flit: 138 Blit: 533 bXBeca: 0 bXProp: 53 Bins: 786340 BRemL: 1633 BRemN: 25 P: 200.0M T: 25.39
48120.96/3893.13 c Cleaning up after failed var search: 0.00 s
48147.14/3893.98 c Replacing 102 vars Replaced 124560 lits Time: 0.82 s
48165.68/3894.51 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.02 s
48204.05/3895.75 c bin-w-bin subsume rem 34231 bins time: 1.24 s
48358.09/3900.58 c subs with bin: 2540 lits-rem: 6847 v-fix: 0 time: 4.83 s
48485.35/3904.56 c Subs w/ non-existent bins: 0 l-rem: 108 v-fix: 0 done: 38247 time: 3.96 s
48530.10/3905.91 c Removed useless bin: 68401 fixed: 0 props: 20.00M time: 1.35 s
48622.81/3908.83 c lits-rem: 596 cl-subs: 4306 v-elim: 2753 v-fix: 0 time: 2.91 s
48693.13/3911.05 c subs with bin: 578 lits-rem: 12288 v-fix: 0 time: 1.94 s
48760.26/3913.13 c lits-rem: 24303 cl-subs: 1562 v-elim: 0 v-fix: 0 time: 1.71 s
48808.20/3914.61 c asymm cl-useful: 88/620/256886 lits-rem:2041 time: 1.48
48811.40/3914.78 c calculated reachability. Time: 0.02
48811.40/3914.79 c N dy 903 158475 145671 256880 3360256 35105 8719341 2717161 26.31 no data
48820.97/3915.02 c Finding binary XORs T: 0.23 s found: 6
51022.31/4202.69 c N dy 974 168766 145656 256880 3375538 23021 8719340 1902275 26.66 30.77
51717.21/4314.96 c Finding binary XORs T: 0.24 s found: 20
52206.25/4330.27 c N dy 1055 179610 145539 256823 3417848 33661 8713168 2664839 27.01 32.46
53257.90/4363.17 c N dy 1148 191114 145535 256823 3418525 44947 8713167 3461681 27.48 32.91
54223.84/4393.39 c N dy 1245 203325 145535 256823 3418979 32728 8713151 2536054 28.03 38.62
55284.46/4426.60 c N dy 1341 216362 145534 256823 3419481 45538 8713150 3418495 28.44 52.50
56566.25/4466.68 c N dy 1454 230245 145442 256823 3420471 33277 8713149 2466757 28.95 58.02
57114.42/4485.47 c Finding binary XORs T: 0.24 s found: 16
57309.40/4491.57 c S st 1514 237713 145121 255081 3442475 40621 8680372 3048984 29.20 no data
57456.45/4496.19 c S st 1514 238213 145120 255081 3442493 41102 8680372 3058883 29.20 no data
57469.25/4496.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.31
58245.86/4520.82 c Flit: 89 Blit: 129 bXBeca: 0 bXProp: 17 Bins: 127512 BRemL: 2338 BRemN: 1779 P: 200.0M T: 24.31
58245.86/4520.83 c Cleaning up after failed var search: 0.00 s
58268.23/4521.55 c Replacing 60 vars Replaced 100418 lits Time: 0.69 s
58284.80/4522.07 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.02 s
58303.39/4522.61 c bin-w-bin subsume rem 19446 bins time: 0.54 s
58456.83/4527.46 c subs with bin: 2165 lits-rem: 5733 v-fix: 0 time: 4.85 s
58559.08/4530.68 c Subs w/ non-existent bins: 1545 l-rem: 1934 v-fix: 0 done: 27668 time: 3.09 s
58581.45/4531.33 c Removed useless bin: 5087 fixed: 0 props: 20.01M time: 0.65 s
58664.57/4533.91 c lits-rem: 452 cl-subs: 2351 v-elim: 7426 v-fix: 0 time: 2.58 s
58734.89/4536.10 c subs with bin: 158 lits-rem: 3940 v-fix: 0 time: 1.90 s
58798.82/4538.15 c lits-rem: 9334 cl-subs: 962 v-elim: 0 v-fix: 0 time: 1.69 s
58843.58/4539.54 c asymm cl-useful: 100/584/242509 lits-rem:1948 time: 1.39
58847.40/4539.70 c calculated reachability. Time: 0.02
58847.40/4539.71 c N dy 1514 238213 137408 242498 3379857 39486 8315771 3004467 29.20 no data
59307.70/4554.04 c Finding binary XORs T: 0.23 s found: 4
60193.73/4582.22 c N dy 1636 253615 137378 242253 3383483 27680 8312978 2100714 29.69 32.94
61657.34/4628.08 c N dy 1768 269925 137376 242253 3386912 43705 8312978 3267291 30.29 33.35
62983.59/4669.57 c N dy 1904 287206 137217 242253 3402240 32656 8312978 2413846 30.78 43.34
63841.03/4696.40 c Finding binary XORs T: 0.23 s found: 78
64536.70/4718.27 c N dy 2053 305575 137077 241618 2754347 50625 8296176 2474672 31.34 45.41
64603.83/4720.35 c F st 2058 306250 137077 241618 2754348 51281 8296176 2518448 31.34 30.48
64623.02/4720.95 c Replacing 82 vars Replaced 49502 lits Time: 0.44 s
64645.39/4721.60 c Found part 78 vars: 136956 clauses: 2716632 lits size: 8294204
64645.39/4721.60 c Found part 79 vars: 2 clauses: 1 lits size: 2
64645.39/4721.60 c Found part 80 vars: 2 clauses: 1 lits size: 2
64645.39/4721.60 c Found part 81 vars: 2 clauses: 1 lits size: 2
64645.39/4721.60 c Found part 82 vars: 2 clauses: 1 lits size: 2
64645.39/4721.60 c Found part 83 vars: 2 clauses: 1 lits size: 2
64645.39/4721.60 c Found part 84 vars: 2 clauses: 1 lits size: 2
64645.39/4721.60 c Found part 85 vars: 2 clauses: 1 lits size: 2
64645.39/4721.60 c Found part 86 vars: 2 clauses: 1 lits size: 2
64645.39/4721.60 c Found parts: 9 time: 1.25 s
64645.39/4721.60 c Solving part 79
64665.12/4722.27 c N st 0 0 2 0 1 0 2 0 no data no data
64665.12/4722.27 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
64665.12/4722.27 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
64668.32/4722.32 c Finding binary XORs T: 0.05 s found: 0
64668.32/4722.33 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
64668.32/4722.33 c calculated reachability. Time: 0.00
64668.32/4722.35 c Calc default polars - time: 0.01 s pos: 0 undec: 651873 neg: 2
64668.32/4722.35 c =========================================================================================
64668.32/4722.35 c types(t): F = full restart, N = normal restart
64668.32/4722.35 c types(t): S = simplification begin/end, E = solution found
64668.32/4722.35 c restart types(rt): st = static, dy = dynamic
64668.32/4722.35 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
64668.32/4722.35 c B st 0 0 2 0 1 0 2 0 no data no data
64668.32/4722.35 c E st 1 0 0 0 1 0 2 0 no data no data
64668.32/4722.37 c Verified 0 clauses.
64668.32/4722.37 c Verified 0 clauses.
64668.32/4722.37 c Solved part
64668.32/4722.37 c =========================================================================================
64670.91/4722.40 c Solving part 80
64689.96/4723.05 c N st 0 0 2 0 1 0 2 0 no data no data
64689.96/4723.05 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
64689.96/4723.06 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
64693.16/4723.11 c Finding binary XORs T: 0.05 s found: 0
64693.16/4723.11 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
64693.16/4723.11 c calculated reachability. Time: 0.00
64693.16/4723.13 c Calc default polars - time: 0.02 s pos: 0 undec: 651873 neg: 2
64693.16/4723.13 c =========================================================================================
64693.16/4723.13 c types(t): F = full restart, N = normal restart
64693.16/4723.13 c types(t): S = simplification begin/end, E = solution found
64693.16/4723.13 c restart types(rt): st = static, dy = dynamic
64693.16/4723.13 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
64693.16/4723.13 c B st 0 0 2 0 1 0 2 0 no data no data
64693.16/4723.13 c E st 1 0 0 0 1 0 2 0 no data no data
64693.16/4723.15 c Verified 0 clauses.
64693.16/4723.15 c Verified 0 clauses.
64693.16/4723.15 c Solved part
64693.16/4723.15 c =========================================================================================
64693.16/4723.18 c Solving part 81
64715.46/4723.81 c N st 0 0 2 0 1 0 2 0 no data no data
64715.46/4723.81 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
64715.46/4723.81 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
64715.46/4723.86 c Finding binary XORs T: 0.05 s found: 0
64715.46/4723.87 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
64715.46/4723.87 c calculated reachability. Time: 0.00
64715.46/4723.88 c Calc default polars - time: 0.01 s pos: 0 undec: 651873 neg: 2
64715.46/4723.88 c =========================================================================================
64715.46/4723.88 c types(t): F = full restart, N = normal restart
64715.46/4723.88 c types(t): S = simplification begin/end, E = solution found
64715.46/4723.88 c restart types(rt): st = static, dy = dynamic
64715.46/4723.88 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
64715.46/4723.88 c B st 0 0 2 0 1 0 2 0 no data no data
64715.46/4723.88 c E st 1 0 0 0 1 0 2 0 no data no data
64718.66/4723.91 c Verified 0 clauses.
64718.66/4723.91 c Verified 0 clauses.
64718.66/4723.91 c Solved part
64718.66/4723.91 c =========================================================================================
64718.66/4723.94 c Solving part 82
64738.42/4724.58 c N st 0 0 2 0 1 0 2 0 no data no data
64738.42/4724.58 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
64738.42/4724.59 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
64740.98/4724.63 c Finding binary XORs T: 0.04 s found: 0
64740.98/4724.64 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
64740.98/4724.64 c calculated reachability. Time: 0.00
64740.98/4724.66 c Calc default polars - time: 0.01 s pos: 0 undec: 651873 neg: 2
64740.98/4724.66 c =========================================================================================
64740.98/4724.66 c types(t): F = full restart, N = normal restart
64740.98/4724.66 c types(t): S = simplification begin/end, E = solution found
64740.98/4724.66 c restart types(rt): st = static, dy = dynamic
64740.98/4724.66 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
64740.98/4724.66 c B st 0 0 2 0 1 0 2 0 no data no data
64740.98/4724.66 c E st 1 0 0 0 1 0 2 0 no data no data
64740.98/4724.68 c Verified 0 clauses.
64740.98/4724.68 c Verified 0 clauses.
64740.98/4724.68 c Solved part
64740.98/4724.68 c =========================================================================================
64744.18/4724.71 c Solving part 83
64763.34/4725.36 c N st 0 0 2 0 1 0 2 0 no data no data
64763.34/4725.36 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
64763.34/4725.36 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
64766.54/4725.41 c Finding binary XORs T: 0.04 s found: 0
64766.54/4725.42 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
64766.54/4725.42 c calculated reachability. Time: 0.00
64766.54/4725.43 c Calc default polars - time: 0.01 s pos: 0 undec: 651873 neg: 2
64766.54/4725.43 c =========================================================================================
64766.54/4725.43 c types(t): F = full restart, N = normal restart
64766.54/4725.43 c types(t): S = simplification begin/end, E = solution found
64766.54/4725.43 c restart types(rt): st = static, dy = dynamic
64766.54/4725.43 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
64766.54/4725.43 c B st 0 0 2 0 1 0 2 0 no data no data
64766.54/4725.43 c E st 1 0 0 0 1 0 2 0 no data no data
64766.54/4725.46 c Verified 0 clauses.
64766.54/4725.46 c Verified 0 clauses.
64766.54/4725.46 c Solved part
64766.54/4725.46 c =========================================================================================
64766.54/4725.49 c Solving part 84
64788.89/4726.13 c N st 0 0 2 0 1 0 2 0 no data no data
64788.89/4726.13 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
64788.89/4726.14 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
64788.89/4726.19 c Finding binary XORs T: 0.05 s found: 0
64788.89/4726.20 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
64788.89/4726.20 c calculated reachability. Time: 0.00
64792.10/4726.21 c Calc default polars - time: 0.01 s pos: 0 undec: 651873 neg: 2
64792.10/4726.21 c =========================================================================================
64792.10/4726.21 c types(t): F = full restart, N = normal restart
64792.10/4726.21 c types(t): S = simplification begin/end, E = solution found
64792.10/4726.21 c restart types(rt): st = static, dy = dynamic
64792.10/4726.21 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
64792.10/4726.21 c B st 0 0 2 0 1 0 2 0 no data no data
64792.10/4726.21 c E st 1 0 0 0 1 0 2 0 no data no data
64792.10/4726.24 c Verified 0 clauses.
64792.10/4726.24 c Verified 0 clauses.
64792.10/4726.24 c Solved part
64792.10/4726.24 c =========================================================================================
64792.10/4726.27 c Solving part 85
64814.46/4726.91 c N st 0 0 2 0 1 0 2 0 no data no data
64814.46/4726.91 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
64814.46/4726.92 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
64814.46/4726.97 c Finding binary XORs T: 0.05 s found: 0
64814.46/4726.97 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
64814.46/4726.97 c calculated reachability. Time: 0.00
64814.46/4726.99 c Calc default polars - time: 0.01 s pos: 0 undec: 651873 neg: 2
64814.46/4726.99 c =========================================================================================
64814.46/4726.99 c types(t): F = full restart, N = normal restart
64814.46/4726.99 c types(t): S = simplification begin/end, E = solution found
64814.46/4726.99 c restart types(rt): st = static, dy = dynamic
64814.46/4726.99 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
64814.46/4726.99 c B st 0 0 2 0 1 0 2 0 no data no data
64814.46/4726.99 c E st 1 0 0 0 1 0 2 0 no data no data
64817.66/4727.02 c Verified 0 clauses.
64817.66/4727.02 c Verified 0 clauses.
64817.66/4727.02 c Solved part
64817.66/4727.02 c =========================================================================================
64817.66/4727.05 c Solving part 86
64840.65/4727.72 c N st 0 0 2 0 1 0 2 0 no data no data
64840.65/4727.72 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
64840.65/4727.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
64840.65/4727.77 c Finding binary XORs T: 0.05 s found: 0
64840.65/4727.78 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
64840.65/4727.78 c calculated reachability. Time: 0.00
64840.65/4727.79 c Calc default polars - time: 0.01 s pos: 0 undec: 651873 neg: 2
64840.65/4727.79 c =========================================================================================
64840.65/4727.79 c types(t): F = full restart, N = normal restart
64840.65/4727.79 c types(t): S = simplification begin/end, E = solution found
64840.65/4727.79 c restart types(rt): st = static, dy = dynamic
64840.65/4727.79 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
64840.65/4727.79 c B st 0 0 2 0 1 0 2 0 no data no data
64840.65/4727.79 c E st 1 0 0 0 1 0 2 0 no data no data
64843.85/4727.82 c Verified 0 clauses.
64843.85/4727.82 c Verified 0 clauses.
64843.85/4727.82 c Solved part
64843.85/4727.82 c =========================================================================================
64843.85/4727.86 c Coming back to original instance
64843.85/4727.86 c =========================================================================================
66245.71/4771.77 c N dy 2170 325276 136970 241490 2754571 40611 8294200 1588792 31.65 33.62
67974.44/4825.83 c N dy 2322 345359 136771 241490 2755476 60320 8294200 3025597 32.06 39.18
69000.48/4857.94 c S st 2430 357320 136561 241490 2760818 41816 8294199 1662909 32.38 no data
69179.48/4863.54 c S st 2430 357820 136560 241490 2760836 42297 8294199 1667607 32.38 no data
69189.08/4863.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.29
70004.19/4889.34 c Flit: 60 Blit: 401 bXBeca: 0 bXProp: 46 Bins:1161116 BRemL: 2573 BRemN: 1033 P: 200.0M T: 24.78
70004.19/4889.35 c Cleaning up after failed var search: 0.00 s
70039.35/4890.48 c Replacing 47 vars Replaced 163202 lits Time: 1.08 s
70058.52/4891.03 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.02 s
70078.33/4891.63 c bin-w-bin subsume rem 17928 bins time: 0.58 s
70227.93/4896.35 c subs with bin: 2399 lits-rem: 7414 v-fix: 0 time: 4.59 s
70333.41/4899.64 c Subs w/ non-existent bins: 285 l-rem: 1297 v-fix: 1 done: 22756 time: 3.20 s
70359.62/4900.51 c Removed useless bin: 30888 fixed: 0 props: 20.22M time: 0.84 s
70486.84/4904.45 c lits-rem: 444 cl-subs: 4035 v-elim: 7114 v-fix: 0 time: 3.83 s
70553.98/4906.57 c subs with bin: 41 lits-rem: 2474 v-fix: 0 time: 1.79 s
70598.74/4907.95 c lits-rem: 10495 cl-subs: 419 v-elim: 0 v-fix: 0 time: 1.00 s
70644.09/4909.38 c asymm cl-useful: 115/587/227202 lits-rem:2015 time: 1.38
70649.88/4909.54 c calculated reachability. Time: 0.02
70649.88/4909.55 c N dy 2430 357820 128862 227200 3020147 39570 7891202 2255093 32.38 no data
70656.24/4909.77 c Finding binary XORs T: 0.22 s found: 29
Verifier Data
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>
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-3400903-1307118504/watcher-3400903-1307118504 -o /tmp/evaluation-result-3400903-1307118504/solver-3400903-1307118504 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400903-1307118504.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 267264000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 267315200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 23.46 29.12 30.74 1/413 16901
/proc/meminfo: memFree=262628012/264257624 swapFree=67054988/67111528
[pid=16901] ppid=16899 vsize=338000 CPUtime=0.79 cores=0-31
/proc/16901/stat : 16901 (strangenight2-m) R 16899 16901 16461 0 -1 4202496 469 0 0 0 79 0 0 0 22 0 32 0 17763767 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645273 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16901/statm: 84500 408 300 95 0 79482 0
[pid=16901/tid=16902] ppid=16899 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16901/task/16902/stat : 16902 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645267 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16901/tid=16903] ppid=16899 vsize=338000 CPUtime=0 cores=0-31
/proc/16901/task/16903/stat : 16903 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645273 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16901/tid=16904] ppid=16899 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16901/task/16904/stat : 16904 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645273 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16901/tid=16905] ppid=16899 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16901/task/16905/stat : 16905 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645273 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16901/tid=16906] ppid=16899 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16901/task/16906/stat : 16906 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645273 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16901/tid=16907] ppid=16899 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16901/task/16907/stat : 16907 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645267 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16901/tid=16908] ppid=16899 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16901/task/16908/stat : 16908 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645273 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16901/tid=16909] ppid=16899 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16901/task/16909/stat : 16909 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645273 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16901/tid=16910] ppid=16899 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16901/task/16910/stat : 16910 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645271 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16901/tid=16911] ppid=16899 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16901/task/16911/stat : 16911 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645267 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16901/tid=16912] ppid=16899 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16901/task/16912/stat : 16912 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645267 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16901/tid=16913] ppid=16899 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16901/task/16913/stat : 16913 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645267 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16901/tid=16914] ppid=16899 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16901/task/16914/stat : 16914 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645273 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16901/tid=16915] ppid=16899 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16901/task/16915/stat : 16915 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645267 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16901/tid=16916] ppid=16899 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16901/task/16916/stat : 16916 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 2 0 0 0 20 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645273 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16901/tid=16917] ppid=16899 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16901/task/16917/stat : 16917 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645267 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16901/tid=16918] ppid=16899 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16901/task/16918/stat : 16918 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645277 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16901/tid=16919] ppid=16899 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16901/task/16919/stat : 16919 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645267 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16901/tid=16920] ppid=16899 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16901/task/16920/stat : 16920 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645273 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16901/tid=16921] ppid=16899 vsize=338000 CPUtime=0 cores=0-31
/proc/16901/task/16921/stat : 16921 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645686 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16901/tid=16922] ppid=16899 vsize=338000 CPUtime=0.01 cores=0-31
/proc/16901/task/16922/stat : 16922 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 1 0 0 0 21 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645271 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16901/tid=16923] ppid=16899 vsize=338000 CPUtime=0.01 cores=0-31
/proc/16901/task/16923/stat : 16923 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 1 0 0 0 21 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645264 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=16901/tid=16924] ppid=16899 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16901/task/16924/stat : 16924 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645273 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=16901/tid=16925] ppid=16899 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16901/task/16925/stat : 16925 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645267 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16901/tid=16926] ppid=16899 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16901/task/16926/stat : 16926 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645273 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=16901/tid=16927] ppid=16899 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16901/task/16927/stat : 16927 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645273 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16901/tid=16928] ppid=16899 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16901/task/16928/stat : 16928 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645267 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=16901/tid=16929] ppid=16899 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16901/task/16929/stat : 16929 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645267 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16901/tid=16930] ppid=16899 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16901/task/16930/stat : 16930 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645273 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16901/tid=16931] ppid=16899 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16901/task/16931/stat : 16931 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645273 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=16901/tid=16932] ppid=16899 vsize=338000 CPUtime=0.02 cores=0-31
/proc/16901/task/16932/stat : 16932 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 17763768 346112000 408 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534645267 0 0 4096 2 0 0 0 -1 23 0 0 0
[startup+0.0999279 s]
/proc/loadavg: 23.46 29.12 30.74 1/413 16901
/proc/meminfo: memFree=262628012/264257624 swapFree=67054988/67111528
[pid=16901] ppid=16899 vsize=732436 CPUtime=2.54 cores=0-31
/proc/16901/stat : 16901 (strangenight2-m) R 16899 16901 16461 0 -1 4202496 7727 0 0 0 198 56 0 0 18 0 32 0 17763767 750014464 7600 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16901/statm: 183109 7601 330 95 0 178091 0
[pid=16901/tid=16902] ppid=16899 vsize=732436 CPUtime=0.07 cores=0-31
/proc/16901/task/16902/stat : 16902 (strangenight2-m) D 16899 16901 16461 0 -1 4202560 199 0 0 0 6 1 0 0 25 0 32 0 17763768 750014464 7601 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16901/tid=16903] ppid=16899 vsize=732436 CPUtime=0.05 cores=0-31
/proc/16901/task/16903/stat : 16903 (strangenight2-m) D 16899 16901 16461 0 -1 4202560 241 0 0 0 4 1 0 0 18 0 32 0 17763768 750014464 7601 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16901/tid=16904] ppid=16899 vsize=732436 CPUtime=0.08 cores=0-31
/proc/16901/task/16904/stat : 16904 (strangenight2-m) D 16899 16901 16461 0 -1 4202560 268 0 0 0 6 2 0 0 18 0 32 0 17763768 750014464 7601 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16901/tid=16905] ppid=16899 vsize=732436 CPUtime=0.07 cores=0-31
/proc/16901/task/16905/stat : 16905 (strangenight2-m) D 16899 16901 16461 0 -1 4202560 224 0 0 0 6 1 0 0 20 0 32 0 17763768 750014464 7601 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16901/tid=16906] ppid=16899 vsize=732436 CPUtime=0.07 cores=0-31
/proc/16901/task/16906/stat : 16906 (strangenight2-m) D 16899 16901 16461 0 -1 4202560 212 0 0 0 6 1 0 0 20 0 32 0 17763768 750014464 7601 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16901/tid=16907] ppid=16899 vsize=732436 CPUtime=0.07 cores=0-31
/proc/16901/task/16907/stat : 16907 (strangenight2-m) D 16899 16901 16461 0 -1 4202560 206 0 0 0 6 1 0 0 20 0 32 0 17763768 750014464 7601 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16901/tid=16908] ppid=16899 vsize=732436 CPUtime=0.07 cores=0-31
/proc/16901/task/16908/stat : 16908 (strangenight2-m) D 16899 16901 16461 0 -1 4202560 220 0 0 0 6 1 0 0 20 0 32 0 17763768 750014464 7601 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16901/tid=16909] ppid=16899 vsize=732436 CPUtime=0.07 cores=0-31
/proc/16901/task/16909/stat : 16909 (strangenight2-m) D 16899 16901 16461 0 -1 4202560 266 0 0 0 6 1 0 0 18 0 32 0 17763768 750014464 7601 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16901/tid=16910] ppid=16899 vsize=732436 CPUtime=0.07 cores=0-31
/proc/16901/task/16910/stat : 16910 (strangenight2-m) D 16899 16901 16461 0 -1 4202560 263 0 0 0 6 1 0 0 18 0 32 0 17763768 750014464 7601 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16901/tid=16911] ppid=16899 vsize=732436 CPUtime=0.07 cores=0-31
/proc/16901/task/16911/stat : 16911 (strangenight2-m) D 16899 16901 16461 0 -1 4202560 198 0 0 0 6 1 0 0 21 0 32 0 17763768 750014464 7601 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16901/tid=16912] ppid=16899 vsize=732436 CPUtime=0.07 cores=0-31
/proc/16901/task/16912/stat : 16912 (strangenight2-m) D 16899 16901 16461 0 -1 4202560 199 0 0 0 6 1 0 0 21 0 32 0 17763768 750014464 7601 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16901/tid=16913] ppid=16899 vsize=732436 CPUtime=0.07 cores=0-31
/proc/16901/task/16913/stat : 16913 (strangenight2-m) D 16899 16901 16461 0 -1 4202560 274 0 0 0 6 1 0 0 18 0 32 0 17763768 750014464 7601 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16901/tid=16914] ppid=16899 vsize=732436 CPUtime=0.07 cores=0-31
/proc/16901/task/16914/stat : 16914 (strangenight2-m) D 16899 16901 16461 0 -1 4202560 249 0 0 0 6 1 0 0 18 0 32 0 17763768 750014464 7601 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16901/tid=16915] ppid=16899 vsize=732436 CPUtime=0.07 cores=0-31
/proc/16901/task/16915/stat : 16915 (strangenight2-m) D 16899 16901 16461 0 -1 4202560 187 0 0 0 6 1 0 0 21 0 32 0 17763768 750014464 7602 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16901/tid=16916] ppid=16899 vsize=732436 CPUtime=0.07 cores=0-31
/proc/16901/task/16916/stat : 16916 (strangenight2-m) D 16899 16901 16461 0 -1 4202560 240 0 0 0 6 1 0 0 21 0 32 0 17763768 750014464 7619 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16901/tid=16917] ppid=16899 vsize=732436 CPUtime=0.07 cores=0-31
/proc/16901/task/16917/stat : 16917 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 273 0 0 0 6 1 0 0 18 0 32 0 17763768 750014464 7631 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16901/tid=16918] ppid=16899 vsize=732436 CPUtime=0.07 cores=0-31
/proc/16901/task/16918/stat : 16918 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 217 0 0 0 6 1 0 0 18 0 32 0 17763768 750014464 7668 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=16901/tid=16919] ppid=16899 vsize=732436 CPUtime=0.07 cores=0-31
/proc/16901/task/16919/stat : 16919 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 258 0 0 0 6 1 0 0 22 0 32 0 17763768 750014464 7669 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=16901/tid=16920] ppid=16899 vsize=732436 CPUtime=0.07 cores=0-31
/proc/16901/task/16920/stat : 16920 (strangenight2-m) D 16899 16901 16461 0 -1 4202560 216 0 0 0 6 1 0 0 22 0 32 0 17763768 750014464 7669 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=16901/tid=16921] ppid=16899 vsize=732436 CPUtime=0.01 cores=0-31
/proc/16901/task/16921/stat : 16921 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 239 0 0 0 0 1 0 0 21 0 32 0 17763768 750014464 7669 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16901/tid=16922] ppid=16899 vsize=732436 CPUtime=0.05 cores=0-31
/proc/16901/task/16922/stat : 16922 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 196 0 0 0 4 1 0 0 22 0 32 0 17763768 750014464 7678 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=16901/tid=16923] ppid=16899 vsize=732436 CPUtime=0.05 cores=0-31
/proc/16901/task/16923/stat : 16923 (strangenight2-m) D 16899 16901 16461 0 -1 4202560 245 0 0 0 4 1 0 0 22 0 32 0 17763768 750014464 7693 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=16901/tid=16924] ppid=16899 vsize=732436 CPUtime=0.07 cores=0-31
/proc/16901/task/16924/stat : 16924 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 215 0 0 0 6 1 0 0 23 0 32 0 17763768 750014464 7724 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=16901/tid=16925] ppid=16899 vsize=732436 CPUtime=0.07 cores=0-31
/proc/16901/task/16925/stat : 16925 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 191 0 0 0 6 1 0 0 23 0 32 0 17763768 750014464 7724 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=16901/tid=16926] ppid=16899 vsize=732436 CPUtime=0.07 cores=0-31
/proc/16901/task/16926/stat : 16926 (strangenight2-m) D 16899 16901 16461 0 -1 4202560 256 0 0 0 6 1 0 0 23 0 32 0 17763768 750014464 7724 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=16901/tid=16927] ppid=16899 vsize=732436 CPUtime=0.07 cores=0-31
/proc/16901/task/16927/stat : 16927 (strangenight2-m) D 16899 16901 16461 0 -1 4202560 202 0 0 0 6 1 0 0 23 0 32 0 17763768 750014464 7724 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=16901/tid=16928] ppid=16899 vsize=732436 CPUtime=0.07 cores=0-31
/proc/16901/task/16928/stat : 16928 (strangenight2-m) D 16899 16901 16461 0 -1 4202560 206 0 0 0 6 1 0 0 23 0 32 0 17763768 750014464 7736 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=16901/tid=16929] ppid=16899 vsize=732436 CPUtime=0.07 cores=0-31
/proc/16901/task/16929/stat : 16929 (strangenight2-m) D 16899 16901 16461 0 -1 4202560 242 0 0 0 6 1 0 0 23 0 32 0 17763768 750014464 7745 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=16901/tid=16930] ppid=16899 vsize=732436 CPUtime=0.07 cores=0-31
/proc/16901/task/16930/stat : 16930 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 264 0 0 0 6 1 0 0 18 0 32 0 17763768 750014464 7759 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=16901/tid=16931] ppid=16899 vsize=732436 CPUtime=0.07 cores=0-31
/proc/16901/task/16931/stat : 16931 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 195 0 0 0 6 1 0 0 24 0 32 0 17763768 750014464 7790 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=16901/tid=16932] ppid=16899 vsize=732436 CPUtime=0.07 cores=0-31
/proc/16901/task/16932/stat : 16932 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 248 0 0 0 6 1 0 0 24 0 32 0 17763768 750014464 7796 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 732436
[startup+0.103922 s]
/proc/loadavg: 23.46 29.12 30.74 1/413 16901
/proc/meminfo: memFree=262628012/264257624 swapFree=67054988/67111528
[pid=16901] ppid=16899 vsize=765252 CPUtime=2.57 cores=0-31
/proc/16901/stat : 16901 (strangenight2-m) D 16899 16901 16461 0 -1 4202496 8121 0 0 0 198 59 0 0 18 0 32 0 17763767 783618048 7991 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16901/statm: 191313 8002 332 95 0 186295 0
[pid=16901/tid=16902] ppid=16899 vsize=765252 CPUtime=0.07 cores=0-31
/proc/16901/task/16902/stat : 16902 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 212 0 0 0 6 1 0 0 25 0 32 0 17763768 783618048 8002 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=16901/tid=16903] ppid=16899 vsize=765252 CPUtime=0.05 cores=0-31
/proc/16901/task/16903/stat : 16903 (strangenight2-m) D 16899 16901 16461 0 -1 4202560 256 0 0 0 4 1 0 0 18 0 32 0 17763768 783618048 8002 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=16901/tid=16904] ppid=16899 vsize=765252 CPUtime=0.08 cores=0-31
/proc/16901/task/16904/stat : 16904 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 277 0 0 0 6 2 0 0 18 0 32 0 17763768 783618048 8013 268435456000 4194304 4580107 140734932017904 18446744073709551615 4298592 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=16901/tid=16905] ppid=16899 vsize=765252 CPUtime=0.07 cores=0-31
/proc/16901/task/16905/stat : 16905 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 240 0 0 0 6 1 0 0 20 0 32 0 17763768 783618048 8018 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16901/tid=16906] ppid=16899 vsize=765252 CPUtime=0.07 cores=0-31
/proc/16901/task/16906/stat : 16906 (strangenight2-m) D 16899 16901 16461 0 -1 4202560 226 0 0 0 6 1 0 0 20 0 32 0 17763768 783618048 8020 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=16901/tid=16907] ppid=16899 vsize=765252 CPUtime=0.07 cores=0-31
/proc/16901/task/16907/stat : 16907 (strangenight2-m) D 16899 16901 16461 0 -1 4202560 223 0 0 0 6 1 0 0 20 0 32 0 17763768 783618048 8034 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=16901/tid=16908] ppid=16899 vsize=765252 CPUtime=0.08 cores=0-31
/proc/16901/task/16908/stat : 16908 (strangenight2-m) D 16899 16901 16461 0 -1 4202560 235 0 0 0 6 2 0 0 20 0 32 0 17763768 783618048 8037 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=16901/tid=16909] ppid=16899 vsize=765252 CPUtime=0.07 cores=0-31
/proc/16901/task/16909/stat : 16909 (strangenight2-m) D 16899 16901 16461 0 -1 4202560 278 0 0 0 6 1 0 0 18 0 32 0 17763768 783618048 8040 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16901/tid=16910] ppid=16899 vsize=765252 CPUtime=0.07 cores=0-31
/proc/16901/task/16910/stat : 16910 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 273 0 0 0 6 1 0 0 18 0 32 0 17763768 783618048 8053 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=16901/tid=16911] ppid=16899 vsize=765252 CPUtime=0.07 cores=0-31
/proc/16901/task/16911/stat : 16911 (strangenight2-m) D 16899 16901 16461 0 -1 4202560 212 0 0 0 6 1 0 0 21 0 32 0 17763768 783618048 8054 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=16901/tid=16912] ppid=16899 vsize=765252 CPUtime=0.07 cores=0-31
/proc/16901/task/16912/stat : 16912 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 216 0 0 0 6 1 0 0 21 0 32 0 17763768 783618048 8066 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16901/tid=16913] ppid=16899 vsize=765252 CPUtime=0.07 cores=0-31
/proc/16901/task/16913/stat : 16913 (strangenight2-m) D 16899 16901 16461 0 -1 4202560 282 0 0 0 6 1 0 0 18 0 32 0 17763768 783618048 8072 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16901/tid=16914] ppid=16899 vsize=765252 CPUtime=0.08 cores=0-31
/proc/16901/task/16914/stat : 16914 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 267 0 0 0 6 2 0 0 18 0 32 0 17763768 783618048 8089 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=16901/tid=16915] ppid=16899 vsize=765252 CPUtime=0.07 cores=0-31
/proc/16901/task/16915/stat : 16915 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 201 0 0 0 6 1 0 0 21 0 32 0 17763768 783618048 8103 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=16901/tid=16916] ppid=16899 vsize=765252 CPUtime=0.07 cores=0-31
/proc/16901/task/16916/stat : 16916 (strangenight2-m) D 16899 16901 16461 0 -1 4202560 260 0 0 0 6 1 0 0 21 0 32 0 17763768 783618048 8103 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=16901/tid=16917] ppid=16899 vsize=765252 CPUtime=0.07 cores=0-31
/proc/16901/task/16917/stat : 16917 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 284 0 0 0 6 1 0 0 18 0 32 0 17763768 783618048 8103 268435456000 4194304 4580107 140734932017904 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16901/tid=16918] ppid=16899 vsize=765252 CPUtime=0.07 cores=0-31
################
# More data... #
################
[pid=16901/tid=16913] ppid=16899 vsize=38589464 CPUtime=2246.06 cores=0-31
/proc/16901/task/16913/stat : 16913 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 491940 0 0 0 222929 1677 0 0 25 0 32 0 17763768 39515611136 8430113 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604479432572384 0 0 -1 30 0 0 0
[pid=16901/tid=16914] ppid=16899 vsize=38589464 CPUtime=2203.52 cores=0-31
/proc/16901/task/16914/stat : 16914 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 483548 0 0 0 218724 1628 0 0 25 0 32 0 17763768 39515611136 8430113 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604468356980192 0 0 -1 18 0 0 0
[pid=16901/tid=16915] ppid=16899 vsize=38589464 CPUtime=2389.79 cores=0-31
/proc/16901/task/16915/stat : 16915 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 507756 0 0 0 237395 1584 0 0 25 0 32 0 17763768 39515611136 8430113 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604475737488864 0 0 -1 21 0 0 0
[pid=16901/tid=16916] ppid=16899 vsize=38589464 CPUtime=2256.3 cores=0-31
/proc/16901/task/16916/stat : 16916 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 512426 0 0 0 223990 1640 0 0 25 0 32 0 17763768 39515611136 8430113 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604445810957792 0 0 -1 9 0 0 0
[pid=16901/tid=16917] ppid=16899 vsize=38589464 CPUtime=2310.85 cores=0-31
/proc/16901/task/16917/stat : 16917 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 480248 0 0 0 229346 1739 0 0 25 0 32 0 17763768 39515611136 8430113 268435456000 4194304 4580107 140734932017904 18446744073709551615 4518624 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16901/tid=16918] ppid=16899 vsize=38589464 CPUtime=2336.99 cores=0-31
/proc/16901/task/16918/stat : 16918 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 367896 0 0 0 231922 1777 0 0 25 0 32 0 17763768 39515611136 8430113 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604475737505248 0 0 -1 16 0 0 0
[pid=16901/tid=16919] ppid=16899 vsize=38589464 CPUtime=2278.37 cores=0-31
/proc/16901/task/16919/stat : 16919 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 458992 0 0 0 226140 1697 0 0 25 0 32 0 17763768 39515611136 8430113 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604471573421536 0 0 -1 30 0 0 0
[pid=16901/tid=16920] ppid=16899 vsize=38589464 CPUtime=2340.13 cores=0-31
/proc/16901/task/16920/stat : 16920 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 455321 0 0 0 232417 1596 0 0 25 0 32 0 17763768 39515611136 8430113 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604468356988384 0 0 -1 17 0 0 0
[pid=16901/tid=16921] ppid=16899 vsize=38589464 CPUtime=2320.24 cores=0-31
/proc/16901/task/16921/stat : 16921 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 433265 0 0 0 230351 1673 0 0 25 0 32 0 17763768 39515611136 8430113 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604471573437920 0 0 -1 16 0 0 0
[pid=16901/tid=16922] ppid=16899 vsize=38589464 CPUtime=2286.07 cores=0-31
/proc/16901/task/16922/stat : 16922 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 401520 0 0 0 226897 1710 0 0 25 0 32 0 17763768 39515611136 8430113 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604471573429728 0 0 -1 26 0 0 0
[pid=16901/tid=16923] ppid=16899 vsize=38589464 CPUtime=2212.87 cores=0-31
/proc/16901/task/16923/stat : 16923 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 452177 0 0 0 219577 1710 0 0 25 0 32 0 17763768 39515611136 8430113 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604502324411872 0 0 -1 13 0 0 0
[pid=16901/tid=16924] ppid=16899 vsize=38589464 CPUtime=2187.14 cores=0-31
/proc/16901/task/16924/stat : 16924 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 519563 0 0 0 217034 1680 0 0 25 0 32 0 17763768 39515611136 8430113 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604446109187552 0 0 -1 10 0 0 0
[pid=16901/tid=16925] ppid=16899 vsize=38589464 CPUtime=2216.84 cores=0-31
/proc/16901/task/16925/stat : 16925 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 439828 0 0 0 220004 1680 0 0 25 0 32 0 17763768 39515611136 8430113 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604470245719520 0 0 -1 26 0 0 0
[pid=16901/tid=16926] ppid=16899 vsize=38589464 CPUtime=2195.34 cores=0-31
/proc/16901/task/16926/stat : 16926 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 490841 0 0 0 217947 1587 0 0 25 0 32 0 17763768 39515611136 8430113 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604470245703136 0 0 -1 27 0 0 0
[pid=16901/tid=16927] ppid=16899 vsize=38589464 CPUtime=2213.38 cores=0-31
/proc/16901/task/16927/stat : 16927 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 371729 0 0 0 219898 1440 0 0 25 0 32 0 17763768 39515611136 8430113 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604487499537888 0 0 -1 30 0 0 0
[pid=16901/tid=16928] ppid=16899 vsize=38589464 CPUtime=2160.52 cores=0-31
/proc/16901/task/16928/stat : 16928 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 362438 0 0 0 214742 1310 0 0 25 0 32 0 17763768 39515611136 8430113 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604479432588768 0 0 -1 9 0 0 0
[pid=16901/tid=16929] ppid=16899 vsize=38589464 CPUtime=2215.49 cores=0-31
/proc/16901/task/16929/stat : 16929 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 430508 0 0 0 220024 1525 0 0 25 0 32 0 17763768 39515611136 8430113 268435456000 4194304 4580107 140734932017904 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=16901/tid=16930] ppid=16899 vsize=38589464 CPUtime=2211.67 cores=0-31
/proc/16901/task/16930/stat : 16930 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 360260 0 0 0 219654 1513 0 0 25 0 32 0 17763768 39515611136 8430113 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604485680365024 0 0 -1 15 0 0 0
[pid=16901/tid=16931] ppid=16899 vsize=38589464 CPUtime=2339.6 cores=0-31
/proc/16901/task/16931/stat : 16931 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 464404 0 0 0 232437 1523 0 0 25 0 32 0 17763768 39515611136 8430113 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604479432564192 0 0 -1 23 0 0 0
[pid=16901/tid=16932] ppid=16899 vsize=38589464 CPUtime=2303.39 cores=0-31
/proc/16901/task/16932/stat : 16932 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 362051 0 0 0 229291 1048 0 0 25 0 32 0 17763768 39515611136 8430113 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604471573446112 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 71949.2
Current children cumulated vsize (KiB) 38589464
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+5100 s]
/proc/loadavg: 5.57 18.38 18.71 4/445 17081
/proc/meminfo: memFree=228819720/264257624 swapFree=67054988/67111528
[pid=16901] ppid=16899 vsize=38589464 CPUtime=71991.6 cores=0-31
/proc/16901/stat : 16901 (strangenight2-m) S 16899 16901 16461 0 -1 4202496 17342392 0 0 0 7147367 51789 0 0 25 0 32 0 17763767 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16901/statm: 9647366 8435841 379 95 0 9642348 0
[pid=16901/tid=16902] ppid=16899 vsize=38589464 CPUtime=2131.49 cores=0-31
/proc/16901/task/16902/stat : 16902 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 1204312 0 0 0 211261 1888 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604502324387296 0 0 -1 15 0 0 0
[pid=16901/tid=16903] ppid=16899 vsize=38589464 CPUtime=2206.74 cores=0-31
/proc/16901/task/16903/stat : 16903 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 1161915 0 0 0 218781 1893 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604502324395488 0 0 -1 28 0 0 0
[pid=16901/tid=16904] ppid=16899 vsize=38589464 CPUtime=2246.38 cores=0-31
/proc/16901/task/16904/stat : 16904 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 911355 0 0 0 223060 1578 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604479432580576 0 0 -1 29 0 0 0
[pid=16901/tid=16905] ppid=16899 vsize=38589464 CPUtime=2295.79 cores=0-31
/proc/16901/task/16905/stat : 16905 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 1015028 0 0 0 227983 1596 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604446109179360 0 0 -1 22 0 0 0
[pid=16901/tid=16906] ppid=16899 vsize=38589464 CPUtime=2275.83 cores=0-31
/proc/16901/task/16906/stat : 16906 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 497835 0 0 0 225855 1728 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604446109195744 0 0 -1 2 0 0 0
[pid=16901/tid=16907] ppid=16899 vsize=38589464 CPUtime=2262.9 cores=0-31
/proc/16901/task/16907/stat : 16907 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 414793 0 0 0 224606 1684 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604468356996576 0 0 -1 25 0 0 0
[pid=16901/tid=16908] ppid=16899 vsize=38589464 CPUtime=2327.26 cores=0-31
/proc/16901/task/16908/stat : 16908 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 460843 0 0 0 231535 1191 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604506283908576 0 0 -1 24 0 0 0
[pid=16901/tid=16909] ppid=16899 vsize=38589464 CPUtime=2175.03 cores=0-31
/proc/16901/task/16909/stat : 16909 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 471477 0 0 0 215900 1603 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=16901/tid=16910] ppid=16899 vsize=38589464 CPUtime=2205.13 cores=0-31
/proc/16901/task/16910/stat : 16910 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 423051 0 0 0 218856 1657 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604563518692832 0 0 -1 8 0 0 0
[pid=16901/tid=16911] ppid=16899 vsize=38589464 CPUtime=2229.8 cores=0-31
/proc/16901/task/16911/stat : 16911 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 445226 0 0 0 221234 1746 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604475737497056 0 0 -1 30 0 0 0
[pid=16901/tid=16912] ppid=16899 vsize=38589464 CPUtime=2266.88 cores=0-31
/proc/16901/task/16912/stat : 16912 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 486649 0 0 0 224982 1706 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604487499546080 0 0 -1 19 0 0 0
[pid=16901/tid=16913] ppid=16899 vsize=38589464 CPUtime=2246.06 cores=0-31
/proc/16901/task/16913/stat : 16913 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 491940 0 0 0 222929 1677 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604479432572384 0 0 -1 30 0 0 0
[pid=16901/tid=16914] ppid=16899 vsize=38589464 CPUtime=2203.52 cores=0-31
/proc/16901/task/16914/stat : 16914 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 483548 0 0 0 218724 1628 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604468356980192 0 0 -1 18 0 0 0
[pid=16901/tid=16915] ppid=16899 vsize=38589464 CPUtime=2389.79 cores=0-31
/proc/16901/task/16915/stat : 16915 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 507756 0 0 0 237395 1584 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604475737488864 0 0 -1 21 0 0 0
[pid=16901/tid=16916] ppid=16899 vsize=38589464 CPUtime=2256.3 cores=0-31
/proc/16901/task/16916/stat : 16916 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 512426 0 0 0 223990 1640 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604445810957792 0 0 -1 9 0 0 0
[pid=16901/tid=16917] ppid=16899 vsize=38589464 CPUtime=2328.58 cores=0-31
/proc/16901/task/16917/stat : 16917 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 480447 0 0 0 231119 1739 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=16901/tid=16918] ppid=16899 vsize=38589464 CPUtime=2337.74 cores=0-31
/proc/16901/task/16918/stat : 16918 (strangenight2-m) R 16899 16901 16461 0 -1 4202560 370591 0 0 0 231995 1779 0 0 18 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 4518611 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=16901/tid=16919] ppid=16899 vsize=38589464 CPUtime=2278.37 cores=0-31
/proc/16901/task/16919/stat : 16919 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 458992 0 0 0 226140 1697 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604471573421536 0 0 -1 30 0 0 0
[pid=16901/tid=16920] ppid=16899 vsize=38589464 CPUtime=2340.13 cores=0-31
/proc/16901/task/16920/stat : 16920 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 455321 0 0 0 232417 1596 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604468356988384 0 0 -1 17 0 0 0
[pid=16901/tid=16921] ppid=16899 vsize=38589464 CPUtime=2320.24 cores=0-31
/proc/16901/task/16921/stat : 16921 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 433265 0 0 0 230351 1673 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604471573437920 0 0 -1 16 0 0 0
[pid=16901/tid=16922] ppid=16899 vsize=38589464 CPUtime=2286.07 cores=0-31
/proc/16901/task/16922/stat : 16922 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 401520 0 0 0 226897 1710 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604471573429728 0 0 -1 26 0 0 0
[pid=16901/tid=16923] ppid=16899 vsize=38589464 CPUtime=2212.87 cores=0-31
/proc/16901/task/16923/stat : 16923 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 452177 0 0 0 219577 1710 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446744071566924464 0 0 -1 13 0 0 0
[pid=16901/tid=16924] ppid=16899 vsize=38589464 CPUtime=2187.14 cores=0-31
/proc/16901/task/16924/stat : 16924 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 519563 0 0 0 217034 1680 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604446109187552 0 0 -1 10 0 0 0
[pid=16901/tid=16925] ppid=16899 vsize=38589464 CPUtime=2216.84 cores=0-31
/proc/16901/task/16925/stat : 16925 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 439828 0 0 0 220004 1680 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604470245719520 0 0 -1 26 0 0 0
[pid=16901/tid=16926] ppid=16899 vsize=38589464 CPUtime=2195.34 cores=0-31
/proc/16901/task/16926/stat : 16926 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 490841 0 0 0 217947 1587 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604470245703136 0 0 -1 27 0 0 0
[pid=16901/tid=16927] ppid=16899 vsize=38589464 CPUtime=2213.38 cores=0-31
/proc/16901/task/16927/stat : 16927 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 371729 0 0 0 219898 1440 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604487499537888 0 0 -1 30 0 0 0
[pid=16901/tid=16928] ppid=16899 vsize=38589464 CPUtime=2160.52 cores=0-31
/proc/16901/task/16928/stat : 16928 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 362438 0 0 0 214742 1310 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604479432588768 0 0 -1 9 0 0 0
[pid=16901/tid=16929] ppid=16899 vsize=38589464 CPUtime=2221.43 cores=0-31
/proc/16901/task/16929/stat : 16929 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 430626 0 0 0 220618 1525 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604470245711328 0 0 -1 23 0 0 0
[pid=16901/tid=16930] ppid=16899 vsize=38589464 CPUtime=2211.67 cores=0-31
/proc/16901/task/16930/stat : 16930 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 360260 0 0 0 219654 1513 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604485680365024 0 0 -1 15 0 0 0
[pid=16901/tid=16931] ppid=16899 vsize=38589464 CPUtime=2339.6 cores=0-31
/proc/16901/task/16931/stat : 16931 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 464404 0 0 0 232437 1523 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604479432564192 0 0 -1 23 0 0 0
[pid=16901/tid=16932] ppid=16899 vsize=38589464 CPUtime=2303.39 cores=0-31
/proc/16901/task/16932/stat : 16932 (strangenight2-m) S 16899 16901 16461 0 -1 4202560 362051 0 0 0 229291 1048 0 0 25 0 32 0 17763768 39515611136 8435841 268435456000 4194304 4580107 140734932017904 18446744073709551615 47174534644254 0 0 4096 2 18446604471573446112 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 71991.6
Current children cumulated vsize (KiB) 38589464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -16901
Solver just ended. Dumping a history of the last processes samples
[startup+5100.6 s]
/proc/loadavg: 5.20 18.09 18.61 2/416 17082
/proc/meminfo: memFree=233074144/264257624 swapFree=67054988/67111528
[pid=16901] ppid=16899 vsize=0 CPUtime=71992.2 cores=0-31
/proc/16901/stat : 16901 (strangenight2-m) Z 16899 16901 16461 0 -1 4203548 17342392 0 0 0 7147369 51848 0 0 18 0 2 0 17763767 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16901/statm: 0 0 0 0 0 0 0
[pid=16901/tid=16927] ppid=16899 vsize=0 CPUtime=2213.96 cores=0-31
/proc/16901/task/16927/stat : 16927 (strangenight2-m) R 16899 16901 16461 0 -1 4203588 371729 0 0 0 219898 1498 0 0 18 0 2 0 17763768 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 71992.2
Current children cumulated vsize (KiB) 0
[startup+5102.2 s]
/proc/loadavg: 5.20 18.09 18.61 2/416 17082
/proc/meminfo: memFree=243618192/264257624 swapFree=67054988/67111528
[pid=16901] ppid=16899 vsize=0 CPUtime=71993.7 cores=0-31
/proc/16901/stat : 16901 (strangenight2-m) Z 16899 16901 16461 0 -1 4203548 17342392 0 0 0 7147369 52004 0 0 18 0 2 0 17763767 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16901/statm: 0 0 0 0 0 0 0
[pid=16901/tid=16927] ppid=16899 vsize=0 CPUtime=2215.53 cores=0-31
/proc/16901/task/16927/stat : 16927 (strangenight2-m) R 16899 16901 16461 0 -1 4203588 371729 0 0 0 219898 1655 0 0 21 0 2 0 17763768 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 71993.7
Current children cumulated vsize (KiB) 0
[startup+5102.6 s]
/proc/loadavg: 5.20 18.09 18.61 2/416 17082
/proc/meminfo: memFree=243618192/264257624 swapFree=67054988/67111528
[pid=16901] ppid=16899 vsize=0 CPUtime=71994.1 cores=0-31
/proc/16901/stat : 16901 (strangenight2-m) Z 16899 16901 16461 0 -1 4203548 17342392 0 0 0 7147369 52044 0 0 18 0 2 0 17763767 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16901/statm: 0 0 0 0 0 0 0
[pid=16901/tid=16927] ppid=16899 vsize=0 CPUtime=2215.93 cores=0-31
/proc/16901/task/16927/stat : 16927 (strangenight2-m) R 16899 16901 16461 0 -1 4203588 371729 0 0 0 219898 1695 0 0 22 0 2 0 17763768 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 71994.1
Current children cumulated vsize (KiB) 0
[startup+5103 s]
/proc/loadavg: 5.20 18.09 18.61 2/415 17082
/proc/meminfo: memFree=259341688/264257624 swapFree=67054988/67111528
[pid=16901] ppid=16899 vsize=0 CPUtime=71994.5 cores=0-31
/proc/16901/stat : 16901 (strangenight2-m) Z 16899 16901 16461 0 -1 4203548 17342392 0 0 0 7147369 52084 0 0 18 0 2 0 17763767 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/16901/statm: 0 0 0 0 0 0 0
[pid=16901/tid=16927] ppid=16899 vsize=0 CPUtime=2216.33 cores=0-31
/proc/16901/task/16927/stat : 16927 (strangenight2-m) R 16899 16901 16461 0 -1 4203588 371729 0 0 0 219898 1735 0 0 24 0 2 0 17763768 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 71994.5
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 5103.04
CPU time (s): 71994.6
CPU user time (s): 71473.7
CPU system time (s): 520.884
CPU usage (%): 1410.82
Max. virtual memory (cumulated for all children) (KiB): 38766364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71473.7
system time used= 520.884
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17342392
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= 22333816
involuntary context switches= 302113
runsolver used 37.6943 second user time and 124.313 second system time
The end
Launcher Data
Begin job on node200 at 2011-06-03 18:28:34
IDJOB=3400903
IDBENCH=88158
IDSOLVER=1886
FILE ID=node200/3400903-1307118504
RUNJOBID= node200-1307118202-16475
PBS_JOBID= 13498415
Free space on /tmp= 61524 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq60_a.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400903-1307118504/watcher-3400903-1307118504 -o /tmp/evaluation-result-3400903-1307118504/solver-3400903-1307118504 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400903-1307118504.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 261000 MiB
NBCORE= 32
MD5SUM BENCH= 1e60a63f1ba68b9b3c423ca413b4fa2b
RANDOM SEED=843560629
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: 262628416 kB
Buffers: 125928 kB
Cached: 1307208 kB
SwapCached: 8472 kB
Active: 339876 kB
Inactive: 1112168 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 262628416 kB
SwapTotal: 67111528 kB
SwapFree: 67054988 kB
Dirty: 231232 kB
Writeback: 0 kB
AnonPages: 15812 kB
Mapped: 8472 kB
Slab: 98780 kB
PageTables: 4328 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 184120 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= 61516 MiB
End job on node200 at 2011-06-03 19:53:37