Trace number 3400623

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) 159185 5101.86

General information on the benchmark

Nameindustrial/palacios/hard/
sortnet-8-ipc5-h19-sat.cnf
MD5SUM409f4401e9e8b60ee665ac5567a13e41
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark98394.4
Satisfiable
(Un)Satisfiability was proved
Number of variables359341
Number of clauses1254773
Sum of the clauses size3046189
Maximum clause length57
Minimum clause length1
Number of clauses of size 1256
Number of clauses of size 2896240
Number of clauses of size 3346435
Number of clauses of size 4830
Number of clauses of size 5571
Number of clauses of size over 510441

Solver Data 

0.00/0.08	c Outputting solution to console
0.00/0.14	c Using 32 threads
3.35/0.22	c This is CryptoMiniSat 3.0.0
3.35/0.22	c WARNING: for repeatability, setting FPU to use double precision
3.35/0.22	c Reading file 'HOME/instance-3400623-1306247835.cnf'
3.35/0.26	c -- header says num vars:         361125
3.35/0.26	c -- header says num clauses:     1254773
157.86/11.95	c -- clauses added:            0 learnts,      1254773 normals,            0 xors
157.86/11.95	c -- vars added     361125
157.86/11.95	c Parsing time:  1.78 s
157.86/11.95	c  N st     0         0    361125    358021    895984         0   3044653         0   no data   no data
250.28/14.81	c asymm  cl-useful: 0/117/358021 lits-rem:0 time: 2.85
1973.13/68.72	c Flit:    54 Blit:      0 bXBeca:    0 bXProp: 16513 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 53.89
1985.92/69.19	c Replacing    16513 vars Replaced   769510 lits Time:     0.44 s 
1996.08/69.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
2001.84/69.69	c bin-w-bin subsume rem        75407 bins  time:  0.21 s
2021.02/70.25	c subs with bin:       19  lits-rem:     91671  v-fix:    0  time:  0.56 s
2325.60/79.85	c Subs w/ non-existent bins:      0 l-rem:      6 v-fix:     0 done:  54187 time:  9.55 s
2347.97/80.59	c Removed useless bin:     873  fixed:     0  props:  20.01M  time:  0.74 s
2503.10/85.48	c lits-rem:      1005  cl-subs:    72387  v-elim: 114767  v-fix:    0  time:  4.44 s
2509.23/85.66	c Finding binary XORs  T:     0.18 s  found:      19
2512.36/85.81	c Replacing       19 vars Replaced      137 lits Time:     0.15 s 
2527.52/86.26	c Finding non-binary XORs:     0.30 s (found:       0, avg size: nan)
2527.52/86.26	c calculated reachability. Time: 0.01
2530.61/86.37	c Calc default polars -  time:   0.11 s pos:   76691 undec:  133404 neg:  151030
2530.61/86.37	c =========================================================================================
2530.61/86.37	c types(t): F = full restart, N = normal restart
2530.61/86.37	c types(t): S = simplification begin/end, E = solution found
2530.61/86.37	c restart types(rt): st = static, dy = dynamic
2530.61/86.37	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2530.61/86.37	c  B st     0         0    229516    325109    565183         0   2589670         0   no data   no data
3478.42/116.81	c  N dy     9      4491    229490    325109    565318      4260   2589670    194657      8.29      8.83
4219.99/140.01	c  N dy    30      8649    229417    325109    568311      8196   2589665    277888      8.64      9.14
4917.49/161.86	c  N dy    50     12814    229417    325109    568400     12172   2589663    368997      8.60      9.16
4984.62/163.94	c Finding binary XORs  T:     0.18 s  found:    1373
5632.85/184.28	c  N dy    69     16846    229412    318901    572711     16052   2534581    490748      8.59      9.89
6546.98/212.82	c  N dy    96     21751    229411    318901    574811     11292   2534579    165311      8.72      9.19
7154.15/231.87	c  F st   116     25001    229411    318901    574846     14438   2534578    232086      8.70   no data
7164.36/232.15	c Replacing     1373 vars Replaced    17086 lits Time:     0.20 s 
9069.61/291.95	c  N st   119     26190    228038    318097    576868     15597   2522924    285772      8.70   no data
9229.44/296.99	c Finding binary XORs  T:     0.18 s  found:      55
9807.99/315.02	c  S st   122     30000    228038    318097    576897     19310   2522924    475331      8.70   no data
9996.60/320.95	c  S st   122     30501    228038    318097    577090     19617   2522924    482993      8.70   no data
10002.99/321.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
11821.77/378.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp: 1351 Bins:1131545 BRemL:    703 BRemN:   1831 P: 200.0M T: 56.90
11831.36/378.35	c Replacing     1407 vars Replaced   209064 lits Time:     0.29 s 
11840.94/378.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.02 s
11850.53/378.96	c bin-w-bin subsume rem        17199 bins  time:  0.29 s
11901.69/380.53	c subs with bin:    29605  lits-rem:    313233  v-fix:    0  time:  1.56 s
12195.76/389.71	c Subs w/ non-existent bins:    337 l-rem:   3187 v-fix:     1 done:  53729 time:  9.18 s
12218.09/390.42	c Removed useless bin:     649  fixed:     0  props:  20.02M  time:  0.68 s
12429.01/397.10	c lits-rem:     56096  cl-subs:    75684  v-elim: 151086  v-fix:    0  time:  6.19 s
12438.59/397.38	c subs with bin:      246  lits-rem:      4166  v-fix:    0  time:  0.19 s
12451.38/397.79	c lits-rem:       626  cl-subs:     1375  v-elim:      0  v-fix:    0  time:  0.28 s
12512.11/399.63	c asymm  cl-useful: 479/915/325170 lits-rem:8269 time: 1.84
12512.11/399.69	c calculated reachability. Time: 0.01
12515.31/399.70	c  N dy   122     30501     75544    324907    555503     11866   1862514    705146      8.70   no data
12518.50/399.81	c Finding binary XORs  T:     0.11 s  found:       3
12949.30/415.46	c  N dy   129     34868     75544    324907    557769     16160   1862513    791258      8.41      9.56
13639.73/478.62	c Finding binary XORs  T:     0.11 s  found:      12
13655.75/480.31	c  N dy   143     39010     75544    324907    833232     20204   1862513   1422756      8.32      9.14
13718.37/487.31	c  N dy   158     43174     75544    324907    833249     12453   1862513   1223201      8.32      8.84
14306.85/560.87	c Finding binary XORs  T:     0.11 s  found:      37
14336.91/563.45	c  S st   172     45751     75544    324907    858453     15000   1862513   1326835      8.33      6.17
14358.37/564.85	c  S st   172     46253     75544    324907    858538     15412   1862513   1332267      8.33   no data
14359.97/564.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
15191.63/594.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  701 Bins: 203978 BRemL:   1683 BRemN:   1635 P: 200.0M T: 29.86
15198.02/595.06	c Replacing      754 vars Replaced   127301 lits Time:     0.18 s 
15205.04/595.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
15214.00/595.56	c bin-w-bin subsume rem       305768 bins  time:  0.27 s
15237.01/596.27	c subs with bin:    13471  lits-rem:    100719  v-fix:    0  time:  0.71 s
15310.53/598.55	c Subs w/ non-existent bins:   1448 l-rem:  14809 v-fix:     0 done:  26616 time:  2.27 s
15332.27/599.28	c Removed useless bin:   12869  fixed:     0  props:  20.00M  time:  0.71 s
15386.59/600.99	c lits-rem:      9017  cl-subs:    20129  v-elim:  22555  v-fix:    0  time:  1.63 s
15392.98/601.17	c subs with bin:       35  lits-rem:       667  v-fix:    0  time:  0.13 s
15405.77/601.53	c lits-rem:       254  cl-subs:      534  v-elim:      0  v-fix:    0  time:  0.23 s
15451.15/602.96	c asymm  cl-useful: 738/1641/322445 lits-rem:9075 time: 1.43
15453.71/603.02	c calculated reachability. Time: 0.01
15453.71/603.03	c  N dy   172     46253     52235    322261    518122     12378   1652387    732203      8.33   no data
15456.91/603.12	c Finding binary XORs  T:     0.09 s  found:      49
15786.17/613.47	c  N dy   188     50648     52235    322261    525359     16710   1652387    838555      8.29      9.31
16076.22/622.63	c  N dy   198     55100     52235    322261    525370     21057   1652387    911998      8.18      8.61
16181.26/625.96	c Finding binary XORs  T:     0.09 s  found:       6
16321.91/630.33	c  N dy   210     59276     52235    322261    570450     25153   1652387   1101323      8.16      8.62
16571.24/638.13	c  N dy   224     63430     52235    322261    572680     29222   1652387   1171286      8.09      8.54
16871.18/647.65	c  N dy   236     67641     52235    322261    572693     17943   1652387    890564      8.03      8.50
16928.66/649.41	c Finding binary XORs  T:     0.09 s  found:       0
16976.58/650.97	c  S st   243     69382     52235    322261    643139     19640   1652387   1057908      8.00      7.43
17027.74/652.60	c  S st   243     69882     52235    322261    643221     20058   1652387   1064644      8.00   no data
17034.14/652.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
18095.26/685.91	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:  182 Bins: 130257 BRemL:   6837 BRemN:   1667 P: 200.0M T: 32.67
18101.65/686.15	c Replacing      238 vars Replaced    51175 lits Time:     0.23 s 
18108.06/686.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
18115.07/686.58	c bin-w-bin subsume rem       130283 bins  time:  0.21 s
18133.62/687.14	c subs with bin:    15081  lits-rem:     45498  v-fix:    0  time:  0.56 s
18187.87/688.87	c Subs w/ non-existent bins:   1532 l-rem:  10164 v-fix:     0 done:  34049 time:  1.71 s
18207.05/689.49	c Removed useless bin:   41599  fixed:     0  props:  20.00M  time:  0.60 s
18232.62/690.21	c lits-rem:     10084  cl-subs:     6314  v-elim:   1319  v-fix:    0  time:  0.71 s
18239.01/690.43	c subs with bin:       55  lits-rem:       636  v-fix:    0  time:  0.15 s
18252.39/690.85	c lits-rem:       608  cl-subs:      687  v-elim:      0  v-fix:    0  time:  0.28 s
18287.58/691.99	c vivif2 --  cl tried   301664 cl shrink     8657 lits rem      23416 time: 1.13
18290.78/692.05	c vivif2 --  cl tried    19084 cl shrink      991 lits rem       2031 time: 0.07
18344.50/693.71	c asymm  cl-useful: 599/1998/296688 lits-rem:5397 time: 1.66
18354.09/694.03	c calculated reachability. Time: 0.26
18354.09/694.04	c  N dy   243     69882     50676    296464    567885     19027   1417813    971877      8.00   no data
18398.83/695.50	c Finding binary XORs  T:     1.46 s  found:     558
18405.22/695.64	c Replacing      558 vars Replaced    24652 lits Time:     0.14 s 
18818.15/708.59	c  N dy   251     74481     50118    296464    577926     23499   1417717   1090784      7.93      8.43
19207.34/720.78	c  N dy   260     79406     50118    296464    578021     28290   1417717   1181088      7.86      8.30
19252.10/722.11	c Finding binary XORs  T:     1.32 s  found:      17
19507.79/730.15	c Finding binary XORs  T:     1.33 s  found:       0
19701.89/736.21	c  N dy   272     84535     50118    296464    639711     33326   1417717   1407280      7.79      8.27
19924.47/743.27	c  F st   275     87500     50118    296464    639721     36245   1417717   1466686      7.74      7.50
19930.87/743.41	c Replacing       17 vars Replaced     1173 lits Time:     0.14 s 
20228.01/752.73	c  N st   280     90797     50101    296457    643488     20730   1417684   1107550      7.74   no data
20486.43/760.90	c Finding binary XORs  T:     1.37 s  found:     130
20703.40/767.67	c  N dy   289     96639     50101    296457    684202     26490   1417684   1295466      7.69      8.12
21208.39/783.40	c  N dy   307    103078     50101    296457    688568     32784   1417684   1412802      7.63      8.05
21329.87/787.27	c  S st   314    104823     50101    296457    688571     34507   1417684   1438176      7.62      7.34
21387.33/789.06	c  S st   314    105323     50101    296457    688608     34970   1417684   1446703      7.62   no data
21390.52/789.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
22514.43/824.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   55 Bins:  84261 BRemL:  10539 BRemN:    411 P: 200.0M T: 35.09
22517.63/824.47	c Replacing      185 vars Replaced    48188 lits Time:     0.15 s 
22524.02/824.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
22530.43/824.89	c bin-w-bin subsume rem        83698 bins  time:  0.20 s
22546.39/825.33	c subs with bin:     4894  lits-rem:      7371  v-fix:    0  time:  0.44 s
22594.35/826.82	c Subs w/ non-existent bins:    524 l-rem:   3356 v-fix:     0 done:  27219 time:  1.48 s
22610.94/827.35	c Removed useless bin:   11715  fixed:     0  props:  20.00M  time:  0.52 s
22629.50/827.91	c lits-rem:      3937  cl-subs:     3530  v-elim:    328  v-fix:    0  time:  0.55 s
22639.09/828.23	c subs with bin:       53  lits-rem:       653  v-fix:    0  time:  0.24 s
22655.07/828.77	c lits-rem:       927  cl-subs:      737  v-elim:      0  v-fix:    0  time:  0.40 s
22716.43/830.69	c vivif2 --  cl tried   287981 cl shrink     4267 lits rem      10878 time: 1.92
22731.78/831.10	c vivif2 --  cl tried    33543 cl shrink     5819 lits rem      14957 time: 0.41
22783.56/832.82	c asymm  cl-useful: 599/2295/285527 lits-rem:3271 time: 1.72
22798.91/833.23	c calculated reachability. Time: 0.35
22798.91/833.23	c  N dy   314    105323     49588    285395    645386     33477   1329442   1349033      7.62   no data
22859.64/835.17	c Finding binary XORs  T:     1.94 s  found:     189
23588.15/857.96	c  N dy   342    114845     49588    285395    656204     22084   1329442   1150440      7.54      7.96
23648.86/859.87	c Finding binary XORs  T:     1.79 s  found:      52
24224.36/877.88	c  N dy   356    122447     49588    285395    723654     29592   1329442   1425590      7.47      7.87
24284.48/879.77	c Finding binary XORs  T:     1.81 s  found:       4
24927.59/899.89	c  N dy   381    130411     49588    285395    747399     37451   1329442   1627139      7.43      7.83
25355.24/913.25	c Finding binary XORs  T:     1.82 s  found:       0
25655.73/922.69	c  N dy   400    139353     49588    285395    757413     24479   1329442   1365964      7.38      7.93
26314.19/943.25	c  N dy   421    148304     49588    285395    758094     33313   1329442   1523524      7.33      7.77
27030.17/965.68	c  N dy   457    157848     49588    285395    758301     42695   1329442   1683858      7.29      7.76
27040.39/965.92	c  S st   458    157984     49588    285395    758302     42828   1329442   1685391      7.28      4.45
27084.51/967.36	c  S st   458    158485     49588    285395    758341     43290   1329442   1694181      7.28   no data
27087.71/967.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
28276.80/1004.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   14 Bins:  89159 BRemL:  18814 BRemN:    282 P: 200.0M T: 37.16
28283.19/1004.85	c Replacing      259 vars Replaced    52383 lits Time:     0.17 s 
28289.60/1005.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
28295.99/1005.29	c bin-w-bin subsume rem        64906 bins  time:  0.23 s
28311.97/1005.74	c subs with bin:     2148  lits-rem:      1419  v-fix:    0  time:  0.45 s
28369.14/1007.55	c Subs w/ non-existent bins:    109 l-rem:    281 v-fix:     0 done:  30559 time:  1.81 s
28385.13/1008.01	c Removed useless bin:    2403  fixed:     0  props:  18.41M  time:  0.46 s
28401.12/1008.51	c lits-rem:      1368  cl-subs:     1773  v-elim:     92  v-fix:    0  time:  0.50 s
28413.89/1008.90	c subs with bin:       51  lits-rem:       449  v-fix:    0  time:  0.29 s
28433.08/1009.57	c lits-rem:      1159  cl-subs:      908  v-elim:      0  v-fix:    0  time:  0.53 s
28497.01/1011.51	c vivif2 --  cl tried   281497 cl shrink     1096 lits rem       2612 time: 1.94
28509.80/1011.97	c vivif2 --  cl tried    42308 cl shrink     5717 lits rem      13987 time: 0.46
28564.14/1013.65	c asymm  cl-useful: 221/1489/280710 lits-rem:620 time: 1.67
28576.93/1014.09	c calculated reachability. Time: 0.38
28576.93/1014.09	c  N dy   458    158485     49237    280708    745265     42278   1304201   1644979      7.28   no data
28640.86/1016.09	c Finding binary XORs  T:     2.00 s  found:      43
29017.97/1027.86	c Finding binary XORs  T:     1.97 s  found:       2
29392.58/1039.54	c Finding binary XORs  T:     1.97 s  found:       0
29554.67/1044.64	c  N dy   494    168919     49237    280708    821190     30547   1304201   1558114      7.26      7.73
29854.86/1054.08	c Finding binary XORs  T:     1.97 s  found:       4
30439.84/1072.30	c  N dy   530    179793     49237    280708    881824     41266   1304201   1882204      7.22      7.72
30887.29/1086.34	c Finding binary XORs  T:     1.99 s  found:       0
31382.72/1101.83	c  N dy   574    191364     49237    280708    897059     52706   1304201   2139368      7.20      7.66
32293.62/1130.38	c  N dy   626    203629     49237    280708    897978     42074   1304201   1883895      7.18      7.65
33303.47/1161.93	c Finding binary XORs  T:     1.97 s  found:       2
33329.68/1162.73	c  N dy   681    216983     49237    280708    953643     55304   1304201   2247006      7.17      7.60
34396.64/1196.15	c  N dy   752    230942     49237    280708    960218     45213   1304201   2033220      7.18      7.56
34818.59/1209.35	c Finding binary XORs  T:     1.97 s  found:       2
34962.45/1213.82	c  S st   778    237727     49237    280708    966650     51907   1304201   2165632      7.16   no data
35010.37/1215.30	c  S st   778    238228     49237    280708    966674     52383   1304201   2175591      7.16   no data
35013.57/1215.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
36164.29/1251.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   14 Bins:  99925 BRemL:  14870 BRemN:    336 P: 200.0M T: 36.02
36170.68/1251.64	c Replacing       67 vars Replaced    14849 lits Time:     0.17 s 
36177.67/1251.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
36186.66/1252.11	c bin-w-bin subsume rem        75400 bins  time:  0.25 s
36199.45/1252.58	c subs with bin:     2389  lits-rem:      2447  v-fix:    0  time:  0.48 s
36253.79/1254.29	c Subs w/ non-existent bins:     22 l-rem:      2 v-fix:     0 done:  27227 time:  1.70 s
36269.78/1254.74	c Removed useless bin:     551  fixed:     0  props:  16.77M  time:  0.45 s
36283.16/1255.20	c lits-rem:        67  cl-subs:      322  v-elim:     83  v-fix:    0  time:  0.45 s
36298.54/1255.68	c subs with bin:       61  lits-rem:       361  v-fix:    0  time:  0.38 s
36321.55/1256.35	c lits-rem:       849  cl-subs:      852  v-elim:      0  v-fix:    0  time:  0.54 s
36384.87/1258.32	c vivif2 --  cl tried   278119 cl shrink      241 lits rem        335 time: 1.97
36400.84/1258.89	c vivif2 --  cl tried    51450 cl shrink     5785 lits rem      15827 time: 0.56
36451.99/1260.49	c asymm  cl-useful: 175/1326/278003 lits-rem:516 time: 1.60
36467.96/1260.94	c calculated reachability. Time: 0.39
36467.96/1260.95	c  N dy   778    238228     49087    278002    952496     51422   1296183   2117632      7.16   no data
36532.53/1262.98	c Finding binary XORs  T:     2.03 s  found:      40
37538.79/1294.44	c Finding binary XORs  T:     2.01 s  found:       0
37695.42/1299.39	c  N dy   848    253529     49087    278002    966042     41312   1296183   1923256      7.15      7.53
38897.25/1336.94	c  N dy   935    269742     49087    278002    968073     57332   1296183   2242073      7.16      7.62
39680.38/1361.48	c Finding binary XORs  T:     2.04 s  found:       1
40233.33/1378.78	c  N dy  1019    287028     49087    278002    986068     48778   1296183   2044049      7.16      7.55
41096.36/1405.75	c Finding binary XORs  T:     2.01 s  found:       1
41674.87/1423.86	c  N dy  1116    305389     49087    278002   1013158     67014   1296183   2446511      7.16     10.65
41736.29/1425.74	c  F st  1121    306250     49087    278002   1013158     67869   1296183   2464649      7.16      7.03
41741.95/1425.90	c Replacing       42 vars Replaced     4813 lits Time:     0.16 s 
42401.02/1446.54	c Finding binary XORs  T:     2.01 s  found:       1
43318.48/1475.26	c  N dy  1198    324910     49045    278002   1016302     59074   1296174   2262265      7.16      8.07
44792.04/1521.35	c  N dy  1301    344936     49045    278002   1017470     51200   1296174   2056585      7.16      7.68
45683.21/1549.24	c  S st  1367    357342     49045    278002   1018091     63469   1296174   2284967      7.16      6.24
45731.17/1550.77	c  S st  1367    357845     49045    278002   1018119     63943   1296174   2293512      7.16   no data
45737.56/1550.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
46897.85/1587.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    8 Bins:  77720 BRemL:  20684 BRemN:    294 P: 200.0M T: 36.30
46901.64/1587.40	c Replacing        9 vars Replaced     7836 lits Time:     0.17 s 
46910.62/1587.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46917.02/1587.82	c bin-w-bin subsume rem        36902 bins  time:  0.21 s
46933.01/1588.32	c subs with bin:     1078  lits-rem:      1034  v-fix:    0  time:  0.49 s
47000.13/1590.46	c Subs w/ non-existent bins:      8 l-rem:      0 v-fix:     0 done:  31436 time:  2.14 s
47012.90/1590.90	c Removed useless bin:     291  fixed:     0  props:  16.09M  time:  0.44 s
47028.88/1591.36	c lits-rem:         6  cl-subs:      250  v-elim:    110  v-fix:    0  time:  0.46 s
47042.28/1591.82	c subs with bin:       35  lits-rem:       241  v-fix:    0  time:  0.35 s
47067.25/1592.52	c lits-rem:       944  cl-subs:     1089  v-elim:      0  v-fix:    0  time:  0.58 s
47131.18/1594.51	c vivif2 --  cl tried   276850 cl shrink       96 lits rem        111 time: 1.99
47151.02/1595.13	c vivif2 --  cl tried    62765 cl shrink     4980 lits rem      14544 time: 0.62
47211.10/1597.00	c asymm  cl-useful: 436/3326/276808 lits-rem:889 time: 1.87
47223.87/1597.46	c calculated reachability. Time: 0.38
47223.87/1597.46	c  N dy  1367    357845     48926    276808   1030993     62759   1291249   2291937      7.16   no data
47288.44/1599.47	c Finding binary XORs  T:     2.01 s  found:      15
47678.25/1611.65	c Finding binary XORs  T:     2.00 s  found:       4
48460.53/1636.14	c Finding binary XORs  T:     2.01 s  found:       0
48994.29/1652.80	c  N dy  1476    377866     48926    276808   1107455     53251   1291249   2235213      7.17      7.56
49930.85/1682.12	c Finding binary XORs  T:     2.01 s  found:      10
50614.89/1703.51	c  N dy  1586    397932     48926    276808   1138092     73172   1291249   2684848      7.19      7.67
51472.17/1730.36	c Finding binary XORs  T:     2.00 s  found:       6
52251.48/1754.76	c  N dy  1705    418136     48926    276808   1163812     63158   1291249   2491611      7.20      7.58
53926.41/1807.10	c  N dy  1832    438233     48926    276808   1165700     83116   1291249   2905969      7.22      7.64
55480.51/1855.78	c  N dy  1942    458329     48926    276808   1166187     72142   1291249   2620765      7.22      7.63
57087.70/1906.03	c  N dy  2063    478343     48926    276808   1166534     92003   1291249   3000001      7.24      9.36
58718.56/1957.07	c  N dy  2178    498692     48926    276808   1166842     80337   1291249   2724313      7.25      7.68
60309.77/2006.80	c  N dy  2287    518755     48926    276808   1167056    100255   1291249   3112553      7.26      7.70
61700.23/2050.38	c  S st  2389    536767     48926    276808   1167550     85124   1291249   2774963      7.26   no data
61751.36/2051.92	c  S st  2389    537270     48926    276808   1167593     85615   1291249   2783822      7.26   no data
61754.56/2052.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
62889.32/2087.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bins:  36166 BRemL:  26013 BRemN:    152 P: 200.0M T: 35.47
62895.72/2087.74	c Replacing       40 vars Replaced    33273 lits Time:     0.18 s 
62902.73/2087.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
62911.69/2088.22	c bin-w-bin subsume rem        50226 bins  time:  0.27 s
62927.68/2088.75	c subs with bin:     1124  lits-rem:       829  v-fix:    0  time:  0.52 s
62991.61/2090.77	c Subs w/ non-existent bins:      6 l-rem:      1 v-fix:     0 done:  28344 time:  2.02 s
63005.02/2091.19	c Removed useless bin:     194  fixed:     0  props:  15.46M  time:  0.42 s
63020.37/2091.68	c lits-rem:         6  cl-subs:      500  v-elim:     61  v-fix:    0  time:  0.48 s
63036.36/2092.21	c subs with bin:       50  lits-rem:       275  v-fix:    0  time:  0.40 s
63071.53/2093.27	c lits-rem:      1309  cl-subs:     1338  v-elim:      0  v-fix:    0  time:  0.93 s
63135.46/2095.28	c vivif2 --  cl tried   275295 cl shrink       55 lits rem        102 time: 2.01
63161.02/2096.09	c vivif2 --  cl tried    84186 cl shrink     6480 lits rem      16094 time: 0.81
63215.94/2097.82	c asymm  cl-useful: 212/1944/275262 lits-rem:362 time: 1.73
63231.32/2098.27	c calculated reachability. Time: 0.39
63231.32/2098.28	c  N dy  2389    537270     48825    275262   1116863     84159   1286559   2651131      7.26   no data
63298.45/2100.31	c Finding binary XORs  T:     2.03 s  found:      50
64781.63/2146.70	c Finding binary XORs  T:     2.02 s  found:       0
65012.43/2153.94	c  N dy  2516    557377     48825    275262   1133155    104130   1286559   3084406      7.27      7.78
66099.23/2187.93	c Finding binary XORs  T:     2.00 s  found:       2
66622.83/2204.42	c  N dy  2627    577536     48825    275262   1137896     89518   1286559   2762991      7.28      7.73
68201.87/2253.75	c  N dy  2755    597579     48825    275262   1139910    109439   1286559   3167537      7.30      9.64
69777.72/2303.09	c  N dy  2862    617661     48825    275262   1140424     94451   1286559   2817784      7.31     11.72
71376.62/2353.10	c  N dy  2976    637685     48825    275262   1140613    114348   1286559   3217012      7.31      7.78
72990.84/2403.61	c  N dy  3096    657778     48825    275262   1141223     98596   1286559   2841204      7.32      9.12
74668.38/2456.08	c  N dy  3204    678133     48825    275262   1141372    118807   1286559   3243322      7.33      7.82
76221.86/2504.65	c  N dy  3326    698230     48825    275262   1141501    102039   1286559   2871970      7.34      7.74
77861.65/2555.91	c  N dy  3451    718493     48825    275262   1141646    122183   1286559   3283600      7.35      7.77
78884.52/2587.95	c Finding binary XORs  T:     2.00 s  found:       9
79491.88/2606.94	c  N dy  3563    738675     48825    275262   1256672    104468   1286559   3090942      7.36      7.79
79840.26/2617.82	c Finding binary XORs  T:     1.99 s  found:       1
80668.16/2643.74	c Finding binary XORs  T:     2.01 s  found:       0
81394.41/2666.51	c  N dy  3702    758735     48825    275262   1282232    124410   1286559   3560307      7.37     10.60
82148.16/2690.03	c Finding binary XORs  T:     2.00 s  found:       3
83123.07/2720.57	c  N dy  3835    778774     48825    275262   1356446    105556   1286559   3268297      7.39      7.91
83458.70/2731.05	c Finding binary XORs  T:     2.02 s  found:       0
83829.30/2742.66	c Finding binary XORs  T:     2.01 s  found:       2
84878.37/2775.47	c  N dy  3955    798805     48825    275262   1449256    125484   1286559   3867370      7.40      8.13
85357.24/2790.41	c Finding binary XORs  T:     2.00 s  found:       0
85529.85/2795.81	c  S st  3992    805905     48825    275262   1449298    132552   1286559   4001400      7.40      6.73
85581.61/2797.43	c  S st  3992    806408     48825    275262   1449305    133046   1286559   4010792      7.40   no data
85584.18/2797.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
86715.75/2832.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  81784 BRemL:  18631 BRemN:    324 P: 200.0M T: 35.36
86722.14/2833.18	c Replacing       67 vars Replaced    59051 lits Time:     0.21 s 
86728.54/2833.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
86744.52/2833.82	c bin-w-bin subsume rem       102017 bins  time:  0.43 s
86763.71/2834.41	c subs with bin:      632  lits-rem:       245  v-fix:    0  time:  0.59 s
86827.63/2836.41	c Subs w/ non-existent bins:      2 l-rem:      1 v-fix:     0 done:  27966 time:  1.99 s
86840.43/2836.82	c Removed useless bin:     275  fixed:     0  props:  14.75M  time:  0.41 s
86856.39/2837.34	c lits-rem:         6  cl-subs:      314  v-elim:     80  v-fix:    0  time:  0.52 s
86888.36/2838.30	c subs with bin:       49  lits-rem:       509  v-fix:    0  time:  0.75 s
86974.64/2841.02	c lits-rem:      2806  cl-subs:     1914  v-elim:      0  v-fix:    0  time:  2.58 s
87038.56/2843.04	c vivif2 --  cl tried   274466 cl shrink       77 lits rem         91 time: 2.02
87086.52/2844.59	c vivif2 --  cl tried   131041 cl shrink    16272 lits rem      40047 time: 1.55
87137.66/2846.18	c asymm  cl-useful: 59/1149/274431 lits-rem:69 time: 1.59
87153.65/2846.65	c calculated reachability. Time: 0.39
87153.65/2846.65	c  N dy  3992    806408     48678    274431   1406660    131024   1282647   3862646      7.40   no data
87269.34/2850.24	c Finding binary XORs  T:     2.05 s  found:       4
88148.40/2877.76	c Finding binary XORs  T:     2.03 s  found:       0
88895.73/2901.14	c  N dy  4124    827121     48678    274431   1428428    110559   1282647   3473453      7.40      7.89
90410.88/2948.59	c  N dy  4244    847145     48678    274431   1432122    130456   1282647   3867148      7.41      8.74
91957.96/2996.94	c  N dy  4377    867176     48678    274431   1432672    109742   1282647   3397845      7.42      7.88
93255.68/3037.51	c Finding binary XORs  T:     2.04 s  found:       1
93590.89/3048.11	c  N dy  4503    887441     48678    274431   1439281    129909   1282647   3822851      7.43      7.99
95265.13/3100.49	c  N dy  4631    908035     48678    274431   1494383    108860   1282647   3458194      7.44      7.96
95332.26/3102.52	c Finding binary XORs  T:     2.03 s  found:       1
96949.70/3153.18	c  N dy  4756    928076     48678    274431   1495157    128805   1282647   3873556      7.44      8.17
98647.03/3206.26	c  N dy  4887    948143     48678    274431   1496408    106072   1282647   3346779      7.46      7.85
100341.17/3259.24	c  N dy  5021    968821     48678    274431   1496519    126623   1282647   3774511      7.47      7.93
102048.09/3312.64	c  N dy  5153    988896     48678    274431   1497429    146566   1282647   4190600      7.48     10.18
103758.82/3366.13	c  N dy  5285   1008931     48678    274431   1497560    122975   1282647   3645071      7.48     10.03
105452.32/3419.13	c  N dy  5410   1029086     48678    274431   1497638    143035   1282647   4058529      7.49      7.90
107184.80/3473.36	c  N dy  5545   1049097     48678    274431   1498114    118509   1282647   3492333      7.50      9.57
108869.34/3526.06	c  N dy  5674   1069253     48678    274431   1498371    138543   1282647   3905986      7.51      7.94
109073.92/3532.42	c  F st  5691   1071877     48678    274431   1498371    141153   1282647   3960908      7.51      8.02
109080.32/3532.62	c Replacing        6 vars Replaced     6986 lits Time:     0.21 s 
110461.23/3575.80	c  N dy  5771   1089389     48672    274431   1501355    158551   1282647   4342266      7.51      7.94
110780.85/3585.82	c Finding binary XORs  T:     2.02 s  found:       2
111455.95/3606.93	c Finding binary XORs  T:     2.02 s  found:       0
112292.82/3633.12	c  N dy  5893   1109544     48672    274431   1553584    132912   1282647   3845368      7.52      7.92
112622.02/3643.49	c Finding binary XORs  T:     2.01 s  found:       0
114082.86/3689.17	c  N dy  6024   1129562     48672    274431   1555515    152825   1282647   4278318      7.53     11.01
115821.71/3743.58	c  N dy  6149   1149832     48672    274431   1556574    126316   1282647   3654103      7.54      8.01
117493.48/3795.84	c  N dy  6273   1169906     48672    274431   1557029    146275   1282647   4072591      7.55      8.01
119171.63/3848.36	c  N dy  6391   1189914     48672    274431   1557416    166172   1282647   4496993      7.55      7.95
119884.45/3870.65	c Finding binary XORs  T:     2.00 s  found:       2
120968.05/3904.59	c  S st  6526   1209613     48672    274431   1588588    138220   1282647   3919467      7.56      7.20
121035.18/3906.60	c  S st  6526   1210116     48672    274431   1588595    138715   1282647   3932842      7.56   no data
121038.38/3906.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
122180.12/3942.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:  95504 BRemL:  23222 BRemN:    134 P: 200.0M T: 35.72
122189.12/3942.73	c Replacing        5 vars Replaced     1088 lits Time:     0.21 s 
122195.51/3942.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
122205.11/3943.27	c bin-w-bin subsume rem        49197 bins  time:  0.32 s
122227.47/3943.92	c subs with bin:      886  lits-rem:       720  v-fix:    0  time:  0.64 s
122297.80/3946.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  30179 time:  2.27 s
122313.79/3946.60	c Removed useless bin:     111  fixed:     0  props:  14.24M  time:  0.41 s
122329.76/3947.13	c lits-rem:         2  cl-subs:       78  v-elim:     32  v-fix:    0  time:  0.53 s
122352.16/3947.88	c subs with bin:       52  lits-rem:       433  v-fix:    0  time:  0.58 s
122403.29/3949.49	c lits-rem:      1822  cl-subs:     2283  v-elim:      0  v-fix:    0  time:  1.49 s
122464.65/3951.39	c vivif2 --  cl tried   273526 cl shrink      116 lits rem        163 time: 1.90
122502.38/3952.56	c vivif2 --  cl tried   136367 cl shrink     5307 lits rem      13236 time: 1.16
122553.50/3954.18	c asymm  cl-useful: 166/1358/273430 lits-rem:196 time: 1.63
122570.11/3954.66	c calculated reachability. Time: 0.39
122570.11/3954.66	c  N dy  6526   1210116     48635    273430   1599050    136344   1280482   3919333      7.56   no data
122633.43/3956.71	c Finding binary XORs  T:     2.05 s  found:       2
123633.87/3987.94	c Finding binary XORs  T:     2.02 s  found:       2
124420.20/4012.50	c  N dy  6647   1230204     48635    273430   1621889    156337   1280482   4382481      7.57      8.59
125235.31/4038.01	c Finding binary XORs  T:     2.10 s  found:       4
126162.26/4067.09	c  N dy  6772   1250219     48635    273430   1681118    176257   1280482   4923657      7.58      8.56
127859.62/4120.16	c  N dy  6915   1270242     48635    273430   1688296    145959   1280482   4240359      7.58      8.39
128368.49/4136.07	c Finding binary XORs  T:     2.04 s  found:       0
129509.01/4171.76	c  N dy  7039   1290299     48635    273430   1688540    165891   1280482   4652073      7.59      8.18
130889.88/4214.94	c Finding binary XORs  T:     2.05 s  found:       3
131174.38/4223.86	c  N dy  7153   1310378     48635    273430   1715775    136368   1280482   4024747      7.60      8.04
132833.97/4275.75	c  N dy  7295   1330593     48635    273430   1719702    156467   1280482   4465362      7.61      8.06
134431.56/4325.73	c  N dy  7420   1350679     48635    273430   1723330    176463   1280482   4899224      7.61      8.48
136039.41/4376.04	c  N dy  7544   1370840     48635    273430   1723409    145923   1280482   4184816      7.62      8.05
137651.00/4426.44	c  N dy  7682   1390849     48635    273430   1724829    165805   1280482   4617276      7.63      8.82
139261.44/4476.80	c  N dy  7809   1410863     48635    273430   1725471    185691   1280482   5043947      7.63      8.07
140907.62/4528.30	c  N dy  7933   1430898     48635    273430   1725882    154242   1280482   4311203      7.64      9.22
142304.47/4572.07	c Finding binary XORs  T:     2.05 s  found:       0
142588.94/4581.00	c  N dy  8063   1451016     48635    273430   1728797    174223   1280482   4745213      7.65      8.08
142908.61/4590.96	c Finding binary XORs  T:     2.04 s  found:       1
144343.81/4635.82	c  N dy  8203   1471077     48635    273430   1800376    194180   1280482   5313535      7.65      9.03
146012.39/4688.00	c  N dy  8347   1491158     48635    273430   1800516    161618   1280482   4559417      7.66      8.17
147645.77/4739.17	c  N dy  8475   1511186     48635    273430   1800584    181519   1280482   4986276      7.67      8.10
149314.34/4791.30	c  N dy  8619   1531218     48635    273430   1801069    201435   1280482   5426041      7.68     13.35
150877.42/4840.21	c  N dy  8744   1551264     48635    273430   1801212    167899   1280482   4626463      7.68      8.12
152485.30/4890.55	c  N dy  8858   1571316     48635    273430   1802398    187837   1280482   5042157      7.68      8.16
154134.67/4942.13	c  N dy  8978   1591338     48635    273430   1802726    207739   1280482   5484565      7.69      8.28
155537.89/4986.09	c Finding binary XORs  T:     2.02 s  found:       1
155867.77/4996.34	c  N dy  9115   1611362     48635    273430   1823386    173466   1280482   4742849      7.70     11.45
157068.94/5033.98	c Finding binary XORs  T:     2.05 s  found:       1
157548.42/5048.97	c  N dy  9236   1631462     48635    273430   1855470    193421   1280482   5231807      7.70     11.16

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: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400623-1306247835/watcher-3400623-1306247835 -o /tmp/evaluation-result-3400623-1306247835/solver-3400623-1306247835 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400623-1306247835.cnf 

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

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


