Trace number 3400629

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 16493.4 519.408

General information on the benchmark

Nameindustrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
MD5SUM90581094793af5fc10d4e4b9a10259ac
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark9306
Satisfiable
(Un)Satisfiability was proved
Number of variables1400
Number of clauses4732
Sum of the clauses size12300
Maximum clause length21
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 22052
Number of clauses of size 32605
Number of clauses of size 427
Number of clauses of size 531
Number of clauses of size over 514

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.05	c Using 32 threads
0.00/0.05	c This is CryptoMiniSat 3.0.0
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c Reading file 'HOME/instance-3400629-1306256786.cnf'
0.00/0.06	c -- header says num vars:           1400
0.00/0.06	c -- header says num clauses:        4732
1.71/0.12	c -- clauses added:            0 learnts,         4732 normals,            0 xors
1.71/0.12	c -- vars added       1400
1.71/0.12	c Parsing time:  0.01 s
1.71/0.12	c  N st     0         0      1400      2677      2052         0     12297         0   no data   no data
1.71/0.13	c asymm  cl-useful: 0/2677/2677 lits-rem:0 time: 0.01
2.50/0.16	c Flit:     5 Blit:      0 bXBeca:    0 bXProp:   10 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
2.50/0.16	c Replacing       10 vars Replaced      120 lits Time:     0.00 s 
2.50/0.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2.50/0.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2.50/0.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2.50/0.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1382 time:  0.00 s
2.50/0.18	c Removed useless bin:       0  fixed:     0  props:   0.04M  time:  0.00 s
3.50/0.23	c lits-rem:         0  cl-subs:      136  v-elim:    425  v-fix:    0  time:  0.02 s
3.50/0.23	c Finding binary XORs  T:     0.00 s  found:       0
3.50/0.23	c Finding non-binary XORs:     0.00 s (found:     377, avg size: 3.0)
3.50/0.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     11 locsubst:     0 time:   0.00
3.50/0.23	c calculated reachability. Time: 0.00
3.50/0.23	c Calc default polars -  time:   0.00 s pos:     139 undec:     488 neg:     773
3.50/0.23	c =========================================================================================
3.50/0.23	c types(t): F = full restart, N = normal restart
3.50/0.23	c types(t): S = simplification begin/end, E = solution found
3.50/0.23	c restart types(rt): st = static, dy = dynamic
3.50/0.23	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.50/0.23	c  B st     0         0       946      1524       867         0      8035         0   no data   no data
3.50/0.57	c Decided on static restart strategy
3.50/1.07	c  N st     8      4919       946      1524       927      4774      8035    194830   no data   no data
10.37/1.33	c Finding binary XORs  T:     0.00 s  found:       0
49.92/1.69	c  N st    10     11301       940      1520      1301      4469      7983     80035   no data   no data
73.37/2.44	c  N st    11     17044       940      1520      1307     10144      7983    284514   no data   no data
102.09/3.38	c  F st    12     25002       939      1520      1461     12827      7983    341393   no data   no data
102.09/3.39	c Replacing        1 vars Replaced      650 lits Time:     0.00 s 
102.09/3.39	c  N st    12     25002       938      1520      1454     12730      7967    339665   no data   no data
102.09/3.39	c Finding binary XORs  T:     0.00 s  found:       0
124.48/4.05	c Decided on static restart strategy
124.48/4.05	c  N st    18     30002       937      1513      1481     11267      7949    227047   no data   no data
124.48/4.05	c  S st    18     30002       937      1513      1481     11267      7949    227047   no data   no data
128.26/4.12	c  S st    18     30503       937      1513      1482     11765      7949    239607   no data   no data
128.26/4.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
128.26/4.15	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:    0 Bins:    325 BRemL:    220 BRemN:      0 P:  0.6M T:  0.02
128.26/4.15	c Replacing        1 vars Replaced       51 lits Time:     0.00 s 
128.26/4.15	c blocked clauses removed:        0 vars:      0 tried:         238 T: 0.00 s
128.26/4.15	c bin-w-bin subsume rem            2 bins  time:  0.00 s
128.26/4.15	c subs with bin:       37  lits-rem:        37  v-fix:    0  time:  0.00 s
128.26/4.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    935 time:  0.00 s
128.26/4.16	c Removed useless bin:       8  fixed:     0  props:   0.01M  time:  0.00 s
128.26/4.16	c lits-rem:         0  cl-subs:       11  v-elim:      9  v-fix:    0  time:  0.00 s
128.26/4.22	c subs with bin:       24  lits-rem:      2590  v-fix:    0  time:  0.03 s
134.07/4.31	c lits-rem:       870  cl-subs:      644  v-elim:      0  v-fix:    0  time:  0.09 s
134.07/4.32	c asymm  cl-useful: 4/1476/1476 lits-rem:4 time: 0.01
134.07/4.33	c calculated reachability. Time: 0.00
134.07/4.33	c  N st    18     30503       926      1476      1534     10879      7783    222362   no data   no data
146.83/4.72	c Finding binary XORs  T:     0.00 s  found:       0
166.68/5.36	c  N st    20     37613       926      1476      1543     10433      7783    176281   no data   no data
194.79/6.28	c  N st    21     44012       926      1476      1543     16771      7783    384531   no data   no data
194.79/6.28	c Finding binary XORs  T:     0.00 s  found:       0
204.40/6.58	c  S st    22     45754       926      1476      1685      9898      7783    126150   no data   no data
207.57/6.65	c  S st    22     46255       926      1476      1685     10394      7783    137048   no data   no data
207.57/6.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
207.57/6.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     62 BRemL:    177 BRemN:      4 P:  0.6M T:  0.02
207.57/6.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
207.57/6.68	c bin-w-bin subsume rem            4 bins  time:  0.00 s
207.57/6.68	c subs with bin:        4  lits-rem:         1  v-fix:    0  time:  0.00 s
207.57/6.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    926 time:  0.00 s
207.57/6.68	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
207.57/6.68	c lits-rem:         1  cl-subs:        0  v-elim:      3  v-fix:    0  time:  0.00 s
207.57/6.70	c subs with bin:        6  lits-rem:        67  v-fix:    0  time:  0.01 s
210.76/6.71	c lits-rem:       172  cl-subs:      129  v-elim:      0  v-fix:    0  time:  0.01 s
210.76/6.71	c vivif2 --  cl tried     1478 cl shrink        0 lits rem          0 time: 0.00
210.76/6.72	c vivif2 --  cl tried    10036 cl shrink     1083 lits rem       2557 time: 0.01
210.76/6.73	c asymm  cl-useful: 1/1478/1478 lits-rem:1 time: 0.01
210.76/6.73	c calculated reachability. Time: 0.00
210.76/6.73	c  N st    22     46255       923      1478      1526     10036      7783    129020   no data   no data
281.09/8.95	c  N st    23     60653       923      1478      1526     14608      7783    236860   no data   no data
281.09/8.96	c Finding binary XORs  T:     0.00 s  found:       0
325.83/10.38	c  N st    24     69384       922      1478      1555     12358      7775    155093   no data   no data
325.83/10.38	c  S st    24     69384       922      1478      1555     12358      7775    155093   no data   no data
329.03/10.46	c  S st    24     69885       922      1478      1574     12858      7775    166752   no data   no data
329.03/10.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
329.03/10.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      6 BRemL:      8 BRemN:      0 P:  0.6M T:  0.02
329.03/10.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
329.03/10.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
329.03/10.48	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
329.03/10.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    922 time:  0.00 s
329.03/10.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
329.03/10.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
332.23/10.51	c subs with bin:      325  lits-rem:       113  v-fix:    0  time:  0.01 s
332.23/10.52	c lits-rem:       151  cl-subs:      130  v-elim:      0  v-fix:    0  time:  0.02 s
332.23/10.52	c vivif2 --  cl tried     1477 cl shrink        0 lits rem          0 time: 0.00
332.23/10.53	c vivif2 --  cl tried    12403 cl shrink      538 lits rem        970 time: 0.01
332.23/10.55	c asymm  cl-useful: 2/1477/1477 lits-rem:4 time: 0.01
332.23/10.55	c calculated reachability. Time: 0.00
332.23/10.55	c  N st    24     69885       922      1476      1573     12403      7771    160513   no data   no data
421.73/13.40	c  F st    25     87500       922      1476      1573     18040      7771    301239   no data   no data
421.73/13.40	c  N st    25     87500       922      1476      1573     18040      7771    301239   no data   no data
424.92/13.40	c Finding binary XORs  T:     0.00 s  found:       0
450.49/14.24	c Decided on static restart strategy
466.48/14.73	c  N st    32     95542       922      1476      1631     25981      7771    525514   no data   no data
511.24/16.21	c  N st    34    104829       922      1476      1660     22527      7771    420806   no data   no data
511.24/16.21	c  S st    34    104829       922      1476      1660     22527      7771    420806   no data   no data
518.25/16.32	c  S st    34    105331       922      1476      1660     23026      7771    430118   no data   no data
518.25/16.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
518.25/16.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:     43 BRemN:      0 P:  1.0M T:  0.03
518.25/16.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
518.25/16.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
518.25/16.36	c subs with bin:        3  lits-rem:         2  v-fix:    0  time:  0.00 s
518.25/16.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    922 time:  0.00 s
518.25/16.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
518.25/16.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
520.81/16.43	c subs with bin:       33  lits-rem:       545  v-fix:    0  time:  0.04 s
527.21/16.61	c lits-rem:       797  cl-subs:     1366  v-elim:      0  v-fix:    0  time:  0.17 s
527.21/16.61	c vivif2 --  cl tried     1473 cl shrink        0 lits rem          0 time: 0.00
527.21/16.64	c vivif2 --  cl tried    21627 cl shrink     4135 lits rem      11090 time: 0.03
527.21/16.66	c asymm  cl-useful: 1/1473/1473 lits-rem:1 time: 0.02
527.21/16.66	c calculated reachability. Time: 0.00
527.21/16.66	c  N st    34    105331       922      1473      1618     21627      7761    398089   no data   no data
585.38/18.49	c  N st    35    114932       922      1473      1618     17496      7761    228430   no data   no data
585.38/18.50	c Finding binary XORs  T:     0.00 s  found:       0
671.06/21.17	c  N st    36    129329       921      1473      1630     16835      7753    208474   no data   no data
802.11/25.24	c  N st    37    150925       921      1473      1657     22411      7753    348646   no data   no data
802.11/25.24	c Finding binary XORs  T:     0.00 s  found:       0
837.27/26.36	c  S st    38    157996       921      1473      1663     29424      7753    542278   no data   no data
840.47/26.49	c  S st    38    158498       921      1473      1664     29922      7753    553586   no data   no data
840.47/26.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
843.67/26.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     16 BRemN:      0 P:  1.2M T:  0.04
843.67/26.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
843.67/26.53	c bin-w-bin subsume rem            1 bins  time:  0.00 s
843.67/26.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
843.67/26.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    921 time:  0.00 s
843.67/26.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
843.67/26.54	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
846.87/26.63	c subs with bin:      122  lits-rem:       235  v-fix:    0  time:  0.06 s
853.27/26.87	c lits-rem:       844  cl-subs:     1022  v-elim:      0  v-fix:    0  time:  0.24 s
853.27/26.87	c vivif2 --  cl tried     1473 cl shrink        0 lits rem          0 time: 0.00
856.46/26.91	c vivif2 --  cl tried    28778 cl shrink     3989 lits rem       7702 time: 0.03
856.46/26.94	c asymm  cl-useful: 0/1473/1473 lits-rem:0 time: 0.03
856.46/26.94	c calculated reachability. Time: 0.00
856.46/26.94	c  N st    38    158498       921      1473      1647     28778      7751    528693   no data   no data
1192.06/37.44	c  N st    39    207089       921      1473      1647     23824      7751    294367   no data   no data
1192.06/37.45	c Finding binary XORs  T:     0.00 s  found:       0
1390.25/43.70	c  N st    40    237747       920      1472      1712     33970      7740    534077   no data   no data
1390.25/43.70	c  S st    40    237747       920      1472      1712     33970      7740    534077   no data   no data
1390.25/43.70	c Finding binary XORs  T:     0.00 s  found:       0
1397.29/43.84	c  S st    40    238254       920      1472      1734     34473      7740    549426   no data   no data
1397.29/43.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1397.29/43.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     13 BRemL:     69 BRemN:      0 P:  1.4M T:  0.04
1397.29/43.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1397.29/43.89	c bin-w-bin subsume rem            1 bins  time:  0.00 s
1397.29/43.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1397.29/43.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    920 time:  0.00 s
1397.29/43.89	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1399.85/43.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
1399.85/43.98	c subs with bin:       95  lits-rem:       116  v-fix:    0  time:  0.04 s
1419.01/44.53	c lits-rem:       613  cl-subs:     4469  v-elim:      0  v-fix:    0  time:  0.55 s
1419.01/44.53	c vivif2 --  cl tried     1472 cl shrink        0 lits rem          0 time: 0.00
1419.01/44.56	c vivif2 --  cl tried    29909 cl shrink     3572 lits rem       7712 time: 0.03
1419.01/44.59	c asymm  cl-useful: 0/1472/1472 lits-rem:0 time: 0.03
1419.01/44.60	c calculated reachability. Time: 0.00
1419.01/44.60	c  N st    40    238254       920      1472      1677     29909      7740    475166   no data   no data
1898.47/59.58	c  F st    41    306250       920      1472      1677     32703      7740    579714   no data   no data
1898.47/59.58	c  N st    41    306250       920      1472      1677     32703      7740    579714   no data   no data
1898.47/59.59	c Finding binary XORs  T:     0.00 s  found:       0
1936.82/60.70	c Decided on static restart strategy
2097.24/65.78	c  N st    51    334555       919      1472      1771     36706      7732    608896   no data   no data
2097.24/65.78	c Finding binary XORs  T:     0.00 s  found:       0
2282.00/71.50	c  N st    53    357381       919      1472      1797     34580      7732    548167   no data   no data
2282.00/71.50	c  S st    53    357381       919      1472      1797     34580      7732    548167   no data   no data
2285.20/71.68	c  S st    53    357886       918      1472      1797     35083      7732    561502   no data   no data
2285.20/71.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2288.39/71.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     14 BRemL:     71 BRemN:      0 P:  1.5M T:  0.05
2288.39/71.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2288.39/71.73	c bin-w-bin subsume rem            1 bins  time:  0.00 s
2288.39/71.73	c subs with bin:        3  lits-rem:         3  v-fix:    0  time:  0.00 s
2288.39/71.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    918 time:  0.00 s
2288.39/71.73	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2288.39/71.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
2291.59/71.86	c subs with bin:      495  lits-rem:       948  v-fix:    0  time:  0.07 s
2301.19/72.14	c lits-rem:       684  cl-subs:     1454  v-elim:      0  v-fix:    0  time:  0.28 s
2301.19/72.14	c vivif2 --  cl tried     1468 cl shrink        0 lits rem          0 time: 0.00
2301.19/72.18	c vivif2 --  cl tried    33130 cl shrink     4710 lits rem      12753 time: 0.04
2304.39/72.22	c asymm  cl-useful: 3/1468/1468 lits-rem:3 time: 0.04
2304.39/72.22	c calculated reachability. Time: 0.00
2304.39/72.22	c  N st    53    357886       918      1468      1707     33127      7712    519400   no data   no data
2540.93/79.70	c  N st    54    390279       918      1468      1707     39091      7712    576953   no data   no data
2540.93/79.70	c Finding binary XORs  T:     0.00 s  found:       0
2924.50/91.66	c  N st    55    438868       918      1468      1711     32942      7712    417563   no data   no data
3398.20/106.45	c  N st    56    511750       916      1468      1724     46176      7712    712346   no data   no data
3398.20/106.46	c Finding binary XORs  T:     0.00 s  found:       0
3595.75/112.60	c  N st    57    536829       915      1465      1915     40239      7677    571970   no data   no data
3595.75/112.60	c  S st    57    536829       915      1465      1915     40239      7677    571970   no data   no data
3602.15/112.82	c  S st    57    537330       913      1465      1928     40738      7677    583218   no data   no data
3602.15/112.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3602.15/112.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    204 BRemL:    220 BRemN:      0 P:  1.7M T:  0.06
3602.15/112.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3602.15/112.88	c bin-w-bin subsume rem            7 bins  time:  0.00 s
3602.15/112.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3602.15/112.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    913 time:  0.00 s
3602.15/112.89	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
3605.35/112.90	c lits-rem:         1  cl-subs:        2  v-elim:      1  v-fix:    0  time:  0.01 s
3605.35/112.99	c subs with bin:      129  lits-rem:       373  v-fix:    0  time:  0.05 s
3621.31/113.41	c lits-rem:      1011  cl-subs:     1708  v-elim:      0  v-fix:    0  time:  0.42 s
3621.31/113.41	c vivif2 --  cl tried     1464 cl shrink        0 lits rem          0 time: 0.00
3621.31/113.44	c vivif2 --  cl tried    38778 cl shrink     2236 lits rem       3314 time: 0.03
3624.51/113.51	c asymm  cl-useful: 2/1464/1464 lits-rem:2 time: 0.06
3624.51/113.51	c calculated reachability. Time: 0.00
3624.51/113.51	c  N st    57    537330       912      1464      1847     38778      7638    547827   no data   no data
5089.12/159.38	c  N st    58    701316       912      1464      1848     68599      7638   1158558   no data   no data
5091.64/159.40	c Finding binary XORs  T:     0.00 s  found:       0
5581.35/174.75	c Finding binary XORs  T:     0.00 s  found:       0
6035.22/188.98	c  N st    59    805998       904      1452      2036     62725      7542   1040684   no data   no data
6035.22/188.98	c  S st    59    805998       904      1452      2036     62725      7542   1040684   no data   no data
6035.22/188.99	c Finding binary XORs  T:     0.00 s  found:       0
6044.17/189.26	c  S st    59    806503       903      1450      2075     63223      7530   1052556   no data   no data
6044.17/189.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
6047.37/189.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     91 BRemL:    320 BRemN:      0 P:  2.7M T:  0.10
6047.37/189.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6047.37/189.37	c bin-w-bin subsume rem            7 bins  time:  0.00 s
6047.37/189.37	c subs with bin:       14  lits-rem:        11  v-fix:    0  time:  0.00 s
6047.37/189.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    903 time:  0.00 s
6047.37/189.37	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
6047.37/189.39	c lits-rem:         0  cl-subs:        6  v-elim:      5  v-fix:    0  time:  0.02 s
6053.77/189.55	c subs with bin:      133  lits-rem:      1592  v-fix:    0  time:  0.09 s
6152.85/192.60	c lits-rem:      2589  cl-subs:     6876  v-elim:      0  v-fix:    0  time:  3.05 s
6152.85/192.60	c vivif2 --  cl tried     1448 cl shrink        0 lits rem          0 time: 0.00
6152.85/192.67	c vivif2 --  cl tried    53545 cl shrink     4904 lits rem       7361 time: 0.06
6156.05/192.76	c asymm  cl-useful: 1/1448/1448 lits-rem:1 time: 0.09
6156.05/192.76	c calculated reachability. Time: 0.00
6156.05/192.76	c  N st    59    806503       898      1448      1779     53545      7497    872000   no data   no data
6156.05/192.77	c Finding binary XORs  T:     0.00 s  found:       0
8694.03/272.15	c  F st    60   1071877       898      1448      1780     71076      7497   1027517   no data   no data
8694.03/272.15	c  N st    60   1071877       898      1448      1780     71076      7497   1027517   no data   no data
8694.03/272.17	c Finding binary XORs  T:     0.00 s  found:       1
8754.76/274.01	c Decided on static restart strategy
8831.49/276.47	c Finding binary XORs  T:     0.00 s  found:       0
8988.73/281.35	c  N st    70   1100177       888      1435      1809     54778      7378    738987   no data   no data
9365.27/293.20	c  N st    72   1136169       888      1435      1818     89576      7378   1509677   no data   no data
9368.48/293.21	c Finding binary XORs  T:     0.00 s  found:       0
9720.11/304.25	c  N st    73   1168563       887      1434      1771     76789      7367   1263602   no data   no data
9720.11/304.27	c Finding binary XORs  T:     0.00 s  found:       0
10205.99/319.47	c  N st    74   1209754       885      1430      1836     71835      7344   1012724   no data   no data
10205.99/319.47	c  S st    74   1209754       885      1430      1836     71835      7344   1012724   no data   no data
10205.99/319.48	c Finding binary XORs  T:     0.00 s  found:       0
10219.37/319.91	c  S st    74   1210257       881      1423      1698     72069      7294   1017780   no data   no data
10219.37/319.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
10225.14/320.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     41 BRemL:    224 BRemN:      0 P:  2.5M T:  0.10
10225.14/320.02	c Replacing        1 vars Replaced      594 lits Time:     0.01 s 
10225.14/320.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10225.14/320.02	c bin-w-bin subsume rem            7 bins  time:  0.00 s
10225.14/320.03	c subs with bin:       14  lits-rem:        12  v-fix:    0  time:  0.00 s
10225.14/320.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    880 time:  0.00 s
10225.14/320.03	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10225.14/320.05	c lits-rem:         1  cl-subs:        4  v-elim:      6  v-fix:    0  time:  0.02 s
10228.37/320.19	c subs with bin:       64  lits-rem:      1106  v-fix:    0  time:  0.07 s
10314.65/322.86	c lits-rem:      2311  cl-subs:     7341  v-elim:      0  v-fix:    0  time:  2.67 s
10314.65/322.86	c vivif2 --  cl tried     1423 cl shrink        2 lits rem          3 time: 0.00
10317.84/322.93	c vivif2 --  cl tried    63304 cl shrink     3651 lits rem       4434 time: 0.06
10321.04/323.04	c asymm  cl-useful: 3/1423/1423 lits-rem:3 time: 0.12
10321.04/323.05	c calculated reachability. Time: 0.00
10321.04/323.05	c  N st    74   1210257       874      1423      1463     63304      7314    890397   no data   no data
10321.04/323.05	c Finding binary XORs  T:     0.00 s  found:       0
11193.67/350.31	c  N st    75   1283140       874      1423      1465     89426      7314   1702545   no data   no data
11193.67/350.33	c Finding binary XORs  T:     0.00 s  found:       2
12417.92/388.62	c  N st    76   1392464       870      1412      1433     99612      7256   1585278   no data   no data
12417.92/388.65	c Finding binary XORs  T:     0.00 s  found:       1
14080.09/440.63	c  N st    77   1556450       861      1392      1373    105629      7149   1624373   no data   no data
14083.30/440.70	c Finding binary XORs  T:     0.00 s  found:       3
15985.80/500.31	c  N st    78   1710260       854      1370      1705     94989      7056   1467981   no data   no data
15985.80/500.31	c  S st    78   1710260       854      1370      1705     94989      7056   1467981   no data   no data
15991.58/500.47	c Finding binary XORs  T:     0.00 s  found:      32
15994.78/500.56	c Replacing       39 vars Replaced    23509 lits Time:     0.08 s 
16004.37/500.88	c  S st    78   1710762       783      1272      1534     70736      6503    993051   no data   no data
16004.37/500.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
16010.78/501.01	c Flit:     0 Blit:      2 bXBeca:    0 bXProp:    4 Bins:    640 BRemL:    638 BRemN:      0 P:  4.3M T:  0.12
16010.78/501.04	c Replacing        4 vars Replaced     1277 lits Time:     0.02 s 
16010.78/501.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16010.78/501.04	c bin-w-bin subsume rem           78 bins  time:  0.00 s
16010.78/501.04	c subs with bin:       36  lits-rem:        35  v-fix:    0  time:  0.00 s
16010.78/501.04	c Subs w/ non-existent bins:      2 l-rem:      2 v-fix:     0 done:    777 time:  0.00 s
16010.78/501.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16010.78/501.07	c lits-rem:         0  cl-subs:       17  v-elim:      7  v-fix:    0  time:  0.02 s
16097.06/503.73	c subs with bin:     9071  lits-rem:     31406  v-fix:    0  time:  2.59 s
16186.57/506.55	c lits-rem:      6695  cl-subs:    10818  v-elim:      0  v-fix:    0  time:  2.82 s
16186.57/506.55	c vivif2 --  cl tried     1232 cl shrink        8 lits rem          8 time: 0.00
16189.77/506.63	c vivif2 --  cl tried    48970 cl shrink    19420 lits rem      36412 time: 0.08
16192.96/506.72	c asymm  cl-useful: 12/1227/1227 lits-rem:25 time: 0.09
16192.96/506.72	c calculated reachability. Time: 0.00
16192.96/506.72	c  N st    78   1710762       770      1223      1346     48951      6289    590544   no data   no data
16192.96/506.72	c Finding binary XORs  T:     0.00 s  found:       0
16493.00/519.16	c Following stats are for *FIRST FINISHED THREAD ONLY*
16493.00/519.16	c num threads              : 32         
16493.00/519.16	c restarts                 : 76         
16493.00/519.16	c dynamic restarts         : 0          
16493.00/519.16	c static restarts          : 76         
16493.00/519.16	c full restarts            : 4          
16493.00/519.16	c total simplify time      : 0.69       
16493.00/519.16	c learnts DL2              : 0          
16493.00/519.16	c learnts size 2           : 7083       
16493.00/519.16	c learnts size 1           : 466         (33.29     % of vars)
16493.00/519.16	c filedLit time            : 0.21        (0.04      % time)
16493.00/519.16	c v-elim SatELite          : 448         (32.00     % vars)
16493.00/519.16	c SatELite time            : 1.09        (0.21      % time)
16493.00/519.16	c v-elim xor               : 11          (0.79      % vars)
16493.00/519.16	c xor elim time            : 0.01        (0.00      % time)
16493.00/519.16	c num binary xor trees     : 71         
16493.00/519.16	c binxor trees' crown      : 159         (2.24      leafs/tree)
16493.00/519.16	c bin xor find time        : 0.02       
16493.00/519.16	c OTF clause improved      : 55035       (0.03      clauses/conflict)
16493.00/519.16	c OTF impr. size diff      : 58803       (1.07       lits/clause)
16493.00/519.16	c OTF cl watch-shrink      : 957714      (0.56      clauses/conflict)
16493.00/519.16	c OTF cl watch-sh-lit      : 2549272     (2.66       lits/clause)
16493.00/519.16	c tried to recurMin cls    : 394280      (23.23      % of conflicts)
16493.00/519.16	c updated cache            : 8755        (0.02       lits/tried recurMin)
16493.00/519.16	c unit cls recevied        : 87          (18.67     % of units)
16493.00/519.16	c unit cls sent            : 142         (30.47     % of units)
16493.00/519.16	c bin cls recevied         : 4085       
16493.00/519.16	c bin cls sent             : 516        
16493.00/519.16	c clauses over max glue    : 0           (0.00      % of all clauses)
16493.00/519.16	c conflicts                : 1697260     (3272.15   / sec)
16493.00/519.16	c decisions                : 1943952     (2.41      % random)
16493.00/519.16	c bogo-props               : 67067743671 (129299892.47 / sec)
16493.00/519.16	c conflict literals        : 38438432    (62.70     % deleted)
16493.00/519.16	c Memory used              : 3276.13     MB
16493.00/519.16	c single-thread CPU time   : 518.70      s
16493.00/519.16	c all-threads sum CPU time : 16484.59    s
16493.00/519.16	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-3400629-1306256786/watcher-3400629-1306256786 -o /tmp/evaluation-result-3400629-1306256786/solver-3400629-1306256786 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400629-1306256786.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

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


