Trace number 3394818

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:
  1. 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.
  2. 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.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. 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.
  5. 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

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)UNSAT 4765.92 813.655

General information on the benchmark

NameSAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf
MD5SUM580dc3969c4e46e50013253fd4ac9139
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark326.479
Satisfiable
(Un)Satisfiability was proved
Number of variables209724
Number of clauses3634677
Sum of the clauses size10547961
Maximum clause length169
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 23415202
Number of clauses of size 349840
Number of clauses of size 46998
Number of clauses of size 514973
Number of clauses of size over 5147663

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 8 threads
0.00/0.04	c This is CryptoMiniSat 3.0.0
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c Reading file 'HOME/instance-3394818-1306107942.cnf'
0.00/0.04	c -- header says num vars:         209724
0.00/0.04	c -- header says num clauses:     3634677
15.05/2.89	c -- clauses added:            0 learnts,      3634677 normals,            0 xors
15.05/2.89	c -- vars added     209724
15.05/2.89	c Parsing time:  1.27 s
15.05/2.89	c  N st     0         0    209724    219474   3415202         0  10547960         0   no data   no data
19.46/3.48	c asymm  cl-useful: 84/95/219467 lits-rem:1488 time: 0.56
80.27/11.06	c Flit:   545 Blit:  34897 bXBeca:    0 bXProp: 5208 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T:  7.57
82.54/11.32	c Cleaning up after failed var search:     0.26 s 
84.91/11.61	c Replacing     5208 vars Replaced   191504 lits Time:     0.28 s 
87.02/11.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
89.41/12.23	c bin-w-bin subsume rem            5 bins  time:  0.25 s
109.37/14.79	c subs with bin:     6962  lits-rem:     42116  v-fix:    0  time:  2.56 s
134.91/17.90	c Subs w/ non-existent bins:     91 l-rem:   8098 v-fix:    20 done:  25669 time:  3.07 s
137.30/18.26	c Removed useless bin:    4579  fixed:     0  props:  20.00M  time:  0.35 s
204.98/26.70	c lits-rem:     76795  cl-subs:    13335  v-elim:  53947  v-fix:    0  time:  8.39 s
204.98/26.76	c Finding binary XORs  T:     0.06 s  found:     483
206.57/26.95	c Replacing      483 vars Replaced    93580 lits Time:     0.19 s 
209.78/27.32	c Finding non-binary XORs:     0.31 s (found:       0, avg size: nan)
209.78/27.32	c calculated reachability. Time: 0.00
209.78/27.38	c Calc default polars -  time:   0.05 s pos:   15891 undec:  102362 neg:   91471
209.78/27.38	c =========================================================================================
209.78/27.38	c types(t): F = full restart, N = normal restart
209.78/27.38	c types(t): S = simplification begin/end, E = solution found
209.78/27.38	c restart types(rt): st = static, dy = dynamic
209.78/27.38	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
209.78/27.38	c  B st     0         0    107393    208303   1881728         0   6497063         0   no data   no data
254.52/32.94	c  N dy    19      4167    107393    208303   1881857      3917   6497056    145428     20.68     21.84
281.75/36.35	c  N dy    37      8274    107274    208303   1883759      7792   6497050    287081     18.85     23.75
310.37/39.91	c  N dy    66     12426    107269    208303   1884976     11793   6497049    471898     20.04     21.39
335.91/43.14	c  N dy    87     16432    107267    208303   1885079     15638   6497048    623287     19.83     20.94
356.68/45.77	c  N dy   111     20507    107258    208303   1885855     10056   6497013    241463     19.98     21.97
388.59/49.77	c  N dy   138     24570    107258    208303   1886555     14004   6497009    420580     20.34     23.14
391.79/50.16	c  F st   142     25001    107258    208303   1886562     14424   6497009    446439     20.40   no data
416.55/53.21	c  N dy   148     30001    107258    207952   1885210     19179   6489909    682952     20.40   no data
416.55/53.21	c  S st   148     30001    107258    207952   1885210     19179   6489909    682952     20.40   no data
422.93/54.07	c  S st   148     30501    107168    207952   1885308     19575   6489909    686971     20.40   no data
423.73/54.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
550.70/70.09	c Flit:   308 Blit:    637 bXBeca:    0 bXProp:  312 Bins: 356300 BRemL:   7953 BRemN:   1129 P: 200.1M T: 15.92
551.50/70.17	c Cleaning up after failed var search:     0.08 s 
554.02/70.42	c Replacing      312 vars Replaced   157847 lits Time:     0.24 s 
554.68/70.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
556.28/70.76	c bin-w-bin subsume rem         4221 bins  time:  0.18 s
582.63/74.05	c subs with bin:    14397  lits-rem:    294640  v-fix:    0  time:  3.29 s
599.39/76.14	c Subs w/ non-existent bins:   1098 l-rem:   2501 v-fix:     0 done:  16115 time:  2.07 s
600.99/76.36	c Removed useless bin:    5204  fixed:     0  props:  20.01M  time:  0.20 s
620.15/78.74	c lits-rem:      4570  cl-subs:     6776  v-elim:   8238  v-fix:    0  time:  2.37 s
625.73/79.44	c subs with bin:      121  lits-rem:     11189  v-fix:    0  time:  0.64 s
628.93/79.87	c lits-rem:     10308  cl-subs:     1427  v-elim:      0  v-fix:    0  time:  0.32 s
633.04/80.35	c asymm  cl-useful: 50/1021/208238 lits-rem:1291 time: 0.49
633.70/80.41	c calculated reachability. Time: 0.00
633.70/80.41	c  N dy   148     30501     96781    208238   2012055     16033   5879859   1053145     20.40   no data
638.31/81.06	c Finding binary XORs  T:     0.06 s  found:     602
655.08/83.16	c  N dy   160     34856     93814    199691   1939419     20063   5706822   1123799     19.92     21.42
694.68/88.18	c  N dy   187     38918     92796    196645   1933351     24004   5615324   1334427     20.21     21.64
720.36/91.35	c  N dy   210     42991     92796    196645   1935500     14246   5615324    815522     20.29     28.50
737.03/93.51	c  S st   229     45751     92795    196645   1935530     16897   5615315    927887     20.43   no data
741.79/94.10	c  S st   229     46252     92793    196645   1935597     17322   5615315    933429     20.43   no data
742.59/94.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
839.98/106.32	c Flit:   258 Blit:    203 bXBeca:    0 bXProp:   57 Bins:1772785 BRemL:   4159 BRemN:     74 P: 200.0M T: 12.11
839.98/106.32	c Cleaning up after failed var search:     0.00 s 
842.41/106.66	c Replacing      659 vars Replaced   199089 lits Time:     0.34 s 
843.96/106.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
847.16/107.25	c bin-w-bin subsume rem        32296 bins  time:  0.42 s
866.32/109.63	c subs with bin:    16969  lits-rem:     53411  v-fix:    0  time:  2.38 s
882.28/111.63	c Subs w/ non-existent bins:   1429 l-rem:   2231 v-fix:    27 done:  22491 time:  1.99 s
884.68/111.99	c Removed useless bin:   14795  fixed:     0  props:  20.02M  time:  0.36 s
896.65/113.40	c lits-rem:       476  cl-subs:     5052  v-elim:   1957  v-fix:    0  time:  1.40 s
900.65/113.96	c subs with bin:      167  lits-rem:     11600  v-fix:    0  time:  0.48 s
903.88/114.32	c lits-rem:      8684  cl-subs:     1377  v-elim:      0  v-fix:    0  time:  0.27 s
907.82/114.81	c asymm  cl-useful: 28/937/180448 lits-rem:835 time: 0.49
908.62/114.90	c calculated reachability. Time: 0.01
908.62/114.91	c  N dy   229     46252     89685    180448   3556201     15300   5379057   4210246     20.43   no data
908.62/114.99	c Finding binary XORs  T:     0.08 s  found:      48
976.92/136.50	c  N dy   250     50265     87344    180448   3700031     19176   5379056   4683305     20.45     22.03
980.72/138.49	c  N dy   264     54340     87344    176505   3543540     22509   5234963   4636520     20.08     24.48
1155.46/281.38	c Finding binary XORs  T:     0.10 s  found:     229
1158.86/283.05	c  N dy   295     58408     87137    176176   4914170     26480   5228694   7573022     20.34     47.70
1227.49/324.42	c  N dy   323     62474     87137    176176   4948596     30427   5228678   7820853     20.51     21.62
1256.07/328.09	c  N dy   352     66495     87137    176176   4948636     17525   5228663   7078588     20.70     21.94
1278.43/330.88	c  S st   370     69382     87137    176176   4949570     20330   5228663   7238592     20.68   no data
1286.38/331.84	c  S st   370     69882     87136    176176   4949629     20767   5228663   7243110     20.68   no data
1287.18/331.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
1386.98/344.40	c Flit:   199 Blit:    244 bXBeca:    0 bXProp:   25 Bins: 142219 BRemL:  12957 BRemN:     22 P: 200.1M T: 12.42
1386.98/344.40	c Cleaning up after failed var search:     0.00 s 
1390.18/344.81	c Replacing      302 vars Replaced   260507 lits Time:     0.40 s 
1391.78/345.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1400.56/346.13	c bin-w-bin subsume rem       140074 bins  time:  1.11 s
1419.73/348.52	c subs with bin:     7401  lits-rem:     36368  v-fix:    0  time:  2.40 s
1438.13/350.83	c Subs w/ non-existent bins:   1621 l-rem:   6355 v-fix:    15 done:  15724 time:  2.31 s
1440.47/351.15	c Removed useless bin:   10246  fixed:     0  props:  20.01M  time:  0.31 s
1454.85/352.94	c lits-rem:      1352  cl-subs:     4233  v-elim:   3957  v-fix:    0  time:  1.79 s
1459.62/353.54	c subs with bin:      870  lits-rem:     10402  v-fix:    0  time:  0.51 s
1462.82/353.94	c lits-rem:      7977  cl-subs:      786  v-elim:      0  v-fix:    0  time:  0.29 s
1466.82/354.45	c asymm  cl-useful: 13/1118/175591 lits-rem:34 time: 0.51
1467.62/354.55	c calculated reachability. Time: 0.01
1467.62/354.55	c  N dy   370     69882     82405    175591   3559053     15445   5049913   4435690     20.68   no data
1468.41/354.64	c Finding binary XORs  T:     0.09 s  found:      27
1512.31/360.12	c  N dy   402     74638     82401    175591   3561570     20052   5049909   4640464     20.78     22.51
1546.90/364.95	c  N dy   446     79510     82401    175591   3561590     24853   5049908   4895245     21.28     22.86
1604.26/383.49	c Finding binary XORs  T:     0.08 s  found:      56
1609.26/385.97	c  N dy   481     84599     82151    175461   4120394     29813   5043032   6252493     21.40     24.15
1660.71/410.97	c  F st   500     87500     81935    175461   4272865     32644   5043032   6678647     21.45     17.01
1662.98/411.33	c Replacing       83 vars Replaced   101442 lits Time:     0.26 s 
1664.73/411.64	c Found part       16 vars:      81492 clauses:   1670597 lits size:   5037123
1664.73/411.64	c Found part       17 vars:          2 clauses:         1 lits size:         2
1664.73/411.64	c Found part       18 vars:          2 clauses:         1 lits size:         2
1664.73/411.64	c Found part       19 vars:          2 clauses:         1 lits size:         2
1664.73/411.64	c Found part       20 vars:          2 clauses:         1 lits size:         2
1664.73/411.64	c Found part       21 vars:          2 clauses:         1 lits size:         2
1664.73/411.64	c Found parts:          6 time: 0.65 s
1664.73/411.64	c Solving part 17
1666.02/411.82	c  N st     0         0         2         0         1         0         2         0   no data   no data
1666.02/411.82	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
1666.02/411.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
1666.02/411.83	c Finding binary XORs  T:     0.01 s  found:       0
1666.02/411.83	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1666.02/411.83	c calculated reachability. Time: 0.00
1666.02/411.84	c Calc default polars -  time:   0.00 s pos:       0 undec:  209722 neg:       2
1666.02/411.84	c =========================================================================================
1666.02/411.84	c types(t): F = full restart, N = normal restart
1666.02/411.84	c types(t): S = simplification begin/end, E = solution found
1666.02/411.84	c restart types(rt): st = static, dy = dynamic
1666.02/411.84	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1666.02/411.84	c  B st     0         0         2         0         1         0         2         0   no data   no data
1666.02/411.84	c  E st     1         0         0         0         1         0         2         0   no data   no data
1666.02/411.84	c Verified 0 clauses.
1666.02/411.84	c Verified 0 clauses.
1666.02/411.84	c Solved part
1666.02/411.84	c =========================================================================================
1666.02/411.85	c Solving part 18
1667.41/412.03	c  N st     0         0         2         0         1         0         2         0   no data   no data
1667.41/412.03	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
1667.41/412.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
1667.41/412.04	c Finding binary XORs  T:     0.01 s  found:       0
1667.41/412.04	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1667.41/412.04	c calculated reachability. Time: 0.00
1667.41/412.05	c Calc default polars -  time:   0.00 s pos:       0 undec:  209722 neg:       2
1667.41/412.05	c =========================================================================================
1667.41/412.05	c types(t): F = full restart, N = normal restart
1667.41/412.05	c types(t): S = simplification begin/end, E = solution found
1667.41/412.05	c restart types(rt): st = static, dy = dynamic
1667.41/412.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1667.41/412.05	c  B st     0         0         2         0         1         0         2         0   no data   no data
1667.41/412.05	c  E st     1         0         0         0         1         0         2         0   no data   no data
1667.41/412.05	c Verified 0 clauses.
1667.41/412.05	c Verified 0 clauses.
1667.41/412.05	c Solved part
1667.41/412.05	c =========================================================================================
1667.41/412.06	c Solving part 19
1668.80/412.23	c  N st     0         0         2         0         1         0         2         0   no data   no data
1668.80/412.23	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
1668.80/412.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
1668.80/412.25	c Finding binary XORs  T:     0.01 s  found:       0
1668.80/412.25	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1668.80/412.25	c calculated reachability. Time: 0.00
1668.80/412.25	c Calc default polars -  time:   0.00 s pos:       0 undec:  209722 neg:       2
1668.80/412.25	c =========================================================================================
1668.80/412.25	c types(t): F = full restart, N = normal restart
1668.80/412.25	c types(t): S = simplification begin/end, E = solution found
1668.80/412.25	c restart types(rt): st = static, dy = dynamic
1668.80/412.25	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1668.80/412.25	c  B st     0         0         2         0         1         0         2         0   no data   no data
1668.80/412.25	c  E st     1         0         0         0         1         0         2         0   no data   no data
1668.80/412.25	c Verified 0 clauses.
1668.80/412.25	c Verified 0 clauses.
1668.80/412.25	c Solved part
1668.80/412.25	c =========================================================================================
1668.80/412.26	c Solving part 20
1670.35/412.44	c  N st     0         0         2         0         1         0         2         0   no data   no data
1670.35/412.44	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
1670.35/412.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
1670.35/412.45	c Finding binary XORs  T:     0.01 s  found:       0
1670.35/412.46	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1670.35/412.46	c calculated reachability. Time: 0.00
1670.35/412.46	c Calc default polars -  time:   0.00 s pos:       0 undec:  209722 neg:       2
1670.35/412.46	c =========================================================================================
1670.35/412.46	c types(t): F = full restart, N = normal restart
1670.35/412.46	c types(t): S = simplification begin/end, E = solution found
1670.35/412.46	c restart types(rt): st = static, dy = dynamic
1670.35/412.46	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1670.35/412.46	c  B st     0         0         2         0         1         0         2         0   no data   no data
1670.35/412.46	c  E st     1         0         0         0         1         0         2         0   no data   no data
1670.35/412.46	c Verified 0 clauses.
1670.35/412.46	c Verified 0 clauses.
1670.35/412.46	c Solved part
1670.35/412.46	c =========================================================================================
1670.35/412.47	c Solving part 21
1671.90/412.64	c  N st     0         0         2         0         1         0         2         0   no data   no data
1671.90/412.64	c asymm  cl-useful: 0/0/0 lits-rem:0 time: 0.00
1671.90/412.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
1671.90/412.66	c Finding binary XORs  T:     0.01 s  found:       0
1671.90/412.66	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1671.90/412.66	c calculated reachability. Time: 0.00
1671.90/412.66	c Calc default polars -  time:   0.00 s pos:       0 undec:  209722 neg:       2
1671.90/412.66	c =========================================================================================
1671.90/412.66	c types(t): F = full restart, N = normal restart
1671.90/412.66	c types(t): S = simplification begin/end, E = solution found
1671.90/412.66	c restart types(rt): st = static, dy = dynamic
1671.90/412.66	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1671.90/412.66	c  B st     0         0         2         0         1         0         2         0   no data   no data
1671.90/412.66	c  E st     1         0         0         0         1         0         2         0   no data   no data
1671.90/412.67	c Verified 0 clauses.
1671.90/412.67	c Verified 0 clauses.
1671.90/412.67	c Solved part
1671.90/412.67	c =========================================================================================
1671.90/412.67	c Coming back to original instance
1671.90/412.67	c =========================================================================================
1688.80/414.76	c  N st   505     90798     81854    175304   4243519     18085   5037117   5780026     21.45   no data
1703.05/416.55	c Finding binary XORs  T:     0.09 s  found:      32
1729.40/419.89	c  N dy   537     97342     81854    175304   4248143     24457   5037117   6095045     21.55     22.91
1767.85/424.68	c  N dy   570    103659     81854    175304   4248654     30563   5037115   6406082     21.51     22.88
1775.75/425.65	c  S st   580    104825     81854    175304   4248664     31683   5037115   6454626     21.55   no data
1783.70/426.60	c  S st   580    105325     81853    175304   4249056     32117   5037115   6459301     21.55   no data
1784.53/426.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
1875.51/438.14	c Flit:   207 Blit:    708 bXBeca:    0 bXProp:   22 Bins: 236935 BRemL:   4262 BRemN:     19 P: 200.1M T: 11.41
1876.31/438.25	c Cleaning up after failed var search:     0.10 s 
1878.71/438.51	c Replacing       55 vars Replaced    61747 lits Time:     0.26 s 
1879.51/438.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1884.29/439.20	c bin-w-bin subsume rem        34513 bins  time:  0.53 s
1903.46/441.63	c subs with bin:     6817  lits-rem:     18840  v-fix:    0  time:  2.43 s
1918.63/443.54	c Subs w/ non-existent bins:   1092 l-rem:   3915 v-fix:     0 done:  20351 time:  1.90 s
1921.83/443.97	c Removed useless bin:   54233  fixed:     0  props:  20.00M  time:  0.44 s
1932.21/445.22	c lits-rem:      1293  cl-subs:     3730  v-elim:   2101  v-fix:    0  time:  1.25 s
1942.63/446.60	c subs with bin:      444  lits-rem:     10526  v-fix:    0  time:  1.28 s
1948.18/447.23	c lits-rem:     14572  cl-subs:     1575  v-elim:      0  v-fix:    0  time:  0.54 s
1951.41/447.71	c asymm  cl-useful: 260/1050/171201 lits-rem:374 time: 0.49
1952.96/447.80	c calculated reachability. Time: 0.00
1952.96/447.80	c  N dy   580    105325     78777    171201   3201457     28329   4787627   4390903     21.55   no data
1952.96/447.88	c Finding binary XORs  T:     0.08 s  found:       7
1994.49/453.01	c  N dy   623    112091     78743    171201   3203949     34900   4787623   4718051     21.74     24.01
2030.39/457.56	c  N dy   673    119324     78743    171201   3206130     22381   4787607   4030629     21.93     42.13
2086.24/464.56	c  N dy   737    127040     78743    171201   3206313     29937   4787598   4416939     22.28     23.73
2117.90/468.75	c Finding binary XORs  T:     0.07 s  found:      56
2135.81/471.67	c  N dy   802    135845     78576    171150   3050908     38512   4782834   4554513     22.59     24.06
2193.11/478.81	c  N dy   863    145492     78576    171150   3052173     25956   4782827   3766751     22.68     24.26
2244.21/485.24	c  N dy   930    154815     78576    171150   3052737     35072   4782791   4276115     22.92     25.51
2261.12/487.37	c  S st   951    157993     78576    171150   3052766     38166   4782791   4429701     22.93   no data
2266.58/488.08	c  S st   951    158493     78573    171150   3052815     38612   4782791   4438009     22.93   no data
2267.38/488.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
2357.71/499.45	c Flit:   292 Blit:   1549 bXBeca:    0 bXProp:   23 Bins: 214770 BRemL:  10083 BRemN:     58 P: 200.1M T: 11.26
2358.38/499.55	c Cleaning up after failed var search:     0.10 s 
2360.78/499.89	c Replacing       86 vars Replaced   118167 lits Time:     0.33 s 
2362.38/500.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2365.61/500.43	c bin-w-bin subsume rem        16392 bins  time:  0.40 s
2383.19/502.61	c subs with bin:     5009  lits-rem:     12294  v-fix:    0  time:  2.18 s
2392.86/503.82	c Subs w/ non-existent bins:    513 l-rem:    500 v-fix:     0 done:  18858 time:  1.21 s
2395.92/504.28	c Removed useless bin:   38202  fixed:     0  props:  20.02M  time:  0.45 s
2407.90/505.74	c lits-rem:      1595  cl-subs:     5025  v-elim:   3878  v-fix:    0  time:  1.46 s
2420.67/507.34	c subs with bin:      986  lits-rem:      9163  v-fix:    0  time:  1.51 s
2426.27/508.04	c lits-rem:     24968  cl-subs:     1743  v-elim:      0  v-fix:    0  time:  0.61 s
2430.24/508.54	c asymm  cl-useful: 263/1212/167565 lits-rem:499 time: 0.51
2431.05/508.61	c calculated reachability. Time: 0.00
2431.05/508.61	c  N dy   951    158493     72784    167565   2428048     33516   4522889   3208884     22.93   no data
2431.05/508.68	c Finding binary XORs  T:     0.07 s  found:       3
2477.11/515.94	c Finding binary XORs  T:     0.06 s  found:      25
2505.39/521.36	c  N dy  1012    168716     71754    163983   2676678     41673   4474371   4142780     23.04     25.54
2561.94/528.41	c Finding binary XORs  T:     0.07 s  found:      24
2579.51/530.66	c  N dy  1096    179644     71659    163155   2335874     30802   4456745   2846662     23.32     24.80
2636.20/537.76	c  N dy  1166    191339     71659    163155   2336135     42108   4456732   3414102     23.36     24.91
2707.30/546.66	c  N dy  1252    203752     71659    163155   2336672     30365   4456729   2738499     23.56     25.09
2770.34/554.55	c  N dy  1336    217088     71659    163155   2337014     43347   4456727   3425390     23.66     25.29
2855.77/565.22	c  N dy  1435    231079     71575    163155   2343561     31421   4456703   2710944     23.90     25.22
2872.54/567.36	c Finding binary XORs  T:     0.07 s  found:      44
2890.90/569.70	c  S st  1472    237739     71319    162772   2321170     37811   4442312   2990577     23.86     18.86
2896.48/570.37	c  S st  1472    238239     71319    162772   2321213     38262   4442312   2995454     23.86   no data
2897.28/570.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
2979.56/580.76	c Flit:   124 Blit:      8 bXBeca:    0 bXProp:   58 Bins: 392559 BRemL:  15932 BRemN:    148 P: 200.0M T: 10.29
2979.56/580.76	c Cleaning up after failed var search:     0.00 s 
2983.51/581.24	c Replacing      155 vars Replaced   229014 lits Time:     0.47 s 
2984.31/581.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2987.52/581.74	c bin-w-bin subsume rem        38948 bins  time:  0.35 s
3005.08/583.91	c subs with bin:     6219  lits-rem:     14941  v-fix:    0  time:  2.18 s
3013.06/584.90	c Subs w/ non-existent bins:   1164 l-rem:   4018 v-fix:     0 done:  15481 time:  0.98 s
3014.69/585.20	c Removed useless bin:   21343  fixed:     0  props:  20.01M  time:  0.30 s
3026.62/586.67	c lits-rem:      1001  cl-subs:     4938  v-elim:   3313  v-fix:    0  time:  1.47 s
3035.40/587.77	c subs with bin:      546  lits-rem:     11850  v-fix:    0  time:  1.02 s
3040.20/588.41	c lits-rem:     13310  cl-subs:     1853  v-elim:      0  v-fix:    0  time:  0.56 s
3044.98/588.93	c asymm  cl-useful: 255/1382/158300 lits-rem:2156 time: 0.52
3045.78/589.00	c calculated reachability. Time: 0.00
3045.78/589.00	c  N dy  1472    238239     67719    158278   2226678     31867   4311816   2669565     23.86   no data
3045.78/589.06	c Finding binary XORs  T:     0.06 s  found:       1
3114.33/597.68	c  N dy  1524    253472     67705    158278   2249344     46520   4311797   3344396     23.61     25.62
3216.60/610.51	c  N dy  1652    269726     67704    158278   2250182     37742   4311773   2987708     23.98     38.80
3297.99/620.68	c Finding binary XORs  T:     0.06 s  found:      10
3303.58/621.41	c  N dy  1739    287031     67703    157893   2246714     27553   4299804   2347964     24.04     25.40
3416.15/635.47	c  N dy  1877    305424     67703    157893   2247576     45572   4299746   3320692     24.33     27.18
3421.74/636.10	c  F st  1886    306251     67703    157893   2247579     46383   4299727   3371633     24.36   no data
3423.34/636.30	c Replacing       11 vars Replaced    38939 lits Time:     0.20 s 
3525.54/649.17	c  N dy  2005    324942     67693    157363   2248180     35938   4296740   2743519     24.59     26.00
3634.93/662.83	c  N dy  2156    345015     67691    157363   2248820     55513   4296707   3808535     24.85     39.48
3703.61/671.41	c  S st  2239    357360     67691    157363   2249169     37776   4296704   2776445     24.95   no data
3711.59/672.48	c  S st  2239    357860     67689    157363   2249222     38220   4296703   2780097     24.95   no data
3712.38/672.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
3784.22/681.51	c Flit:   163 Blit:    914 bXBeca:    0 bXProp:   77 Bins: 227025 BRemL:  13949 BRemN:     96 P: 200.0M T:  8.94
3785.02/681.65	c Cleaning up after failed var search:     0.14 s 
3789.01/682.18	c Replacing       77 vars Replaced   163080 lits Time:     0.52 s 
3790.61/682.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3793.00/682.68	c bin-w-bin subsume rem        32784 bins  time:  0.37 s
3809.78/684.70	c subs with bin:     4023  lits-rem:     14919  v-fix:    0  time:  2.01 s
3812.18/685.08	c Subs w/ non-existent bins:    105 l-rem:    674 v-fix:     0 done:  17014 time:  0.38 s
3814.69/685.38	c Removed useless bin:   12935  fixed:     0  props:  20.01M  time:  0.30 s
3829.74/687.21	c lits-rem:      1830  cl-subs:     7228  v-elim:   4503  v-fix:    0  time:  1.83 s
3837.73/688.23	c subs with bin:      350  lits-rem:      5446  v-fix:    0  time:  0.96 s
3841.71/688.77	c lits-rem:     28980  cl-subs:     1535  v-elim:      0  v-fix:    0  time:  0.46 s
3845.71/689.29	c asymm  cl-useful: 269/1271/138645 lits-rem:1009 time: 0.52
3846.51/689.35	c calculated reachability. Time: 0.00
3846.51/689.35	c  N dy  2239    357860     60177    138645   1832865     31067   3991762   1984537     24.95   no data
3847.31/689.40	c Finding binary XORs  T:     0.06 s  found:       2
3938.33/700.85	c Finding binary XORs  T:     0.06 s  found:      13
3954.35/702.87	c  N dy  2386    378010     60176    138645   1900394     50783   3991695   3183790     25.20     26.86
4065.29/716.72	c  N dy  2542    398124     60128    138645   1917393     41948   3991647   2607684     25.46     28.57
4166.02/729.32	c  N dy  2678    418267     60128    138645   1917825     61476   3991629   3630569     25.58     27.17
4254.53/740.47	c Finding binary XORs  T:     0.06 s  found:      17
4272.89/742.79	c  N dy  2827    438329     60123    138355   1909808     50426   3986125   2923103     25.74     34.28
4371.11/755.02	c  N dy  2946    458547     60123    138355   1910271     37840   3986121   2132252     25.72     27.14
4469.33/767.39	c  N dy  3065    478803     60121    138355   1910846     57488   3986085   3082451     25.72     27.09
4556.36/778.24	c  N dy  3126    500407     59801    138355   1911274     44577   3986085   2335287     25.52     27.78
4637.01/788.39	c  N dy  3184    520557     59658    138355   1911589     63888   3986085   3075875     25.27     26.82
4706.47/797.04	c  S st  3233    536791     57755    118485   1650136     33422   3725581   1680781     25.11   no data
4711.26/797.67	c  S st  3233    537293     57755    118485   1650163     33890   3725581   1687909     25.11   no data
4712.06/797.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
4750.99/806.21	c Flit:     2 Blit:      2 bXBeca:    0 bXProp: 2068 Bins:  44804 BRemL:   5812 BRemN:     48 P: 200.0M T:  8.28
4752.60/806.94	c Replacing     2100 vars Replaced   379973 lits Time:     0.72 s 
4752.80/807.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4753.41/807.34	c bin-w-bin subsume rem        88147 bins  time:  0.30 s
4757.40/809.31	c subs with bin:     1427  lits-rem:     14484  v-fix:    0  time:  1.97 s
4758.03/809.63	c Subs w/ non-existent bins:    105 l-rem:    287 v-fix:     0 done:  32336 time:  0.26 s
4758.20/809.78	c Removed useless bin:    5889  fixed:     0  props:  20.00M  time:  0.15 s
4762.43/811.81	c lits-rem:      2827  cl-subs:     6071  v-elim:  12717  v-fix:    0  time:  2.03 s
4763.40/812.36	c subs with bin:      293  lits-rem:      4620  v-fix:    0  time:  0.50 s
4764.20/812.77	c lits-rem:     24865  cl-subs:     1722  v-elim:      0  v-fix:    0  time:  0.35 s
4764.41/812.91	c vivif2 --  cl tried    95434 cl shrink     3728 lits rem      25319 time: 0.14
4764.63/812.96	c vivif2 --  cl tried    22870 cl shrink     1212 lits rem       4553 time: 0.05
4765.40/813.35	c asymm  cl-useful: 318/1591/94741 lits-rem:1468 time: 0.39
4765.60/813.45	c calculated reachability. Time: 0.07
4765.60/813.46	c  N dy  3233    537293     42940     94734   1142684     22723   2814322   1004463     25.11   no data
4765.60/813.46	c Following stats are for *FIRST FINISHED THREAD ONLY*
4765.60/813.46	c num threads              : 8          
4765.60/813.46	c restarts                 : 3577       
4765.60/813.46	c dynamic restarts         : 3553       
4765.60/813.46	c static restarts          : 24         
4765.60/813.46	c full restarts            : 3          
4765.60/813.46	c total simplify time      : 3.53       
4765.60/813.46	c learnts DL2              : 0          
4765.60/813.46	c learnts size 2           : 10187571   
4765.60/813.46	c learnts size 1           : 72585       (34.61     % of vars)
4765.60/813.46	c filedLit time            : 56.90       (9.48      % time)
4765.60/813.46	c v-elim SatELite          : 76833       (36.64     % vars)
4765.60/813.46	c SatELite time            : 28.04       (4.67      % time)
4765.60/813.46	c v-elim xor               : 0           (0.00      % vars)
4765.60/813.46	c xor elim time            : 0.45        (0.08      % time)
4765.60/813.46	c num binary xor trees     : 4019       
4765.60/813.46	c binxor trees' crown      : 7444        (1.85      leafs/tree)
4765.60/813.46	c bin xor find time        : 1.32       
4765.60/813.46	c OTF clause improved      : 11872       (0.02      clauses/conflict)
4765.60/813.46	c OTF impr. size diff      : 18514       (1.56       lits/clause)
4765.60/813.46	c OTF cl watch-shrink      : 310384      (0.54      clauses/conflict)
4765.60/813.46	c OTF cl watch-sh-lit      : 1498705     (4.83       lits/clause)
4765.60/813.46	c tried to recurMin cls    : 0           (0.00       % of conflicts)
4765.60/813.46	c updated cache            : 0           (nan        lits/tried recurMin)
4765.60/813.46	c unit cls recevied        : 5915        (8.15      % of units)
4765.60/813.46	c unit cls sent            : 3332        (4.59      % of units)
4765.60/813.46	c bin cls recevied         : 5692122    
4765.60/813.46	c bin cls sent             : 792214     
4765.60/813.46	c clauses over max glue    : 0           (0.00      % of all clauses)
4765.60/813.46	c conflicts                : 577408      (962.17    / sec)
4765.60/813.46	c decisions                : 121888169   (0.13      % random)
4765.60/813.46	c bogo-props               : 9084673639  (15138302.74 / sec)
4765.60/813.46	c conflict literals        : 29122544    (20.43     % deleted)
4765.60/813.46	c Memory used              : 5314.73     MB
4765.60/813.46	c single-thread CPU time   : 600.11      s
4765.60/813.46	c all-threads sum CPU time : 4756.57     s
4765.60/813.46	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-3394818-1306107942/watcher-3394818-1306107942 -o /tmp/evaluation-result-3394818-1306107942/solver-3394818-1306107942 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394818-1306107942.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.00 8.04 8.00 2/448 6743
/proc/meminfo: memFree=14575084/32951124 swapFree=63485464/67111528
[pid=6743] ppid=6741 vsize=92144 CPUtime=0 cores=0-7
/proc/6743/stat : 6743 (strangenight2-m) R 6741 6743 6533 0 -1 4202496 411 0 0 0 0 0 0 0 22 0 8 0 703210318 94355456 352 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294696370 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6743/statm: 23036 352 299 95 0 18018 0
[pid=6743/tid=6744] ppid=6741 vsize=92144 CPUtime=0.01 cores=0-7
/proc/6743/task/6744/stat : 6744 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 4 0 0 0 1 0 0 0 23 0 8 0 703210318 94355456 360 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695961 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6743/tid=6745] ppid=6741 vsize=92144 CPUtime=0 cores=0-7
/proc/6743/task/6745/stat : 6745 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 703210318 94355456 360 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294696374 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6743/tid=6746] ppid=6741 vsize=92144 CPUtime=0.01 cores=0-7
/proc/6743/task/6746/stat : 6746 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 703210318 94355456 360 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695961 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6743/tid=6747] ppid=6741 vsize=92144 CPUtime=0.01 cores=0-7
/proc/6743/task/6747/stat : 6747 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 8 0 703210318 94355456 360 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695961 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6743/tid=6748] ppid=6741 vsize=92144 CPUtime=0 cores=0-7
/proc/6743/task/6748/stat : 6748 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 703210318 94355456 360 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6743/tid=6749] ppid=6741 vsize=92144 CPUtime=0 cores=0-7
/proc/6743/task/6749/stat : 6749 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 703210318 94355456 360 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695961 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6743/tid=6750] ppid=6741 vsize=92144 CPUtime=0 cores=0-7
/proc/6743/task/6750/stat : 6750 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 8 0 703210318 94355456 360 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695952 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.071591 s]
/proc/loadavg: 8.00 8.04 8.00 2/448 6743
/proc/meminfo: memFree=14575084/32951124 swapFree=63485464/67111528
[pid=6743] ppid=6741 vsize=557580 CPUtime=0.4 cores=0-7
/proc/6743/stat : 6743 (strangenight2-m) R 6741 6743 6533 0 -1 4202496 6311 0 0 0 34 6 0 0 17 0 8 0 703210318 570961920 5875 33554432000 4194304 4580107 140733201649600 18446744073709551615 4354920 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6743/statm: 139395 5900 336 95 0 134377 0
[pid=6743/tid=6744] ppid=6741 vsize=557580 CPUtime=0.05 cores=0-7
/proc/6743/task/6744/stat : 6744 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 1053 0 0 0 5 0 0 0 17 0 8 0 703210318 570961920 5914 33554432000 4194304 4580107 140733201649600 18446744073709551615 220816341486 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6743/tid=6745] ppid=6741 vsize=557580 CPUtime=0 cores=0-7
/proc/6743/task/6745/stat : 6745 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 595 0 0 0 0 0 0 0 17 0 8 0 703210318 570961920 5922 33554432000 4194304 4580107 140733201649600 18446744073709551615 220816341486 0 0 4096 2 18446604448890987648 0 0 -1 7 0 0 0
[pid=6743/tid=6746] ppid=6741 vsize=557580 CPUtime=0.05 cores=0-7
/proc/6743/task/6746/stat : 6746 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 853 0 0 0 5 0 0 0 17 0 8 0 703210318 570961920 5936 33554432000 4194304 4580107 140733201649600 18446744073709551615 220815933559 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6743/tid=6747] ppid=6741 vsize=557580 CPUtime=0.04 cores=0-7
/proc/6743/task/6747/stat : 6747 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 691 0 0 0 4 0 0 0 17 0 8 0 703210318 570961920 5951 33554432000 4194304 4580107 140733201649600 18446744073709551615 220816341486 0 0 4096 2 18446604448890987648 0 0 -1 1 0 0 0
[pid=6743/tid=6748] ppid=6741 vsize=557580 CPUtime=0.04 cores=0-7
/proc/6743/task/6748/stat : 6748 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 685 0 0 0 4 0 0 0 17 0 8 0 703210318 570961920 5955 33554432000 4194304 4580107 140733201649600 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6743/tid=6749] ppid=6741 vsize=557580 CPUtime=0.04 cores=0-7
/proc/6743/task/6749/stat : 6749 (strangenight2-m) D 6741 6743 6533 0 -1 4202560 661 0 0 0 4 0 0 0 17 0 8 0 703210318 570961920 5959 33554432000 4194304 4580107 140733201649600 18446744073709551615 220816279735 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6743/tid=6750] ppid=6741 vsize=557580 CPUtime=0.04 cores=0-7
/proc/6743/task/6750/stat : 6750 (strangenight2-m) D 6741 6743 6533 0 -1 4202560 688 0 0 0 4 0 0 0 17 0 8 0 703210318 570961920 5959 33554432000 4194304 4580107 140733201649600 18446744073709551615 220816279735 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 557580

