Trace number 3400906

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)? (TO) 105539 5102

General information on the benchmark

NameSAT-Race-2010-CNF/hardware-verification/
velev/2dlx_ca_bp_f_liveness.cnf
MD5SUM99cd8de7f06ce8c087a5c7fb299dfb62
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables202253
Number of clauses4313014
Sum of the clauses size12562188
Maximum clause length651
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 23935640
Number of clauses of size 3199653
Number of clauses of size 410363
Number of clauses of size 55846
Number of clauses of size over 5161511

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.04	c Using 32 threads
0.00/0.04	c This is CryptoMiniSat 3.0.0
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c Reading file 'HOME/instance-3400906-1307130300.cnf'
0.00/0.08	c -- header says num vars:         202253
0.00/0.08	c -- header says num clauses:     4313014
243.60/14.52	c -- clauses added:            0 learnts,      4313014 normals,            0 xors
243.60/14.52	c -- vars added     202253
243.60/14.52	c Parsing time:  3.63 s
243.60/14.52	c  N st     0         0    202253    377373   3935640         0  12562187         0   no data   no data
262.61/15.64	c asymm  cl-useful: 72/644/377372 lits-rem:690 time: 0.77
544.09/24.58	c Flit:  1967 Blit:   2662 bXBeca:    0 bXProp:  151 Bins:      0 BRemL:      0 BRemN:      0 P: 200.1M T:  8.82
550.52/24.77	c Cleaning up after failed var search:     0.18 s 
563.28/25.15	c Replacing      153 vars Replaced    20504 lits Time:     0.37 s 
601.49/26.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
617.92/27.70	c bin-w-bin subsume rem           29 bins  time:  0.81 s
819.27/34.84	c subs with bin:      324  lits-rem:     45560  v-fix:    0  time:  7.04 s
926.53/39.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     1 done:   8918 time:  4.24 s
935.52/39.94	c Removed useless bin:      39  fixed:     0  props:  20.06M  time:  0.32 s
1276.27/50.91	c lits-rem:      1393  cl-subs:     9871  v-elim:  14363  v-fix:    0  time: 10.49 s
1279.41/51.09	c Finding binary XORs  T:     0.18 s  found:       0
1333.22/52.72	c Finding non-binary XORs:     1.46 s (found:       0, avg size: nan)
1333.22/52.72	c calculated reachability. Time: 0.01
1336.98/52.88	c Calc default polars -  time:   0.16 s pos:    6246 undec:   20318 neg:  175689
1336.98/52.88	c =========================================================================================
1336.98/52.88	c types(t): F = full restart, N = normal restart
1336.98/52.88	c types(t): S = simplification begin/end, E = solution found
1336.98/52.88	c restart types(rt): st = static, dy = dynamic
1336.98/52.88	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1336.98/52.88	c  B st     0         0    182300    392065   3705618         0  12490440         0   no data   no data
1614.10/61.55	c  N dy    17      4021    182256    392065   3705991      3570  12490438    367924      9.37      9.89
1930.53/71.48	c  N dy    49      8152    179077    387227   3661453      7349  12321359    653475     11.47     12.13
2227.76/80.79	c  N dy    67     12206    179075    387227   3661670     11142  12321355    941293     11.39     12.13
2537.81/90.42	c  N dy    98     16226    177551    387227   3669342     15016  12321354   1247860     12.21     15.60
2819.10/99.20	c  N dy   124     20323    177026    384177   3636443      9623  12205060    252203     12.49     13.18
3103.56/108.18	c  N dy   140     24629    177023    384177   3636509     13817  12205055    557275     12.36     13.22
3129.74/108.94	c  F st   144     25000    176913    384177   3640822     14175  12205053    593034     12.37   no data
3451.98/119.09	c  N dy   150     30001    176077    383198   3616001     19041  12132427   1138671     12.37   no data
3451.98/119.10	c  S st   150     30001    176077    383198   3616001     19041  12132427   1138671     12.37   no data
3519.74/121.20	c  S st   150     30503    176064    383198   3616031     19497  12132427   1154189     12.37   no data
3528.70/121.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.27
4117.43/139.86	c Flit:  1937 Blit:   1408 bXBeca:    0 bXProp:   98 Bins: 854367 BRemL:   6122 BRemN:     93 P: 200.0M T: 18.36
4123.18/140.09	c Cleaning up after failed var search:     0.22 s 
4180.73/141.84	c Replacing       98 vars Replaced   582849 lits Time:     1.74 s 
4209.47/142.76	c blocked clauses removed:      490 vars:    295 tried:      171263 T: 0.33 s
4225.43/143.23	c bin-w-bin subsume rem        26384 bins  time:  0.47 s
4439.52/149.98	c subs with bin:      439  lits-rem:     45448  v-fix:    0  time:  6.75 s
4589.76/154.67	c Subs w/ non-existent bins:    217 l-rem:   1807 v-fix:     2 done:  12284 time:  4.56 s
4606.33/155.16	c Removed useless bin:     185  fixed:     0  props:  20.03M  time:  0.36 s
4829.47/162.14	c lits-rem:      1869  cl-subs:     8030  v-elim:   1128  v-fix:    0  time:  6.97 s
4896.60/164.29	c subs with bin:      128  lits-rem:     11626  v-fix:    0  time:  1.85 s
4963.71/166.34	c lits-rem:       726  cl-subs:     1065  v-elim:      0  v-fix:    0  time:  1.57 s
4989.27/167.21	c asymm  cl-useful: 191/342/370002 lits-rem:11954 time: 0.87
4996.28/167.39	c calculated reachability. Time: 0.02
4998.84/167.40	c  N dy   150     30503    169227    370002   4082927     15907  11563194   1965886     12.37   no data
5002.04/167.60	c Finding binary XORs  T:     0.20 s  found:      18
5230.92/177.64	c  N dy   177     34561    168747    370002   4094695     19863  11563187   2254013     12.53     13.69
5653.35/275.51	c Finding binary XORs  T:     0.19 s  found:      41
5655.35/275.98	c  N dy   187     38969    168155    369889   4137315     24122  11494987   2608684     12.27     12.96
5695.24/281.78	c  N dy   211     43358    168152    369889   4137369     14986  11494975   1738220     12.29     13.00
6059.63/401.49	c Finding binary XORs  T:     0.19 s  found:      83
6070.02/404.09	c  S st   228     45754    167100    369656   4258368     17247  11438646   2189868     12.42   no data
6074.82/405.27	c  S st   228     46255    166892    369656   4258394     17713  11438646   2207341     12.42   no data
6075.77/405.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.31
6113.20/414.25	c Flit:   454 Blit:     84 bXBeca:    0 bXProp:   45 Bins: 624088 BRemL:   3400 BRemN:     16 P: 200.1M T:  8.63
6113.20/414.25	c Cleaning up after failed var search:     0.00 s 
6118.21/415.29	c Replacing      187 vars Replaced   169650 lits Time:     1.03 s 
6121.30/415.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
6125.07/416.82	c bin-w-bin subsume rem        61797 bins  time:  0.93 s
6145.64/422.66	c subs with bin:      113  lits-rem:     17094  v-fix:    0  time:  5.84 s
6158.81/426.35	c Subs w/ non-existent bins:     55 l-rem:    169 v-fix:     0 done:  14093 time:  3.69 s
6159.70/426.68	c Removed useless bin:     222  fixed:     0  props:  20.05M  time:  0.30 s
6188.04/432.72	c lits-rem:      2267  cl-subs:      521  v-elim:    124  v-fix:    0  time:  6.03 s
6200.11/434.55	c subs with bin:       99  lits-rem:      5284  v-fix:    0  time:  1.63 s
6211.80/436.16	c lits-rem:       165  cl-subs:      372  v-elim:      0  v-fix:    0  time:  1.20 s
6218.01/436.85	c asymm  cl-useful: 234/447/368562 lits-rem:9198 time: 0.68
6219.64/437.04	c calculated reachability. Time: 0.02
6219.64/437.05	c  N dy   228     46255    166027    368560   4744576     17171  11344569   3207713     12.42   no data
6221.44/437.25	c Finding binary XORs  T:     0.20 s  found:       0
6509.38/450.36	c  N dy   259     50409    165600    368560   4748594     21241  11344567   3509497     12.55     13.51
6650.15/458.10	c  N dy   287     54446    165294    368560   4748612     25236  11344561   3746812     12.62     13.34
7067.85/547.17	c  N dy   323     58458    165230    368560   4752689     29158  11344553   4036721     12.91     14.46
7349.09/555.95	c  N dy   347     62482    165177    368560   4754834     33091  11344550   4283767     13.00     16.57
7627.04/564.67	c  N dy   376     66490    165038    368560   4754868     19702  11344545   3176132     13.08     18.01
7809.25/570.33	c  S st   397     69382    165016    368560   4756182     22556  11344543   3398878     13.17      9.18
7876.37/572.49	c  S st   397     69885    165015    368560   4756201     23037  11344542   3416405     13.17   no data
7889.16/572.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.32
8375.04/588.01	c Flit:   242 Blit:     80 bXBeca:    0 bXProp:    7 Bins: 673272 BRemL:   1049 BRemN:     25 P: 200.0M T: 15.19
8375.04/588.02	c Cleaning up after failed var search:     0.00 s 
8394.84/588.69	c Replacing        7 vars Replaced      848 lits Time:     0.66 s 
8416.59/589.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.02 s
8435.76/589.97	c bin-w-bin subsume rem         1870 bins  time:  0.64 s
8662.69/597.02	c subs with bin:     2276  lits-rem:     69958  v-fix:    0  time:  7.04 s
8831.68/602.32	c Subs w/ non-existent bins:     55 l-rem:    755 v-fix:     0 done:  10958 time:  5.28 s
8843.82/602.80	c Removed useless bin:     396  fixed:     0  props:  20.01M  time:  0.45 s
8997.08/610.12	c lits-rem:      1471  cl-subs:      468  v-elim:    333  v-fix:    0  time:  7.31 s
9014.87/611.94	c subs with bin:        0  lits-rem:        87  v-fix:    0  time:  1.60 s
9027.25/613.68	c lits-rem:        64  cl-subs:      447  v-elim:      0  v-fix:    0  time:  1.33 s
9030.05/614.08	c asymm  cl-useful: 124/403/366194 lits-rem:1127 time: 0.40
9031.45/614.29	c calculated reachability. Time: 0.01
9031.45/614.29	c  N dy   397     69885    164353    366193   5304265     22450  11187196   4574987     13.17   no data
9033.55/614.50	c Finding binary XORs  T:     0.21 s  found:      48
9411.79/695.46	c  N dy   432     74516    164123    366193   5881258     27021  11187191   6029715     13.33     14.11
9415.46/696.37	c Finding binary XORs  T:     0.22 s  found:      30
9434.14/701.31	c  N dy   461     79335    163806    366124   5827346     31771  11155547   6209488     13.36     14.19
10033.83/1014.68	c Finding binary XORs  T:     0.24 s  found:      14
10042.63/1019.09	c  N dy   485     84618    162729    365467   6672890     36967  11078492   8277626     13.33     14.50
10288.64/1079.88	c  F st   508     87502    162404    365467   6677032     19945  11078488   7060044     13.41     13.38
10317.41/1080.71	c Replacing       92 vars Replaced   381697 lits Time:     0.60 s 
10505.99/1086.63	c  N st   513     90798    162312    365429   6655957     23198  11058973   7317541     13.41   no data
10838.39/1097.05	c  N dy   537     96659    162283    365429   6657399     28993  11058964   7911246     13.46     22.72
11225.15/1109.17	c  N dy   575    102857    162220    365429   6658663     35107  11058962   8331367     13.53     14.77
11349.78/1113.02	c  S st   583    104829    162220    365429   6658728     36974  11058958   8425300     13.51   no data
11420.11/1115.25	c  S st   583    105331    162219    365429   6659671     37451  11058958   8445345     13.51   no data
11432.88/1115.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.38
11896.35/1130.18	c Flit:   236 Blit:     24 bXBeca:    0 bXProp:    3 Bins: 642869 BRemL:   3733 BRemN:     14 P: 200.1M T: 14.55
11896.35/1130.19	c Cleaning up after failed var search:     0.00 s 
11925.12/1131.01	c Replacing        4 vars Replaced     3630 lits Time:     0.81 s 
11944.31/1131.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.02 s
11979.48/1132.72	c bin-w-bin subsume rem        22553 bins  time:  1.03 s
12200.55/1139.69	c subs with bin:      598  lits-rem:     39870  v-fix:    0  time:  6.97 s
12359.77/1144.69	c Subs w/ non-existent bins:     22 l-rem:    234 v-fix:     0 done:  14714 time:  5.00 s
12376.34/1145.20	c Removed useless bin:     236  fixed:     0  props:  20.01M  time:  0.49 s
12631.34/1153.10	c lits-rem:       672  cl-subs:      316  v-elim:    128  v-fix:    0  time:  7.90 s
12708.03/1155.50	c subs with bin:       12  lits-rem:      5895  v-fix:    0  time:  1.93 s
12858.27/1160.22	c lits-rem:        71  cl-subs:      746  v-elim:      0  v-fix:    0  time:  4.24 s
12890.02/1161.25	c asymm  cl-useful: 107/329/364753 lits-rem:329 time: 1.03
12899.24/1161.52	c calculated reachability. Time: 0.02
12899.24/1161.53	c  N dy   583    105331    161784    364753   7235383     36091  10985335   9520997     13.51   no data
12905.80/1161.79	c Finding binary XORs  T:     0.26 s  found:      14
13496.08/1219.99	c Finding binary XORs  T:     0.26 s  found:      17
13501.61/1221.33	c  N dy   630    112226    161007    364682   8038124     21520  10935025   9889522     13.60     14.56
14013.85/1420.35	c  N dy   671    119444    160524    364682   8067465     28652  10935010  10393598     13.62     14.35
14382.89/1438.47	c  N dy   728    127097    160301    364682   8080440     36193  10935004  10994559     13.76     14.56
14929.46/1455.56	c  N dy   777    135300    160286    364682   8081315     44302  10934999  11507487     13.85     15.84
15533.51/1474.43	c  N dy   816    144019    160139    364682   8083941     29902  10934991  10390060     13.83     14.90
16163.19/1494.11	c  N dy   871    153241    160083    364682   8085272     39005  10934988  11021014     13.89     14.64
16482.86/1504.10	c  S st   901    157996    159949    364682   8086623     43691  10934979  11345138     13.92     13.34
16565.98/1506.77	c  S st   901    158497    159948    364682   8086655     44157  10934979  11360718     13.92   no data
16581.96/1507.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.45
17259.60/1528.41	c Flit:   186 Blit:     49 bXBeca:    0 bXProp:   20 Bins: 476904 BRemL:   2464 BRemN:     91 P: 200.0M T: 20.56
17259.60/1528.42	c Cleaning up after failed var search:     0.00 s 
17291.55/1529.43	c Replacing       51 vars Replaced   142753 lits Time:     0.96 s 
17314.53/1530.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.02 s
17355.47/1531.45	c bin-w-bin subsume rem        20736 bins  time:  1.25 s
17588.79/1538.74	c subs with bin:       11  lits-rem:      4840  v-fix:    0  time:  7.09 s
17764.58/1544.27	c Subs w/ non-existent bins:     12 l-rem:    102 v-fix:     0 done:  10841 time:  5.21 s
17783.75/1544.82	c Removed useless bin:     206  fixed:     0  props:  20.02M  time:  0.52 s
18061.81/1553.56	c lits-rem:       676  cl-subs:      218  v-elim:     31  v-fix:    0  time:  8.49 s
18134.29/1555.82	c subs with bin:        0  lits-rem:        77  v-fix:    0  time:  1.70 s
18211.17/1558.69	c lits-rem:       120  cl-subs:      660  v-elim:      0  v-fix:    0  time:  2.36 s
18238.99/1559.74	c asymm  cl-useful: 101/301/364316 lits-rem:271 time: 1.05
18245.91/1560.04	c calculated reachability. Time: 0.02
18245.91/1560.05	c  N dy   901    158497    159629    364316   8418690     43468  10845545  12060787     13.92   no data
18253.03/1560.33	c Finding binary XORs  T:     0.29 s  found:      54
18960.39/1607.50	c Finding binary XORs  T:     0.27 s  found:      15
18988.87/1609.78	c  N dy   960    168964    158946    364182   8584620     29458  10807623  11421418     13.95     14.77
19633.23/1631.87	c  N dy  1016    179931    158762    364182   8586903     40262  10807619  12192194     13.94     14.93
20445.13/1657.26	c  N dy  1091    192052    158753    364182   8588612     26822  10807608  11169116     14.04     14.85
21212.25/1681.30	c  N dy  1157    204340    158739    364182   8589943     38924  10807597  11914229     14.04     16.17
22094.50/1708.82	c  N dy  1249    217418    158533    364182   8609297     51837  10807583  12837906     14.13     14.99
23018.23/1737.76	c  N dy  1331    231415    158517    364182   8610957     39120  10807569  12036383     14.16     15.43
23583.95/1755.45	c  S st  1357    237745    158510    364182   8611718     45384  10807568  12493092     14.14   no data
23644.68/1757.37	c  S st  1357    238246    158510    364182   8611732     45870  10807568  12514940     14.14   no data
23657.47/1757.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.44
24232.81/1775.73	c Flit:   105 Blit:      8 bXBeca:    0 bXProp:    0 Bins: 273416 BRemL:   7283 BRemN:     65 P: 200.2M T: 17.91
24232.81/1775.74	c Cleaning up after failed var search:     0.00 s 
24262.22/1776.68	c Replacing       70 vars Replaced    30916 lits Time:     0.93 s 
24283.96/1777.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.02 s
24322.33/1778.56	c bin-w-bin subsume rem        18677 bins  time:  1.17 s
24562.06/1786.04	c subs with bin:     1516  lits-rem:     23983  v-fix:    0  time:  7.48 s
24731.47/1791.35	c Subs w/ non-existent bins:      7 l-rem:    232 v-fix:     0 done:  10269 time:  5.30 s
24747.46/1791.86	c Removed useless bin:     123  fixed:     0  props:  20.04M  time:  0.50 s
25003.12/1799.82	c lits-rem:       608  cl-subs:      452  v-elim:    129  v-fix:    0  time:  7.96 s
25076.65/1802.16	c subs with bin:       21  lits-rem:       167  v-fix:    0  time:  1.90 s
25176.38/1805.24	c lits-rem:       669  cl-subs:     1090  v-elim:      0  v-fix:    0  time:  2.64 s
25208.30/1806.29	c asymm  cl-useful: 95/281/362424 lits-rem:212 time: 1.05
25220.50/1806.61	c calculated reachability. Time: 0.02
25220.50/1806.62	c  N dy  1357    238246    158198    362424   8720330     44819  10735997  12721571     14.14   no data
25230.09/1806.92	c Finding binary XORs  T:     0.30 s  found:      13
25856.47/1912.28	c Finding binary XORs  T:     0.29 s  found:      17
26206.73/1937.34	c  N dy  1433    253584    158061    362416   9095473     32512  10731096  12519635     14.13     14.95
26833.80/1956.96	c Finding binary XORs  T:     0.31 s  found:       1
27379.76/1974.03	c  N dy  1531    269775    158039    362416   9015475     48528  10728095  13551847     14.21     15.33
28498.46/2009.05	c  N dy  1617    287842    158011    362416   9017538     37836  10728086  12590159     14.20     15.65
29566.44/2052.80	c Finding binary XORs  T:     0.31 s  found:       3
29953.18/2064.95	c  F st  1729    306250    157903    362407   9041818     56058  10720040  13864367     14.26   no data
29982.59/2065.84	c Replacing       34 vars Replaced   138663 lits Time:     0.89 s 
30013.93/2066.83	c  N st  1729    306250    157869    362403   9041749     56047  10720023  13864151     14.26   no data
31209.40/2104.27	c  N dy  1809    326226    157824    362403   9044485     46240  10720008  13225357     14.27     15.20
32573.01/2146.99	c  N dy  1935    346312    157715    362403   9064978     35438  10719996  12426341     14.33     15.26
33014.41/2163.92	c Finding binary XORs  T:     0.29 s  found:      13
33356.90/2243.51	c  S st  2003    357370    157559    362398   9633612     46388  10707183  14420509     14.36   no data
33377.63/2244.94	c  S st  2003    357870    157559    362398   9633620     46879  10707183  14449307     14.36   no data
33383.23/2245.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.46
33503.13/2256.27	c Flit:   164 Blit:     14 bXBeca:    0 bXProp:    1 Bins: 344459 BRemL:   5019 BRemN:     72 P: 200.1M T: 10.85
33503.13/2256.27	c Cleaning up after failed var search:     0.00 s 
33511.25/2257.24	c Replacing       14 vars Replaced     4099 lits Time:     0.95 s 
33516.26/2257.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
33524.84/2259.10	c bin-w-bin subsume rem         8580 bins  time:  1.18 s
33575.30/2265.34	c subs with bin:       18  lits-rem:      4048  v-fix:    0  time:  6.24 s
33608.47/2269.48	c Subs w/ non-existent bins:      7 l-rem:    111 v-fix:     0 done:  12065 time:  4.13 s
33612.32/2269.95	c Removed useless bin:     376  fixed:     0  props:  20.05M  time:  0.47 s
33664.47/2276.53	c lits-rem:       929  cl-subs:      319  v-elim:      5  v-fix:    0  time:  6.58 s
33679.67/2278.48	c subs with bin:       12  lits-rem:        79  v-fix:    0  time:  1.55 s
33700.07/2280.80	c lits-rem:       457  cl-subs:      646  v-elim:      0  v-fix:    0  time:  1.90 s
33705.01/2281.46	c asymm  cl-useful: 114/271/362018 lits-rem:263 time: 0.66
33707.26/2281.80	c calculated reachability. Time: 0.01
33708.07/2281.80	c  N dy  2003    357870    157361    362018   9934808     46241  10675691  15044226     14.36   no data
33710.78/2282.11	c Finding binary XORs  T:     0.31 s  found:       4
34028.02/2311.52	c Finding binary XORs  T:     0.32 s  found:       4
34923.09/2367.47	c  N dy  2114    378520    157191    362018  10671841     35028  10672503  15501624     14.38     15.21
36201.65/2407.48	c  N dy  2234    398548    157172    362018  10673631     54865  10672501  16938507     14.42     16.23
37524.93/2448.88	c  N dy  2364    418625    157150    362018  10676170     42098  10672488  16075667     14.49     18.36
38672.45/2484.78	c  N dy  2467    438726    157102    362018  10677747     62012  10672478  17549234     14.49     24.67
39549.51/2521.36	c Finding binary XORs  T:     0.33 s  found:       8
39915.95/2601.14	c  N dy  2560    458733    156927    362005  11187692     48190  10657334  17342504     14.48     15.57
41304.55/2645.12	c  N dy  2694    478786    156901    362005  11191603     68035  10657303  18771532     14.56     15.35
42608.65/2685.94	c  N dy  2803    498939    156884    362005  11193754     53380  10657292  17779798     14.59     15.43
43538.41/2715.03	c Finding binary XORs  T:     0.35 s  found:      24
43950.75/2728.02	c  N dy  2897    518948    156625    361971  11178196     37468  10638474  16498574     14.59     22.59
45040.69/2762.09	c  S st  2977    536806    156582    361971  11180054     55175  10638474  17695398     14.56     12.14
45114.80/2764.33	c  S st  2977    537307    156563    361971  11180067     55660  10638473  17718785     14.56   no data
45130.18/2764.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.51
45805.97/2786.04	c Flit:    97 Blit:     27 bXBeca:    0 bXProp:    7 Bins: 464904 BRemL:   4609 BRemN:     71 P: 200.0M T: 21.19
45805.97/2786.05	c Cleaning up after failed var search:     0.00 s 
45839.07/2787.29	c Replacing       48 vars Replaced   104819 lits Time:     1.23 s 
45861.18/2788.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
45901.96/2789.57	c bin-w-bin subsume rem        24391 bins  time:  1.55 s
46118.76/2796.98	c subs with bin:      374  lits-rem:      3716  v-fix:    0  time:  7.41 s
46332.02/2803.65	c Subs w/ non-existent bins:     17 l-rem:     49 v-fix:     0 done:  11610 time:  6.67 s
46354.39/2804.32	c Removed useless bin:     244  fixed:     0  props:  20.01M  time:  0.67 s
46603.70/2812.11	c lits-rem:       206  cl-subs:      274  v-elim:     41  v-fix:    0  time:  7.79 s
46680.34/2814.58	c subs with bin:       29  lits-rem:       340  v-fix:    0  time:  1.98 s
46779.42/2817.62	c lits-rem:       474  cl-subs:      845  v-elim:      0  v-fix:    0  time:  2.61 s
46811.38/2818.66	c asymm  cl-useful: 116/241/361318 lits-rem:259 time: 1.04
46824.18/2819.06	c calculated reachability. Time: 0.02
46824.18/2819.07	c  N dy  2977    537307    156349    361318  11591508     54642  10613721  18518206     14.56   no data
46837.55/2819.43	c Finding binary XORs  T:     0.35 s  found:       0
47487.85/2845.68	c Finding binary XORs  T:     0.34 s  found:       7
47895.38/2888.48	c  N dy  3088    557344    155706    361298  11891683     37932  10587820  17938323     14.59     17.58
48212.44/2931.11	c Finding binary XORs  T:     0.34 s  found:       5
49242.04/2965.35	c  N dy  3182    581034    155392    361295  11902577     61411  10564141  19919028     14.55     15.51
50445.60/3010.83	c Finding binary XORs  T:     0.34 s  found:       6
50844.76/3028.53	c  N dy  3303    601276    155104    361239  12026241     43865  10551903  18648011     14.58     15.35
52049.72/3066.23	c  N dy  3394    621305    155013    361239  12033672     63706  10551890  20036926     14.57     18.48
52945.40/3100.84	c Finding binary XORs  T:     0.35 s  found:       6
53329.92/3154.84	c  N dy  3524    641657    154377    361230  12481347     45259  10531460  19588223     14.61     15.42
53636.75/3173.02	c Finding binary XORs  T:     0.36 s  found:      16
54782.84/3209.09	c  N dy  3658    661702    154359    361102  12379926     65084  10505721  20829509     14.64     16.73
54962.14/3230.75	c Finding binary XORs  T:     0.36 s  found:       4
56179.45/3332.79	c  N dy  3764    681726    154228    361102  12773367     45323  10498421  20073763     14.64     15.54
57515.54/3374.55	c  N dy  3888    701957    154200    361102  12774854     65395  10498413  21637449     14.67     15.52
59021.01/3421.64	c  N dy  4007    722634    154181    361102  12776148     45272  10498400  19963622     14.69     15.53
59639.48/3455.77	c Finding binary XORs  T:     0.35 s  found:      10
60208.81/3480.40	c  N dy  4111    742883    154002    361057  12764187     65311  10485818  21400875     14.70     15.52
61560.86/3522.70	c  N dy  4222    762941    153981    361057  12765698     43612  10485810  19863896     14.72     20.51
62772.28/3560.59	c  N dy  4320    783041    153961    361057  12766794     63531  10485802  21250661     14.71     21.49
63430.50/3593.28	c Finding binary XORs  T:     0.35 s  found:       6
64083.35/3623.64	c  N dy  4429    803395    153779    361057  13001146     83705  10473314  23186547     14.72     15.52
64294.31/3630.21	c  S st  4444    805961    153771    361057  13001148     43645  10473313  20355251     14.72   no data
64355.05/3632.21	c  S st  4444    806463    153771    361057  13001157     44135  10473313  20384449     14.72   no data
64374.23/3632.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.55
65026.91/3653.18	c Flit:   117 Blit:      6 bXBeca:    0 bXProp:    4 Bins: 174742 BRemL:   5486 BRemN:     46 P: 200.1M T: 20.42
65026.91/3653.19	c Cleaning up after failed var search:     0.00 s 
65071.03/3654.56	c Replacing       64 vars Replaced   238311 lits Time:     1.36 s 
65093.42/3655.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
65179.71/3657.94	c bin-w-bin subsume rem        70619 bins  time:  2.63 s
65409.88/3665.11	c subs with bin:        8  lits-rem:      6120  v-fix:    0  time:  7.17 s
65589.42/3670.79	c Subs w/ non-existent bins:     14 l-rem:     45 v-fix:     0 done:  11176 time:  5.64 s
65611.19/3671.42	c Removed useless bin:     189  fixed:     0  props:  20.05M  time:  0.63 s
65870.75/3679.57	c lits-rem:      5618  cl-subs:     1072  v-elim:     26  v-fix:    0  time:  8.15 s
65950.03/3682.09	c subs with bin:      464  lits-rem:      2163  v-fix:    0  time:  2.17 s
66060.40/3685.84	c lits-rem:       319  cl-subs:      460  v-elim:      0  v-fix:    0  time:  3.33 s
66081.39/3686.76	c asymm  cl-useful: 132/246/359974 lits-rem:350 time: 0.92
66090.68/3687.18	c calculated reachability. Time: 0.02
66090.68/3687.19	c  N dy  4444    806463    153556    359974  12938653     43143  10422206  20253414     14.72   no data
66100.27/3687.55	c Finding binary XORs  T:     0.36 s  found:       0
66711.12/3729.96	c Finding binary XORs  T:     0.37 s  found:      11
67451.62/3753.55	c  N dy  4576    826804    153367    359972  13208540     63285  10412397  22280559     14.74     15.61
68730.17/3793.54	c  N dy  4666    846879    153360    359972  13210125     83190  10412394  23771038     14.73     21.75
70015.09/3833.76	c  N dy  4739    866892    153345    359972  13211402     59503  10412391  21851204     14.70     16.13
71405.50/3877.25	c  N dy  4844    886972    153329    359972  13212592     79430  10412384  23238900     14.70     15.65
72808.70/3921.16	c  N dy  4950    906986    153308    359972  13213855     54693  10412371  21399594     14.70     16.82
74173.52/3963.83	c  N dy  5064    927051    153289    359972  13215085     74600  10412363  23049589     14.71     20.59
74798.61/3984.38	c Finding binary XORs  T:     0.37 s  found:       8
75596.70/4040.23	c Finding binary XORs  T:     0.37 s  found:       8
75823.63/4047.35	c  N dy  5178    947123    153152    359969  13641680     48883  10399362  21786441     14.72     15.90
77022.25/4084.89	c  N dy  5306    967412    153090    359969  13664171     69036  10399356  23310133     14.75     15.64
78304.00/4124.96	c  N dy  5427    987413    153035    359969  13686437     88879  10399352  24771265     14.77     29.27
79531.45/4163.37	c  N dy  5546   1007938    152936    359969  13687759     62642  10399342  22863506     14.79     15.64
79737.61/4169.81	c Finding binary XORs  T:     0.37 s  found:      12
80770.38/4202.13	c  N dy  5659   1028408    152809    359947  13571591     82888  10381368  23975362     14.79     15.81
82052.81/4246.81	c  N dy  5759   1048662    152477    359947  13719849     55371  10381362  22290668     14.78     15.58
82064.82/4247.53	c Finding binary XORs  T:     0.37 s  found:       5
83032.38/4295.59	c Finding binary XORs  T:     0.37 s  found:       7
83785.98/4322.44	c  N dy  5878   1070207    152169    359930  14119598     76660  10353368  24803651     14.79     15.67
83897.85/4325.90	c  F st  5887   1071875    152166    359930  14120181     78312  10353368  24920519     14.79   no data
83949.63/4327.59	c Replacing       51 vars Replaced   111861 lits Time:     1.31 s 
84425.30/4342.41	c Finding binary XORs  T:     0.40 s  found:       4
85173.23/4365.91	c  N dy  5955   1091353    152090    359924  14081537     49043  10341445  22563439     14.79     15.65
85795.23/4385.51	c Finding binary XORs  T:     0.40 s  found:       0
86583.52/4410.59	c  N dy  6053   1112256    151788    359908  14177807     69797  10331047  24234937     14.78     15.60
87469.51/4438.73	c Finding binary XORs  T:     0.39 s  found:      10
87975.93/4457.70	c  N dy  6176   1132344    151668    359908  14323619     89711  10316617  25905711     14.80     15.70
88731.04/4517.78	c Finding binary XORs  T:     0.41 s  found:      11
89695.85/4563.38	c  N dy  6261   1153176    151335    359908  15024093     60771  10311194  25139685     14.79     15.66
90009.10/4573.17	c Finding binary XORs  T:     0.42 s  found:       3
91095.85/4607.12	c  N dy  6354   1173275    151319    359875  14939241     80701  10297993  26562413     14.78     15.64
92489.54/4650.75	c  N dy  6472   1193309    151309    359875  14940316    100577  10297989  28033841     14.80     20.94
93604.66/4685.88	c  S st  6570   1209695    151271    359875  15031061     66300  10297983  25549357     14.81   no data
93668.60/4687.85	c  S st  6570   1210196    151270    359875  15031068     66792  10297983  25572741     14.81   no data
93687.77/4688.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.62
94400.40/4710.72	c Flit:    31 Blit:     10 bXBeca:    0 bXProp:    5 Bins:  58961 BRemL:   7519 BRemN:     45 P: 200.0M T: 22.24
94441.96/4712.04	c Replacing       33 vars Replaced    29410 lits Time:     1.30 s 
94467.52/4712.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
94541.04/4715.11	c bin-w-bin subsume rem        51440 bins  time:  2.27 s
94780.75/4722.69	c subs with bin:      134  lits-rem:      8048  v-fix:    0  time:  7.57 s
94937.38/4727.59	c Subs w/ non-existent bins:     83 l-rem:    435 v-fix:     0 done:   6853 time:  4.89 s
94962.95/4728.33	c Removed useless bin:     309  fixed:     0  props:  20.03M  time:  0.73 s
95232.07/4736.76	c lits-rem:       733  cl-subs:      592  v-elim:      9  v-fix:    0  time:  8.43 s
95308.16/4739.15	c subs with bin:       44  lits-rem:        71  v-fix:    0  time:  1.85 s
95397.69/4741.91	c lits-rem:        35  cl-subs:      879  v-elim:      0  v-fix:    0  time:  2.33 s
95429.66/4742.94	c asymm  cl-useful: 168/226/359037 lits-rem:613 time: 1.03
95445.62/4743.45	c calculated reachability. Time: 0.02
95445.62/4743.46	c  N dy  6570   1210196    151186    359037  14955590     65911  10269621  25410294     14.81   no data
95458.42/4743.88	c Finding binary XORs  T:     0.42 s  found:       3
96839.55/4787.20	c  N dy  6668   1230498    151160    359037  14958277     86070  10269615  26795557     14.80     15.97
98153.39/4857.83	c Finding binary XORs  T:     0.38 s  found:       3
98196.26/4861.38	c  N dy  6760   1250628    151051    359037  14894665     54469  10262118  24441207     14.80     15.68
99514.41/4903.36	c  N dy  6860   1270688    150933    359037  14896233     74405  10262106  26049580     14.80     30.62
101061.04/4951.74	c  N dy  6947   1292196    150920    359037  14897226     95730  10262102  27657595     14.80     15.65
101101.62/4953.09	c Finding binary XORs  T:     0.41 s  found:       3
102637.05/5009.42	c Finding binary XORs  T:     0.41 s  found:       2
102685.00/5010.80	c  N dy  7060   1312380    150752    359008  15009222     63165  10247100  25208274     14.80     15.64
104097.82/5055.02	c  N dy  7161   1332690    150743    359008  15010197     83303  10247089  26591517     14.80     15.77

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3400906-1307130300/watcher-3400906-1307130300 -o /tmp/evaluation-result-3400906-1307130300/solver-3400906-1307130300 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400906-1307130300.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): 267264000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 267315200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 21.82 29.37 25.63 1/413 17493
/proc/meminfo: memFree=262704432/264257624 swapFree=67054988/67111528
[pid=17493] ppid=17491 vsize=338000 CPUtime=0.87 cores=0-31
/proc/17493/stat : 17493 (strangenight2-m) R 17491 17493 17467 0 -1 4202496 439 0 0 0 87 0 0 0 22 0 32 0 18942749 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205420 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/17493/statm: 84500 378 297 95 0 79482 0
[pid=17493/tid=17494] ppid=17491 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17493/task/17494/stat : 17494 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17493/tid=17495] ppid=17491 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17493/task/17495/stat : 17495 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17493/tid=17496] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17496/stat : 17496 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205420 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17493/tid=17497] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17497/stat : 17497 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17493/tid=17498] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17498/stat : 17498 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17493/tid=17499] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17499/stat : 17499 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205420 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17493/tid=17500] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17500/stat : 17500 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 19 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205424 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17493/tid=17501] ppid=17491 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17493/task/17501/stat : 17501 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17493/tid=17502] ppid=17491 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17493/task/17502/stat : 17502 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17493/tid=17503] ppid=17491 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17493/task/17503/stat : 17503 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17493/tid=17504] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17504/stat : 17504 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 20 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17493/tid=17505] ppid=17491 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17493/task/17505/stat : 17505 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17493/tid=17506] ppid=17491 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17493/task/17506/stat : 17506 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205430 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17493/tid=17507] ppid=17491 vsize=338000 CPUtime=0.03 cores=0-31
/proc/17493/task/17507/stat : 17507 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 3 0 0 0 20 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=17493/tid=17508] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17508/stat : 17508 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17493/tid=17509] ppid=17491 vsize=338000 CPUtime=0 cores=0-31
/proc/17493/task/17509/stat : 17509 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17493/tid=17510] ppid=17491 vsize=338000 CPUtime=0.01 cores=0-31
/proc/17493/task/17510/stat : 17510 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 1 0 0 0 21 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17493/tid=17511] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17511/stat : 17511 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205420 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17493/tid=17512] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17512/stat : 17512 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=17493/tid=17513] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17513/stat : 17513 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17493/tid=17514] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17514/stat : 17514 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205420 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17493/tid=17515] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17515/stat : 17515 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17493/tid=17516] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17516/stat : 17516 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205420 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17493/tid=17517] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17517/stat : 17517 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17493/tid=17518] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17518/stat : 17518 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17493/tid=17519] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17519/stat : 17519 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205424 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17493/tid=17520] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17520/stat : 17520 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205420 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17493/tid=17521] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17521/stat : 17521 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17493/tid=17522] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17522/stat : 17522 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17493/tid=17523] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17523/stat : 17523 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205420 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17493/tid=17524] ppid=17491 vsize=338000 CPUtime=0.02 cores=0-31
/proc/17493/task/17524/stat : 17524 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 0 0 0 0 2 0 0 0 23 0 32 0 18942750 346112000 378 268435456000 4194304 4580107 140736518161584 18446744073709551615 47022061205426 0 0 4096 2 0 0 0 -1 26 0 0 0