[startup+0 s]
/proc/loadavg: 29.53 31.53 31.82 1/413 9420
/proc/meminfo: memFree=255170300/264257624 swapFree=67111528/67111528
[pid=9420] ppid=9418 vsize=338000 CPUtime=0.78 cores=0-31
/proc/9420/stat : 9420 (strangenight2-m) R 9418 9420 9394 0 -1 4202496 436 0 0 0 78 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663980 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/9420/statm: 84500 376 297 95 0 79482 0
[pid=9420/tid=9421] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9421/stat : 9421 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663980 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9420/tid=9422] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9422/stat : 9422 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9420/tid=9423] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9423/stat : 9423 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663980 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9420/tid=9424] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9424/stat : 9424 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9420/tid=9425] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9425/stat : 9425 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663980 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9420/tid=9426] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9426/stat : 9426 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663976 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9420/tid=9427] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9427/stat : 9427 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9420/tid=9428] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9428/stat : 9428 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663984 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9420/tid=9429] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9429/stat : 9429 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9420/tid=9430] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9430/stat : 9430 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663980 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9420/tid=9431] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9431/stat : 9431 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9420/tid=9432] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9432/stat : 9432 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9420/tid=9433] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9433/stat : 9433 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9420/tid=9434] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9434/stat : 9434 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9420/tid=9435] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9435/stat : 9435 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9420/tid=9436] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9436/stat : 9436 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663976 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9420/tid=9437] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9437/stat : 9437 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9420/tid=9438] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9438/stat : 9438 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9420/tid=9439] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9439/stat : 9439 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9420/tid=9440] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9440/stat : 9440 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663980 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9420/tid=9441] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9441/stat : 9441 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165045 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9420/tid=9442] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9442/stat : 9442 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165046 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9420/tid=9443] ppid=9418 vsize=338000 CPUtime=0 cores=0-31
/proc/9420/task/9443/stat : 9443 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 737165046 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9420/tid=9444] ppid=9418 vsize=338000 CPUtime=0.01 cores=0-31
/proc/9420/task/9444/stat : 9444 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 737165046 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663980 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9420/tid=9445] ppid=9418 vsize=338000 CPUtime=0.01 cores=0-31
/proc/9420/task/9445/stat : 9445 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 737165046 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663976 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9420/tid=9446] ppid=9418 vsize=338000 CPUtime=0.01 cores=0-31
/proc/9420/task/9446/stat : 9446 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 737165046 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9420/tid=9447] ppid=9418 vsize=338000 CPUtime=0.01 cores=0-31
/proc/9420/task/9447/stat : 9447 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 1 0 0 0 25 0 32 0 737165046 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9420/tid=9448] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9448/stat : 9448 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165046 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9420/tid=9449] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9449/stat : 9449 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165046 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663986 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9420/tid=9450] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9450/stat : 9450 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165046 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663980 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9420/tid=9451] ppid=9418 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9420/task/9451/stat : 9451 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 737165046 346112000 376 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663980 0 0 4096 2 0 0 0 -1 25 0 0 0

