Trace number 3400797
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 | application/manthey/traffic/
traffic_b_unsat.cnf |
| MD5SUM | 3dc443ddf213a09407d2a75925179735 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 2684.29 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 26061 |
| Number of clauses | 742909 |
| Sum of the clauses size | 2791650 |
| Maximum clause length | 4 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 44599 |
| Number of clauses of size 3 | 90788 |
| Number of clauses of size 4 | 607522 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
Solver Data
0.00/0.00 c Outputting solution to console
0.00/0.03 c Using 32 threads
0.00/0.04 c This is CryptoMiniSat 3.0.0
0.00/0.04 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c Reading file 'HOME/instance-3400797-1306788038.cnf'
0.00/0.08 c -- header says num vars: 26061
0.00/0.08 c -- header says num clauses: 742909
64.82/4.92 c -- clauses added: 0 learnts, 742909 normals, 0 xors
64.82/4.92 c -- vars added 26061
64.82/4.92 c Parsing time: 0.83 s
64.82/4.92 c N st 0 0 26061 698310 44599 0 2791650 0 no data no data
73.67/5.63 c asymm cl-useful: 16/801/698310 lits-rem:16 time: 0.30
224.51/14.60 c Flit: 248 Blit: 43 bXBeca: 0 bXProp: 267 Bins: 0 BRemL: 0 BRemN: 0 P: 178.7M T: 4.16
224.51/14.65 c Cleaning up after failed var search: 0.05 s
226.32/14.74 c Replacing 268 vars Replaced 10522 lits Time: 0.06 s
336.12/24.96 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
336.12/24.99 c bin-w-bin subsume rem 6566 bins time: 0.03 s
342.02/25.20 c subs with bin: 4628 lits-rem: 2867 v-fix: 0 time: 0.19 s
344.55/25.33 c Subs w/ non-existent bins: 1968 l-rem: 752 v-fix: 0 done: 3229 time: 0.12 s
348.20/25.50 c Removed useless bin: 8798 fixed: 0 props: 16.57M time: 0.15 s
406.30/28.21 c lits-rem: 723 cl-subs: 56227 v-elim: 353 v-fix: 0 time: 2.30 s
409.13/28.31 c Finding binary XORs T: 0.10 s found: 28
409.13/28.38 c Replacing 28 vars Replaced 1315 lits Time: 0.08 s
442.37/29.46 c Finding non-binary XORs: 0.95 s (found: 0, avg size: nan)
442.37/29.46 c calculated reachability. Time: 0.04
445.56/29.55 c Calc default polars - time: 0.08 s pos: 8753 undec: 8423 neg: 8885
445.56/29.55 c =========================================================================================
445.56/29.55 c types(t): F = full restart, N = normal restart
445.56/29.55 c types(t): S = simplification begin/end, E = solution found
445.56/29.55 c restart types(rt): st = static, dy = dynamic
445.56/29.55 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
445.56/29.55 c B st 0 0 25009 619017 30878 0 2457370 0 no data no data
518.73/32.08 c N dy 15 4064 25009 619017 30883 3993 2457370 45721 7.11 7.53
546.80/33.02 c Finding binary XORs T: 0.07 s found: 0
581.97/34.08 c N dy 34 8396 25008 618879 37797 8216 2456919 109388 6.78 7.18
636.26/35.78 c N dy 52 12619 25006 618879 38277 12391 2456919 161739 6.79 7.22
697.00/37.68 c N dy 70 16803 25006 618879 38278 16532 2456919 211556 6.79 7.15
729.58/38.62 c Finding binary XORs T: 0.07 s found: 0
757.72/39.57 c N dy 95 20905 25004 618294 38276 9810 2454694 105151 6.87 7.28
812.04/41.28 c N dy 111 24968 25003 618294 38311 13829 2454694 155056 6.81 7.21
812.04/41.30 c F st 112 25000 25003 618294 38311 13861 2454694 155530 6.81 no data
821.63/41.58 c Found part 738 vars: 952 clauses: 6776 lits size: 23750
821.63/41.58 c Found part 1091 vars: 1070 clauses: 8951 lits size: 31639
821.63/41.58 c Found part 1098 vars: 4871 clauses: 193996 lits size: 740866
821.63/41.58 c Found part 1124 vars: 810 clauses: 10990 lits size: 40390
821.63/41.58 c Found part 1132 vars: 833 clauses: 5234 lits size: 18290
821.63/41.58 c Found part 1133 vars: 305 clauses: 965 lits size: 2994
821.63/41.58 c Found part 1135 vars: 15922 clauses: 421299 lits size: 1593366
821.63/41.58 c Found part 1144 vars: 238 clauses: 557 lits size: 1531
821.63/41.58 c Found parts: 8 time: 0.28 s
821.63/41.58 c Solving part 1144
824.83/41.63 c N st 0 0 238 267 479 0 1531 378 no data no data
824.83/41.63 c asymm cl-useful: 10/267/267 lits-rem:10 time: 0.00
824.83/41.64 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01
824.83/41.64 c Finding binary XORs T: 0.00 s found: 0
824.83/41.64 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
824.83/41.64 c calculated reachability. Time: 0.00
824.83/41.64 c Calc default polars - time: 0.00 s pos: 127 undec: 25829 neg: 105
824.83/41.64 c =========================================================================================
824.83/41.64 c types(t): F = full restart, N = normal restart
824.83/41.64 c types(t): S = simplification begin/end, E = solution found
824.83/41.64 c restart types(rt): st = static, dy = dynamic
824.83/41.64 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
824.83/41.64 c B st 0 0 238 267 479 0 1521 378 no data no data
824.83/41.64 c E st 1 0 0 267 479 0 1521 378 no data no data
824.83/41.64 c Verified 267 clauses.
824.83/41.64 c Verified 267 clauses.
824.83/41.64 c Solved part
824.83/41.64 c =========================================================================================
824.83/41.65 c Solving part 1133
824.83/41.70 c N st 0 0 305 606 483 0 2994 248 no data no data
828.03/41.70 c asymm cl-useful: 115/606/606 lits-rem:130 time: 0.01
828.03/41.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01
828.03/41.72 c Finding binary XORs T: 0.00 s found: 0
828.03/41.72 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
828.03/41.72 c calculated reachability. Time: 0.00
828.03/41.72 c Calc default polars - time: 0.00 s pos: 130 undec: 25781 neg: 150
828.03/41.72 c =========================================================================================
828.03/41.72 c types(t): F = full restart, N = normal restart
828.03/41.72 c types(t): S = simplification begin/end, E = solution found
828.03/41.72 c restart types(rt): st = static, dy = dynamic
828.03/41.72 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
828.03/41.72 c B st 0 0 305 604 485 0 2868 248 no data no data
828.03/41.72 c E st 1 0 0 604 485 0 2868 248 no data no data
828.03/41.72 c Verified 604 clauses.
828.03/41.72 c Verified 604 clauses.
828.03/41.72 c Solved part
828.03/41.72 c =========================================================================================
828.03/41.72 c Solving part 1124
828.03/41.78 c N st 0 0 810 9941 1974 0 40390 1850 no data no data
840.80/42.15 c asymm cl-useful: 673/3432/9941 lits-rem:739 time: 0.36
844.00/42.23 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 29 Bins: 0 BRemL: 0 BRemN: 0 P: 2.8M T: 0.08
844.00/42.23 c Finding binary XORs T: 0.00 s found: 1
844.00/42.23 c Replacing 30 vars Replaced 2870 lits Time: 0.00 s
844.00/42.24 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
844.00/42.24 c calculated reachability. Time: 0.00
844.00/42.24 c Calc default polars - time: 0.00 s pos: 310 undec: 25473 neg: 278
844.00/42.24 c =========================================================================================
844.00/42.24 c types(t): F = full restart, N = normal restart
844.00/42.24 c types(t): S = simplification begin/end, E = solution found
844.00/42.24 c restart types(rt): st = static, dy = dynamic
844.00/42.24 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
844.00/42.24 c B st 0 0 780 9813 1969 0 39221 1850 no data no data
844.00/42.24 c E st 1 1 0 9813 1970 0 39221 1852 no data no data
844.00/42.24 c Verified 9813 clauses.
844.00/42.24 c Verified 9813 clauses.
844.00/42.24 c Solved part
844.00/42.24 c =========================================================================================
844.00/42.24 c Solving part 1132
847.19/42.30 c N st 0 0 833 4240 1058 0 18290 128 no data no data
847.19/42.39 c asymm cl-useful: 53/4240/4240 lits-rem:53 time: 0.09
850.38/42.42 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.03
850.38/42.43 c Finding binary XORs T: 0.00 s found: 0
850.38/42.43 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
850.38/42.43 c calculated reachability. Time: 0.00
850.38/42.43 c Calc default polars - time: 0.00 s pos: 279 undec: 25525 neg: 257
850.38/42.43 c =========================================================================================
850.38/42.43 c types(t): F = full restart, N = normal restart
850.38/42.43 c types(t): S = simplification begin/end, E = solution found
850.38/42.43 c restart types(rt): st = static, dy = dynamic
850.38/42.43 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
850.38/42.43 c B st 0 0 833 4240 1058 0 18237 128 no data no data
850.38/42.43 c E st 1 0 0 4240 1058 0 18237 128 no data no data
850.38/42.43 c Verified 4240 clauses.
850.38/42.43 c Verified 4240 clauses.
850.38/42.43 c Solved part
850.38/42.43 c =========================================================================================
850.38/42.43 c Solving part 738
850.38/42.50 c N st 0 0 952 5550 1326 0 23750 200 no data no data
856.75/42.64 c asymm cl-useful: 173/5550/5550 lits-rem:173 time: 0.15
856.75/42.68 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.8M T: 0.04
856.75/42.69 c Finding binary XORs T: 0.00 s found: 0
856.75/42.69 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
856.75/42.69 c calculated reachability. Time: 0.00
856.75/42.69 c Calc default polars - time: 0.00 s pos: 361 undec: 25334 neg: 366
856.75/42.69 c =========================================================================================
856.75/42.69 c types(t): F = full restart, N = normal restart
856.75/42.69 c types(t): S = simplification begin/end, E = solution found
856.75/42.69 c restart types(rt): st = static, dy = dynamic
856.75/42.69 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
856.75/42.69 c B st 0 0 952 5550 1326 0 23577 200 no data no data
856.75/42.69 c E st 1 0 0 5550 1326 0 23577 200 no data no data
856.75/42.69 c Verified 5550 clauses.
856.75/42.69 c Verified 5550 clauses.
856.75/42.69 c Solved part
856.75/42.69 c =========================================================================================
856.75/42.70 c Solving part 1091
859.92/42.75 c N st 0 0 1070 7498 1663 0 31639 420 no data no data
866.88/42.98 c asymm cl-useful: 153/7498/7498 lits-rem:153 time: 0.23
870.10/43.03 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.0M T: 0.05
870.10/43.04 c Finding binary XORs T: 0.00 s found: 0
870.10/43.04 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
870.10/43.04 c calculated reachability. Time: 0.00
870.10/43.04 c Calc default polars - time: 0.00 s pos: 435 undec: 25161 neg: 465
870.10/43.04 c =========================================================================================
870.10/43.04 c types(t): F = full restart, N = normal restart
870.10/43.04 c types(t): S = simplification begin/end, E = solution found
870.10/43.04 c restart types(rt): st = static, dy = dynamic
870.10/43.04 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
870.10/43.04 c B st 0 0 1070 7498 1663 0 31486 420 no data no data
870.10/43.04 c E st 1 0 0 7498 1663 0 31486 420 no data no data
870.10/43.05 c Verified 7498 clauses.
870.10/43.05 c Verified 7498 clauses.
870.10/43.05 c Solved part
870.10/43.05 c =========================================================================================
870.10/43.05 c Solving part 1098
875.86/43.29 c N st 0 0 4871 187861 7701 11999 740866 126480 no data no data
882.25/43.42 c asymm cl-useful: 7/425/187861 lits-rem:7 time: 0.12
905.26/44.14 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 75.1M T: 0.72
905.26/44.15 c Finding binary XORs T: 0.01 s found: 0
907.81/44.27 c Finding non-binary XORs: 0.10 s (found: 0, avg size: nan)
907.81/44.27 c calculated reachability. Time: 0.01
907.81/44.28 c Calc default polars - time: 0.01 s pos: 1558 undec: 22924 neg: 1579
907.81/44.28 c =========================================================================================
907.81/44.28 c types(t): F = full restart, N = normal restart
907.81/44.28 c types(t): S = simplification begin/end, E = solution found
907.81/44.28 c restart types(rt): st = static, dy = dynamic
907.81/44.28 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
907.81/44.28 c B st 0 0 4871 187861 7701 11999 740859 126480 no data no data
958.85/45.80 c N dy 14 4273 4870 187861 7704 16237 740858 188931 7.04 7.43
1016.38/47.68 c N dy 32 8453 4870 187861 7712 20379 740858 239152 6.78 7.20
1077.70/49.54 c N dy 48 12817 4869 187861 7725 24693 740858 290965 6.77 7.14
1137.85/51.43 c N dy 79 17270 4869 187861 7729 29119 740856 347484 6.89 7.35
1195.38/53.28 c N dy 99 21793 4869 187861 7730 17707 740856 163522 6.89 7.25
1240.14/54.66 c F st 109 25000 4869 187861 7730 20905 740856 208388 6.86 no data
1256.75/55.17 c N st 112 26187 4869 187861 7730 22089 740856 224675 6.86 no data
1313.67/56.94 c N dy 115 30192 4869 187861 7730 26066 740856 281145 6.86 no data
1371.20/58.80 c N dy 130 34206 4868 187861 7738 30039 740856 332729 6.82 7.28
1435.13/60.72 c N dy 150 38560 4868 187861 7750 34341 740855 389990 6.86 7.24
1511.86/63.19 c N dy 173 43686 4867 187861 7763 21029 740855 175964 6.87 7.49
1569.96/64.98 c N dy 193 48018 4867 187861 7764 25337 740854 234811 6.88 7.31
1636.50/67.01 c N dy 214 53012 4866 187861 7774 30293 740854 298955 6.89 7.41
1694.04/68.82 c Finding binary XORs T: 0.01 s found: 0
1694.04/68.87 c N dy 232 57105 4865 186702 7579 23872 736265 244068 6.90 7.31
1754.77/70.74 c N dy 253 61249 4865 186702 7586 27970 736265 299276 6.90 7.27
1819.33/72.80 c N dy 271 65420 4865 186702 7591 17251 736265 139646 6.90 7.30
1879.44/74.68 c N dy 293 69779 4864 186702 7600 21566 736265 199461 6.92 7.29
1943.37/76.69 c N dy 316 74255 4864 186702 7604 26006 736265 258395 6.93 10.34
2013.70/78.87 c N dy 340 79128 4862 186702 7620 30822 736265 321888 6.94 7.50
2084.03/81.06 c N dy 371 84202 4861 186702 7626 35863 736265 394102 6.97 7.34
2135.77/82.70 c F st 398 87500 4861 186702 7627 20318 736265 157912 7.01 no data
2179.92/84.06 c N st 403 90797 4861 186702 7627 23602 736265 210438 7.01 no data
2266.24/86.78 c N dy 429 96597 4861 186702 7631 29365 736264 290957 7.03 7.40
2352.54/89.49 c N dy 471 102801 4861 186702 7637 35535 736264 382141 7.07 8.87
2452.22/92.57 c N dy 502 109374 4861 186702 7644 42049 736264 470702 7.08 7.46
2547.50/95.51 c N dy 541 116449 4860 186702 7655 27739 736264 235849 7.09 8.65
2582.66/96.67 c Finding binary XORs T: 0.01 s found: 0
2649.79/98.76 c N dy 578 124001 4859 185738 7520 30858 732509 307376 7.10 7.50
2774.45/102.69 c N dy 626 132143 4858 185738 7531 38931 732509 421671 7.12 7.51
2915.11/107.01 c N dy 682 140618 4857 185738 7543 26454 732509 214377 7.17 8.88
3052.56/111.38 c N dy 739 149607 4857 185738 7545 35386 732508 342053 7.19 7.63
3231.57/116.98 c N dy 795 159194 4857 185738 7548 44895 732508 478406 7.22 7.62
3404.20/122.31 c N dy 874 169447 4857 185738 7555 31736 732508 269703 7.29 9.47
3574.19/127.63 c N dy 936 180282 4856 185738 7570 42487 732508 425100 7.31 7.80
3750.01/133.21 c N dy 991 191883 4854 185738 7593 28931 732508 208450 7.31 8.07
3806.95/134.95 c Finding binary XORs T: 0.01 s found: 1
3954.00/139.52 c N dy 1065 204213 4853 184753 7499 35521 728721 333843 7.34 7.73
4200.14/147.24 c N dy 1134 217381 4853 184753 7509 24980 728721 168898 7.35 7.76
4430.25/154.43 c N dy 1209 231327 4851 184753 7529 38835 728721 375107 7.37 9.30
4695.59/162.76 c N dy 1288 246289 4850 184753 7544 27501 728721 181229 7.38 7.84
4960.91/171.08 c N dy 1384 262177 4850 184753 7547 43291 728720 421497 7.41 8.01
5187.85/178.10 c Finding binary XORs T: 0.01 s found: 5
5267.75/180.60 c N dy 1444 278913 4847 184038 7474 29774 725839 205650 7.40 7.79
5584.20/190.58 c N dy 1550 296817 4846 184038 7493 47520 725839 471209 7.42 7.85
5757.43/195.96 c F st 1612 306250 4846 184038 7496 28573 725839 165324 7.44 7.17
5910.26/200.73 c N dy 1644 315837 4846 184038 7496 38095 725839 324913 7.45 10.51
6271.47/212.02 c N dy 1774 336068 4846 184038 7498 58204 725838 634689 7.48 7.90
6626.31/223.15 c N dy 1903 356174 4846 184038 7499 48133 725838 451340 7.51 7.94
6990.69/234.55 c N dy 2038 376195 4846 184038 7504 36608 725838 256994 7.54 9.10
7351.90/245.81 c N dy 2154 396261 4846 184038 7511 56559 725838 574562 7.56 8.07
7719.52/257.39 c N dy 2260 416341 4845 184038 7526 43883 725838 354191 7.57 8.29
8096.69/269.11 c N dy 2373 436616 4845 184038 7534 64050 725838 675589 7.58 7.99
8205.37/272.59 c Finding binary XORs T: 0.01 s found: 4
8467.49/280.78 c N dy 2489 456655 4843 183209 7448 49479 722411 442524 7.59 9.21
8870.24/293.30 c N dy 2592 476673 4843 183209 7454 35029 722410 197668 7.60 9.00
9235.26/304.76 c N dy 2700 496812 4843 183209 7459 55066 722410 521531 7.61 8.08
9611.87/316.50 c N dy 2784 517563 4842 183209 7483 40117 722410 263575 7.61 8.29
9989.03/328.32 c N dy 2905 537868 4839 183209 7500 60309 722409 590909 7.62 8.04
10375.82/340.43 c N dy 3004 557914 4838 183209 7511 43542 722409 308389 7.62 8.12
10526.08/345.19 c Finding binary XORs T: 0.01 s found: 12
10740.22/351.85 c N dy 3119 577993 4837 181765 7434 61951 716645 619334 7.63 8.51
11134.00/364.13 c N dy 3224 598318 4830 181765 7463 45424 716645 334087 7.64 8.10
11504.17/375.80 c N dy 3331 618399 4830 181765 7467 65406 716645 663719 7.65 8.10
11881.38/387.54 c N dy 3410 638430 4823 181765 7485 47374 716645 347350 7.64 8.06
12284.17/400.12 c N dy 3508 658521 4823 181765 7494 67360 716645 671558 7.65 8.09
12670.93/412.21 c N dy 3622 678604 4823 181765 7506 48572 716645 352714 7.65 8.07
12942.63/420.78 c Finding binary XORs T: 0.01 s found: 8
13035.94/423.65 c N dy 3724 698669 4819 177970 7349 65773 701076 644128 7.66 8.11
13438.09/436.23 c N dy 3812 718771 4819 177970 7357 46822 701076 322655 7.66 8.29
13837.69/448.81 c N dy 3893 739719 4805 177970 7405 67581 701076 658035 7.65 8.08
14039.06/455.01 c Finding binary XORs T: 0.01 s found: 11
14240.41/461.37 c N dy 3975 759789 4799 174673 7411 45439 688029 289288 7.64 8.05
14592.04/472.32 c N dy 4048 779886 4777 174673 7460 65371 688029 625905 7.64 8.10
14742.29/477.07 c Finding binary XORs T: 0.01 s found: 16
14745.49/477.15 c Replacing 57 vars Replaced 50536 lits Time: 0.08 s
14966.66/484.11 c N dy 4129 799985 4714 164866 7220 72873 648914 810104 7.63 8.27
15281.23/494.15 c N dy 4226 820137 4712 164866 7242 59447 648914 555616 7.63 8.09
15386.61/497.51 c Finding binary XORs T: 0.01 s found: 34
15614.96/505.07 c Finding binary XORs T: 0.01 s found: 25
15617.27/505.14 c Replacing 59 vars Replaced 70743 lits Time: 0.07 s
15625.97/505.41 c N dy 4303 840297 4577 130681 6970 51423 514258 531567 7.62 8.07
15678.71/507.27 c Finding binary XORs T: 0.01 s found: 31
15681.06/507.39 c E dy 4310 844106 4461 104192 6841 25846 410055 198563 7.62 6.04
16694.62/628.36 c Following stats are for *FIRST FINISHED THREAD ONLY*
16694.62/628.36 c num threads : 32
16694.62/628.36 c restarts : 76
16694.62/628.36 c dynamic restarts : 70
16694.62/628.36 c static restarts : 6
16694.62/628.36 c full restarts : 0
16694.62/628.36 c total simplify time : 0.14
16694.62/628.36 c learnts DL2 : 0
16694.62/628.36 c learnts size 2 : 56846
16694.62/628.36 c learnts size 1 : 410 (1.57 % of vars)
16694.62/628.36 c filedLit time : 3.81 (0.63 % time)
16694.62/628.36 c v-elim SatELite : 354 (1.36 % vars)
16694.62/628.36 c SatELite time : 1.34 (0.22 % time)
16694.62/628.36 c v-elim xor : 0 (0.00 % vars)
16694.62/628.36 c xor elim time : 0.00 (0.00 % time)
16694.62/628.36 c num binary xor trees : 24
16694.62/628.36 c binxor trees' crown : 296 (12.33 leafs/tree)
16694.62/628.36 c bin xor find time : 0.14
16694.62/628.36 c OTF clause improved : 209 (0.01 clauses/conflict)
16694.62/628.36 c OTF impr. size diff : 332 (1.59 lits/clause)
16694.62/628.36 c OTF cl watch-shrink : 16945 (0.68 clauses/conflict)
16694.62/628.36 c OTF cl watch-sh-lit : 41966 (2.48 lits/clause)
16694.62/628.36 c tried to recurMin cls : 4990 (19.96 % of conflicts)
16694.62/628.36 c updated cache : 0 (0.00 lits/tried recurMin)
16694.62/628.36 c unit cls recevied : 4 (0.98 % of units)
16694.62/628.36 c unit cls sent : 1 (0.24 % of units)
16694.62/628.36 c bin cls recevied : 7950
16694.62/628.36 c bin cls sent : 198
16694.62/628.36 c clauses over max glue : 0 (0.00 % of all clauses)
16694.62/628.36 c conflicts : 25002 (41.27 / sec)
16694.62/628.36 c decisions : 30606 (0.00 % random)
16694.62/628.36 c bogo-props : 1375207169 (2269821.07 / sec)
16694.62/628.36 c conflict literals : 311137 (55.93 % deleted)
16694.62/628.36 c Memory used : 8294.32 MB
16694.62/628.36 c single-thread CPU time : 605.87 s
16694.62/628.36 c all-threads sum CPU time : 16603.38 s
16694.62/628.36 s UNSATISFIABLE
Verifier Data
No possible verification on an UNSAT instance
Watcher Data
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400797-1306788038/watcher-3400797-1306788038 -o /tmp/evaluation-result-3400797-1306788038/solver-3400797-1306788038 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400797-1306788038.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 8.73 22.60 25.58 3/413 20155
/proc/meminfo: memFree=263617544/264257624 swapFree=67044744/67111528
[pid=20155] ppid=20153 vsize=338000 CPUtime=0.74 cores=0-31
/proc/20155/stat : 20155 (strangenight2-m) R 20153 20155 20129 0 -1 4202496 467 0 0 0 74 0 0 0 25 0 32 0 4769924 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471129 0 0 4096 2 18446744073709551615 0 0 17 29 0 0 0
/proc/20155/statm: 84500 407 300 95 0 79482 0
[pid=20155/tid=20156] ppid=20153 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20155/task/20156/stat : 20156 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 4 0 0 0 2 0 0 0 23 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471133 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=20155/tid=20157] ppid=20153 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20155/task/20157/stat : 20157 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471127 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20155/tid=20158] ppid=20153 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20155/task/20158/stat : 20158 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471129 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=20155/tid=20159] ppid=20153 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20155/task/20159/stat : 20159 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471129 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20155/tid=20160] ppid=20153 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20155/task/20160/stat : 20160 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471129 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20155/tid=20161] ppid=20153 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20155/task/20161/stat : 20161 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471120 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20155/tid=20162] ppid=20153 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20155/task/20162/stat : 20162 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471129 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20155/tid=20163] ppid=20153 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20155/task/20163/stat : 20163 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471129 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20155/tid=20164] ppid=20153 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20155/task/20164/stat : 20164 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471120 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=20155/tid=20165] ppid=20153 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20155/task/20165/stat : 20165 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471129 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=20155/tid=20166] ppid=20153 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20155/task/20166/stat : 20166 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471129 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=20155/tid=20167] ppid=20153 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20155/task/20167/stat : 20167 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471133 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=20155/tid=20168] ppid=20153 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20155/task/20168/stat : 20168 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471129 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=20155/tid=20169] ppid=20153 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20155/task/20169/stat : 20169 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471127 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20155/tid=20170] ppid=20153 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20155/task/20170/stat : 20170 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471133 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=20155/tid=20171] ppid=20153 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20155/task/20171/stat : 20171 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471127 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=20155/tid=20172] ppid=20153 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20155/task/20172/stat : 20172 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471133 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=20155/tid=20173] ppid=20153 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20155/task/20173/stat : 20173 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471123 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=20155/tid=20174] ppid=20153 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20155/task/20174/stat : 20174 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471129 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=20155/tid=20175] ppid=20153 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20155/task/20175/stat : 20175 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471123 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=20155/tid=20176] ppid=20153 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20155/task/20176/stat : 20176 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471129 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=20155/tid=20177] ppid=20153 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20155/task/20177/stat : 20177 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471123 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=20155/tid=20178] ppid=20153 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20155/task/20178/stat : 20178 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471129 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=20155/tid=20179] ppid=20153 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20155/task/20179/stat : 20179 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471123 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=20155/tid=20180] ppid=20153 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20155/task/20180/stat : 20180 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471129 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=20155/tid=20181] ppid=20153 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20155/task/20181/stat : 20181 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471129 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=20155/tid=20182] ppid=20153 vsize=338000 CPUtime=0.02 cores=0-31
/proc/20155/task/20182/stat : 20182 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471129 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=20155/tid=20183] ppid=20153 vsize=338000 CPUtime=0.01 cores=0-31
/proc/20155/task/20183/stat : 20183 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471123 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=20155/tid=20184] ppid=20153 vsize=338000 CPUtime=0 cores=0-31
/proc/20155/task/20184/stat : 20184 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471129 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=20155/tid=20185] ppid=20153 vsize=338000 CPUtime=0 cores=0-31
/proc/20155/task/20185/stat : 20185 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471528 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=20155/tid=20186] ppid=20153 vsize=338000 CPUtime=0 cores=0-31
/proc/20155/task/20186/stat : 20186 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 4769925 346112000 407 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471120 0 0 4096 2 0 0 0 -1 16 0 0 0
[startup+0.106087 s]
/proc/loadavg: 8.73 22.60 25.58 3/413 20155
/proc/meminfo: memFree=263617544/264257624 swapFree=67044744/67111528
[pid=20155] ppid=20153 vsize=1324400 CPUtime=1.79 cores=0-31
/proc/20155/stat : 20155 (strangenight2-m) S 20153 20155 20129 0 -1 4202496 11440 0 0 0 103 76 0 0 17 0 32 0 4769924 1356185600 11290 268435456000 4194304 4580107 140735668462656 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 29 0 0 0
/proc/20155/statm: 331177 11296 332 95 0 326159 0
[pid=20155/tid=20156] ppid=20153 vsize=1324708 CPUtime=0.05 cores=0-31
/proc/20155/task/20156/stat : 20156 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 272 0 0 0 3 2 0 0 17 0 32 0 4769925 1356500992 11317 268435456000 4194304 4580107 140735668462656 18446744073709551615 258651060958 0 0 4096 2 18446604552234368480 0 0 -1 1 0 0 0
[pid=20155/tid=20157] ppid=20153 vsize=1324840 CPUtime=0.05 cores=0-31
/proc/20155/task/20157/stat : 20157 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 427 0 0 0 3 2 0 0 17 0 32 0 4769925 1356636160 11340 268435456000 4194304 4580107 140735668462656 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20155/tid=20158] ppid=20153 vsize=1324840 CPUtime=0.05 cores=0-31
/proc/20155/task/20158/stat : 20158 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 333 0 0 0 3 2 0 0 17 0 32 0 4769925 1356636160 11345 268435456000 4194304 4580107 140735668462656 18446744073709551615 258651060958 0 0 4096 2 18446604495036603872 0 0 -1 20 0 0 0
[pid=20155/tid=20159] ppid=20153 vsize=1324840 CPUtime=0.05 cores=0-31
/proc/20155/task/20159/stat : 20159 (strangenight2-m) D 20153 20155 20129 0 -1 4202560 302 0 0 0 3 2 0 0 17 0 32 0 4769925 1356636160 11354 268435456000 4194304 4580107 140735668462656 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20155/tid=20160] ppid=20153 vsize=1324840 CPUtime=0.05 cores=0-31
/proc/20155/task/20160/stat : 20160 (strangenight2-m) D 20153 20155 20129 0 -1 4202560 422 0 0 0 3 2 0 0 17 0 32 0 4769925 1356636160 11358 268435456000 4194304 4580107 140735668462656 18446744073709551615 4310274 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20155/tid=20161] ppid=20153 vsize=1324972 CPUtime=0.05 cores=0-31
/proc/20155/task/20161/stat : 20161 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 353 0 0 0 3 2 0 0 17 0 32 0 4769925 1356771328 11372 268435456000 4194304 4580107 140735668462656 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20155/tid=20162] ppid=20153 vsize=1324972 CPUtime=0.04 cores=0-31
/proc/20155/task/20162/stat : 20162 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 279 0 0 0 3 1 0 0 17 0 32 0 4769925 1356771328 11377 268435456000 4194304 4580107 140735668462656 18446744073709551615 258651060958 0 0 4096 2 18446604473479134688 0 0 -1 6 0 0 0
[pid=20155/tid=20163] ppid=20153 vsize=1324972 CPUtime=0.05 cores=0-31
/proc/20155/task/20163/stat : 20163 (strangenight2-m) D 20153 20155 20129 0 -1 4202560 354 0 0 0 3 2 0 0 18 0 32 0 4769925 1356771328 11377 268435456000 4194304 4580107 140735668462656 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20155/tid=20164] ppid=20153 vsize=1324972 CPUtime=0.05 cores=0-31
/proc/20155/task/20164/stat : 20164 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 374 0 0 0 3 2 0 0 25 0 32 0 4769925 1356771328 11388 268435456000 4194304 4580107 140735668462656 18446744073709551615 4309730 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=20155/tid=20165] ppid=20153 vsize=1324972 CPUtime=0.05 cores=0-31
/proc/20155/task/20165/stat : 20165 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 281 0 0 0 3 2 0 0 17 0 32 0 4769925 1356771328 11389 268435456000 4194304 4580107 140735668462656 18446744073709551615 258651060958 0 0 4096 2 18446744071566930664 0 0 -1 12 0 0 0
[pid=20155/tid=20166] ppid=20153 vsize=1325104 CPUtime=0.05 cores=0-31
/proc/20155/task/20166/stat : 20166 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 303 0 0 0 3 2 0 0 25 0 32 0 4769925 1356906496 11403 268435456000 4194304 4580107 140735668462656 18446744073709551615 258651060958 0 0 4096 2 18446604489045458400 0 0 -1 8 0 0 0
[pid=20155/tid=20167] ppid=20153 vsize=1325104 CPUtime=0.05 cores=0-31
/proc/20155/task/20167/stat : 20167 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 385 0 0 0 3 2 0 0 17 0 32 0 4769925 1356906496 11432 268435456000 4194304 4580107 140735668462656 18446744073709551615 258651060958 0 0 4096 2 18446604449634721248 0 0 -1 9 0 0 0
[pid=20155/tid=20168] ppid=20153 vsize=1325104 CPUtime=0.05 cores=0-31
/proc/20155/task/20168/stat : 20168 (strangenight2-m) D 20153 20155 20129 0 -1 4202560 353 0 0 0 3 2 0 0 17 0 32 0 4769925 1356906496 11432 268435456000 4194304 4580107 140735668462656 18446744073709551615 258650653023 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=20155/tid=20169] ppid=20153 vsize=1325236 CPUtime=0.05 cores=0-31
/proc/20155/task/20169/stat : 20169 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 332 0 0 0 3 2 0 0 17 0 32 0 4769925 1357041664 11436 268435456000 4194304 4580107 140735668462656 18446744073709551615 258651060958 0 0 4096 2 18446744071566927784 0 0 -1 7 0 0 0
[pid=20155/tid=20170] ppid=20153 vsize=1325236 CPUtime=0.05 cores=0-31
/proc/20155/task/20170/stat : 20170 (strangenight2-m) D 20153 20155 20129 0 -1 4202560 414 0 0 0 3 2 0 0 25 0 32 0 4769925 1357041664 11442 268435456000 4194304 4580107 140735668462656 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=20155/tid=20171] ppid=20153 vsize=1325236 CPUtime=0.05 cores=0-31
/proc/20155/task/20171/stat : 20171 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 268 0 0 0 3 2 0 0 17 0 32 0 4769925 1357041664 11452 268435456000 4194304 4580107 140735668462656 18446744073709551615 258651060958 0 0 4096 2 18446604453176024544 0 0 -1 14 0 0 0
[pid=20155/tid=20172] ppid=20153 vsize=1325236 CPUtime=0.05 cores=0-31
/proc/20155/task/20172/stat : 20172 (strangenight2-m) D 20153 20155 20129 0 -1 4202560 446 0 0 0 3 2 0 0 17 0 32 0 4769925 1357041664 11454 268435456000 4194304 4580107 140735668462656 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=20155/tid=20173] ppid=20153 vsize=1325236 CPUtime=0.05 cores=0-31
/proc/20155/task/20173/stat : 20173 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 340 0 0 0 3 2 0 0 25 0 32 0 4769925 1357041664 11465 268435456000 4194304 4580107 140735668462656 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=20155/tid=20174] ppid=20153 vsize=1325236 CPUtime=0.05 cores=0-31
/proc/20155/task/20174/stat : 20174 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 378 0 0 0 3 2 0 0 17 0 32 0 4769925 1357041664 11512 268435456000 4194304 4580107 140735668462656 18446744073709551615 258651060958 0 0 4096 2 18446604495036603872 0 0 -1 17 0 0 0
[pid=20155/tid=20175] ppid=20153 vsize=1325236 CPUtime=0.05 cores=0-31
/proc/20155/task/20175/stat : 20175 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 419 0 0 0 3 2 0 0 17 0 32 0 4769925 1357041664 11512 268435456000 4194304 4580107 140735668462656 18446744073709551615 258651060958 0 0 4096 2 18446604493943373280 0 0 -1 18 0 0 0
[pid=20155/tid=20176] ppid=20153 vsize=1325236 CPUtime=0.05 cores=0-31
/proc/20155/task/20176/stat : 20176 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 381 0 0 0 3 2 0 0 17 0 32 0 4769925 1357041664 11520 268435456000 4194304 4580107 140735668462656 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=20155/tid=20177] ppid=20153 vsize=1325236 CPUtime=0.05 cores=0-31
/proc/20155/task/20177/stat : 20177 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 269 0 0 0 3 2 0 0 17 0 32 0 4769925 1357041664 11526 268435456000 4194304 4580107 140735668462656 18446744073709551615 258651060958 0 0 4096 2 18446604453346295264 0 0 -1 21 0 0 0
[pid=20155/tid=20178] ppid=20153 vsize=1325496 CPUtime=0.05 cores=0-31
/proc/20155/task/20178/stat : 20178 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 410 0 0 0 3 2 0 0 17 0 32 0 4769925 1357307904 11537 268435456000 4194304 4580107 140735668462656 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=20155/tid=20179] ppid=20153 vsize=1325496 CPUtime=0.05 cores=0-31
/proc/20155/task/20179/stat : 20179 (strangenight2-m) D 20153 20155 20129 0 -1 4202560 333 0 0 0 3 2 0 0 17 0 32 0 4769925 1357307904 11539 268435456000 4194304 4580107 140735668462656 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=20155/tid=20180] ppid=20153 vsize=1325496 CPUtime=0.05 cores=0-31
/proc/20155/task/20180/stat : 20180 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 285 0 0 0 3 2 0 0 25 0 32 0 4769925 1357307904 11541 268435456000 4194304 4580107 140735668462656 18446744073709551615 258651060958 0 0 4096 2 18446604506224524768 0 0 -1 25 0 0 0
[pid=20155/tid=20181] ppid=20153 vsize=1325496 CPUtime=0.05 cores=0-31
/proc/20155/task/20181/stat : 20181 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 290 0 0 0 3 2 0 0 17 0 32 0 4769925 1357307904 11542 268435456000 4194304 4580107 140735668462656 18446744073709551615 258651060958 0 0 4096 2 18446604480333184480 0 0 -1 26 0 0 0
[pid=20155/tid=20182] ppid=20153 vsize=1325496 CPUtime=0.05 cores=0-31
/proc/20155/task/20182/stat : 20182 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 327 0 0 0 3 2 0 0 17 0 32 0 4769925 1357307904 11561 268435456000 4194304 4580107 140735668462656 18446744073709551615 258651060958 0 0 4096 2 18446604494849416672 0 0 -1 23 0 0 0
[pid=20155/tid=20183] ppid=20153 vsize=1325496 CPUtime=0.04 cores=0-31
/proc/20155/task/20183/stat : 20183 (strangenight2-m) D 20153 20155 20129 0 -1 4202560 476 0 0 0 2 2 0 0 18 0 32 0 4769925 1357307904 11568 268435456000 4194304 4580107 140735668462656 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=20155/tid=20184] ppid=20153 vsize=1325496 CPUtime=0.03 cores=0-31
/proc/20155/task/20184/stat : 20184 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 407 0 0 0 1 2 0 0 17 0 32 0 4769925 1357307904 11579 268435456000 4194304 4580107 140735668462656 18446744073709551615 258651060958 0 0 4096 2 18446744071566930184 0 0 -1 16 0 0 0
[pid=20155/tid=20185] ppid=20153 vsize=1325496 CPUtime=0.02 cores=0-31
/proc/20155/task/20185/stat : 20185 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 382 0 0 0 0 2 0 0 17 0 32 0 4769925 1357307904 11619 268435456000 4194304 4580107 140735668462656 18446744073709551615 258651060958 0 0 4096 2 18446744071566930184 0 0 -1 27 0 0 0
[pid=20155/tid=20186] ppid=20153 vsize=1325496 CPUtime=0.02 cores=0-31
/proc/20155/task/20186/stat : 20186 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 273 0 0 0 0 2 0 0 17 0 32 0 4769925 1357307904 11627 268435456000 4194304 4580107 140735668462656 18446744073709551615 258651060958 0 0 4096 2 18446744071566932504 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 1324400
[startup+0.204233 s]
/proc/loadavg: 8.73 22.60 25.58 3/413 20155
/proc/meminfo: memFree=263617544/264257624 swapFree=67044744/67111528
[pid=20155] ppid=20153 vsize=1474204 CPUtime=2.74 cores=0-31
/proc/20155/stat : 20155 (strangenight2-m) R 20153 20155 20129 0 -1 4202496 24618 0 0 0 123 151 0 0 17 0 32 0 4769924 1509584896 22486 268435456000 4194304 4580107 140735668462656 18446744073709551615 4345288 0 0 4096 2 18446744073709551615 0 0 17 29 0 0 0
/proc/20155/statm: 368623 22497 333 95 0 363605 0
[pid=20155/tid=20156] ppid=20153 vsize=1474492 CPUtime=0.06 cores=0-31
/proc/20155/task/20156/stat : 20156 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 349 0 0 0 4 2 0 0 17 0 32 0 4769925 1509879808 22503 268435456000 4194304 4580107 140735668462656 18446744073709551615 258651060958 0 0 4096 2 18446744071566930184 0 0 -1 1 0 0 0
[pid=20155/tid=20157] ppid=20153 vsize=1474492 CPUtime=0.1 cores=0-31
/proc/20155/task/20157/stat : 20157 (strangenight2-m) D 20153 20155 20129 0 -1 4202560 1047 0 0 0 4 6 0 0 18 0 32 0 4769925 1509879808 22509 268435456000 4194304 4580107 140735668462656 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20155/tid=20158] ppid=20153 vsize=1474492 CPUtime=0.08 cores=0-31
/proc/20155/task/20158/stat : 20158 (strangenight2-m) D 20153 20155 20129 0 -1 4202560 696 0 0 0 3 5 0 0 17 0 32 0 4769925 1509879808 22513 268435456000 4194304 4580107 140735668462656 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=20155/tid=20159] ppid=20153 vsize=1474492 CPUtime=0.08 cores=0-31
/proc/20155/task/20159/stat : 20159 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 625 0 0 0 4 4 0 0 17 0 32 0 4769925 1509879808 22524 268435456000 4194304 4580107 140735668462656 18446744073709551615 258650653120 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20155/tid=20160] ppid=20153 vsize=1474492 CPUtime=0.08 cores=0-31
/proc/20155/task/20160/stat : 20160 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 902 0 0 0 4 4 0 0 17 0 32 0 4769925 1509879808 22533 268435456000 4194304 4580107 140735668462656 18446744073709551615 258651060958 0 0 4096 2 18446604495036603872 0 0 -1 2 0 0 0
[pid=20155/tid=20161] ppid=20153 vsize=1474780 CPUtime=0.09 cores=0-31
/proc/20155/task/20161/stat : 20161 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 904 0 0 0 4 5 0 0 17 0 32 0 4769925 1510174720 22541 268435456000 4194304 4580107 140735668462656 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=20155/tid=20162] ppid=20153 vsize=1474780 CPUtime=0.05 cores=0-31
/proc/20155/task/20162/stat : 20162 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 379 0 0 0 3 2 0 0 17 0 32 0 4769925 1510174720 22575 268435456000 4194304 4580107 140735668462656 18446744073709551615 258651060958 0 0 4096 2 18446744071566927784 0 0 -1 6 0 0 0
[pid=20155/tid=20163] ppid=20153 vsize=1474780 CPUtime=0.09 cores=0-31
/proc/20155/task/20163/stat : 20163 (strangenight2-m) D 20153 20155 20129 0 -1 4202560 933 0 0 0 4 5 0 0 18 0 32 0 4769925 1510174720 22575 268435456000 4194304 4580107 140735668462656 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=20155/tid=20164] ppid=20153 vsize=1474780 CPUtime=0.09 cores=0-31
/proc/20155/task/20164/stat : 20164 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 947 0 0 0 4 5 0 0 18 0 32 0 4769925 1510174720 22583 268435456000 4194304 4580107 140735668462656 18446744073709551615 4253879 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=20155/tid=20165] ppid=20153 vsize=1474780 CPUtime=0.07 cores=0-31
/proc/20155/task/20165/stat : 20165 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 603 0 0 0 3 4 0 0 17 0 32 0 4769925 1510174720 22594 268435456000 4194304 4580107 140735668462656 18446744073709551615 258651060958 0 0 4096 2 18446744071566930664 0 0 -1 12 0 0 0
[pid=20155/tid=20166] ppid=20153 vsize=1474780 CPUtime=0.07 cores=0-31
/proc/20155/task/20166/stat : 20166 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 692 0 0 0 3 4 0 0 17 0 32 0 4769925 1510174720 22594 268435456000 4194304 4580107 140735668462656 18446744073709551615 258651060958 0 0 4096 2 18446604480333184480 0 0 -1 8 0 0 0
[pid=20155/tid=20167] ppid=20153 vsize=1474780 CPUtime=0.08 cores=0-31
/proc/20155/task/20167/stat : 20167 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 821 0 0 0 4 4 0 0 17 0 32 0 4769925 1510174720 22602 268435456000 4194304 4580107 140735668462656 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=20155/tid=20168] ppid=20153 vsize=1474780 CPUtime=0.08 cores=0-31
/proc/20155/task/20168/stat : 20168 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 893 0 0 0 4 4 0 0 17 0 32 0 4769925 1510174720 22606 268435456000 4194304 4580107 140735668462656 18446744073709551615 258650653031 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=20155/tid=20169] ppid=20153 vsize=1474780 CPUtime=0.07 cores=0-31
/proc/20155/task/20169/stat : 20169 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 711 0 0 0 3 4 0 0 17 0 32 0 4769925 1510174720 22644 268435456000 4194304 4580107 140735668462656 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=20155/tid=20170] ppid=20153 vsize=1474780 CPUtime=0.09 cores=0-31
/proc/20155/task/20170/stat : 20170 (strangenight2-m) D 20153 20155 20129 0 -1 4202560 996 0 0 0 4 5 0 0 18 0 32 0 4769925 1510174720 22650 268435456000 4194304 4580107 140735668462656 18446744073709551615 258650653381 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=20155/tid=20171] ppid=20153 vsize=1474780 CPUtime=0.05 cores=0-31
/proc/20155/task/20171/stat : 20171 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 268 0 0 0 3 2 0 0 16 0 32 0 4769925 1510174720 22650 268435456000 4194304 4580107 140735668462656 18446744073709551615 258651060958 0 0 4096 2 18446744071566925864 0 0 -1 14 0 0 0
[pid=20155/tid=20172] ppid=20153 vsize=1474780 CPUtime=0.08 cores=0-31
################
# More data... #
################
[pid=20155/tid=20185] ppid=20153 vsize=8558912 CPUtime=496.17 cores=0-31
/proc/20155/task/20185/stat : 20185 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 93957 0 0 0 49308 309 0 0 25 0 32 0 4769925 8764325888 1597747 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604453176024544 0 0 -1 8 0 0 0
[pid=20155/tid=20186] ppid=20153 vsize=8558912 CPUtime=617.8 cores=0-31
/proc/20155/task/20186/stat : 20186 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 66156 0 0 0 61633 147 0 0 25 0 32 0 4769925 8764325888 1597747 268435456000 4194304 4580107 140735668462656 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 16686
Current children cumulated vsize (KiB) 8558912
[startup+627.201 s]
/proc/loadavg: 8.71 22.79 25.74 3/445 20203
/proc/meminfo: memFree=257214732/264257624 swapFree=67044744/67111528
[pid=20155] ppid=20153 vsize=8558912 CPUtime=16692.4 cores=0-31
/proc/20155/stat : 20155 (strangenight2-m) S 20153 20155 20129 0 -1 4202496 2801552 0 0 0 1660106 9136 0 0 25 0 32 0 4769924 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/20155/statm: 2139728 1597932 378 95 0 2134710 0
[pid=20155/tid=20156] ppid=20153 vsize=8558912 CPUtime=533.12 cores=0-31
/proc/20155/task/20156/stat : 20156 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 105435 0 0 0 53081 231 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604499083386336 0 0 -1 26 0 0 0
[pid=20155/tid=20157] ppid=20153 vsize=8558912 CPUtime=493.12 cores=0-31
/proc/20155/task/20157/stat : 20157 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 84626 0 0 0 48994 318 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604505294593504 0 0 -1 22 0 0 0
[pid=20155/tid=20158] ppid=20153 vsize=8558912 CPUtime=484.23 cores=0-31
/proc/20155/task/20158/stat : 20158 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 74377 0 0 0 48112 311 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604495036603872 0 0 -1 21 0 0 0
[pid=20155/tid=20159] ppid=20153 vsize=8558912 CPUtime=531.85 cores=0-31
/proc/20155/task/20159/stat : 20159 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 87025 0 0 0 52891 294 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604501377654240 0 0 -1 30 0 0 0
[pid=20155/tid=20160] ppid=20153 vsize=8558912 CPUtime=467.64 cores=0-31
/proc/20155/task/20160/stat : 20160 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 97174 0 0 0 46451 313 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446744071566930184 0 0 -1 3 0 0 0
[pid=20155/tid=20161] ppid=20153 vsize=8558912 CPUtime=506.09 cores=0-31
/proc/20155/task/20161/stat : 20161 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 80760 0 0 0 50296 313 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604494849416672 0 0 -1 16 0 0 0
[pid=20155/tid=20162] ppid=20153 vsize=8558912 CPUtime=543.01 cores=0-31
/proc/20155/task/20162/stat : 20162 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 68982 0 0 0 54040 261 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604468092493280 0 0 -1 13 0 0 0
[pid=20155/tid=20163] ppid=20153 vsize=8558912 CPUtime=545.77 cores=0-31
/proc/20155/task/20163/stat : 20163 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 83629 0 0 0 54327 250 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604460539452896 0 0 -1 28 0 0 0
[pid=20155/tid=20164] ppid=20153 vsize=8558912 CPUtime=513.44 cores=0-31
/proc/20155/task/20164/stat : 20164 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 94252 0 0 0 51030 314 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604476098764256 0 0 -1 19 0 0 0
[pid=20155/tid=20165] ppid=20153 vsize=8558912 CPUtime=535.92 cores=0-31
/proc/20155/task/20165/stat : 20165 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 74329 0 0 0 53294 298 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604504708382176 0 0 -1 23 0 0 0
[pid=20155/tid=20166] ppid=20153 vsize=8558912 CPUtime=551.96 cores=0-31
/proc/20155/task/20166/stat : 20166 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 76309 0 0 0 54952 244 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604499315867104 0 0 -1 29 0 0 0
[pid=20155/tid=20167] ppid=20153 vsize=8558912 CPUtime=499.95 cores=0-31
/proc/20155/task/20167/stat : 20167 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 86757 0 0 0 49679 316 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604480331652576 0 0 -1 15 0 0 0
[pid=20155/tid=20168] ppid=20153 vsize=8558912 CPUtime=513.41 cores=0-31
/proc/20155/task/20168/stat : 20168 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 90560 0 0 0 51058 283 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604462181580256 0 0 -1 9 0 0 0
[pid=20155/tid=20169] ppid=20153 vsize=8558912 CPUtime=514.27 cores=0-31
/proc/20155/task/20169/stat : 20169 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 90309 0 0 0 51118 309 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604502262406624 0 0 -1 27 0 0 0
[pid=20155/tid=20170] ppid=20153 vsize=8558912 CPUtime=534.49 cores=0-31
/proc/20155/task/20170/stat : 20170 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 84261 0 0 0 53161 288 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604473479134688 0 0 -1 27 0 0 0
[pid=20155/tid=20171] ppid=20153 vsize=8558912 CPUtime=509.6 cores=0-31
/proc/20155/task/20171/stat : 20171 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 85784 0 0 0 50749 211 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604462179270112 0 0 -1 23 0 0 0
[pid=20155/tid=20172] ppid=20153 vsize=8558912 CPUtime=544.28 cores=0-31
/proc/20155/task/20172/stat : 20172 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 67453 0 0 0 54174 254 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604493943373280 0 0 -1 10 0 0 0
[pid=20155/tid=20173] ppid=20153 vsize=8558912 CPUtime=527.14 cores=0-31
/proc/20155/task/20173/stat : 20173 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 79561 0 0 0 52448 266 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604450005736928 0 0 -1 16 0 0 0
[pid=20155/tid=20174] ppid=20153 vsize=8558912 CPUtime=501.74 cores=0-31
/proc/20155/task/20174/stat : 20174 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 96158 0 0 0 49863 311 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604489045458400 0 0 -1 14 0 0 0
[pid=20155/tid=20175] ppid=20153 vsize=8558912 CPUtime=483.28 cores=0-31
/proc/20155/task/20175/stat : 20175 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 86516 0 0 0 48002 326 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604457337101792 0 0 -1 3 0 0 0
[pid=20155/tid=20176] ppid=20153 vsize=8558912 CPUtime=527.6 cores=0-31
/proc/20155/task/20176/stat : 20176 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 101054 0 0 0 52499 261 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604506224524768 0 0 -1 25 0 0 0
[pid=20155/tid=20177] ppid=20153 vsize=8558912 CPUtime=515.8 cores=0-31
/proc/20155/task/20177/stat : 20177 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 80036 0 0 0 51291 289 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604477616487904 0 0 -1 11 0 0 0
[pid=20155/tid=20178] ppid=20153 vsize=8558912 CPUtime=524.48 cores=0-31
/proc/20155/task/20178/stat : 20178 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 92695 0 0 0 52117 331 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604501012110816 0 0 -1 29 0 0 0
[pid=20155/tid=20179] ppid=20153 vsize=8558912 CPUtime=608 cores=0-31
/proc/20155/task/20179/stat : 20179 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 93205 0 0 0 60470 330 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575446724 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=20155/tid=20180] ppid=20153 vsize=8558912 CPUtime=536.22 cores=0-31
/proc/20155/task/20180/stat : 20180 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 102749 0 0 0 53359 263 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604453346295264 0 0 -1 5 0 0 0
[pid=20155/tid=20181] ppid=20153 vsize=8558912 CPUtime=484.24 cores=0-31
/proc/20155/task/20181/stat : 20181 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 93799 0 0 0 48128 296 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604480333184480 0 0 -1 6 0 0 0
[pid=20155/tid=20182] ppid=20153 vsize=8558912 CPUtime=523.68 cores=0-31
/proc/20155/task/20182/stat : 20182 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 92455 0 0 0 52095 273 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604506226384352 0 0 -1 18 0 0 0
[pid=20155/tid=20183] ppid=20153 vsize=8558912 CPUtime=535.69 cores=0-31
/proc/20155/task/20183/stat : 20183 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 100416 0 0 0 53262 307 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604465880260064 0 0 -1 30 0 0 0
[pid=20155/tid=20184] ppid=20153 vsize=8558912 CPUtime=494.21 cores=0-31
/proc/20155/task/20184/stat : 20184 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 104263 0 0 0 49100 321 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604552234368480 0 0 -1 17 0 0 0
[pid=20155/tid=20185] ppid=20153 vsize=8558912 CPUtime=496.17 cores=0-31
/proc/20155/task/20185/stat : 20185 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 93957 0 0 0 49308 309 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604453176024544 0 0 -1 8 0 0 0
[pid=20155/tid=20186] ppid=20153 vsize=8558912 CPUtime=621 cores=0-31
/proc/20155/task/20186/stat : 20186 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 66341 0 0 0 61953 147 0 0 25 0 32 0 4769925 8764325888 1597932 268435456000 4194304 4580107 140735668462656 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 16692.4
Current children cumulated vsize (KiB) 8558912
[startup+628.001 s]
/proc/loadavg: 8.71 22.79 25.74 3/445 20203
/proc/meminfo: memFree=257214732/264257624 swapFree=67044744/67111528
[pid=20155] ppid=20153 vsize=8558912 CPUtime=16694 cores=0-31
/proc/20155/stat : 20155 (strangenight2-m) S 20153 20155 20129 0 -1 4202496 2801593 0 0 0 1660266 9136 0 0 25 0 32 0 4769924 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/20155/statm: 2139728 1597973 378 95 0 2134710 0
[pid=20155/tid=20156] ppid=20153 vsize=8558912 CPUtime=533.12 cores=0-31
/proc/20155/task/20156/stat : 20156 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 105435 0 0 0 53081 231 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604499083386336 0 0 -1 26 0 0 0
[pid=20155/tid=20157] ppid=20153 vsize=8558912 CPUtime=493.12 cores=0-31
/proc/20155/task/20157/stat : 20157 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 84626 0 0 0 48994 318 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604505294593504 0 0 -1 22 0 0 0
[pid=20155/tid=20158] ppid=20153 vsize=8558912 CPUtime=484.23 cores=0-31
/proc/20155/task/20158/stat : 20158 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 74377 0 0 0 48112 311 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604495036603872 0 0 -1 21 0 0 0
[pid=20155/tid=20159] ppid=20153 vsize=8558912 CPUtime=531.85 cores=0-31
/proc/20155/task/20159/stat : 20159 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 87025 0 0 0 52891 294 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604501377654240 0 0 -1 30 0 0 0
[pid=20155/tid=20160] ppid=20153 vsize=8558912 CPUtime=467.64 cores=0-31
/proc/20155/task/20160/stat : 20160 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 97174 0 0 0 46451 313 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446744071566930184 0 0 -1 3 0 0 0
[pid=20155/tid=20161] ppid=20153 vsize=8558912 CPUtime=506.09 cores=0-31
/proc/20155/task/20161/stat : 20161 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 80760 0 0 0 50296 313 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604494849416672 0 0 -1 16 0 0 0
[pid=20155/tid=20162] ppid=20153 vsize=8558912 CPUtime=543.01 cores=0-31
/proc/20155/task/20162/stat : 20162 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 68982 0 0 0 54040 261 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604468092493280 0 0 -1 13 0 0 0
[pid=20155/tid=20163] ppid=20153 vsize=8558912 CPUtime=545.77 cores=0-31
/proc/20155/task/20163/stat : 20163 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 83629 0 0 0 54327 250 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604460539452896 0 0 -1 28 0 0 0
[pid=20155/tid=20164] ppid=20153 vsize=8558912 CPUtime=513.44 cores=0-31
/proc/20155/task/20164/stat : 20164 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 94252 0 0 0 51030 314 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604476098764256 0 0 -1 19 0 0 0
[pid=20155/tid=20165] ppid=20153 vsize=8558912 CPUtime=535.92 cores=0-31
/proc/20155/task/20165/stat : 20165 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 74329 0 0 0 53294 298 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604504708382176 0 0 -1 23 0 0 0
[pid=20155/tid=20166] ppid=20153 vsize=8558912 CPUtime=551.96 cores=0-31
/proc/20155/task/20166/stat : 20166 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 76309 0 0 0 54952 244 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604499315867104 0 0 -1 29 0 0 0
[pid=20155/tid=20167] ppid=20153 vsize=8558912 CPUtime=499.95 cores=0-31
/proc/20155/task/20167/stat : 20167 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 86757 0 0 0 49679 316 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604480331652576 0 0 -1 15 0 0 0
[pid=20155/tid=20168] ppid=20153 vsize=8558912 CPUtime=513.41 cores=0-31
/proc/20155/task/20168/stat : 20168 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 90560 0 0 0 51058 283 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604462181580256 0 0 -1 9 0 0 0
[pid=20155/tid=20169] ppid=20153 vsize=8558912 CPUtime=514.27 cores=0-31
/proc/20155/task/20169/stat : 20169 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 90309 0 0 0 51118 309 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604502262406624 0 0 -1 27 0 0 0
[pid=20155/tid=20170] ppid=20153 vsize=8558912 CPUtime=534.49 cores=0-31
/proc/20155/task/20170/stat : 20170 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 84261 0 0 0 53161 288 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604473479134688 0 0 -1 27 0 0 0
[pid=20155/tid=20171] ppid=20153 vsize=8558912 CPUtime=509.6 cores=0-31
/proc/20155/task/20171/stat : 20171 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 85784 0 0 0 50749 211 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604462179270112 0 0 -1 23 0 0 0
[pid=20155/tid=20172] ppid=20153 vsize=8558912 CPUtime=544.28 cores=0-31
/proc/20155/task/20172/stat : 20172 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 67453 0 0 0 54174 254 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604493943373280 0 0 -1 10 0 0 0
[pid=20155/tid=20173] ppid=20153 vsize=8558912 CPUtime=527.14 cores=0-31
/proc/20155/task/20173/stat : 20173 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 79561 0 0 0 52448 266 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604450005736928 0 0 -1 16 0 0 0
[pid=20155/tid=20174] ppid=20153 vsize=8558912 CPUtime=501.74 cores=0-31
/proc/20155/task/20174/stat : 20174 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 96158 0 0 0 49863 311 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604489045458400 0 0 -1 14 0 0 0
[pid=20155/tid=20175] ppid=20153 vsize=8558912 CPUtime=483.28 cores=0-31
/proc/20155/task/20175/stat : 20175 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 86516 0 0 0 48002 326 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604457337101792 0 0 -1 3 0 0 0
[pid=20155/tid=20176] ppid=20153 vsize=8558912 CPUtime=527.6 cores=0-31
/proc/20155/task/20176/stat : 20176 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 101054 0 0 0 52499 261 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604506224524768 0 0 -1 25 0 0 0
[pid=20155/tid=20177] ppid=20153 vsize=8558912 CPUtime=515.8 cores=0-31
/proc/20155/task/20177/stat : 20177 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 80036 0 0 0 51291 289 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604477616487904 0 0 -1 11 0 0 0
[pid=20155/tid=20178] ppid=20153 vsize=8558912 CPUtime=524.48 cores=0-31
/proc/20155/task/20178/stat : 20178 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 92695 0 0 0 52117 331 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604501012110816 0 0 -1 29 0 0 0
[pid=20155/tid=20179] ppid=20153 vsize=8558912 CPUtime=608.8 cores=0-31
/proc/20155/task/20179/stat : 20179 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 93205 0 0 0 60550 330 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575446571 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=20155/tid=20180] ppid=20153 vsize=8558912 CPUtime=536.22 cores=0-31
/proc/20155/task/20180/stat : 20180 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 102749 0 0 0 53359 263 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604453346295264 0 0 -1 5 0 0 0
[pid=20155/tid=20181] ppid=20153 vsize=8558912 CPUtime=484.24 cores=0-31
/proc/20155/task/20181/stat : 20181 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 93799 0 0 0 48128 296 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604480333184480 0 0 -1 6 0 0 0
[pid=20155/tid=20182] ppid=20153 vsize=8558912 CPUtime=523.68 cores=0-31
/proc/20155/task/20182/stat : 20182 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 92455 0 0 0 52095 273 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604506226384352 0 0 -1 18 0 0 0
[pid=20155/tid=20183] ppid=20153 vsize=8558912 CPUtime=535.69 cores=0-31
/proc/20155/task/20183/stat : 20183 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 100416 0 0 0 53262 307 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604465880260064 0 0 -1 30 0 0 0
[pid=20155/tid=20184] ppid=20153 vsize=8558912 CPUtime=494.21 cores=0-31
/proc/20155/task/20184/stat : 20184 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 104263 0 0 0 49100 321 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604552234368480 0 0 -1 17 0 0 0
[pid=20155/tid=20185] ppid=20153 vsize=8558912 CPUtime=496.17 cores=0-31
/proc/20155/task/20185/stat : 20185 (strangenight2-m) S 20153 20155 20129 0 -1 4202560 93957 0 0 0 49308 309 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 47100575471156 0 0 4096 2 18446604453176024544 0 0 -1 8 0 0 0
[pid=20155/tid=20186] ppid=20153 vsize=8558912 CPUtime=621.8 cores=0-31
/proc/20155/task/20186/stat : 20186 (strangenight2-m) R 20153 20155 20129 0 -1 4202560 66382 0 0 0 62033 147 0 0 25 0 32 0 4769925 8764325888 1597973 268435456000 4194304 4580107 140735668462656 18446744073709551615 4222485 0 0 4096 2 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 16694
Current children cumulated vsize (KiB) 8558912
[startup+628.8 s]
/proc/loadavg: 8.17 22.44 25.61 3/445 20203
/proc/meminfo: memFree=257214484/264257624 swapFree=67044744/67111528
[pid=20155] ppid=20153 vsize=0 CPUtime=16695.2 cores=0-31
/proc/20155/stat : 20155 (strangenight2-m) Z 20153 20155 20129 0 -1 4203548 2801613 0 0 0 1660337 9180 0 0 18 0 2 0 4769924 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/20155/statm: 0 0 0 0 0 0 0
[pid=20155/tid=20173] ppid=20153 vsize=0 CPUtime=527.58 cores=0-31
/proc/20155/task/20173/stat : 20173 (strangenight2-m) R 20153 20155 20129 0 -1 4203588 79561 0 0 0 52448 310 0 0 18 0 2 0 4769925 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 16695.2
Current children cumulated vsize (KiB) 0
[startup+629.001 s]
/proc/loadavg: 8.17 22.44 25.61 3/445 20203
/proc/meminfo: memFree=257214484/264257624 swapFree=67044744/67111528
[pid=20155] ppid=20153 vsize=0 CPUtime=16695.4 cores=0-31
/proc/20155/stat : 20155 (strangenight2-m) Z 20153 20155 20129 0 -1 4203548 2801613 0 0 0 1660337 9200 0 0 18 0 2 0 4769924 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 12 0 0 0
/proc/20155/statm: 0 0 0 0 0 0 0
[pid=20155/tid=20173] ppid=20153 vsize=0 CPUtime=527.78 cores=0-31
/proc/20155/task/20173/stat : 20173 (strangenight2-m) R 20153 20155 20129 0 -1 4203588 79561 0 0 0 52448 330 0 0 18 0 2 0 4769925 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 16695.4
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 629.046
CPU time (s): 16695.4
CPU user time (s): 16603.4
CPU system time (s): 92.052
CPU usage (%): 2654.09
Max. virtual memory (cumulated for all children) (KiB): 9650052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16603.4
system time used= 92.052
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2801613
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= 4033189
involuntary context switches= 188804
runsolver used 3.34049 second user time and 13.9249 second system time
The end
Launcher Data
Begin job on node200 at 2011-05-30 22:40:40
IDJOB=3400797
IDBENCH=82501
IDSOLVER=1886
FILE ID=node200/3400797-1306788038
RUNJOBID= node200-1306788038-20143
PBS_JOBID= 13470328
Free space on /tmp= 61560 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/manthey/traffic/traffic_b_unsat.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400797-1306788038/watcher-3400797-1306788038 -o /tmp/evaluation-result-3400797-1306788038/solver-3400797-1306788038 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400797-1306788038.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 3dc443ddf213a09407d2a75925179735
RANDOM SEED=1314232446
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.042
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.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
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.12
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.042
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.042
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.04
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.042
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
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.09
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.042
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
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.05
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.042
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.14
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.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.11
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.042
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.12
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.042
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.02
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.042
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.08
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.042
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.06
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.042
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.10
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.042
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.07
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.042
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.13
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.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
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 : 3989.95
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.042
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.06
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.042
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.08
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.042
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.07
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.042
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.09
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.042
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
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.06
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.042
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.09
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.042
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.05
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.042
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 : 3996.76
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.042
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.042
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.042
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: 263617676 kB
Buffers: 60512 kB
Cached: 391960 kB
SwapCached: 29884 kB
Active: 135024 kB
Inactive: 349824 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263617676 kB
SwapTotal: 67111528 kB
SwapFree: 67044744 kB
Dirty: 23932 kB
Writeback: 0 kB
AnonPages: 28188 kB
Mapped: 8044 kB
Slab: 61212 kB
PageTables: 4408 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 189140 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= 61556 MiB
End job on node200 at 2011-05-30 22:51:09