[startup+0.10162 s]
/proc/loadavg: 8.00 8.04 8.00 2/448 6743
/proc/meminfo: memFree=14575084/32951124 swapFree=63485464/67111528
[pid=6743] ppid=6741 vsize=565888 CPUtime=0.56 cores=0-7
/proc/6743/stat : 6743 (strangenight2-m) D 6741 6743 6533 0 -1 4202496 10684 0 0 0 45 11 0 0 17 0 8 0 703210318 579469312 9649 33554432000 4194304 4580107 140733201649600 18446744073709551615 220815897633 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6743/statm: 141472 9708 337 95 0 136454 0
[pid=6743/tid=6744] ppid=6741 vsize=565888 CPUtime=0.07 cores=0-7
/proc/6743/task/6744/stat : 6744 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 1703 0 0 0 6 1 0 0 17 0 8 0 703210318 579469312 9741 33554432000 4194304 4580107 140733201649600 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6743/tid=6745] ppid=6741 vsize=565888 CPUtime=0.03 cores=0-7
/proc/6743/task/6745/stat : 6745 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 1168 0 0 0 2 1 0 0 17 0 8 0 703210318 579469312 9747 33554432000 4194304 4580107 140733201649600 18446744073709551615 220816341486 0 0 4096 2 18446604448890987648 0 0 -1 7 0 0 0
[pid=6743/tid=6746] ppid=6741 vsize=565888 CPUtime=0.07 cores=0-7
/proc/6743/task/6746/stat : 6746 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 1367 0 0 0 6 1 0 0 17 0 8 0 703210318 579469312 9755 33554432000 4194304 4580107 140733201649600 18446744073709551615 220816341535 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6743/tid=6747] ppid=6741 vsize=565888 CPUtime=0.07 cores=0-7
/proc/6743/task/6747/stat : 6747 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 1226 0 0 0 6 1 0 0 17 0 8 0 703210318 579469312 9790 33554432000 4194304 4580107 140733201649600 18446744073709551615 220816341535 0 0 4096 2 18446604448890987648 0 0 -1 1 0 0 0
[pid=6743/tid=6748] ppid=6741 vsize=565888 CPUtime=0.05 cores=0-7
/proc/6743/task/6748/stat : 6748 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 1207 0 0 0 4 1 0 0 17 0 8 0 703210318 579469312 9813 33554432000 4194304 4580107 140733201649600 18446744073709551615 220816341535 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6743/tid=6749] ppid=6741 vsize=565888 CPUtime=0.06 cores=0-7
/proc/6743/task/6749/stat : 6749 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 1274 0 0 0 5 1 0 0 17 0 8 0 703210318 579469312 9822 33554432000 4194304 4580107 140733201649600 18446744073709551615 220816341486 0 0 4096 2 18446604448890987648 0 0 -1 5 0 0 0
[pid=6743/tid=6750] ppid=6741 vsize=565888 CPUtime=0.07 cores=0-7
/proc/6743/task/6750/stat : 6750 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 1131 0 0 0 6 1 0 0 17 0 8 0 703210318 579469312 9822 33554432000 4194304 4580107 140733201649600 18446744073709551615 220816341486 0 0 4096 2 18446604448890987648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 565888