[startup+0.09704 s]
/proc/loadavg: 29.53 31.53 31.82 1/413 9420
/proc/meminfo: memFree=255170300/264257624 swapFree=67111528/67111528
[pid=9420] ppid=9418 vsize=1524368 CPUtime=1.71 cores=0-31
/proc/9420/stat : 9420 (strangenight2-m) R 9418 9420 9394 0 -1 4202496 5732 0 0 0 144 27 0 0 17 0 32 0 737165045 1560952832 5565 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651061007 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/9420/statm: 381092 5615 336 95 0 376074 0
[pid=9420/tid=9421] ppid=9418 vsize=1524368 CPUtime=0.06 cores=0-31
/proc/9420/task/9421/stat : 9421 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 192 0 0 0 5 1 0 0 17 0 32 0 737165045 1560952832 5619 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446604505507495392 0 0 -1 1 0 0 0
[pid=9420/tid=9422] ppid=9418 vsize=1524504 CPUtime=0.04 cores=0-31
/proc/9420/task/9422/stat : 9422 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 170 0 0 0 4 0 0 0 17 0 32 0 737165045 1561092096 5648 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9420/tid=9423] ppid=9418 vsize=1524504 CPUtime=0.05 cores=0-31
/proc/9420/task/9423/stat : 9423 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 184 0 0 0 5 0 0 0 17 0 32 0 737165045 1561092096 5687 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9420/tid=9424] ppid=9418 vsize=1524504 CPUtime=0.04 cores=0-31
/proc/9420/task/9424/stat : 9424 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 179 0 0 0 4 0 0 0 17 0 32 0 737165045 1561092096 5693 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446744071566924704 0 0 -1 12 0 0 0
[pid=9420/tid=9425] ppid=9418 vsize=1524504 CPUtime=0.04 cores=0-31
/proc/9420/task/9425/stat : 9425 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 187 0 0 0 4 0 0 0 17 0 32 0 737165045 1561092096 5717 268435456000 4194304 4580107 140735955672016 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9420/tid=9426] ppid=9418 vsize=1524504 CPUtime=0.04 cores=0-31
/proc/9420/task/9426/stat : 9426 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 134 0 0 0 4 0 0 0 17 0 32 0 737165045 1561092096 5770 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9420/tid=9427] ppid=9418 vsize=1524504 CPUtime=0.04 cores=0-31
/proc/9420/task/9427/stat : 9427 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 111 0 0 0 4 0 0 0 17 0 32 0 737165045 1561092096 5771 268435456000 4194304 4580107 140735955672016 18446744073709551615 4353234 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9420/tid=9428] ppid=9418 vsize=1524500 CPUtime=0.06 cores=0-31
/proc/9420/task/9428/stat : 9428 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 219 0 0 0 5 1 0 0 17 0 32 0 737165045 1561088000 5790 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446604474495426016 0 0 -1 5 0 0 0
[pid=9420/tid=9429] ppid=9418 vsize=1524500 CPUtime=0.05 cores=0-31
/proc/9420/task/9429/stat : 9429 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 190 0 0 0 4 1 0 0 18 0 32 0 737165045 1561088000 5830 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9420/tid=9430] ppid=9418 vsize=1524500 CPUtime=0.04 cores=0-31
/proc/9420/task/9430/stat : 9430 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 125 0 0 0 4 0 0 0 17 0 32 0 737165045 1561088000 5850 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446604505050152416 0 0 -1 9 0 0 0
[pid=9420/tid=9431] ppid=9418 vsize=1524488 CPUtime=0.05 cores=0-31
/proc/9420/task/9431/stat : 9431 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 174 0 0 0 4 1 0 0 17 0 32 0 737165045 1561075712 5886 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446604505299385824 0 0 -1 6 0 0 0
[pid=9420/tid=9432] ppid=9418 vsize=1524488 CPUtime=0.06 cores=0-31
/proc/9420/task/9432/stat : 9432 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 143 0 0 0 5 1 0 0 17 0 32 0 737165045 1561075712 5915 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9420/tid=9433] ppid=9418 vsize=1524624 CPUtime=0.06 cores=0-31
/proc/9420/task/9433/stat : 9433 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 234 0 0 0 5 1 0 0 17 0 32 0 737165045 1561214976 6296 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9420/tid=9434] ppid=9418 vsize=1524624 CPUtime=0.06 cores=0-31
/proc/9420/task/9434/stat : 9434 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 215 0 0 0 4 2 0 0 17 0 32 0 737165045 1561214976 6302 268435456000 4194304 4580107 140735955672016 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9420/tid=9435] ppid=9418 vsize=1524624 CPUtime=0.06 cores=0-31
/proc/9420/task/9435/stat : 9435 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 197 0 0 0 5 1 0 0 17 0 32 0 737165045 1561214976 6309 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446744071566925344 0 0 -1 11 0 0 0
[pid=9420/tid=9436] ppid=9418 vsize=1524624 CPUtime=0.05 cores=0-31
/proc/9420/task/9436/stat : 9436 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 226 0 0 0 4 1 0 0 17 0 32 0 737165045 1561214976 6316 268435456000 4194304 4580107 140735955672016 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9420/tid=9437] ppid=9418 vsize=1524624 CPUtime=0.06 cores=0-31
/proc/9420/task/9437/stat : 9437 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 203 0 0 0 5 1 0 0 17 0 32 0 737165045 1561214976 6329 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446604499159653856 0 0 -1 14 0 0 0
[pid=9420/tid=9438] ppid=9418 vsize=1524624 CPUtime=0.06 cores=0-31
/proc/9420/task/9438/stat : 9438 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 177 0 0 0 5 1 0 0 17 0 32 0 737165045 1561214976 6337 268435456000 4194304 4580107 140735955672016 18446744073709551615 258650604377 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9420/tid=9439] ppid=9418 vsize=1524620 CPUtime=0.06 cores=0-31
/proc/9420/task/9439/stat : 9439 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 205 0 0 0 5 1 0 0 17 0 32 0 737165045 1561210880 6372 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446744071566928864 0 0 -1 16 0 0 0
[pid=9420/tid=9440] ppid=9418 vsize=1524620 CPUtime=0.05 cores=0-31
/proc/9420/task/9440/stat : 9440 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 197 0 0 0 4 1 0 0 17 0 32 0 737165045 1561210880 6386 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446604505269820896 0 0 -1 20 0 0 0
[pid=9420/tid=9441] ppid=9418 vsize=1524620 CPUtime=0.06 cores=0-31
/proc/9420/task/9441/stat : 9441 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 224 0 0 0 5 1 0 0 17 0 32 0 737165045 1561210880 6459 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446604481910152672 0 0 -1 24 0 0 0
[pid=9420/tid=9442] ppid=9418 vsize=1524620 CPUtime=0.06 cores=0-31
/proc/9420/task/9442/stat : 9442 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 139 0 0 0 5 1 0 0 17 0 32 0 737165046 1561210880 6463 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446604480995040736 0 0 -1 0 0 0 0
[pid=9420/tid=9443] ppid=9418 vsize=1524620 CPUtime=0.02 cores=0-31
/proc/9420/task/9443/stat : 9443 (strangenight2-m) D 9418 9420 9394 0 -1 4202560 197 0 0 0 1 1 0 0 18 0 32 0 737165046 1561210880 6471 268435456000 4194304 4580107 140735955672016 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9420/tid=9444] ppid=9418 vsize=1524620 CPUtime=0.05 cores=0-31
/proc/9420/task/9444/stat : 9444 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 211 0 0 0 4 1 0 0 17 0 32 0 737165046 1561210880 6495 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446604505185615328 0 0 -1 29 0 0 0
[pid=9420/tid=9445] ppid=9418 vsize=1524616 CPUtime=0.04 cores=0-31
/proc/9420/task/9445/stat : 9445 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 161 0 0 0 3 1 0 0 17 0 32 0 737165046 1561206784 6518 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446604505050152416 0 0 -1 23 0 0 0
[pid=9420/tid=9446] ppid=9418 vsize=1524616 CPUtime=0.06 cores=0-31
/proc/9420/task/9446/stat : 9446 (strangenight2-m) D 9418 9420 9394 0 -1 4202560 258 0 0 0 5 1 0 0 18 0 32 0 737165046 1561206784 6555 268435456000 4194304 4580107 140735955672016 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9420/tid=9447] ppid=9418 vsize=1524616 CPUtime=0.05 cores=0-31
/proc/9420/task/9447/stat : 9447 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 164 0 0 0 4 1 0 0 17 0 32 0 737165046 1561206784 6564 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9420/tid=9448] ppid=9418 vsize=1524616 CPUtime=0.05 cores=0-31
/proc/9420/task/9448/stat : 9448 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 140 0 0 0 4 1 0 0 17 0 32 0 737165046 1561206784 6565 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9420/tid=9449] ppid=9418 vsize=1524616 CPUtime=0.05 cores=0-31
/proc/9420/task/9449/stat : 9449 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 202 0 0 0 4 1 0 0 17 0 32 0 737165046 1561206784 6567 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446604479089647072 0 0 -1 21 0 0 0
[pid=9420/tid=9450] ppid=9418 vsize=1524616 CPUtime=0.05 cores=0-31
/proc/9420/task/9450/stat : 9450 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 219 0 0 0 4 1 0 0 17 0 32 0 737165046 1561206784 6589 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446744071566933864 0 0 -1 18 0 0 0
[pid=9420/tid=9451] ppid=9418 vsize=1524616 CPUtime=0.04 cores=0-31
/proc/9420/task/9451/stat : 9451 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 198 0 0 0 4 0 0 0 17 0 32 0 737165046 1561206784 6628 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446604505421536736 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 1524368

