Trace number 3400790
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_fb_unknown.cnf |
MD5SUM | 2385047c56f7801a7fd110b2ffe2f293 |
Bench Category | APPLICATION (applications instances) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 2592.97 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 35819 |
Number of clauses | 773506 |
Sum of the clauses size | 2886709 |
Maximum clause length | 4 |
Minimum clause length | 2 |
Number of clauses of size 1 | 0 |
Number of clauses of size 2 | 55953 |
Number of clauses of size 3 | 95409 |
Number of clauses of size 4 | 622144 |
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.05 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-3400790-1306784906.cnf'
2.41/0.10 c -- header says num vars: 35819
2.41/0.10 c -- header says num clauses: 773506
65.65/4.92 c -- clauses added: 0 learnts, 773506 normals, 0 xors
65.65/4.92 c -- vars added 35819
65.65/4.92 c Parsing time: 0.88 s
65.65/4.92 c N st 0 0 35819 717553 55953 0 2886709 0 no data no data
76.44/5.63 c asymm cl-useful: 16/955/717553 lits-rem:16 time: 0.30
231.42/15.65 c Flit: 266 Blit: 32 bXBeca: 0 bXProp: 281 Bins: 0 BRemL: 0 BRemN: 0 P: 190.8M T: 4.23
231.42/15.69 c Cleaning up after failed var search: 0.04 s
233.70/15.76 c Replacing 281 vars Replaced 12210 lits Time: 0.06 s
377.21/27.91 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
377.21/27.94 c bin-w-bin subsume rem 6638 bins time: 0.03 s
382.43/28.12 c subs with bin: 4680 lits-rem: 2967 v-fix: 0 time: 0.18 s
384.66/28.26 c Subs w/ non-existent bins: 2884 l-rem: 1331 v-fix: 0 done: 6127 time: 0.11 s
389.47/28.53 c Removed useless bin: 9676 fixed: 0 props: 20.00M time: 0.25 s
474.90/31.33 c lits-rem: 715 cl-subs: 56375 v-elim: 2677 v-fix: 0 time: 2.63 s
477.44/31.42 c Finding binary XORs T: 0.09 s found: 44
477.44/31.49 c Replacing 44 vars Replaced 2583 lits Time: 0.07 s
503.23/32.39 c Finding non-binary XORs: 0.73 s (found: 0, avg size: nan)
503.23/32.39 c calculated reachability. Time: 0.04
506.42/32.46 c Calc default polars - time: 0.07 s pos: 10659 undec: 14318 neg: 10842
506.42/32.46 c =========================================================================================
506.42/32.46 c types(t): F = full restart, N = normal restart
506.42/32.46 c types(t): S = simplification begin/end, E = solution found
506.42/32.46 c restart types(rt): st = static, dy = dynamic
506.42/32.46 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
506.42/32.46 c B st 0 0 32344 636599 39320 0 2546543 0 no data no data
563.96/34.21 c N dy 17 4364 32344 636599 39324 4309 2546543 50858 7.00 7.38
589.54/35.08 c Finding binary XORs T: 0.08 s found: 0
621.51/36.06 c N dy 30 9091 32341 636206 47402 8708 2545163 121183 6.74 7.19
672.64/37.60 c N dy 53 13099 32340 636206 47488 12676 2545163 171853 6.80 9.25
730.17/39.49 c N dy 76 17171 32340 636206 47491 16698 2545163 221489 6.92 7.31
794.03/41.46 c N dy 99 21243 32339 636206 47582 10986 2545163 125386 7.06 9.10
845.08/43.09 c F st 118 25000 32338 636206 47662 14698 2545163 172103 7.07 no data
854.66/43.40 c Found part 254 vars: 317 clauses: 931 lits size: 2542
854.66/43.40 c Found part 695 vars: 475 clauses: 1338 lits size: 4008
854.66/43.40 c Found part 793 vars: 297 clauses: 909 lits size: 2586
854.66/43.40 c Found part 1071 vars: 1070 clauses: 8964 lits size: 31687
854.66/43.40 c Found part 1251 vars: 810 clauses: 10185 lits size: 37221
854.66/43.40 c Found part 1567 vars: 4524 clauses: 18640 lits size: 66911
854.66/43.40 c Found part 1716 vars: 1231 clauses: 4551 lits size: 14742
854.66/43.40 c Found part 1746 vars: 4873 clauses: 194672 lits size: 743518
854.66/43.40 c Found part 1828 vars: 948 clauses: 6259 lits size: 21719
854.66/43.40 c Found part 1846 vars: 203 clauses: 502 lits size: 1379
854.66/43.40 c Found part 1848 vars: 15823 clauses: 419108 lits size: 1585185
854.66/43.40 c Found part 1856 vars: 833 clauses: 5179 lits size: 18110
854.66/43.40 c Found part 1857 vars: 305 clauses: 965 lits size: 2986
854.66/43.40 c Found part 1858 vars: 629 clauses: 2871 lits size: 10544
854.66/43.40 c Found parts: 14 time: 0.30 s
854.66/43.40 c Solving part 1846
857.81/43.46 c N st 0 0 203 227 313 0 1379 76 no data no data
857.81/43.46 c asymm cl-useful: 36/227/227 lits-rem:36 time: 0.00
857.81/43.47 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00
857.81/43.47 c Finding binary XORs T: 0.00 s found: 0
857.81/43.47 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
857.81/43.47 c calculated reachability. Time: 0.00
857.81/43.47 c Calc default polars - time: 0.00 s pos: 58 undec: 35660 neg: 101
857.81/43.47 c =========================================================================================
857.81/43.47 c types(t): F = full restart, N = normal restart
857.81/43.47 c types(t): S = simplification begin/end, E = solution found
857.81/43.47 c restart types(rt): st = static, dy = dynamic
857.81/43.47 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
857.81/43.47 c B st 0 0 203 227 313 0 1343 76 no data no data
857.81/43.47 c E st 1 0 0 227 313 0 1343 76 no data no data
857.81/43.47 c Verified 227 clauses.
857.81/43.47 c Verified 227 clauses.
857.81/43.47 c Solved part
857.81/43.47 c =========================================================================================
857.81/43.47 c Solving part 793
860.99/43.54 c N st 0 0 297 555 541 0 2586 374 no data no data
860.99/43.55 c asymm cl-useful: 62/555/555 lits-rem:63 time: 0.01
860.99/43.56 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01
860.99/43.56 c Finding binary XORs T: 0.00 s found: 0
860.99/43.56 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
860.99/43.56 c calculated reachability. Time: 0.00
860.99/43.56 c Calc default polars - time: 0.00 s pos: 141 undec: 35532 neg: 146
860.99/43.56 c =========================================================================================
860.99/43.56 c types(t): F = full restart, N = normal restart
860.99/43.56 c types(t): S = simplification begin/end, E = solution found
860.99/43.56 c restart types(rt): st = static, dy = dynamic
860.99/43.56 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
860.99/43.56 c B st 0 0 297 555 541 0 2523 374 no data no data
860.99/43.56 c E st 1 0 0 555 541 0 2523 374 no data no data
860.99/43.56 c Verified 555 clauses.
860.99/43.56 c Verified 555 clauses.
860.99/43.56 c Solved part
860.99/43.56 c =========================================================================================
860.99/43.57 c Solving part 1857
864.15/43.63 c N st 0 0 305 600 483 0 2986 236 no data no data
864.15/43.64 c asymm cl-useful: 102/600/600 lits-rem:149 time: 0.01
864.15/43.65 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01
864.15/43.65 c Finding binary XORs T: 0.00 s found: 0
864.15/43.65 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
864.15/43.65 c calculated reachability. Time: 0.00
864.15/43.65 c Calc default polars - time: 0.00 s pos: 120 undec: 35559 neg: 140
864.15/43.65 c =========================================================================================
864.15/43.65 c types(t): F = full restart, N = normal restart
864.15/43.65 c types(t): S = simplification begin/end, E = solution found
864.15/43.65 c restart types(rt): st = static, dy = dynamic
864.15/43.65 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
864.15/43.65 c B st 0 0 305 597 486 0 2843 236 no data no data
864.15/43.65 c E st 1 0 0 597 486 0 2843 236 no data no data
864.15/43.65 c Verified 597 clauses.
864.15/43.65 c Verified 597 clauses.
864.15/43.65 c Solved part
864.15/43.65 c =========================================================================================
864.15/43.65 c Solving part 254
867.33/43.71 c N st 0 0 317 499 534 0 2542 204 no data no data
867.33/43.72 c asymm cl-useful: 30/499/499 lits-rem:31 time: 0.01
867.33/43.73 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01
867.33/43.74 c Finding binary XORs T: 0.00 s found: 0
867.33/43.74 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
867.33/43.74 c calculated reachability. Time: 0.00
867.33/43.74 c Calc default polars - time: 0.00 s pos: 139 undec: 35579 neg: 101
867.33/43.74 c =========================================================================================
867.33/43.74 c types(t): F = full restart, N = normal restart
867.33/43.74 c types(t): S = simplification begin/end, E = solution found
867.33/43.74 c restart types(rt): st = static, dy = dynamic
867.33/43.74 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
867.33/43.74 c B st 0 0 317 499 534 0 2511 204 no data no data
867.33/43.74 c E st 1 0 0 499 534 0 2511 204 no data no data
867.33/43.74 c Verified 499 clauses.
867.33/43.74 c Verified 499 clauses.
867.33/43.74 c Solved part
867.33/43.74 c =========================================================================================
867.33/43.74 c Solving part 695
870.45/43.80 c N st 0 0 475 776 652 0 4008 180 no data no data
870.45/43.81 c asymm cl-useful: 37/776/776 lits-rem:37 time: 0.01
870.45/43.83 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01
870.45/43.83 c Finding binary XORs T: 0.00 s found: 0
870.45/43.83 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
870.45/43.83 c calculated reachability. Time: 0.00
870.45/43.83 c Calc default polars - time: 0.00 s pos: 163 undec: 35496 neg: 160
870.45/43.83 c =========================================================================================
870.45/43.83 c types(t): F = full restart, N = normal restart
870.45/43.83 c types(t): S = simplification begin/end, E = solution found
870.45/43.83 c restart types(rt): st = static, dy = dynamic
870.45/43.83 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
870.45/43.83 c B st 0 0 475 776 652 0 3971 180 no data no data
870.45/43.83 c E st 1 0 0 776 652 0 3971 180 no data no data
870.45/43.83 c Verified 776 clauses.
870.45/43.83 c Verified 776 clauses.
870.45/43.83 c Solved part
870.45/43.83 c =========================================================================================
870.45/43.83 c Solving part 1858
870.45/43.90 c N st 0 0 629 2163 788 0 10544 160 no data no data
874.19/43.93 c asymm cl-useful: 308/2163/2163 lits-rem:417 time: 0.03
874.19/43.94 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.01
874.19/43.95 c Finding binary XORs T: 0.00 s found: 0
874.19/43.95 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
874.19/43.95 c calculated reachability. Time: 0.00
874.19/43.95 c Calc default polars - time: 0.00 s pos: 174 undec: 35503 neg: 142
874.19/43.95 c =========================================================================================
874.19/43.95 c types(t): F = full restart, N = normal restart
874.19/43.95 c types(t): S = simplification begin/end, E = solution found
874.19/43.95 c restart types(rt): st = static, dy = dynamic
874.19/43.95 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
874.19/43.95 c B st 0 0 629 2151 800 0 10151 160 no data no data
874.19/43.95 c E st 1 0 0 2151 800 0 10151 160 no data no data
874.19/43.95 c Verified 2151 clauses.
874.19/43.95 c Verified 2151 clauses.
874.19/43.95 c Solved part
874.19/43.95 c =========================================================================================
874.19/43.95 c Solving part 1251
877.40/44.02 c N st 0 0 810 9090 1943 0 37221 1696 no data no data
889.51/44.41 c asymm cl-useful: 724/4308/9090 lits-rem:763 time: 0.38
889.51/44.48 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 52 Bins: 0 BRemL: 0 BRemN: 0 P: 2.7M T: 0.08
889.51/44.49 c Finding binary XORs T: 0.00 s found: 3
889.51/44.49 c Replacing 56 vars Replaced 4935 lits Time: 0.00 s
889.51/44.50 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
889.51/44.50 c calculated reachability. Time: 0.00
889.51/44.50 c Calc default polars - time: 0.00 s pos: 290 undec: 35264 neg: 265
889.51/44.50 c =========================================================================================
889.51/44.50 c types(t): F = full restart, N = normal restart
889.51/44.50 c types(t): S = simplification begin/end, E = solution found
889.51/44.50 c restart types(rt): st = static, dy = dynamic
889.51/44.50 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
889.51/44.50 c B st 0 0 754 7825 1881 0 31423 1688 no data no data
889.51/44.50 c E st 1 0 0 7825 1881 0 31423 1688 no data no data
889.51/44.50 c Verified 7825 clauses.
889.51/44.50 c Verified 7825 clauses.
889.51/44.50 c Solved part
889.51/44.50 c =========================================================================================
892.69/44.50 c Solving part 1856
892.69/44.56 c N st 0 0 833 4173 1057 0 18110 102 no data no data
895.88/44.65 c asymm cl-useful: 51/4173/4173 lits-rem:51 time: 0.09
895.88/44.68 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.03
895.88/44.68 c Finding binary XORs T: 0.00 s found: 0
895.88/44.69 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
895.88/44.69 c calculated reachability. Time: 0.00
895.88/44.69 c Calc default polars - time: 0.00 s pos: 279 undec: 35288 neg: 252
895.88/44.69 c =========================================================================================
895.88/44.69 c types(t): F = full restart, N = normal restart
895.88/44.69 c types(t): S = simplification begin/end, E = solution found
895.88/44.69 c restart types(rt): st = static, dy = dynamic
895.88/44.69 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
895.88/44.69 c B st 0 0 833 4173 1057 0 18059 102 no data no data
895.88/44.69 c E st 1 0 0 4173 1057 0 18059 102 no data no data
895.88/44.69 c Verified 4173 clauses.
895.88/44.69 c Verified 4173 clauses.
895.88/44.69 c Solved part
895.88/44.69 c =========================================================================================
895.88/44.69 c Solving part 1828
899.08/44.75 c N st 0 0 948 5035 1310 0 21719 172 no data no data
902.28/44.88 c asymm cl-useful: 132/5035/5035 lits-rem:144 time: 0.13
905.47/44.92 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.5M T: 0.03
905.47/44.92 c Finding binary XORs T: 0.00 s found: 0
905.47/44.93 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
905.47/44.93 c calculated reachability. Time: 0.00
905.47/44.93 c Calc default polars - time: 0.00 s pos: 365 undec: 35118 neg: 336
905.47/44.93 c =========================================================================================
905.47/44.93 c types(t): F = full restart, N = normal restart
905.47/44.93 c types(t): S = simplification begin/end, E = solution found
905.47/44.93 c restart types(rt): st = static, dy = dynamic
905.47/44.93 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
905.47/44.93 c B st 0 0 948 5030 1315 0 21585 172 no data no data
905.47/44.93 c E st 1 0 0 5030 1315 0 21585 172 no data no data
905.47/44.93 c Verified 5030 clauses.
905.47/44.93 c Verified 5030 clauses.
905.47/44.93 c Solved part
905.47/44.93 c =========================================================================================
905.47/44.93 c Solving part 1071
905.47/45.00 c N st 0 0 1070 7514 1666 0 31687 432 no data no data
915.02/45.23 c asymm cl-useful: 172/7514/7514 lits-rem:172 time: 0.23
915.02/45.28 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.0M T: 0.05
915.02/45.28 c Finding binary XORs T: 0.00 s found: 0
915.02/45.28 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
915.02/45.28 c calculated reachability. Time: 0.00
915.02/45.29 c Calc default polars - time: 0.00 s pos: 427 undec: 34938 neg: 454
915.02/45.29 c =========================================================================================
915.02/45.29 c types(t): F = full restart, N = normal restart
915.02/45.29 c types(t): S = simplification begin/end, E = solution found
915.02/45.29 c restart types(rt): st = static, dy = dynamic
915.02/45.29 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
915.02/45.29 c B st 0 0 1070 7514 1666 0 31515 432 no data no data
915.02/45.29 c E st 1 1 0 7514 1666 1 31515 437 no data no data
915.02/45.29 c Verified 7514 clauses.
915.02/45.29 c Verified 7514 clauses.
915.02/45.29 c Solved part
915.02/45.29 c =========================================================================================
915.02/45.29 c Solving part 1716
918.22/45.35 c N st 0 0 1231 3049 1617 0 14742 230 no data no data
921.39/45.42 c asymm cl-useful: 229/3049/3049 lits-rem:263 time: 0.06
921.39/45.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.04
921.39/45.46 c Finding binary XORs T: 0.00 s found: 0
921.39/45.47 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
921.39/45.47 c calculated reachability. Time: 0.00
921.39/45.47 c Calc default polars - time: 0.00 s pos: 387 undec: 35008 neg: 424
921.39/45.47 c =========================================================================================
921.39/45.47 c types(t): F = full restart, N = normal restart
921.39/45.47 c types(t): S = simplification begin/end, E = solution found
921.39/45.47 c restart types(rt): st = static, dy = dynamic
921.39/45.47 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
921.39/45.47 c B st 0 0 1231 3048 1618 0 14481 230 no data no data
921.39/45.47 c E st 1 0 0 3048 1618 0 14481 230 no data no data
921.39/45.47 c Verified 3048 clauses.
921.39/45.47 c Verified 3048 clauses.
921.39/45.47 c Solved part
921.39/45.47 c =========================================================================================
921.39/45.47 c Solving part 1567
924.59/45.54 c N st 0 0 4524 13809 5358 0 66911 1054 no data no data
934.18/45.88 c asymm cl-useful: 1262/13809/13809 lits-rem:1960 time: 0.33
937.38/46.00 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 4 Bins: 0 BRemL: 0 BRemN: 0 P: 4.4M T: 0.12
940.58/46.01 c Finding binary XORs T: 0.01 s found: 0
940.58/46.01 c Replacing 4 vars Replaced 92 lits Time: 0.00 s
940.58/46.02 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
940.58/46.02 c calculated reachability. Time: 0.00
940.58/46.02 c Calc default polars - time: 0.00 s pos: 1156 undec: 33525 neg: 1138
940.58/46.02 c =========================================================================================
940.58/46.02 c types(t): F = full restart, N = normal restart
940.58/46.02 c types(t): S = simplification begin/end, E = solution found
940.58/46.02 c restart types(rt): st = static, dy = dynamic
940.58/46.02 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
940.58/46.02 c B st 0 0 4520 13807 5354 0 64933 1054 no data no data
940.58/46.02 c E st 1 0 0 13807 5354 0 64933 1054 no data no data
940.58/46.02 c Verified 13807 clauses.
940.58/46.02 c Verified 13807 clauses.
940.58/46.02 c Solved part
940.58/46.02 c =========================================================================================
940.58/46.03 c Solving part 1746
947.53/46.29 c N st 0 0 4873 188518 7815 12081 743518 132952 no data no data
950.07/46.39 c asymm cl-useful: 4/342/188518 lits-rem:4 time: 0.10
972.37/47.10 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 0 BRemL: 0 BRemN: 0 P: 69.7M T: 0.66
975.56/47.11 c Finding binary XORs T: 0.01 s found: 0
975.56/47.13 c Replacing 2 vars Replaced 648 lits Time: 0.01 s
979.35/47.25 c Finding non-binary XORs: 0.10 s (found: 0, avg size: nan)
979.35/47.25 c calculated reachability. Time: 0.00
979.35/47.25 c Calc default polars - time: 0.01 s pos: 1562 undec: 32692 neg: 1565
979.35/47.26 c =========================================================================================
979.35/47.26 c types(t): F = full restart, N = normal restart
979.35/47.26 c types(t): S = simplification begin/end, E = solution found
979.35/47.26 c restart types(rt): st = static, dy = dynamic
979.35/47.26 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
979.35/47.26 c B st 0 0 4871 188517 7811 12081 743506 132943 no data no data
1045.89/49.32 c N dy 15 5025 4871 188517 7811 17066 743506 195135 6.83 7.27
1100.22/51.09 c N dy 26 9259 4869 188517 7837 21224 743505 243896 6.50 6.84
1155.17/52.79 c N dy 55 13351 4869 188517 7842 25284 743505 298419 6.83 7.99
1208.88/54.41 c N dy 72 17425 4868 188517 7854 29318 743505 348856 6.82 7.44
1260.62/56.10 c N dy 90 21464 4868 188517 7861 17391 743505 158772 6.81 8.33
1314.36/57.74 c F st 111 25001 4868 188517 7862 20903 743505 203468 6.87 6.58
1323.96/58.08 c N st 113 25628 4868 188517 7863 21526 743505 211948 6.87 no data
1387.89/60.07 c N dy 117 30197 4868 188517 7863 26080 743505 281003 6.87 no data
1442.22/61.77 c N dy 136 34330 4867 188517 7872 30180 743505 336404 6.91 7.33
1512.55/63.94 c N dy 153 38559 4867 188517 7877 34373 743505 389409 6.87 7.24
1577.09/66.00 c N dy 175 42957 4867 188517 7880 20359 743505 170281 6.88 7.27
1630.84/67.64 c N dy 187 46963 4866 188517 7887 24322 743505 222469 6.86 8.46
1647.42/68.12 c Finding binary XORs T: 0.01 s found: 0
1685.78/69.36 c N dy 201 50984 4865 187551 7667 21575 739684 203230 6.84 7.26
1752.91/71.47 c N dy 220 55651 4863 187551 7681 26195 739684 265671 6.84 7.22
1819.44/73.52 c N dy 250 60085 4862 187551 7688 30592 739684 323605 6.86 7.35
1880.17/75.47 c N dy 268 64373 4861 187551 7702 18105 739682 142868 6.86 7.28
1944.09/77.49 c N dy 292 68632 4861 187551 7706 22335 739682 200212 6.87 7.24
2017.62/79.73 c N dy 325 73069 4861 187551 7708 26734 739682 260570 6.91 7.28
2081.52/81.76 c N dy 351 77780 4860 187551 7714 31408 739682 325887 6.93 7.35
2151.84/83.99 c N dy 385 82919 4860 187551 7715 36517 739682 394891 6.97 7.35
2231.76/86.43 c F st 423 87500 4860 187551 7715 21292 739682 160411 7.02 6.82
2250.97/87.01 c N st 426 88691 4860 187551 7715 22477 739682 177247 7.02 no data
2327.69/89.46 c N dy 436 94352 4860 187551 7717 28105 739682 262123 7.02 7.45
2433.15/92.78 c N dy 477 100788 4859 187551 7728 34483 739682 348045 7.05 7.48
2538.63/96.01 c N dy 518 108007 4859 187551 7730 41648 739682 450874 7.09 7.52
2637.73/99.20 c N dy 560 115491 4859 187551 7737 27252 739681 217642 7.12 7.63
2682.48/100.54 c Finding binary XORs T: 0.01 s found: 0
2749.61/102.61 c N dy 599 123024 4858 186291 7539 30421 734680 290305 7.13 7.58
2878.08/106.62 c N dy 642 130889 4857 186291 7546 38243 734680 402846 7.14 9.83
3008.52/110.72 c N dy 685 139283 4857 186291 7553 25417 734679 192332 7.15 9.06
3149.18/115.17 c N dy 725 148465 4856 186291 7563 34538 734679 324046 7.15 7.59
3308.98/120.17 c N dy 767 158103 4856 186291 7571 44121 734677 460185 7.14 7.56
3472.03/125.20 c N dy 828 168230 4855 186291 7584 30687 734677 252386 7.17 7.64
3625.46/130.04 c N dy 885 179700 4855 186291 7589 42085 734677 414910 7.18 7.58
3823.67/136.22 c N dy 949 191211 4852 186291 7613 28335 734677 204981 7.20 8.03
3945.10/140.00 c Finding binary XORs T: 0.01 s found: 0
4025.02/142.52 c N dy 1034 203422 4852 185386 7523 37501 731279 367574 7.24 8.62
4255.17/149.74 c N dy 1114 216496 4851 185386 7531 25491 731279 165087 7.28 7.89
4485.34/156.93 c N dy 1216 230355 4851 185386 7534 39268 731279 375835 7.33 9.53
4747.44/165.19 c N dy 1306 245139 4848 185386 7544 27059 731279 165767 7.35 7.80
5035.12/174.13 c N dy 1408 261756 4848 185386 7544 43588 731279 416503 7.38 7.86
5335.61/183.59 c N dy 1501 278543 4848 185386 7552 31905 731279 218991 7.40 7.83
5645.68/193.27 c N dy 1601 296339 4847 185386 7563 49589 731279 484169 7.42 7.83
5840.64/199.35 c F st 1677 306253 4847 185386 7563 29871 731279 170842 7.44 no data
5990.89/204.07 c N dy 1709 315267 4847 185386 7566 38820 731279 308678 7.45 7.94
6362.32/215.65 c N dy 1820 335274 4847 185386 7577 58718 731279 616675 7.48 7.99
6716.48/226.77 c N dy 1936 355804 4847 185386 7581 48443 731279 442789 7.50 8.16
7080.91/238.15 c N dy 2059 375899 4847 185386 7589 36653 731279 247907 7.53 9.93
7449.12/249.70 c N dy 2179 395984 4847 185386 7593 56618 731279 557911 7.55 7.96
7796.92/260.59 c Finding binary XORs T: 0.01 s found: 2
7819.30/261.23 c N dy 2300 416071 4847 184549 7531 42708 727960 344761 7.58 8.76
8180.52/272.58 c N dy 2403 436142 4847 184549 7536 62677 727960 655196 7.59 8.89
8567.28/284.61 c N dy 2521 456186 4847 184549 7542 49356 727960 434721 7.61 9.25
8957.28/296.91 c N dy 2641 476387 4846 184549 7551 34911 727960 193719 7.62 8.06
9312.69/308.01 c N dy 2752 496684 4846 184549 7558 55078 727960 502045 7.63 8.16
9705.24/320.29 c N dy 2865 516781 4844 184549 7573 39404 727959 255367 7.64 8.05
10051.08/331.02 c N dy 2995 536932 4844 184549 7575 59467 727958 585813 7.66 8.10
10437.85/343.21 c N dy 3132 557208 4842 184549 7584 42920 727958 305341 7.68 8.13
10792.69/354.27 c N dy 3240 577265 4842 184549 7589 62856 727957 628092 7.69 8.13
11188.44/366.70 c N dy 3363 597658 4841 184549 7603 45485 727957 329484 7.71 8.18
11284.95/369.63 c Finding binary XORs T: 0.01 s found: 9
11556.03/378.18 c N dy 3469 617759 4838 182602 7424 63385 719765 634154 7.71 8.17
11930.02/389.90 c N dy 3574 637950 4838 182602 7429 46592 719765 344571 7.72 8.16
12316.79/401.90 c N dy 3658 658041 4833 182602 7447 66590 719765 671215 7.72 9.13
12709.98/414.20 c N dy 3751 678132 4828 182602 7469 47891 719765 340769 7.72 8.15
13090.34/426.17 c N dy 3863 698290 4825 182602 7483 67931 719765 676026 7.72 8.28
13489.92/438.64 c N dy 3972 718293 4825 182602 7489 47960 719765 327697 7.73 8.17
13800.00/448.34 c Finding binary XORs T: 0.01 s found: 21
13879.92/450.92 c N dy 4075 738400 4825 180244 7426 66972 710210 665704 7.73 8.14
14276.26/463.26 c N dy 4177 758457 4824 180244 7439 46103 710210 280484 7.74 8.15
14647.09/474.80 c N dy 4278 778515 4817 180244 7461 66017 710210 611340 7.74 8.98
15037.04/487.10 c N dy 4370 798759 4804 180244 7480 86113 710210 956715 7.74 8.24
15417.44/498.93 c N dy 4472 819210 4804 180244 7493 64908 710210 586025 7.75 8.19
15567.64/503.84 c Finding binary XORs T: 0.01 s found: 16
15766.88/510.57 c Replacing 48 vars Replaced 44170 lits Time: 0.09 s
15772.68/510.77 c N dy 4572 839231 4755 170628 7332 78750 672137 874326 7.75 8.19
15809.97/512.03 c Finding binary XORs T: 0.01 s found: 1
16044.25/521.31 c N dy 4636 859369 4731 170628 7382 57427 672137 472344 7.74 8.17
16145.67/525.65 c Finding binary XORs T: 0.01 s found: 33
16256.86/531.16 c N dy 4716 879635 4701 160602 7221 66331 632376 689201 7.74 8.25
16332.27/535.54 c Finding binary XORs T: 0.01 s found: 24
16332.27/535.57 c Replacing 58 vars Replaced 30833 lits Time: 0.03 s
16352.06/536.89 c E dy 4742 892035 4458 112864 6850 23506 443951 122276 7.72 3.36
16648.35/602.48 c Following stats are for *FIRST FINISHED THREAD ONLY*
16648.35/602.48 c num threads : 32
16648.35/602.48 c restarts : 115
16648.35/602.48 c dynamic restarts : 109
16648.35/602.48 c static restarts : 6
16648.35/602.48 c full restarts : 0
16648.35/602.48 c total simplify time : 0.16
16648.35/602.48 c learnts DL2 : 0
16648.35/602.48 c learnts size 2 : 71331
16648.35/602.48 c learnts size 1 : 481 (1.34 % of vars)
16648.35/602.48 c filedLit time : 4.06 (0.70 % time)
16648.35/602.48 c v-elim SatELite : 2644 (7.38 % vars)
16648.35/602.48 c SatELite time : 1.53 (0.26 % time)
16648.35/602.48 c v-elim xor : 0 (0.00 % vars)
16648.35/602.48 c xor elim time : 0.00 (0.00 % time)
16648.35/602.48 c num binary xor trees : 22
16648.35/602.48 c binxor trees' crown : 327 (14.86 leafs/tree)
16648.35/602.48 c bin xor find time : 0.17
16648.35/602.48 c OTF clause improved : 224 (0.01 clauses/conflict)
16648.35/602.48 c OTF impr. size diff : 301 (1.34 lits/clause)
16648.35/602.48 c OTF cl watch-shrink : 16728 (0.67 clauses/conflict)
16648.35/602.48 c OTF cl watch-sh-lit : 41210 (2.46 lits/clause)
16648.35/602.48 c tried to recurMin cls : 5031 (20.12 % of conflicts)
16648.35/602.48 c updated cache : 0 (0.00 lits/tried recurMin)
16648.35/602.48 c unit cls recevied : 6 (1.25 % of units)
16648.35/602.48 c unit cls sent : 1 (0.21 % of units)
16648.35/602.48 c bin cls recevied : 9082
16648.35/602.48 c bin cls sent : 24
16648.35/602.48 c clauses over max glue : 0 (0.00 % of all clauses)
16648.35/602.48 c conflicts : 25001 (43.15 / sec)
16648.35/602.48 c decisions : 30875 (0.00 % random)
16648.35/602.48 c bogo-props : 1400925945 (2418083.12 / sec)
16648.35/602.48 c conflict literals : 309960 (56.59 % deleted)
16648.35/602.48 c Memory used : 9772.92 MB
16648.35/602.48 c single-thread CPU time : 579.35 s
16648.35/602.48 c all-threads sum CPU time : 16560.22 s
16648.35/602.48 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-3400790-1306784906/watcher-3400790-1306784906 -o /tmp/evaluation-result-3400790-1306784906/solver-3400790-1306784906 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400790-1306784906.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: 29.58 31.31 31.09 1/413 19543
/proc/meminfo: memFree=263695636/264257624 swapFree=67044744/67111528
[pid=19543] ppid=19541 vsize=338000 CPUtime=0.85 cores=0-31
/proc/19543/stat : 19543 (strangenight2-m) R 19541 19543 19517 0 -1 4202496 438 0 0 0 85 0 0 0 22 0 32 0 4456723 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091698 0 0 4096 2 18446744073709551615 0 0 17 25 0 0 0
/proc/19543/statm: 84500 378 297 95 0 79482 0
[pid=19543/tid=19544] ppid=19541 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19543/task/19544/stat : 19544 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091698 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19543/tid=19545] ppid=19541 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19543/task/19545/stat : 19545 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091698 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19543/tid=19546] ppid=19541 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19543/task/19546/stat : 19546 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091698 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=19543/tid=19547] ppid=19541 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19543/task/19547/stat : 19547 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091698 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=19543/tid=19548] ppid=19541 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19543/task/19548/stat : 19548 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091698 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19543/tid=19549] ppid=19541 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19543/task/19549/stat : 19549 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091698 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19543/tid=19550] ppid=19541 vsize=338000 CPUtime=0.03 cores=0-31
/proc/19543/task/19550/stat : 19550 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091688 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19543/tid=19551] ppid=19541 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19543/task/19551/stat : 19551 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091698 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=19543/tid=19552] ppid=19541 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19543/task/19552/stat : 19552 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091698 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19543/tid=19553] ppid=19541 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19543/task/19553/stat : 19553 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091698 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=19543/tid=19554] ppid=19541 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19543/task/19554/stat : 19554 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091698 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=19543/tid=19555] ppid=19541 vsize=338000 CPUtime=0 cores=0-31
/proc/19543/task/19555/stat : 19555 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=19543/tid=19556] ppid=19541 vsize=338000 CPUtime=0 cores=0-31
/proc/19543/task/19556/stat : 19556 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091688 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=19543/tid=19557] ppid=19541 vsize=338000 CPUtime=0.01 cores=0-31
/proc/19543/task/19557/stat : 19557 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 0 0 0 0 1 0 0 0 21 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091692 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=19543/tid=19558] ppid=19541 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19543/task/19558/stat : 19558 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091698 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=19543/tid=19559] ppid=19541 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19543/task/19559/stat : 19559 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091698 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=19543/tid=19560] ppid=19541 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19543/task/19560/stat : 19560 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091688 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=19543/tid=19561] ppid=19541 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19543/task/19561/stat : 19561 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091702 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=19543/tid=19562] ppid=19541 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19543/task/19562/stat : 19562 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091696 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=19543/tid=19563] ppid=19541 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19543/task/19563/stat : 19563 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091692 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19543/tid=19564] ppid=19541 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19543/task/19564/stat : 19564 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091696 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=19543/tid=19565] ppid=19541 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19543/task/19565/stat : 19565 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091698 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=19543/tid=19566] ppid=19541 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19543/task/19566/stat : 19566 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091698 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=19543/tid=19567] ppid=19541 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19543/task/19567/stat : 19567 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091696 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=19543/tid=19568] ppid=19541 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19543/task/19568/stat : 19568 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091692 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19543/tid=19569] ppid=19541 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19543/task/19569/stat : 19569 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091696 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=19543/tid=19570] ppid=19541 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19543/task/19570/stat : 19570 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091698 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=19543/tid=19571] ppid=19541 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19543/task/19571/stat : 19571 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091698 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=19543/tid=19572] ppid=19541 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19543/task/19572/stat : 19572 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091696 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=19543/tid=19573] ppid=19541 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19543/task/19573/stat : 19573 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091702 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=19543/tid=19574] ppid=19541 vsize=338000 CPUtime=0.02 cores=0-31
/proc/19543/task/19574/stat : 19574 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 4456724 346112000 378 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091698 0 0 4096 2 0 0 0 -1 30 0 0 0
[startup+0.0946269 s]
/proc/loadavg: 29.58 31.31 31.09 1/413 19543
/proc/meminfo: memFree=263695636/264257624 swapFree=67044744/67111528
[pid=19543] ppid=19541 vsize=732564 CPUtime=2.41 cores=0-31
/proc/19543/stat : 19543 (strangenight2-m) R 19541 19543 19517 0 -1 4202496 7827 0 0 0 176 65 0 0 23 0 32 0 4456723 750145536 7661 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 25 0 0 0
/proc/19543/statm: 183141 7683 331 95 0 178123 0
[pid=19543/tid=19544] ppid=19541 vsize=732564 CPUtime=0.07 cores=0-31
/proc/19543/task/19544/stat : 19544 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 244 0 0 0 6 1 0 0 24 0 32 0 4456724 750145536 7714 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19543/tid=19545] ppid=19541 vsize=732564 CPUtime=0.08 cores=0-31
/proc/19543/task/19545/stat : 19545 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 234 0 0 0 6 2 0 0 24 0 32 0 4456724 750145536 7714 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19543/tid=19546] ppid=19541 vsize=732564 CPUtime=0.07 cores=0-31
/proc/19543/task/19546/stat : 19546 (strangenight2-m) D 19541 19543 19517 0 -1 4202560 247 0 0 0 5 2 0 0 20 0 32 0 4456724 750145536 7714 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=19543/tid=19547] ppid=19541 vsize=732564 CPUtime=0.06 cores=0-31
/proc/19543/task/19547/stat : 19547 (strangenight2-m) D 19541 19543 19517 0 -1 4202560 185 0 0 0 5 1 0 0 20 0 32 0 4456724 750145536 7722 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=19543/tid=19548] ppid=19541 vsize=732564 CPUtime=0.07 cores=0-31
/proc/19543/task/19548/stat : 19548 (strangenight2-m) D 19541 19543 19517 0 -1 4202560 242 0 0 0 6 1 0 0 21 0 32 0 4456724 750145536 7728 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19543/tid=19549] ppid=19541 vsize=732564 CPUtime=0.08 cores=0-31
/proc/19543/task/19549/stat : 19549 (strangenight2-m) D 19541 19543 19517 0 -1 4202560 235 0 0 0 6 2 0 0 21 0 32 0 4456724 750145536 7737 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19543/tid=19550] ppid=19541 vsize=732564 CPUtime=0.08 cores=0-31
/proc/19543/task/19550/stat : 19550 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 242 0 0 0 6 2 0 0 21 0 32 0 4456724 750145536 7755 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19543/tid=19551] ppid=19541 vsize=732564 CPUtime=0.07 cores=0-31
/proc/19543/task/19551/stat : 19551 (strangenight2-m) D 19541 19543 19517 0 -1 4202560 275 0 0 0 5 2 0 0 18 0 32 0 4456724 750145536 7755 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=19543/tid=19552] ppid=19541 vsize=732564 CPUtime=0.07 cores=0-31
/proc/19543/task/19552/stat : 19552 (strangenight2-m) D 19541 19543 19517 0 -1 4202560 271 0 0 0 5 2 0 0 18 0 32 0 4456724 750145536 7755 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19543/tid=19553] ppid=19541 vsize=732564 CPUtime=0.06 cores=0-31
/proc/19543/task/19553/stat : 19553 (strangenight2-m) D 19541 19543 19517 0 -1 4202560 238 0 0 0 5 1 0 0 21 0 32 0 4456724 750145536 7762 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=19543/tid=19554] ppid=19541 vsize=732564 CPUtime=0.05 cores=0-31
/proc/19543/task/19554/stat : 19554 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 198 0 0 0 4 1 0 0 21 0 32 0 4456724 750145536 7774 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=19543/tid=19555] ppid=19541 vsize=732564 CPUtime=0.02 cores=0-31
/proc/19543/task/19555/stat : 19555 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 247 0 0 0 0 2 0 0 21 0 32 0 4456724 750145536 7792 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=19543/tid=19556] ppid=19541 vsize=732564 CPUtime=0.05 cores=0-31
/proc/19543/task/19556/stat : 19556 (strangenight2-m) D 19541 19543 19517 0 -1 4202560 244 0 0 0 3 2 0 0 18 0 32 0 4456724 750145536 7796 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=19543/tid=19557] ppid=19541 vsize=732564 CPUtime=0.05 cores=0-31
/proc/19543/task/19557/stat : 19557 (strangenight2-m) D 19541 19543 19517 0 -1 4202560 212 0 0 0 4 1 0 0 22 0 32 0 4456724 750145536 7796 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=19543/tid=19558] ppid=19541 vsize=732564 CPUtime=0.07 cores=0-31
/proc/19543/task/19558/stat : 19558 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 272 0 0 0 5 2 0 0 18 0 32 0 4456724 750145536 7803 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=19543/tid=19559] ppid=19541 vsize=732564 CPUtime=0.07 cores=0-31
/proc/19543/task/19559/stat : 19559 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 297 0 0 0 5 2 0 0 18 0 32 0 4456724 750145536 7812 268435456000 4194304 4580107 140737267782048 18446744073709551615 258651060958 0 0 4096 2 18446744071566924824 0 0 -1 29 0 0 0
[pid=19543/tid=19560] ppid=19541 vsize=732564 CPUtime=0.07 cores=0-31
/proc/19543/task/19560/stat : 19560 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 227 0 0 0 5 2 0 0 18 0 32 0 4456724 750145536 7828 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=19543/tid=19561] ppid=19541 vsize=732564 CPUtime=0.06 cores=0-31
/proc/19543/task/19561/stat : 19561 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 201 0 0 0 5 1 0 0 23 0 32 0 4456724 750145536 7832 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=19543/tid=19562] ppid=19541 vsize=732564 CPUtime=0.07 cores=0-31
/proc/19543/task/19562/stat : 19562 (strangenight2-m) D 19541 19543 19517 0 -1 4202560 245 0 0 0 5 2 0 0 23 0 32 0 4456724 750145536 7832 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=19543/tid=19563] ppid=19541 vsize=732564 CPUtime=0.06 cores=0-31
/proc/19543/task/19563/stat : 19563 (strangenight2-m) D 19541 19543 19517 0 -1 4202560 212 0 0 0 5 1 0 0 23 0 32 0 4456724 750145536 7839 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19543/tid=19564] ppid=19541 vsize=732564 CPUtime=0.06 cores=0-31
/proc/19543/task/19564/stat : 19564 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 211 0 0 0 5 1 0 0 23 0 32 0 4456724 750145536 7847 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=19543/tid=19565] ppid=19541 vsize=732564 CPUtime=0.07 cores=0-31
/proc/19543/task/19565/stat : 19565 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 221 0 0 0 5 2 0 0 23 0 32 0 4456724 750145536 7867 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=19543/tid=19566] ppid=19541 vsize=732564 CPUtime=0.06 cores=0-31
/proc/19543/task/19566/stat : 19566 (strangenight2-m) D 19541 19543 19517 0 -1 4202560 211 0 0 0 5 1 0 0 23 0 32 0 4456724 750145536 7868 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=19543/tid=19567] ppid=19541 vsize=732564 CPUtime=0.07 cores=0-31
/proc/19543/task/19567/stat : 19567 (strangenight2-m) D 19541 19543 19517 0 -1 4202560 261 0 0 0 5 2 0 0 23 0 32 0 4456724 750145536 7868 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=19543/tid=19568] ppid=19541 vsize=732564 CPUtime=0.07 cores=0-31
/proc/19543/task/19568/stat : 19568 (strangenight2-m) D 19541 19543 19517 0 -1 4202560 244 0 0 0 5 2 0 0 24 0 32 0 4456724 750145536 7872 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19543/tid=19569] ppid=19541 vsize=732564 CPUtime=0.07 cores=0-31
/proc/19543/task/19569/stat : 19569 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 230 0 0 0 5 2 0 0 24 0 32 0 4456724 750145536 7886 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=19543/tid=19570] ppid=19541 vsize=732564 CPUtime=0.07 cores=0-31
/proc/19543/task/19570/stat : 19570 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 225 0 0 0 5 2 0 0 24 0 32 0 4456724 750145536 7901 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=19543/tid=19571] ppid=19541 vsize=732564 CPUtime=0.07 cores=0-31
/proc/19543/task/19571/stat : 19571 (strangenight2-m) D 19541 19543 19517 0 -1 4202560 275 0 0 0 5 2 0 0 24 0 32 0 4456724 750145536 7901 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=19543/tid=19572] ppid=19541 vsize=732564 CPUtime=0.06 cores=0-31
/proc/19543/task/19572/stat : 19572 (strangenight2-m) D 19541 19543 19517 0 -1 4202560 199 0 0 0 5 1 0 0 17 0 32 0 4456724 750145536 7901 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=19543/tid=19573] ppid=19541 vsize=732564 CPUtime=0.06 cores=0-31
/proc/19543/task/19573/stat : 19573 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 190 0 0 0 5 1 0 0 24 0 32 0 4456724 750145536 7905 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=19543/tid=19574] ppid=19541 vsize=732564 CPUtime=0.07 cores=0-31
/proc/19543/task/19574/stat : 19574 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 245 0 0 0 5 2 0 0 24 0 32 0 4456724 750145536 7925 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 732564
[startup+0.104441 s]
/proc/loadavg: 29.58 31.31 31.09 1/413 19543
/proc/meminfo: memFree=263695636/264257624 swapFree=67044744/67111528
[pid=19543] ppid=19541 vsize=929308 CPUtime=2.54 cores=0-31
/proc/19543/stat : 19543 (strangenight2-m) R 19541 19543 19517 0 -1 4202496 8876 0 0 0 176 78 0 0 23 0 32 0 4456723 951611392 8712 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650616986 0 0 4096 2 18446744073709551615 0 0 17 25 0 0 0
/proc/19543/statm: 232327 8718 332 95 0 227309 0
[pid=19543/tid=19544] ppid=19541 vsize=929308 CPUtime=0.08 cores=0-31
/proc/19543/task/19544/stat : 19544 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 274 0 0 0 6 2 0 0 24 0 32 0 4456724 951611392 8718 268435456000 4194304 4580107 140737267782048 18446744073709551615 258651060958 0 0 4096 2 18446604572164840928 0 0 -1 1 0 0 0
[pid=19543/tid=19545] ppid=19541 vsize=929308 CPUtime=0.08 cores=0-31
/proc/19543/task/19545/stat : 19545 (strangenight2-m) D 19541 19543 19517 0 -1 4202560 269 0 0 0 6 2 0 0 24 0 32 0 4456724 951611392 8725 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19543/tid=19546] ppid=19541 vsize=929308 CPUtime=0.07 cores=0-31
/proc/19543/task/19546/stat : 19546 (strangenight2-m) D 19541 19543 19517 0 -1 4202560 278 0 0 0 5 2 0 0 19 0 32 0 4456724 951611392 8735 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=19543/tid=19547] ppid=19541 vsize=929308 CPUtime=0.07 cores=0-31
/proc/19543/task/19547/stat : 19547 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 223 0 0 0 5 2 0 0 19 0 32 0 4456724 951611392 8743 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=19543/tid=19548] ppid=19541 vsize=929308 CPUtime=0.08 cores=0-31
/proc/19543/task/19548/stat : 19548 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 267 0 0 0 6 2 0 0 17 0 32 0 4456724 951611392 8743 268435456000 4194304 4580107 140737267782048 18446744073709551615 258651060958 0 0 4096 2 18446604527553764832 0 0 -1 5 0 0 0
[pid=19543/tid=19549] ppid=19541 vsize=929308 CPUtime=0.08 cores=0-31
/proc/19543/task/19549/stat : 19549 (strangenight2-m) D 19541 19543 19517 0 -1 4202560 272 0 0 0 6 2 0 0 21 0 32 0 4456724 951611392 8744 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19543/tid=19550] ppid=19541 vsize=994844 CPUtime=0.08 cores=0-31
/proc/19543/task/19550/stat : 19550 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 267 0 0 0 6 2 0 0 21 0 32 0 4456724 1018720256 8757 268435456000 4194304 4580107 140737267782048 18446744073709551615 258651060958 0 0 4096 2 18446744071566924544 0 0 -1 3 0 0 0
[pid=19543/tid=19551] ppid=19541 vsize=994844 CPUtime=0.07 cores=0-31
/proc/19543/task/19551/stat : 19551 (strangenight2-m) D 19541 19543 19517 0 -1 4202560 296 0 0 0 5 2 0 0 18 0 32 0 4456724 1018720256 8765 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=19543/tid=19552] ppid=19541 vsize=994844 CPUtime=0.07 cores=0-31
/proc/19543/task/19552/stat : 19552 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 303 0 0 0 5 2 0 0 18 0 32 0 4456724 1018720256 8766 268435456000 4194304 4580107 140737267782048 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19543/tid=19553] ppid=19541 vsize=994844 CPUtime=0.07 cores=0-31
/proc/19543/task/19553/stat : 19553 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 276 0 0 0 5 2 0 0 18 0 32 0 4456724 1018720256 8776 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=19543/tid=19554] ppid=19541 vsize=994844 CPUtime=0.06 cores=0-31
/proc/19543/task/19554/stat : 19554 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 238 0 0 0 4 2 0 0 20 0 32 0 4456724 1018720256 8794 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=19543/tid=19555] ppid=19541 vsize=994844 CPUtime=0.02 cores=0-31
/proc/19543/task/19555/stat : 19555 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 268 0 0 0 0 2 0 0 17 0 32 0 4456724 1018720256 8832 268435456000 4194304 4580107 140737267782048 18446744073709551615 258651060958 0 0 4096 2 18446604498838674912 0 0 -1 21 0 0 0
[pid=19543/tid=19556] ppid=19541 vsize=994844 CPUtime=0.05 cores=0-31
/proc/19543/task/19556/stat : 19556 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 268 0 0 0 3 2 0 0 17 0 32 0 4456724 1018720256 8832 268435456000 4194304 4580107 140737267782048 18446744073709551615 258651060958 0 0 4096 2 18446744071566923864 0 0 -1 20 0 0 0
[pid=19543/tid=19557] ppid=19541 vsize=994844 CPUtime=0.06 cores=0-31
/proc/19543/task/19557/stat : 19557 (strangenight2-m) D 19541 19543 19517 0 -1 4202560 251 0 0 0 4 2 0 0 22 0 32 0 4456724 1018720256 8833 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=19543/tid=19558] ppid=19541 vsize=994844 CPUtime=0.07 cores=0-31
/proc/19543/task/19558/stat : 19558 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 301 0 0 0 5 2 0 0 18 0 32 0 4456724 1018720256 8838 268435456000 4194304 4580107 140737267782048 18446744073709551615 258651060958 0 0 4096 2 18446604494814518752 0 0 -1 9 0 0 0
[pid=19543/tid=19559] ppid=19541 vsize=994844 CPUtime=0.07 cores=0-31
/proc/19543/task/19559/stat : 19559 (strangenight2-m) D 19541 19543 19517 0 -1 4202560 317 0 0 0 5 2 0 0 17 0 32 0 4456724 1018720256 8844 268435456000 4194304 4580107 140737267782048 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=19543/tid=19560] ppid=19541 vsize=994844 CPUtime=0.07 cores=0-31
################
# More data... #
################
/proc/19543/stat : 19543 (strangenight2-m) S 19541 19543 19517 0 -1 4202496 3518801 0 0 0 1655825 8830 0 0 25 0 32 0 4456723 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/19543/statm: 2501867 1810509 391 95 0 2496849 0
[pid=19543/tid=19544] ppid=19541 vsize=10007468 CPUtime=502.77 cores=0-31
/proc/19543/task/19544/stat : 19544 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 132250 0 0 0 50018 259 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604452106534368 0 0 -1 26 0 0 0
[pid=19543/tid=19545] ppid=19541 vsize=10007468 CPUtime=581.15 cores=0-31
/proc/19543/task/19545/stat : 19545 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 124201 0 0 0 57837 278 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590066884 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=19543/tid=19546] ppid=19541 vsize=10007468 CPUtime=498.39 cores=0-31
/proc/19543/task/19546/stat : 19546 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 94018 0 0 0 49560 279 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604498838674912 0 0 -1 20 0 0 0
[pid=19543/tid=19547] ppid=19541 vsize=10007468 CPUtime=547.39 cores=0-31
/proc/19543/task/19547/stat : 19547 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 118539 0 0 0 54479 260 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604450482388448 0 0 -1 23 0 0 0
[pid=19543/tid=19548] ppid=19541 vsize=10007468 CPUtime=498.24 cores=0-31
/proc/19543/task/19548/stat : 19548 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 128215 0 0 0 49565 259 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604507708726752 0 0 -1 1 0 0 0
[pid=19543/tid=19549] ppid=19541 vsize=10007468 CPUtime=484.1 cores=0-31
/proc/19543/task/19549/stat : 19549 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 114505 0 0 0 48106 304 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604575288827360 0 0 -1 30 0 0 0
[pid=19543/tid=19550] ppid=19541 vsize=10007468 CPUtime=523.69 cores=0-31
/proc/19543/task/19550/stat : 19550 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 93935 0 0 0 52117 252 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604566750903776 0 0 -1 26 0 0 0
[pid=19543/tid=19551] ppid=19541 vsize=10007468 CPUtime=515.29 cores=0-31
/proc/19543/task/19551/stat : 19551 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 111628 0 0 0 51213 316 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604527553764832 0 0 -1 16 0 0 0
[pid=19543/tid=19552] ppid=19541 vsize=10007468 CPUtime=536.62 cores=0-31
/proc/19543/task/19552/stat : 19552 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 95519 0 0 0 53352 310 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604536746712544 0 0 -1 29 0 0 0
[pid=19543/tid=19553] ppid=19541 vsize=10007468 CPUtime=511.86 cores=0-31
/proc/19543/task/19553/stat : 19553 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 133723 0 0 0 50912 274 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604556926270944 0 0 -1 22 0 0 0
[pid=19543/tid=19554] ppid=19541 vsize=10007468 CPUtime=491 cores=0-31
/proc/19543/task/19554/stat : 19554 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 119358 0 0 0 48801 299 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604458995539424 0 0 -1 27 0 0 0
[pid=19543/tid=19555] ppid=19541 vsize=10007468 CPUtime=517.03 cores=0-31
/proc/19543/task/19555/stat : 19555 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 122213 0 0 0 51430 273 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604545994022368 0 0 -1 5 0 0 0
[pid=19543/tid=19556] ppid=19541 vsize=10007468 CPUtime=540.18 cores=0-31
/proc/19543/task/19556/stat : 19556 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 83519 0 0 0 53759 259 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604567025835488 0 0 -1 18 0 0 0
[pid=19543/tid=19557] ppid=19541 vsize=10007468 CPUtime=520.02 cores=0-31
/proc/19543/task/19557/stat : 19557 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 105208 0 0 0 51715 287 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604564800486880 0 0 -1 10 0 0 0
[pid=19543/tid=19558] ppid=19541 vsize=10007468 CPUtime=483.28 cores=0-31
/proc/19543/task/19558/stat : 19558 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 119703 0 0 0 48057 271 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446744071566929224 0 0 -1 18 0 0 0
[pid=19543/tid=19559] ppid=19541 vsize=10007468 CPUtime=492.45 cores=0-31
/proc/19543/task/19559/stat : 19559 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 93416 0 0 0 48965 280 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604573423779296 0 0 -1 13 0 0 0
[pid=19543/tid=19560] ppid=19541 vsize=10007468 CPUtime=554.76 cores=0-31
/proc/19543/task/19560/stat : 19560 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 126666 0 0 0 55232 244 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604451384204768 0 0 -1 4 0 0 0
[pid=19543/tid=19561] ppid=19541 vsize=10007468 CPUtime=515.2 cores=0-31
/proc/19543/task/19561/stat : 19561 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 107793 0 0 0 51260 260 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604453723397600 0 0 -1 14 0 0 0
[pid=19543/tid=19562] ppid=19541 vsize=10007468 CPUtime=501.26 cores=0-31
/proc/19543/task/19562/stat : 19562 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 118837 0 0 0 49823 303 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604566563503584 0 0 -1 18 0 0 0
[pid=19543/tid=19563] ppid=19541 vsize=10007468 CPUtime=531.64 cores=0-31
/proc/19543/task/19563/stat : 19563 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 77868 0 0 0 52913 251 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604574347353568 0 0 -1 12 0 0 0
[pid=19543/tid=19564] ppid=19541 vsize=10007468 CPUtime=514.82 cores=0-31
/proc/19543/task/19564/stat : 19564 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 120307 0 0 0 51165 317 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604558185741792 0 0 -1 11 0 0 0
[pid=19543/tid=19565] ppid=19541 vsize=10007468 CPUtime=533.81 cores=0-31
/proc/19543/task/19565/stat : 19565 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 111529 0 0 0 53072 309 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604533629894112 0 0 -1 24 0 0 0
[pid=19543/tid=19566] ppid=19541 vsize=10007468 CPUtime=539.41 cores=0-31
/proc/19543/task/19566/stat : 19566 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 108705 0 0 0 53664 277 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604537530203616 0 0 -1 21 0 0 0
[pid=19543/tid=19567] ppid=19541 vsize=10007468 CPUtime=526.65 cores=0-31
/proc/19543/task/19567/stat : 19567 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 100873 0 0 0 52368 297 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604526618484192 0 0 -1 23 0 0 0
[pid=19543/tid=19568] ppid=19541 vsize=10007468 CPUtime=509.46 cores=0-31
/proc/19543/task/19568/stat : 19568 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 114655 0 0 0 50683 263 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604512764239328 0 0 -1 29 0 0 0
[pid=19543/tid=19569] ppid=19541 vsize=10007468 CPUtime=529.92 cores=0-31
/proc/19543/task/19569/stat : 19569 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 132280 0 0 0 52709 283 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604473479437792 0 0 -1 27 0 0 0
[pid=19543/tid=19570] ppid=19541 vsize=10007468 CPUtime=524.72 cores=0-31
/proc/19543/task/19570/stat : 19570 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 95004 0 0 0 52212 260 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604524916178400 0 0 -1 18 0 0 0
[pid=19543/tid=19571] ppid=19541 vsize=10007468 CPUtime=506.77 cores=0-31
/proc/19543/task/19571/stat : 19571 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 106600 0 0 0 50417 260 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604450944015840 0 0 -1 28 0 0 0
[pid=19543/tid=19572] ppid=19541 vsize=10007468 CPUtime=492.13 cores=0-31
/proc/19543/task/19572/stat : 19572 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 121274 0 0 0 48923 290 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604453707750880 0 0 -1 25 0 0 0
[pid=19543/tid=19573] ppid=19541 vsize=10007468 CPUtime=510.37 cores=0-31
/proc/19543/task/19573/stat : 19573 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 100988 0 0 0 50773 264 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604515364593120 0 0 -1 9 0 0 0
[pid=19543/tid=19574] ppid=19541 vsize=10007468 CPUtime=593.66 cores=0-31
/proc/19543/task/19574/stat : 19574 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 94833 0 0 0 59210 156 0 0 25 0 32 0 4456724 10247647232 1810509 268435456000 4194304 4580107 140737267782048 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 16646.6
Current children cumulated vsize (KiB) 10007468
[startup+602.303 s]
/proc/loadavg: 12.00 25.79 29.32 3/445 19591
/proc/meminfo: memFree=256434404/264257624 swapFree=67044744/67111528
[pid=19543] ppid=19541 vsize=10007468 CPUtime=16648.2 cores=0-31
/proc/19543/stat : 19543 (strangenight2-m) S 19541 19543 19517 0 -1 4202496 3518840 0 0 0 1655985 8830 0 0 25 0 32 0 4456723 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/19543/statm: 2501867 1810548 391 95 0 2496849 0
[pid=19543/tid=19544] ppid=19541 vsize=10007468 CPUtime=502.77 cores=0-31
/proc/19543/task/19544/stat : 19544 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 132250 0 0 0 50018 259 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604452106534368 0 0 -1 26 0 0 0
[pid=19543/tid=19545] ppid=19541 vsize=10007468 CPUtime=581.95 cores=0-31
/proc/19543/task/19545/stat : 19545 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 124201 0 0 0 57917 278 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590066731 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=19543/tid=19546] ppid=19541 vsize=10007468 CPUtime=498.39 cores=0-31
/proc/19543/task/19546/stat : 19546 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 94018 0 0 0 49560 279 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604498838674912 0 0 -1 20 0 0 0
[pid=19543/tid=19547] ppid=19541 vsize=10007468 CPUtime=547.39 cores=0-31
/proc/19543/task/19547/stat : 19547 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 118539 0 0 0 54479 260 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604450482388448 0 0 -1 23 0 0 0
[pid=19543/tid=19548] ppid=19541 vsize=10007468 CPUtime=498.24 cores=0-31
/proc/19543/task/19548/stat : 19548 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 128215 0 0 0 49565 259 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604507708726752 0 0 -1 1 0 0 0
[pid=19543/tid=19549] ppid=19541 vsize=10007468 CPUtime=484.1 cores=0-31
/proc/19543/task/19549/stat : 19549 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 114505 0 0 0 48106 304 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604575288827360 0 0 -1 30 0 0 0
[pid=19543/tid=19550] ppid=19541 vsize=10007468 CPUtime=523.69 cores=0-31
/proc/19543/task/19550/stat : 19550 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 93935 0 0 0 52117 252 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604566750903776 0 0 -1 26 0 0 0
[pid=19543/tid=19551] ppid=19541 vsize=10007468 CPUtime=515.29 cores=0-31
/proc/19543/task/19551/stat : 19551 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 111628 0 0 0 51213 316 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604527553764832 0 0 -1 16 0 0 0
[pid=19543/tid=19552] ppid=19541 vsize=10007468 CPUtime=536.62 cores=0-31
/proc/19543/task/19552/stat : 19552 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 95519 0 0 0 53352 310 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604536746712544 0 0 -1 29 0 0 0
[pid=19543/tid=19553] ppid=19541 vsize=10007468 CPUtime=511.86 cores=0-31
/proc/19543/task/19553/stat : 19553 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 133723 0 0 0 50912 274 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604556926270944 0 0 -1 22 0 0 0
[pid=19543/tid=19554] ppid=19541 vsize=10007468 CPUtime=491 cores=0-31
/proc/19543/task/19554/stat : 19554 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 119358 0 0 0 48801 299 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604458995539424 0 0 -1 27 0 0 0
[pid=19543/tid=19555] ppid=19541 vsize=10007468 CPUtime=517.03 cores=0-31
/proc/19543/task/19555/stat : 19555 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 122213 0 0 0 51430 273 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604545994022368 0 0 -1 5 0 0 0
[pid=19543/tid=19556] ppid=19541 vsize=10007468 CPUtime=540.18 cores=0-31
/proc/19543/task/19556/stat : 19556 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 83519 0 0 0 53759 259 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604567025835488 0 0 -1 18 0 0 0
[pid=19543/tid=19557] ppid=19541 vsize=10007468 CPUtime=520.02 cores=0-31
/proc/19543/task/19557/stat : 19557 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 105208 0 0 0 51715 287 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604564800486880 0 0 -1 10 0 0 0
[pid=19543/tid=19558] ppid=19541 vsize=10007468 CPUtime=483.28 cores=0-31
/proc/19543/task/19558/stat : 19558 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 119703 0 0 0 48057 271 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446744071566929224 0 0 -1 18 0 0 0
[pid=19543/tid=19559] ppid=19541 vsize=10007468 CPUtime=492.45 cores=0-31
/proc/19543/task/19559/stat : 19559 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 93416 0 0 0 48965 280 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604573423779296 0 0 -1 13 0 0 0
[pid=19543/tid=19560] ppid=19541 vsize=10007468 CPUtime=554.76 cores=0-31
/proc/19543/task/19560/stat : 19560 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 126666 0 0 0 55232 244 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604451384204768 0 0 -1 4 0 0 0
[pid=19543/tid=19561] ppid=19541 vsize=10007468 CPUtime=515.2 cores=0-31
/proc/19543/task/19561/stat : 19561 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 107793 0 0 0 51260 260 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604453723397600 0 0 -1 14 0 0 0
[pid=19543/tid=19562] ppid=19541 vsize=10007468 CPUtime=501.26 cores=0-31
/proc/19543/task/19562/stat : 19562 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 118837 0 0 0 49823 303 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604566563503584 0 0 -1 18 0 0 0
[pid=19543/tid=19563] ppid=19541 vsize=10007468 CPUtime=531.64 cores=0-31
/proc/19543/task/19563/stat : 19563 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 77868 0 0 0 52913 251 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604574347353568 0 0 -1 12 0 0 0
[pid=19543/tid=19564] ppid=19541 vsize=10007468 CPUtime=514.82 cores=0-31
/proc/19543/task/19564/stat : 19564 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 120307 0 0 0 51165 317 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604558185741792 0 0 -1 11 0 0 0
[pid=19543/tid=19565] ppid=19541 vsize=10007468 CPUtime=533.81 cores=0-31
/proc/19543/task/19565/stat : 19565 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 111529 0 0 0 53072 309 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604533629894112 0 0 -1 24 0 0 0
[pid=19543/tid=19566] ppid=19541 vsize=10007468 CPUtime=539.41 cores=0-31
/proc/19543/task/19566/stat : 19566 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 108705 0 0 0 53664 277 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604537530203616 0 0 -1 21 0 0 0
[pid=19543/tid=19567] ppid=19541 vsize=10007468 CPUtime=526.65 cores=0-31
/proc/19543/task/19567/stat : 19567 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 100873 0 0 0 52368 297 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604526618484192 0 0 -1 23 0 0 0
[pid=19543/tid=19568] ppid=19541 vsize=10007468 CPUtime=509.46 cores=0-31
/proc/19543/task/19568/stat : 19568 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 114655 0 0 0 50683 263 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604512764239328 0 0 -1 29 0 0 0
[pid=19543/tid=19569] ppid=19541 vsize=10007468 CPUtime=529.92 cores=0-31
/proc/19543/task/19569/stat : 19569 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 132280 0 0 0 52709 283 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604473479437792 0 0 -1 27 0 0 0
[pid=19543/tid=19570] ppid=19541 vsize=10007468 CPUtime=524.72 cores=0-31
/proc/19543/task/19570/stat : 19570 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 95004 0 0 0 52212 260 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604524916178400 0 0 -1 18 0 0 0
[pid=19543/tid=19571] ppid=19541 vsize=10007468 CPUtime=506.77 cores=0-31
/proc/19543/task/19571/stat : 19571 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 106600 0 0 0 50417 260 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604450944015840 0 0 -1 28 0 0 0
[pid=19543/tid=19572] ppid=19541 vsize=10007468 CPUtime=492.13 cores=0-31
/proc/19543/task/19572/stat : 19572 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 121274 0 0 0 48923 290 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604453707750880 0 0 -1 25 0 0 0
[pid=19543/tid=19573] ppid=19541 vsize=10007468 CPUtime=510.37 cores=0-31
/proc/19543/task/19573/stat : 19573 (strangenight2-m) S 19541 19543 19517 0 -1 4202560 100988 0 0 0 50773 264 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 47661590091316 0 0 4096 2 18446604515364593120 0 0 -1 9 0 0 0
[pid=19543/tid=19574] ppid=19541 vsize=10007468 CPUtime=594.46 cores=0-31
/proc/19543/task/19574/stat : 19574 (strangenight2-m) R 19541 19543 19517 0 -1 4202560 94872 0 0 0 59290 156 0 0 25 0 32 0 4456724 10247647232 1810548 268435456000 4194304 4580107 140737267782048 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 16648.2
Current children cumulated vsize (KiB) 10007468
[startup+602.701 s]
/proc/loadavg: 12.00 25.79 29.32 2/415 19591
/proc/meminfo: memFree=259142184/264257624 swapFree=67044744/67111528
[pid=19543] ppid=19541 vsize=0 CPUtime=16648.8 cores=0-31
/proc/19543/stat : 19543 (strangenight2-m) Z 19541 19543 19517 0 -1 4203548 3518851 0 0 0 1656021 8857 0 0 18 0 2 0 4456723 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/19543/statm: 0 0 0 0 0 0 0
[pid=19543/tid=19545] ppid=19541 vsize=0 CPUtime=582.38 cores=0-31
/proc/19543/task/19545/stat : 19545 (strangenight2-m) R 19541 19543 19517 0 -1 4202564 124205 0 0 0 57935 303 0 0 25 0 2 0 4456724 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 16648.8
Current children cumulated vsize (KiB) 0
[startup+602.901 s]
/proc/loadavg: 12.00 25.79 29.32 2/415 19591
/proc/meminfo: memFree=259142184/264257624 swapFree=67044744/67111528
[pid=19543] ppid=19541 vsize=0 CPUtime=16648.9 cores=0-31
/proc/19543/stat : 19543 (strangenight2-m) Z 19541 19543 19517 0 -1 4203548 3518851 0 0 0 1656021 8873 0 0 18 0 2 0 4456723 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/19543/statm: 0 0 0 0 0 0 0
[pid=19543/tid=19545] ppid=19541 vsize=0 CPUtime=582.55 cores=0-31
/proc/19543/task/19545/stat : 19545 (strangenight2-m) R 19541 19543 19517 0 -1 4202564 124205 0 0 0 57935 320 0 0 25 0 2 0 4456724 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 16648.9
Current children cumulated vsize (KiB) 0
[startup+603.001 s]
/proc/loadavg: 12.00 25.79 29.32 2/415 19591
/proc/meminfo: memFree=259142184/264257624 swapFree=67044744/67111528
[pid=19543] ppid=19541 vsize=0 CPUtime=16649 cores=0-31
/proc/19543/stat : 19543 (strangenight2-m) Z 19541 19543 19517 0 -1 4203548 3518851 0 0 0 1656021 8883 0 0 18 0 2 0 4456723 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 8 0 0 0
/proc/19543/statm: 0 0 0 0 0 0 0
[pid=19543/tid=19545] ppid=19541 vsize=0 CPUtime=582.65 cores=0-31
/proc/19543/task/19545/stat : 19545 (strangenight2-m) R 19541 19543 19517 0 -1 4202564 124205 0 0 0 57935 330 0 0 25 0 2 0 4456724 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 16649
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 603.025
CPU time (s): 16649.1
CPU user time (s): 16560.2
CPU system time (s): 88.8615
CPU usage (%): 2760.93
Max. virtual memory (cumulated for all children) (KiB): 11013012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16560.2
system time used= 88.8615
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3518851
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= 3768535
involuntary context switches= 138712
runsolver used 3.83342 second user time and 14.3748 second system time
The end
Launcher Data
Begin job on node200 at 2011-05-30 21:48:28
IDJOB=3400790
IDBENCH=82494
IDSOLVER=1886
FILE ID=node200/3400790-1306784906
RUNJOBID= node200-1306784906-19531
PBS_JOBID= 13471872
Free space on /tmp= 61560 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/manthey/traffic/traffic_fb_unknown.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400790-1306784906/watcher-3400790-1306784906 -o /tmp/evaluation-result-3400790-1306784906/solver-3400790-1306784906 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400790-1306784906.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 2385047c56f7801a7fd110b2ffe2f293
RANDOM SEED=1429230091
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: 263696164 kB
Buffers: 55316 kB
Cached: 326820 kB
SwapCached: 29816 kB
Active: 134952 kB
Inactive: 279032 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 263696164 kB
SwapTotal: 67111528 kB
SwapFree: 67044744 kB
Dirty: 24616 kB
Writeback: 0 kB
AnonPages: 28688 kB
Mapped: 7588 kB
Slab: 60600 kB
PageTables: 3864 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 192016 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 21:58:31