Trace number 3321248
Some explanations
A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process.
The trace of the execution of a solver is divided into four (or five) parts:
-
SOLVER DATA
This is the output of the solver (stdout and stderr).
Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.
When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.
As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
-
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
-
CONVERSION SCRIPT DATA (Optionnal)
When a conversion script is used, this section shows the messages that were output by the conversion script.
-
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver.
The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
-
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.
Solver answer on this benchmark
General information on the benchmark
| Name | SAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf |
| MD5SUM | 580dc3969c4e46e50013253fd4ac9139 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 326.479 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 209724 |
| Number of clauses | 3634677 |
| Sum of the clauses size | 10547961 |
| Maximum clause length | 169 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1 |
| Number of clauses of size 2 | 3415202 |
| Number of clauses of size 3 | 49840 |
| Number of clauses of size 4 | 6998 |
| Number of clauses of size 5 | 14973 |
| Number of clauses of size over 5 | 147663 |
Solver Data
0.00/0.00 c Outputting solution to console
0.00/0.02 c Using 8 threads
0.00/0.02 c This is CryptoMiniSat 3.0.0
0.00/0.02 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02 c Reading file 'HOME/instance-3321248-1304341792.cnf'
0.00/0.02 c -- header says num vars: 209724
0.00/0.02 c -- header says num clauses: 3634677
15.02/2.57 c -- clauses added: 0 learnts, 3634677 normals, 0 xors
15.02/2.57 c -- vars added 209724
15.02/2.57 c Parsing time: 1.36 s
15.02/2.57 c N st 0 0 209724 219474 3415202 0 10547960 0 no data no data
19.48/3.18 c asymm cl-useful: 84/95/219467 lits-rem:1488 time: 0.58
86.61/11.52 c Flit: 545 Blit: 34897 bXBeca: 0 bXProp: 5208 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 8.34
89.00/11.81 c Cleaning up after failed var search: 0.29 s
91.46/12.11 c Replacing 5208 vars Replaced 191504 lits Time: 0.29 s
94.10/12.52 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
96.51/12.84 c bin-w-bin subsume rem 5 bins time: 0.31 s
117.11/15.43 c subs with bin: 6962 lits-rem: 42116 v-fix: 0 time: 2.59 s
142.97/18.73 c Subs w/ non-existent bins: 91 l-rem: 8098 v-fix: 20 done: 25669 time: 3.22 s
146.10/19.13 c Removed useless bin: 4579 fixed: 0 props: 20.00M time: 0.39 s
205.89/26.61 c lits-rem: 76795 cl-subs: 13335 v-elim: 53947 v-fix: 0 time: 7.43 s
205.89/26.67 c Finding binary XORs T: 0.06 s found: 483
207.48/26.87 c Replacing 483 vars Replaced 93580 lits Time: 0.20 s
210.67/27.27 c Finding non-binary XORs: 0.34 s (found: 0, avg size: nan)
210.67/27.27 c calculated reachability. Time: 0.00
211.47/27.32 c Calc default polars - time: 0.05 s pos: 15891 undec: 102362 neg: 91471
211.47/27.32 c =========================================================================================
211.47/27.32 c types(t): F = full restart, N = normal restart
211.47/27.32 c types(t): S = simplification begin/end, E = solution found
211.47/27.32 c restart types(rt): st = static, dy = dynamic
211.47/27.32 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
211.47/27.32 c B st 0 0 107393 208303 1881728 0 6497063 0 no data no data
256.28/32.96 c N dy 19 4167 107393 208303 1881857 3917 6497056 145428 20.68 21.84
284.97/36.56 c N dy 39 8188 107274 208303 1883423 7718 6497047 283711 19.26 20.31
318.62/40.71 c N dy 66 12201 107273 208303 1883476 11608 6497047 442998 20.38 21.83
350.52/44.74 c N dy 97 16213 107268 208303 1884654 15489 6497042 613415 21.63 34.62
378.51/48.22 c N dy 122 20241 107268 208303 1885612 9836 6497024 218235 21.85 24.07
404.07/51.43 c N dy 137 24269 107243 208303 1885735 13638 6497018 371616 20.97 22.10
407.27/51.89 c F st 138 25000 107243 208303 1885763 14306 6497018 389291 20.82 20.89
429.65/54.61 c N st 143 28302 107241 207936 1885360 17423 6489853 517458 20.82 no data
442.44/56.28 c S st 144 30001 107241 207936 1885385 19078 6489853 587221 20.82 no data
449.69/57.14 c S st 144 30501 107199 207936 1885529 19429 6489853 591261 20.82 no data
450.50/57.24 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
581.58/73.63 c Flit: 368 Blit: 796 bXBeca: 0 bXProp: 684 Bins: 493161 BRemL: 19139 BRemN: 1333 P: 200.1M T: 16.26
582.38/73.74 c Cleaning up after failed var search: 0.10 s
584.71/74.01 c Replacing 684 vars Replaced 289805 lits Time: 0.27 s
585.51/74.17 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
587.91/74.43 c bin-w-bin subsume rem 10693 bins time: 0.26 s
615.08/77.86 c subs with bin: 13601 lits-rem: 275864 v-fix: 0 time: 3.41 s
627.86/79.42 c Subs w/ non-existent bins: 1039 l-rem: 4737 v-fix: 7 done: 34354 time: 1.55 s
630.26/79.71 c Removed useless bin: 15723 fixed: 0 props: 20.00M time: 0.28 s
648.65/82.05 c lits-rem: 3142 cl-subs: 6102 v-elim: 8125 v-fix: 1 time: 2.34 s
654.24/82.73 c subs with bin: 66 lits-rem: 16325 v-fix: 0 time: 0.60 s
657.43/83.19 c lits-rem: 11059 cl-subs: 1758 v-elim: 0 v-fix: 0 time: 0.36 s
662.23/83.72 c asymm cl-useful: 42/1137/196662 lits-rem:598 time: 0.53
662.23/83.78 c calculated reachability. Time: 0.01
662.23/83.79 c N dy 144 30501 92355 196662 2059873 16631 5618565 1251926 20.82 no data
663.03/83.85 c Finding binary XORs T: 0.07 s found: 181
691.80/87.42 c N dy 160 34631 90964 192564 1982857 20587 5498511 1315158 20.55 21.68
711.78/89.98 c N dy 175 38857 90953 192564 2003737 24617 5498508 1519870 20.26 21.54
734.16/92.72 c N dy 195 43682 90949 192564 2003791 15067 5498502 1023682 19.95 21.17
745.35/94.18 c S st 213 45752 90657 192564 2030206 17061 5498501 1182202 20.16 no data
751.74/94.98 c S st 213 46253 90656 192564 2030294 17469 5498501 1186208 20.16 no data
752.54/95.08 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
857.14/108.16 c Flit: 423 Blit: 726 bXBeca: 0 bXProp: 57 Bins: 918772 BRemL: 5925 BRemN: 4603 P: 200.0M T: 13.06
857.94/108.24 c Cleaning up after failed var search: 0.08 s
860.34/108.50 c Replacing 238 vars Replaced 256385 lits Time: 0.25 s
861.13/108.66 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
868.32/109.55 c bin-w-bin subsume rem 66090 bins time: 0.89 s
888.29/112.01 c subs with bin: 15644 lits-rem: 52113 v-fix: 0 time: 2.46 s
906.73/114.38 c Subs w/ non-existent bins: 530 l-rem: 1758 v-fix: 7 done: 28016 time: 2.36 s
909.86/114.72 c Removed useless bin: 9477 fixed: 0 props: 20.00M time: 0.33 s
921.85/116.24 c lits-rem: 1568 cl-subs: 5985 v-elim: 3580 v-fix: 0 time: 1.52 s
926.65/116.83 c subs with bin: 395 lits-rem: 12210 v-fix: 0 time: 0.51 s
929.04/117.18 c lits-rem: 10274 cl-subs: 972 v-elim: 0 v-fix: 0 time: 0.27 s
933.10/117.67 c asymm cl-useful: 11/1344/176826 lits-rem:188 time: 0.49
933.90/117.74 c calculated reachability. Time: 0.00
933.90/117.74 c N dy 213 46253 85687 176826 2425433 14716 5160419 2066171 20.16 no data
934.64/117.81 c Finding binary XORs T: 0.07 s found: 126
983.26/124.40 c N dy 241 50373 85162 176826 2612828 18701 5160418 2607387 20.46 22.13
993.78/126.79 c Finding binary XORs T: 0.06 s found: 206
997.11/127.63 c N dy 260 54434 85142 176171 2583813 22588 5137180 2760463 20.28 21.41
1046.04/139.41 c N dy 287 58800 85017 176171 2641418 26801 5137157 3055971 20.43 21.74
1111.14/160.71 c N dy 312 62890 85013 176171 3437961 30739 5137145 4844458 20.40 22.20
1113.46/161.39 c Finding binary XORs T: 0.08 s found: 46
1119.61/163.81 c N dy 340 66970 84509 175616 3403894 17794 5120344 4075769 20.59 22.56
1142.77/170.61 c S st 361 69382 84312 175616 3408426 20140 5120343 4207965 20.77 no data
1152.31/171.87 c S st 361 69883 84287 175616 3408528 20537 5120343 4211329 20.77 no data
1153.90/172.00 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.13
1268.96/186.45 c Flit: 158 Blit: 19 bXBeca: 0 bXProp: 68 Bins: 67401 BRemL: 20334 BRemN: 7 P: 200.0M T: 14.44
1268.96/186.46 c Cleaning up after failed var search: 0.00 s
1272.16/186.85 c Replacing 446 vars Replaced 269456 lits Time: 0.39 s
1273.82/187.05 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.01 s
1284.14/188.33 c bin-w-bin subsume rem 156153 bins time: 1.27 s
1304.93/190.93 c subs with bin: 6772 lits-rem: 25355 v-fix: 0 time: 2.61 s
1316.12/192.33 c Subs w/ non-existent bins: 1624 l-rem: 4208 v-fix: 0 done: 26551 time: 1.39 s
1318.51/192.68 c Removed useless bin: 10251 fixed: 0 props: 20.05M time: 0.35 s
1330.50/194.12 c lits-rem: 793 cl-subs: 4065 v-elim: 2117 v-fix: 0 time: 1.43 s
1335.37/194.76 c subs with bin: 417 lits-rem: 6258 v-fix: 0 time: 0.57 s
1339.30/195.22 c lits-rem: 8203 cl-subs: 786 v-elim: 0 v-fix: 0 time: 0.34 s
1344.15/195.88 c asymm cl-useful: 33/1043/174386 lits-rem:398 time: 0.66
1344.89/195.96 c calculated reachability. Time: 0.01
1344.89/195.96 c N dy 361 69883 81553 174386 2934895 18083 5026882 3268927 20.77 no data
1384.06/200.89 c N dy 394 74370 81553 174386 2934979 22415 5026882 3493858 21.01 22.38
1414.49/204.69 c N dy 422 79153 81551 174386 2938555 27078 5026878 3737740 21.03 22.92
1428.02/206.38 c Finding binary XORs T: 0.08 s found: 31
1449.67/209.03 c N dy 453 84284 81550 174385 2939092 32061 5026804 3959833 21.12 22.60
1505.28/223.84 c F st 482 87505 81055 174385 3598340 35204 5026804 5431828 21.32 13.50
1506.18/224.13 c Replacing 31 vars Replaced 34465 lits Time: 0.21 s
1507.10/224.46 c Found part 26 vars: 80563 clauses: 1648483 lits size: 4979716
1507.10/224.46 c Found part 27 vars: 2 clauses: 1 lits size: 2
1507.10/224.46 c Found part 28 vars: 2 clauses: 1 lits size: 2
1507.10/224.46 c Found part 29 vars: 2 clauses: 1 lits size: 2
1507.10/224.46 c Found parts: 4 time: 0.62 s
1507.10/224.46 c Solving part 27
1507.68/224.61 c N st 0 0 2 0 1 0 2 0 no data no data
1507.68/224.61 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
1507.68/224.61 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
1507.68/224.62 c Finding binary XORs T: 0.01 s found: 0
1507.68/224.62 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
1507.68/224.62 c calculated reachability. Time: 0.00
1507.68/224.63 c Calc default polars - time: 0.00 s pos: 0 undec: 209722 neg: 2
1507.68/224.63 c =========================================================================================
1507.68/224.63 c types(t): F = full restart, N = normal restart
1507.68/224.63 c types(t): S = simplification begin/end, E = solution found
1507.68/224.63 c restart types(rt): st = static, dy = dynamic
1507.68/224.63 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
1507.68/224.63 c B st 0 0 2 0 1 0 2 0 no data no data
1507.68/224.63 c E st 1 0 0 0 1 0 2 0 no data no data
1507.68/224.63 c Verified 0 clauses.
1507.68/224.63 c Verified 0 clauses.
1507.68/224.63 c Solved part
1507.68/224.63 c =========================================================================================
1507.68/224.63 c Solving part 28
1507.98/224.78 c N st 0 0 2 0 1 0 2 0 no data no data
1507.98/224.78 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
1507.98/224.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
1508.28/224.80 c Finding binary XORs T: 0.01 s found: 0
1508.28/224.80 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
1508.28/224.80 c calculated reachability. Time: 0.00
1508.28/224.80 c Calc default polars - time: 0.00 s pos: 0 undec: 209722 neg: 2
1508.28/224.80 c =========================================================================================
1508.28/224.80 c types(t): F = full restart, N = normal restart
1508.28/224.80 c types(t): S = simplification begin/end, E = solution found
1508.28/224.80 c restart types(rt): st = static, dy = dynamic
1508.28/224.80 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
1508.28/224.80 c B st 0 0 2 0 1 0 2 0 no data no data
1508.28/224.80 c E st 1 0 0 0 1 0 2 0 no data no data
1508.28/224.80 c Verified 0 clauses.
1508.28/224.80 c Verified 0 clauses.
1508.28/224.80 c Solved part
1508.28/224.80 c =========================================================================================
1508.28/224.81 c Solving part 29
1508.58/224.95 c N st 0 0 2 0 1 0 2 0 no data no data
1508.58/224.95 c asymm cl-useful: 0/0/0 lits-rem:0 time: 0.00
1508.58/224.96 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
1508.58/224.97 c Finding binary XORs T: 0.01 s found: 0
1508.58/224.97 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
1508.58/224.97 c calculated reachability. Time: 0.00
1508.58/224.97 c Calc default polars - time: 0.00 s pos: 0 undec: 209722 neg: 2
1508.58/224.97 c =========================================================================================
1508.58/224.97 c types(t): F = full restart, N = normal restart
1508.58/224.97 c types(t): S = simplification begin/end, E = solution found
1508.58/224.97 c restart types(rt): st = static, dy = dynamic
1508.58/224.97 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
1508.58/224.97 c B st 0 0 2 0 1 0 2 0 no data no data
1508.58/224.97 c E st 1 0 0 0 1 0 2 0 no data no data
1508.58/224.97 c Verified 0 clauses.
1508.58/224.97 c Verified 0 clauses.
1508.58/224.97 c Solved part
1508.58/224.97 c =========================================================================================
1508.58/224.98 c Coming back to original instance
1508.58/224.98 c =========================================================================================
1510.98/225.74 c Finding binary XORs T: 0.08 s found: 20
1514.88/227.09 c N st 487 90811 80905 173511 3536261 19384 4979714 4442089 21.32 no data
1578.65/256.24 c N dy 521 96629 80894 173511 3540388 25101 4979712 4764313 21.66 29.89
1608.97/262.20 c N dy 563 102813 80752 173511 3542433 31102 4979689 5052464 21.80 41.99
1621.76/263.83 c S st 581 104826 80752 173511 3542451 33069 4979687 5161006 22.00 no data
1628.95/264.73 c S st 581 105328 80751 173511 3542614 33506 4979686 5165783 22.00 no data
1629.75/264.86 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.13
1728.14/277.17 c Flit: 320 Blit: 1280 bXBeca: 0 bXProp: 38 Bins: 185346 BRemL: 6481 BRemN: 122 P: 200.0M T: 12.21
1728.93/277.28 c Cleaning up after failed var search: 0.10 s
1732.07/277.62 c Replacing 58 vars Replaced 152807 lits Time: 0.34 s
1732.87/277.77 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1736.92/278.27 c bin-w-bin subsume rem 19790 bins time: 0.49 s
1756.84/280.70 c subs with bin: 5436 lits-rem: 23265 v-fix: 0 time: 2.41 s
1765.62/281.85 c Subs w/ non-existent bins: 269 l-rem: 480 v-fix: 0 done: 26349 time: 1.13 s
1769.63/282.34 c Removed useless bin: 41848 fixed: 0 props: 20.02M time: 0.49 s
1784.01/284.10 c lits-rem: 1717 cl-subs: 5234 v-elim: 3683 v-fix: 0 time: 1.74 s
1796.01/285.66 c subs with bin: 448 lits-rem: 10716 v-fix: 0 time: 1.46 s
1800.79/286.28 c lits-rem: 17660 cl-subs: 1104 v-elim: 0 v-fix: 0 time: 0.53 s
1805.59/286.86 c asymm cl-useful: 73/1285/168297 lits-rem:267 time: 0.57
1806.39/286.93 c calculated reachability. Time: 0.00
1806.39/286.93 c N dy 581 105328 75401 168297 2447666 27718 4689342 2990215 22.00 no data
1807.25/287.01 c Finding binary XORs T: 0.07 s found: 5
1854.34/292.96 c N dy 635 112091 75401 168297 2449299 34287 4689329 3315523 22.36 63.23
1895.97/298.14 c N dy 692 119400 75401 168297 2452396 22510 4689329 2599245 22.68 24.36
1946.76/309.56 c Finding binary XORs T: 0.07 s found: 10
1952.18/311.42 c N dy 737 127029 75340 168259 2864402 29920 4687983 3763897 22.78 29.87
2003.08/328.17 c Finding binary XORs T: 0.07 s found: 13
2016.04/329.82 c N dy 793 135141 75193 168227 2928895 37809 4684850 4312270 23.02 25.79
2067.20/336.26 c N dy 857 143803 75193 168227 2930507 24634 4684832 3569190 23.27 25.64
2110.36/341.62 c N dy 917 153079 75193 168227 2930672 33660 4684831 4032905 23.30 36.83
2130.34/344.10 c S st 945 157992 75193 168227 2930926 38430 4684798 4286383 23.29 21.24
2136.73/344.99 c S st 945 158492 75192 168227 2931009 38846 4684798 4290730 23.29 no data
2138.33/345.10 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.11
2229.44/356.55 c Flit: 268 Blit: 292 bXBeca: 0 bXProp: 24 Bins: 513293 BRemL: 10396 BRemN: 0 P: 200.1M T: 11.44
2229.44/356.55 c Cleaning up after failed var search: 0.00 s
2231.84/356.85 c Replacing 52 vars Replaced 47569 lits Time: 0.29 s
2233.44/357.00 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2237.50/357.58 c bin-w-bin subsume rem 25975 bins time: 0.58 s
2256.62/359.93 c subs with bin: 4583 lits-rem: 12235 v-fix: 0 time: 2.35 s
2271.01/361.73 c Subs w/ non-existent bins: 929 l-rem: 2091 v-fix: 0 done: 31393 time: 1.80 s
2274.19/362.12 c Removed useless bin: 21354 fixed: 0 props: 20.00M time: 0.38 s
2281.46/363.06 c lits-rem: 447 cl-subs: 4692 v-elim: 1696 v-fix: 0 time: 0.94 s
2294.98/364.71 c subs with bin: 45 lits-rem: 4073 v-fix: 0 time: 1.56 s
2301.37/365.50 c lits-rem: 21230 cl-subs: 2203 v-elim: 0 v-fix: 0 time: 0.70 s
2305.37/366.06 c asymm cl-useful: 92/1456/162827 lits-rem:326 time: 0.56
2306.17/366.14 c calculated reachability. Time: 0.00
2306.17/366.14 c N dy 945 158492 72884 162827 2852894 35484 4558488 4078552 23.29 no data
2307.03/366.21 c Finding binary XORs T: 0.07 s found: 8
2371.26/374.31 c N dy 1013 168770 72859 162827 2857231 45485 4558485 4579467 23.41 25.54
2436.80/382.56 c N dy 1100 179614 72859 162827 2857691 33303 4558481 3894562 23.81 30.43
2513.53/392.16 c N dy 1187 192147 72705 162827 2978512 45527 4558480 4782181 24.02 25.55
2514.96/392.30 c Finding binary XORs T: 0.07 s found: 23
2575.34/399.92 c Finding binary XORs T: 0.07 s found: 4
2581.73/400.78 c N dy 1241 204677 71895 160535 2856858 32865 4515642 3794363 23.91 25.18
2668.05/411.52 c N dy 1343 218141 71895 160535 2858708 46020 4515638 4495109 24.25 25.79
2725.60/418.71 c N dy 1368 232097 71895 160535 2859113 33670 4515637 3729808 23.79 26.65
2760.76/423.18 c S st 1411 237741 71895 160535 2859330 39223 4515629 4043427 23.90 no data
2768.76/424.12 c S st 1411 238242 71894 160535 2859369 39676 4515629 4048818 23.90 no data
2769.56/424.23 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.11
2863.01/436.08 c Flit: 130 Blit: 803 bXBeca: 0 bXProp: 66 Bins: 307301 BRemL: 11088 BRemN: 129 P: 200.0M T: 11.85
2863.81/436.17 c Cleaning up after failed var search: 0.09 s
2867.86/436.63 c Replacing 101 vars Replaced 164260 lits Time: 0.45 s
2868.66/436.77 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2872.60/437.25 c bin-w-bin subsume rem 21019 bins time: 0.48 s
2890.99/439.59 c subs with bin: 3683 lits-rem: 15086 v-fix: 0 time: 2.34 s
2899.78/440.60 c Subs w/ non-existent bins: 691 l-rem: 1561 v-fix: 0 done: 28770 time: 1.01 s
2902.18/440.95 c Removed useless bin: 25274 fixed: 0 props: 20.00M time: 0.35 s
2913.36/442.39 c lits-rem: 1274 cl-subs: 4104 v-elim: 2793 v-fix: 0 time: 1.43 s
2926.16/443.96 c subs with bin: 1082 lits-rem: 18449 v-fix: 0 time: 1.49 s
2932.54/444.76 c lits-rem: 21996 cl-subs: 2821 v-elim: 0 v-fix: 0 time: 0.72 s
2937.34/445.39 c asymm cl-useful: 233/1385/156821 lits-rem:1843 time: 0.63
2938.20/445.46 c calculated reachability. Time: 0.00
2938.20/445.46 c N dy 1411 238242 67893 156802 2459893 32834 4331512 3146651 23.90 no data
2939.00/445.53 c Finding binary XORs T: 0.07 s found: 7
3023.66/456.17 c Finding binary XORs T: 0.07 s found: 19
3024.46/456.25 c N dy 1512 253504 67859 156797 2553896 47624 4330842 4081353 24.05 26.51
3124.38/468.72 c N dy 1631 269723 67859 156797 2554620 38081 4330822 3552482 24.33 25.97
3227.48/481.65 c N dy 1745 287015 67835 156797 2555333 27550 4330808 2887497 24.53 26.47
3327.38/494.15 c N dy 1842 305368 67240 156797 2556065 45420 4330768 3740416 24.53 28.07
3333.84/494.90 c F st 1850 306251 67240 156797 2556071 46287 4330768 3782852 24.54 no data
3335.38/495.19 c Replacing 26 vars Replaced 42131 lits Time: 0.19 s
3439.35/508.19 c N dy 1969 324906 67221 152538 2454253 35071 4269929 3122036 24.81 41.19
3544.00/521.29 c N dy 2112 344962 66749 152538 2456032 54651 4269922 4191525 25.09 37.00
3617.52/530.47 c S st 2204 357365 66749 152538 2456413 37161 4269918 3143337 25.26 no data
3626.31/531.54 c S st 2204 357865 66749 152538 2456449 37625 4269918 3146619 25.26 no data
3627.11/531.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.10
3707.85/541.71 c Flit: 88 Blit: 240 bXBeca: 0 bXProp: 100 Bins: 272013 BRemL: 43938 BRemN: 2684 P: 200.0M T: 10.07
3707.85/541.79 c Cleaning up after failed var search: 0.07 s
3711.90/542.30 c Replacing 101 vars Replaced 282333 lits Time: 0.51 s
3713.44/542.44 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
3719.83/543.30 c bin-w-bin subsume rem 71443 bins time: 0.86 s
3738.27/545.54 c subs with bin: 4070 lits-rem: 13592 v-fix: 0 time: 2.24 s
3746.22/546.52 c Subs w/ non-existent bins: 337 l-rem: 2895 v-fix: 1 done: 26213 time: 0.97 s
3748.61/546.80 c Removed useless bin: 14825 fixed: 0 props: 20.00M time: 0.28 s
3760.59/548.33 c lits-rem: 1290 cl-subs: 4722 v-elim: 3080 v-fix: 0 time: 1.53 s
3769.38/549.45 c subs with bin: 577 lits-rem: 7110 v-fix: 0 time: 1.04 s
3774.25/550.07 c lits-rem: 27741 cl-subs: 1338 v-elim: 0 v-fix: 0 time: 0.54 s
3778.18/550.59 c asymm cl-useful: 123/1075/147178 lits-rem:1230 time: 0.52
3778.98/550.64 c calculated reachability. Time: 0.00
3778.98/550.65 c N dy 2204 357865 63239 147163 2108305 32791 4074815 2444327 25.26 no data
3779.78/550.71 c Finding binary XORs T: 0.06 s found: 8
3887.60/564.29 c Finding binary XORs T: 0.06 s found: 1
3893.13/564.92 c N dy 2355 377933 63239 147163 2166509 52473 4074812 3630681 25.45 34.50
3944.28/571.31 c Finding binary XORs T: 0.06 s found: 10
4004.23/578.84 c N dy 2497 398109 63221 147150 2319255 42760 4074511 3325798 25.64 27.34
4109.73/592.00 c N dy 2631 418279 62734 147150 2319956 62363 4074479 4356067 25.75 27.75
4221.69/606.07 c N dy 2769 438358 62733 147150 2320474 50807 4074474 3643629 25.89 27.31
4244.81/608.96 c Finding binary XORs T: 0.06 s found: 12
4331.12/619.70 c N dy 2914 458376 62733 143220 2210199 37064 4038088 2627517 26.04 35.58
4436.63/632.98 c N dy 3045 478401 62386 143220 2210673 56652 4038036 3654026 26.09 28.41
4514.17/642.66 c Following stats are for *FIRST FINISHED THREAD ONLY*
4514.17/642.66 c num threads : 8
4514.17/642.66 c restarts : 3876
4514.17/642.66 c dynamic restarts : 3852
4514.17/642.66 c static restarts : 24
4514.17/642.66 c full restarts : 3
4514.17/642.66 c total simplify time : 3.43
4514.17/642.66 c learnts DL2 : 0
4514.17/642.66 c learnts size 2 : 9479090
4514.17/642.66 c learnts size 1 : 71070 (33.89 % of vars)
4514.17/642.66 c filedLit time : 47.93 (8.60 % time)
4514.17/642.66 c v-elim SatELite : 71133 (33.92 % vars)
4514.17/642.66 c SatELite time : 26.21 (4.70 % time)
4514.17/642.66 c v-elim xor : 0 (0.00 % vars)
4514.17/642.66 c xor elim time : 0.36 (0.06 % time)
4514.17/642.66 c num binary xor trees : 4036
4514.17/642.66 c binxor trees' crown : 7489 (1.86 leafs/tree)
4514.17/642.66 c bin xor find time : 1.35
4514.17/642.66 c OTF clause improved : 12073 (0.02 clauses/conflict)
4514.17/642.66 c OTF impr. size diff : 19506 (1.62 lits/clause)
4514.17/642.66 c OTF cl watch-shrink : 333307 (0.56 clauses/conflict)
4514.17/642.66 c OTF cl watch-sh-lit : 1723084 (5.17 lits/clause)
4514.17/642.66 c tried to recurMin cls : 0 (0.00 % of conflicts)
4514.17/642.66 c updated cache : 0 (nan lits/tried recurMin)
4514.17/642.66 c unit cls recevied : 6639 (9.34 % of units)
4514.17/642.66 c unit cls sent : 5099 (7.17 % of units)
4514.17/642.66 c bin cls recevied : 4605046
4514.17/642.66 c bin cls sent : 1123447
4514.17/642.66 c clauses over max glue : 0 (0.00 % of all clauses)
4514.17/642.66 c conflicts : 599110 (1074.30 / sec)
4514.17/642.66 c decisions : 126036828 (0.12 % random)
4514.17/642.66 c bogo-props : 9743623066 (17471890.79 / sec)
4514.17/642.66 c conflict literals : 30684258 (22.36 % deleted)
4514.17/642.66 c Memory used : 4972.00 MB
4514.17/642.66 c single-thread CPU time : 557.67 s
4514.17/642.66 c all-threads sum CPU time : 4506.79 s
4514.17/642.66 s UNSATISFIABLE
Verifier Data
No possible verification on an UNSAT instance
Watcher Data
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3321248-1304341792/watcher-3321248-1304341792 -o /tmp/evaluation-result-3321248-1304341792/solver-3321248-1304341792 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321248-1304341792.cnf
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.05 1.47 1.15 1/238 11895
/proc/meminfo: memFree=28271604/32951124 swapFree=67111464/67111528
[pid=11895] ppid=11893 vsize=92188 CPUtime=0.01 cores=0-7
/proc/11895/stat : 11895 (strangenight2-m) R 11893 11895 11573 0 -1 4202496 412 0 0 0 1 0 0 0 24 0 8 0 624410015 94400512 352 33554432000 4194304 4627427 140736352270272 18446744073709551615 47598862563244 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11895/statm: 23047 352 299 106 0 18018 0
[pid=11895/tid=11896] ppid=11893 vsize=92188 CPUtime=0 cores=0-7
/proc/11895/task/11896/stat : 11896 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 624410015 94400512 352 33554432000 4194304 4627427 140736352270272 18446744073709551615 47598862563244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11895/tid=11897] ppid=11893 vsize=92188 CPUtime=0 cores=0-7
/proc/11895/task/11897/stat : 11897 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 624410015 94400512 352 33554432000 4194304 4627427 140736352270272 18446744073709551615 47598862563248 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11895/tid=11898] ppid=11893 vsize=92188 CPUtime=0 cores=0-7
/proc/11895/task/11898/stat : 11898 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 624410015 94400512 352 33554432000 4194304 4627427 140736352270272 18446744073709551615 260032193590 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11895/tid=11899] ppid=11893 vsize=92188 CPUtime=0 cores=0-7
/proc/11895/task/11899/stat : 11899 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 624410015 94400512 352 33554432000 4194304 4627427 140736352270272 18446744073709551615 260020452337 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11895/tid=11900] ppid=11893 vsize=92188 CPUtime=0 cores=0-7
/proc/11895/task/11900/stat : 11900 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 624410015 94400512 352 33554432000 4194304 4627427 140736352270272 18446744073709551615 47598862563250 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11895/tid=11901] ppid=11893 vsize=92188 CPUtime=0 cores=0-7
/proc/11895/task/11901/stat : 11901 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 624410015 94400512 352 33554432000 4194304 4627427 140736352270272 18446744073709551615 260020452337 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11895/tid=11902] ppid=11893 vsize=92188 CPUtime=0 cores=0-7
/proc/11895/task/11902/stat : 11902 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 624410015 94400512 352 33554432000 4194304 4627427 140736352270272 18446744073709551615 47598862563244 0 0 4096 2 0 0 0 -1 2 0 0 0
[startup+0.0881031 s]
/proc/loadavg: 3.05 1.47 1.15 1/238 11895
/proc/meminfo: memFree=28271604/32951124 swapFree=67111464/67111528
[pid=11895] ppid=11893 vsize=565132 CPUtime=0.48 cores=0-7
/proc/11895/stat : 11895 (strangenight2-m) S 11893 11895 11573 0 -1 4202496 11101 0 0 0 35 13 0 0 17 0 8 0 624410015 578695168 10202 33554432000 4194304 4627427 140736352270272 18446744073709551615 260020500974 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/11895/statm: 141283 10204 339 106 0 136254 0
[pid=11895/tid=11896] ppid=11893 vsize=565132 CPUtime=0.05 cores=0-7
/proc/11895/task/11896/stat : 11896 (strangenight2-m) S 11893 11895 11573 0 -1 4202560 1433 0 0 0 4 1 0 0 17 0 8 0 624410015 578695168 10258 33554432000 4194304 4627427 140736352270272 18446744073709551615 260020500974 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11895/tid=11897] ppid=11893 vsize=565132 CPUtime=0.05 cores=0-7
/proc/11895/task/11897/stat : 11897 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 1426 0 0 0 5 0 0 0 17 0 8 0 624410015 578695168 10299 33554432000 4194304 4627427 140736352270272 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11895/tid=11898] ppid=11893 vsize=565132 CPUtime=0.05 cores=0-7
/proc/11895/task/11898/stat : 11898 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 1271 0 0 0 4 1 0 0 17 0 8 0 624410015 578695168 10337 33554432000 4194304 4627427 140736352270272 18446744073709551615 260020044888 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11895/tid=11899] ppid=11893 vsize=565132 CPUtime=0.03 cores=0-7
/proc/11895/task/11899/stat : 11899 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 1343 0 0 0 2 1 0 0 17 0 8 0 624410015 578695168 10374 33554432000 4194304 4627427 140736352270272 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11895/tid=11900] ppid=11893 vsize=565132 CPUtime=0.06 cores=0-7
/proc/11895/task/11900/stat : 11900 (strangenight2-m) S 11893 11895 11573 0 -1 4202560 1308 0 0 0 5 1 0 0 17 0 8 0 624410015 578695168 10245 33554432000 4194304 4627427 140736352270272 18446744073709551615 260020500974 0 0 4096 2 18446604442724829888 0 0 -1 1 0 0 0
[pid=11895/tid=11901] ppid=11893 vsize=564616 CPUtime=0.04 cores=0-7
/proc/11895/task/11901/stat : 11901 (strangenight2-m) S 11893 11895 11573 0 -1 4202560 1305 0 0 0 3 1 0 0 17 0 8 0 624410015 578166784 10257 33554432000 4194304 4627427 140736352270272 18446744073709551615 260020500974 0 0 4096 2 18446604442724829888 0 0 -1 5 0 0 0
[pid=11895/tid=11902] ppid=11893 vsize=564616 CPUtime=0.06 cores=0-7
/proc/11895/task/11902/stat : 11902 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 1427 0 0 0 4 2 0 0 17 0 8 0 624410015 578166784 10277 33554432000 4194304 4627427 140736352270272 18446744073709551615 260020093113 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 565132
[startup+0.102024 s]
/proc/loadavg: 3.05 1.47 1.15 1/238 11895
/proc/meminfo: memFree=28271604/32951124 swapFree=67111464/67111528
[pid=11895] ppid=11893 vsize=570320 CPUtime=0.54 cores=0-7
/proc/11895/stat : 11895 (strangenight2-m) D 11893 11895 11573 0 -1 4202496 13867 0 0 0 39 15 0 0 17 0 8 0 624410015 584007680 11924 33554432000 4194304 4627427 140736352270272 18446744073709551615 4361048 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/11895/statm: 142580 11924 339 106 0 137551 0
[pid=11895/tid=11896] ppid=11893 vsize=570320 CPUtime=0.07 cores=0-7
/proc/11895/task/11896/stat : 11896 (strangenight2-m) S 11893 11895 11573 0 -1 4202560 1807 0 0 0 5 2 0 0 17 0 8 0 624410015 584007680 11924 33554432000 4194304 4627427 140736352270272 18446744073709551615 260020500974 0 0 4096 2 18446604442724829888 0 0 -1 6 0 0 0
[pid=11895/tid=11897] ppid=11893 vsize=570600 CPUtime=0.07 cores=0-7
/proc/11895/task/11897/stat : 11897 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 1649 0 0 0 6 1 0 0 17 0 8 0 624410015 584294400 11943 33554432000 4194304 4627427 140736352270272 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11895/tid=11898] ppid=11893 vsize=570600 CPUtime=0.06 cores=0-7
/proc/11895/task/11898/stat : 11898 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 1603 0 0 0 5 1 0 0 17 0 8 0 624410015 584294400 11958 33554432000 4194304 4627427 140736352270272 18446744073709551615 4314333 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11895/tid=11899] ppid=11893 vsize=570740 CPUtime=0.04 cores=0-7
/proc/11895/task/11899/stat : 11899 (strangenight2-m) D 11893 11895 11573 0 -1 4202560 1685 0 0 0 3 1 0 0 17 0 8 0 624410015 584437760 11966 33554432000 4194304 4627427 140736352270272 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11895/tid=11900] ppid=11893 vsize=570740 CPUtime=0.06 cores=0-7
/proc/11895/task/11900/stat : 11900 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 1690 0 0 0 5 1 0 0 17 0 8 0 624410015 584437760 11966 33554432000 4194304 4627427 140736352270272 18446744073709551615 4360462 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11895/tid=11901] ppid=11893 vsize=570740 CPUtime=0.05 cores=0-7
/proc/11895/task/11901/stat : 11901 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 1652 0 0 0 3 2 0 0 17 0 8 0 624410015 584437760 11966 33554432000 4194304 4627427 140736352270272 18446744073709551615 260020453802 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11895/tid=11902] ppid=11893 vsize=570880 CPUtime=0.06 cores=0-7
/proc/11895/task/11902/stat : 11902 (strangenight2-m) S 11893 11895 11573 0 -1 4202560 1781 0 0 0 4 2 0 0 17 0 8 0 624410015 584581120 11987 33554432000 4194304 4627427 140736352270272 18446744073709551615 260020500974 0 0 4096 2 18446604442724829888 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 570320
[startup+0.302009 s]
/proc/loadavg: 3.05 1.47 1.15 1/238 11895
/proc/meminfo: memFree=28271604/32951124 swapFree=67111464/67111528
[pid=11895] ppid=11893 vsize=600356 CPUtime=1.71 cores=0-7
/proc/11895/stat : 11895 (strangenight2-m) R 11893 11895 11573 0 -1 4202496 37385 0 0 0 115 56 0 0 17 0 8 0 624410015 614764544 33208 33554432000 4194304 4627427 140736352270272 18446744073709551615 260020500974 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/11895/statm: 150089 33210 339 106 0 145060 0
[pid=11895/tid=11896] ppid=11893 vsize=600356 CPUtime=0.21 cores=0-7
/proc/11895/task/11896/stat : 11896 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 4824 0 0 0 14 7 0 0 17 0 8 0 624410015 614764544 33210 33554432000 4194304 4627427 140736352270272 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11895/tid=11897] ppid=11893 vsize=600356 CPUtime=0.21 cores=0-7
/proc/11895/task/11897/stat : 11897 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 4886 0 0 0 17 4 0 0 17 0 8 0 624410015 614764544 33211 33554432000 4194304 4627427 140736352270272 18446744073709551615 4301101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11895/tid=11898] ppid=11893 vsize=600356 CPUtime=0.21 cores=0-7
/proc/11895/task/11898/stat : 11898 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 4788 0 0 0 15 6 0 0 17 0 8 0 624410015 614764544 33215 33554432000 4194304 4627427 140736352270272 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11895/tid=11899] ppid=11893 vsize=600356 CPUtime=0.19 cores=0-7
/proc/11895/task/11899/stat : 11899 (strangenight2-m) S 11893 11895 11573 0 -1 4202560 4358 0 0 0 12 7 0 0 17 0 8 0 624410015 614764544 33218 33554432000 4194304 4627427 140736352270272 18446744073709551615 260020500974 0 0 4096 2 18446604442724829888 0 0 -1 3 0 0 0
[pid=11895/tid=11900] ppid=11893 vsize=600356 CPUtime=0.21 cores=0-7
/proc/11895/task/11900/stat : 11900 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 4371 0 0 0 15 6 0 0 17 0 8 0 624410015 614764544 33222 33554432000 4194304 4627427 140736352270272 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11895/tid=11901] ppid=11893 vsize=600356 CPUtime=0.21 cores=0-7
/proc/11895/task/11901/stat : 11901 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 4525 0 0 0 13 8 0 0 17 0 8 0 624410015 614764544 33223 33554432000 4194304 4627427 140736352270272 18446744073709551615 260020500974 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11895/tid=11902] ppid=11893 vsize=600356 CPUtime=0.21 cores=0-7
/proc/11895/task/11902/stat : 11902 (strangenight2-m) S 11893 11895 11573 0 -1 4202560 4853 0 0 0 13 8 0 0 17 0 8 0 624410015 614764544 33223 33554432000 4194304 4627427 140736352270272 18446744073709551615 260020500974 0 0 4096 2 18446604442724829888 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 600356
[startup+0.700909 s]
/proc/loadavg: 3.05 1.47 1.15 1/238 11895
/proc/meminfo: memFree=28271604/32951124 swapFree=67111464/67111528
[pid=11895] ppid=11893 vsize=657724 CPUtime=4.17 cores=0-7
/proc/11895/stat : 11895 (strangenight2-m) R 11893 11895 11573 0 -1 4202496 85482 0 0 0 287 130 0 0 17 0 8 0 624410015 673509376 76857 33554432000 4194304 4627427 140736352270272 18446744073709551615 260020501023 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/11895/statm: 164431 76860 339 106 0 159402 0
[pid=11895/tid=11896] ppid=11893 vsize=657724 CPUtime=0.5 cores=0-7
/proc/11895/task/11896/stat : 11896 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 10591 0 0 0 35 15 0 0 17 0 8 0 624410015 673509376 76860 33554432000 4194304 4627427 140736352270272 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11895/tid=11897] ppid=11893 vsize=657724 CPUtime=0.5 cores=0-7
/proc/11895/task/11897/stat : 11897 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 10813 0 0 0 38 12 0 0 17 0 8 0 624410015 673509376 76865 33554432000 4194304 4627427 140736352270272 18446744073709551615 4359954 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11895/tid=11898] ppid=11893 vsize=657724 CPUtime=0.52 cores=0-7
/proc/11895/task/11898/stat : 11898 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 11255 0 0 0 36 16 0 0 17 0 8 0 624410015 673509376 76869 33554432000 4194304 4627427 140736352270272 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11895/tid=11899] ppid=11893 vsize=657724 CPUtime=0.49 cores=0-7
/proc/11895/task/11899/stat : 11899 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 10185 0 0 0 33 16 0 0 17 0 8 0 624410015 673509376 76872 33554432000 4194304 4627427 140736352270272 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11895/tid=11900] ppid=11893 vsize=657724 CPUtime=0.52 cores=0-7
/proc/11895/task/11900/stat : 11900 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 10343 0 0 0 37 15 0 0 17 0 8 0 624410015 673509376 76874 33554432000 4194304 4627427 140736352270272 18446744073709551615 4531733 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11895/tid=11901] ppid=11893 vsize=657724 CPUtime=0.53 cores=0-7
/proc/11895/task/11901/stat : 11901 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 10257 0 0 0 35 18 0 0 17 0 8 0 624410015 673509376 76876 33554432000 4194304 4627427 140736352270272 18446744073709551615 260020500974 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11895/tid=11902] ppid=11893 vsize=657724 CPUtime=0.5 cores=0-7
/proc/11895/task/11902/stat : 11902 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 11042 0 0 0 33 17 0 0 17 0 8 0 624410015 673509376 76878 33554432000 4194304 4627427 140736352270272 18446744073709551615 4530593 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.17
Current children cumulated vsize (KiB) 657724
[startup+1.50076 s]
/proc/loadavg: 2.96 1.48 1.16 3/246 11903
/proc/meminfo: memFree=27823772/32951124 swapFree=67111464/67111528
[pid=11895] ppid=11893 vsize=1410240 CPUtime=8.97 cores=0-7
/proc/11895/stat : 11895 (strangenight2-m) R 11893 11895 11573 0 -1 4202496 188026 0 0 0 616 281 0 0 16 0 8 0 624410015 1444085760 168393 33554432000 4194304 4627427 140736352270272 18446744073709551615 260020500974 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/11895/statm: 352560 168434 339 106 0 347531 0
[pid=11895/tid=11896] ppid=11893 vsize=1410240 CPUtime=1.08 cores=0-7
/proc/11895/task/11896/stat : 11896 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 22249 0 0 0 74 34 0 0 16 0 8 0 624410015 1444085760 168454 33554432000 4194304 4627427 140736352270272 18446744073709551615 260020500974 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11895/tid=11897] ppid=11893 vsize=1410240 CPUtime=1.11 cores=0-7
/proc/11895/task/11897/stat : 11897 (strangenight2-m) S 11893 11895 11573 0 -1 4202560 26235 0 0 0 81 30 0 0 16 0 8 0 624410015 1444085760 168473 33554432000 4194304 4627427 140736352270272 18446744073709551615 260020500974 0 0 4096 2 18446604442724829888 0 0 -1 0 0 0 0
[pid=11895/tid=11898] ppid=11893 vsize=1410240 CPUtime=1.13 cores=0-7
/proc/11895/task/11898/stat : 11898 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 24807 0 0 0 79 34 0 0 16 0 8 0 624410015 1444085760 168492 33554432000 4194304 4627427 140736352270272 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11895/tid=11899] ppid=11893 vsize=1410240 CPUtime=1.09 cores=0-7
/proc/11895/task/11899/stat : 11899 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 22446 0 0 0 73 36 0 0 16 0 8 0 624410015 1444085760 168516 33554432000 4194304 4627427 140736352270272 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11895/tid=11900] ppid=11893 vsize=1410240 CPUtime=1.14 cores=0-7
/proc/11895/task/11900/stat : 11900 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 22570 0 0 0 80 34 0 0 16 0 8 0 624410015 1444085760 168539 33554432000 4194304 4627427 140736352270272 18446744073709551615 4317104 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11895/tid=11901] ppid=11893 vsize=1410240 CPUtime=1.15 cores=0-7
/proc/11895/task/11901/stat : 11901 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 21910 0 0 0 76 39 0 0 16 0 8 0 624410015 1444085760 168561 33554432000 4194304 4627427 140736352270272 18446744073709551615 260020500974 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11895/tid=11902] ppid=11893 vsize=1410240 CPUtime=1.1 cores=0-7
/proc/11895/task/11902/stat : 11902 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 24486 0 0 0 74 36 0 0 16 0 8 0 624410015 1444085760 168580 33554432000 4194304 4627427 140736352270272 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.97
Current children cumulated vsize (KiB) 1410240
[startup+3.10048 s]
/proc/loadavg: 2.96 1.48 1.16 8/246 11903
/proc/meminfo: memFree=27308924/32951124 swapFree=67111464/67111528
[pid=11895] ppid=11893 vsize=1886484 CPUtime=19.48 cores=0-7
/proc/11895/stat : 11895 (strangenight2-m) R 11893 11895 11573 0 -1 4202496 344968 0 0 0 1505 443 0 0 16 0 8 0 624410015 1931759616 309777 33554432000 4194304 4627427 140736352270272 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11895/statm: 471621 309777 364 106 0 466592 0
[pid=11895/tid=11896] ppid=11893 vsize=1886484 CPUtime=2.4 cores=0-7
/proc/11895/task/11896/stat : 11896 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 41136 0 0 0 185 55 0 0 16 0 8 0 624410015 1931759616 309777 33554432000 4194304 4627427 140736352270272 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11895/tid=11897] ppid=11893 vsize=1886484 CPUtime=2.43 cores=0-7
/proc/11895/task/11897/stat : 11897 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 43655 0 0 0 196 47 0 0 16 0 8 0 624410015 1931759616 309778 33554432000 4194304 4627427 140736352270272 18446744073709551615 260020501023 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11895/tid=11898] ppid=11893 vsize=1886484 CPUtime=2.42 cores=0-7
/proc/11895/task/11898/stat : 11898 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 45094 0 0 0 190 52 0 0 16 0 8 0 624410015 1931759616 309778 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11895/tid=11899] ppid=11893 vsize=1886484 CPUtime=2.4 cores=0-7
/proc/11895/task/11899/stat : 11899 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 42519 0 0 0 184 56 0 0 16 0 8 0 624410015 1931759616 309778 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11895/tid=11900] ppid=11893 vsize=1886484 CPUtime=2.44 cores=0-7
/proc/11895/task/11900/stat : 11900 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 42014 0 0 0 189 55 0 0 16 0 8 0 624410015 1931759616 309778 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11895/tid=11901] ppid=11893 vsize=1886484 CPUtime=2.48 cores=0-7
/proc/11895/task/11901/stat : 11901 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 41524 0 0 0 186 62 0 0 16 0 8 0 624410015 1931759616 309778 33554432000 4194304 4627427 140736352270272 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11895/tid=11902] ppid=11893 vsize=1886484 CPUtime=2.39 cores=0-7
/proc/11895/task/11902/stat : 11902 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 44445 0 0 0 182 57 0 0 16 0 8 0 624410015 1931759616 309778 33554432000 4194304 4627427 140736352270272 18446744073709551615 4299691 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 19.48
Current children cumulated vsize (KiB) 1886484
[startup+6.30089 s]
/proc/loadavg: 2.96 1.48 1.16 9/246 11903
/proc/meminfo: memFree=26986676/32951124 swapFree=67111464/67111528
[pid=11895] ppid=11893 vsize=1954968 CPUtime=45.05 cores=0-7
/proc/11895/stat : 11895 (strangenight2-m) R 11893 11895 11573 0 -1 4202496 357527 0 0 0 4056 449 0 0 21 0 8 0 624410015 2001887232 321958 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/11895/statm: 488742 321958 367 106 0 483713 0
[pid=11895/tid=11896] ppid=11893 vsize=1954968 CPUtime=5.59 cores=0-7
/proc/11895/task/11896/stat : 11896 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 42750 0 0 0 503 56 0 0 21 0 8 0 624410015 2001887232 321958 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11895/tid=11897] ppid=11893 vsize=1954968 CPUtime=5.63 cores=0-7
/proc/11895/task/11897/stat : 11897 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 45338 0 0 0 515 48 0 0 21 0 8 0 624410015 2001887232 321958 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308991 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11895/tid=11898] ppid=11893 vsize=1954968 CPUtime=5.62 cores=0-7
/proc/11895/task/11898/stat : 11898 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 46204 0 0 0 510 52 0 0 20 0 8 0 624410015 2001887232 321958 33554432000 4194304 4627427 140736352270272 18446744073709551615 4238928 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11895/tid=11899] ppid=11893 vsize=1954968 CPUtime=5.61 cores=0-7
/proc/11895/task/11899/stat : 11899 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 44225 0 0 0 504 57 0 0 21 0 8 0 624410015 2001887232 321958 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11895/tid=11900] ppid=11893 vsize=1954968 CPUtime=5.62 cores=0-7
/proc/11895/task/11900/stat : 11900 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 43645 0 0 0 506 56 0 0 19 0 8 0 624410015 2001887232 321958 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11895/tid=11901] ppid=11893 vsize=1954968 CPUtime=5.68 cores=0-7
/proc/11895/task/11901/stat : 11901 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 43191 0 0 0 506 62 0 0 20 0 8 0 624410015 2001887232 321958 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11895/tid=11902] ppid=11893 vsize=1954968 CPUtime=5.59 cores=0-7
/proc/11895/task/11902/stat : 11902 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 45868 0 0 0 501 58 0 0 20 0 8 0 624410015 2001887232 321958 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=11895/tid=11898] ppid=11893 vsize=4318212 CPUtime=216.4 cores=0-7
/proc/11895/task/11898/stat : 11898 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 167604 0 0 0 21559 81 0 0 25 0 8 0 624410015 4421849088 925206 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308435 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11895/tid=11899] ppid=11893 vsize=4318212 CPUtime=216.41 cores=0-7
/proc/11895/task/11899/stat : 11899 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 156379 0 0 0 21555 86 0 0 25 0 8 0 624410015 4421849088 925206 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11895/tid=11900] ppid=11893 vsize=4318212 CPUtime=212.5 cores=0-7
/proc/11895/task/11900/stat : 11900 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 168750 0 0 0 21165 85 0 0 25 0 8 0 624410015 4421849088 925206 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308425 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11895/tid=11901] ppid=11893 vsize=4318212 CPUtime=217.47 cores=0-7
/proc/11895/task/11901/stat : 11901 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 179255 0 0 0 21654 93 0 0 25 0 8 0 624410015 4421849088 925206 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11895/tid=11902] ppid=11893 vsize=4318212 CPUtime=221.5 cores=0-7
/proc/11895/task/11902/stat : 11902 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 213086 0 0 0 22053 97 0 0 25 0 8 0 624410015 4421849088 925206 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1769.63
Current children cumulated vsize (KiB) 4318212
[startup+342.301 s]
/proc/loadavg: 5.82 4.59 2.70 9/246 11912
/proc/meminfo: memFree=24488692/32951124 swapFree=67111464/67111528
[pid=11895] ppid=11893 vsize=4318212 CPUtime=2115.95 cores=0-7
/proc/11895/stat : 11895 (strangenight2-m) R 11893 11895 11573 0 -1 4202496 1392543 0 0 0 210889 706 0 0 25 0 8 0 624410015 4421849088 945063 33554432000 4194304 4627427 140736352270272 18446744073709551615 4324976 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11895/statm: 1079553 945063 391 106 0 1074524 0
[pid=11895/tid=11896] ppid=11893 vsize=4318212 CPUtime=279.02 cores=0-7
/proc/11895/task/11896/stat : 11896 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 163953 0 0 0 27815 87 0 0 25 0 8 0 624410015 4421849088 945063 33554432000 4194304 4627427 140736352270272 18446744073709551615 4327622 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11895/tid=11897] ppid=11893 vsize=4318212 CPUtime=274.69 cores=0-7
/proc/11895/task/11897/stat : 11897 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 162394 0 0 0 27387 82 0 0 25 0 8 0 624410015 4421849088 945063 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11895/tid=11898] ppid=11893 vsize=4318212 CPUtime=258.89 cores=0-7
/proc/11895/task/11898/stat : 11898 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 169808 0 0 0 25807 82 0 0 25 0 8 0 624410015 4421849088 945063 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11895/tid=11899] ppid=11893 vsize=4318212 CPUtime=259.44 cores=0-7
/proc/11895/task/11899/stat : 11899 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 165011 0 0 0 25856 88 0 0 25 0 8 0 624410015 4421849088 945063 33554432000 4194304 4627427 140736352270272 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11895/tid=11900] ppid=11893 vsize=4318212 CPUtime=254.33 cores=0-7
/proc/11895/task/11900/stat : 11900 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 172772 0 0 0 25347 86 0 0 25 0 8 0 624410015 4421849088 945063 33554432000 4194304 4627427 140736352270272 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11895/tid=11901] ppid=11893 vsize=4318212 CPUtime=260.27 cores=0-7
/proc/11895/task/11901/stat : 11901 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 180654 0 0 0 25934 93 0 0 25 0 8 0 624410015 4421849088 945063 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11895/tid=11902] ppid=11893 vsize=4318212 CPUtime=265.87 cores=0-7
/proc/11895/task/11902/stat : 11902 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 219443 0 0 0 26487 100 0 0 25 0 8 0 624410015 4421849088 945063 33554432000 4194304 4627427 140736352270272 18446744073709551615 4305890 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2115.95
Current children cumulated vsize (KiB) 4318212
[startup+402.301 s]
/proc/loadavg: 7.31 5.24 3.04 9/246 11913
/proc/meminfo: memFree=24269928/32951124 swapFree=67111464/67111528
[pid=11895] ppid=11893 vsize=4712308 CPUtime=2594.52 cores=0-7
/proc/11895/stat : 11895 (strangenight2-m) R 11893 11895 11573 0 -1 4202496 1469140 0 0 0 258722 730 0 0 25 0 8 0 624410015 4825403392 1002245 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308329 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11895/statm: 1178077 1002245 391 106 0 1173048 0
[pid=11895/tid=11896] ppid=11893 vsize=4712308 CPUtime=339.01 cores=0-7
/proc/11895/task/11896/stat : 11896 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 173739 0 0 0 33811 90 0 0 25 0 8 0 624410015 4825403392 1002245 33554432000 4194304 4627427 140736352270272 18446744073709551615 4324976 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11895/tid=11897] ppid=11893 vsize=4712308 CPUtime=334.39 cores=0-7
/proc/11895/task/11897/stat : 11897 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 164482 0 0 0 33356 83 0 0 25 0 8 0 624410015 4825403392 1002245 33554432000 4194304 4627427 140736352270272 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11895/tid=11898] ppid=11893 vsize=4712308 CPUtime=318.67 cores=0-7
/proc/11895/task/11898/stat : 11898 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 183835 0 0 0 31781 86 0 0 25 0 8 0 624410015 4825403392 1002245 33554432000 4194304 4627427 140736352270272 18446744073709551615 4225796 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11895/tid=11899] ppid=11893 vsize=4712308 CPUtime=319.19 cores=0-7
/proc/11895/task/11899/stat : 11899 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 178395 0 0 0 31828 91 0 0 25 0 8 0 624410015 4825403392 1002245 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11895/tid=11900] ppid=11893 vsize=4712308 CPUtime=314.33 cores=0-7
/proc/11895/task/11900/stat : 11900 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 182094 0 0 0 31343 90 0 0 25 0 8 0 624410015 4825403392 1002245 33554432000 4194304 4627427 140736352270272 18446744073709551615 4352163 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11895/tid=11901] ppid=11893 vsize=4712308 CPUtime=320.27 cores=0-7
/proc/11895/task/11901/stat : 11901 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 186925 0 0 0 31931 96 0 0 25 0 8 0 624410015 4825403392 1002245 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308963 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11895/tid=11902] ppid=11893 vsize=4712308 CPUtime=325.24 cores=0-7
/proc/11895/task/11902/stat : 11902 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 234261 0 0 0 32419 105 0 0 25 0 8 0 624410015 4825403392 1002245 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2594.52
Current children cumulated vsize (KiB) 4712308
[startup+462.301 s]
/proc/loadavg: 7.77 5.74 3.35 9/246 11915
/proc/meminfo: memFree=24018180/32951124 swapFree=67111464/67111528
[pid=11895] ppid=11893 vsize=4908916 CPUtime=3073.23 cores=0-7
/proc/11895/stat : 11895 (strangenight2-m) R 11893 11895 11573 0 -1 4202496 1547725 0 0 0 306571 752 0 0 25 0 8 0 624410015 5026729984 1062290 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11895/statm: 1227229 1062290 391 106 0 1222200 0
[pid=11895/tid=11896] ppid=11893 vsize=4908916 CPUtime=399.01 cores=0-7
/proc/11895/task/11896/stat : 11896 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 184516 0 0 0 39808 93 0 0 25 0 8 0 624410015 5026729984 1062290 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11895/tid=11897] ppid=11893 vsize=4908916 CPUtime=394 cores=0-7
/proc/11895/task/11897/stat : 11897 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 174452 0 0 0 39315 85 0 0 25 0 8 0 624410015 5026729984 1062290 33554432000 4194304 4627427 140736352270272 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11895/tid=11898] ppid=11893 vsize=4908916 CPUtime=378.24 cores=0-7
/proc/11895/task/11898/stat : 11898 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 188445 0 0 0 37737 87 0 0 25 0 8 0 624410015 5026729984 1062290 33554432000 4194304 4627427 140736352270272 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11895/tid=11899] ppid=11893 vsize=4908916 CPUtime=379.19 cores=0-7
/proc/11895/task/11899/stat : 11899 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 184899 0 0 0 37826 93 0 0 25 0 8 0 624410015 5026729984 1062290 33554432000 4194304 4627427 140736352270272 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11895/tid=11900] ppid=11893 vsize=4908916 CPUtime=374.29 cores=0-7
/proc/11895/task/11900/stat : 11900 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 193465 0 0 0 37334 95 0 0 25 0 8 0 624410015 5026729984 1062290 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308912 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11895/tid=11901] ppid=11893 vsize=4908916 CPUtime=380.27 cores=0-7
/proc/11895/task/11901/stat : 11901 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 196060 0 0 0 37928 99 0 0 25 0 8 0 624410015 5026729984 1062290 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11895/tid=11902] ppid=11893 vsize=4908916 CPUtime=384.8 cores=0-7
/proc/11895/task/11902/stat : 11902 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 256965 0 0 0 38370 110 0 0 25 0 8 0 624410015 5026729984 1062290 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3073.23
Current children cumulated vsize (KiB) 4908916
[startup+522.3 s]
/proc/loadavg: 7.98 6.16 3.64 9/246 11917
/proc/meminfo: memFree=23930288/32951124 swapFree=67111464/67111528
[pid=11895] ppid=11893 vsize=5025784 CPUtime=3552.79 cores=0-7
/proc/11895/stat : 11895 (strangenight2-m) R 11893 11895 11573 0 -1 4202496 1600238 0 0 0 354510 769 0 0 25 0 8 0 624410015 5146402816 1084591 33554432000 4194304 4627427 140736352270272 18446744073709551615 4407099 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11895/statm: 1256446 1084591 391 106 0 1251417 0
[pid=11895/tid=11896] ppid=11893 vsize=5025784 CPUtime=459 cores=0-7
/proc/11895/task/11896/stat : 11896 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 196895 0 0 0 45804 96 0 0 25 0 8 0 624410015 5146402816 1084591 33554432000 4194304 4627427 140736352270272 18446744073709551615 4324972 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11895/tid=11897] ppid=11893 vsize=5025784 CPUtime=453.99 cores=0-7
/proc/11895/task/11897/stat : 11897 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 178536 0 0 0 45313 86 0 0 25 0 8 0 624410015 5146402816 1084591 33554432000 4194304 4627427 140736352270272 18446744073709551615 4305890 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11895/tid=11898] ppid=11893 vsize=5025784 CPUtime=438.24 cores=0-7
/proc/11895/task/11898/stat : 11898 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 197449 0 0 0 43735 89 0 0 25 0 8 0 624410015 5146402816 1084591 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11895/tid=11899] ppid=11893 vsize=5025784 CPUtime=439.19 cores=0-7
/proc/11895/task/11899/stat : 11899 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 189245 0 0 0 43824 95 0 0 25 0 8 0 624410015 5146402816 1084591 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11895/tid=11900] ppid=11893 vsize=5025784 CPUtime=434.29 cores=0-7
/proc/11895/task/11900/stat : 11900 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 193487 0 0 0 43334 95 0 0 25 0 8 0 624410015 5146402816 1084591 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11895/tid=11901] ppid=11893 vsize=5025784 CPUtime=440.28 cores=0-7
/proc/11895/task/11901/stat : 11901 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 206123 0 0 0 43924 104 0 0 25 0 8 0 624410015 5146402816 1084592 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11895/tid=11902] ppid=11893 vsize=5025784 CPUtime=444.37 cores=0-7
/proc/11895/task/11902/stat : 11902 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 265160 0 0 0 44324 113 0 0 25 0 8 0 624410015 5146402816 1084592 33554432000 4194304 4627427 140736352270272 18446744073709551615 4334176 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3552.79
Current children cumulated vsize (KiB) 5025784
[startup+582.3 s]
/proc/loadavg: 8.05 6.51 3.92 9/246 11918
/proc/meminfo: memFree=23829212/32951124 swapFree=67111464/67111528
[pid=11895] ppid=11893 vsize=5091320 CPUtime=4032.2 cores=0-7
/proc/11895/stat : 11895 (strangenight2-m) R 11893 11895 11573 0 -1 4202496 1638223 0 0 0 402437 783 0 0 25 0 8 0 624410015 5213511680 1109436 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11895/statm: 1272830 1109436 391 106 0 1267801 0
[pid=11895/tid=11896] ppid=11893 vsize=5091320 CPUtime=518.99 cores=0-7
/proc/11895/task/11896/stat : 11896 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 201332 0 0 0 51801 98 0 0 25 0 8 0 624410015 5213511680 1109436 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11895/tid=11897] ppid=11893 vsize=5091320 CPUtime=513.86 cores=0-7
/proc/11895/task/11897/stat : 11897 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 179529 0 0 0 51299 87 0 0 25 0 8 0 624410015 5213511680 1109436 33554432000 4194304 4627427 140736352270272 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11895/tid=11898] ppid=11893 vsize=5091320 CPUtime=498.24 cores=0-7
/proc/11895/task/11898/stat : 11898 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 202845 0 0 0 49733 91 0 0 25 0 8 0 624410015 5213511680 1109436 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11895/tid=11899] ppid=11893 vsize=5091320 CPUtime=499.2 cores=0-7
/proc/11895/task/11899/stat : 11899 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 200352 0 0 0 49822 98 0 0 25 0 8 0 624410015 5213511680 1109436 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308345 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11895/tid=11900] ppid=11893 vsize=5091320 CPUtime=494.29 cores=0-7
/proc/11895/task/11900/stat : 11900 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 198772 0 0 0 49331 98 0 0 25 0 8 0 624410015 5213511680 1109436 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11895/tid=11901] ppid=11893 vsize=5091320 CPUtime=500.27 cores=0-7
/proc/11895/task/11901/stat : 11901 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 207752 0 0 0 49922 105 0 0 25 0 8 0 624410015 5213511680 1109436 33554432000 4194304 4627427 140736352270272 18446744073709551615 4501627 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11895/tid=11902] ppid=11893 vsize=5091320 CPUtime=503.93 cores=0-7
/proc/11895/task/11902/stat : 11902 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 269638 0 0 0 50279 114 0 0 25 0 8 0 624410015 5213511680 1109436 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4032.2
Current children cumulated vsize (KiB) 5091320
[startup+642.3 s]
/proc/loadavg: 8.08 6.80 4.17 9/246 11920
/proc/meminfo: memFree=23839328/32951124 swapFree=67111464/67111528
[pid=11895] ppid=11893 vsize=5091320 CPUtime=4511.82 cores=0-7
/proc/11895/stat : 11895 (strangenight2-m) R 11893 11895 11573 0 -1 4202496 1649431 0 0 0 450394 788 0 0 25 0 8 0 624410015 5213511680 1106707 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11895/statm: 1272830 1106707 391 106 0 1267801 0
[pid=11895/tid=11896] ppid=11893 vsize=5091320 CPUtime=579 cores=0-7
/proc/11895/task/11896/stat : 11896 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 201368 0 0 0 57802 98 0 0 25 0 8 0 624410015 5213511680 1106707 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11895/tid=11897] ppid=11893 vsize=5091320 CPUtime=573.86 cores=0-7
/proc/11895/task/11897/stat : 11897 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 180013 0 0 0 57299 87 0 0 25 0 8 0 624410015 5213511680 1106707 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11895/tid=11898] ppid=11893 vsize=5091320 CPUtime=558.25 cores=0-7
/proc/11895/task/11898/stat : 11898 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 208568 0 0 0 55731 94 0 0 25 0 8 0 624410015 5213511680 1106707 33554432000 4194304 4627427 140736352270272 18446744073709551615 4308368 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11895/tid=11899] ppid=11893 vsize=5091320 CPUtime=559.2 cores=0-7
/proc/11895/task/11899/stat : 11899 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 200811 0 0 0 55822 98 0 0 25 0 8 0 624410015 5213511680 1106707 33554432000 4194304 4627427 140736352270272 18446744073709551615 4323109 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11895/tid=11900] ppid=11893 vsize=5091320 CPUtime=554.29 cores=0-7
/proc/11895/task/11900/stat : 11900 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 200958 0 0 0 55331 98 0 0 25 0 8 0 624410015 5213511680 1106707 33554432000 4194304 4627427 140736352270272 18446744073709551615 4333154 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11895/tid=11901] ppid=11893 vsize=5091320 CPUtime=560.28 cores=0-7
/proc/11895/task/11901/stat : 11901 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 207903 0 0 0 55923 105 0 0 25 0 8 0 624410015 5213511680 1106707 33554432000 4194304 4627427 140736352270272 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11895/tid=11902] ppid=11893 vsize=5091320 CPUtime=563.49 cores=0-7
/proc/11895/task/11902/stat : 11902 (strangenight2-m) R 11893 11895 11573 0 -1 4202560 270427 0 0 0 56235 114 0 0 25 0 8 0 624410015 5213511680 1106707 33554432000 4194304 4627427 140736352270272 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4511.82
Current children cumulated vsize (KiB) 5091320
Solver just ended. Dumping a history of the last processes samples
[startup+642.701 s]
/proc/loadavg: 8.08 6.80 4.17 9/246 11920
/proc/meminfo: memFree=23839328/32951124 swapFree=67111464/67111528
[pid=11895] ppid=11893 vsize=0 CPUtime=4514.7 cores=0-7
/proc/11895/stat : 11895 (strangenight2-m) R 11893 11895 11573 0 -1 4203524 1649473 0 0 0 450678 792 0 0 25 0 1 0 624410015 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11895/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4514.7
Current children cumulated vsize (KiB) 0
[startup+642.8 s]
/proc/loadavg: 8.08 6.80 4.17 9/246 11920
/proc/meminfo: memFree=23839328/32951124 swapFree=67111464/67111528
[pid=11895] ppid=11893 vsize=0 CPUtime=4514.8 cores=0-7
/proc/11895/stat : 11895 (strangenight2-m) R 11893 11895 11573 0 -1 4203524 1649473 0 0 0 450678 802 0 0 25 0 1 0 624410015 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11895/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4514.8
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 642.878
CPU time (s): 4514.89
CPU user time (s): 4506.79
CPU system time (s): 8.10177
CPU usage (%): 702.294
Max. virtual memory (cumulated for all children) (KiB): 5156856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4506.79
system time used= 8.10177
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1649473
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= 666678
involuntary context switches= 19607
runsolver used 1.2828 second user time and 3.39948 second system time
The end
Launcher Data
Begin job on node110 at 2011-05-02 15:09:54
IDJOB=3321248
IDBENCH=85007
IDSOLVER=1709
FILE ID=node110/3321248-1304341792
RUNJOBID= node110-1304335483-11587
PBS_JOBID= 13178013
Free space on /tmp= 73856 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321248-1304341792/watcher-3321248-1304341792 -o /tmp/evaluation-result-3321248-1304341792/solver-3321248-1304341792 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321248-1304341792.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 580dc3969c4e46e50013253fd4ac9139
RANDOM SEED=563626416
node110.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5333.66
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.830
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 28271636 kB
Buffers: 1051220 kB
Cached: 1612868 kB
SwapCached: 64 kB
Active: 2089732 kB
Inactive: 2155552 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 28271636 kB
SwapTotal: 67111528 kB
SwapFree: 67111464 kB
Dirty: 82432 kB
Writeback: 0 kB
AnonPages: 1580848 kB
Mapped: 20904 kB
Slab: 357860 kB
PageTables: 14628 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 34651696 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 73852 MiB
End job on node110 at 2011-05-02 15:20:37