[startup+0.301539 s]
/proc/loadavg: 8.00 8.04 8.00 2/448 6743
/proc/meminfo: memFree=14575084/32951124 swapFree=63485464/67111528
[pid=6743] ppid=6741 vsize=600128 CPUtime=1.62 cores=0-7
/proc/6743/stat : 6743 (strangenight2-m) S 6741 6743 6533 0 -1 4202496 32457 0 0 0 109 53 0 0 17 0 8 0 703210318 614531072 28362 33554432000 4194304 4580107 140733201649600 18446744073709551615 220816341486 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6743/statm: 150032 28366 337 95 0 145014 0
[pid=6743/tid=6744] ppid=6741 vsize=600128 CPUtime=0.22 cores=0-7
/proc/6743/task/6744/stat : 6744 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 4468 0 0 0 15 7 0 0 17 0 8 0 703210318 614531072 28373 33554432000 4194304 4580107 140733201649600 18446744073709551615 220816341535 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6743/tid=6745] ppid=6741 vsize=600128 CPUtime=0.16 cores=0-7
/proc/6743/task/6745/stat : 6745 (strangenight2-m) D 6741 6743 6533 0 -1 4202560 3814 0 0 0 8 8 0 0 17 0 8 0 703210318 614531072 28373 33554432000 4194304 4580107 140733201649600 18446744073709551615 220815897633 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6743/tid=6746] ppid=6741 vsize=600128 CPUtime=0.2 cores=0-7
/proc/6743/task/6746/stat : 6746 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 4095 0 0 0 14 6 0 0 17 0 8 0 703210318 614531072 28374 33554432000 4194304 4580107 140733201649600 18446744073709551615 220816341486 0 0 4096 2 18446604448890987648 0 0 -1 6 0 0 0
[pid=6743/tid=6747] ppid=6741 vsize=600128 CPUtime=0.19 cores=0-7
/proc/6743/task/6747/stat : 6747 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 4099 0 0 0 14 5 0 0 17 0 8 0 703210318 614531072 28376 33554432000 4194304 4580107 140733201649600 18446744073709551615 220816341486 0 0 4096 2 18446604448890987648 0 0 -1 7 0 0 0
[pid=6743/tid=6748] ppid=6741 vsize=600128 CPUtime=0.18 cores=0-7
/proc/6743/task/6748/stat : 6748 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 3990 0 0 0 12 6 0 0 17 0 8 0 703210318 614531072 28379 33554432000 4194304 4580107 140733201649600 18446744073709551615 4353989 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6743/tid=6749] ppid=6741 vsize=600128 CPUtime=0.2 cores=0-7
/proc/6743/task/6749/stat : 6749 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 3779 0 0 0 14 6 0 0 17 0 8 0 703210318 614531072 28379 33554432000 4194304 4580107 140733201649600 18446744073709551615 4341285 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6743/tid=6750] ppid=6741 vsize=600128 CPUtime=0.19 cores=0-7
/proc/6743/task/6750/stat : 6750 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 3831 0 0 0 13 6 0 0 17 0 8 0 703210318 614531072 28379 33554432000 4194304 4580107 140733201649600 18446744073709551615 220816341486 0 0 4096 2 18446604448890987648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 600128