[startup+0.135026 s]
/proc/loadavg: 29.53 31.53 31.82 1/413 9420
/proc/meminfo: memFree=255170300/264257624 swapFree=67111528/67111528
[pid=9420] ppid=9418 vsize=1524656 CPUtime=2.5 cores=0-31
/proc/9420/stat : 9420 (strangenight2-m) R 9418 9420 9394 0 -1 4202496 7269 0 0 0 194 56 0 0 17 0 32 0 737165045 1561247744 7103 268435456000 4194304 4580107 140735955672016 18446744073709551615 4504375 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/9420/statm: 381164 7104 362 95 0 376146 0
[pid=9420/tid=9421] ppid=9418 vsize=1524656 CPUtime=0.09 cores=0-31
/proc/9420/task/9421/stat : 9421 (strangenight2-m) D 9418 9420 9394 0 -1 4202560 288 0 0 0 7 2 0 0 18 0 32 0 737165045 1561247744 7107 268435456000 4194304 4580107 140735955672016 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9420/tid=9422] ppid=9418 vsize=1524656 CPUtime=0.06 cores=0-31
/proc/9420/task/9422/stat : 9422 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 204 0 0 0 5 1 0 0 17 0 32 0 737165045 1561247744 7111 268435456000 4194304 4580107 140735955672016 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9420/tid=9423] ppid=9418 vsize=1524656 CPUtime=0.07 cores=0-31
/proc/9420/task/9423/stat : 9423 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 224 0 0 0 6 1 0 0 17 0 32 0 737165045 1561247744 7113 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006742208474 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9420/tid=9424] ppid=9418 vsize=1524656 CPUtime=0.07 cores=0-31
/proc/9420/task/9424/stat : 9424 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 221 0 0 0 6 1 0 0 17 0 32 0 737165045 1561247744 7118 268435456000 4194304 4580107 140735955672016 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9420/tid=9425] ppid=9418 vsize=1524656 CPUtime=0.07 cores=0-31
/proc/9420/task/9425/stat : 9425 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 228 0 0 0 6 1 0 0 17 0 32 0 737165045 1561247744 7120 268435456000 4194304 4580107 140735955672016 18446744073709551615 4292896 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9420/tid=9426] ppid=9418 vsize=1524656 CPUtime=0.07 cores=0-31
/proc/9420/task/9426/stat : 9426 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 174 0 0 0 6 1 0 0 17 0 32 0 737165045 1561247744 7124 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446744071566928864 0 0 -1 28 0 0 0
[pid=9420/tid=9427] ppid=9418 vsize=1524656 CPUtime=0.06 cores=0-31
/proc/9420/task/9427/stat : 9427 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 151 0 0 0 5 1 0 0 17 0 32 0 737165045 1561247744 7124 268435456000 4194304 4580107 140735955672016 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9420/tid=9428] ppid=9418 vsize=1524656 CPUtime=0.08 cores=0-31
/proc/9420/task/9428/stat : 9428 (strangenight2-m) D 9418 9420 9394 0 -1 4202560 269 0 0 0 7 1 0 0 17 0 32 0 737165045 1561247744 7130 268435456000 4194304 4580107 140735955672016 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9420/tid=9429] ppid=9418 vsize=1524656 CPUtime=0.07 cores=0-31
/proc/9420/task/9429/stat : 9429 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 223 0 0 0 6 1 0 0 18 0 32 0 737165045 1561247744 7134 268435456000 4194304 4580107 140735955672016 18446744073709551615 4294163 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9420/tid=9430] ppid=9418 vsize=1524656 CPUtime=0.07 cores=0-31
/proc/9420/task/9430/stat : 9430 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 168 0 0 0 6 1 0 0 17 0 32 0 737165045 1561247744 7137 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9420/tid=9431] ppid=9418 vsize=1524656 CPUtime=0.07 cores=0-31
/proc/9420/task/9431/stat : 9431 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 209 0 0 0 5 2 0 0 17 0 32 0 737165045 1561247744 7143 268435456000 4194304 4580107 140735955672016 18446744073709551615 258650614018 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9420/tid=9432] ppid=9418 vsize=1524656 CPUtime=0.07 cores=0-31
/proc/9420/task/9432/stat : 9432 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 189 0 0 0 6 1 0 0 17 0 32 0 737165045 1561247744 7144 268435456000 4194304 4580107 140735955672016 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9420/tid=9433] ppid=9418 vsize=1524656 CPUtime=0.07 cores=0-31
/proc/9420/task/9433/stat : 9433 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 250 0 0 0 6 1 0 0 17 0 32 0 737165045 1561247744 7154 268435456000 4194304 4580107 140735955672016 18446744073709551615 4294185 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9420/tid=9434] ppid=9418 vsize=1524656 CPUtime=0.09 cores=0-31
/proc/9420/task/9434/stat : 9434 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 236 0 0 0 7 2 0 0 17 0 32 0 737165045 1561247744 7156 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446744071566925344 0 0 -1 10 0 0 0
[pid=9420/tid=9435] ppid=9418 vsize=1524656 CPUtime=0.08 cores=0-31
/proc/9420/task/9435/stat : 9435 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 217 0 0 0 7 1 0 0 17 0 32 0 737165045 1561247744 7167 268435456000 4194304 4580107 140735955672016 18446744073709551615 258651060958 0 0 4096 2 18446744071566928864 0 0 -1 11 0 0 0
[pid=9420/tid=9436] ppid=9418 vsize=1524656 CPUtime=0.07 cores=0-31
/proc/9420/task/9436/stat : 9436 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 245 0 0 0 5 2 0 0 17 0 32 0 737165045 1561247744 7180 268435456000 4194304 4580107 140735955672016 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9420/tid=9437] ppid=9418 vsize=1524656 CPUtime=0.08 cores=0-31

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

