Trace number 3400673
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 | APPLICATIONS/bioinfo/ q_query_3_l46_lambda.cnf |
MD5SUM | eb4d0d02a25a8a84182ddd3b6d1fa8b5 |
Bench Category | APPLICATION (applications instances) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 2101.44 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 33090 |
Number of clauses | 165828 |
Sum of the clauses size | 478271 |
Maximum clause length | 9 |
Minimum clause length | 1 |
Number of clauses of size 1 | 4268 |
Number of clauses of size 2 | 41089 |
Number of clauses of size 3 | 97665 |
Number of clauses of size 4 | 15752 |
Number of clauses of size 5 | 6916 |
Number of clauses of size over 5 | 138 |
Solver Data
0.00/0.00 c Outputting solution to console
0.00/0.05 c Using 32 threads
0.00/0.06 c This is CryptoMiniSat 3.0.0
0.00/0.06 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06 c Reading file 'HOME/instance-3400673-1306327419.cnf'
2.17/0.10 c -- header says num vars: 33090
2.17/0.10 c -- header says num clauses: 165828
16.32/1.02 c -- clauses added: 0 learnts, 165828 normals, 0 xors
16.32/1.02 c -- vars added 33090
16.32/1.02 c Parsing time: 0.22 s
16.32/1.02 c N st 0 0 33090 113191 41048 0 451185 0 no data no data
37.59/1.71 c asymm cl-useful: 1343/2929/109085 lits-rem:1346 time: 0.59
74.81/4.56 c Flit: 116 Blit: 48 bXBeca: 0 bXProp: 10766 Bins: 0 BRemL: 0 BRemN: 0 P: 11.1M T: 1.19
81.21/4.76 c Cleaning up after failed var search: 0.20 s
84.40/4.84 c Replacing 10766 vars Replaced 212947 lits Time: 0.07 s
92.12/5.13 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
92.12/5.15 c bin-w-bin subsume rem 969 bins time: 0.02 s
93.52/5.27 c subs with bin: 1656 lits-rem: 1108 v-fix: 0 time: 0.03 s
94.80/5.33 c Subs w/ non-existent bins: 13 l-rem: 9 v-fix: 0 done: 16635 time: 0.05 s
94.80/5.36 c Removed useless bin: 1834 fixed: 0 props: 1.45M time: 0.03 s
100.08/5.69 c lits-rem: 1395 cl-subs: 7572 v-elim: 5545 v-fix: 0 time: 0.21 s
102.85/5.73 c Finding binary XORs T: 0.04 s found: 961
102.85/5.79 c Replacing 961 vars Replaced 23449 lits Time: 0.03 s
105.83/5.85 c Finding non-binary XORs: 0.03 s (found: 2599, avg size: 3.0)
105.83/5.85 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 180 time: 0.02
105.83/5.86 c calculated reachability. Time: 0.00
105.83/5.87 c Calc default polars - time: 0.01 s pos: 2830 undec: 22961 neg: 7299
105.83/5.87 c =========================================================================================
105.83/5.87 c types(t): F = full restart, N = normal restart
105.83/5.87 c types(t): S = simplification begin/end, E = solution found
105.83/5.87 c restart types(rt): st = static, dy = dynamic
105.83/5.87 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
105.83/5.87 c B st 0 0 10129 45731 17681 0 188013 0 no data no data
121.55/6.39 c N dy 13 4017 10123 45731 17858 3798 188008 39995 5.05 5.35
137.48/6.81 c N dy 44 8244 10100 45731 21155 7836 188004 92952 5.50 5.84
140.66/6.92 c Finding binary XORs T: 0.02 s found: 2
150.27/7.26 c N dy 72 12699 10029 44297 27149 11359 182849 148611 5.76 6.09
163.67/7.65 c Finding binary XORs T: 0.02 s found: 4
166.86/7.78 c N dy 105 16802 10000 42593 26349 15018 176757 197997 6.03 6.38
182.19/8.28 c N dy 139 20897 9987 42593 27384 9976 176754 102437 6.25 8.19
198.79/8.78 c N dy 175 24977 9966 42593 28917 14024 176753 165934 6.46 6.97
198.79/8.79 c F st 176 25001 9966 42593 28917 14048 176753 166354 6.46 no data
198.79/8.81 c Replacing 97 vars Replaced 2742 lits Time: 0.01 s
201.98/8.82 c Found part 22 vars: 3 clauses: 1 lits size: 3
201.98/8.82 c Found part 23 vars: 9858 clauses: 60361 lits size: 171665
201.98/8.82 c Found parts: 2 time: 0.04 s
201.98/8.82 c Solving part 22
201.98/8.85 c N st 0 0 3 1 0 0 3 0 no data no data
201.98/8.85 c asymm cl-useful: 0/1/1 lits-rem:0 time: 0.00
201.98/8.85 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00
201.98/8.85 c Finding binary XORs T: 0.00 s found: 0
201.98/8.85 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan)
201.98/8.85 c calculated reachability. Time: 0.00
201.98/8.85 c Calc default polars - time: 0.00 s pos: 3 undec: 33087 neg: 0
201.98/8.85 c =========================================================================================
201.98/8.85 c types(t): F = full restart, N = normal restart
201.98/8.85 c types(t): S = simplification begin/end, E = solution found
201.98/8.85 c restart types(rt): st = static, dy = dynamic
201.98/8.85 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits
201.98/8.85 c B st 0 0 3 1 0 0 3 0 no data no data
201.98/8.85 c E st 1 0 0 1 0 0 3 0 no data no data
201.98/8.85 c Verified 1 clauses.
201.98/8.85 c Verified 1 clauses.
201.98/8.85 c Solved part
201.98/8.85 c =========================================================================================
201.98/8.86 c Coming back to original instance
201.98/8.86 c =========================================================================================
223.72/9.55 c N dy 182 30002 9858 41467 27578 18790 171665 259081 6.46 no data
223.72/9.55 c S st 182 30002 9858 41467 27578 18790 171665 259081 6.46 no data
226.92/9.64 c Finding binary XORs T: 0.02 s found: 32
230.12/9.74 c S st 182 30502 9848 41147 28295 19202 170859 263583 6.46 no data
230.12/9.75 c x-sub: 90 x-cut: 0 vfix: 0 v-elim: 48 locsubst: 0 time: 0.01
249.29/10.38 c Flit: 89 Blit: 22 bXBeca: 0 bXProp: 20 Bins: 83541 BRemL: 57043 BRemN: 24 P: 6.9M T: 0.63
249.29/10.39 c Cleaning up after failed var search: 0.01 s
252.49/10.42 c Replacing 52 vars Replaced 15089 lits Time: 0.02 s
252.49/10.44 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
252.49/10.45 c bin-w-bin subsume rem 7759 bins time: 0.01 s
252.49/10.47 c subs with bin: 1440 lits-rem: 1104 v-fix: 0 time: 0.02 s
252.49/10.49 c Subs w/ non-existent bins: 109 l-rem: 105 v-fix: 0 done: 9632 time: 0.02 s
252.49/10.50 c Removed useless bin: 606 fixed: 0 props: 0.31M time: 0.01 s
255.68/10.59 c lits-rem: 884 cl-subs: 1325 v-elim: 1641 v-fix: 0 time: 0.09 s
258.88/10.62 c subs with bin: 197 lits-rem: 1358 v-fix: 0 time: 0.01 s
258.88/10.68 c lits-rem: 692 cl-subs: 465 v-elim: 0 v-fix: 0 time: 0.04 s
269.06/11.02 c asymm cl-useful: 613/36746/39675 lits-rem:737 time: 0.34
272.29/11.03 c calculated reachability. Time: 0.00
272.29/11.03 c N dy 182 30502 7991 39635 14804 8712 156815 102580 6.46 no data
272.29/11.05 c Finding binary XORs T: 0.02 s found: 0
284.44/11.49 c N dy 204 34724 7990 39635 14813 12895 156802 161759 6.47 6.85
300.43/11.95 c N dy 222 38781 7989 39635 14980 16920 156800 225555 6.46 8.50
344.61/13.43 c N dy 253 43026 7988 39635 45206 11244 156796 173914 6.53 6.88
354.19/13.77 c S st 273 45758 7988 39635 45207 13957 156796 213083 6.56 no data
357.38/13.88 c Finding binary XORs T: 0.02 s found: 0
360.59/13.94 c S st 273 46259 7986 38751 45175 13807 152365 209321 6.56 no data
360.59/13.96 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 127 locsubst: 0 time: 0.02
370.79/14.23 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 1231 BRemL: 28084 BRemN: 206 P: 2.5M T: 0.25
370.79/14.25 c Replacing 1 vars Replaced 50 lits Time: 0.02 s
370.79/14.26 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
370.79/14.27 c bin-w-bin subsume rem 3177 bins time: 0.01 s
370.79/14.28 c subs with bin: 779 lits-rem: 517 v-fix: 0 time: 0.01 s
370.79/14.30 c Subs w/ non-existent bins: 168 l-rem: 250 v-fix: 0 done: 7857 time: 0.01 s
370.79/14.30 c Removed useless bin: 256 fixed: 0 props: 0.15M time: 0.01 s
373.99/14.35 c lits-rem: 898 cl-subs: 285 v-elim: 242 v-fix: 0 time: 0.05 s
373.99/14.38 c subs with bin: 76 lits-rem: 665 v-fix: 0 time: 0.01 s
376.55/14.45 c lits-rem: 1326 cl-subs: 306 v-elim: 0 v-fix: 0 time: 0.05 s
376.55/14.46 c vivif2 -- cl tried 37926 cl shrink 296 lits rem 296 time: 0.01
376.55/14.47 c vivif2 -- cl tried 12971 cl shrink 1534 lits rem 1998 time: 0.01
389.34/14.88 c asymm cl-useful: 446/37878/37878 lits-rem:771 time: 0.41
389.34/14.88 c calculated reachability. Time: 0.00
389.34/14.88 c N dy 273 46259 7615 37828 12553 12941 145943 133565 6.56 no data
405.95/15.40 c N dy 297 50282 7615 37828 13097 16944 145937 194580 6.57 6.93
414.90/15.66 c Finding binary XORs T: 0.02 s found: 0
424.49/15.93 c N dy 314 54287 7615 37828 13098 20907 145935 250565 6.56 8.03
434.09/16.27 c Finding binary XORs T: 0.02 s found: 0
444.30/16.59 c N dy 337 58497 7615 37828 15245 25098 145934 322071 6.58 7.08
466.05/17.26 c N dy 361 62584 7614 37828 15801 29167 145934 390530 6.59 6.94
488.41/17.93 c N dy 389 66716 7613 37828 16085 17980 145934 183121 6.62 7.07
501.20/18.31 c S st 404 69388 7613 37828 16087 20639 145934 224829 6.63 5.87
504.40/18.48 c S st 404 69889 7613 37828 16104 21122 145934 229898 6.63 no data
507.61/18.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
511.42/18.70 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 2247 BRemL: 3245 BRemN: 158 P: 2.5M T: 0.20
514.62/18.72 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
514.62/18.73 c bin-w-bin subsume rem 932 bins time: 0.01 s
514.62/18.74 c subs with bin: 941 lits-rem: 356 v-fix: 0 time: 0.01 s
514.62/18.75 c Subs w/ non-existent bins: 132 l-rem: 74 v-fix: 0 done: 7613 time: 0.01 s
514.62/18.76 c Removed useless bin: 148 fixed: 0 props: 0.16M time: 0.01 s
517.18/18.80 c lits-rem: 122 cl-subs: 80 v-elim: 94 v-fix: 0 time: 0.04 s
517.18/18.85 c subs with bin: 103 lits-rem: 1488 v-fix: 0 time: 0.02 s
520.38/18.93 c lits-rem: 1047 cl-subs: 382 v-elim: 0 v-fix: 0 time: 0.07 s
520.38/18.94 c vivif2 -- cl tried 36556 cl shrink 191 lits rem 194 time: 0.01
520.38/18.96 c vivif2 -- cl tried 19889 cl shrink 1579 lits rem 2003 time: 0.02
536.37/19.45 c asymm cl-useful: 798/36556/36556 lits-rem:1675 time: 0.49
536.37/19.46 c calculated reachability. Time: 0.00
536.37/19.46 c N dy 404 69889 7519 36198 13807 19889 139453 209360 6.63 no data
536.37/19.48 c Finding binary XORs T: 0.02 s found: 0
558.73/20.19 c N dy 432 74460 7516 36198 15849 24426 139453 284458 6.64 7.04
574.72/20.60 c Finding binary XORs T: 0.02 s found: 2
587.50/21.07 c N dy 463 79403 7516 36157 16733 29152 139225 368552 6.67 7.04
616.90/22.00 c N dy 497 84514 7516 36157 16736 34232 139225 451781 6.71 7.10
629.06/22.32 c Finding binary XORs T: 0.02 s found: 0
638.65/22.64 c F st 517 87500 7516 36157 17392 37201 139225 502966 6.73 no data
638.65/22.65 c Replacing 2 vars Replaced 80 lits Time: 0.01 s
657.82/23.21 c N st 522 90799 7514 36155 17388 21888 139212 227381 6.73 no data
687.19/24.18 c N dy 544 96659 7514 36155 18198 27726 139212 333342 6.74 8.44
708.94/24.83 c Finding binary XORs T: 0.02 s found: 1
725.55/25.37 c N dy 589 102873 7513 36152 18638 33924 139183 437439 6.78 7.18
737.71/25.78 c S st 605 104836 7513 36152 19069 35879 139183 472222 6.80 5.78
747.29/26.04 c S st 605 105337 7512 36152 19073 36368 139183 478076 6.80 no data
747.29/26.06 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 2 locsubst: 0 time: 0.02
753.69/26.26 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 256 BRemL: 3266 BRemN: 213 P: 2.8M T: 0.20
753.69/26.29 c Replacing 1 vars Replaced 31 lits Time: 0.02 s
753.69/26.30 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
753.69/26.31 c bin-w-bin subsume rem 1369 bins time: 0.00 s
757.51/26.32 c subs with bin: 432 lits-rem: 219 v-fix: 0 time: 0.01 s
757.51/26.33 c Subs w/ non-existent bins: 44 l-rem: 48 v-fix: 0 done: 7509 time: 0.01 s
757.51/26.34 c Removed useless bin: 79 fixed: 0 props: 0.16M time: 0.01 s
757.51/26.38 c lits-rem: 51 cl-subs: 46 v-elim: 38 v-fix: 0 time: 0.04 s
760.71/26.47 c subs with bin: 249 lits-rem: 1654 v-fix: 0 time: 0.05 s
766.47/26.68 c lits-rem: 1419 cl-subs: 446 v-elim: 0 v-fix: 0 time: 0.19 s
766.47/26.69 c vivif2 -- cl tried 35590 cl shrink 30 lits rem 30 time: 0.01
769.66/26.73 c vivif2 -- cl tried 35572 cl shrink 4088 lits rem 5403 time: 0.04
785.64/27.26 c asymm cl-useful: 266/27008/35585 lits-rem:442 time: 0.53
785.64/27.27 c calculated reachability. Time: 0.00
785.64/27.27 c N dy 605 105337 7471 35543 14333 35571 136236 452000 6.80 no data
833.58/28.76 c N dy 649 112227 7471 35543 14788 21235 136234 180781 6.82 7.22
839.97/28.96 c Finding binary XORs T: 0.02 s found: 0
875.13/30.02 c N dy 689 119446 7471 35543 15656 28412 136233 299622 6.83 7.33
913.50/31.21 c Finding binary XORs T: 0.02 s found: 1
923.09/31.53 c N dy 740 127168 7471 35543 15806 36096 136233 429082 6.86 7.24
983.82/33.40 c N dy 796 135335 7471 35543 15938 44233 136231 570673 6.88 8.67
1034.98/35.06 c N dy 841 144121 7471 35543 16127 29933 136228 315198 6.88 7.35
1070.13/36.11 c Finding binary XORs T: 0.02 s found: 0
1095.70/36.94 c N dy 910 153570 7471 35543 16632 39347 136225 477058 6.91 7.36
1124.46/37.85 c S st 941 158005 7471 35543 16773 43765 136225 552899 6.93 5.59
1134.06/38.11 c S st 941 158507 7471 35543 16778 44256 136223 559267 6.93 no data
1134.06/38.13 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
1140.45/38.34 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 272 BRemL: 926 BRemN: 40 P: 3.1M T: 0.21
1140.45/38.35 c Replacing 1 vars Replaced 20 lits Time: 0.01 s
1140.45/38.37 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1140.45/38.37 c bin-w-bin subsume rem 670 bins time: 0.00 s
1140.45/38.38 c subs with bin: 100 lits-rem: 19 v-fix: 0 time: 0.01 s
1140.45/38.40 c Subs w/ non-existent bins: 3 l-rem: 0 v-fix: 0 done: 7470 time: 0.01 s
1140.45/38.40 c Removed useless bin: 26 fixed: 0 props: 0.16M time: 0.01 s
1144.27/38.44 c lits-rem: 10 cl-subs: 9 v-elim: 13 v-fix: 0 time: 0.04 s
1147.47/38.54 c subs with bin: 221 lits-rem: 1725 v-fix: 0 time: 0.06 s
1153.22/38.79 c lits-rem: 1833 cl-subs: 601 v-elim: 0 v-fix: 0 time: 0.23 s
1156.42/38.80 c vivif2 -- cl tried 35427 cl shrink 9 lits rem 10 time: 0.01
1156.42/38.84 c vivif2 -- cl tried 43382 cl shrink 4057 lits rem 5333 time: 0.04
1159.63/39.00 c asymm cl-useful: 0/8417/35425 lits-rem:0 time: 0.15
1162.83/39.01 c calculated reachability. Time: 0.00
1162.83/39.01 c N dy 941 158507 7457 35425 15345 43382 135674 538438 6.93 no data
1214.59/40.65 c Finding binary XORs T: 0.02 s found: 0
1233.15/41.21 c N dy 1009 169026 7456 35297 16237 29378 134993 287827 6.95 7.36
1300.28/43.31 c N dy 1079 179866 7456 35297 16664 40170 134991 476530 6.98 8.65
1329.04/44.25 c Finding binary XORs T: 0.02 s found: 1
1386.59/46.11 c N dy 1160 191408 7456 35297 17528 26043 134991 215799 7.00 7.49
1447.32/47.95 c Finding binary XORs T: 0.02 s found: 3
1463.93/48.42 c N dy 1228 203734 7456 35297 17677 38298 134991 424812 7.01 7.44
1552.81/51.21 c Finding binary XORs T: 0.02 s found: 23
1556.01/51.37 c N dy 1302 216916 7455 35163 18390 50944 134434 641777 7.02 7.42
1642.29/54.07 c N dy 1369 230793 7455 35163 18747 38250 134434 420732 7.02 7.50
1667.85/54.88 c Finding binary XORs T: 0.02 s found: 0
1690.21/55.53 c S st 1401 237760 7455 35163 19026 45193 134434 540446 7.02 7.04
1696.61/55.78 c S st 1401 238266 7455 35163 19030 45693 134434 546435 7.02 no data
1699.81/55.80 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
1706.83/56.02 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 86 BRemL: 1750 BRemN: 42 P: 3.3M T: 0.22
1706.83/56.04 c Replacing 27 vars Replaced 1006 lits Time: 0.01 s
1706.83/56.05 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
1706.83/56.06 c bin-w-bin subsume rem 654 bins time: 0.00 s
1706.83/56.07 c subs with bin: 202 lits-rem: 141 v-fix: 0 time: 0.01 s
1706.83/56.09 c Subs w/ non-existent bins: 31 l-rem: 6 v-fix: 0 done: 7428 time: 0.01 s
1706.83/56.09 c Removed useless bin: 53 fixed: 0 props: 0.16M time: 0.01 s
1710.02/56.14 c lits-rem: 203 cl-subs: 156 v-elim: 35 v-fix: 0 time: 0.04 s
1712.61/56.24 c subs with bin: 229 lits-rem: 1801 v-fix: 0 time: 0.06 s
1725.38/56.62 c lits-rem: 4130 cl-subs: 709 v-elim: 0 v-fix: 0 time: 0.38 s
1725.38/56.63 c vivif2 -- cl tried 34736 cl shrink 31 lits rem 33 time: 0.01
1725.38/56.68 c vivif2 -- cl tried 44703 cl shrink 3131 lits rem 4110 time: 0.04
1741.95/57.16 c asymm cl-useful: 130/23965/34730 lits-rem:169 time: 0.49
1741.95/57.17 c calculated reachability. Time: 0.00
1741.95/57.17 c N dy 1401 238266 7393 34727 16309 44702 132341 521729 7.02 no data
1805.30/59.19 c Finding binary XORs T: 0.02 s found: 0
1853.26/60.69 c N dy 1498 253940 7393 34727 16875 32638 132341 302650 7.05 7.42
1977.91/64.58 c N dy 1596 271621 7393 34727 16974 50223 132341 596593 7.05 7.49
2013.07/65.62 c Finding binary XORs T: 0.02 s found: 0
2108.96/68.60 c N dy 1691 289453 7393 34727 17779 39196 132341 398389 7.06 7.45
2237.44/72.63 c F st 1771 306251 7393 34727 17809 55848 132341 676977 7.06 6.59
2255.99/73.22 c N st 1775 308282 7393 34727 17810 57849 132341 709732 7.06 no data
2345.48/76.04 c Finding binary XORs T: 0.02 s found: 0
2403.04/77.83 c N dy 1861 328427 7392 34724 17879 45535 132316 512339 7.06 7.46
2562.83/82.84 c N dy 1982 348491 7391 34724 17928 36006 132316 350498 7.07 7.51
2626.77/84.80 c S st 2034 357399 7391 34724 17944 44860 132316 503933 7.08 7.27
2633.13/85.07 c S st 2034 357902 7391 34724 17946 45357 132315 509981 7.08 no data
2633.13/85.08 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
2642.73/85.30 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 2 Bins: 392 BRemL: 863 BRemN: 25 P: 3.3M T: 0.22
2642.73/85.33 c Replacing 2 vars Replaced 983 lits Time: 0.02 s
2642.73/85.35 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
2642.73/85.35 c bin-w-bin subsume rem 704 bins time: 0.00 s
2642.73/85.36 c subs with bin: 22 lits-rem: 4 v-fix: 0 time: 0.01 s
2642.73/85.38 c Subs w/ non-existent bins: 2 l-rem: 0 v-fix: 0 done: 7389 time: 0.01 s
2642.73/85.38 c Removed useless bin: 3 fixed: 0 props: 0.16M time: 0.01 s
2645.93/85.42 c lits-rem: 1 cl-subs: 7 v-elim: 4 v-fix: 0 time: 0.04 s
2649.13/85.51 c subs with bin: 305 lits-rem: 1802 v-fix: 0 time: 0.05 s
2656.14/85.74 c lits-rem: 1730 cl-subs: 654 v-elim: 0 v-fix: 0 time: 0.22 s
2656.14/85.75 c vivif2 -- cl tried 34695 cl shrink 2 lits rem 2 time: 0.01
2656.14/85.79 c vivif2 -- cl tried 43997 cl shrink 2465 lits rem 3207 time: 0.04
2665.09/86.01 c asymm cl-useful: 0/10728/34693 lits-rem:0 time: 0.21
2665.09/86.02 c calculated reachability. Time: 0.00
2665.09/86.02 c N dy 2034 357902 7385 34693 16438 43997 132099 487397 7.08 no data
2668.30/86.16 c Finding binary XORs T: 0.02 s found: 0
2831.96/91.31 c N dy 2156 378047 7384 34693 16642 33098 132099 285698 7.10 7.51
2952.80/95.05 c Finding binary XORs T: 0.02 s found: 1
2991.15/96.27 c N dy 2265 398198 7384 34690 16314 53006 132074 631666 7.11 7.51
3141.39/100.96 c Finding binary XORs T: 0.02 s found: 0
3173.35/101.90 c N dy 2389 418447 7384 34690 16776 40812 132074 410061 7.12 7.55
3342.77/107.28 c N dy 2504 438574 7384 34690 16804 60815 132073 756771 7.13 7.54
3518.55/112.76 c N dy 2616 458794 7384 34690 16823 47650 132073 524393 7.13 7.53
3592.12/115.00 c Finding binary XORs T: 0.02 s found: 0
3723.13/119.13 c N dy 2738 479133 7384 34690 16969 67872 132073 889783 7.15 7.58
3892.53/124.50 c N dy 2858 499164 7384 34690 17032 54058 132073 626751 7.16 7.70
3930.89/125.65 c Finding binary XORs T: 0.02 s found: 0
4100.95/130.92 c N dy 2977 519267 7384 34690 17065 39170 132073 337666 7.18 7.57
4253.75/135.79 c S st 3075 536854 7384 34690 17108 56683 132073 649670 7.18 7.59
4266.55/136.14 c S st 3075 537356 7384 34690 17111 57179 132073 657195 7.18 no data
4266.55/136.15 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
4273.56/136.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 1 Bins: 249 BRemL: 407 BRemN: 5 P: 3.7M T: 0.25
4276.73/136.42 c Replacing 2 vars Replaced 933 lits Time: 0.02 s
4276.73/136.44 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
4276.73/136.45 c bin-w-bin subsume rem 293 bins time: 0.01 s
4276.73/136.46 c subs with bin: 40 lits-rem: 20 v-fix: 0 time: 0.01 s
4276.73/136.47 c Subs w/ non-existent bins: 2 l-rem: 0 v-fix: 0 done: 7382 time: 0.01 s
4276.73/136.48 c Removed useless bin: 3 fixed: 0 props: 0.16M time: 0.01 s
4279.28/136.52 c lits-rem: 2 cl-subs: 12 v-elim: 8 v-fix: 0 time: 0.04 s
4282.49/136.65 c subs with bin: 496 lits-rem: 2634 v-fix: 0 time: 0.08 s
4295.28/137.02 c lits-rem: 2014 cl-subs: 904 v-elim: 0 v-fix: 0 time: 0.36 s
4295.28/137.03 c vivif2 -- cl tried 34634 cl shrink 2 lits rem 2 time: 0.01
4295.28/137.08 c vivif2 -- cl tried 52653 cl shrink 2992 lits rem 3934 time: 0.05
4314.44/137.63 c asymm cl-useful: 216/14263/34634 lits-rem:231 time: 0.55
4314.44/137.64 c calculated reachability. Time: 0.00
4314.44/137.64 c N dy 3075 537356 7374 34633 16538 52653 131624 581456 7.18 no data
4314.44/137.67 c Finding binary XORs T: 0.02 s found: 0
4534.99/144.52 c N dy 3186 557407 7373 34633 16782 38059 131624 318056 7.19 8.81
4550.98/145.06 c Finding binary XORs T: 0.02 s found: 0
4704.40/149.82 c N dy 3292 577462 7373 34630 16807 57818 131599 662398 7.19 8.53
4915.37/156.49 c N dy 3388 597569 7373 34630 16886 41168 131599 355870 7.19 7.59
5011.90/159.48 c Finding binary XORs T: 0.02 s found: 2
5113.57/162.70 c N dy 3473 618547 7371 34624 17196 61719 131543 700986 7.19 7.61
5132.74/163.23 c Finding binary XORs T: 0.02 s found: 2
5273.36/167.63 c Finding binary XORs T: 0.02 s found: 0
5337.28/169.66 c N dy 3575 638648 7370 34621 17930 43801 131518 393965 7.19 7.60
5472.18/173.83 c Finding binary XORs T: 0.02 s found: 1
5529.09/175.61 c N dy 3697 658723 7370 34621 18494 63786 131518 755677 7.20 7.65
5637.77/179.07 c Finding binary XORs T: 0.02 s found: 0
5765.63/183.02 c N dy 3795 679068 7370 34621 19163 45488 131518 399558 7.20 7.58
5813.59/184.56 c Finding binary XORs T: 0.02 s found: 1
5964.45/189.28 c N dy 3894 699508 7368 34618 19277 65584 131491 755342 7.20 7.58
5973.41/189.55 c Finding binary XORs T: 0.02 s found: 3
6117.26/194.07 c Finding binary XORs T: 0.02 s found: 3
6213.15/197.09 c N dy 4014 719530 7367 34614 20263 46234 131468 403111 7.21 7.73
6293.04/199.59 c Finding binary XORs T: 0.02 s found: 2
6433.68/203.92 c N dy 4110 739556 7364 34613 20460 66103 131441 742387 7.21 7.90
6453.50/204.54 c Finding binary XORs T: 0.02 s found: 1
6632.50/210.18 c Finding binary XORs T: 0.02 s found: 1
6695.80/212.18 c N dy 4215 759590 7362 34605 20359 82221 131372 1047149 7.21 7.59
6922.75/219.24 c N dy 4309 780064 7362 34605 20471 65480 131372 736201 7.21 7.59
7044.24/223.02 c Finding binary XORs T: 0.02 s found: 36
7095.34/224.61 c Finding binary XORs T: 0.02 s found: 1
7188.05/227.60 c N dy 4401 800150 7321 34174 24456 83316 129647 1071400 7.21 7.61
7277.55/230.31 c Finding binary XORs T: 0.02 s found: 3
7287.15/230.65 c S st 4427 806034 7321 34154 33540 88917 129482 1190288 7.21 no data
7303.12/231.20 c S st 4427 806539 7321 34154 33540 48970 129482 457541 7.21 no data
7306.32/231.22 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02
7315.91/231.56 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 8 Bins: 1043 BRemL: 14623 BRemN: 9 P: 4.7M T: 0.35
7315.91/231.60 c Replacing 64 vars Replaced 7776 lits Time: 0.03 s
7319.11/231.61 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s
7319.11/231.62 c bin-w-bin subsume rem 1459 bins time: 0.01 s
7319.11/231.63 c subs with bin: 855 lits-rem: 600 v-fix: 0 time: 0.01 s
7319.11/231.65 c Subs w/ non-existent bins: 45 l-rem: 10 v-fix: 0 done: 7257 time: 0.01 s
7319.11/231.66 c Removed useless bin: 103 fixed: 0 props: 0.16M time: 0.01 s
7322.30/231.71 c lits-rem: 193 cl-subs: 777 v-elim: 169 v-fix: 0 time: 0.06 s
7325.50/231.81 c subs with bin: 1640 lits-rem: 9676 v-fix: 0 time: 0.07 s
7332.52/232.04 c lits-rem: 2705 cl-subs: 1003 v-elim: 0 v-fix: 0 time: 0.21 s
7332.52/232.05 c vivif2 -- cl tried 32594 cl shrink 327 lits rem 470 time: 0.01
7332.52/232.09 c vivif2 -- cl tried 43371 cl shrink 3812 lits rem 4585 time: 0.04
7344.68/232.49 c asymm cl-useful: 0/18327/32590 lits-rem:0 time: 0.40
7347.88/232.50 c calculated reachability. Time: 0.00
7347.88/232.50 c N dy 4427 806539 7088 32590 16986 43356 123359 365249 7.21 no data
7386.23/233.77 c Finding binary XORs T: 0.02 s found: 0
7427.79/235.02 c Finding binary XORs T: 0.02 s found: 0
7555.65/239.02 c N dy 4460 826732 7084 32581 19690 62269 123280 694950 7.19 7.58
7587.61/240.07 c Finding binary XORs T: 0.02 s found: 2
7725.07/244.33 c Finding binary XORs T: 0.02 s found: 171
7728.27/244.40 c Replacing 173 vars Replaced 37770 lits Time: 0.07 s
7811.38/247.09 c N dy 4500 846988 6847 32184 20564 72111 121523 868606 7.18 7.61
7833.75/247.71 c Finding binary XORs T: 0.02 s found: 118
7833.75/247.78 c Replacing 285 vars Replaced 38610 lits Time: 0.06 s
7876.69/251.14 c Following stats are for *FIRST FINISHED THREAD ONLY*
7876.69/251.14 c num threads : 32
7876.69/251.14 c restarts : 4338
7876.69/251.14 c dynamic restarts : 4314
7876.69/251.14 c static restarts : 24
7876.69/251.14 c full restarts : 3
7876.69/251.14 c total simplify time : 1.56
7876.69/251.14 c learnts DL2 : 0
7876.69/251.14 c learnts size 2 : 279715
7876.69/251.14 c learnts size 1 : 6693 (20.23 % of vars)
7876.69/251.14 c filedLit time : 2.52 (1.02 % time)
7876.69/251.14 c v-elim SatELite : 7566 (22.86 % vars)
7876.69/251.14 c SatELite time : 0.50 (0.20 % time)
7876.69/251.14 c v-elim xor : 176 (0.53 % vars)
7876.69/251.14 c xor elim time : 0.06 (0.02 % time)
7876.69/251.14 c num binary xor trees : 1897
7876.69/251.14 c binxor trees' crown : 12466 (6.57 leafs/tree)
7876.69/251.14 c bin xor find time : 0.96
7876.69/251.14 c OTF clause improved : 4794 (0.01 clauses/conflict)
7876.69/251.14 c OTF impr. size diff : 5717 (1.19 lits/clause)
7876.69/251.14 c OTF cl watch-shrink : 628585 (0.70 clauses/conflict)
7876.69/251.14 c OTF cl watch-sh-lit : 1907224 (3.03 lits/clause)
7876.69/251.14 c tried to recurMin cls : 216135 (23.91 % of conflicts)
7876.69/251.14 c updated cache : 13530 (0.06 lits/tried recurMin)
7876.69/251.14 c unit cls recevied : 310 (4.63 % of units)
7876.69/251.14 c unit cls sent : 270 (4.03 % of units)
7876.69/251.14 c bin cls recevied : 236616
7876.69/251.14 c bin cls sent : 1502
7876.69/251.14 c clauses over max glue : 0 (0.00 % of all clauses)
7876.69/251.14 c conflicts : 903857 (3653.54 / sec)
7876.69/251.14 c decisions : 1356553 (5.39 % random)
7876.69/251.14 c bogo-props : 14558033192 (58845921.62 / sec)
7876.69/251.14 c conflict literals : 15828975 (35.41 % deleted)
7876.69/251.14 c Memory used : 4761.39 MB
7876.69/251.14 c single-thread CPU time : 247.39 s
7876.69/251.14 c all-threads sum CPU time : 7852.94 s
7876.69/251.14 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-3400673-1306327419/watcher-3400673-1306327419 -o /tmp/evaluation-result-3400673-1306327419/solver-3400673-1306327419 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400673-1306327419.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: 31.58 31.55 31.76 1/413 15201
/proc/meminfo: memFree=255160188/264257624 swapFree=67111528/67111528
[pid=15201] ppid=15199 vsize=338000 CPUtime=0.82 cores=0-31
/proc/15201/stat : 15201 (strangenight2-m) R 15199 15201 15115 0 -1 4202496 436 0 0 0 82 0 0 0 25 0 32 0 744228324 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447980 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15201/statm: 84500 376 297 95 0 79482 0
[pid=15201/tid=15202] ppid=15199 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15201/task/15202/stat : 15202 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15201/tid=15203] ppid=15199 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15201/task/15203/stat : 15203 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15201/tid=15204] ppid=15199 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15201/task/15204/stat : 15204 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 3 0 0 0 22 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15201/tid=15205] ppid=15199 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15201/task/15205/stat : 15205 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15201/tid=15206] ppid=15199 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15201/task/15206/stat : 15206 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15201/tid=15207] ppid=15199 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15201/task/15207/stat : 15207 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447980 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15201/tid=15208] ppid=15199 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15201/task/15208/stat : 15208 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447984 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15201/tid=15209] ppid=15199 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15201/task/15209/stat : 15209 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15201/tid=15210] ppid=15199 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15201/task/15210/stat : 15210 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15201/tid=15211] ppid=15199 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15201/task/15211/stat : 15211 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15201/tid=15212] ppid=15199 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15201/task/15212/stat : 15212 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15201/tid=15213] ppid=15199 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15201/task/15213/stat : 15213 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15201/tid=15214] ppid=15199 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15201/task/15214/stat : 15214 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15201/tid=15215] ppid=15199 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15201/task/15215/stat : 15215 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 3 0 0 0 23 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15201/tid=15216] ppid=15199 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15201/task/15216/stat : 15216 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=15201/tid=15217] ppid=15199 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15201/task/15217/stat : 15217 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15201/tid=15218] ppid=15199 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15201/task/15218/stat : 15218 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15201/tid=15219] ppid=15199 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15201/task/15219/stat : 15219 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447980 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15201/tid=15220] ppid=15199 vsize=338000 CPUtime=0.03 cores=0-31
/proc/15201/task/15220/stat : 15220 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 3 0 0 0 24 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15201/tid=15221] ppid=15199 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15201/task/15221/stat : 15221 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447976 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15201/tid=15222] ppid=15199 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15201/task/15222/stat : 15222 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15201/tid=15223] ppid=15199 vsize=338000 CPUtime=0 cores=0-31
/proc/15201/task/15223/stat : 15223 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15201/tid=15224] ppid=15199 vsize=338000 CPUtime=0.01 cores=0-31
/proc/15201/task/15224/stat : 15224 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15201/tid=15225] ppid=15199 vsize=338000 CPUtime=0.01 cores=0-31
/proc/15201/task/15225/stat : 15225 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447980 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=15201/tid=15226] ppid=15199 vsize=338000 CPUtime=0.01 cores=0-31
/proc/15201/task/15226/stat : 15226 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=15201/tid=15227] ppid=15199 vsize=338000 CPUtime=0.01 cores=0-31
/proc/15201/task/15227/stat : 15227 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15201/tid=15228] ppid=15199 vsize=338000 CPUtime=0.01 cores=0-31
/proc/15201/task/15228/stat : 15228 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=15201/tid=15229] ppid=15199 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15201/task/15229/stat : 15229 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447980 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15201/tid=15230] ppid=15199 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15201/task/15230/stat : 15230 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=15201/tid=15231] ppid=15199 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15201/task/15231/stat : 15231 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447986 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15201/tid=15232] ppid=15199 vsize=338000 CPUtime=0.02 cores=0-31
/proc/15201/task/15232/stat : 15232 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 744228325 346112000 376 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447980 0 0 4096 2 0 0 0 -1 25 0 0 0
[startup+0.092611 s]
/proc/loadavg: 31.58 31.55 31.76 1/413 15201
/proc/meminfo: memFree=255160188/264257624 swapFree=67111528/67111528
[pid=15201] ppid=15199 vsize=798072 CPUtime=2.17 cores=0-31
/proc/15201/stat : 15201 (strangenight2-m) R 15199 15201 15115 0 -1 4202496 8454 0 0 0 157 60 0 0 17 0 32 0 744228324 817225728 8299 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15201/statm: 199551 8303 334 95 0 194533 0
[pid=15201/tid=15202] ppid=15199 vsize=798204 CPUtime=0.06 cores=0-31
/proc/15201/task/15202/stat : 15202 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 246 0 0 0 5 1 0 0 18 0 32 0 744228325 817360896 8308 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15201/tid=15203] ppid=15199 vsize=798204 CPUtime=0.06 cores=0-31
/proc/15201/task/15203/stat : 15203 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 274 0 0 0 5 1 0 0 17 0 32 0 744228325 817360896 8350 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446744071566925344 0 0 -1 2 0 0 0
[pid=15201/tid=15204] ppid=15199 vsize=798204 CPUtime=0.06 cores=0-31
/proc/15201/task/15204/stat : 15204 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 233 0 0 0 5 1 0 0 18 0 32 0 744228325 817360896 8350 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15201/tid=15205] ppid=15199 vsize=798204 CPUtime=0.06 cores=0-31
/proc/15201/task/15205/stat : 15205 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 277 0 0 0 5 1 0 0 18 0 32 0 744228325 817360896 8373 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15201/tid=15206] ppid=15199 vsize=798204 CPUtime=0.06 cores=0-31
/proc/15201/task/15206/stat : 15206 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 249 0 0 0 5 1 0 0 18 0 32 0 744228325 817360896 8387 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=15201/tid=15207] ppid=15199 vsize=798204 CPUtime=0.06 cores=0-31
/proc/15201/task/15207/stat : 15207 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 266 0 0 0 5 1 0 0 18 0 32 0 744228325 817360896 8436 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15201/tid=15208] ppid=15199 vsize=798204 CPUtime=0.06 cores=0-31
/proc/15201/task/15208/stat : 15208 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 242 0 0 0 5 1 0 0 18 0 32 0 744228325 817360896 8473 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=15201/tid=15209] ppid=15199 vsize=798204 CPUtime=0.07 cores=0-31
/proc/15201/task/15209/stat : 15209 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 253 0 0 0 5 2 0 0 18 0 32 0 744228325 817360896 8473 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15201/tid=15210] ppid=15199 vsize=798204 CPUtime=0.06 cores=0-31
/proc/15201/task/15210/stat : 15210 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 243 0 0 0 5 1 0 0 18 0 32 0 744228325 817360896 8475 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15201/tid=15211] ppid=15199 vsize=798204 CPUtime=0.06 cores=0-31
/proc/15201/task/15211/stat : 15211 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 257 0 0 0 5 1 0 0 18 0 32 0 744228325 817360896 8490 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15201/tid=15212] ppid=15199 vsize=929276 CPUtime=0.07 cores=0-31
/proc/15201/task/15212/stat : 15212 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 266 0 0 0 5 2 0 0 18 0 32 0 744228325 951578624 8493 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=15201/tid=15213] ppid=15199 vsize=888352 CPUtime=0.06 cores=0-31
/proc/15201/task/15213/stat : 15213 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 298 0 0 0 5 1 0 0 18 0 32 0 744228325 909672448 8522 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15201/tid=15214] ppid=15199 vsize=888352 CPUtime=0.06 cores=0-31
/proc/15201/task/15214/stat : 15214 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 268 0 0 0 5 1 0 0 18 0 32 0 744228325 909672448 8531 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15201/tid=15215] ppid=15199 vsize=904760 CPUtime=0.06 cores=0-31
/proc/15201/task/15215/stat : 15215 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 236 0 0 0 5 1 0 0 18 0 32 0 744228325 926474240 8535 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=15201/tid=15216] ppid=15199 vsize=896556 CPUtime=0.06 cores=0-31
/proc/15201/task/15216/stat : 15216 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 275 0 0 0 5 1 0 0 17 0 32 0 744228325 918073344 8538 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446604480120413664 0 0 -1 14 0 0 0
[pid=15201/tid=15217] ppid=15199 vsize=896556 CPUtime=0.06 cores=0-31
/proc/15201/task/15217/stat : 15217 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 237 0 0 0 5 1 0 0 18 0 32 0 744228325 918073344 8550 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=15201/tid=15218] ppid=15199 vsize=896556 CPUtime=0.06 cores=0-31
/proc/15201/task/15218/stat : 15218 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 269 0 0 0 5 1 0 0 18 0 32 0 744228325 918073344 8556 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=15201/tid=15219] ppid=15199 vsize=904760 CPUtime=0.06 cores=0-31
/proc/15201/task/15219/stat : 15219 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 279 0 0 0 5 1 0 0 17 0 32 0 744228325 926474240 8561 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=15201/tid=15220] ppid=15199 vsize=904760 CPUtime=0.06 cores=0-31
/proc/15201/task/15220/stat : 15220 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 241 0 0 0 5 1 0 0 18 0 32 0 744228325 926474240 8576 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=15201/tid=15221] ppid=15199 vsize=904760 CPUtime=0.07 cores=0-31
/proc/15201/task/15221/stat : 15221 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 267 0 0 0 5 2 0 0 18 0 32 0 744228325 926474240 8576 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446744071566928384 0 0 -1 0 0 0 0
[pid=15201/tid=15222] ppid=15199 vsize=904760 CPUtime=0.05 cores=0-31
/proc/15201/task/15222/stat : 15222 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 227 0 0 0 4 1 0 0 17 0 32 0 744228325 926474240 8579 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=15201/tid=15223] ppid=15199 vsize=904760 CPUtime=0.01 cores=0-31
/proc/15201/task/15223/stat : 15223 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 269 0 0 0 0 1 0 0 18 0 32 0 744228325 926474240 8597 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=15201/tid=15224] ppid=15199 vsize=904760 CPUtime=0.05 cores=0-31
/proc/15201/task/15224/stat : 15224 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 248 0 0 0 3 2 0 0 25 0 32 0 744228325 926474240 8614 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15201/tid=15225] ppid=15199 vsize=1035832 CPUtime=0.05 cores=0-31
/proc/15201/task/15225/stat : 15225 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 292 0 0 0 3 2 0 0 18 0 32 0 744228325 1060691968 8626 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446744071566925344 0 0 -1 30 0 0 0
[pid=15201/tid=15226] ppid=15199 vsize=1035832 CPUtime=0.04 cores=0-31
/proc/15201/task/15226/stat : 15226 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 249 0 0 0 3 1 0 0 18 0 32 0 744228325 1060691968 8629 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=15201/tid=15227] ppid=15199 vsize=994908 CPUtime=0.05 cores=0-31
/proc/15201/task/15227/stat : 15227 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 238 0 0 0 3 2 0 0 18 0 32 0 744228325 1018785792 8643 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=15201/tid=15228] ppid=15199 vsize=994908 CPUtime=0.05 cores=0-31
/proc/15201/task/15228/stat : 15228 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 277 0 0 0 3 2 0 0 17 0 32 0 744228325 1018785792 8651 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446744071566923704 0 0 -1 23 0 0 0
[pid=15201/tid=15229] ppid=15199 vsize=994908 CPUtime=0.07 cores=0-31
/proc/15201/task/15229/stat : 15229 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 264 0 0 0 5 2 0 0 18 0 32 0 744228325 1018785792 8655 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=15201/tid=15230] ppid=15199 vsize=978500 CPUtime=0.06 cores=0-31
/proc/15201/task/15230/stat : 15230 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 284 0 0 0 5 1 0 0 17 0 32 0 744228325 1001984000 8672 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446604489136750048 0 0 -1 22 0 0 0
[pid=15201/tid=15231] ppid=15199 vsize=978500 CPUtime=0.07 cores=0-31
/proc/15201/task/15231/stat : 15231 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 225 0 0 0 5 2 0 0 18 0 32 0 744228325 1001984000 8675 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=15201/tid=15232] ppid=15199 vsize=978500 CPUtime=0.06 cores=0-31
/proc/15201/task/15232/stat : 15232 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 260 0 0 0 5 1 0 0 18 0 32 0 744228325 1001984000 8679 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 798072
[startup+0.105489 s]
/proc/loadavg: 31.58 31.55 31.76 1/413 15201
/proc/meminfo: memFree=255160188/264257624 swapFree=67111528/67111528
[pid=15201] ppid=15199 vsize=1388584 CPUtime=2.29 cores=0-31
/proc/15201/stat : 15201 (strangenight2-m) S 15199 15201 15115 0 -1 4202496 9701 0 0 0 159 70 0 0 17 0 32 0 744228324 1421910016 9547 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15201/statm: 347146 9550 335 95 0 342128 0
[pid=15201/tid=15202] ppid=15199 vsize=1388584 CPUtime=0.07 cores=0-31
/proc/15201/task/15202/stat : 15202 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 284 0 0 0 5 2 0 0 17 0 32 0 744228325 1421910016 9557 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446604489136750048 0 0 -1 1 0 0 0
[pid=15201/tid=15203] ppid=15199 vsize=1388584 CPUtime=0.06 cores=0-31
/proc/15201/task/15203/stat : 15203 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 280 0 0 0 5 1 0 0 17 0 32 0 744228325 1421910016 9566 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446604506036780512 0 0 -1 2 0 0 0
[pid=15201/tid=15204] ppid=15199 vsize=1388584 CPUtime=0.07 cores=0-31
/proc/15201/task/15204/stat : 15204 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 312 0 0 0 5 2 0 0 18 0 32 0 744228325 1421910016 9569 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=15201/tid=15205] ppid=15199 vsize=1388584 CPUtime=0.06 cores=0-31
/proc/15201/task/15205/stat : 15205 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 292 0 0 0 5 1 0 0 17 0 32 0 744228325 1421910016 9571 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446604478689066464 0 0 -1 12 0 0 0
[pid=15201/tid=15206] ppid=15199 vsize=1388584 CPUtime=0.07 cores=0-31
/proc/15201/task/15206/stat : 15206 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 283 0 0 0 5 2 0 0 17 0 32 0 744228325 1421910016 9579 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446604506036780512 0 0 -1 20 0 0 0
[pid=15201/tid=15207] ppid=15199 vsize=1388584 CPUtime=0.07 cores=0-31
/proc/15201/task/15207/stat : 15207 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 342 0 0 0 5 2 0 0 18 0 32 0 744228325 1421910016 9581 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=15201/tid=15208] ppid=15199 vsize=1388584 CPUtime=0.07 cores=0-31
/proc/15201/task/15208/stat : 15208 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 268 0 0 0 5 2 0 0 17 0 32 0 744228325 1421910016 9609 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446744071566928384 0 0 -1 8 0 0 0
[pid=15201/tid=15209] ppid=15199 vsize=1388584 CPUtime=0.07 cores=0-31
/proc/15201/task/15209/stat : 15209 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 334 0 0 0 5 2 0 0 18 0 32 0 744228325 1421910016 9618 268435456000 4194304 4580107 140735475595408 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15201/tid=15210] ppid=15199 vsize=1388584 CPUtime=0.07 cores=0-31
/proc/15201/task/15210/stat : 15210 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 272 0 0 0 5 2 0 0 17 0 32 0 744228325 1421910016 9633 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15201/tid=15211] ppid=15199 vsize=1388584 CPUtime=0.07 cores=0-31
/proc/15201/task/15211/stat : 15211 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 302 0 0 0 5 2 0 0 17 0 32 0 744228325 1421910016 9644 268435456000 4194304 4580107 140735475595408 18446744073709551615 4349556 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15201/tid=15212] ppid=15199 vsize=1388584 CPUtime=0.07 cores=0-31
/proc/15201/task/15212/stat : 15212 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 289 0 0 0 5 2 0 0 17 0 32 0 744228325 1421910016 9648 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446604502310665696 0 0 -1 9 0 0 0
[pid=15201/tid=15213] ppid=15199 vsize=1388584 CPUtime=0.07 cores=0-31
/proc/15201/task/15213/stat : 15213 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 354 0 0 0 5 2 0 0 17 0 32 0 744228325 1421910016 9651 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=15201/tid=15214] ppid=15199 vsize=1388584 CPUtime=0.07 cores=0-31
/proc/15201/task/15214/stat : 15214 (strangenight2-m) D 15199 15201 15115 0 -1 4202560 306 0 0 0 5 2 0 0 17 0 32 0 744228325 1421910016 9657 268435456000 4194304 4580107 140735475595408 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15201/tid=15215] ppid=15199 vsize=1388584 CPUtime=0.07 cores=0-31
/proc/15201/task/15215/stat : 15215 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 273 0 0 0 5 2 0 0 17 0 32 0 744228325 1421910016 9663 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446604479003516384 0 0 -1 13 0 0 0
[pid=15201/tid=15216] ppid=15199 vsize=1388584 CPUtime=0.06 cores=0-31
/proc/15201/task/15216/stat : 15216 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 287 0 0 0 5 1 0 0 17 0 32 0 744228325 1421910016 9670 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446604477474635232 0 0 -1 14 0 0 0
[pid=15201/tid=15217] ppid=15199 vsize=1388584 CPUtime=0.07 cores=0-31
/proc/15201/task/15217/stat : 15217 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 269 0 0 0 5 2 0 0 17 0 32 0 744228325 1421910016 9676 268435456000 4194304 4580107 140735475595408 18446744073709551615 258651060958 0 0 4096 2 18446604505568370144 0 0 -1 11 0 0 0
[pid=15201/tid=15218] ppid=15199 vsize=1388584 CPUtime=0.07 cores=0-31
################
# More data... #
################
/proc/15201/task/15225/stat : 15225 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36166 0 0 0 24572 70 0 0 25 0 32 0 744228325 4992671744 665608 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604505087909344 0 0 -1 30 0 0 0
[pid=15201/tid=15226] ppid=15199 vsize=4875656 CPUtime=246.09 cores=0-31
/proc/15201/task/15226/stat : 15226 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36188 0 0 0 24530 79 0 0 25 0 32 0 744228325 4992671744 665608 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604476917882336 0 0 -1 21 0 0 0
[pid=15201/tid=15227] ppid=15199 vsize=4875656 CPUtime=246.04 cores=0-31
/proc/15201/task/15227/stat : 15227 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 32780 0 0 0 24534 70 0 0 25 0 32 0 744228325 4992671744 665608 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604502310665696 0 0 -1 7 0 0 0
[pid=15201/tid=15228] ppid=15199 vsize=4875656 CPUtime=246.24 cores=0-31
/proc/15201/task/15228/stat : 15228 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 33311 0 0 0 24544 80 0 0 25 0 32 0 744228325 4992671744 665608 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604482525625824 0 0 -1 15 0 0 0
[pid=15201/tid=15229] ppid=15199 vsize=4875656 CPUtime=246.17 cores=0-31
/proc/15201/task/15229/stat : 15229 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36304 0 0 0 24538 79 0 0 25 0 32 0 744228325 4992671744 665608 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604486798474720 0 0 -1 9 0 0 0
[pid=15201/tid=15230] ppid=15199 vsize=4875656 CPUtime=246.16 cores=0-31
/proc/15201/task/15230/stat : 15230 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 41042 0 0 0 24538 78 0 0 25 0 32 0 744228325 4992671744 665608 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604479020187104 0 0 -1 13 0 0 0
[pid=15201/tid=15231] ppid=15199 vsize=4875656 CPUtime=245.95 cores=0-31
/proc/15201/task/15231/stat : 15231 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 38210 0 0 0 24515 80 0 0 25 0 32 0 744228325 4992671744 665608 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604489136750048 0 0 -1 11 0 0 0
[pid=15201/tid=15232] ppid=15199 vsize=4875656 CPUtime=247.31 cores=0-31
/proc/15201/task/15232/stat : 15232 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 39661 0 0 0 24676 55 0 0 25 0 32 0 744228325 4992671744 665608 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604502564814304 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 7873.49
Current children cumulated vsize (KiB) 4875656
[startup+250.302 s]
/proc/loadavg: 32.22 31.84 31.81 3/445 15239
/proc/meminfo: memFree=252496664/264257624 swapFree=67111528/67111528
[pid=15201] ppid=15199 vsize=4875656 CPUtime=7875.09 cores=0-31
/proc/15201/stat : 15201 (strangenight2-m) S 15199 15201 15115 0 -1 4202496 1183135 0 0 0 785125 2384 0 0 25 0 32 0 744228324 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15201/statm: 1218914 665692 387 95 0 1213896 0
[pid=15201/tid=15202] ppid=15199 vsize=4875656 CPUtime=246.23 cores=0-31
/proc/15201/task/15202/stat : 15202 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 37004 0 0 0 24547 76 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604480120413664 0 0 -1 5 0 0 0
[pid=15201/tid=15203] ppid=15199 vsize=4875656 CPUtime=245.97 cores=0-31
/proc/15201/task/15203/stat : 15203 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 34063 0 0 0 24524 73 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604492381429216 0 0 -1 1 0 0 0
[pid=15201/tid=15204] ppid=15199 vsize=4875656 CPUtime=246.18 cores=0-31
/proc/15201/task/15204/stat : 15204 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 41072 0 0 0 24552 66 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604477474635232 0 0 -1 28 0 0 0
[pid=15201/tid=15205] ppid=15199 vsize=4875656 CPUtime=246.25 cores=0-31
/proc/15201/task/15205/stat : 15205 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 37928 0 0 0 24546 79 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604566973128160 0 0 -1 12 0 0 0
[pid=15201/tid=15206] ppid=15199 vsize=4875656 CPUtime=246.27 cores=0-31
/proc/15201/task/15206/stat : 15206 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 38070 0 0 0 24548 79 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604479700803040 0 0 -1 10 0 0 0
[pid=15201/tid=15207] ppid=15199 vsize=4875656 CPUtime=239.64 cores=0-31
/proc/15201/task/15207/stat : 15207 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36647 0 0 0 23890 74 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604478930320864 0 0 -1 31 0 0 0
[pid=15201/tid=15208] ppid=15199 vsize=4875656 CPUtime=246.16 cores=0-31
/proc/15201/task/15208/stat : 15208 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36546 0 0 0 24538 78 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604498567609824 0 0 -1 4 0 0 0
[pid=15201/tid=15209] ppid=15199 vsize=4875656 CPUtime=246.35 cores=0-31
/proc/15201/task/15209/stat : 15209 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 40942 0 0 0 24557 78 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604504885689824 0 0 -1 29 0 0 0
[pid=15201/tid=15210] ppid=15199 vsize=4875656 CPUtime=247.41 cores=0-31
/proc/15201/task/15210/stat : 15210 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 31365 0 0 0 24662 79 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15201/tid=15211] ppid=15199 vsize=4875656 CPUtime=246.22 cores=0-31
/proc/15201/task/15211/stat : 15211 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 34706 0 0 0 24551 71 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604482259623392 0 0 -1 13 0 0 0
[pid=15201/tid=15212] ppid=15199 vsize=4875656 CPUtime=246.17 cores=0-31
/proc/15201/task/15212/stat : 15212 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 37131 0 0 0 24542 75 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604476331056608 0 0 -1 0 0 0 0
[pid=15201/tid=15213] ppid=15199 vsize=4875656 CPUtime=247.32 cores=0-31
/proc/15201/task/15213/stat : 15213 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 39176 0 0 0 24655 77 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279423019 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15201/tid=15214] ppid=15199 vsize=4875656 CPUtime=246.16 cores=0-31
/proc/15201/task/15214/stat : 15214 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 27822 0 0 0 24545 71 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604478689066464 0 0 -1 19 0 0 0
[pid=15201/tid=15215] ppid=15199 vsize=4875656 CPUtime=246.36 cores=0-31
/proc/15201/task/15215/stat : 15215 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 38822 0 0 0 24565 71 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604479003516384 0 0 -1 22 0 0 0
[pid=15201/tid=15216] ppid=15199 vsize=4875656 CPUtime=245.83 cores=0-31
/proc/15201/task/15216/stat : 15216 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 34920 0 0 0 24506 77 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604504780922336 0 0 -1 23 0 0 0
[pid=15201/tid=15217] ppid=15199 vsize=4875656 CPUtime=246.22 cores=0-31
/proc/15201/task/15217/stat : 15217 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36014 0 0 0 24543 79 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604483595222496 0 0 -1 27 0 0 0
[pid=15201/tid=15218] ppid=15199 vsize=4875656 CPUtime=246.51 cores=0-31
/proc/15201/task/15218/stat : 15218 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 39721 0 0 0 24576 75 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604506036780512 0 0 -1 17 0 0 0
[pid=15201/tid=15219] ppid=15199 vsize=4875656 CPUtime=246.31 cores=0-31
/proc/15201/task/15219/stat : 15219 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 44882 0 0 0 24558 73 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604484956650976 0 0 -1 16 0 0 0
[pid=15201/tid=15220] ppid=15199 vsize=4875656 CPUtime=246.25 cores=0-31
/proc/15201/task/15220/stat : 15220 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 42506 0 0 0 24549 76 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604504162065888 0 0 -1 15 0 0 0
[pid=15201/tid=15221] ppid=15199 vsize=4875656 CPUtime=246.2 cores=0-31
/proc/15201/task/15221/stat : 15221 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 40113 0 0 0 24563 57 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604494112726496 0 0 -1 20 0 0 0
[pid=15201/tid=15222] ppid=15199 vsize=4875656 CPUtime=245.8 cores=0-31
/proc/15201/task/15222/stat : 15222 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 33691 0 0 0 24500 80 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446744071566929504 0 0 -1 2 0 0 0
[pid=15201/tid=15223] ppid=15199 vsize=4875656 CPUtime=246.41 cores=0-31
/proc/15201/task/15223/stat : 15223 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 38445 0 0 0 24572 69 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604504967986656 0 0 -1 8 0 0 0
[pid=15201/tid=15224] ppid=15199 vsize=4875656 CPUtime=245.96 cores=0-31
/proc/15201/task/15224/stat : 15224 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 33728 0 0 0 24518 78 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604505568370144 0 0 -1 24 0 0 0
[pid=15201/tid=15225] ppid=15199 vsize=4875656 CPUtime=246.42 cores=0-31
/proc/15201/task/15225/stat : 15225 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36166 0 0 0 24572 70 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604505087909344 0 0 -1 30 0 0 0
[pid=15201/tid=15226] ppid=15199 vsize=4875656 CPUtime=246.09 cores=0-31
/proc/15201/task/15226/stat : 15226 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36188 0 0 0 24530 79 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604476917882336 0 0 -1 21 0 0 0
[pid=15201/tid=15227] ppid=15199 vsize=4875656 CPUtime=246.04 cores=0-31
/proc/15201/task/15227/stat : 15227 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 32780 0 0 0 24534 70 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604502310665696 0 0 -1 7 0 0 0
[pid=15201/tid=15228] ppid=15199 vsize=4875656 CPUtime=246.24 cores=0-31
/proc/15201/task/15228/stat : 15228 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 33311 0 0 0 24544 80 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604482525625824 0 0 -1 15 0 0 0
[pid=15201/tid=15229] ppid=15199 vsize=4875656 CPUtime=246.17 cores=0-31
/proc/15201/task/15229/stat : 15229 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36304 0 0 0 24538 79 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604486798474720 0 0 -1 9 0 0 0
[pid=15201/tid=15230] ppid=15199 vsize=4875656 CPUtime=246.16 cores=0-31
/proc/15201/task/15230/stat : 15230 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 41042 0 0 0 24538 78 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604479020187104 0 0 -1 13 0 0 0
[pid=15201/tid=15231] ppid=15199 vsize=4875656 CPUtime=245.95 cores=0-31
/proc/15201/task/15231/stat : 15231 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 38210 0 0 0 24515 80 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604489136750048 0 0 -1 11 0 0 0
[pid=15201/tid=15232] ppid=15199 vsize=4875656 CPUtime=247.31 cores=0-31
/proc/15201/task/15232/stat : 15232 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 39661 0 0 0 24676 55 0 0 25 0 32 0 744228325 4992671744 665692 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604502564814304 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 7875.09
Current children cumulated vsize (KiB) 4875656
[startup+251.102 s]
/proc/loadavg: 32.22 31.84 31.81 3/445 15239
/proc/meminfo: memFree=252496356/264257624 swapFree=67111528/67111528
[pid=15201] ppid=15199 vsize=4875656 CPUtime=7876.69 cores=0-31
/proc/15201/stat : 15201 (strangenight2-m) S 15199 15201 15115 0 -1 4202496 1183185 0 0 0 785285 2384 0 0 25 0 32 0 744228324 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15201/statm: 1218914 665742 387 95 0 1213896 0
[pid=15201/tid=15202] ppid=15199 vsize=4875656 CPUtime=246.23 cores=0-31
/proc/15201/task/15202/stat : 15202 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 37004 0 0 0 24547 76 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604480120413664 0 0 -1 5 0 0 0
[pid=15201/tid=15203] ppid=15199 vsize=4875656 CPUtime=245.97 cores=0-31
/proc/15201/task/15203/stat : 15203 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 34063 0 0 0 24524 73 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604492381429216 0 0 -1 1 0 0 0
[pid=15201/tid=15204] ppid=15199 vsize=4875656 CPUtime=246.18 cores=0-31
/proc/15201/task/15204/stat : 15204 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 41072 0 0 0 24552 66 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604477474635232 0 0 -1 28 0 0 0
[pid=15201/tid=15205] ppid=15199 vsize=4875656 CPUtime=246.25 cores=0-31
/proc/15201/task/15205/stat : 15205 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 37928 0 0 0 24546 79 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604566973128160 0 0 -1 12 0 0 0
[pid=15201/tid=15206] ppid=15199 vsize=4875656 CPUtime=246.27 cores=0-31
/proc/15201/task/15206/stat : 15206 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 38070 0 0 0 24548 79 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604479700803040 0 0 -1 10 0 0 0
[pid=15201/tid=15207] ppid=15199 vsize=4875656 CPUtime=239.64 cores=0-31
/proc/15201/task/15207/stat : 15207 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36647 0 0 0 23890 74 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604478930320864 0 0 -1 31 0 0 0
[pid=15201/tid=15208] ppid=15199 vsize=4875656 CPUtime=246.16 cores=0-31
/proc/15201/task/15208/stat : 15208 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36546 0 0 0 24538 78 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604498567609824 0 0 -1 4 0 0 0
[pid=15201/tid=15209] ppid=15199 vsize=4875656 CPUtime=246.35 cores=0-31
/proc/15201/task/15209/stat : 15209 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 40942 0 0 0 24557 78 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604504885689824 0 0 -1 29 0 0 0
[pid=15201/tid=15210] ppid=15199 vsize=4875656 CPUtime=248.21 cores=0-31
/proc/15201/task/15210/stat : 15210 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 31415 0 0 0 24742 79 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=15201/tid=15211] ppid=15199 vsize=4875656 CPUtime=246.22 cores=0-31
/proc/15201/task/15211/stat : 15211 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 34706 0 0 0 24551 71 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604482259623392 0 0 -1 13 0 0 0
[pid=15201/tid=15212] ppid=15199 vsize=4875656 CPUtime=246.17 cores=0-31
/proc/15201/task/15212/stat : 15212 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 37131 0 0 0 24542 75 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604476331056608 0 0 -1 0 0 0 0
[pid=15201/tid=15213] ppid=15199 vsize=4875656 CPUtime=248.12 cores=0-31
/proc/15201/task/15213/stat : 15213 (strangenight2-m) R 15199 15201 15115 0 -1 4202560 39176 0 0 0 24735 77 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279423019 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=15201/tid=15214] ppid=15199 vsize=4875656 CPUtime=246.16 cores=0-31
/proc/15201/task/15214/stat : 15214 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 27822 0 0 0 24545 71 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604478689066464 0 0 -1 19 0 0 0
[pid=15201/tid=15215] ppid=15199 vsize=4875656 CPUtime=246.36 cores=0-31
/proc/15201/task/15215/stat : 15215 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 38822 0 0 0 24565 71 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604479003516384 0 0 -1 22 0 0 0
[pid=15201/tid=15216] ppid=15199 vsize=4875656 CPUtime=245.83 cores=0-31
/proc/15201/task/15216/stat : 15216 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 34920 0 0 0 24506 77 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604504780922336 0 0 -1 23 0 0 0
[pid=15201/tid=15217] ppid=15199 vsize=4875656 CPUtime=246.22 cores=0-31
/proc/15201/task/15217/stat : 15217 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36014 0 0 0 24543 79 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604483595222496 0 0 -1 27 0 0 0
[pid=15201/tid=15218] ppid=15199 vsize=4875656 CPUtime=246.51 cores=0-31
/proc/15201/task/15218/stat : 15218 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 39721 0 0 0 24576 75 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604506036780512 0 0 -1 17 0 0 0
[pid=15201/tid=15219] ppid=15199 vsize=4875656 CPUtime=246.31 cores=0-31
/proc/15201/task/15219/stat : 15219 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 44882 0 0 0 24558 73 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604484956650976 0 0 -1 16 0 0 0
[pid=15201/tid=15220] ppid=15199 vsize=4875656 CPUtime=246.25 cores=0-31
/proc/15201/task/15220/stat : 15220 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 42506 0 0 0 24549 76 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604504162065888 0 0 -1 15 0 0 0
[pid=15201/tid=15221] ppid=15199 vsize=4875656 CPUtime=246.2 cores=0-31
/proc/15201/task/15221/stat : 15221 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 40113 0 0 0 24563 57 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604494112726496 0 0 -1 20 0 0 0
[pid=15201/tid=15222] ppid=15199 vsize=4875656 CPUtime=245.8 cores=0-31
/proc/15201/task/15222/stat : 15222 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 33691 0 0 0 24500 80 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446744071566929504 0 0 -1 2 0 0 0
[pid=15201/tid=15223] ppid=15199 vsize=4875656 CPUtime=246.41 cores=0-31
/proc/15201/task/15223/stat : 15223 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 38445 0 0 0 24572 69 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604504967986656 0 0 -1 8 0 0 0
[pid=15201/tid=15224] ppid=15199 vsize=4875656 CPUtime=245.96 cores=0-31
/proc/15201/task/15224/stat : 15224 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 33728 0 0 0 24518 78 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604505568370144 0 0 -1 24 0 0 0
[pid=15201/tid=15225] ppid=15199 vsize=4875656 CPUtime=246.42 cores=0-31
/proc/15201/task/15225/stat : 15225 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36166 0 0 0 24572 70 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604505087909344 0 0 -1 30 0 0 0
[pid=15201/tid=15226] ppid=15199 vsize=4875656 CPUtime=246.09 cores=0-31
/proc/15201/task/15226/stat : 15226 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36188 0 0 0 24530 79 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604476917882336 0 0 -1 21 0 0 0
[pid=15201/tid=15227] ppid=15199 vsize=4875656 CPUtime=246.04 cores=0-31
/proc/15201/task/15227/stat : 15227 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 32780 0 0 0 24534 70 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604502310665696 0 0 -1 7 0 0 0
[pid=15201/tid=15228] ppid=15199 vsize=4875656 CPUtime=246.24 cores=0-31
/proc/15201/task/15228/stat : 15228 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 33311 0 0 0 24544 80 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604482525625824 0 0 -1 15 0 0 0
[pid=15201/tid=15229] ppid=15199 vsize=4875656 CPUtime=246.17 cores=0-31
/proc/15201/task/15229/stat : 15229 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 36304 0 0 0 24538 79 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604486798474720 0 0 -1 9 0 0 0
[pid=15201/tid=15230] ppid=15199 vsize=4875656 CPUtime=246.16 cores=0-31
/proc/15201/task/15230/stat : 15230 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 41042 0 0 0 24538 78 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604479020187104 0 0 -1 13 0 0 0
[pid=15201/tid=15231] ppid=15199 vsize=4875656 CPUtime=245.95 cores=0-31
/proc/15201/task/15231/stat : 15231 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 38210 0 0 0 24515 80 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604489136750048 0 0 -1 11 0 0 0
[pid=15201/tid=15232] ppid=15199 vsize=4875656 CPUtime=247.31 cores=0-31
/proc/15201/task/15232/stat : 15232 (strangenight2-m) S 15199 15201 15115 0 -1 4202560 39661 0 0 0 24676 55 0 0 25 0 32 0 744228325 4992671744 665742 268435456000 4194304 4580107 140735475595408 18446744073709551615 47755279447604 0 0 4096 2 18446604502564814304 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 7876.69
Current children cumulated vsize (KiB) 4875656
[startup+251.301 s]
/proc/loadavg: 32.22 31.84 31.81 3/445 15239
/proc/meminfo: memFree=252496356/264257624 swapFree=67111528/67111528
[pid=15201] ppid=15199 vsize=0 CPUtime=7876.95 cores=0-31
/proc/15201/stat : 15201 (strangenight2-m) Z 15199 15201 15115 0 -1 4203548 1183189 0 0 0 785294 2401 0 0 18 0 2 0 744228324 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15201/statm: 0 0 0 0 0 0 0
[pid=15201/tid=15210] ppid=15199 vsize=0 CPUtime=248.41 cores=0-31
/proc/15201/task/15210/stat : 15210 (strangenight2-m) R 15199 15201 15115 0 -1 4203588 31415 0 0 0 24747 94 0 0 25 0 2 0 744228325 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 12 0 0 0
Current children cumulated CPU time (s) 7876.95
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 251.397
CPU time (s): 7877.05
CPU user time (s): 7852.94
CPU system time (s): 24.1123
CPU usage (%): 3133.31
Max. virtual memory (cumulated for all children) (KiB): 4941192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7852.94
system time used= 24.1123
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1183189
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= 757310
involuntary context switches= 18833
runsolver used 1.65275 second user time and 5.68713 second system time
The end
Launcher Data
Begin job on node200 at 2011-05-25 14:43:39
IDJOB=3400673
IDBENCH=70941
IDSOLVER=1886
FILE ID=node200/3400673-1306327419
RUNJOBID= node200-1306327317-15129
PBS_JOBID= 13411788
Free space on /tmp= 62044 MiB
SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_l46_lambda.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400673-1306327419/watcher-3400673-1306327419 -o /tmp/evaluation-result-3400673-1306327419/solver-3400673-1306327419 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400673-1306327419.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= eb4d0d02a25a8a84182ddd3b6d1fa8b5
RANDOM SEED=2010220904
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.049
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.09
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.049
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.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.09
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.049
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.17
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.049
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.049
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.06
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.049
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.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.09
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.049
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.09
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.049
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.02
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.049
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.17
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.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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 : 3989.98
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.049
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.06
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.049
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.04
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.049
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.09
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.049
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.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.05
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.049
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.07
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.049
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.08
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.049
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.23
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.049
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.049
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.09
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.049
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.08
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.049
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.09
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.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
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.09
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.049
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.049
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.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255160600 kB
Buffers: 466504 kB
Cached: 8224160 kB
SwapCached: 0 kB
Active: 7775836 kB
Inactive: 984224 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255160600 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 8716 kB
Writeback: 0 kB
AnonPages: 69916 kB
Mapped: 14720 kB
Slab: 255240 kB
PageTables: 4012 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 187144 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= 62036 MiB
End job on node200 at 2011-05-25 14:47:51