[startup+1.53935 s]
/proc/loadavg: 8.00 8.04 8.00 2/448 6743
/proc/meminfo: memFree=14575084/32951124 swapFree=63485464/67111528
[pid=6743] ppid=6741 vsize=859724 CPUtime=7.46 cores=0-7
/proc/6743/stat : 6743 (strangenight2-m) S 6741 6743 6533 0 -1 4202496 157761 0 0 0 467 279 0 0 15 0 8 0 703210318 880357376 140636 33554432000 4194304 4580107 140733201649600 18446744073709551615 220816341486 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6743/statm: 214931 140649 337 95 0 209913 0
[pid=6743/tid=6744] ppid=6741 vsize=859724 CPUtime=0.88 cores=0-7
/proc/6743/task/6744/stat : 6744 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 19896 0 0 0 54 34 0 0 15 0 8 0 703210318 880357376 140670 33554432000 4194304 4580107 140733201649600 18446744073709551615 220816341535 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6743/tid=6745] ppid=6741 vsize=859724 CPUtime=0.87 cores=0-7
/proc/6743/task/6745/stat : 6745 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 19862 0 0 0 52 35 0 0 15 0 8 0 703210318 880357376 140684 33554432000 4194304 4580107 140733201649600 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6743/tid=6746] ppid=6741 vsize=859724 CPUtime=0.92 cores=0-7
/proc/6743/task/6746/stat : 6746 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 20172 0 0 0 58 34 0 0 15 0 8 0 703210318 880357376 140698 33554432000 4194304 4580107 140733201649600 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6743/tid=6747] ppid=6741 vsize=859724 CPUtime=0.97 cores=0-7
/proc/6743/task/6747/stat : 6747 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 20302 0 0 0 61 36 0 0 15 0 8 0 703210318 880357376 140723 33554432000 4194304 4580107 140733201649600 18446744073709551615 220816341486 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6743/tid=6748] ppid=6741 vsize=859724 CPUtime=0.9 cores=0-7
/proc/6743/task/6748/stat : 6748 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 19035 0 0 0 60 30 0 0 15 0 8 0 703210318 880357376 140744 33554432000 4194304 4580107 140733201649600 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6743/tid=6749] ppid=6741 vsize=859724 CPUtime=0.95 cores=0-7
/proc/6743/task/6749/stat : 6749 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 18906 0 0 0 59 36 0 0 16 0 8 0 703210318 880357376 140784 33554432000 4194304 4580107 140733201649600 18446744073709551615 220816341486 0 0 4096 2 18446604448890987648 0 0 -1 7 0 0 0
[pid=6743/tid=6750] ppid=6741 vsize=859724 CPUtime=0.89 cores=0-7
/proc/6743/task/6750/stat : 6750 (strangenight2-m) D 6741 6743 6533 0 -1 4202560 18808 0 0 0 60 29 0 0 16 0 8 0 703210318 880357376 140795 33554432000 4194304 4580107 140733201649600 18446744073709551615 220815897633 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.46
Current children cumulated vsize (KiB) 859724