[pid=9420/tid=9450] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9450/stat : 9450 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 50083 0 0 0 51538 27 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604480236985824 0 0 -1 18 0 0 0
[pid=9420/tid=9451] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9451/stat : 9451 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 32595 0 0 0 51550 15 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604481031831008 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 16486.8
Current children cumulated vsize (KiB) 3354756

[startup+517.601 s]
/proc/loadavg: 29.72 31.46 31.75 3/445 9466
/proc/meminfo: memFree=253355824/264257624 swapFree=67111528/67111528
[pid=9420] ppid=9418 vsize=3354756 CPUtime=16490 cores=0-31
/proc/9420/stat : 9420 (strangenight2-m) S 9418 9420 9394 0 -1 4202496 1589622 0 0 0 1648145 855 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/9420/statm: 838689 454388 380 95 0 833671 0
[pid=9420/tid=9421] ppid=9418 vsize=3354756 CPUtime=515.69 cores=0-31
/proc/9420/task/9421/stat : 9421 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 45697 0 0 0 51546 23 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604475850022368 0 0 -1 1 0 0 0
[pid=9420/tid=9422] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9422/stat : 9422 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 56920 0 0 0 51534 31 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604482233621984 0 0 -1 2 0 0 0
[pid=9420/tid=9423] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9423/stat : 9423 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 42564 0 0 0 51547 20 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604505299385824 0 0 -1 8 0 0 0
[pid=9420/tid=9424] ppid=9418 vsize=3354756 CPUtime=515.5 cores=0-31
/proc/9420/task/9424/stat : 9424 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 39405 0 0 0 51531 19 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604499159653856 0 0 -1 12 0 0 0
[pid=9420/tid=9425] ppid=9418 vsize=3354756 CPUtime=515.42 cores=0-31
/proc/9420/task/9425/stat : 9425 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 46638 0 0 0 51510 32 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446744071566931384 0 0 -1 4 0 0 0
[pid=9420/tid=9426] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9426/stat : 9426 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 41053 0 0 0 51545 22 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604710210878944 0 0 -1 28 0 0 0
[pid=9420/tid=9427] ppid=9418 vsize=3354756 CPUtime=515.66 cores=0-31
/proc/9420/task/9427/stat : 9427 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 47313 0 0 0 51539 27 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604475858869728 0 0 -1 22 0 0 0
[pid=9420/tid=9428] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9428/stat : 9428 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 35600 0 0 0 51550 17 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604505577430496 0 0 -1 5 0 0 0
[pid=9420/tid=9429] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9429/stat : 9429 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 47544 0 0 0 51542 25 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604485766069728 0 0 -1 3 0 0 0
[pid=9420/tid=9430] ppid=9418 vsize=3354756 CPUtime=515.66 cores=0-31
/proc/9420/task/9430/stat : 9430 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 54875 0 0 0 51536 30 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604505269820896 0 0 -1 9 0 0 0
[pid=9420/tid=9431] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9431/stat : 9431 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 53420 0 0 0 51535 30 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604484836965856 0 0 -1 6 0 0 0
[pid=9420/tid=9432] ppid=9418 vsize=3354756 CPUtime=515.66 cores=0-31
/proc/9420/task/9432/stat : 9432 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 54198 0 0 0 51540 26 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604485300125152 0 0 -1 7 0 0 0
[pid=9420/tid=9433] ppid=9418 vsize=3354756 CPUtime=515.68 cores=0-31
/proc/9420/task/9433/stat : 9433 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 48527 0 0 0 51540 28 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604484750753248 0 0 -1 13 0 0 0
[pid=9420/tid=9434] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9434/stat : 9434 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 47649 0 0 0 51540 27 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604708295876064 0 0 -1 10 0 0 0
[pid=9420/tid=9435] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9435/stat : 9435 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 57200 0 0 0 51537 28 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604480995040736 0 0 -1 11 0 0 0
[pid=9420/tid=9436] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9436/stat : 9436 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 59417 0 0 0 51537 30 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604481910152672 0 0 -1 17 0 0 0
[pid=9420/tid=9437] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9437/stat : 9437 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 45468 0 0 0 51536 29 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604572675775968 0 0 -1 14 0 0 0
[pid=9420/tid=9438] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9438/stat : 9438 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 51732 0 0 0 51542 25 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604475090730464 0 0 -1 15 0 0 0
[pid=9420/tid=9439] ppid=9418 vsize=3354756 CPUtime=515.66 cores=0-31
/proc/9420/task/9439/stat : 9439 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 49210 0 0 0 51543 23 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604497155243488 0 0 -1 16 0 0 0
[pid=9420/tid=9440] ppid=9418 vsize=3354756 CPUtime=517.37 cores=0-31
/proc/9420/task/9440/stat : 9440 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 51961 0 0 0 51714 23 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9420/tid=9441] ppid=9418 vsize=3354756 CPUtime=515.68 cores=0-31
/proc/9420/task/9441/stat : 9441 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 65588 0 0 0 51536 32 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604505209650656 0 0 -1 24 0 0 0
[pid=9420/tid=9442] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9442/stat : 9442 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 42823 0 0 0 51544 23 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604505507495392 0 0 -1 0 0 0 0
[pid=9420/tid=9443] ppid=9418 vsize=3354756 CPUtime=501.12 cores=0-31
/proc/9420/task/9443/stat : 9443 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 40949 0 0 0 50092 20 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604479089647072 0 0 -1 31 0 0 0
[pid=9420/tid=9444] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9444/stat : 9444 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 49224 0 0 0 51538 27 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604481951645152 0 0 -1 29 0 0 0
[pid=9420/tid=9445] ppid=9418 vsize=3354756 CPUtime=517.37 cores=0-31
/proc/9420/task/9445/stat : 9445 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 50878 0 0 0 51713 24 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744639172 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9420/tid=9446] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9446/stat : 9446 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 58837 0 0 0 51537 30 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604474495426016 0 0 -1 26 0 0 0
[pid=9420/tid=9447] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9447/stat : 9447 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 53923 0 0 0 51535 30 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604505050152416 0 0 -1 30 0 0 0
[pid=9420/tid=9448] ppid=9418 vsize=3354756 CPUtime=515.64 cores=0-31
/proc/9420/task/9448/stat : 9448 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 52895 0 0 0 51537 27 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604478711274976 0 0 -1 19 0 0 0
[pid=9420/tid=9449] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9449/stat : 9449 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 53214 0 0 0 51535 30 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604505185615328 0 0 -1 21 0 0 0
[pid=9420/tid=9450] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9450/stat : 9450 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 50083 0 0 0 51538 27 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604480236985824 0 0 -1 18 0 0 0
[pid=9420/tid=9451] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9451/stat : 9451 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 32595 0 0 0 51550 15 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604481031831008 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 16490
Current children cumulated vsize (KiB) 3354756