[startup+0.122761 s]
/proc/loadavg: 21.82 29.37 25.63 1/413 17493
/proc/meminfo: memFree=262704432/264257624 swapFree=67054988/67111528
[pid=17493] ppid=17491 vsize=1258636 CPUtime=2.46 cores=0-31
/proc/17493/stat : 17493 (strangenight2-m) S 17491 17493 17467 0 -1 4202496 11529 0 0 0 141 105 0 0 17 0 32 0 18942749 1288843264 11365 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/17493/statm: 314659 11373 334 95 0 309641 0
[pid=17493/tid=17494] ppid=17491 vsize=1258636 CPUtime=0.07 cores=0-31
/proc/17493/task/17494/stat : 17494 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 307 0 0 0 4 3 0 0 17 0 32 0 18942750 1288843264 11375 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604454439583200 0 0 -1 1 0 0 0
[pid=17493/tid=17495] ppid=17491 vsize=1258636 CPUtime=0.07 cores=0-31
/proc/17493/task/17495/stat : 17495 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 409 0 0 0 4 3 0 0 17 0 32 0 18942750 1288843264 11384 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17493/tid=17496] ppid=17491 vsize=1258636 CPUtime=0.07 cores=0-31
/proc/17493/task/17496/stat : 17496 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 329 0 0 0 4 3 0 0 17 0 32 0 18942750 1288843264 11387 268435456000 4194304 4580107 140736518161584 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17493/tid=17497] ppid=17491 vsize=1258636 CPUtime=0.06 cores=0-31
/proc/17493/task/17497/stat : 17497 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 347 0 0 0 4 2 0 0 17 0 32 0 18942750 1288843264 11391 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604482306039264 0 0 -1 20 0 0 0
[pid=17493/tid=17498] ppid=17491 vsize=1258636 CPUtime=0.07 cores=0-31
/proc/17493/task/17498/stat : 17498 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 372 0 0 0 4 3 0 0 17 0 32 0 18942750 1288843264 11400 268435456000 4194304 4580107 140736518161584 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17493/tid=17499] ppid=17491 vsize=1258636 CPUtime=0.08 cores=0-31
/proc/17493/task/17499/stat : 17499 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 453 0 0 0 5 3 0 0 17 0 32 0 18942750 1288843264 11415 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446744071566933904 0 0 -1 12 0 0 0
[pid=17493/tid=17500] ppid=17491 vsize=1258636 CPUtime=0.07 cores=0-31
/proc/17493/task/17500/stat : 17500 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 348 0 0 0 4 3 0 0 17 0 32 0 18942750 1288843264 11480 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604504222825952 0 0 -1 28 0 0 0
[pid=17493/tid=17501] ppid=17491 vsize=1258636 CPUtime=0.07 cores=0-31
/proc/17493/task/17501/stat : 17501 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 306 0 0 0 4 3 0 0 17 0 32 0 18942750 1288843264 11482 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17493/tid=17502] ppid=17491 vsize=1258636 CPUtime=0.07 cores=0-31
/proc/17493/task/17502/stat : 17502 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 378 0 0 0 4 3 0 0 17 0 32 0 18942750 1288843264 11489 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604504224808416 0 0 -1 6 0 0 0
[pid=17493/tid=17503] ppid=17491 vsize=1258768 CPUtime=0.09 cores=0-31
/proc/17493/task/17503/stat : 17503 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 364 0 0 0 5 4 0 0 17 0 32 0 18942750 1288978432 11501 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17493/tid=17504] ppid=17491 vsize=1258768 CPUtime=0.07 cores=0-31
/proc/17493/task/17504/stat : 17504 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 308 0 0 0 4 3 0 0 17 0 32 0 18942750 1288978432 11537 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17493/tid=17505] ppid=17491 vsize=1258768 CPUtime=0.07 cores=0-31
/proc/17493/task/17505/stat : 17505 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 329 0 0 0 4 3 0 0 17 0 32 0 18942750 1288978432 11550 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604566202416608 0 0 -1 10 0 0 0
[pid=17493/tid=17506] ppid=17491 vsize=1258768 CPUtime=0.07 cores=0-31
/proc/17493/task/17506/stat : 17506 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 310 0 0 0 4 3 0 0 17 0 32 0 18942750 1288978432 11579 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604482306039264 0 0 -1 7 0 0 0
[pid=17493/tid=17507] ppid=17491 vsize=1258944 CPUtime=0.07 cores=0-31
/proc/17493/task/17507/stat : 17507 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 324 0 0 0 4 3 0 0 17 0 32 0 18942750 1289158656 11583 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604504224734688 0 0 -1 13 0 0 0
[pid=17493/tid=17508] ppid=17491 vsize=1258944 CPUtime=0.07 cores=0-31
/proc/17493/task/17508/stat : 17508 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 352 0 0 0 4 3 0 0 17 0 32 0 18942750 1289158656 11603 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604504224759264 0 0 -1 8 0 0 0
[pid=17493/tid=17509] ppid=17491 vsize=1258944 CPUtime=0.03 cores=0-31
/proc/17493/task/17509/stat : 17509 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 357 0 0 0 0 3 0 0 17 0 32 0 18942750 1289158656 11635 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446744071566925904 0 0 -1 31 0 0 0
[pid=17493/tid=17510] ppid=17491 vsize=1258944 CPUtime=0.05 cores=0-31
/proc/17493/task/17510/stat : 17510 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 294 0 0 0 3 2 0 0 17 0 32 0 18942750 1289158656 11643 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17493/tid=17511] ppid=17491 vsize=1258944 CPUtime=0.06 cores=0-31
/proc/17493/task/17511/stat : 17511 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 312 0 0 0 3 3 0 0 17 0 32 0 18942750 1289158656 11667 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446744071566925464 0 0 -1 23 0 0 0
[pid=17493/tid=17512] ppid=17491 vsize=1258944 CPUtime=0.07 cores=0-31
/proc/17493/task/17512/stat : 17512 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 422 0 0 0 4 3 0 0 17 0 32 0 18942750 1289158656 11693 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446744071566925904 0 0 -1 30 0 0 0
[pid=17493/tid=17513] ppid=17491 vsize=1258944 CPUtime=0.07 cores=0-31
/proc/17493/task/17513/stat : 17513 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 338 0 0 0 4 3 0 0 17 0 32 0 18942750 1289158656 11700 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17493/tid=17514] ppid=17491 vsize=1258944 CPUtime=0.07 cores=0-31
/proc/17493/task/17514/stat : 17514 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 364 0 0 0 4 3 0 0 17 0 32 0 18942750 1289158656 11706 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17493/tid=17515] ppid=17491 vsize=1258944 CPUtime=0.08 cores=0-31
/proc/17493/task/17515/stat : 17515 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 446 0 0 0 4 4 0 0 17 0 32 0 18942750 1289158656 11707 268435456000 4194304 4580107 140736518161584 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17493/tid=17516] ppid=17491 vsize=1258944 CPUtime=0.07 cores=0-31
/proc/17493/task/17516/stat : 17516 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 311 0 0 0 4 3 0 0 17 0 32 0 18942750 1289158656 11711 268435456000 4194304 4580107 140736518161584 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17493/tid=17517] ppid=17491 vsize=1258944 CPUtime=0.07 cores=0-31
/proc/17493/task/17517/stat : 17517 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 335 0 0 0 4 3 0 0 17 0 32 0 18942750 1289158656 11727 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604504224808416 0 0 -1 17 0 0 0
[pid=17493/tid=17518] ppid=17491 vsize=1258944 CPUtime=0.06 cores=0-31
/proc/17493/task/17518/stat : 17518 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 365 0 0 0 4 2 0 0 17 0 32 0 18942750 1289158656 11745 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17493/tid=17519] ppid=17491 vsize=1258944 CPUtime=0.07 cores=0-31
/proc/17493/task/17519/stat : 17519 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 343 0 0 0 4 3 0 0 17 0 32 0 18942750 1289158656 11745 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604504222809568 0 0 -1 15 0 0 0
[pid=17493/tid=17520] ppid=17491 vsize=1258944 CPUtime=0.07 cores=0-31
/proc/17493/task/17520/stat : 17520 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 317 0 0 0 4 3 0 0 17 0 32 0 18942750 1289158656 11759 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604504224808416 0 0 -1 21 0 0 0
[pid=17493/tid=17521] ppid=17491 vsize=1258944 CPUtime=0.07 cores=0-31
/proc/17493/task/17521/stat : 17521 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 391 0 0 0 4 3 0 0 17 0 32 0 18942750 1289158656 11768 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446744071566933904 0 0 -1 22 0 0 0
[pid=17493/tid=17522] ppid=17491 vsize=1258944 CPUtime=0.07 cores=0-31
/proc/17493/task/17522/stat : 17522 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 363 0 0 0 4 3 0 0 17 0 32 0 18942750 1289158656 11773 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604499453795808 0 0 -1 19 0 0 0
[pid=17493/tid=17523] ppid=17491 vsize=1258944 CPUtime=0.07 cores=0-31
/proc/17493/task/17523/stat : 17523 (strangenight2-m) D 17491 17493 17467 0 -1 4202560 341 0 0 0 4 3 0 0 17 0 32 0 18942750 1289158656 11782 268435456000 4194304 4580107 140736518161584 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17493/tid=17524] ppid=17491 vsize=1258944 CPUtime=0.07 cores=0-31
/proc/17493/task/17524/stat : 17524 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 398 0 0 0 4 3 0 0 17 0 32 0 18942750 1289158656 11802 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604504222801376 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 1258636