[startup+0 s]
/proc/loadavg: 27.10 31.01 31.72 1/413 8734
/proc/meminfo: memFree=255150932/264257624 swapFree=67111528/67111528
[pid=8734] ppid=8732 vsize=2776 CPUtime=0 cores=0-31
/proc/8734/stat : 8734 (strangenight2-m) S 8732 8734 8708 0 -1 4194304 86 0 0 0 0 0 0 0 20 0 1 0 736270098 2842624 44 268435456000 4194304 4580107 140733484447840 18446744073709551615 258646032071 0 2147483391 4096 0 18446744071699592526 0 0 17 4 0 0 0
/proc/8734/statm: 694 44 35 95 0 23 0

[startup+0.177661 s]
/proc/loadavg: 27.10 31.01 31.72 1/413 8734
/proc/meminfo: memFree=255150932/264257624 swapFree=67111528/67111528
[pid=8734] ppid=8732 vsize=338000 CPUtime=2.63 cores=0-31
/proc/8734/stat : 8734 (strangenight2-m) R 8732 8734 8708 0 -1 4202496 467 0 0 0 263 0 0 0 22 0 32 0 736270098 346112000 408 268435456000 4194304 4580107 140733484447840 18446744073709551615 47961394812441 0 0 4096 2 18446744073709551615 0 0 17 29 0 0 0
/proc/8734/statm: 84500 408 300 95 0 79482 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 338000