[startup+1.6033 s]
/proc/loadavg: 8.00 8.04 8.00 2/448 6743
/proc/meminfo: memFree=14575084/32951124 swapFree=63485464/67111528
[pid=6743] ppid=6741 vsize=992428 CPUtime=7.85 cores=0-7
/proc/6743/stat : 6743 (strangenight2-m) R 6741 6743 6533 0 -1 4202496 165203 0 0 0 492 293 0 0 16 0 8 0 703210318 1016246272 147995 33554432000 4194304 4580107 140733201649600 18446744073709551615 220815897633 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6743/statm: 248107 148016 337 95 0 243089 0
[pid=6743/tid=6744] ppid=6741 vsize=992428 CPUtime=0.93 cores=0-7
/proc/6743/task/6744/stat : 6744 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 20866 0 0 0 57 36 0 0 15 0 8 0 703210318 1016246272 148017 33554432000 4194304 4580107 140733201649600 18446744073709551615 220816341535 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6743/tid=6745] ppid=6741 vsize=992428 CPUtime=0.92 cores=0-7
/proc/6743/task/6745/stat : 6745 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 20786 0 0 0 55 37 0 0 16 0 8 0 703210318 1016246272 148020 33554432000 4194304 4580107 140733201649600 18446744073709551615 220816341535 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6743/tid=6746] ppid=6741 vsize=992428 CPUtime=0.97 cores=0-7
/proc/6743/task/6746/stat : 6746 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 21079 0 0 0 61 36 0 0 15 0 8 0 703210318 1016246272 148021 33554432000 4194304 4580107 140733201649600 18446744073709551615 4309463 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6743/tid=6747] ppid=6741 vsize=992428 CPUtime=1.02 cores=0-7
/proc/6743/task/6747/stat : 6747 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 21280 0 0 0 64 38 0 0 15 0 8 0 703210318 1016246272 148035 33554432000 4194304 4580107 140733201649600 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6743/tid=6748] ppid=6741 vsize=992428 CPUtime=0.94 cores=0-7
/proc/6743/task/6748/stat : 6748 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 19913 0 0 0 63 31 0 0 15 0 8 0 703210318 1016246272 148040 33554432000 4194304 4580107 140733201649600 18446744073709551615 220816341486 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6743/tid=6749] ppid=6741 vsize=992428 CPUtime=1 cores=0-7
/proc/6743/task/6749/stat : 6749 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 19819 0 0 0 62 38 0 0 16 0 8 0 703210318 1016246272 148043 33554432000 4194304 4580107 140733201649600 18446744073709551615 220816341486 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6743/tid=6750] ppid=6741 vsize=992428 CPUtime=0.94 cores=0-7
/proc/6743/task/6750/stat : 6750 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 19665 0 0 0 64 30 0 0 16 0 8 0 703210318 1016246272 148044 33554432000 4194304 4580107 140733201649600 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.85
Current children cumulated vsize (KiB) 992428