[startup+0.207546 s]
/proc/loadavg: 21.82 29.37 25.63 1/413 17493
/proc/meminfo: memFree=262704432/264257624 swapFree=67054988/67111528
[pid=17493] ppid=17491 vsize=1269992 CPUtime=4.14 cores=0-31
/proc/17493/stat : 17493 (strangenight2-m) R 17491 17493 17467 0 -1 4202496 19943 0 0 0 192 222 0 0 17 0 32 0 18942749 1300471808 19112 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 24 0 0 0
/proc/17493/statm: 317546 19131 334 95 0 312528 0
[pid=17493/tid=17494] ppid=17491 vsize=1270184 CPUtime=0.12 cores=0-31
/proc/17493/task/17494/stat : 17494 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 566 0 0 0 6 6 0 0 17 0 32 0 18942750 1300668416 19150 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604482306039264 0 0 -1 1 0 0 0
[pid=17493/tid=17495] ppid=17491 vsize=1270184 CPUtime=0.14 cores=0-31
/proc/17493/task/17495/stat : 17495 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 647 0 0 0 6 8 0 0 17 0 32 0 18942750 1300668416 19159 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17493/tid=17496] ppid=17491 vsize=1270184 CPUtime=0.12 cores=0-31
/proc/17493/task/17496/stat : 17496 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 598 0 0 0 6 6 0 0 17 0 32 0 18942750 1300668416 19170 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446744071566924704 0 0 -1 4 0 0 0
[pid=17493/tid=17497] ppid=17491 vsize=1270184 CPUtime=0.11 cores=0-31
/proc/17493/task/17497/stat : 17497 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 670 0 0 0 5 6 0 0 17 0 32 0 18942750 1300668416 19173 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17493/tid=17498] ppid=17491 vsize=1270444 CPUtime=0.12 cores=0-31
/proc/17493/task/17498/stat : 17498 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 694 0 0 0 5 7 0 0 17 0 32 0 18942750 1300934656 19333 268435456000 4194304 4580107 140736518161584 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17493/tid=17499] ppid=17491 vsize=1270444 CPUtime=0.12 cores=0-31
/proc/17493/task/17499/stat : 17499 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 849 0 0 0 7 5 0 0 17 0 32 0 18942750 1300934656 19385 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17493/tid=17500] ppid=17491 vsize=1270444 CPUtime=0.12 cores=0-31
/proc/17493/task/17500/stat : 17500 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 625 0 0 0 6 6 0 0 17 0 32 0 18942750 1300934656 19387 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17493/tid=17501] ppid=17491 vsize=1270960 CPUtime=0.13 cores=0-31
/proc/17493/task/17501/stat : 17501 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 532 0 0 0 6 7 0 0 17 0 32 0 18942750 1301463040 19474 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17493/tid=17502] ppid=17491 vsize=1270700 CPUtime=0.12 cores=0-31
/proc/17493/task/17502/stat : 17502 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 660 0 0 0 5 7 0 0 17 0 32 0 18942750 1301196800 19433 268435456000 4194304 4580107 140736518161584 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17493/tid=17503] ppid=17491 vsize=1270700 CPUtime=0.14 cores=0-31
/proc/17493/task/17503/stat : 17503 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 636 0 0 0 7 7 0 0 17 0 32 0 18942750 1301196800 19492 268435456000 4194304 4580107 140736518161584 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17493/tid=17504] ppid=17491 vsize=1270700 CPUtime=0.12 cores=0-31
/proc/17493/task/17504/stat : 17504 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 528 0 0 0 6 6 0 0 17 0 32 0 18942750 1301196800 19532 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17493/tid=17505] ppid=17491 vsize=1270700 CPUtime=0.12 cores=0-31
/proc/17493/task/17505/stat : 17505 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 593 0 0 0 6 6 0 0 17 0 32 0 18942750 1301196800 19548 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604504222825952 0 0 -1 10 0 0 0
[pid=17493/tid=17506] ppid=17491 vsize=1270700 CPUtime=0.12 cores=0-31
/proc/17493/task/17506/stat : 17506 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 523 0 0 0 5 7 0 0 17 0 32 0 18942750 1301196800 19591 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604504804482528 0 0 -1 7 0 0 0
[pid=17493/tid=17507] ppid=17491 vsize=1270700 CPUtime=0.12 cores=0-31
/proc/17493/task/17507/stat : 17507 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 569 0 0 0 5 7 0 0 17 0 32 0 18942750 1301196800 19626 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604482306039264 0 0 -1 13 0 0 0
[pid=17493/tid=17508] ppid=17491 vsize=1270700 CPUtime=0.12 cores=0-31
/proc/17493/task/17508/stat : 17508 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 697 0 0 0 6 6 0 0 17 0 32 0 18942750 1301196800 19631 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604499453787616 0 0 -1 8 0 0 0
[pid=17493/tid=17509] ppid=17491 vsize=1270700 CPUtime=0.09 cores=0-31
/proc/17493/task/17509/stat : 17509 (strangenight2-m) S 17491 17493 17467 0 -1 4202560 601 0 0 0 2 7 0 0 17 0 32 0 18942750 1301196800 19646 268435456000 4194304 4580107 140736518161584 18446744073709551615 258651060958 0 0 4096 2 18446604503955357152 0 0 -1 31 0 0 0
[pid=17493/tid=17510] ppid=17491 vsize=1270700 CPUtime=0.11 cores=0-31

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