[startup+0.20065 s]
/proc/loadavg: 27.10 31.01 31.72 1/413 8734
/proc/meminfo: memFree=255150932/264257624 swapFree=67111528/67111528
[pid=8734] ppid=8732 vsize=338000 CPUtime=3.35 cores=0-31
/proc/8734/stat : 8734 (strangenight2-m) R 8732 8734 8708 0 -1 4202496 467 0 0 0 335 0 0 0 22 0 32 0 736270098 346112000 408 268435456000 4194304 4580107 140733484447840 18446744073709551615 47961394812441 0 0 4096 2 18446744073709551615 0 0 17 29 0 0 0
/proc/8734/statm: 84500 408 300 95 0 79482 0
Current children cumulated CPU time (s) 3.35
Current children cumulated vsize (KiB) 338000

[startup+0.30063 s]
/proc/loadavg: 27.10 31.01 31.72 1/413 8734
/proc/meminfo: memFree=255150932/264257624 swapFree=67111528/67111528
[pid=8734] ppid=8732 vsize=1199532 CPUtime=5.03 cores=0-31
/proc/8734/stat : 8734 (strangenight2-m) R 8732 8734 8708 0 -1 4202496 14914 0 0 0 391 112 0 0 23 0 32 0 736270098 1228320768 14189 268435456000 4194304 4580107 140733484447840 18446744073709551615 4349571 0 0 4096 2 18446744073709551615 0 0 17 29 0 0 0
/proc/8734/statm: 299883 14226 335 95 0 294865 0
Current children cumulated CPU time (s) 5.03
Current children cumulated vsize (KiB) 1199532