[startup+3.10103 s]
/proc/loadavg: 8.00 8.04 8.00 7/456 6751
/proc/meminfo: memFree=13756128/32951124 swapFree=63485464/67111528
[pid=6743] ppid=6741 vsize=1800552 CPUtime=17.08 cores=0-7
/proc/6743/stat : 6743 (strangenight2-m) R 6741 6743 6533 0 -1 4202496 342718 0 0 0 1188 520 0 0 16 0 8 0 703210318 1843765248 308046 33554432000 4194304 4580107 140733201649600 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6743/statm: 450138 308047 356 95 0 445120 0
[pid=6743/tid=6744] ppid=6741 vsize=1800552 CPUtime=2.12 cores=0-7
/proc/6743/task/6744/stat : 6744 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 43506 0 0 0 144 68 0 0 16 0 8 0 703210318 1843765248 308047 33554432000 4194304 4580107 140733201649600 18446744073709551615 4292935 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6743/tid=6745] ppid=6741 vsize=1800552 CPUtime=2.09 cores=0-7
/proc/6743/task/6745/stat : 6745 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 43004 0 0 0 142 67 0 0 16 0 8 0 703210318 1843765248 308047 33554432000 4194304 4580107 140733201649600 18446744073709551615 220815897633 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6743/tid=6746] ppid=6741 vsize=1800552 CPUtime=2.13 cores=0-7
/proc/6743/task/6746/stat : 6746 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 43651 0 0 0 149 64 0 0 16 0 8 0 703210318 1843765248 308047 33554432000 4194304 4580107 140733201649600 18446744073709551615 4289066 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6743/tid=6747] ppid=6741 vsize=1800552 CPUtime=2.18 cores=0-7
/proc/6743/task/6747/stat : 6747 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 44087 0 0 0 149 69 0 0 16 0 8 0 703210318 1843765248 308047 33554432000 4194304 4580107 140733201649600 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6743/tid=6748] ppid=6741 vsize=1800552 CPUtime=2.1 cores=0-7
/proc/6743/task/6748/stat : 6748 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 42243 0 0 0 153 57 0 0 16 0 8 0 703210318 1843765248 308047 33554432000 4194304 4580107 140733201649600 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6743/tid=6749] ppid=6741 vsize=1800552 CPUtime=2.15 cores=0-7
/proc/6743/task/6749/stat : 6749 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 41552 0 0 0 149 66 0 0 16 0 8 0 703210318 1843765248 308047 33554432000 4194304 4580107 140733201649600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6743/tid=6750] ppid=6741 vsize=1800552 CPUtime=2.07 cores=0-7
/proc/6743/task/6750/stat : 6750 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 41234 0 0 0 150 57 0 0 16 0 8 0 703210318 1843765248 308048 33554432000 4194304 4580107 140733201649600 18446744073709551615 4496860 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 17.08
Current children cumulated vsize (KiB) 1800552

[startup+6.30044 s]
/proc/loadavg: 8.08 8.06 8.01 9/456 6751
/proc/meminfo: memFree=13289776/32951124 swapFree=63485464/67111528
[pid=6743] ppid=6741 vsize=1870440 CPUtime=42.62 cores=0-7
/proc/6743/stat : 6743 (strangenight2-m) R 6741 6743 6533 0 -1 4202496 357354 0 0 0 3733 529 0 0 20 0 8 0 703210318 1915330560 322304 33554432000 4194304 4580107 140733201649600 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6743/statm: 467610 322304 360 95 0 462592 0
[pid=6743/tid=6744] ppid=6741 vsize=1870440 CPUtime=5.31 cores=0-7
/proc/6743/task/6744/stat : 6744 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 45167 0 0 0 463 68 0 0 20 0 8 0 703210318 1915330560 322304 33554432000 4194304 4580107 140733201649600 18446744073709551615 4294213 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6743/tid=6745] ppid=6741 vsize=1870440 CPUtime=5.28 cores=0-7
/proc/6743/task/6745/stat : 6745 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 44951 0 0 0 461 67 0 0 20 0 8 0 703210318 1915330560 322304 33554432000 4194304 4580107 140733201649600 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6743/tid=6746] ppid=6741 vsize=1870440 CPUtime=5.33 cores=0-7
/proc/6743/task/6746/stat : 6746 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 44616 0 0 0 468 65 0 0 20 0 8 0 703210318 1915330560 322304 33554432000 4194304 4580107 140733201649600 18446744073709551615 4234794 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6743/tid=6747] ppid=6741 vsize=1870440 CPUtime=5.32 cores=0-7
/proc/6743/task/6747/stat : 6747 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 46003 0 0 0 462 70 0 0 20 0 8 0 703210318 1915330560 322304 33554432000 4194304 4580107 140733201649600 18446744073709551615 4292903 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6743/tid=6748] ppid=6741 vsize=1870440 CPUtime=5.3 cores=0-7
/proc/6743/task/6748/stat : 6748 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 43984 0 0 0 471 59 0 0 20 0 8 0 703210318 1915330560 322304 33554432000 4194304 4580107 140733201649600 18446744073709551615 4234914 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=6743/tid=6749] ppid=6741 vsize=1870440 CPUtime=5.34 cores=0-7
/proc/6743/task/6749/stat : 6749 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 43392 0 0 0 467 67 0 0 20 0 8 0 703210318 1915330560 322304 33554432000 4194304 4580107 140733201649600 18446744073709551615 4294213 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6743/tid=6750] ppid=6741 vsize=1870440 CPUtime=5.25 cores=0-7
/proc/6743/task/6750/stat : 6750 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 43973 0 0 0 468 57 0 0 20 0 8 0 703210318 1915330560 322304 33554432000 4194304 4580107 140733201649600 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0

################
# More data... #
################

/proc/loadavg: 8.00 6.99 6.97 9/456 6772
/proc/meminfo: memFree=9922820/32951124 swapFree=63485464/67111528
[pid=6743] ppid=6741 vsize=5311204 CPUtime=4482.89 cores=0-7
/proc/6743/stat : 6743 (strangenight2-m) R 6741 6743 6533 0 -1 4202496 1727740 0 0 0 447403 886 0 0 25 0 8 0 703210318 5438672896 1161290 33554432000 4194304 4580107 140733201649600 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6743/statm: 1327801 1161290 381 95 0 1322783 0
[pid=6743/tid=6744] ppid=6741 vsize=5311204 CPUtime=570.89 cores=0-7
/proc/6743/task/6744/stat : 6744 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 213484 0 0 0 56978 111 0 0 25 0 8 0 703210318 5438672896 1161290 33554432000 4194304 4580107 140733201649600 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6743/tid=6745] ppid=6741 vsize=5311204 CPUtime=556.82 cores=0-7
/proc/6743/task/6745/stat : 6745 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 215311 0 0 0 55565 117 0 0 25 0 8 0 703210318 5438672896 1161290 33554432000 4194304 4580107 140733201649600 18446744073709551615 4297781 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6743/tid=6746] ppid=6741 vsize=5311204 CPUtime=566.47 cores=0-7
/proc/6743/task/6746/stat : 6746 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 235720 0 0 0 56532 115 0 0 25 0 8 0 703210318 5438672896 1161290 33554432000 4194304 4580107 140733201649600 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6743/tid=6747] ppid=6741 vsize=5311204 CPUtime=547.93 cores=0-7
/proc/6743/task/6747/stat : 6747 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 178922 0 0 0 54683 110 0 0 25 0 8 0 703210318 5438672896 1161290 33554432000 4194304 4580107 140733201649600 18446744073709551615 4293270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6743/tid=6748] ppid=6741 vsize=5311204 CPUtime=550.21 cores=0-7
/proc/6743/task/6748/stat : 6748 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 180158 0 0 0 54928 93 0 0 25 0 8 0 703210318 5438672896 1161290 33554432000 4194304 4580107 140733201649600 18446744073709551615 4301898 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6743/tid=6749] ppid=6741 vsize=5311204 CPUtime=561.26 cores=0-7
/proc/6743/task/6749/stat : 6749 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 220025 0 0 0 56012 114 0 0 25 0 8 0 703210318 5438672896 1161290 33554432000 4194304 4580107 140733201649600 18446744073709551615 4306246 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6743/tid=6750] ppid=6741 vsize=5311204 CPUtime=570.3 cores=0-7
/proc/6743/task/6750/stat : 6750 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 278263 0 0 0 56921 109 0 0 25 0 8 0 703210318 5438672896 1161290 33554432000 4194304 4580107 140733201649600 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.89
Current children cumulated vsize (KiB) 5311204