/proc/17493/task/17497/stat : 17497 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 495673 0 0 0 327623 650 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17493/tid=17498] ppid=17491 vsize=28685864 CPUtime=3287.79 cores=0-31
/proc/17493/task/17498/stat : 17498 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 524717 0 0 0 328010 769 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17493/tid=17499] ppid=17491 vsize=28685864 CPUtime=3303.56 cores=0-31
/proc/17493/task/17499/stat : 17499 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 530249 0 0 0 329664 692 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17493/tid=17500] ppid=17491 vsize=28685864 CPUtime=3300.99 cores=0-31
/proc/17493/task/17500/stat : 17500 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 520009 0 0 0 329414 685 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17493/tid=17501] ppid=17491 vsize=28685864 CPUtime=3241.6 cores=0-31
/proc/17493/task/17501/stat : 17501 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 525463 0 0 0 323401 759 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=17493/tid=17502] ppid=17491 vsize=28685864 CPUtime=3236.65 cores=0-31
/proc/17493/task/17502/stat : 17502 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 506865 0 0 0 322934 731 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17493/tid=17503] ppid=17491 vsize=28685864 CPUtime=3228.02 cores=0-31
/proc/17493/task/17503/stat : 17503 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 528907 0 0 0 322054 748 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17493/tid=17504] ppid=17491 vsize=28685864 CPUtime=3354.1 cores=0-31
/proc/17493/task/17504/stat : 17504 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 525742 0 0 0 334717 693 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=17493/tid=17505] ppid=17491 vsize=28685864 CPUtime=3286.91 cores=0-31
/proc/17493/task/17505/stat : 17505 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 511543 0 0 0 327946 745 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17493/tid=17506] ppid=17491 vsize=28685864 CPUtime=3269.88 cores=0-31
/proc/17493/task/17506/stat : 17506 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 511660 0 0 0 326240 748 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=17493/tid=17507] ppid=17491 vsize=28685864 CPUtime=3305.49 cores=0-31
/proc/17493/task/17507/stat : 17507 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 536071 0 0 0 329739 810 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17493/tid=17508] ppid=17491 vsize=28685864 CPUtime=3257.73 cores=0-31
/proc/17493/task/17508/stat : 17508 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 496209 0 0 0 325096 677 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4320708 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17493/tid=17509] ppid=17491 vsize=28685864 CPUtime=3268.69 cores=0-31
/proc/17493/task/17509/stat : 17509 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 503607 0 0 0 326104 765 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17493/tid=17510] ppid=17491 vsize=28685864 CPUtime=3263.15 cores=0-31
/proc/17493/task/17510/stat : 17510 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 497374 0 0 0 325512 803 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17493/tid=17511] ppid=17491 vsize=28685864 CPUtime=3289.33 cores=0-31
/proc/17493/task/17511/stat : 17511 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 498680 0 0 0 328168 765 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17493/tid=17512] ppid=17491 vsize=28685864 CPUtime=3273.72 cores=0-31
/proc/17493/task/17512/stat : 17512 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 513191 0 0 0 326606 766 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17493/tid=17513] ppid=17491 vsize=28685864 CPUtime=3278.41 cores=0-31
/proc/17493/task/17513/stat : 17513 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 495496 0 0 0 327085 756 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17493/tid=17514] ppid=17491 vsize=28685864 CPUtime=3261.57 cores=0-31
/proc/17493/task/17514/stat : 17514 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 521627 0 0 0 325432 725 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17493/tid=17515] ppid=17491 vsize=28685864 CPUtime=3308.39 cores=0-31
/proc/17493/task/17515/stat : 17515 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 506312 0 0 0 330057 782 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4306352 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17493/tid=17516] ppid=17491 vsize=28685864 CPUtime=3303.07 cores=0-31
/proc/17493/task/17516/stat : 17516 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 505031 0 0 0 329537 770 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17493/tid=17517] ppid=17491 vsize=28685864 CPUtime=3302.55 cores=0-31
/proc/17493/task/17517/stat : 17517 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 504823 0 0 0 329551 704 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17493/tid=17518] ppid=17491 vsize=28685864 CPUtime=3253.54 cores=0-31
/proc/17493/task/17518/stat : 17518 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 494213 0 0 0 324596 758 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17493/tid=17519] ppid=17491 vsize=28685864 CPUtime=3279.22 cores=0-31
/proc/17493/task/17519/stat : 17519 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 496585 0 0 0 327159 763 0 0 22 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17493/tid=17520] ppid=17491 vsize=28685864 CPUtime=3258.77 cores=0-31
/proc/17493/task/17520/stat : 17520 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 526247 0 0 0 325147 730 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4306048 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17493/tid=17521] ppid=17491 vsize=28685864 CPUtime=3310.2 cores=0-31
/proc/17493/task/17521/stat : 17521 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 535365 0 0 0 330196 824 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17493/tid=17522] ppid=17491 vsize=28685864 CPUtime=3281 cores=0-31
/proc/17493/task/17522/stat : 17522 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 527625 0 0 0 327353 747 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17493/tid=17523] ppid=17491 vsize=28685864 CPUtime=3268.82 cores=0-31
/proc/17493/task/17523/stat : 17523 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 499203 0 0 0 326187 695 0 0 25 0 32 0 18942750 29374324736 6177300 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17493/tid=17524] ppid=17491 vsize=28685864 CPUtime=3304.42 cores=0-31
/proc/17493/task/17524/stat : 17524 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 854801 0 0 0 329625 817 0 0 25 0 32 0 18942750 29374324736 6177301 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294248 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 104970
Current children cumulated vsize (KiB) 28685864



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+5100 s]
/proc/loadavg: 31.26 28.78 26.85 33/445 17682
/proc/meminfo: memFree=237857664/264257624 swapFree=67054988/67111528
[pid=17493] ppid=17491 vsize=29207808 CPUtime=105537 cores=0-31
/proc/17493/stat : 17493 (strangenight2-m) R 17491 17493 17467 0 -1 4202496 16894007 0 0 0 10529781 23900 0 0 25 0 32 0 18942749 29908795392 6199787 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 13 0 0 0
/proc/17493/statm: 7301952 6199787 378 95 0 7296934 0
[pid=17493/tid=17494] ppid=17491 vsize=29207808 CPUtime=3289.56 cores=0-31
/proc/17493/task/17494/stat : 17494 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 535219 0 0 0 328204 752 0 0 25 0 32 0 18942750 29908795392 6199788 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=17493/tid=17495] ppid=17491 vsize=29207808 CPUtime=3285.87 cores=0-31
/proc/17493/task/17495/stat : 17495 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 525926 0 0 0 327809 778 0 0 25 0 32 0 18942750 29908795392 6199788 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=17493/tid=17496] ppid=17491 vsize=29207808 CPUtime=3301.83 cores=0-31
/proc/17493/task/17496/stat : 17496 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 530778 0 0 0 329491 692 0 0 25 0 32 0 18942750 29908795392 6199788 268435456000 4194304 4580107 140736518161584 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17493/tid=17497] ppid=17491 vsize=29207808 CPUtime=3300.45 cores=0-31
/proc/17493/task/17497/stat : 17497 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 496360 0 0 0 329395 650 0 0 25 0 32 0 18942750 29908795392 6199788 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=17493/tid=17498] ppid=17491 vsize=29207808 CPUtime=3305.51 cores=0-31
/proc/17493/task/17498/stat : 17498 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 525366 0 0 0 329781 770 0 0 25 0 32 0 18942750 29908795392 6199788 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=17493/tid=17499] ppid=17491 vsize=29207808 CPUtime=3321.27 cores=0-31
/proc/17493/task/17499/stat : 17499 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 530944 0 0 0 331434 693 0 0 25 0 32 0 18942750 29908795392 6199788 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=17493/tid=17500] ppid=17491 vsize=29207808 CPUtime=3318.71 cores=0-31
/proc/17493/task/17500/stat : 17500 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 520718 0 0 0 331184 687 0 0 25 0 32 0 18942750 29908795392 6199788 268435456000 4194304 4580107 140736518161584 18446744073709551615 4318491 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=17493/tid=17501] ppid=17491 vsize=29207808 CPUtime=3259.32 cores=0-31
/proc/17493/task/17501/stat : 17501 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 532563 0 0 0 325171 761 0 0 25 0 32 0 18942750 29908795392 6199788 268435456000 4194304 4580107 140736518161584 18446744073709551615 4484464 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=17493/tid=17502] ppid=17491 vsize=29207808 CPUtime=3254.37 cores=0-31
/proc/17493/task/17502/stat : 17502 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 507567 0 0 0 324705 732 0 0 25 0 32 0 18942750 29908795392 6199788 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=17493/tid=17503] ppid=17491 vsize=29207808 CPUtime=3245.74 cores=0-31
/proc/17493/task/17503/stat : 17503 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 529512 0 0 0 323825 749 0 0 25 0 32 0 18942750 29908795392 6199788 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293308 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17493/tid=17504] ppid=17491 vsize=29207808 CPUtime=3371.83 cores=0-31
/proc/17493/task/17504/stat : 17504 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 526369 0 0 0 336489 694 0 0 25 0 32 0 18942750 29908795392 6199788 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=17493/tid=17505] ppid=17491 vsize=29207808 CPUtime=3304.63 cores=0-31
/proc/17493/task/17505/stat : 17505 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 512222 0 0 0 329718 745 0 0 25 0 32 0 18942750 29908795392 6199789 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=17493/tid=17506] ppid=17491 vsize=29207808 CPUtime=3287.6 cores=0-31
/proc/17493/task/17506/stat : 17506 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 512256 0 0 0 328012 748 0 0 25 0 32 0 18942750 29908795392 6199789 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=17493/tid=17507] ppid=17491 vsize=29207808 CPUtime=3323.21 cores=0-31
/proc/17493/task/17507/stat : 17507 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 536715 0 0 0 331510 811 0 0 25 0 32 0 18942750 29908795392 6199789 268435456000 4194304 4580107 140736518161584 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17493/tid=17508] ppid=17491 vsize=29207808 CPUtime=3275.45 cores=0-31
/proc/17493/task/17508/stat : 17508 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 503221 0 0 0 326866 679 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=17493/tid=17509] ppid=17491 vsize=29207808 CPUtime=3286.4 cores=0-31
/proc/17493/task/17509/stat : 17509 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 504216 0 0 0 327875 765 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294163 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=17493/tid=17510] ppid=17491 vsize=29207808 CPUtime=3280.87 cores=0-31
/proc/17493/task/17510/stat : 17510 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 498043 0 0 0 327283 804 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=17493/tid=17511] ppid=17491 vsize=29207808 CPUtime=3307.06 cores=0-31
/proc/17493/task/17511/stat : 17511 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 499208 0 0 0 329940 766 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=17493/tid=17512] ppid=17491 vsize=29207808 CPUtime=3291.45 cores=0-31
/proc/17493/task/17512/stat : 17512 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 520009 0 0 0 328377 768 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4484453 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17493/tid=17513] ppid=17491 vsize=29207808 CPUtime=3296.13 cores=0-31
/proc/17493/task/17513/stat : 17513 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 502518 0 0 0 328855 758 0 0 18 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=17493/tid=17514] ppid=17491 vsize=29207808 CPUtime=3279.28 cores=0-31
/proc/17493/task/17514/stat : 17514 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 522285 0 0 0 327203 725 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=17493/tid=17515] ppid=17491 vsize=29207808 CPUtime=3326.1 cores=0-31
/proc/17493/task/17515/stat : 17515 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 507139 0 0 0 331828 782 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=17493/tid=17516] ppid=17491 vsize=29207808 CPUtime=3320.78 cores=0-31
/proc/17493/task/17516/stat : 17516 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 505720 0 0 0 331308 770 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=17493/tid=17517] ppid=17491 vsize=29207808 CPUtime=3320.26 cores=0-31
/proc/17493/task/17517/stat : 17517 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 505560 0 0 0 331322 704 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=17493/tid=17518] ppid=17491 vsize=29207808 CPUtime=3271.25 cores=0-31
/proc/17493/task/17518/stat : 17518 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 494856 0 0 0 326367 758 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=17493/tid=17519] ppid=17491 vsize=29207808 CPUtime=3296.94 cores=0-31
/proc/17493/task/17519/stat : 17519 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 497185 0 0 0 328930 764 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=17493/tid=17520] ppid=17491 vsize=29207808 CPUtime=3276.49 cores=0-31
/proc/17493/task/17520/stat : 17520 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 526918 0 0 0 326918 731 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17493/tid=17521] ppid=17491 vsize=29207808 CPUtime=3327.92 cores=0-31
/proc/17493/task/17521/stat : 17521 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 535938 0 0 0 331967 825 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17493/tid=17522] ppid=17491 vsize=29207808 CPUtime=3298.71 cores=0-31
/proc/17493/task/17522/stat : 17522 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 528344 0 0 0 329124 747 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17493/tid=17523] ppid=17491 vsize=29207808 CPUtime=3286.54 cores=0-31
/proc/17493/task/17523/stat : 17523 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 499881 0 0 0 327958 696 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4316644 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=17493/tid=17524] ppid=17491 vsize=29207808 CPUtime=3322.14 cores=0-31
/proc/17493/task/17524/stat : 17524 (strangenight2-m) R 17491 17493 17467 0 -1 4202560 856037 0 0 0 331396 818 0 0 25 0 32 0 18942750 29908795392 6199790 268435456000 4194304 4580107 140736518161584 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 105537
Current children cumulated vsize (KiB) 29207808

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+5100.7 s]
/proc/loadavg: 31.26 28.78 26.85 2/416 17683
/proc/meminfo: memFree=246786640/264257624 swapFree=67054988/67111528
[pid=17493] ppid=17491 vsize=0 CPUtime=105538 cores=0-31
/proc/17493/stat : 17493 (strangenight2-m) Z 17491 17493 17467 0 -1 4203548 16894018 0 0 0 10529803 23971 0 0 25 0 2 0 18942749 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 13 0 0 0
/proc/17493/statm: 0 0 0 0 0 0 0
[pid=17493/tid=17522] ppid=17491 vsize=0 CPUtime=3299.42 cores=0-31
/proc/17493/task/17522/stat : 17522 (strangenight2-m) R 17491 17493 17467 0 -1 4203588 528344 0 0 0 329124 818 0 0 25 0 2 0 18942750 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 105538
Current children cumulated vsize (KiB) 0