[startup+0.700653 s]
/proc/loadavg: 27.10 31.01 31.72 1/413 8734
/proc/meminfo: memFree=255150932/264257624 swapFree=67111528/67111528
[pid=8734] ppid=8732 vsize=1457716 CPUtime=12.53 cores=0-31
/proc/8734/stat : 8734 (strangenight2-m) D 8732 8734 8708 0 -1 4202496 66582 0 0 0 633 620 0 0 16 0 32 0 736270098 1492701184 57653 268435456000 4194304 4580107 140733484447840 18446744073709551615 4311330 0 0 4096 2 18446744073709551615 0 0 17 29 0 0 0
/proc/8734/statm: 364509 57653 336 95 0 359491 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 1457716

[startup+1.50267 s]
/proc/loadavg: 27.33 30.99 31.71 32/445 8766
/proc/meminfo: memFree=254743832/264257624 swapFree=67111528/67111528
[pid=8734] ppid=8732 vsize=1736344 CPUtime=25.1 cores=0-31
/proc/8734/stat : 8734 (strangenight2-m) R 8732 8734 8708 0 -1 4202496 182842 0 0 0 1113 1397 0 0 15 0 32 0 736270098 1778016256 150206 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 29 0 0 0
/proc/8734/statm: 434086 150214 336 95 0 429068 0
[pid=8734/tid=8736] ppid=8732 vsize=1736344 CPUtime=0.79 cores=0-31
/proc/8734/task/8736/stat : 8736 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 5364 0 0 0 37 42 0 0 15 0 32 0 736270106 1778016256 150221 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8734/tid=8737] ppid=8732 vsize=1736344 CPUtime=0.76 cores=0-31
/proc/8734/task/8737/stat : 8737 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 4532 0 0 0 32 44 0 0 15 0 32 0 736270106 1778016256 150225 268435456000 4194304 4580107 140733484447840 18446744073709551615 258650616632 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8734/tid=8738] ppid=8732 vsize=1736344 CPUtime=0.78 cores=0-31
/proc/8734/task/8738/stat : 8738 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 5694 0 0 0 35 43 0 0 16 0 32 0 736270106 1778016256 150244 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=8734/tid=8739] ppid=8732 vsize=1736344 CPUtime=0.65 cores=0-31
/proc/8734/task/8739/stat : 8739 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 5425 0 0 0 21 44 0 0 15 0 32 0 736270106 1778016256 150254 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8734/tid=8740] ppid=8732 vsize=1736344 CPUtime=0.78 cores=0-31
/proc/8734/task/8740/stat : 8740 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 6048 0 0 0 37 41 0 0 16 0 32 0 736270106 1778016256 150263 268435456000 4194304 4580107 140733484447840 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8734/tid=8741] ppid=8732 vsize=1736344 CPUtime=0.78 cores=0-31
/proc/8734/task/8741/stat : 8741 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 5313 0 0 0 36 42 0 0 15 0 32 0 736270106 1778016256 150265 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604701506215392 0 0 -1 20 0 0 0
[pid=8734/tid=8742] ppid=8732 vsize=1736344 CPUtime=0.77 cores=0-31
/proc/8734/task/8742/stat : 8742 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 4998 0 0 0 37 40 0 0 16 0 32 0 736270106 1778016256 150272 268435456000 4194304 4580107 140733484447840 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8734/tid=8743] ppid=8732 vsize=1736344 CPUtime=0.81 cores=0-31
/proc/8734/task/8743/stat : 8743 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 5925 0 0 0 37 44 0 0 16 0 32 0 736270106 1778016256 150277 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=8734/tid=8744] ppid=8732 vsize=1736344 CPUtime=0.79 cores=0-31
/proc/8734/task/8744/stat : 8744 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 5354 0 0 0 39 40 0 0 16 0 32 0 736270106 1778016256 150284 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8734/tid=8745] ppid=8732 vsize=1736344 CPUtime=0.8 cores=0-31
/proc/8734/task/8745/stat : 8745 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 5026 0 0 0 36 44 0 0 15 0 32 0 736270106 1778016256 150288 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8734/tid=8746] ppid=8732 vsize=1736344 CPUtime=0.78 cores=0-31
/proc/8734/task/8746/stat : 8746 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 5259 0 0 0 31 47 0 0 15 0 32 0 736270106 1778016256 150291 268435456000 4194304 4580107 140733484447840 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8734/tid=8747] ppid=8732 vsize=1736344 CPUtime=0.77 cores=0-31
/proc/8734/task/8747/stat : 8747 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 6378 0 0 0 35 42 0 0 15 0 32 0 736270106 1778016256 150294 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=8734/tid=8748] ppid=8732 vsize=1736344 CPUtime=0.81 cores=0-31
/proc/8734/task/8748/stat : 8748 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 5049 0 0 0 38 43 0 0 15 0 32 0 736270106 1778016256 150296 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604475902647776 0 0 -1 9 0 0 0
[pid=8734/tid=8749] ppid=8732 vsize=1736344 CPUtime=0.79 cores=0-31
/proc/8734/task/8749/stat : 8749 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 6131 0 0 0 35 44 0 0 16 0 32 0 736270106 1778016256 150304 268435456000 4194304 4580107 140733484447840 18446744073709551615 258650614600 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8734/tid=8750] ppid=8732 vsize=1736344 CPUtime=0.79 cores=0-31
/proc/8734/task/8750/stat : 8750 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 5524 0 0 0 35 44 0 0 15 0 32 0 736270106 1778016256 150325 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8734/tid=8751] ppid=8732 vsize=1736344 CPUtime=0.73 cores=0-31
/proc/8734/task/8751/stat : 8751 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 5819 0 0 0 37 36 0 0 16 0 32 0 736270106 1778016256 150342 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604505503284704 0 0 -1 0 0 0 0
[pid=8734/tid=8752] ppid=8732 vsize=1736344 CPUtime=0.74 cores=0-31
/proc/8734/task/8752/stat : 8752 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 4860 0 0 0 32 42 0 0 15 0 32 0 736270106 1778016256 150356 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604505642704352 0 0 -1 26 0 0 0
[pid=8734/tid=8753] ppid=8732 vsize=1736344 CPUtime=0.83 cores=0-31
/proc/8734/task/8753/stat : 8753 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 6534 0 0 0 41 42 0 0 16 0 32 0 736270106 1778016256 150367 268435456000 4194304 4580107 140733484447840 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=8734/tid=8754] ppid=8732 vsize=1736344 CPUtime=0.79 cores=0-31
/proc/8734/task/8754/stat : 8754 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 5845 0 0 0 32 47 0 0 16 0 32 0 736270106 1778016256 150370 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604709089918432 0 0 -1 19 0 0 0
[pid=8734/tid=8755] ppid=8732 vsize=1736344 CPUtime=0.79 cores=0-31
/proc/8734/task/8755/stat : 8755 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 5246 0 0 0 38 41 0 0 15 0 32 0 736270106 1778016256 150380 268435456000 4194304 4580107 140733484447840 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=8734/tid=8756] ppid=8732 vsize=1736344 CPUtime=0.82 cores=0-31
/proc/8734/task/8756/stat : 8756 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 5775 0 0 0 37 45 0 0 15 0 32 0 736270106 1778016256 150399 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604481246633440 0 0 -1 12 0 0 0
[pid=8734/tid=8757] ppid=8732 vsize=1736344 CPUtime=0.8 cores=0-31
/proc/8734/task/8757/stat : 8757 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 6407 0 0 0 37 43 0 0 15 0 32 0 736270106 1778016256 150424 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604476294217184 0 0 -1 28 0 0 0
[pid=8734/tid=8758] ppid=8732 vsize=1736344 CPUtime=0.76 cores=0-31
/proc/8734/task/8758/stat : 8758 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 4716 0 0 0 33 43 0 0 16 0 32 0 736270108 1778016256 150442 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604505041354208 0 0 -1 13 0 0 0
[pid=8734/tid=8759] ppid=8732 vsize=1736344 CPUtime=0.79 cores=0-31
/proc/8734/task/8759/stat : 8759 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 6366 0 0 0 34 45 0 0 15 0 32 0 736270108 1778016256 150457 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604480827702752 0 0 -1 17 0 0 0
[pid=8734/tid=8760] ppid=8732 vsize=1736344 CPUtime=0.77 cores=0-31
/proc/8734/task/8760/stat : 8760 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 6737 0 0 0 32 45 0 0 16 0 32 0 736270108 1778016256 150463 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604483726736864 0 0 -1 21 0 0 0
[pid=8734/tid=8761] ppid=8732 vsize=1736344 CPUtime=0.8 cores=0-31
/proc/8734/task/8761/stat : 8761 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 6343 0 0 0 36 44 0 0 15 0 32 0 736270108 1778016256 150477 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8734/tid=8762] ppid=8732 vsize=1736344 CPUtime=0.74 cores=0-31
/proc/8734/task/8762/stat : 8762 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 5017 0 0 0 29 45 0 0 15 0 32 0 736270108 1778016256 150489 268435456000 4194304 4580107 140733484447840 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=8734/tid=8763] ppid=8732 vsize=1736344 CPUtime=0.8 cores=0-31
/proc/8734/task/8763/stat : 8763 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 5864 0 0 0 34 46 0 0 15 0 32 0 736270108 1778016256 150507 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604696502263264 0 0 -1 23 0 0 0
[pid=8734/tid=8764] ppid=8732 vsize=1736344 CPUtime=0.75 cores=0-31
/proc/8734/task/8764/stat : 8764 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 6741 0 0 0 31 44 0 0 15 0 32 0 736270108 1778016256 150513 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604500038155744 0 0 -1 3 0 0 0
[pid=8734/tid=8765] ppid=8732 vsize=1736344 CPUtime=0.74 cores=0-31
/proc/8734/task/8765/stat : 8765 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 6576 0 0 0 30 44 0 0 15 0 32 0 736270108 1778016256 150525 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=8734/tid=8766] ppid=8732 vsize=1736344 CPUtime=0.78 cores=0-31
/proc/8734/task/8766/stat : 8766 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 6362 0 0 0 33 45 0 0 16 0 32 0 736270108 1778016256 150534 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604477821140448 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 1736344

