Trace number 3400793
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_f_unknown.cnf |
MD5SUM | f03ed12a281977a642336980ec847847 |
Bench Category | APPLICATION (applications instances) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 3137.1 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 33320 |
Number of clauses | 763101 |
Sum of the clauses size | 2854525 |
Maximum clause length | 4 |
Minimum clause length | 2 |
Number of clauses of size 1 | 0 |
Number of clauses of size 2 | 52598 |
Number of clauses of size 3 | 92683 |
Number of clauses of size 4 | 617820 |
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.01 c Using 32 threads
0.00/0.07 c This is CryptoMiniSat 3.0.0
0.00/0.07 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07 c Reading file 'HOME/instance-3400793-1306786638.cnf'
2.36/0.09 c -- header says num vars: 33320
2.36/0.09 c -- header says num clauses: 763101
68.59/5.10 c -- clauses added: 0 learnts, 763101 normals, 0 xors
68.59/5.10 c -- vars added 33320
68.59/5.10 c Parsing time: 0.86 s
68.59/5.10 c N st 0 0 33320 710503 52598 0 2854525 0 no data no data
79.48/5.84 c asymm cl-useful: 39/721/710503 lits-rem:39 time: 0.31
245.69/16.31 c Flit: 266 Blit: 32 bXBeca: 0 bXProp: 286 Bins: 0 BRemL: 0 BRemN: 0 P: 187.0M T: 4.37
245.69/16.37 c Cleaning up after failed var search: 0.06 s
248.03/16.46 c Replacing 286 vars Replaced 12679 lits Time: 0.08 s
412.65/28.83 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
412.65/28.86 c bin-w-bin subsume rem 6755 bins time: 0.03 s
419.05/29.04 c subs with bin: 4780 lits-rem: 2872 v-fix: 0 time: 0.18 s
422.19/29.14 c Subs w/ non-existent bins: 2247 l-rem: 1025 v-fix: 0 done: 2517 time: 0.09 s
431.76/29.40 c Removed useless bin: 9488 fixed: 0 props: 18.50M time: 0.24 s
504.07/31.93 c lits-rem: 779 cl-subs: 56923 v-elim: 2442 v-fix: 0 time: 2.38 s
506.24/32.03 c Finding binary XORs T: 0.10 s found: 44
509.44/32.11 c Replacing 44 vars Replaced 2621 lits Time: 0.08 s
531.79/32.90 c Finding non-binary XORs: 0.71 s (found: 0, avg size: nan)
531.79/32.90 c calculated reachability. Time: 0.04
535.61/32.97 c Calc default polars - time: 0.07 s pos: 9841 undec: 13641 neg: 9838
535.61/32.97 c =========================================================================================
535.61/32.97 c types(t): F = full restart, N = normal restart
535.61/32.97 c types(t): S = simplification begin/end, E = solution found
535.61/32.97 c restart types(rt): st = static, dy = dynamic
535.61/32.97 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
535.61/32.97 c B st 0 0 30075 627098 36068 0 2503874 0 no data no data
586.12/34.60 c N dy 15 4062 30075 627098 36076 4005 2503873 46946 6.98 7.37
618.08/35.51 c Finding binary XORs T: 0.08 s found: 0
650.05/36.52 c N dy 35 8161 30073 626878 43575 7077 2503125 100609 6.89 8.27
704.39/38.22 c N dy 61 12163 30073 626878 43763 11053 2503125 151348 6.98 7.37
755.52/39.82 c N dy 80 16316 30071 626878 43765 15176 2503125 206026 7.03 7.41
809.84/41.50 c N dy 92 20514 30068 626878 43854 9921 2503125 113367 6.94 7.32
867.28/43.31 c N dy 117 24702 30068 626878 43854 14073 2503125 163763 7.00 7.45
870.48/43.42 c F st 119 25000 30067 626878 43895 14368 2503125 168308 7.00 no data
880.06/43.71 c Found part 840 vars: 952 clauses: 6776 lits size: 23749
880.06/43.71 c Found part 874 vars: 810 clauses: 11035 lits size: 40572
880.06/43.71 c Found part 1056 vars: 5434 clauses: 34518 lits size: 127657
880.06/43.71 c Found part 1226 vars: 4871 clauses: 193716 lits size: 739946
880.06/43.71 c Found part 1281 vars: 1069 clauses: 8829 lits size: 31178
880.06/43.71 c Found part 1299 vars: 191 clauses: 476 lits size: 1318
880.06/43.71 c Found part 1301 vars: 15602 clauses: 400455 lits size: 1513509
880.06/43.71 c Found part 1309 vars: 833 clauses: 5234 lits size: 18300
880.06/43.71 c Found part 1310 vars: 305 clauses: 965 lits size: 2994
880.06/43.71 c Found parts: 9 time: 0.29 s
880.06/43.71 c Solving part 1299
880.06/43.77 c N st 0 0 191 221 280 0 1318 50 no data no data
880.06/43.77 c asymm cl-useful: 27/221/221 lits-rem:27 time: 0.00
880.06/43.77 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
880.06/43.78 c Finding binary XORs T: 0.00 s found: 0
880.06/43.78 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
880.06/43.78 c calculated reachability. Time: 0.00
880.06/43.78 c Calc default polars - time: 0.00 s pos: 69 undec: 33163 neg: 88
880.06/43.78 c =========================================================================================
880.06/43.78 c types(t): F = full restart, N = normal restart
880.06/43.78 c types(t): S = simplification begin/end, E = solution found
880.06/43.78 c restart types(rt): st = static, dy = dynamic
880.06/43.78 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
880.06/43.78 c B st 0 0 191 221 280 0 1291 50 no data no data
880.06/43.78 c E st 1 0 0 221 280 0 1291 50 no data no data
880.06/43.78 c Verified 221 clauses.
880.06/43.78 c Verified 221 clauses.
880.06/43.78 c Solved part
880.06/43.78 c =========================================================================================
880.06/43.78 c Solving part 1310
883.24/43.84 c N st 0 0 305 606 483 0 2994 248 no data no data
883.24/43.85 c asymm cl-useful: 84/606/606 lits-rem:131 time: 0.01
883.24/43.86 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01
883.24/43.86 c Finding binary XORs T: 0.00 s found: 0
883.24/43.87 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
883.24/43.87 c calculated reachability. Time: 0.00
883.24/43.87 c Calc default polars - time: 0.00 s pos: 135 undec: 33051 neg: 134
883.24/43.87 c =========================================================================================
883.24/43.87 c types(t): F = full restart, N = normal restart
883.24/43.87 c types(t): S = simplification begin/end, E = solution found
883.24/43.87 c restart types(rt): st = static, dy = dynamic
883.24/43.87 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
883.24/43.87 c B st 0 0 305 603 486 0 2869 248 no data no data
883.24/43.87 c E st 1 0 0 603 486 0 2869 248 no data no data
883.24/43.87 c Verified 603 clauses.
883.24/43.87 c Verified 603 clauses.
883.24/43.87 c Solved part
883.24/43.87 c =========================================================================================
883.24/43.87 c Solving part 874
887.05/43.94 c N st 0 0 810 10011 1943 0 40572 1838 no data no data
899.19/44.32 c asymm cl-useful: 704/4064/10011 lits-rem:749 time: 0.38
899.19/44.40 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 34 Bins: 0 BRemL: 0 BRemN: 0 P: 2.7M T: 0.08
902.38/44.40 c Finding binary XORs T: 0.00 s found: 4
902.38/44.40 c Replacing 38 vars Replaced 3152 lits Time: 0.00 s
902.38/44.41 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
902.38/44.41 c calculated reachability. Time: 0.00
902.38/44.41 c Calc default polars - time: 0.00 s pos: 305 undec: 32752 neg: 263
902.38/44.41 c =========================================================================================
902.38/44.41 c types(t): F = full restart, N = normal restart
902.38/44.41 c types(t): S = simplification begin/end, E = solution found
902.38/44.41 c restart types(rt): st = static, dy = dynamic
902.38/44.41 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
902.38/44.41 c B st 0 0 772 9324 1916 0 37135 1834 no data no data
902.38/44.41 c E st 1 0 0 9324 1916 0 37135 1834 no data no data
902.38/44.41 c Verified 9324 clauses.
902.38/44.41 c Verified 9324 clauses.
902.38/44.41 c Solved part
902.38/44.41 c =========================================================================================
902.38/44.42 c Solving part 1309
902.38/44.48 c N st 0 0 833 4250 1058 0 18300 148 no data no data
905.51/44.57 c asymm cl-useful: 58/4250/4250 lits-rem:58 time: 0.09
905.51/44.59 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.03
905.51/44.60 c Finding binary XORs T: 0.00 s found: 0
908.52/44.60 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
908.52/44.60 c calculated reachability. Time: 0.00
908.52/44.60 c Calc default polars - time: 0.00 s pos: 276 undec: 32785 neg: 259
908.52/44.60 c =========================================================================================
908.52/44.60 c types(t): F = full restart, N = normal restart
908.52/44.60 c types(t): S = simplification begin/end, E = solution found
908.52/44.60 c restart types(rt): st = static, dy = dynamic
908.52/44.60 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
908.52/44.60 c B st 0 0 833 4250 1058 0 18242 148 no data no data
908.52/44.60 c E st 1 0 0 4250 1058 0 18242 148 no data no data
908.52/44.60 c Verified 4250 clauses.
908.52/44.60 c Verified 4250 clauses.
908.52/44.60 c Solved part
908.52/44.60 c =========================================================================================
908.52/44.61 c Solving part 840
908.52/44.67 c N st 0 0 952 5549 1324 0 23749 194 no data no data
914.85/44.81 c asymm cl-useful: 135/5549/5549 lits-rem:135 time: 0.14
914.85/44.85 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.6M T: 0.04
914.85/44.85 c Finding binary XORs T: 0.00 s found: 0
914.85/44.86 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
914.85/44.86 c calculated reachability. Time: 0.00
914.85/44.86 c Calc default polars - time: 0.00 s pos: 356 undec: 32598 neg: 366
914.85/44.86 c =========================================================================================
914.85/44.86 c types(t): F = full restart, N = normal restart
914.85/44.86 c types(t): S = simplification begin/end, E = solution found
914.85/44.86 c restart types(rt): st = static, dy = dynamic
914.85/44.86 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
914.85/44.86 c B st 0 0 952 5549 1324 0 23614 194 no data no data
914.85/44.86 c E st 1 0 0 5549 1324 0 23614 194 no data no data
914.85/44.86 c Verified 5549 clauses.
914.85/44.86 c Verified 5549 clauses.
914.85/44.86 c Solved part
914.85/44.86 c =========================================================================================
914.85/44.86 c Solving part 1281
918.02/44.93 c N st 0 0 1069 7373 1661 0 31178 410 no data no data
925.04/45.16 c asymm cl-useful: 124/7373/7373 lits-rem:124 time: 0.23
927.52/45.21 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.0M T: 0.05
927.52/45.21 c Finding binary XORs T: 0.00 s found: 0
927.52/45.22 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
927.52/45.22 c calculated reachability. Time: 0.00
927.52/45.22 c Calc default polars - time: 0.00 s pos: 438 undec: 32424 neg: 458
927.52/45.22 c =========================================================================================
927.52/45.22 c types(t): F = full restart, N = normal restart
927.52/45.22 c types(t): S = simplification begin/end, E = solution found
927.52/45.22 c restart types(rt): st = static, dy = dynamic
927.52/45.22 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
927.52/45.22 c B st 0 0 1069 7373 1661 0 31054 410 no data no data
927.52/45.22 c E st 1 0 0 7373 1661 0 31054 410 no data no data
927.52/45.22 c Verified 7373 clauses.
927.52/45.22 c Verified 7373 clauses.
927.52/45.22 c Solved part
927.52/45.22 c =========================================================================================
927.52/45.22 c Solving part 1226
933.90/45.48 c N st 0 0 4871 187546 7705 11947 739946 129911 no data no data
937.09/45.58 c asymm cl-useful: 3/343/187546 lits-rem:3 time: 0.10
960.07/46.28 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 0 BRemL: 0 BRemN: 0 P: 75.7M T: 0.69
960.07/46.29 c Finding binary XORs T: 0.01 s found: 0
962.62/46.31 c Replacing 1 vars Replaced 415 lits Time: 0.01 s
965.82/46.42 c Finding non-binary XORs: 0.10 s (found: 0, avg size: nan)
965.82/46.42 c calculated reachability. Time: 0.00
965.82/46.43 c Calc default polars - time: 0.01 s pos: 1537 undec: 30199 neg: 1584
965.82/46.43 c =========================================================================================
965.82/46.43 c types(t): F = full restart, N = normal restart
965.82/46.43 c types(t): S = simplification begin/end, E = solution found
965.82/46.43 c restart types(rt): st = static, dy = dynamic
965.82/46.43 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
965.82/46.43 c B st 0 0 4870 187546 7703 11947 739941 129909 no data no data
1016.97/48.08 c N dy 20 4214 4870 187546 7708 16102 739941 181073 6.44 6.93
1071.31/49.73 c N dy 42 8345 4869 187546 7714 20194 739941 231882 6.50 6.88
1122.43/51.35 c N dy 60 12451 4869 187546 7720 24277 739941 283843 6.50 7.06
1179.95/53.12 c N dy 86 16736 4869 187546 7725 28528 739941 338038 6.66 7.02
1234.30/54.85 c N dy 114 20924 4868 187546 7734 16796 739941 151932 6.76 7.13
1288.64/56.53 c F st 137 25000 4868 187546 7738 20840 739940 205204 6.82 no data
1288.64/56.53 c N st 137 25000 4868 187546 7738 20840 739940 205204 6.82 no data
1343.61/58.30 c N dy 143 30192 4868 187546 7740 25992 739940 278483 6.82 no data
1403.73/60.14 c N dy 159 34465 4866 187546 7766 30177 739939 327359 6.76 7.18
1461.26/61.95 c N dy 184 38500 4866 187546 7769 34176 739939 379264 6.83 7.22
1531.58/64.13 c N dy 208 42787 4866 187546 7776 20103 739939 159526 6.87 7.27
1585.94/65.91 c N dy 229 46825 4866 187546 7779 24114 739939 211405 6.89 7.40
1608.31/66.59 c Finding binary XORs T: 0.01 s found: 0
1649.86/67.87 c N dy 246 51106 4866 186965 7608 24822 737598 237755 6.88 7.30
1713.80/69.84 c N dy 265 55467 4864 186965 7619 29145 737598 296771 6.88 7.28
1784.12/72.03 c N dy 285 59821 4864 186965 7622 33470 737598 354421 6.87 7.27
1844.85/73.99 c N dy 299 64224 4864 186965 7629 19524 737598 149261 6.85 7.28
1906.19/75.86 c N dy 319 68432 4864 186965 7633 23706 737598 205293 6.86 7.30
1969.52/77.82 c N dy 349 72864 4864 186965 7638 28106 737598 267674 6.90 9.43
2036.65/79.94 c N dy 380 77601 4864 186965 7643 32810 737598 336082 6.94 7.31
2106.95/82.17 c N dy 400 82567 4863 186965 7653 37726 737598 402281 6.93 8.12
2177.28/84.39 c F st 419 87501 4861 186965 7667 22058 737598 163706 6.92 no data
2187.50/84.66 c N st 421 88128 4861 186965 7668 22678 737597 173082 6.92 no data
2269.97/87.23 c N dy 434 94015 4861 186965 7669 28531 737597 256659 6.93 7.33
2356.29/89.96 c N dy 472 100249 4860 186965 7678 34717 737597 344946 6.96 7.34
2372.26/90.45 c Finding binary XORs T: 0.01 s found: 0
2445.78/92.71 c N dy 502 106708 4859 185839 7529 36393 733080 395194 6.98 7.78
2551.27/96.02 c N dy 548 113858 4858 185839 7545 23656 733080 184958 7.02 7.50
2656.75/99.37 c N dy 602 121166 4858 185839 7546 30923 733080 291765 7.08 8.30
2778.22/103.12 c N dy 631 129039 4858 185839 7556 38735 733080 400862 7.07 7.46
2896.49/106.89 c N dy 680 137274 4857 185839 7565 24589 733080 176608 7.09 8.46
3031.35/111.09 c N dy 732 146065 4857 185839 7573 33300 733080 299166 7.12 7.51
3190.55/116.08 c N dy 788 155882 4856 185839 7583 43045 733080 436216 7.14 7.74
3359.98/121.31 c N dy 858 165976 4856 185839 7589 29003 733080 221094 7.18 7.59
3523.61/126.45 c N dy 917 176757 4855 185839 7596 39718 733079 381983 7.20 7.59
3561.97/127.65 c Finding binary XORs T: 0.01 s found: 0
3714.81/132.49 c N dy 966 188373 4853 184854 7473 23265 729239 147428 7.19 7.64
3890.60/137.94 c N dy 1032 200435 4851 184854 7492 35219 729239 315009 7.20 7.59
4089.41/144.15 c N dy 1095 213322 4850 184854 7501 48025 729239 505218 7.21 7.65
4325.33/151.53 c N dy 1183 227171 4849 184854 7518 36446 729238 316347 7.25 7.65
4558.69/158.84 c N dy 1275 241697 4847 184854 7532 50875 729238 533061 7.28 8.76
4593.85/159.97 c Finding binary XORs T: 0.01 s found: 1
4804.79/166.57 c N dy 1376 257194 4847 183610 7401 36501 724300 327526 7.31 7.76
5060.53/174.50 c N dy 1479 273671 4846 183610 7415 52857 724300 576891 7.34 7.92
5335.44/183.17 c N dy 1573 291175 4844 183610 7440 43156 724300 394891 7.36 7.99
5619.92/192.02 c F st 1676 306250 4844 183610 7446 29200 724300 168121 7.39 no data
5699.82/194.56 c N dy 1682 311446 4844 183610 7447 34369 724300 252439 7.39 no data
6058.46/205.74 c N dy 1812 331513 4843 183610 7456 54326 724300 559144 7.42 7.89
6406.86/216.68 c N dy 1935 351845 4842 183610 7467 44153 724300 379887 7.46 8.05
6767.45/227.91 c Finding binary XORs T: 0.01 s found: 3
6773.84/228.14 c N dy 2058 372131 4842 182923 7351 31640 721513 185839 7.48 7.89
7125.46/239.11 c N dy 2159 392242 4842 182923 7363 51605 721513 483705 7.50 7.95
7467.51/249.83 c N dy 2278 412916 4842 182923 7372 40025 721513 300319 7.52 8.01
7803.13/260.34 c N dy 2402 433221 4842 182923 7372 60214 721512 619317 7.54 7.96
8157.96/271.41 c N dy 2534 453238 4842 182923 7378 46662 721512 393623 7.57 8.63
8522.35/282.85 c N dy 2655 473338 4842 182923 7388 66646 721512 703927 7.59 10.04
8861.18/293.41 c N dy 2776 493409 4842 182923 7396 51972 721511 466762 7.61 9.46
9241.58/305.35 c N dy 2893 513440 4842 182923 7410 36169 721511 198926 7.62 8.09
9577.18/315.87 c N dy 3007 533625 4842 182923 7414 56239 721511 519190 7.63 8.04
9682.67/319.17 c Finding binary XORs T: 0.01 s found: 7
9935.19/327.08 c N dy 3104 553676 4833 180887 7279 38768 713032 238067 7.64 8.14
10264.42/337.36 c N dy 3204 573709 4833 180887 7284 58694 713032 564131 7.64 8.11
10638.43/349.03 c N dy 3332 593754 4833 180887 7291 41197 713032 263208 7.66 8.09
10990.05/360.04 c N dy 3451 614080 4833 180887 7300 61419 713032 592986 7.67 8.17
11380.00/372.22 c N dy 3562 634100 4821 180887 7320 42922 713032 277722 7.68 8.16
11751.41/383.87 c N dy 3667 654450 4815 180887 7337 63153 713032 609940 7.68 8.14
11875.49/387.73 c Finding binary XORs T: 0.01 s found: 13
12121.59/395.47 c N dy 3767 675122 4813 176908 7139 43280 696821 278428 7.68 8.09
12489.84/406.93 c N dy 3862 695196 4808 176908 7169 63210 696821 609740 7.68 9.27
12853.62/418.32 c N dy 3981 715265 4808 176908 7180 43494 696819 259216 7.69 9.34
13202.02/429.28 c N dy 4081 735310 4808 176908 7194 63409 696819 590663 7.69 8.10
13588.81/441.31 c N dy 4169 755356 4808 176908 7201 83368 696819 946837 7.69 8.62
13671.93/443.94 c Finding binary XORs T: 0.01 s found: 10
13934.65/452.18 c N dy 4266 775433 4802 174846 7157 61062 688424 550312 7.69 8.15
14304.81/463.71 c N dy 4360 795435 4802 174846 7168 80948 688424 908824 7.70 9.67
14650.04/474.54 c N dy 4471 815639 4802 174846 7179 60236 688423 516200 7.70 8.11
15033.61/486.54 c N dy 4554 836537 4764 174846 7222 80969 688423 865324 7.69 8.12
15062.37/487.48 c Finding binary XORs T: 0.01 s found: 14
15065.57/487.54 c Replacing 48 vars Replaced 36011 lits Time: 0.06 s
15351.14/496.83 c N dy 4625 856586 4655 147941 7442 47026 583380 386837 7.69 8.11
15424.97/499.36 c Finding binary XORs T: 0.01 s found: 43
15467.91/500.87 c E dy 4653 866067 4455 112902 6941 32975 444965 287719 7.68 5.49
16793.95/616.54 c Following stats are for *FIRST FINISHED THREAD ONLY*
16793.95/616.54 c num threads : 32
16793.95/616.54 c restarts : 107
16793.95/616.54 c dynamic restarts : 101
16793.95/616.54 c static restarts : 6
16793.95/616.54 c full restarts : 0
16793.95/616.54 c total simplify time : 0.15
16793.95/616.54 c learnts DL2 : 0
16793.95/616.54 c learnts size 2 : 66818
16793.95/616.54 c learnts size 1 : 480 (1.44 % of vars)
16793.95/616.54 c filedLit time : 4.52 (0.76 % time)
16793.95/616.54 c v-elim SatELite : 2442 (7.33 % vars)
16793.95/616.54 c SatELite time : 1.26 (0.21 % time)
16793.95/616.54 c v-elim xor : 0 (0.00 % vars)
16793.95/616.54 c xor elim time : 0.00 (0.00 % time)
16793.95/616.54 c num binary xor trees : 22
16793.95/616.54 c binxor trees' crown : 330 (15.00 leafs/tree)
16793.95/616.54 c bin xor find time : 0.17
16793.95/616.54 c OTF clause improved : 223 (0.01 clauses/conflict)
16793.95/616.54 c OTF impr. size diff : 329 (1.48 lits/clause)
16793.95/616.54 c OTF cl watch-shrink : 16445 (0.66 clauses/conflict)
16793.95/616.54 c OTF cl watch-sh-lit : 39328 (2.39 lits/clause)
16793.95/616.54 c tried to recurMin cls : 4932 (19.73 % of conflicts)
16793.95/616.54 c updated cache : 0 (0.00 lits/tried recurMin)
16793.95/616.54 c unit cls recevied : 6 (1.25 % of units)
16793.95/616.54 c unit cls sent : 0 (0.00 % of units)
16793.95/616.54 c bin cls recevied : 8506
16793.95/616.54 c bin cls sent : 18
16793.95/616.54 c clauses over max glue : 0 (0.00 % of all clauses)
16793.95/616.54 c conflicts : 25001 (42.08 / sec)
16793.95/616.54 c decisions : 30860 (0.00 % random)
16793.95/616.54 c bogo-props : 1343726640 (2261573.35 / sec)
16793.95/616.54 c conflict literals : 310515 (55.98 % deleted)
16793.95/616.54 c Memory used : 8884.20 MB
16793.95/616.54 c single-thread CPU time : 594.16 s
16793.95/616.54 c all-threads sum CPU time : 16704.32 s
16793.95/616.54 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-3400793-1306786638/watcher-3400793-1306786638 -o /tmp/evaluation-result-3400793-1306786638/solver-3400793-1306786638 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400793-1306786638.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: 11.46 24.56 27.17 1/413 19838
/proc/meminfo: memFree=263649644/264257624 swapFree=67044744/67111528
[pid=19838] ppid=19836 vsize=338000 CPUtime=0.83 cores=0-31
/proc/19838/stat : 19838 (strangenight2-m) R 19836 19838 19812 0 -1 4202496 467 0 0 0 83 0 0 0 22 0 32 0 4629922 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632851 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/19838/statm: 84500 407 300 95 0 79482 0
[pid=19838/tid=19839] ppid=19836 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19838/task/19839/stat : 19839 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 4 0 0 0 3 0 0 0 23 0 32 0 4629922 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632857 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19838/tid=19840] ppid=19836 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19838/task/19840/stat : 19840 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 4629922 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632851 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19838/tid=19841] ppid=19836 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19838/task/19841/stat : 19841 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 1 0 0 0 3 0 0 0 19 0 32 0 4629922 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632857 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=19838/tid=19842] ppid=19836 vsize=338000 CPUtime=0 cores=0-31
/proc/19838/task/19842/stat : 19842 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 32 0 4629922 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592633264 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=19838/tid=19843] ppid=19836 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19838/task/19843/stat : 19843 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 4629922 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632857 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19838/tid=19844] ppid=19836 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19838/task/19844/stat : 19844 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 4629922 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632857 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19838/tid=19845] ppid=19836 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19838/task/19845/stat : 19845 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 4629922 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632857 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19838/tid=19846] ppid=19836 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19838/task/19846/stat : 19846 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 4629922 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632851 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=19838/tid=19847] ppid=19836 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19838/task/19847/stat : 19847 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 4629922 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632851 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=19838/tid=19848] ppid=19836 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19838/task/19848/stat : 19848 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 4629922 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632851 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=19838/tid=19849] ppid=19836 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19838/task/19849/stat : 19849 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 4629922 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632857 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19838/tid=19850] ppid=19836 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19838/task/19850/stat : 19850 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 1 0 0 0 3 0 0 0 21 0 32 0 4629922 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632857 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=19838/tid=19851] ppid=19836 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19838/task/19851/stat : 19851 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 4629922 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632857 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=19838/tid=19852] ppid=19836 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19838/task/19852/stat : 19852 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 4629922 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632857 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=19838/tid=19853] ppid=19836 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19838/task/19853/stat : 19853 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 4629922 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632857 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=19838/tid=19854] ppid=19836 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19838/task/19854/stat : 19854 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 1 0 0 0 3 0 0 0 21 0 32 0 4629922 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632851 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19838/tid=19855] ppid=19836 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19838/task/19855/stat : 19855 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 1 0 0 0 3 0 0 0 21 0 32 0 4629922 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632857 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=19838/tid=19856] ppid=19836 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19838/task/19856/stat : 19856 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 1 0 0 0 3 0 0 0 21 0 32 0 4629922 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632848 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=19838/tid=19857] ppid=19836 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19838/task/19857/stat : 19857 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 4629923 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632861 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19838/tid=19858] ppid=19836 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19838/task/19858/stat : 19858 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 4629923 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632851 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=19838/tid=19859] ppid=19836 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19838/task/19859/stat : 19859 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 4629923 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632848 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=19838/tid=19860] ppid=19836 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19838/task/19860/stat : 19860 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 4629923 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632855 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=19838/tid=19861] ppid=19836 vsize=338000 CPUtime=0 cores=0-31
/proc/19838/task/19861/stat : 19861 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 32 0 4629923 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632851 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=19838/tid=19862] ppid=19836 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19838/task/19862/stat : 19862 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 4629923 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632857 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=19838/tid=19863] ppid=19836 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19838/task/19863/stat : 19863 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 4629923 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632857 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=19838/tid=19864] ppid=19836 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19838/task/19864/stat : 19864 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 4629923 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632857 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=19838/tid=19865] ppid=19836 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19838/task/19865/stat : 19865 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 4629923 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632855 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=19838/tid=19866] ppid=19836 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19838/task/19866/stat : 19866 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 4629923 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632861 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=19838/tid=19867] ppid=19836 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19838/task/19867/stat : 19867 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 4629923 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632857 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=19838/tid=19868] ppid=19836 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19838/task/19868/stat : 19868 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 4629923 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632861 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=19838/tid=19869] ppid=19836 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19838/task/19869/stat : 19869 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 4629923 346112000 407 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632857 0 0 4096 2 0 0 0 -1 27 0 0 0
[startup+0.091684 s]
/proc/loadavg: 11.46 24.56 27.17 1/413 19838
/proc/meminfo: memFree=263649644/264257624 swapFree=67044744/67111528
[pid=19838] ppid=19836 vsize=732436 CPUtime=2.36 cores=0-31
/proc/19838/stat : 19838 (strangenight2-m) D 19836 19838 19812 0 -1 4202496 7619 0 0 0 173 63 0 0 23 0 32 0 4629922 750014464 7507 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/19838/statm: 183109 7577 331 95 0 178091 0
[pid=19838/tid=19839] ppid=19836 vsize=732436 CPUtime=0.08 cores=0-31
/proc/19838/task/19839/stat : 19839 (strangenight2-m) D 19836 19838 19812 0 -1 4202560 215 0 0 0 6 2 0 0 24 0 32 0 4629922 750014464 7588 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19838/tid=19840] ppid=19836 vsize=732436 CPUtime=0.08 cores=0-31
/proc/19838/task/19840/stat : 19840 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 266 0 0 0 6 2 0 0 18 0 32 0 4629922 750014464 7638 268435456000 4194304 4580107 140735183635232 18446744073709551615 258651060958 0 0 4096 2 18446744071566932784 0 0 -1 2 0 0 0
[pid=19838/tid=19841] ppid=19836 vsize=732436 CPUtime=0.06 cores=0-31
/proc/19838/task/19841/stat : 19841 (strangenight2-m) D 19836 19838 19812 0 -1 4202560 209 0 0 0 5 1 0 0 18 0 32 0 4629922 750014464 7658 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=19838/tid=19842] ppid=19836 vsize=732436 CPUtime=0.02 cores=0-31
/proc/19838/task/19842/stat : 19842 (strangenight2-m) D 19836 19838 19812 0 -1 4202560 233 0 0 0 0 2 0 0 19 0 32 0 4629922 750014464 7686 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=19838/tid=19843] ppid=19836 vsize=732436 CPUtime=0.07 cores=0-31
/proc/19838/task/19843/stat : 19843 (strangenight2-m) D 19836 19838 19812 0 -1 4202560 201 0 0 0 6 1 0 0 21 0 32 0 4629922 750014464 7686 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19838/tid=19844] ppid=19836 vsize=732436 CPUtime=0.08 cores=0-31
/proc/19838/task/19844/stat : 19844 (strangenight2-m) D 19836 19838 19812 0 -1 4202560 283 0 0 0 6 2 0 0 18 0 32 0 4629922 750014464 7703 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19838/tid=19845] ppid=19836 vsize=732436 CPUtime=0.08 cores=0-31
/proc/19838/task/19845/stat : 19845 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 233 0 0 0 6 2 0 0 21 0 32 0 4629922 750014464 7758 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19838/tid=19846] ppid=19836 vsize=732436 CPUtime=0.07 cores=0-31
/proc/19838/task/19846/stat : 19846 (strangenight2-m) D 19836 19838 19812 0 -1 4202560 213 0 0 0 5 2 0 0 21 0 32 0 4629922 750014464 7759 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=19838/tid=19847] ppid=19836 vsize=732436 CPUtime=0.06 cores=0-31
/proc/19838/task/19847/stat : 19847 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 215 0 0 0 5 1 0 0 21 0 32 0 4629922 750014464 7779 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=19838/tid=19848] ppid=19836 vsize=732436 CPUtime=0.07 cores=0-31
/proc/19838/task/19848/stat : 19848 (strangenight2-m) D 19836 19838 19812 0 -1 4202560 244 0 0 0 5 2 0 0 18 0 32 0 4629922 750014464 7827 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=19838/tid=19849] ppid=19836 vsize=732436 CPUtime=0.07 cores=0-31
/proc/19838/task/19849/stat : 19849 (strangenight2-m) D 19836 19838 19812 0 -1 4202560 262 0 0 0 5 2 0 0 18 0 32 0 4629922 750014464 7832 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19838/tid=19850] ppid=19836 vsize=732436 CPUtime=0.07 cores=0-31
/proc/19838/task/19850/stat : 19850 (strangenight2-m) D 19836 19838 19812 0 -1 4202560 218 0 0 0 5 2 0 0 22 0 32 0 4629922 750014464 7873 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=19838/tid=19851] ppid=19836 vsize=732436 CPUtime=0.07 cores=0-31
/proc/19838/task/19851/stat : 19851 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 259 0 0 0 5 2 0 0 18 0 32 0 4629922 750014464 7885 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=19838/tid=19852] ppid=19836 vsize=732436 CPUtime=0.07 cores=0-31
/proc/19838/task/19852/stat : 19852 (strangenight2-m) D 19836 19838 19812 0 -1 4202560 227 0 0 0 5 2 0 0 22 0 32 0 4629922 750014464 7936 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=19838/tid=19853] ppid=19836 vsize=732436 CPUtime=0.07 cores=0-31
/proc/19838/task/19853/stat : 19853 (strangenight2-m) D 19836 19838 19812 0 -1 4202560 238 0 0 0 5 2 0 0 18 0 32 0 4629922 750014464 7936 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=19838/tid=19854] ppid=19836 vsize=732436 CPUtime=0.06 cores=0-31
/proc/19838/task/19854/stat : 19854 (strangenight2-m) D 19836 19838 19812 0 -1 4202560 262 0 0 0 5 1 0 0 22 0 32 0 4629922 750014464 8035 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19838/tid=19855] ppid=19836 vsize=732436 CPUtime=0.07 cores=0-31
/proc/19838/task/19855/stat : 19855 (strangenight2-m) D 19836 19838 19812 0 -1 4202560 243 0 0 0 5 2 0 0 18 0 32 0 4629922 750014464 8035 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=19838/tid=19856] ppid=19836 vsize=732436 CPUtime=0.07 cores=0-31
/proc/19838/task/19856/stat : 19856 (strangenight2-m) D 19836 19838 19812 0 -1 4202560 265 0 0 0 5 2 0 0 18 0 32 0 4629922 750014464 8091 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=19838/tid=19857] ppid=19836 vsize=732436 CPUtime=0.06 cores=0-31
/proc/19838/task/19857/stat : 19857 (strangenight2-m) D 19836 19838 19812 0 -1 4202560 222 0 0 0 5 1 0 0 23 0 32 0 4629923 750014464 8091 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19838/tid=19858] ppid=19836 vsize=732436 CPUtime=0.05 cores=0-31
/proc/19838/task/19858/stat : 19858 (strangenight2-m) D 19836 19838 19812 0 -1 4202560 263 0 0 0 4 1 0 0 23 0 32 0 4629923 750014464 8091 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=19838/tid=19859] ppid=19836 vsize=732436 CPUtime=0.05 cores=0-31
/proc/19838/task/19859/stat : 19859 (strangenight2-m) D 19836 19838 19812 0 -1 4202560 244 0 0 0 4 1 0 0 23 0 32 0 4629923 750014464 8114 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=19838/tid=19860] ppid=19836 vsize=732436 CPUtime=0.06 cores=0-31
/proc/19838/task/19860/stat : 19860 (strangenight2-m) D 19836 19838 19812 0 -1 4202560 247 0 0 0 5 1 0 0 23 0 32 0 4629923 750014464 8163 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=19838/tid=19861] ppid=19836 vsize=732436 CPUtime=0.05 cores=0-31
/proc/19838/task/19861/stat : 19861 (strangenight2-m) D 19836 19838 19812 0 -1 4202560 229 0 0 0 3 2 0 0 18 0 32 0 4629923 750014464 8167 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=19838/tid=19862] ppid=19836 vsize=732436 CPUtime=0.06 cores=0-31
/proc/19838/task/19862/stat : 19862 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 261 0 0 0 4 2 0 0 23 0 32 0 4629923 750014464 8180 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=19838/tid=19863] ppid=19836 vsize=732436 CPUtime=0.07 cores=0-31
/proc/19838/task/19863/stat : 19863 (strangenight2-m) D 19836 19838 19812 0 -1 4202560 277 0 0 0 5 2 0 0 18 0 32 0 4629923 750014464 8181 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=19838/tid=19864] ppid=19836 vsize=732436 CPUtime=0.06 cores=0-31
/proc/19838/task/19864/stat : 19864 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 225 0 0 0 5 1 0 0 24 0 32 0 4629923 750014464 8210 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=19838/tid=19865] ppid=19836 vsize=732436 CPUtime=0.06 cores=0-31
/proc/19838/task/19865/stat : 19865 (strangenight2-m) D 19836 19838 19812 0 -1 4202560 232 0 0 0 5 1 0 0 24 0 32 0 4629923 750014464 8212 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=19838/tid=19866] ppid=19836 vsize=732436 CPUtime=0.07 cores=0-31
/proc/19838/task/19866/stat : 19866 (strangenight2-m) D 19836 19838 19812 0 -1 4202560 210 0 0 0 5 2 0 0 24 0 32 0 4629923 750014464 8226 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=19838/tid=19867] ppid=19836 vsize=732436 CPUtime=0.07 cores=0-31
/proc/19838/task/19867/stat : 19867 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 249 0 0 0 5 2 0 0 24 0 32 0 4629923 750014464 8244 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=19838/tid=19868] ppid=19836 vsize=732436 CPUtime=0.07 cores=0-31
/proc/19838/task/19868/stat : 19868 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 225 0 0 0 5 2 0 0 24 0 32 0 4629923 750014464 8299 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=19838/tid=19869] ppid=19836 vsize=732572 CPUtime=0.07 cores=0-31
/proc/19838/task/19869/stat : 19869 (strangenight2-m) D 19836 19838 19812 0 -1 4202560 251 0 0 0 5 2 0 0 24 0 32 0 4629923 750153728 8355 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 732436
[startup+0.108533 s]
/proc/loadavg: 11.46 24.56 27.17 1/413 19838
/proc/meminfo: memFree=263649644/264257624 swapFree=67044744/67111528
[pid=19838] ppid=19836 vsize=1257152 CPUtime=2.52 cores=0-31
/proc/19838/stat : 19838 (strangenight2-m) D 19836 19838 19812 0 -1 4202496 9606 0 0 0 175 77 0 0 18 0 32 0 4629922 1287323648 9494 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650652667 0 0 4096 2 18446744073709551615 0 0 17 30 0 0 0
/proc/19838/statm: 314288 9524 332 95 0 309270 0
[pid=19838/tid=19839] ppid=19836 vsize=1257152 CPUtime=0.08 cores=0-31
/proc/19838/task/19839/stat : 19839 (strangenight2-m) D 19836 19838 19812 0 -1 4202560 292 0 0 0 6 2 0 0 18 0 32 0 4629922 1287323648 9526 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19838/tid=19840] ppid=19836 vsize=1257152 CPUtime=0.08 cores=0-31
/proc/19838/task/19840/stat : 19840 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 285 0 0 0 6 2 0 0 17 0 32 0 4629922 1287323648 9530 268435456000 4194304 4580107 140735183635232 18446744073709551615 258651060958 0 0 4096 2 18446744071566932784 0 0 -1 2 0 0 0
[pid=19838/tid=19841] ppid=19836 vsize=1257152 CPUtime=0.08 cores=0-31
/proc/19838/task/19841/stat : 19841 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 267 0 0 0 6 2 0 0 17 0 32 0 4629922 1287323648 9548 268435456000 4194304 4580107 140735183635232 18446744073709551615 258651060958 0 0 4096 2 18446604664837348832 0 0 -1 24 0 0 0
[pid=19838/tid=19842] ppid=19836 vsize=1257152 CPUtime=0.02 cores=0-31
/proc/19838/task/19842/stat : 19842 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 298 0 0 0 0 2 0 0 17 0 32 0 4629922 1287323648 9554 268435456000 4194304 4580107 140735183635232 18446744073709551615 258651060958 0 0 4096 2 18446744071566929504 0 0 -1 31 0 0 0
[pid=19838/tid=19843] ppid=19836 vsize=1257152 CPUtime=0.08 cores=0-31
/proc/19838/task/19843/stat : 19843 (strangenight2-m) D 19836 19838 19812 0 -1 4202560 287 0 0 0 6 2 0 0 18 0 32 0 4629922 1287323648 9556 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19838/tid=19844] ppid=19836 vsize=1257152 CPUtime=0.08 cores=0-31
/proc/19838/task/19844/stat : 19844 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 332 0 0 0 6 2 0 0 17 0 32 0 4629922 1287323648 9561 268435456000 4194304 4580107 140735183635232 18446744073709551615 258651060958 0 0 4096 2 18446744071566932784 0 0 -1 6 0 0 0
[pid=19838/tid=19845] ppid=19836 vsize=1257152 CPUtime=0.08 cores=0-31
/proc/19838/task/19845/stat : 19845 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 281 0 0 0 6 2 0 0 17 0 32 0 4629922 1287323648 9564 268435456000 4194304 4580107 140735183635232 18446744073709551615 258651060958 0 0 4096 2 18446604704665951712 0 0 -1 3 0 0 0
[pid=19838/tid=19846] ppid=19836 vsize=1257152 CPUtime=0.07 cores=0-31
/proc/19838/task/19846/stat : 19846 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 266 0 0 0 5 2 0 0 17 0 32 0 4629922 1287323648 9572 268435456000 4194304 4580107 140735183635232 18446744073709551615 258651060958 0 0 4096 2 18446604461045161440 0 0 -1 16 0 0 0
[pid=19838/tid=19847] ppid=19836 vsize=1257152 CPUtime=0.07 cores=0-31
/proc/19838/task/19847/stat : 19847 (strangenight2-m) D 19836 19838 19812 0 -1 4202560 301 0 0 0 5 2 0 0 18 0 32 0 4629922 1287323648 9573 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=19838/tid=19848] ppid=19836 vsize=1257152 CPUtime=0.08 cores=0-31
/proc/19838/task/19848/stat : 19848 (strangenight2-m) D 19836 19838 19812 0 -1 4202560 306 0 0 0 6 2 0 0 17 0 32 0 4629922 1287323648 9588 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=19838/tid=19849] ppid=19836 vsize=1257152 CPUtime=0.08 cores=0-31
/proc/19838/task/19849/stat : 19849 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 282 0 0 0 6 2 0 0 17 0 32 0 4629922 1287323648 9590 268435456000 4194304 4580107 140735183635232 18446744073709551615 258651060958 0 0 4096 2 18446604690842746336 0 0 -1 4 0 0 0
[pid=19838/tid=19850] ppid=19836 vsize=1257152 CPUtime=0.07 cores=0-31
/proc/19838/task/19850/stat : 19850 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 270 0 0 0 5 2 0 0 22 0 32 0 4629922 1287323648 9594 268435456000 4194304 4580107 140735183635232 18446744073709551615 258651060958 0 0 4096 2 18446604575269117408 0 0 -1 28 0 0 0
[pid=19838/tid=19851] ppid=19836 vsize=1257152 CPUtime=0.07 cores=0-31
/proc/19838/task/19851/stat : 19851 (strangenight2-m) D 19836 19838 19812 0 -1 4202560 320 0 0 0 5 2 0 0 17 0 32 0 4629922 1287323648 9600 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=19838/tid=19852] ppid=19836 vsize=1257152 CPUtime=0.07 cores=0-31
/proc/19838/task/19852/stat : 19852 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 278 0 0 0 5 2 0 0 17 0 32 0 4629922 1287323648 9603 268435456000 4194304 4580107 140735183635232 18446744073709551615 258651060958 0 0 4096 2 18446604492454682080 0 0 -1 9 0 0 0
[pid=19838/tid=19853] ppid=19836 vsize=1257152 CPUtime=0.07 cores=0-31
/proc/19838/task/19853/stat : 19853 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 269 0 0 0 5 2 0 0 17 0 32 0 4629922 1287323648 9607 268435456000 4194304 4580107 140735183635232 18446744073709551615 258651060958 0 0 4096 2 18446604595222347232 0 0 -1 29 0 0 0
[pid=19838/tid=19854] ppid=19836 vsize=1257152 CPUtime=0.07 cores=0-31
/proc/19838/task/19854/stat : 19854 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 318 0 0 0 5 2 0 0 17 0 32 0 4629922 1287323648 9621 268435456000 4194304 4580107 140735183635232 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19838/tid=19855] ppid=19836 vsize=1257152 CPUtime=0.07 cores=0-31
################
# More data... #
################
Current children cumulated vsize (KiB) 9097416
[startup+614.301 s]
/proc/loadavg: 10.94 24.18 26.98 3/445 19886
/proc/meminfo: memFree=256820336/264257624 swapFree=67044744/67111528
[pid=19838] ppid=19836 vsize=9097416 CPUtime=16789.5 cores=0-31
/proc/19838/stat : 19838 (strangenight2-m) S 19836 19838 19812 0 -1 4202496 3084525 0 0 0 1669984 8970 0 0 25 0 32 0 4629922 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/19838/statm: 2274354 1704404 378 95 0 2269336 0
[pid=19838/tid=19839] ppid=19836 vsize=9097416 CPUtime=519.75 cores=0-31
/proc/19838/task/19839/stat : 19839 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 99023 0 0 0 51674 301 0 0 25 0 32 0 4629922 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604495650242016 0 0 -1 23 0 0 0
[pid=19838/tid=19840] ppid=19836 vsize=9097416 CPUtime=517.21 cores=0-31
/proc/19838/task/19840/stat : 19840 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 101621 0 0 0 51403 318 0 0 25 0 32 0 4629922 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604461045161440 0 0 -1 13 0 0 0
[pid=19838/tid=19841] ppid=19836 vsize=9097416 CPUtime=556.37 cores=0-31
/proc/19838/task/19841/stat : 19841 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 84858 0 0 0 55382 255 0 0 25 0 32 0 4629922 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604664837348832 0 0 -1 24 0 0 0
[pid=19838/tid=19842] ppid=19836 vsize=9097416 CPUtime=478.13 cores=0-31
/proc/19838/task/19842/stat : 19842 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 97651 0 0 0 47521 292 0 0 25 0 32 0 4629922 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604690842746336 0 0 -1 2 0 0 0
[pid=19838/tid=19843] ppid=19836 vsize=9097416 CPUtime=539.17 cores=0-31
/proc/19838/task/19843/stat : 19843 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 94291 0 0 0 53666 251 0 0 25 0 32 0 4629922 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604710986841568 0 0 -1 9 0 0 0
[pid=19838/tid=19844] ppid=19836 vsize=9097416 CPUtime=549.66 cores=0-31
/proc/19838/task/19844/stat : 19844 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 77405 0 0 0 54721 245 0 0 25 0 32 0 4629922 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604451054149088 0 0 -1 9 0 0 0
[pid=19838/tid=19845] ppid=19836 vsize=9097416 CPUtime=548.91 cores=0-31
/proc/19838/task/19845/stat : 19845 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 80969 0 0 0 54596 295 0 0 25 0 32 0 4629922 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604451663732192 0 0 -1 28 0 0 0
[pid=19838/tid=19846] ppid=19836 vsize=9097416 CPUtime=557.34 cores=0-31
/proc/19838/task/19846/stat : 19846 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 114701 0 0 0 55485 249 0 0 25 0 32 0 4629922 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604489238011360 0 0 -1 19 0 0 0
[pid=19838/tid=19847] ppid=19836 vsize=9097416 CPUtime=526.3 cores=0-31
/proc/19838/task/19847/stat : 19847 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 94855 0 0 0 52341 289 0 0 25 0 32 0 4629922 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604489519381984 0 0 -1 10 0 0 0
[pid=19838/tid=19848] ppid=19836 vsize=9097416 CPUtime=519.25 cores=0-31
/proc/19838/task/19848/stat : 19848 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 80400 0 0 0 51629 296 0 0 25 0 32 0 4629922 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604451696926176 0 0 -1 1 0 0 0
[pid=19838/tid=19849] ppid=19836 vsize=9097416 CPUtime=501.16 cores=0-31
/proc/19838/task/19849/stat : 19849 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 95418 0 0 0 49822 294 0 0 25 0 32 0 4629922 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604499769155040 0 0 -1 29 0 0 0
[pid=19838/tid=19850] ppid=19836 vsize=9097416 CPUtime=560.9 cores=0-31
/proc/19838/task/19850/stat : 19850 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 89395 0 0 0 55833 257 0 0 25 0 32 0 4629922 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604504272330208 0 0 -1 9 0 0 0
[pid=19838/tid=19851] ppid=19836 vsize=9097416 CPUtime=513.25 cores=0-31
/proc/19838/task/19851/stat : 19851 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 75738 0 0 0 51036 289 0 0 25 0 32 0 4629922 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604692177059296 0 0 -1 22 0 0 0
[pid=19838/tid=19852] ppid=19836 vsize=9097416 CPUtime=595.06 cores=0-31
/proc/19838/task/19852/stat : 19852 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 95547 0 0 0 59191 315 0 0 25 0 32 0 4629922 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592608452 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=19838/tid=19853] ppid=19836 vsize=9097416 CPUtime=519.22 cores=0-31
/proc/19838/task/19853/stat : 19853 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 103082 0 0 0 51659 263 0 0 25 0 32 0 4629922 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604497776606688 0 0 -1 15 0 0 0
[pid=19838/tid=19854] ppid=19836 vsize=9097416 CPUtime=483.5 cores=0-31
/proc/19838/task/19854/stat : 19854 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 108613 0 0 0 48044 306 0 0 25 0 32 0 4629922 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604567511408096 0 0 -1 30 0 0 0
[pid=19838/tid=19855] ppid=19836 vsize=9097416 CPUtime=506.76 cores=0-31
/proc/19838/task/19855/stat : 19855 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 109341 0 0 0 50360 316 0 0 25 0 32 0 4629922 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604595222347232 0 0 -1 26 0 0 0
[pid=19838/tid=19856] ppid=19836 vsize=9097416 CPUtime=534.61 cores=0-31
/proc/19838/task/19856/stat : 19856 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 112100 0 0 0 53198 263 0 0 25 0 32 0 4629922 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604710438993376 0 0 -1 21 0 0 0
[pid=19838/tid=19857] ppid=19836 vsize=9097416 CPUtime=478.61 cores=0-31
/proc/19838/task/19857/stat : 19857 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 110876 0 0 0 47587 274 0 0 25 0 32 0 4629923 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604704665951712 0 0 -1 7 0 0 0
[pid=19838/tid=19858] ppid=19836 vsize=9097416 CPUtime=510.01 cores=0-31
/proc/19838/task/19858/stat : 19858 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 82705 0 0 0 50736 265 0 0 25 0 32 0 4629923 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604504095505888 0 0 -1 10 0 0 0
[pid=19838/tid=19859] ppid=19836 vsize=9097416 CPUtime=503.41 cores=0-31
/proc/19838/task/19859/stat : 19859 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 113211 0 0 0 50029 312 0 0 25 0 32 0 4629923 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604585412877792 0 0 -1 27 0 0 0
[pid=19838/tid=19860] ppid=19836 vsize=9097416 CPUtime=544.98 cores=0-31
/proc/19838/task/19860/stat : 19860 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 91644 0 0 0 54220 278 0 0 25 0 32 0 4629923 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604492454682080 0 0 -1 25 0 0 0
[pid=19838/tid=19861] ppid=19836 vsize=9097416 CPUtime=532.86 cores=0-31
/proc/19838/task/19861/stat : 19861 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 105320 0 0 0 53002 284 0 0 25 0 32 0 4629923 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604506525711840 0 0 -1 11 0 0 0
[pid=19838/tid=19862] ppid=19836 vsize=9097416 CPUtime=529.55 cores=0-31
/proc/19838/task/19862/stat : 19862 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 111642 0 0 0 52646 309 0 0 25 0 32 0 4629923 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604638886149600 0 0 -1 20 0 0 0
[pid=19838/tid=19863] ppid=19836 vsize=9097416 CPUtime=474.43 cores=0-31
/proc/19838/task/19863/stat : 19863 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 102844 0 0 0 47159 284 0 0 25 0 32 0 4629923 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446744071566923784 0 0 -1 8 0 0 0
[pid=19838/tid=19864] ppid=19836 vsize=9097416 CPUtime=565.71 cores=0-31
/proc/19838/task/19864/stat : 19864 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 72295 0 0 0 56319 252 0 0 25 0 32 0 4629923 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604451790306784 0 0 -1 24 0 0 0
[pid=19838/tid=19865] ppid=19836 vsize=9097416 CPUtime=500.45 cores=0-31
/proc/19838/task/19865/stat : 19865 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 85646 0 0 0 49751 294 0 0 25 0 32 0 4629923 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604643592814048 0 0 -1 8 0 0 0
[pid=19838/tid=19866] ppid=19836 vsize=9097416 CPUtime=508.17 cores=0-31
/proc/19838/task/19866/stat : 19866 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 114881 0 0 0 50550 267 0 0 25 0 32 0 4629923 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604665760710112 0 0 -1 0 0 0 0
[pid=19838/tid=19867] ppid=19836 vsize=9097416 CPUtime=526.63 cores=0-31
/proc/19838/task/19867/stat : 19867 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 109531 0 0 0 52382 281 0 0 25 0 32 0 4629923 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604492427460064 0 0 -1 7 0 0 0
[pid=19838/tid=19868] ppid=19836 vsize=9097416 CPUtime=499.4 cores=0-31
/proc/19838/task/19868/stat : 19868 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 101625 0 0 0 49647 293 0 0 25 0 32 0 4629923 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604458155965920 0 0 -1 22 0 0 0
[pid=19838/tid=19869] ppid=19836 vsize=9097416 CPUtime=606.96 cores=0-31
/proc/19838/task/19869/stat : 19869 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 77360 0 0 0 60528 168 0 0 25 0 32 0 4629923 9315753984 1704404 268435456000 4194304 4580107 140735183635232 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 16789.5
Current children cumulated vsize (KiB) 9097416
[startup+615.901 s]
/proc/loadavg: 10.94 24.18 26.98 3/445 19886
/proc/meminfo: memFree=256819168/264257624 swapFree=67044744/67111528
[pid=19838] ppid=19836 vsize=9097416 CPUtime=16792.8 cores=0-31
/proc/19838/stat : 19838 (strangenight2-m) S 19836 19838 19812 0 -1 4202496 3084601 0 0 0 1670307 8970 0 0 25 0 32 0 4629922 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/19838/statm: 2274354 1704480 378 95 0 2269336 0
[pid=19838/tid=19839] ppid=19836 vsize=9097416 CPUtime=519.75 cores=0-31
/proc/19838/task/19839/stat : 19839 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 99023 0 0 0 51674 301 0 0 25 0 32 0 4629922 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604495650242016 0 0 -1 23 0 0 0
[pid=19838/tid=19840] ppid=19836 vsize=9097416 CPUtime=517.21 cores=0-31
/proc/19838/task/19840/stat : 19840 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 101621 0 0 0 51403 318 0 0 25 0 32 0 4629922 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604461045161440 0 0 -1 13 0 0 0
[pid=19838/tid=19841] ppid=19836 vsize=9097416 CPUtime=556.37 cores=0-31
/proc/19838/task/19841/stat : 19841 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 84858 0 0 0 55382 255 0 0 25 0 32 0 4629922 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604664837348832 0 0 -1 24 0 0 0
[pid=19838/tid=19842] ppid=19836 vsize=9097416 CPUtime=478.13 cores=0-31
/proc/19838/task/19842/stat : 19842 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 97651 0 0 0 47521 292 0 0 25 0 32 0 4629922 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604690842746336 0 0 -1 2 0 0 0
[pid=19838/tid=19843] ppid=19836 vsize=9097416 CPUtime=539.17 cores=0-31
/proc/19838/task/19843/stat : 19843 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 94291 0 0 0 53666 251 0 0 25 0 32 0 4629922 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604710986841568 0 0 -1 9 0 0 0
[pid=19838/tid=19844] ppid=19836 vsize=9097416 CPUtime=549.66 cores=0-31
/proc/19838/task/19844/stat : 19844 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 77405 0 0 0 54721 245 0 0 25 0 32 0 4629922 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604451054149088 0 0 -1 9 0 0 0
[pid=19838/tid=19845] ppid=19836 vsize=9097416 CPUtime=548.91 cores=0-31
/proc/19838/task/19845/stat : 19845 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 80969 0 0 0 54596 295 0 0 25 0 32 0 4629922 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604451663732192 0 0 -1 28 0 0 0
[pid=19838/tid=19846] ppid=19836 vsize=9097416 CPUtime=557.34 cores=0-31
/proc/19838/task/19846/stat : 19846 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 114701 0 0 0 55485 249 0 0 25 0 32 0 4629922 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604489238011360 0 0 -1 19 0 0 0
[pid=19838/tid=19847] ppid=19836 vsize=9097416 CPUtime=526.3 cores=0-31
/proc/19838/task/19847/stat : 19847 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 94855 0 0 0 52341 289 0 0 25 0 32 0 4629922 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604489519381984 0 0 -1 10 0 0 0
[pid=19838/tid=19848] ppid=19836 vsize=9097416 CPUtime=519.25 cores=0-31
/proc/19838/task/19848/stat : 19848 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 80400 0 0 0 51629 296 0 0 25 0 32 0 4629922 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604451696926176 0 0 -1 1 0 0 0
[pid=19838/tid=19849] ppid=19836 vsize=9097416 CPUtime=501.16 cores=0-31
/proc/19838/task/19849/stat : 19849 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 95418 0 0 0 49822 294 0 0 25 0 32 0 4629922 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604499769155040 0 0 -1 29 0 0 0
[pid=19838/tid=19850] ppid=19836 vsize=9097416 CPUtime=560.9 cores=0-31
/proc/19838/task/19850/stat : 19850 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 89395 0 0 0 55833 257 0 0 25 0 32 0 4629922 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604504272330208 0 0 -1 9 0 0 0
[pid=19838/tid=19851] ppid=19836 vsize=9097416 CPUtime=513.25 cores=0-31
/proc/19838/task/19851/stat : 19851 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 75738 0 0 0 51036 289 0 0 25 0 32 0 4629922 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604692177059296 0 0 -1 22 0 0 0
[pid=19838/tid=19852] ppid=19836 vsize=9097416 CPUtime=596.68 cores=0-31
/proc/19838/task/19852/stat : 19852 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 95547 0 0 0 59353 315 0 0 25 0 32 0 4629922 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592608299 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=19838/tid=19853] ppid=19836 vsize=9097416 CPUtime=519.22 cores=0-31
/proc/19838/task/19853/stat : 19853 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 103082 0 0 0 51659 263 0 0 25 0 32 0 4629922 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604497776606688 0 0 -1 15 0 0 0
[pid=19838/tid=19854] ppid=19836 vsize=9097416 CPUtime=483.5 cores=0-31
/proc/19838/task/19854/stat : 19854 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 108613 0 0 0 48044 306 0 0 25 0 32 0 4629922 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604567511408096 0 0 -1 30 0 0 0
[pid=19838/tid=19855] ppid=19836 vsize=9097416 CPUtime=506.76 cores=0-31
/proc/19838/task/19855/stat : 19855 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 109341 0 0 0 50360 316 0 0 25 0 32 0 4629922 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604595222347232 0 0 -1 26 0 0 0
[pid=19838/tid=19856] ppid=19836 vsize=9097416 CPUtime=534.61 cores=0-31
/proc/19838/task/19856/stat : 19856 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 112100 0 0 0 53198 263 0 0 25 0 32 0 4629922 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604710438993376 0 0 -1 21 0 0 0
[pid=19838/tid=19857] ppid=19836 vsize=9097416 CPUtime=478.61 cores=0-31
/proc/19838/task/19857/stat : 19857 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 110876 0 0 0 47587 274 0 0 25 0 32 0 4629923 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604704665951712 0 0 -1 7 0 0 0
[pid=19838/tid=19858] ppid=19836 vsize=9097416 CPUtime=510.01 cores=0-31
/proc/19838/task/19858/stat : 19858 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 82705 0 0 0 50736 265 0 0 25 0 32 0 4629923 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604504095505888 0 0 -1 10 0 0 0
[pid=19838/tid=19859] ppid=19836 vsize=9097416 CPUtime=503.41 cores=0-31
/proc/19838/task/19859/stat : 19859 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 113211 0 0 0 50029 312 0 0 25 0 32 0 4629923 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604585412877792 0 0 -1 27 0 0 0
[pid=19838/tid=19860] ppid=19836 vsize=9097416 CPUtime=544.98 cores=0-31
/proc/19838/task/19860/stat : 19860 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 91644 0 0 0 54220 278 0 0 25 0 32 0 4629923 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604492454682080 0 0 -1 25 0 0 0
[pid=19838/tid=19861] ppid=19836 vsize=9097416 CPUtime=532.86 cores=0-31
/proc/19838/task/19861/stat : 19861 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 105320 0 0 0 53002 284 0 0 25 0 32 0 4629923 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604506525711840 0 0 -1 11 0 0 0
[pid=19838/tid=19862] ppid=19836 vsize=9097416 CPUtime=529.55 cores=0-31
/proc/19838/task/19862/stat : 19862 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 111642 0 0 0 52646 309 0 0 25 0 32 0 4629923 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604638886149600 0 0 -1 20 0 0 0
[pid=19838/tid=19863] ppid=19836 vsize=9097416 CPUtime=474.43 cores=0-31
/proc/19838/task/19863/stat : 19863 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 102844 0 0 0 47159 284 0 0 25 0 32 0 4629923 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446744071566923784 0 0 -1 8 0 0 0
[pid=19838/tid=19864] ppid=19836 vsize=9097416 CPUtime=565.71 cores=0-31
/proc/19838/task/19864/stat : 19864 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 72295 0 0 0 56319 252 0 0 25 0 32 0 4629923 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604451790306784 0 0 -1 24 0 0 0
[pid=19838/tid=19865] ppid=19836 vsize=9097416 CPUtime=500.45 cores=0-31
/proc/19838/task/19865/stat : 19865 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 85646 0 0 0 49751 294 0 0 25 0 32 0 4629923 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604643592814048 0 0 -1 8 0 0 0
[pid=19838/tid=19866] ppid=19836 vsize=9097416 CPUtime=508.17 cores=0-31
/proc/19838/task/19866/stat : 19866 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 114881 0 0 0 50550 267 0 0 25 0 32 0 4629923 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604665760710112 0 0 -1 0 0 0 0
[pid=19838/tid=19867] ppid=19836 vsize=9097416 CPUtime=526.63 cores=0-31
/proc/19838/task/19867/stat : 19867 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 109531 0 0 0 52382 281 0 0 25 0 32 0 4629923 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604492427460064 0 0 -1 7 0 0 0
[pid=19838/tid=19868] ppid=19836 vsize=9097416 CPUtime=499.4 cores=0-31
/proc/19838/task/19868/stat : 19868 (strangenight2-m) S 19836 19838 19812 0 -1 4202560 101625 0 0 0 49647 293 0 0 25 0 32 0 4629923 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 47601592632884 0 0 4096 2 18446604458155965920 0 0 -1 22 0 0 0
[pid=19838/tid=19869] ppid=19836 vsize=9097416 CPUtime=608.58 cores=0-31
/proc/19838/task/19869/stat : 19869 (strangenight2-m) R 19836 19838 19812 0 -1 4202560 77436 0 0 0 60690 168 0 0 25 0 32 0 4629923 9315753984 1704480 268435456000 4194304 4580107 140735183635232 18446744073709551615 4316651 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 16792.8
Current children cumulated vsize (KiB) 9097416
[startup+616.701 s]
/proc/loadavg: 10.94 24.18 26.98 3/445 19886
/proc/meminfo: memFree=256819168/264257624 swapFree=67044744/67111528
[pid=19838] ppid=19836 vsize=0 CPUtime=16794.2 cores=0-31
/proc/19838/stat : 19838 (strangenight2-m) R 19836 19838 19812 0 -1 4203524 3085831 0 0 0 1670432 8988 0 0 18 0 1 0 4629922 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/19838/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 16794.2
Current children cumulated vsize (KiB) 0
[startup+616.9 s]
/proc/loadavg: 10.94 24.18 26.98 3/445 19886
/proc/meminfo: memFree=256819168/264257624 swapFree=67044744/67111528
[pid=19838] ppid=19836 vsize=0 CPUtime=16794.4 cores=0-31
/proc/19838/stat : 19838 (strangenight2-m) R 19836 19838 19812 0 -1 4203524 3085831 0 0 0 1670432 9007 0 0 18 0 1 0 4629922 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/19838/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 16794.4
Current children cumulated vsize (KiB) 0
[startup+617 s]
/proc/loadavg: 10.94 24.18 26.98 2/414 19886
/proc/meminfo: memFree=262542216/264257624 swapFree=67044744/67111528
[pid=19838] ppid=19836 vsize=0 CPUtime=16794.5 cores=0-31
/proc/19838/stat : 19838 (strangenight2-m) R 19836 19838 19812 0 -1 4203524 3085831 0 0 0 1670432 9020 0 0 18 0 1 0 4629922 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 15 0 0 0
/proc/19838/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 16794.5
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 617.086
CPU time (s): 16794.6
CPU user time (s): 16704.3
CPU system time (s): 90.2633
CPU usage (%): 2721.6
Max. virtual memory (cumulated for all children) (KiB): 10297132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16704.3
system time used= 90.2633
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3085831
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= 3849493
involuntary context switches= 152817
runsolver used 3.58845 second user time and 14.2668 second system time
The end
Launcher Data
Begin job on node200 at 2011-05-30 22:17:20
IDJOB=3400793
IDBENCH=82497
IDSOLVER=1886
FILE ID=node200/3400793-1306786638
RUNJOBID= node200-1306786638-19826
PBS_JOBID= 13470326
Free space on /tmp= 61560 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/manthey/traffic/traffic_f_unknown.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400793-1306786638/watcher-3400793-1306786638 -o /tmp/evaluation-result-3400793-1306786638/solver-3400793-1306786638 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400793-1306786638.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= f03ed12a281977a642336980ec847847
RANDOM SEED=1881045756
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: 263649800 kB
Buffers: 58072 kB
Cached: 361372 kB
SwapCached: 29884 kB
Active: 135120 kB
Inactive: 316592 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263649800 kB
SwapTotal: 67111528 kB
SwapFree: 67044744 kB
Dirty: 23940 kB
Writeback: 0 kB
AnonPages: 28956 kB
Mapped: 7680 kB
Slab: 60796 kB
PageTables: 5184 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 184028 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:27:37