[startup+5101.5 s]
/proc/loadavg: 31.26 28.78 26.85 2/416 17683
/proc/meminfo: memFree=246786640/264257624 swapFree=67054988/67111528
[pid=17493] ppid=17491 vsize=0 CPUtime=105538 cores=0-31
/proc/17493/stat : 17493 (strangenight2-m) Z 17491 17493 17467 0 -1 4203548 16894018 0 0 0 10529803 24047 0 0 25 0 2 0 18942749 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 13 0 0 0
/proc/17493/statm: 0 0 0 0 0 0 0
[pid=17493/tid=17522] ppid=17491 vsize=0 CPUtime=3300.18 cores=0-31
/proc/17493/task/17522/stat : 17522 (strangenight2-m) R 17491 17493 17467 0 -1 4203588 528344 0 0 0 329124 894 0 0 25 0 2 0 18942750 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 105538
Current children cumulated vsize (KiB) 0

[startup+5101.94 s]
/proc/loadavg: 28.84 28.32 26.71 2/416 17683
/proc/meminfo: memFree=260544688/264257624 swapFree=67054988/67111528
[pid=17493] ppid=17491 vsize=0 CPUtime=105539 cores=0-31
/proc/17493/stat : 17493 (strangenight2-m) Z 17491 17493 17467 0 -1 4203548 16894018 0 0 0 10529803 24091 0 0 25 0 2 0 18942749 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 13 0 0 0
/proc/17493/statm: 0 0 0 0 0 0 0
[pid=17493/tid=17522] ppid=17491 vsize=0 CPUtime=3300.62 cores=0-31
/proc/17493/task/17522/stat : 17522 (strangenight2-m) R 17491 17493 17467 0 -1 4203588 528344 0 0 0 329124 938 0 0 25 0 2 0 18942750 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 105539
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5102
CPU time (s): 105539
CPU user time (s): 105298
CPU system time (s): 240.972
CPU usage (%): 2068.58
Max. virtual memory (cumulated for all children) (KiB): 29571204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 105298
system time used= 240.972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16894018
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= 7690471
involuntary context switches= 257535