[startup+3.10278 s]
/proc/loadavg: 27.33 30.99 31.71 32/445 8766
/proc/meminfo: memFree=254231876/264257624 swapFree=67111528/67111528
[pid=8734] ppid=8732 vsize=2378036 CPUtime=45.69 cores=0-31
/proc/8734/stat : 8734 (strangenight2-m) S 8732 8734 8708 0 -1 4202496 383007 0 0 0 2002 2567 0 0 15 0 32 0 736270098 2435108864 316838 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 29 0 0 0
/proc/8734/statm: 594509 316853 336 95 0 589491 0
[pid=8734/tid=8736] ppid=8732 vsize=2378036 CPUtime=1.41 cores=0-31
/proc/8734/task/8736/stat : 8736 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 10561 0 0 0 67 74 0 0 15 0 32 0 736270106 2435108864 316862 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604481246633440 0 0 -1 1 0 0 0
[pid=8734/tid=8737] ppid=8732 vsize=2378036 CPUtime=1.39 cores=0-31
/proc/8734/task/8737/stat : 8737 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 10130 0 0 0 58 81 0 0 15 0 32 0 736270106 2435108864 316873 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604701506215392 0 0 -1 27 0 0 0
[pid=8734/tid=8738] ppid=8732 vsize=2378036 CPUtime=1.43 cores=0-31
/proc/8734/task/8738/stat : 8738 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 11840 0 0 0 63 80 0 0 15 0 32 0 736270106 2435108864 316882 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604505234963936 0 0 -1 16 0 0 0
[pid=8734/tid=8739] ppid=8732 vsize=2378036 CPUtime=1.28 cores=0-31
/proc/8734/task/8739/stat : 8739 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 11245 0 0 0 46 82 0 0 15 0 32 0 736270106 2435108864 316893 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604706145795552 0 0 -1 11 0 0 0
[pid=8734/tid=8740] ppid=8732 vsize=2378036 CPUtime=1.39 cores=0-31
/proc/8734/task/8740/stat : 8740 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 12813 0 0 0 63 76 0 0 15 0 32 0 736270106 2435108864 316903 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604478535384544 0 0 -1 24 0 0 0
[pid=8734/tid=8741] ppid=8732 vsize=2378036 CPUtime=1.44 cores=0-31
/proc/8734/task/8741/stat : 8741 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 11182 0 0 0 64 80 0 0 16 0 32 0 736270106 2435108864 316913 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604480827702752 0 0 -1 20 0 0 0
[pid=8734/tid=8742] ppid=8732 vsize=2378036 CPUtime=1.41 cores=0-31
/proc/8734/task/8742/stat : 8742 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 11003 0 0 0 68 73 0 0 16 0 32 0 736270106 2435108864 316923 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604474877468128 0 0 -1 4 0 0 0
[pid=8734/tid=8743] ppid=8732 vsize=2378036 CPUtime=1.47 cores=0-31
/proc/8734/task/8743/stat : 8743 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 11766 0 0 0 65 82 0 0 15 0 32 0 736270106 2435108864 316934 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604710118333920 0 0 -1 22 0 0 0
[pid=8734/tid=8744] ppid=8732 vsize=2378036 CPUtime=1.44 cores=0-31
/proc/8734/task/8744/stat : 8744 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 11009 0 0 0 67 77 0 0 15 0 32 0 736270106 2435108864 316943 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604505503284704 0 0 -1 5 0 0 0
[pid=8734/tid=8745] ppid=8732 vsize=2378036 CPUtime=1.42 cores=0-31
/proc/8734/task/8745/stat : 8745 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 10456 0 0 0 62 80 0 0 15 0 32 0 736270106 2435108864 316954 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604475902647776 0 0 -1 2 0 0 0
[pid=8734/tid=8746] ppid=8732 vsize=2378036 CPUtime=1.41 cores=0-31
/proc/8734/task/8746/stat : 8746 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 11021 0 0 0 57 84 0 0 15 0 32 0 736270106 2435108864 316964 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604709089918432 0 0 -1 6 0 0 0
[pid=8734/tid=8747] ppid=8732 vsize=2378036 CPUtime=1.41 cores=0-31
/proc/8734/task/8747/stat : 8747 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 13085 0 0 0 63 78 0 0 15 0 32 0 736270106 2435108864 316975 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604491528682976 0 0 -1 15 0 0 0
[pid=8734/tid=8748] ppid=8732 vsize=2378036 CPUtime=1.47 cores=0-31
/proc/8734/task/8748/stat : 8748 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 11727 0 0 0 70 77 0 0 16 0 32 0 736270106 2435108864 316985 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604505118334432 0 0 -1 9 0 0 0
[pid=8734/tid=8749] ppid=8732 vsize=2378036 CPUtime=1.4 cores=0-31
/proc/8734/task/8749/stat : 8749 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 12010 0 0 0 60 80 0 0 15 0 32 0 736270106 2435108864 316995 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446744071566932944 0 0 -1 10 0 0 0
[pid=8734/tid=8750] ppid=8732 vsize=2378036 CPUtime=1.43 cores=0-31
/proc/8734/task/8750/stat : 8750 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 11682 0 0 0 62 81 0 0 16 0 32 0 736270106 2435108864 317005 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604505642704352 0 0 -1 31 0 0 0
[pid=8734/tid=8751] ppid=8732 vsize=2378036 CPUtime=1.35 cores=0-31
/proc/8734/task/8751/stat : 8751 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 11584 0 0 0 71 64 0 0 15 0 32 0 736270106 2435108864 317015 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604710869687776 0 0 -1 0 0 0 0
[pid=8734/tid=8752] ppid=8732 vsize=2378036 CPUtime=1.37 cores=0-31
/proc/8734/task/8752/stat : 8752 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 10750 0 0 0 59 78 0 0 15 0 32 0 736270106 2435108864 317026 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604474456374752 0 0 -1 26 0 0 0
[pid=8734/tid=8753] ppid=8732 vsize=2378036 CPUtime=1.48 cores=0-31
/proc/8734/task/8753/stat : 8753 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 13966 0 0 0 69 79 0 0 15 0 32 0 736270106 2435108864 317026 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604481017150944 0 0 -1 18 0 0 0
[pid=8734/tid=8754] ppid=8732 vsize=2378036 CPUtime=1.42 cores=0-31
/proc/8734/task/8754/stat : 8754 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 11762 0 0 0 58 84 0 0 16 0 32 0 736270106 2435108864 317026 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8734/tid=8755] ppid=8732 vsize=2378036 CPUtime=1.46 cores=0-31
/proc/8734/task/8755/stat : 8755 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 12135 0 0 0 67 79 0 0 15 0 32 0 736270106 2435108864 317026 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604711719878112 0 0 -1 8 0 0 0
[pid=8734/tid=8756] ppid=8732 vsize=2378036 CPUtime=1.45 cores=0-31
/proc/8734/task/8756/stat : 8756 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 12524 0 0 0 62 83 0 0 16 0 32 0 736270106 2435108864 317026 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604698333920736 0 0 -1 12 0 0 0
[pid=8734/tid=8757] ppid=8732 vsize=2378036 CPUtime=1.46 cores=0-31
/proc/8734/task/8757/stat : 8757 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 13828 0 0 0 65 81 0 0 16 0 32 0 736270106 2435108864 317026 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604489019006432 0 0 -1 28 0 0 0
[pid=8734/tid=8758] ppid=8732 vsize=2378036 CPUtime=1.39 cores=0-31
/proc/8734/task/8758/stat : 8758 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 10477 0 0 0 59 80 0 0 15 0 32 0 736270108 2435108864 317027 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604712257306080 0 0 -1 13 0 0 0
[pid=8734/tid=8759] ppid=8732 vsize=2378036 CPUtime=1.42 cores=0-31
/proc/8734/task/8759/stat : 8759 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 13132 0 0 0 63 79 0 0 15 0 32 0 736270108 2435108864 317027 268435456000 4194304 4580107 140733484447840 18446744073709551615 4307028 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=8734/tid=8760] ppid=8732 vsize=2378036 CPUtime=1.4 cores=0-31
/proc/8734/task/8760/stat : 8760 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 13352 0 0 0 60 80 0 0 15 0 32 0 736270108 2435108864 317029 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8734/tid=8761] ppid=8732 vsize=2378036 CPUtime=1.46 cores=0-31
/proc/8734/task/8761/stat : 8761 (strangenight2-m) D 8732 8734 8708 0 -1 4202560 13571 0 0 0 64 82 0 0 15 0 32 0 736270108 2435108864 317029 268435456000 4194304 4580107 140733484447840 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8734/tid=8762] ppid=8732 vsize=2378036 CPUtime=1.37 cores=0-31
/proc/8734/task/8762/stat : 8762 (strangenight2-m) D 8732 8734 8708 0 -1 4202560 10997 0 0 0 57 80 0 0 15 0 32 0 736270108 2435108864 317029 268435456000 4194304 4580107 140733484447840 18446744073709551615 4309673 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=8734/tid=8763] ppid=8732 vsize=2378036 CPUtime=1.45 cores=0-31
/proc/8734/task/8763/stat : 8763 (strangenight2-m) S 8732 8734 8708 0 -1 4202560 12561 0 0 0 60 85 0 0 15 0 32 0 736270108 2435108864 317029 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651060958 0 0 4096 2 18446604476294217184 0 0 -1 23 0 0 0
[pid=8734/tid=8764] ppid=8732 vsize=2378036 CPUtime=1.45 cores=0-31
/proc/8734/task/8764/stat : 8764 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 13273 0 0 0 61 84 0 0 15 0 32 0 736270108 2435108864 317029 268435456000 4194304 4580107 140733484447840 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8734/tid=8765] ppid=8732 vsize=2378036 CPUtime=1.35 cores=0-31

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