[startup+794.601 s]
/proc/loadavg: 8.05 7.09 7.00 9/456 6772
/proc/meminfo: memFree=9913964/32951124 swapFree=63485464/67111528
[pid=6743] ppid=6741 vsize=5245668 CPUtime=4687.31 cores=0-7
/proc/6743/stat : 6743 (strangenight2-m) R 6741 6743 6533 0 -1 4202496 1735474 0 0 0 467842 889 0 0 25 0 8 0 703210318 5371564032 1163799 33554432000 4194304 4580107 140733201649600 18446744073709551615 4306048 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/6743/statm: 1311417 1163799 381 95 0 1306399 0
[pid=6743/tid=6744] ppid=6741 vsize=5245668 CPUtime=596.5 cores=0-7
/proc/6743/task/6744/stat : 6744 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 213507 0 0 0 59539 111 0 0 25 0 8 0 703210318 5371564032 1163799 33554432000 4194304 4580107 140733201649600 18446744073709551615 4301898 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=6743/tid=6745] ppid=6741 vsize=5245668 CPUtime=582.42 cores=0-7
/proc/6743/task/6745/stat : 6745 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 215436 0 0 0 58125 117 0 0 25 0 8 0 703210318 5371564032 1163799 33554432000 4194304 4580107 140733201649600 18446744073709551615 4318494 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6743/tid=6746] ppid=6741 vsize=5245668 CPUtime=592.07 cores=0-7
/proc/6743/task/6746/stat : 6746 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 235746 0 0 0 59092 115 0 0 25 0 8 0 703210318 5371564032 1163799 33554432000 4194304 4580107 140733201649600 18446744073709551615 4294277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=6743/tid=6747] ppid=6741 vsize=5245668 CPUtime=573.14 cores=0-7
/proc/6743/task/6747/stat : 6747 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 178932 0 0 0 57204 110 0 0 25 0 8 0 703210318 5371564032 1163799 33554432000 4194304 4580107 140733201649600 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=6743/tid=6748] ppid=6741 vsize=5245668 CPUtime=575.81 cores=0-7
/proc/6743/task/6748/stat : 6748 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 184636 0 0 0 57486 95 0 0 25 0 8 0 703210318 5371564032 1163799 33554432000 4194304 4580107 140733201649600 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=6743/tid=6749] ppid=6741 vsize=5245668 CPUtime=586.86 cores=0-7
/proc/6743/task/6749/stat : 6749 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 220028 0 0 0 58572 114 0 0 25 0 8 0 703210318 5371564032 1163799 33554432000 4194304 4580107 140733201649600 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=6743/tid=6750] ppid=6741 vsize=5245668 CPUtime=595.91 cores=0-7
/proc/6743/task/6750/stat : 6750 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 281308 0 0 0 59481 110 0 0 25 0 8 0 703210318 5371564032 1163799 33554432000 4194304 4580107 140733201649600 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4687.31
Current children cumulated vsize (KiB) 5245668

[startup+807.416 s]
/proc/loadavg: 7.56 7.03 6.99 3/456 6773
/proc/meminfo: memFree=9829636/32951124 swapFree=63485464/67111528
[pid=6743] ppid=6741 vsize=5442276 CPUtime=4753.63 cores=0-7
/proc/6743/stat : 6743 (strangenight2-m) R 6741 6743 6533 0 -1 4202496 1756506 0 0 0 474454 909 0 0 25 0 8 0 703210318 5572890624 1184830 33554432000 4194304 4580107 140733201649600 18446744073709551615 4413617 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6743/statm: 1360569 1184830 381 95 0 1355551 0
[pid=6743/tid=6744] ppid=6741 vsize=5442276 CPUtime=603.3 cores=0-7
/proc/6743/task/6744/stat : 6744 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 213545 0 0 0 60218 112 0 0 25 0 8 0 703210318 5572890624 1184830 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 2 0 0 0
[pid=6743/tid=6745] ppid=6741 vsize=5442276 CPUtime=595.23 cores=0-7
/proc/6743/task/6745/stat : 6745 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 215443 0 0 0 59406 117 0 0 25 0 8 0 703210318 5572890624 1184830 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294671556 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6743/tid=6746] ppid=6741 vsize=5442276 CPUtime=598.87 cores=0-7
/proc/6743/task/6746/stat : 6746 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 239050 0 0 0 59771 116 0 0 25 0 8 0 703210318 5572890624 1184830 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 6 0 0 0
[pid=6743/tid=6747] ppid=6741 vsize=5442276 CPUtime=579.84 cores=0-7
/proc/6743/task/6747/stat : 6747 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 178934 0 0 0 57874 110 0 0 25 0 8 0 703210318 5572890624 1184830 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 7 0 0 0
[pid=6743/tid=6748] ppid=6741 vsize=5442276 CPUtime=582.61 cores=0-7
/proc/6743/task/6748/stat : 6748 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 184854 0 0 0 58166 95 0 0 25 0 8 0 703210318 5572890624 1184830 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 1 0 0 0
[pid=6743/tid=6749] ppid=6741 vsize=5442276 CPUtime=593.66 cores=0-7
/proc/6743/task/6749/stat : 6749 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 220028 0 0 0 59252 114 0 0 25 0 8 0 703210318 5572890624 1184830 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 4 0 0 0
[pid=6743/tid=6750] ppid=6741 vsize=5442276 CPUtime=602.7 cores=0-7
/proc/6743/task/6750/stat : 6750 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 281766 0 0 0 60160 110 0 0 25 0 8 0 703210318 5572890624 1184830 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4753.63
Current children cumulated vsize (KiB) 5442276

[startup+810.601 s]
/proc/loadavg: 7.11 6.95 6.96 3/456 6773
/proc/meminfo: memFree=9811656/32951124 swapFree=63485464/67111528
[pid=6743] ppid=6741 vsize=5442276 CPUtime=4760.01 cores=0-7
/proc/6743/stat : 6743 (strangenight2-m) R 6741 6743 6533 0 -1 4202496 1760970 0 0 0 475086 915 0 0 25 0 8 0 703210318 5572890624 1189294 33554432000 4194304 4580107 140733201649600 18446744073709551615 4406355 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/6743/statm: 1360569 1189294 381 95 0 1355551 0
[pid=6743/tid=6744] ppid=6741 vsize=5442276 CPUtime=603.3 cores=0-7
/proc/6743/task/6744/stat : 6744 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 213545 0 0 0 60218 112 0 0 25 0 8 0 703210318 5572890624 1189298 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 2 0 0 0
[pid=6743/tid=6745] ppid=6741 vsize=5442276 CPUtime=598.43 cores=0-7
/proc/6743/task/6745/stat : 6745 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 215443 0 0 0 59726 117 0 0 25 0 8 0 703210318 5572890624 1189298 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294671552 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6743/tid=6746] ppid=6741 vsize=5442276 CPUtime=598.87 cores=0-7
/proc/6743/task/6746/stat : 6746 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 239050 0 0 0 59771 116 0 0 25 0 8 0 703210318 5572890624 1189298 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 6 0 0 0
[pid=6743/tid=6747] ppid=6741 vsize=5442276 CPUtime=579.84 cores=0-7
/proc/6743/task/6747/stat : 6747 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 178934 0 0 0 57874 110 0 0 25 0 8 0 703210318 5572890624 1189298 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 7 0 0 0
[pid=6743/tid=6748] ppid=6741 vsize=5442276 CPUtime=582.61 cores=0-7
/proc/6743/task/6748/stat : 6748 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 184854 0 0 0 58166 95 0 0 25 0 8 0 703210318 5572890624 1189298 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 1 0 0 0
[pid=6743/tid=6749] ppid=6741 vsize=5442276 CPUtime=593.66 cores=0-7
/proc/6743/task/6749/stat : 6749 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 220028 0 0 0 59252 114 0 0 25 0 8 0 703210318 5572890624 1189298 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 4 0 0 0
[pid=6743/tid=6750] ppid=6741 vsize=5442276 CPUtime=602.7 cores=0-7
/proc/6743/task/6750/stat : 6750 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 281766 0 0 0 60160 110 0 0 25 0 8 0 703210318 5572890624 1189298 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4760.01
Current children cumulated vsize (KiB) 5442276