runsolver used 31.0273 second user time and 117.814 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-03 21:45:04
IDJOB=3400906
IDBENCH=88165
IDSOLVER=1886
FILE ID=node200/3400906-1307130300
RUNJOBID= node200-1307130300-17481
PBS_JOBID= 13498418
Free space on /tmp= 61652 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/2dlx_ca_bp_f_liveness.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400906-1307130300/watcher-3400906-1307130300 -o /tmp/evaluation-result-3400906-1307130300/solver-3400906-1307130300 -C 160000 -W 5100 -M 261000  ./strangenight2-mt --threads=32 HOME/instance-3400906-1307130300.cnf

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

MD5SUM BENCH= 99cd8de7f06ce8c087a5c7fb299dfb62
RANDOM SEED=794054761

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.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
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.05
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.043
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.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
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.05
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.043
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.11
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.043
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.05
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.043
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.07
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.043
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.043
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.06
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.043
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	: 3989.96
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.043
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.09
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.043
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.05
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.043
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.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
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.043
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.08
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.043
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.03
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.043
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.07
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.043
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.11
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.043
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.043
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.02
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.043
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.11
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.043
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.06
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.043
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.07
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.043
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	: 3989.99
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.043
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.07
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.043
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.07
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.043
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.10
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.043
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.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
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.35
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.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      262704580 kB
Buffers:        134844 kB
Cached:        1223320 kB
SwapCached:       8472 kB
Active:         209596 kB
Inactive:      1167040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      262704580 kB
SwapTotal:    67111528 kB
SwapFree:     67054988 kB
Dirty:           98736 kB
Writeback:           0 kB
AnonPages:       15444 kB
Mapped:           8472 kB
Slab:            94976 kB
PageTables:       4428 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   185444 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= 61648 MiB
End job on node200 at 2011-06-03 23:10:06