[pid=8734/tid=8745] ppid=8732 vsize=28101448 CPUtime=4960.05 cores=0-31
/proc/8734/task/8745/stat : 8745 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3035721 0 0 0 494741 1264 0 0 25 0 32 0 736270106 28775882752 6020192 268435456000 4194304 4580107 140733484447840 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=8734/tid=8746] ppid=8732 vsize=28101448 CPUtime=4954.57 cores=0-31
/proc/8734/task/8746/stat : 8746 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3178323 0 0 0 494190 1267 0 0 25 0 32 0 736270106 28775882752 6020192 268435456000 4194304 4580107 140733484447840 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=8734/tid=8747] ppid=8732 vsize=28101448 CPUtime=4963.78 cores=0-31
/proc/8734/task/8747/stat : 8747 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 2990814 0 0 0 495093 1285 0 0 25 0 32 0 736270106 28775882752 6020192 268435456000 4194304 4580107 140733484447840 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8734/tid=8748] ppid=8732 vsize=28101448 CPUtime=4961.97 cores=0-31
/proc/8734/task/8748/stat : 8748 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3596997 0 0 0 494736 1461 0 0 25 0 32 0 736270106 28775882752 6020192 268435456000 4194304 4580107 140733484447840 18446744073709551615 4294883 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8734/tid=8749] ppid=8732 vsize=28101448 CPUtime=4962.06 cores=0-31
/proc/8734/task/8749/stat : 8749 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3816813 0 0 0 494738 1468 0 0 25 0 32 0 736270106 28775882752 6020192 268435456000 4194304 4580107 140733484447840 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=8734/tid=8750] ppid=8732 vsize=28101448 CPUtime=4957.74 cores=0-31
/proc/8734/task/8750/stat : 8750 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3470021 0 0 0 494319 1455 0 0 25 0 32 0 736270106 28775882752 6020192 268435456000 4194304 4580107 140733484447840 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8734/tid=8751] ppid=8732 vsize=28101448 CPUtime=4956.34 cores=0-31
/proc/8734/task/8751/stat : 8751 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 4257924 0 0 0 494211 1423 0 0 25 0 32 0 736270106 28775882752 6020192 268435456000 4194304 4580107 140733484447840 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=8734/tid=8752] ppid=8732 vsize=28101448 CPUtime=4962.34 cores=0-31
/proc/8734/task/8752/stat : 8752 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3188525 0 0 0 494867 1367 0 0 25 0 32 0 736270106 28775882752 6020192 268435456000 4194304 4580107 140733484447840 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8734/tid=8753] ppid=8732 vsize=28101448 CPUtime=4927.75 cores=0-31
/proc/8734/task/8753/stat : 8753 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3457739 0 0 0 491589 1186 0 0 25 0 32 0 736270106 28775882752 6020192 268435456000 4194304 4580107 140733484447840 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=8734/tid=8754] ppid=8732 vsize=28101448 CPUtime=4961.34 cores=0-31
/proc/8734/task/8754/stat : 8754 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3718955 0 0 0 494704 1430 0 0 25 0 32 0 736270106 28775882752 6020192 268435456000 4194304 4580107 140733484447840 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=8734/tid=8755] ppid=8732 vsize=28101448 CPUtime=4956.5 cores=0-31
/proc/8734/task/8755/stat : 8755 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3041674 0 0 0 494617 1033 0 0 25 0 32 0 736270106 28775882752 6020192 268435456000 4194304 4580107 140733484447840 18446744073709551615 4294217 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8734/tid=8756] ppid=8732 vsize=28101448 CPUtime=4967.45 cores=0-31
/proc/8734/task/8756/stat : 8756 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3010692 0 0 0 495519 1226 0 0 25 0 32 0 736270106 28775882752 6020192 268435456000 4194304 4580107 140733484447840 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8734/tid=8757] ppid=8732 vsize=28101448 CPUtime=4942.5 cores=0-31
/proc/8734/task/8757/stat : 8757 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 5160388 0 0 0 492665 1585 0 0 25 0 32 0 736270106 28775882752 6020192 268435456000 4194304 4580107 140733484447840 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8734/tid=8758] ppid=8732 vsize=28101448 CPUtime=4913.16 cores=0-31
/proc/8734/task/8758/stat : 8758 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3177151 0 0 0 490169 1147 0 0 25 0 32 0 736270108 28775882752 6020192 268435456000 4194304 4580107 140733484447840 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8734/tid=8759] ppid=8732 vsize=28101448 CPUtime=4952.58 cores=0-31
/proc/8734/task/8759/stat : 8759 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 4400806 0 0 0 493784 1474 0 0 25 0 32 0 736270108 28775882752 6020192 268435456000 4194304 4580107 140733484447840 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=8734/tid=8760] ppid=8732 vsize=28101448 CPUtime=4961.45 cores=0-31
/proc/8734/task/8760/stat : 8760 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 2956090 0 0 0 494959 1186 0 0 25 0 32 0 736270108 28775882752 6020192 268435456000 4194304 4580107 140733484447840 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8734/tid=8761] ppid=8732 vsize=28101448 CPUtime=4960.12 cores=0-31
/proc/8734/task/8761/stat : 8761 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3134545 0 0 0 494686 1326 0 0 25 0 32 0 736270108 28775882752 6020192 268435456000 4194304 4580107 140733484447840 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=8734/tid=8762] ppid=8732 vsize=28101448 CPUtime=4966.93 cores=0-31
/proc/8734/task/8762/stat : 8762 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3473155 0 0 0 495295 1398 0 0 25 0 32 0 736270108 28775882752 6020192 268435456000 4194304 4580107 140733484447840 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8734/tid=8763] ppid=8732 vsize=28101448 CPUtime=4953.65 cores=0-31
/proc/8734/task/8763/stat : 8763 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3673147 0 0 0 494086 1279 0 0 25 0 32 0 736270108 28775882752 6020192 268435456000 4194304 4580107 140733484447840 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8734/tid=8764] ppid=8732 vsize=28101448 CPUtime=4956.33 cores=0-31
/proc/8734/task/8764/stat : 8764 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 2112389 0 0 0 494781 852 0 0 25 0 32 0 736270108 28775882752 6020192 268435456000 4194304 4580107 140733484447840 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8734/tid=8765] ppid=8732 vsize=28101448 CPUtime=4960.9 cores=0-31
/proc/8734/task/8765/stat : 8765 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3483988 0 0 0 494688 1402 0 0 25 0 32 0 736270108 28775882752 6020192 268435456000 4194304 4580107 140733484447840 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8734/tid=8766] ppid=8732 vsize=28101448 CPUtime=4947.32 cores=0-31
/proc/8734/task/8766/stat : 8766 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 431628 0 0 0 494307 425 0 0 25 0 32 0 736270108 28775882752 6020192 268435456000 4194304 4580107 140733484447840 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 158616
Current children cumulated vsize (KiB) 28101448



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+5100 s]
/proc/loadavg: 32.38 32.25 32.12 33/445 8923
/proc/meminfo: memFree=231011864/264257624 swapFree=67111528/67111528
[pid=8734] ppid=8732 vsize=28101448 CPUtime=159182 cores=0-31
/proc/8734/stat : 8734 (strangenight2-m) R 8732 8734 8708 0 -1 4202496 87343883 0 0 0 15881567 36681 0 0 25 0 32 0 736270098 28775882752 6024975 268435456000 4194304 4580107 140733484447840 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8734/statm: 7025362 6024975 387 95 0 7020344 0
[pid=8734/tid=8736] ppid=8732 vsize=28101448 CPUtime=4981.74 cores=0-31
/proc/8734/task/8736/stat : 8736 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 871391 0 0 0 497526 648 0 0 25 0 32 0 736270106 28775882752 6024975 268435456000 4194304 4580107 140733484447840 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8734/tid=8737] ppid=8732 vsize=28101448 CPUtime=4994.36 cores=0-31
/proc/8734/task/8737/stat : 8737 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 1152315 0 0 0 498679 757 0 0 25 0 32 0 736270106 28775882752 6024975 268435456000 4194304 4580107 140733484447840 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8734/tid=8738] ppid=8732 vsize=28101448 CPUtime=4991.23 cores=0-31
/proc/8734/task/8738/stat : 8738 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 2023651 0 0 0 498138 985 0 0 25 0 32 0 736270106 28775882752 6024975 268435456000 4194304 4580107 140733484447840 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8734/tid=8739] ppid=8732 vsize=28101448 CPUtime=4978.43 cores=0-31
/proc/8734/task/8739/stat : 8739 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 1648678 0 0 0 496836 1007 0 0 25 0 32 0 736270106 28775882752 6024975 268435456000 4194304 4580107 140733484447840 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8734/tid=8740] ppid=8732 vsize=28101448 CPUtime=4978.59 cores=0-31
/proc/8734/task/8740/stat : 8740 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 1282740 0 0 0 497056 803 0 0 25 0 32 0 736270106 28775882752 6024975 268435456000 4194304 4580107 140733484447840 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8734/tid=8741] ppid=8732 vsize=28101448 CPUtime=4977.59 cores=0-31
/proc/8734/task/8741/stat : 8741 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 1157992 0 0 0 497003 756 0 0 25 0 32 0 736270106 28775882752 6024975 268435456000 4194304 4580107 140733484447840 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=8734/tid=8742] ppid=8732 vsize=28101448 CPUtime=4972.91 cores=0-31
/proc/8734/task/8742/stat : 8742 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 1826422 0 0 0 496344 947 0 0 25 0 32 0 736270106 28775882752 6024975 268435456000 4194304 4580107 140733484447840 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=8734/tid=8743] ppid=8732 vsize=28101448 CPUtime=4977.78 cores=0-31
/proc/8734/task/8743/stat : 8743 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 1786860 0 0 0 496768 1010 0 0 25 0 32 0 736270106 28775882752 6024975 268435456000 4194304 4580107 140733484447840 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=8734/tid=8744] ppid=8732 vsize=28101448 CPUtime=4969.12 cores=0-31
/proc/8734/task/8744/stat : 8744 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 1670063 0 0 0 495927 985 0 0 25 0 32 0 736270106 28775882752 6024975 268435456000 4194304 4580107 140733484447840 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=8734/tid=8745] ppid=8732 vsize=28101448 CPUtime=4977.77 cores=0-31
/proc/8734/task/8745/stat : 8745 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3035734 0 0 0 496513 1264 0 0 25 0 32 0 736270106 28775882752 6024975 268435456000 4194304 4580107 140733484447840 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=8734/tid=8746] ppid=8732 vsize=28101448 CPUtime=4972.29 cores=0-31
/proc/8734/task/8746/stat : 8746 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3178491 0 0 0 495962 1267 0 0 25 0 32 0 736270106 28775882752 6024976 268435456000 4194304 4580107 140733484447840 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=8734/tid=8747] ppid=8732 vsize=28101448 CPUtime=4981.5 cores=0-31
/proc/8734/task/8747/stat : 8747 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 2990829 0 0 0 496865 1285 0 0 25 0 32 0 736270106 28775882752 6024976 268435456000 4194304 4580107 140733484447840 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8734/tid=8748] ppid=8732 vsize=28101448 CPUtime=4979.69 cores=0-31
/proc/8734/task/8748/stat : 8748 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3597188 0 0 0 496508 1461 0 0 25 0 32 0 736270106 28775882752 6024976 268435456000 4194304 4580107 140733484447840 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8734/tid=8749] ppid=8732 vsize=28101448 CPUtime=4979.77 cores=0-31
/proc/8734/task/8749/stat : 8749 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3817028 0 0 0 496509 1468 0 0 25 0 32 0 736270106 28775882752 6024976 268435456000 4194304 4580107 140733484447840 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=8734/tid=8750] ppid=8732 vsize=28101448 CPUtime=4975.46 cores=0-31
/proc/8734/task/8750/stat : 8750 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3470194 0 0 0 496090 1456 0 0 25 0 32 0 736270106 28775882752 6024976 268435456000 4194304 4580107 140733484447840 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8734/tid=8751] ppid=8732 vsize=28101448 CPUtime=4974.06 cores=0-31
/proc/8734/task/8751/stat : 8751 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 4257931 0 0 0 495983 1423 0 0 25 0 32 0 736270106 28775882752 6024976 268435456000 4194304 4580107 140733484447840 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=8734/tid=8752] ppid=8732 vsize=28101448 CPUtime=4980.06 cores=0-31
/proc/8734/task/8752/stat : 8752 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3188706 0 0 0 496638 1368 0 0 25 0 32 0 736270106 28775882752 6024976 268435456000 4194304 4580107 140733484447840 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8734/tid=8753] ppid=8732 vsize=28101448 CPUtime=4944.95 cores=0-31
/proc/8734/task/8753/stat : 8753 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3457923 0 0 0 493309 1186 0 0 25 0 32 0 736270106 28775882752 6024976 268435456000 4194304 4580107 140733484447840 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=8734/tid=8754] ppid=8732 vsize=28101448 CPUtime=4979.07 cores=0-31
/proc/8734/task/8754/stat : 8754 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3719147 0 0 0 496476 1431 0 0 25 0 32 0 736270106 28775882752 6024976 268435456000 4194304 4580107 140733484447840 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=8734/tid=8755] ppid=8732 vsize=28101448 CPUtime=4974.22 cores=0-31
/proc/8734/task/8755/stat : 8755 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3041674 0 0 0 496388 1034 0 0 25 0 32 0 736270106 28775882752 6024976 268435456000 4194304 4580107 140733484447840 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8734/tid=8756] ppid=8732 vsize=28101448 CPUtime=4985.16 cores=0-31
/proc/8734/task/8756/stat : 8756 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3010864 0 0 0 497290 1226 0 0 25 0 32 0 736270106 28775882752 6024976 268435456000 4194304 4580107 140733484447840 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8734/tid=8757] ppid=8732 vsize=28101448 CPUtime=4960.21 cores=0-31
/proc/8734/task/8757/stat : 8757 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 5160395 0 0 0 494436 1585 0 0 25 0 32 0 736270106 28775882752 6024976 268435456000 4194304 4580107 140733484447840 18446744073709551615 4293295 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8734/tid=8758] ppid=8732 vsize=28101448 CPUtime=4930.88 cores=0-31
/proc/8734/task/8758/stat : 8758 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3177330 0 0 0 491940 1148 0 0 25 0 32 0 736270108 28775882752 6024976 268435456000 4194304 4580107 140733484447840 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8734/tid=8759] ppid=8732 vsize=28101448 CPUtime=4970.3 cores=0-31
/proc/8734/task/8759/stat : 8759 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 4400984 0 0 0 495556 1474 0 0 25 0 32 0 736270108 28775882752 6024976 268435456000 4194304 4580107 140733484447840 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=8734/tid=8760] ppid=8732 vsize=28101448 CPUtime=4979.16 cores=0-31
/proc/8734/task/8760/stat : 8760 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 2956274 0 0 0 496730 1186 0 0 25 0 32 0 736270108 28775882752 6024976 268435456000 4194304 4580107 140733484447840 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8734/tid=8761] ppid=8732 vsize=28101448 CPUtime=4977.84 cores=0-31
/proc/8734/task/8761/stat : 8761 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3134552 0 0 0 496458 1326 0 0 25 0 32 0 736270108 28775882752 6024976 268435456000 4194304 4580107 140733484447840 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=8734/tid=8762] ppid=8732 vsize=28101448 CPUtime=4984.65 cores=0-31
/proc/8734/task/8762/stat : 8762 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3473339 0 0 0 497066 1399 0 0 25 0 32 0 736270108 28775882752 6024976 268435456000 4194304 4580107 140733484447840 18446744073709551615 4294148 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8734/tid=8763] ppid=8732 vsize=28101448 CPUtime=4971.35 cores=0-31
/proc/8734/task/8763/stat : 8763 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3673312 0 0 0 495855 1280 0 0 25 0 32 0 736270108 28775882752 6024976 268435456000 4194304 4580107 140733484447840 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8734/tid=8764] ppid=8732 vsize=28101448 CPUtime=4974.04 cores=0-31
/proc/8734/task/8764/stat : 8764 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 2112555 0 0 0 496552 852 0 0 25 0 32 0 736270108 28775882752 6024976 268435456000 4194304 4580107 140733484447840 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8734/tid=8765] ppid=8732 vsize=28101448 CPUtime=4978.62 cores=0-31
/proc/8734/task/8765/stat : 8765 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 3484137 0 0 0 496460 1402 0 0 25 0 32 0 736270108 28775882752 6024976 268435456000 4194304 4580107 140733484447840 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8734/tid=8766] ppid=8732 vsize=28101448 CPUtime=4965.03 cores=0-31
/proc/8734/task/8766/stat : 8766 (strangenight2-m) R 8732 8734 8708 0 -1 4202560 431698 0 0 0 496078 425 0 0 25 0 32 0 736270108 28775882752 6024976 268435456000 4194304 4580107 140733484447840 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 159182
Current children cumulated vsize (KiB) 28101448

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: 29.87 31.73 31.95 2/416 8924
/proc/meminfo: memFree=238031648/264257624 swapFree=67111528/67111528
[pid=8734] ppid=8732 vsize=0 CPUtime=159183 cores=0-31
/proc/8734/stat : 8734 (strangenight2-m) Z 8732 8734 8708 0 -1 4203548 87343884 0 0 0 15881589 36749 0 0 25 0 2 0 736270098 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8734/statm: 0 0 0 0 0 0 0
[pid=8734/tid=8753] ppid=8732 vsize=0 CPUtime=4945.64 cores=0-31
/proc/8734/task/8753/stat : 8753 (strangenight2-m) R 8732 8734 8708 0 -1 4203588 3457923 0 0 0 493309 1255 0 0 25 0 2 0 736270106 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 159183
Current children cumulated vsize (KiB) 0