[startup+518.401 s]
/proc/loadavg: 29.72 31.46 31.75 3/445 9466
/proc/meminfo: memFree=253355700/264257624 swapFree=67111528/67111528
[pid=9420] ppid=9418 vsize=3354756 CPUtime=16491.6 cores=0-31
/proc/9420/stat : 9420 (strangenight2-m) S 9418 9420 9394 0 -1 4202496 1589622 0 0 0 1648305 855 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/9420/statm: 838689 454388 380 95 0 833671 0
[pid=9420/tid=9421] ppid=9418 vsize=3354756 CPUtime=515.69 cores=0-31
/proc/9420/task/9421/stat : 9421 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 45697 0 0 0 51546 23 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604475850022368 0 0 -1 1 0 0 0
[pid=9420/tid=9422] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9422/stat : 9422 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 56920 0 0 0 51534 31 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604482233621984 0 0 -1 2 0 0 0
[pid=9420/tid=9423] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9423/stat : 9423 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 42564 0 0 0 51547 20 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604505299385824 0 0 -1 8 0 0 0
[pid=9420/tid=9424] ppid=9418 vsize=3354756 CPUtime=515.5 cores=0-31
/proc/9420/task/9424/stat : 9424 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 39405 0 0 0 51531 19 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604499159653856 0 0 -1 12 0 0 0
[pid=9420/tid=9425] ppid=9418 vsize=3354756 CPUtime=515.42 cores=0-31
/proc/9420/task/9425/stat : 9425 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 46638 0 0 0 51510 32 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446744071566931384 0 0 -1 4 0 0 0
[pid=9420/tid=9426] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9426/stat : 9426 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 41053 0 0 0 51545 22 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604710210878944 0 0 -1 28 0 0 0
[pid=9420/tid=9427] ppid=9418 vsize=3354756 CPUtime=515.66 cores=0-31
/proc/9420/task/9427/stat : 9427 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 47313 0 0 0 51539 27 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604475858869728 0 0 -1 22 0 0 0
[pid=9420/tid=9428] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9428/stat : 9428 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 35600 0 0 0 51550 17 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604505577430496 0 0 -1 5 0 0 0
[pid=9420/tid=9429] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9429/stat : 9429 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 47544 0 0 0 51542 25 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604485766069728 0 0 -1 3 0 0 0
[pid=9420/tid=9430] ppid=9418 vsize=3354756 CPUtime=515.66 cores=0-31
/proc/9420/task/9430/stat : 9430 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 54875 0 0 0 51536 30 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604505269820896 0 0 -1 9 0 0 0
[pid=9420/tid=9431] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9431/stat : 9431 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 53420 0 0 0 51535 30 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604484836965856 0 0 -1 6 0 0 0
[pid=9420/tid=9432] ppid=9418 vsize=3354756 CPUtime=515.66 cores=0-31
/proc/9420/task/9432/stat : 9432 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 54198 0 0 0 51540 26 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604485300125152 0 0 -1 7 0 0 0
[pid=9420/tid=9433] ppid=9418 vsize=3354756 CPUtime=515.68 cores=0-31
/proc/9420/task/9433/stat : 9433 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 48527 0 0 0 51540 28 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604484750753248 0 0 -1 13 0 0 0
[pid=9420/tid=9434] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9434/stat : 9434 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 47649 0 0 0 51540 27 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604708295876064 0 0 -1 10 0 0 0
[pid=9420/tid=9435] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9435/stat : 9435 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 57200 0 0 0 51537 28 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604480995040736 0 0 -1 11 0 0 0
[pid=9420/tid=9436] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9436/stat : 9436 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 59417 0 0 0 51537 30 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604481910152672 0 0 -1 17 0 0 0
[pid=9420/tid=9437] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9437/stat : 9437 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 45468 0 0 0 51536 29 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604572675775968 0 0 -1 14 0 0 0
[pid=9420/tid=9438] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9438/stat : 9438 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 51732 0 0 0 51542 25 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604475090730464 0 0 -1 15 0 0 0
[pid=9420/tid=9439] ppid=9418 vsize=3354756 CPUtime=515.66 cores=0-31
/proc/9420/task/9439/stat : 9439 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 49210 0 0 0 51543 23 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604497155243488 0 0 -1 16 0 0 0
[pid=9420/tid=9440] ppid=9418 vsize=3354756 CPUtime=518.17 cores=0-31
/proc/9420/task/9440/stat : 9440 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 51961 0 0 0 51794 23 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9420/tid=9441] ppid=9418 vsize=3354756 CPUtime=515.68 cores=0-31
/proc/9420/task/9441/stat : 9441 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 65588 0 0 0 51536 32 0 0 25 0 32 0 737165045 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604505209650656 0 0 -1 24 0 0 0
[pid=9420/tid=9442] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9442/stat : 9442 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 42823 0 0 0 51544 23 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604505507495392 0 0 -1 0 0 0 0
[pid=9420/tid=9443] ppid=9418 vsize=3354756 CPUtime=501.12 cores=0-31
/proc/9420/task/9443/stat : 9443 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 40949 0 0 0 50092 20 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604479089647072 0 0 -1 31 0 0 0
[pid=9420/tid=9444] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9444/stat : 9444 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 49224 0 0 0 51538 27 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604481951645152 0 0 -1 29 0 0 0
[pid=9420/tid=9445] ppid=9418 vsize=3354756 CPUtime=518.17 cores=0-31
/proc/9420/task/9445/stat : 9445 (strangenight2-m) R 9418 9420 9394 0 -1 4202560 50878 0 0 0 51793 24 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744639019 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9420/tid=9446] ppid=9418 vsize=3354756 CPUtime=515.67 cores=0-31
/proc/9420/task/9446/stat : 9446 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 58837 0 0 0 51537 30 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604474495426016 0 0 -1 26 0 0 0
[pid=9420/tid=9447] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9447/stat : 9447 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 53923 0 0 0 51535 30 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604505050152416 0 0 -1 30 0 0 0
[pid=9420/tid=9448] ppid=9418 vsize=3354756 CPUtime=515.64 cores=0-31
/proc/9420/task/9448/stat : 9448 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 52895 0 0 0 51537 27 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604478711274976 0 0 -1 19 0 0 0
[pid=9420/tid=9449] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9449/stat : 9449 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 53214 0 0 0 51535 30 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604505185615328 0 0 -1 21 0 0 0
[pid=9420/tid=9450] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9450/stat : 9450 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 50083 0 0 0 51538 27 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604480236985824 0 0 -1 18 0 0 0
[pid=9420/tid=9451] ppid=9418 vsize=3354756 CPUtime=515.65 cores=0-31
/proc/9420/task/9451/stat : 9451 (strangenight2-m) S 9418 9420 9394 0 -1 4202560 32595 0 0 0 51550 15 0 0 25 0 32 0 737165046 3435270144 454388 268435456000 4194304 4580107 140735955672016 18446744073709551615 48006744663604 0 0 4096 2 18446604481031831008 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 16491.6
Current children cumulated vsize (KiB) 3354756