[startup+812.201 s]
/proc/loadavg: 7.11 6.95 6.96 3/456 6773
/proc/meminfo: memFree=9803720/32951124 swapFree=63485464/67111528
[pid=6743] ppid=6741 vsize=5442276 CPUtime=4763.2 cores=0-7
/proc/6743/stat : 6743 (strangenight2-m) R 6741 6743 6533 0 -1 4202496 1764260 0 0 0 475405 915 0 0 25 0 8 0 703210318 5572890624 1191423 33554432000 4194304 4580107 140733201649600 18446744073709551615 4413885 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6743/statm: 1360569 1191423 381 95 0 1355551 0
[pid=6743/tid=6744] ppid=6741 vsize=5442276 CPUtime=603.3 cores=0-7
/proc/6743/task/6744/stat : 6744 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 213545 0 0 0 60218 112 0 0 25 0 8 0 703210318 5572890624 1191423 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 2 0 0 0
[pid=6743/tid=6745] ppid=6741 vsize=5442276 CPUtime=600.02 cores=0-7
/proc/6743/task/6745/stat : 6745 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 215443 0 0 0 59885 117 0 0 25 0 8 0 703210318 5572890624 1191423 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294671403 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6743/tid=6746] ppid=6741 vsize=5442276 CPUtime=598.87 cores=0-7
/proc/6743/task/6746/stat : 6746 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 239050 0 0 0 59771 116 0 0 25 0 8 0 703210318 5572890624 1191423 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 6 0 0 0
[pid=6743/tid=6747] ppid=6741 vsize=5442276 CPUtime=579.84 cores=0-7
/proc/6743/task/6747/stat : 6747 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 178934 0 0 0 57874 110 0 0 25 0 8 0 703210318 5572890624 1191423 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 7 0 0 0
[pid=6743/tid=6748] ppid=6741 vsize=5442276 CPUtime=582.61 cores=0-7
/proc/6743/task/6748/stat : 6748 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 184854 0 0 0 58166 95 0 0 25 0 8 0 703210318 5572890624 1191423 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 1 0 0 0
[pid=6743/tid=6749] ppid=6741 vsize=5442276 CPUtime=593.66 cores=0-7
/proc/6743/task/6749/stat : 6749 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 220028 0 0 0 59252 114 0 0 25 0 8 0 703210318 5572890624 1191423 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 4 0 0 0
[pid=6743/tid=6750] ppid=6741 vsize=5442276 CPUtime=602.7 cores=0-7
/proc/6743/task/6750/stat : 6750 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 281766 0 0 0 60160 110 0 0 25 0 8 0 703210318 5572890624 1191423 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4763.2
Current children cumulated vsize (KiB) 5442276

[startup+813.001 s]
/proc/loadavg: 7.11 6.95 6.96 3/456 6773
/proc/meminfo: memFree=9802228/32951124 swapFree=63485464/67111528
[pid=6743] ppid=6741 vsize=5442276 CPUtime=4764.8 cores=0-7
/proc/6743/stat : 6743 (strangenight2-m) R 6741 6743 6533 0 -1 4202496 1765245 0 0 0 475565 915 0 0 25 0 8 0 703210318 5572890624 1191615 33554432000 4194304 4580107 140733201649600 18446744073709551615 4293090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6743/statm: 1360569 1191615 381 95 0 1355551 0
[pid=6743/tid=6744] ppid=6741 vsize=5442276 CPUtime=603.3 cores=0-7
/proc/6743/task/6744/stat : 6744 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 213545 0 0 0 60218 112 0 0 25 0 8 0 703210318 5572890624 1191615 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 2 0 0 0
[pid=6743/tid=6745] ppid=6741 vsize=5442276 CPUtime=600.82 cores=0-7
/proc/6743/task/6745/stat : 6745 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 215443 0 0 0 59965 117 0 0 25 0 8 0 703210318 5572890624 1191615 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294671403 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6743/tid=6746] ppid=6741 vsize=5442276 CPUtime=598.87 cores=0-7
/proc/6743/task/6746/stat : 6746 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 239050 0 0 0 59771 116 0 0 25 0 8 0 703210318 5572890624 1191615 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 6 0 0 0
[pid=6743/tid=6747] ppid=6741 vsize=5442276 CPUtime=579.84 cores=0-7
/proc/6743/task/6747/stat : 6747 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 178934 0 0 0 57874 110 0 0 25 0 8 0 703210318 5572890624 1191615 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 7 0 0 0
[pid=6743/tid=6748] ppid=6741 vsize=5442276 CPUtime=582.61 cores=0-7
/proc/6743/task/6748/stat : 6748 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 184854 0 0 0 58166 95 0 0 25 0 8 0 703210318 5572890624 1191615 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 1 0 0 0
[pid=6743/tid=6749] ppid=6741 vsize=5442276 CPUtime=593.66 cores=0-7
/proc/6743/task/6749/stat : 6749 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 220028 0 0 0 59252 114 0 0 25 0 8 0 703210318 5572890624 1191615 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 4 0 0 0
[pid=6743/tid=6750] ppid=6741 vsize=5442276 CPUtime=602.7 cores=0-7
/proc/6743/task/6750/stat : 6750 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 281766 0 0 0 60160 110 0 0 25 0 8 0 703210318 5572890624 1191615 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4764.8
Current children cumulated vsize (KiB) 5442276

[startup+813.401 s]
/proc/loadavg: 7.11 6.95 6.96 3/456 6773
/proc/meminfo: memFree=9802228/32951124 swapFree=63485464/67111528
[pid=6743] ppid=6741 vsize=5442276 CPUtime=4765.6 cores=0-7
/proc/6743/stat : 6743 (strangenight2-m) R 6741 6743 6533 0 -1 4202496 1765245 0 0 0 475645 915 0 0 25 0 8 0 703210318 5572890624 1191615 33554432000 4194304 4580107 140733201649600 18446744073709551615 4290940 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6743/statm: 1360569 1191615 381 95 0 1355551 0
[pid=6743/tid=6744] ppid=6741 vsize=5442276 CPUtime=603.3 cores=0-7
/proc/6743/task/6744/stat : 6744 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 213545 0 0 0 60218 112 0 0 25 0 8 0 703210318 5572890624 1191615 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 2 0 0 0
[pid=6743/tid=6745] ppid=6741 vsize=5442276 CPUtime=601.22 cores=0-7
/proc/6743/task/6745/stat : 6745 (strangenight2-m) R 6741 6743 6533 0 -1 4202560 215443 0 0 0 60005 117 0 0 25 0 8 0 703210318 5572890624 1191615 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294671403 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=6743/tid=6746] ppid=6741 vsize=5442276 CPUtime=598.87 cores=0-7
/proc/6743/task/6746/stat : 6746 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 239050 0 0 0 59771 116 0 0 25 0 8 0 703210318 5572890624 1191615 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 6 0 0 0
[pid=6743/tid=6747] ppid=6741 vsize=5442276 CPUtime=579.84 cores=0-7
/proc/6743/task/6747/stat : 6747 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 178934 0 0 0 57874 110 0 0 25 0 8 0 703210318 5572890624 1191615 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 7 0 0 0
[pid=6743/tid=6748] ppid=6741 vsize=5442276 CPUtime=582.61 cores=0-7
/proc/6743/task/6748/stat : 6748 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 184854 0 0 0 58166 95 0 0 25 0 8 0 703210318 5572890624 1191615 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 1 0 0 0
[pid=6743/tid=6749] ppid=6741 vsize=5442276 CPUtime=593.66 cores=0-7
/proc/6743/task/6749/stat : 6749 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 220028 0 0 0 59252 114 0 0 25 0 8 0 703210318 5572890624 1191615 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 4 0 0 0
[pid=6743/tid=6750] ppid=6741 vsize=5442276 CPUtime=602.7 cores=0-7
/proc/6743/task/6750/stat : 6750 (strangenight2-m) S 6741 6743 6533 0 -1 4202560 281766 0 0 0 60160 110 0 0 25 0 8 0 703210318 5572890624 1191615 33554432000 4194304 4580107 140733201649600 18446744073709551615 47381294695988 0 0 4096 2 18446604448890987648 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4765.6
Current children cumulated vsize (KiB) 5442276

[startup+813.601 s]
/proc/loadavg: 7.11 6.95 6.96 3/456 6773
/proc/meminfo: memFree=9802228/32951124 swapFree=63485464/67111528
[pid=6743] ppid=6741 vsize=0 CPUtime=4765.86 cores=0-7
/proc/6743/stat : 6743 (strangenight2-m) Z 6741 6743 6533 0 -1 4203548 1765248 0 0 0 475657 929 0 0 25 0 2 0 703210318 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/6743/statm: 0 0 0 0 0 0 0
[pid=6743/tid=6744] ppid=6741 vsize=0 CPUtime=603.44 cores=0-7
/proc/6743/task/6744/stat : 6744 (strangenight2-m) R 6741 6743 6533 0 -1 4203588 213545 0 0 0 60218 126 0 0 18 0 2 0 703210318 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4765.86
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 813.655
CPU time (s): 4765.92
CPU user time (s): 4756.57
CPU system time (s): 9.34858
CPU usage (%): 585.742
Max. virtual memory (cumulated for all children) (KiB): 5442276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4756.57
system time used= 9.34858
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1765248
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= 666252
involuntary context switches= 16750

runsolver used 3.45747 second user time and 8.64269 second system time

The end

Launcher Data 

Begin job on node147 at 2011-05-23 01:45:44
IDJOB=3394818
IDBENCH=85007
IDSOLVER=1878
FILE ID=node147/3394818-1306107942
RUNJOBID= node147-1306102929-6547
PBS_JOBID= 13387992
Free space on /tmp= 73328 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq6.used-as.sat04-347.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394818-1306107942/watcher-3394818-1306107942 -o /tmp/evaluation-result-3394818-1306107942/solver-3394818-1306107942 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394818-1306107942.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 580dc3969c4e46e50013253fd4ac9139
RANDOM SEED=450124110

node147.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.836
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14575116 kB
Buffers:        358544 kB
Cached:        8396308 kB
SwapCached:      13096 kB
Active:        9962532 kB
Inactive:      8122236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14575116 kB
SwapTotal:    67111528 kB
SwapFree:     63485464 kB
Dirty:           82316 kB
Writeback:           0 kB
AnonPages:     9325708 kB
Mapped:          26848 kB
Slab:           163908 kB
PageTables:      58052 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 120753728 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73320 MiB
End job on node147 at 2011-05-23 01:59:18