[startup+5101.5 s]
/proc/loadavg: 29.87 31.73 31.95 2/416 8924
/proc/meminfo: memFree=238031648/264257624 swapFree=67111528/67111528
[pid=8734] ppid=8732 vsize=0 CPUtime=159184 cores=0-31
/proc/8734/stat : 8734 (strangenight2-m) Z 8732 8734 8708 0 -1 4203548 87343884 0 0 0 15881589 36828 0 0 25 0 2 0 736270098 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8734/statm: 0 0 0 0 0 0 0
[pid=8734/tid=8753] ppid=8732 vsize=0 CPUtime=4946.42 cores=0-31
/proc/8734/task/8753/stat : 8753 (strangenight2-m) R 8732 8734 8708 0 -1 4203588 3457923 0 0 0 493309 1333 0 0 25 0 2 0 736270106 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 159184
Current children cumulated vsize (KiB) 0

[startup+5101.7 s]
/proc/loadavg: 29.87 31.73 31.95 2/416 8924
/proc/meminfo: memFree=238031648/264257624 swapFree=67111528/67111528
[pid=8734] ppid=8732 vsize=0 CPUtime=159184 cores=0-31
/proc/8734/stat : 8734 (strangenight2-m) Z 8732 8734 8708 0 -1 4203548 87343884 0 0 0 15881589 36848 0 0 25 0 2 0 736270098 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8734/statm: 0 0 0 0 0 0 0
[pid=8734/tid=8753] ppid=8732 vsize=0 CPUtime=4946.62 cores=0-31
/proc/8734/task/8753/stat : 8753 (strangenight2-m) R 8732 8734 8708 0 -1 4203588 3457923 0 0 0 493309 1353 0 0 25 0 2 0 736270106 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 159184
Current children cumulated vsize (KiB) 0