[startup+519.202 s]
/proc/loadavg: 29.72 31.46 31.75 3/445 9466
/proc/meminfo: memFree=253356396/264257624 swapFree=67111528/67111528
[pid=9420] ppid=9418 vsize=0 CPUtime=16493.2 cores=0-31
/proc/9420/stat : 9420 (strangenight2-m) Z 9418 9420 9394 0 -1 4203548 1589976 0 0 0 1648458 860 0 0 18 0 2 0 737165045 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/9420/statm: 0 0 0 0 0 0 0
[pid=9420/tid=9447] ppid=9418 vsize=0 CPUtime=515.69 cores=0-31
/proc/9420/task/9447/stat : 9447 (strangenight2-m) R 9418 9420 9394 0 -1 4203588 53923 0 0 0 51535 34 0 0 18 0 2 0 737165046 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 16493.2
Current children cumulated vsize (KiB) 0

[startup+519.401 s]
/proc/loadavg: 29.72 31.46 31.75 3/445 9466
/proc/meminfo: memFree=253356396/264257624 swapFree=67111528/67111528
[pid=9420] ppid=9418 vsize=0 CPUtime=16493.4 cores=0-31
/proc/9420/stat : 9420 (strangenight2-m) Z 9418 9420 9394 0 -1 4203548 1589976 0 0 0 1648458 880 0 0 18 0 2 0 737165045 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/9420/statm: 0 0 0 0 0 0 0
[pid=9420/tid=9447] ppid=9418 vsize=0 CPUtime=515.88 cores=0-31
/proc/9420/task/9447/stat : 9447 (strangenight2-m) R 9418 9420 9394 0 -1 4203588 53923 0 0 0 51535 53 0 0 18 0 2 0 737165046 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 16493.4
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 519.408
CPU time (s): 16493.4
CPU user time (s): 16484.6
CPU system time (s): 8.80766
CPU usage (%): 3175.42
Max. virtual memory (cumulated for all children) (KiB): 3519124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16484.6
system time used= 8.80766
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1589976
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= 43183
involuntary context switches= 31286

runsolver used 3.07053 second user time and 11.5682 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-24 19:06:26
IDJOB=3400629
IDBENCH=20472
IDSOLVER=1886
FILE ID=node200/3400629-1306256786
RUNJOBID= node200-1306256786-9408
PBS_JOBID= 13411759
Free space on /tmp= 62048 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.11.unsat.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400629-1306256786/watcher-3400629-1306256786 -o /tmp/evaluation-result-3400629-1306256786/solver-3400629-1306256786 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400629-1306256786.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32

MD5SUM BENCH= 90581094793af5fc10d4e4b9a10259ac
RANDOM SEED=1444562360

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:      255170464 kB
Buffers:        463612 kB
Cached:        8215268 kB
SwapCached:          0 kB
Active:        7766568 kB
Inactive:       981068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255170464 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5808 kB
Writeback:           0 kB
AnonPages:       70852 kB
Mapped:          13484 kB
Slab:           255132 kB
PageTables:       4004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   191368 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= 62040 MiB
End job on node200 at 2011-05-24 19:15:06