[startup+5101.8 s]
/proc/loadavg: 29.87 31.73 31.95 2/416 8924
/proc/meminfo: memFree=254235332/264257624 swapFree=67111528/67111528
[pid=8734] ppid=8732 vsize=0 CPUtime=159184 cores=0-31
/proc/8734/stat : 8734 (strangenight2-m) Z 8732 8734 8708 0 -1 4203548 87343884 0 0 0 15881589 36859 0 0 25 0 2 0 736270098 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8734/statm: 0 0 0 0 0 0 0
[pid=8734/tid=8753] ppid=8732 vsize=0 CPUtime=4946.74 cores=0-31
/proc/8734/task/8753/stat : 8753 (strangenight2-m) R 8732 8734 8708 0 -1 4203588 3457923 0 0 0 493309 1365 0 0 25 0 2 0 736270106 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 159184
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5101.86
CPU time (s): 159185
CPU user time (s): 158816
CPU system time (s): 368.635
CPU usage (%): 3120.13
Max. virtual memory (cumulated for all children) (KiB): 28359908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 158816
system time used= 368.635
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87343884
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= 2982622
involuntary context switches= 317645

runsolver used 28.9756 second user time and 115.02 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-24 16:37:17
IDJOB=3400623
IDBENCH=20410
IDSOLVER=1886
FILE ID=node200/3400623-1306247835
RUNJOBID= node200-1306247835-8722
PBS_JOBID= 13411756
Free space on /tmp= 62024 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-8-ipc5-h19-sat.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400623-1306247835/watcher-3400623-1306247835 -o /tmp/evaluation-result-3400623-1306247835/solver-3400623-1306247835 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400623-1306247835.cnf

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

MD5SUM BENCH= 409f4401e9e8b60ee665ac5567a13e41
RANDOM SEED=1754057962

node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      255151468 kB
Buffers:        463260 kB
Cached:        8236880 kB
SwapCached:          0 kB
Active:        7788416 kB
Inactive:       980332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255151468 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           28736 kB
Writeback:           0 kB
AnonPages:       69428 kB
Mapped:          14160 kB
Slab:           255328 kB
PageTables:       4548 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   191192 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= 62016 MiB
End job on node200 at 2011-05-24 18:02:19