Trace number 3400643

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)UNSAT 43270.1 1630.4

General information on the benchmark

Namevelev-vliw-uns-4.0-9-i1.cnf
MD5SUM590cca3a58efdeb1c95ef988a53daa1d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark35846.4
Satisfiable
(Un)Satisfiability was proved
Number of variables154309
Number of clauses3230738
Sum of the clauses size9429252
Maximum clause length3625
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 22024994
Number of clauses of size 31081436
Number of clauses of size 48866
Number of clauses of size 58692
Number of clauses of size over 5106749

Solver Data 

0.00/0.00	c Outputting solution to console
1.42/0.06	c Using 32 threads
1.42/0.07	c This is CryptoMiniSat 3.0.0
1.42/0.07	c WARNING: for repeatability, setting FPU to use double precision
1.42/0.07	c Reading file 'HOME/instance-3400643-1306266358.cnf'
1.42/0.09	c -- header says num vars:         154309
1.42/0.09	c -- header says num clauses:     3230738
227.01/16.32	c -- clauses added:            0 learnts,      3230738 normals,            0 xors
227.01/16.32	c -- vars added     154309
227.01/16.32	c Parsing time:  3.34 s
227.01/16.32	c  N st     0         0    154309   1205743   2024994         0   9429251         0   no data   no data
258.28/17.43	c asymm  cl-useful: 7/877/1205741 lits-rem:20 time: 0.82
632.20/29.17	c Flit:   655 Blit:   3599 bXBeca:    0 bXProp:   13 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 11.85
638.60/29.33	c Cleaning up after failed var search:     0.15 s 
648.81/29.71	c Replacing       13 vars Replaced    59010 lits Time:     0.38 s 
762.14/42.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
773.08/43.30	c bin-w-bin subsume rem          290 bins  time:  0.63 s
982.53/50.39	c subs with bin:      382  lits-rem:      9637  v-fix:    0  time:  6.86 s
1097.94/55.04	c Subs w/ non-existent bins:     28 l-rem:     22 v-fix:     0 done:  16524 time:  4.28 s
1106.85/55.38	c Removed useless bin:       1  fixed:     0  props:  20.01M  time:  0.34 s
1349.05/63.75	c lits-rem:       456  cl-subs:     4090  v-elim:  16822  v-fix:    0  time:  6.68 s
1352.22/63.89	c Finding binary XORs  T:     0.14 s  found:       6
1364.13/64.20	c Replacing        6 vars Replaced     6684 lits Time:     0.30 s 
1418.82/65.96	c Finding non-binary XORs:     1.46 s (found:       2, avg size: 3.0)
1418.82/65.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.25
1424.58/66.11	c calculated reachability. Time: 0.01
1430.97/66.30	c Calc default polars -  time:   0.19 s pos:    9236 undec:   21171 neg:  123902
1430.97/66.30	c =========================================================================================
1430.97/66.30	c types(t): F = full restart, N = normal restart
1430.97/66.30	c types(t): S = simplification begin/end, E = solution found
1430.97/66.30	c restart types(rt): st = static, dy = dynamic
1430.97/66.30	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1430.97/66.30	c  B st     0         0    133210   1274167   1841672         0   9483073         0   no data   no data
1798.53/77.86	c  N dy    17      4097    133210   1274167   1841764      3930   9483070    156459     15.10     22.18
2118.15/87.82	c  N dy    42      8419    133191   1274167   1845040      8063   9483063    330895     17.57     18.74
2361.10/95.46	c  N dy    54     13384    131700   1270714   1829220     12826   9413013    496767     15.75     16.71
2687.78/105.65	c  N dy    83     17616    131700   1270714   1829290     16908   9413010    646922     16.33     17.33
2895.51/112.20	c  N dy   106     21704    131684   1270714   1831648     11273   9413010    266037     16.55     23.24
3137.84/119.80	c  F st   132     25003    131683   1270714   1831697     14481   9413007    391524     16.96     19.15
3272.09/123.92	c  N st   135     26193    131656   1270714   1833825     15646   9412420    440615     16.96   no data
3489.46/130.70	c  S st   138     30001    131653   1270714   1833844     19400   9412420    598981     16.96   no data
3524.58/131.81	c  S st   138     30503    131650   1270714   1833869     19869   9412420    605622     16.96   no data
3531.60/132.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.25
4042.39/148.06	c Flit:   809 Blit:   5826 bXBeca:    0 bXProp:   90 Bins: 952513 BRemL:   2567 BRemN:     35 P: 200.0M T: 15.99
4048.80/148.29	c Cleaning up after failed var search:     0.23 s 
4067.96/148.89	c Replacing       91 vars Replaced   129949 lits Time:     0.59 s 
4106.32/150.01	c blocked clauses removed:      569 vars:    490 tried:      125515 T: 0.28 s
4115.92/150.36	c bin-w-bin subsume rem         7513 bins  time:  0.35 s
4333.28/157.15	c subs with bin:     4997  lits-rem:     93798  v-fix:    0  time:  6.79 s
4368.44/158.27	c Subs w/ non-existent bins:    444 l-rem:   1314 v-fix:     1 done:  15868 time:  1.11 s
4378.02/158.59	c Removed useless bin:    1631  fixed:     0  props:  20.04M  time:  0.29 s
4525.02/163.17	c lits-rem:        66  cl-subs:     6912  v-elim:    767  v-fix:    0  time:  4.57 s
4592.14/165.22	c subs with bin:      333  lits-rem:     12652  v-fix:    0  time:  1.77 s
4694.44/168.43	c lits-rem:      2385  cl-subs:     2989  v-elim:      0  v-fix:    0  time:  2.61 s
4694.44/168.43	c Added XOR as norm:1
4704.00/168.78	c asymm  cl-useful: 0/13452/1255863 lits-rem:0 time: 0.35
4710.39/168.95	c calculated reachability. Time: 0.01
4710.39/168.95	c  N dy   138     30503    123633   1255863   2441869     17895   8803474   2061601     16.96   no data
4716.79/169.11	c Finding binary XORs  T:     0.15 s  found:     184
4976.24/181.35	c  N dy   171     34512    112904   1243759   2227012     21718   8331680   2084495     17.37     18.82
5310.89/251.82	c  N dy   190     38864    109404   1243759   2244158     25954   8331674   2270986     17.31     18.45
5355.34/257.72	c  N dy   213     42940    109026   1239161   2175631     15168   8154340   1672032     17.24     23.25
5601.27/292.94	c Finding binary XORs  T:     0.14 s  found:    1023
5607.87/293.58	c Replacing     1207 vars Replaced   234750 lits Time:     0.64 s 
5642.18/296.10	c  S st   234     45755     98689   1234557   2154539     17889   7771663   2043718     17.39   no data
5680.57/297.65	c  S st   234     46255     98674   1234557   2154589     18320   7771663   2048955     17.39   no data
5688.37/297.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.25
6233.49/315.51	c Flit:  1548 Blit:   1426 bXBeca:    0 bXProp:   36 Bins: 460442 BRemL:   3850 BRemN:     30 P: 200.1M T: 17.58
6240.54/315.72	c Cleaning up after failed var search:     0.20 s 
6259.06/316.35	c Replacing       36 vars Replaced    81391 lits Time:     0.62 s 
6284.60/317.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
6297.39/317.57	c bin-w-bin subsume rem        24679 bins  time:  0.40 s
6530.66/324.82	c subs with bin:     9351  lits-rem:     93939  v-fix:    0  time:  7.24 s
6569.02/326.02	c Subs w/ non-existent bins:    662 l-rem:   1907 v-fix:     5 done:  12666 time:  1.20 s
6578.60/326.37	c Removed useless bin:    3502  fixed:     0  props:  20.00M  time:  0.34 s
6703.18/330.23	c lits-rem:      2372  cl-subs:     7860  v-elim:   1875  v-fix:    0  time:  3.84 s
6760.71/332.04	c subs with bin:      176  lits-rem:      6804  v-fix:    0  time:  1.58 s
6850.15/334.89	c lits-rem:      3551  cl-subs:     2272  v-elim:      0  v-fix:    0  time:  2.32 s
6866.14/335.42	c asymm  cl-useful: 0/79759/1218556 lits-rem:0 time: 0.52
6873.17/335.58	c calculated reachability. Time: 0.01
6873.17/335.58	c  N dy   234     46255     92353   1218556   2162187     16415   7308866   2193680     17.39   no data
6878.92/335.72	c Finding binary XORs  T:     0.14 s  found:      15
7128.91/343.71	c  N dy   253     50322     91570   1218556   2176298     20381   7308865   2364894     17.36     18.88
7236.14/349.05	c  N dy   269     54327     91280   1218327   2131203     24131   7265136   2457934     17.21     24.61
7331.35/356.13	c  N dy   296     58871     90356   1218058   2101983     28515   7215332   2629021     17.27     18.30
7609.15/380.43	c  N dy   327     62928     90285   1218058   2106212     32481   7215329   2806414     17.58     30.11
7753.90/385.71	c  N dy   341     66975     90285   1218058   2106221     18938   7215318   2121734     17.40     21.90
7972.07/399.53	c Finding binary XORs  T:     0.14 s  found:     116
7993.88/401.58	c  S st   357     69385     87108   1216641   2452626     21192   7081393   3012490     17.41     16.52
8006.12/402.64	c  S st   357     69886     87103   1216641   2452641     21671   7081393   3017556     17.41   no data
8008.29/402.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.26
8131.21/413.66	c Flit:  1686 Blit:    471 bXBeca:    0 bXProp:   29 Bins: 601609 BRemL:   8455 BRemN:     77 P: 200.0M T: 10.74
8133.23/413.86	c Cleaning up after failed var search:     0.20 s 
8139.22/414.34	c Replacing      160 vars Replaced    84366 lits Time:     0.48 s 
8147.61/415.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
8153.05/415.51	c bin-w-bin subsume rem        18465 bins  time:  0.44 s
8205.59/421.15	c subs with bin:     3566  lits-rem:     14161  v-fix:    0  time:  5.64 s
8240.37/424.80	c Subs w/ non-existent bins:     13 l-rem:    129 v-fix:     0 done:  14387 time:  3.65 s
8243.37/425.14	c Removed useless bin:    4523  fixed:     0  props:  20.01M  time:  0.34 s
8285.35/429.30	c lits-rem:       694  cl-subs:     7026  v-elim:    283  v-fix:    0  time:  4.14 s
8293.90/430.00	c subs with bin:      424  lits-rem:      2380  v-fix:    0  time:  0.54 s
8339.96/432.45	c lits-rem:       429  cl-subs:     1465  v-elim:      0  v-fix:    0  time:  1.96 s
8350.68/432.93	c asymm  cl-useful: 0/49285/1206017 lits-rem:0 time: 0.48
8355.59/433.10	c calculated reachability. Time: 0.01
8355.59/433.11	c  N dy   357     69886     84215   1206017   2713814     19381   6871341   3595223     17.41   no data
8357.99/433.25	c Finding binary XORs  T:     0.14 s  found:       1
8658.00/443.64	c  N dy   393     74450     80912   1205960   2558751     23831   6764943   3569509     17.69     18.72
8787.98/450.67	c  N dy   424     79230     80912   1205960   2558786     28447   6764918   3747715     17.83     32.14
9135.62/495.98	c  N dy   458     84748     80855   1205960   2576721     33804   6764916   4020576     17.87     19.49
9237.29/500.10	c Finding binary XORs  T:     0.14 s  found:     195
9269.26/501.17	c  F st   474     87500     79185   1205784   2520278     36443   6708293   4066318     17.88   no data
9285.87/501.66	c Replacing      196 vars Replaced    96729 lits Time:     0.49 s 
9429.06/506.16	c  N st   479     90797     78989   1205710   2519656     20213   6707855   3278962     17.88   no data
9716.72/515.11	c  N dy   510     96656     78978   1205710   2520426     25980   6707844   3547817     18.05     34.16
10029.97/524.98	c  N dy   551    102903     78935   1205710   2521796     32045   6707838   3784037     18.20     20.86
10109.78/527.48	c  S st   561    104831     78751   1205710   2522833     33925   6707834   3860394     18.20   no data
10154.54/528.86	c  S st   561    105331     78745   1205710   2522850     34407   6707834   3865780     18.20   no data
10161.55/529.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.24
10733.05/546.93	c Flit:  1475 Blit:     21 bXBeca:    0 bXProp:  102 Bins: 431278 BRemL:  10737 BRemN:    170 P: 200.0M T: 17.82
10739.44/547.13	c Cleaning up after failed var search:     0.19 s 
10752.24/547.59	c Replacing      103 vars Replaced    86832 lits Time:     0.45 s 
10777.80/548.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
10790.60/548.80	c bin-w-bin subsume rem        34444 bins  time:  0.48 s
10903.10/552.25	c subs with bin:      962  lits-rem:      8213  v-fix:    0  time:  3.45 s
10975.98/554.54	c Subs w/ non-existent bins:    309 l-rem:    895 v-fix:     0 done:  21884 time:  2.29 s
10988.77/554.95	c Removed useless bin:    2184  fixed:     0  props:  20.00M  time:  0.41 s
11114.06/558.86	c lits-rem:       832  cl-subs:     5216  v-elim:    239  v-fix:    0  time:  3.88 s
11167.76/560.57	c subs with bin:      518  lits-rem:      2845  v-fix:    0  time:  1.50 s
11257.22/563.38	c lits-rem:       461  cl-subs:     1910  v-elim:      0  v-fix:    0  time:  2.30 s
11273.21/563.85	c asymm  cl-useful: 0/32097/1196568 lits-rem:0 time: 0.47
11279.60/564.03	c calculated reachability. Time: 0.01
11279.60/564.03	c  N dy   561    105331     75509   1196568   2710278     31628   6469060   4303301     18.20   no data
11282.79/564.17	c Finding binary XORs  T:     0.14 s  found:      20
11493.59/570.79	c  N dy   586    112179     75509   1196568   2710296     38249   6469047   4507866     17.93     19.00
11999.32/621.09	c  N dy   635    119344     73061   1196545   3201689     24194   6413645   4913832     18.00     28.10
12001.91/621.58	c Finding binary XORs  T:     0.15 s  found:     153
12276.84/639.87	c  N dy   702    127024     71350   1196340   3025881     31701   6325581   4957025     18.26     21.54
12679.52/652.45	c  N dy   767    135179     71342   1196340   3026907     39703   6325579   5302647     18.49     27.28
13098.82/665.53	c  N dy   831    143850     71290   1196340   3028325     25380   6325570   4630239     18.61     19.67
13558.48/679.95	c  N dy   898    153194     71050   1196340   3029339     34567   6325554   5033909     18.72     19.71
13833.98/688.58	c  S st   940    157997     71026   1196340   3029906     39282   6325538   5262761     18.88   no data
13878.10/689.98	c  S st   940    158501     71025   1196340   3029910     39778   6325538   5270641     18.88   no data
13887.70/690.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.27
14485.11/709.00	c Flit:   335 Blit:    168 bXBeca:    0 bXProp:   92 Bins:  66912 BRemL:   9065 BRemN:   1116 P: 200.0M T: 18.74
14494.71/709.20	c Cleaning up after failed var search:     0.20 s 
14507.50/709.68	c Replacing      266 vars Replaced    91269 lits Time:     0.47 s 
14533.06/710.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
14549.04/710.96	c bin-w-bin subsume rem        30496 bins  time:  0.54 s
14625.76/713.40	c subs with bin:     1281  lits-rem:      7029  v-fix:    0  time:  2.44 s
14677.54/714.99	c Subs w/ non-existent bins:     64 l-rem:    670 v-fix:     0 done:  29520 time:  1.59 s
14696.08/715.50	c Removed useless bin:   10405  fixed:     0  props:  20.02M  time:  0.51 s
14827.13/719.61	c lits-rem:       284  cl-subs:     2489  v-elim:    625  v-fix:    0  time:  4.09 s
14894.23/721.74	c subs with bin:      706  lits-rem:      3280  v-fix:    0  time:  1.89 s
14990.12/724.70	c lits-rem:      1546  cl-subs:     1509  v-elim:      0  v-fix:    0  time:  2.48 s
15009.30/725.34	c asymm  cl-useful: 0/47307/1192683 lits-rem:0 time: 0.64
15015.69/725.52	c calculated reachability. Time: 0.01
15015.69/725.52	c  N dy   940    158501     69625   1192683   2895734     37095   6218905   4985768     18.88   no data
15018.89/725.66	c Finding binary XORs  T:     0.14 s  found:      54
15440.80/738.87	c  N dy   995    169234     68484   1192382   2862188     47583   6179595   5383465     18.84     20.56
15984.01/755.85	c  N dy  1054    180206     68483   1192382   2863288     34580   6179590   4724168     18.86     20.03
16236.33/763.70	c Finding binary XORs  T:     0.14 s  found:     130
16533.15/773.00	c  N dy  1128    193757     68224   1192382   2858489     47779   6176856   5261231     18.87     19.94
17127.66/791.63	c  N dy  1199    206142     67736   1191499   2856027     34685   6138442   4677031     18.87     24.39
17130.85/791.77	c Finding binary XORs  T:     0.14 s  found:      82
17782.86/812.11	c  N dy  1284    219360     67635   1191499   2874608     47628   6138424   5302704     18.94     20.29
18454.05/833.15	c  N dy  1378    233402     67633   1191499   2875106     35294   6138424   4725996     19.06     25.87
18703.35/840.93	c  S st  1409    237754     67631   1191499   2875414     39584   6138424   4921518     19.09   no data
18758.31/842.63	c  S st  1409    238254     67631   1191499   2875417     40081   6138424   4928065     19.09   no data
18764.06/842.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.24
19337.91/860.81	c Flit:   430 Blit:     37 bXBeca:    0 bXProp:  145 Bins: 194453 BRemL:  14313 BRemN:     49 P: 200.0M T: 17.92
19340.93/861.00	c Cleaning up after failed var search:     0.18 s 
19356.66/861.43	c Replacing      411 vars Replaced   118837 lits Time:     0.43 s 
19379.05/862.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
19394.64/862.64	c bin-w-bin subsume rem        30274 bins  time:  0.52 s
19458.65/864.66	c subs with bin:     1196  lits-rem:      5614  v-fix:    0  time:  2.02 s
19488.95/865.67	c Subs w/ non-existent bins:     50 l-rem:    902 v-fix:     0 done:  28638 time:  1.01 s
19502.93/866.11	c Removed useless bin:    3985  fixed:     0  props:  20.00M  time:  0.43 s
19615.06/869.85	c lits-rem:       377  cl-subs:     2499  v-elim:    504  v-fix:    0  time:  3.71 s
19672.58/871.65	c subs with bin:      322  lits-rem:      4782  v-fix:    0  time:  1.58 s
19758.84/874.36	c lits-rem:      1616  cl-subs:     1676  v-elim:      0  v-fix:    0  time:  2.24 s
19778.00/874.94	c asymm  cl-useful: 0/32712/1187926 lits-rem:0 time: 0.58
19784.40/875.12	c calculated reachability. Time: 0.01
19784.40/875.12	c  N dy  1409    238254     66168   1187926   2886942     37446   6062176   4923251     19.09   no data
19787.60/875.26	c Finding binary XORs  T:     0.14 s  found:      10
20084.83/884.55	c Finding binary XORs  T:     0.14 s  found:      29
20583.65/900.29	c  N dy  1516    253568     66043   1187842   3076695     52485   6058881   5949244     19.21     20.24
21462.54/927.72	c  N dy  1637    270155     65815   1187842   3079826     42050   6058873   5435932     19.39     20.42
22319.15/954.53	c  N dy  1759    287441     65815   1187842   3080466     30858   6058861   4892572     19.54     22.57
23249.24/983.60	c  N dy  1891    305883     65814   1187842   3081140     49059   6058843   5743053     19.70     26.71
23271.63/984.32	c  F st  1895    306250     65814   1187842   3081140     49422   6058843   5757933     19.71   no data
23287.60/984.82	c Replacing       39 vars Replaced    22504 lits Time:     0.32 s 
24230.51/1014.32	c  N dy  2011    325473     65692   1187837   3066611     38919   6051678   5209339     19.89     21.04
25109.50/1041.81	c  N dy  2128    345499     65686   1187837   3067281     58666   6051649   6121456     19.91     21.38
25360.48/1050.09	c Finding binary XORs  T:     0.14 s  found:      87
25731.20/1061.65	c  S st  2196    357382     65521   1187829   3164915     39988   6044802   5384252     19.93   no data
25795.76/1063.71	c  S st  2196    357883     65521   1187829   3164921     40483   6044802   5388261     19.93   no data
25804.72/1063.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.27
26324.40/1080.58	c Flit:   149 Blit:      2 bXBeca:    0 bXProp:   42 Bins: 218068 BRemL:  16972 BRemN:     22 P: 200.0M T: 16.59
26324.40/1080.58	c Cleaning up after failed var search:     0.00 s 
26339.06/1081.17	c Replacing      129 vars Replaced    79730 lits Time:     0.58 s 
26358.26/1081.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
26376.42/1082.46	c bin-w-bin subsume rem        39892 bins  time:  0.57 s
26442.70/1084.55	c subs with bin:      413  lits-rem:      3266  v-fix:    0  time:  2.09 s
26474.05/1085.55	c Subs w/ non-existent bins:     54 l-rem:    376 v-fix:     0 done:  29053 time:  1.00 s
26490.02/1086.04	c Removed useless bin:    5819  fixed:     0  props:  20.01M  time:  0.49 s
26623.28/1090.26	c lits-rem:       281  cl-subs:      559  v-elim:    760  v-fix:    0  time:  4.19 s
26666.15/1091.63	c subs with bin:      270  lits-rem:      1319  v-fix:    0  time:  1.18 s
26743.23/1094.40	c lits-rem:       998  cl-subs:     1370  v-elim:      0  v-fix:    0  time:  2.26 s
26761.56/1094.98	c asymm  cl-useful: 0/1501/1187917 lits-rem:0 time: 0.58
26767.41/1095.16	c calculated reachability. Time: 0.01
26767.41/1095.16	c  N dy  2196    357883     64421   1187917   3073949     38363   5992483   5198589     19.93   no data
26773.21/1095.30	c Finding binary XORs  T:     0.14 s  found:       3
26988.35/1102.13	c Finding binary XORs  T:     0.14 s  found:      27
27754.43/1126.11	c  N dy  2318    377915     64148   1187872   3531497     58049   5984459   6971120     19.97     22.83
28697.31/1155.67	c  N dy  2453    398267     64144   1187872   3531805     47209   5984454   6453991     20.07     21.45
29656.19/1185.69	c  N dy  2587    418398     64074   1187872   3532555     34846   5984440   5838809     20.19     21.85
30544.74/1213.50	c  N dy  2707    438415     64070   1187872   3532997     54638   5984439   6763199     20.24     21.34
31481.23/1242.73	c  N dy  2848    458505     63999   1187872   3537653     41062   5984435   6051984     20.33     27.57
32452.90/1273.18	c  N dy  2991    479501     63998   1187872   3538165     61692   5984420   7020393     20.42     21.65
33430.74/1303.72	c  N dy  3121    500825     63996   1187872   3538551     48216   5984392   6321713     20.48     22.36
33600.19/1309.08	c Finding binary XORs  T:     0.15 s  found:      80
34346.64/1332.48	c  N dy  3232    520874     63578   1185318   3624685     67853   5942742   7439688     20.51     26.48
34742.96/1344.82	c  S st  3240    536824     63554   1185318   3625794     47767   5942742   6359144     20.28   no data
34794.74/1346.50	c  S st  3240    537324     63554   1185318   3625797     48260   5942742   6365809     20.28   no data
34803.69/1346.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.28
35436.55/1366.56	c Flit:     7 Blit:      3 bXBeca:    0 bXProp:   41 Bins: 107527 BRemL:  19611 BRemN:     57 P: 200.0M T: 19.22
35459.56/1367.29	c Replacing      151 vars Replaced   132225 lits Time:     0.69 s 
35484.50/1368.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
35510.07/1368.83	c bin-w-bin subsume rem        45846 bins  time:  0.74 s
35577.18/1370.92	c subs with bin:     1150  lits-rem:      5473  v-fix:    0  time:  2.03 s
35609.14/1371.96	c Subs w/ non-existent bins:    340 l-rem:    679 v-fix:     0 done:  31553 time:  1.00 s
35625.12/1372.48	c Removed useless bin:    2829  fixed:     0  props:  20.00M  time:  0.51 s
35772.14/1377.01	c lits-rem:       288  cl-subs:      460  v-elim:    499  v-fix:    0  time:  4.38 s
35811.12/1378.29	c subs with bin:      160  lits-rem:      5760  v-fix:    0  time:  1.02 s
35925.46/1381.84	c lits-rem:       449  cl-subs:     4234  v-elim:      0  v-fix:    0  time:  2.92 s
35947.85/1382.51	c asymm  cl-useful: 0/94996/1183312 lits-rem:0 time: 0.66
35954.87/1382.72	c calculated reachability. Time: 0.01
35954.87/1382.73	c  N dy  3240    537324     62910   1183312   3514507     43629   5904446   6061051     20.28   no data
35957.42/1382.87	c Finding binary XORs  T:     0.14 s  found:       7
36594.38/1402.81	c Finding binary XORs  T:     0.15 s  found:      34
36933.62/1413.51	c  N dy  3364    557359     62868   1183284   3650833     63358   5899292   7213252     20.30     30.59
37847.54/1442.05	c  N dy  3463    577402     62847   1183284   3653766     47264   5899284   6468004     20.23     21.76
38706.72/1468.94	c  N dy  3569    598113     62803   1183284   3659537     67547   5899272   7342767     20.21     21.56
39218.72/1484.96	c Finding binary XORs  T:     0.15 s  found:      45
39451.44/1492.20	c  N dy  3645    618114     62776   1183278   3703347     50145   5896120   6673318     20.17     22.07
40308.53/1519.11	c  N dy  3756    639982     62601   1183278   3718643     71500   5896120   7584658     20.12     21.24
40534.82/1526.18	c Finding binary XORs  T:     0.14 s  found:      34
41090.76/1543.57	c  N dy  3860    661855     62564   1183162   3504054     54981   5885681   6481557     20.09     21.17
41103.55/1543.90	c Finding binary XORs  T:     0.14 s  found:      24
41659.38/1561.35	c  N dy  3892    682254     61885   1182860   3437239     74520   5859100   7152848     19.91     21.16
42010.96/1572.31	c Finding binary XORs  T:     0.13 s  found:     980
42023.75/1572.79	c Replacing     1124 vars Replaced   225865 lits Time:     0.48 s 
42359.28/1583.25	c  N dy  3984    702351     58411   1169627   2806207     49467   5644142   5070512     19.89     21.80
42950.51/1601.72	c  N dy  4051    728424     58368   1169627   2807049     37875   5644142   4472411     19.73     20.95
43268.02/1628.42	c Following stats are for *FIRST FINISHED THREAD ONLY*
43268.02/1628.42	c num threads              : 32         
43268.02/1628.42	c restarts                 : 4789       
43268.02/1628.42	c dynamic restarts         : 4765       
43268.02/1628.42	c static restarts          : 24         
43268.02/1628.42	c full restarts            : 3          
43268.02/1628.42	c total simplify time      : 13.19      
43268.02/1628.42	c learnts DL2              : 0          
43268.02/1628.42	c learnts size 2           : 7775209    
43268.02/1628.42	c learnts size 1           : 81274       (52.67     % of vars)
43268.02/1628.42	c filedLit time            : 48.22       (3.53      % time)
43268.02/1628.42	c v-elim SatELite          : 21289       (13.80     % vars)
43268.02/1628.42	c SatELite time            : 22.68       (1.66      % time)
43268.02/1628.42	c v-elim xor               : 0           (0.00      % vars)
43268.02/1628.42	c xor elim time            : 0.78        (0.06      % time)
43268.02/1628.42	c num binary xor trees     : 2478       
43268.02/1628.42	c binxor trees' crown      : 4255        (1.72      leafs/tree)
43268.02/1628.42	c bin xor find time        : 3.78       
43268.02/1628.42	c OTF clause improved      : 12762       (0.02      clauses/conflict)
43268.02/1628.42	c OTF impr. size diff      : 20372       (1.60       lits/clause)
43268.02/1628.42	c OTF cl watch-shrink      : 567898      (0.69      clauses/conflict)
43268.02/1628.42	c OTF cl watch-sh-lit      : 3055007     (5.38       lits/clause)
43268.02/1628.42	c tried to recurMin cls    : 0           (0.00       % of conflicts)
43268.02/1628.42	c updated cache            : 0           (nan        lits/tried recurMin)
43268.02/1628.42	c unit cls recevied        : 36765       (45.24     % of units)
43268.02/1628.42	c unit cls sent            : 794         (0.98      % of units)
43268.02/1628.42	c bin cls recevied         : 5716843    
43268.02/1628.42	c bin cls sent             : 5417       
43268.02/1628.42	c clauses over max glue    : 0           (0.00      % of all clauses)
43268.02/1628.42	c conflicts                : 826886      (604.61    / sec)
43268.02/1628.42	c decisions                : 85345759    (0.46      % random)
43268.02/1628.42	c bogo-props               : 20273476980 (14823725.66 / sec)
43268.02/1628.42	c conflict literals        : 36790279    (23.85     % deleted)
43268.02/1628.42	c Memory used              : 19062.18    MB
43268.02/1628.42	c single-thread CPU time   : 1367.64     s
43268.02/1628.42	c all-threads sum CPU time : 43054.35    s
43268.02/1628.42	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400643-1306266358/watcher-3400643-1306266358 -o /tmp/evaluation-result-3400643-1306266358/solver-3400643-1306266358 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400643-1306266358.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: 24.04 30.04 30.74 1/413 10669
/proc/meminfo: memFree=255094292/264257624 swapFree=67111528/67111528
[pid=10669] ppid=10667 vsize=338000 CPUtime=0.81 cores=0-31
/proc/10669/stat : 10669 (strangenight2-m) R 10667 10669 10583 0 -1 4202496 467 0 0 0 81 0 0 0 22 0 32 0 738122540 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014095280 0 0 4096 2 18446744073709551615 0 0 17 25 0 0 0
/proc/10669/statm: 84500 407 300 95 0 79482 0
[pid=10669/tid=10670] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10670/stat : 10670 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10669/tid=10671] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10671/stat : 10671 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 4 0 0 0 2 0 0 0 23 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=10669/tid=10672] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10672/stat : 10672 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10669/tid=10673] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10673/stat : 10673 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10669/tid=10674] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10674/stat : 10674 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094871 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=10669/tid=10675] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10675/stat : 10675 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=10669/tid=10676] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10676/stat : 10676 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 19 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=10669/tid=10677] ppid=10667 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10669/task/10677/stat : 10677 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10669/tid=10678] ppid=10667 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10669/task/10678/stat : 10678 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10669/tid=10679] ppid=10667 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10669/task/10679/stat : 10679 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10669/tid=10680] ppid=10667 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10669/task/10680/stat : 10680 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=10669/tid=10681] ppid=10667 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10669/task/10681/stat : 10681 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=10669/tid=10682] ppid=10667 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10669/task/10682/stat : 10682 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094864 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10669/tid=10683] ppid=10667 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10669/task/10683/stat : 10683 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 3 0 0 0 20 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=10669/tid=10684] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10684/stat : 10684 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=10669/tid=10685] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10685/stat : 10685 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=10669/tid=10686] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10686/stat : 10686 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=10669/tid=10687] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10687/stat : 10687 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=10669/tid=10688] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10688/stat : 10688 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=10669/tid=10689] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10689/stat : 10689 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=10669/tid=10690] ppid=10667 vsize=338000 CPUtime=0 cores=0-31
/proc/10669/task/10690/stat : 10690 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014095282 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=10669/tid=10691] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10691/stat : 10691 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10669/tid=10692] ppid=10667 vsize=338000 CPUtime=0.01 cores=0-31
/proc/10669/task/10692/stat : 10692 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 1 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=10669/tid=10693] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10693/stat : 10693 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=10669/tid=10694] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10694/stat : 10694 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=10669/tid=10695] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10695/stat : 10695 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=10669/tid=10696] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10696/stat : 10696 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=10669/tid=10697] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10697/stat : 10697 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=10669/tid=10698] ppid=10667 vsize=338000 CPUtime=0.01 cores=0-31
/proc/10669/task/10698/stat : 10698 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=10669/tid=10699] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10699/stat : 10699 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=10669/tid=10700] ppid=10667 vsize=338000 CPUtime=0.02 cores=0-31
/proc/10669/task/10700/stat : 10700 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094877 0 0 4096 2 0 0 0 -1 29 0 0 0

[startup+0.0534929 s]
/proc/loadavg: 24.04 30.04 30.74 1/413 10669
/proc/meminfo: memFree=255094292/264257624 swapFree=67111528/67111528
[pid=10669] ppid=10667 vsize=338000 CPUtime=1.42 cores=0-31
/proc/10669/stat : 10669 (strangenight2-m) R 10667 10669 10583 0 -1 4202496 467 0 0 0 142 0 0 0 22 0 32 0 738122540 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014095280 0 0 4096 2 18446744073709551615 0 0 17 25 0 0 0
/proc/10669/statm: 84500 407 300 95 0 79482 0
[pid=10669/tid=10670] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10670/stat : 10670 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=10669/tid=10671] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10671/stat : 10671 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 4 0 0 0 4 0 0 0 23 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=10669/tid=10672] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10672/stat : 10672 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 19 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10669/tid=10673] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10673/stat : 10673 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 19 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10669/tid=10674] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10674/stat : 10674 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 19 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=10669/tid=10675] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10675/stat : 10675 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 19 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=10669/tid=10676] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10676/stat : 10676 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 19 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=10669/tid=10677] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10677/stat : 10677 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 21 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10669/tid=10678] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10678/stat : 10678 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 20 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10669/tid=10679] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10679/stat : 10679 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 20 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=10669/tid=10680] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10680/stat : 10680 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 20 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=10669/tid=10681] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10681/stat : 10681 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 20 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=10669/tid=10682] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10682/stat : 10682 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 20 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10669/tid=10683] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10683/stat : 10683 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 20 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=10669/tid=10684] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10684/stat : 10684 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=10669/tid=10685] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10685/stat : 10685 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=10669/tid=10686] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10686/stat : 10686 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 21 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094871 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=10669/tid=10687] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10687/stat : 10687 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 21 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=10669/tid=10688] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10688/stat : 10688 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 21 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=10669/tid=10689] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10689/stat : 10689 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 21 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094864 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=10669/tid=10690] ppid=10667 vsize=338000 CPUtime=0.01 cores=0-31
/proc/10669/task/10690/stat : 10690 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 0 0 0 0 1 0 0 0 21 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=10669/tid=10691] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10691/stat : 10691 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 0 0 0 0 4 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094871 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10669/tid=10692] ppid=10667 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10669/task/10692/stat : 10692 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=10669/tid=10693] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10693/stat : 10693 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094864 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=10669/tid=10694] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10694/stat : 10694 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=10669/tid=10695] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10695/stat : 10695 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=10669/tid=10696] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10696/stat : 10696 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094877 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=10669/tid=10697] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10697/stat : 10697 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 22 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=10669/tid=10698] ppid=10667 vsize=338000 CPUtime=0.03 cores=0-31
/proc/10669/task/10698/stat : 10698 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=10669/tid=10699] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10699/stat : 10699 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 23 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094867 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=10669/tid=10700] ppid=10667 vsize=338000 CPUtime=0.04 cores=0-31
/proc/10669/task/10700/stat : 10700 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 1 0 0 0 4 0 0 0 23 0 32 0 738122541 346112000 407 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094873 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 338000

[startup+0.103508 s]
/proc/loadavg: 24.04 30.04 30.74 1/413 10669
/proc/meminfo: memFree=255094292/264257624 swapFree=67111528/67111528
[pid=10669] ppid=10667 vsize=1314708 CPUtime=2.39 cores=0-31
/proc/10669/stat : 10669 (strangenight2-m) S 10667 10669 10583 0 -1 4202496 9577 0 0 0 190 49 0 0 17 0 32 0 738122540 1346260992 9389 268435456000 4194304 4580107 140734106721536 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 25 0 0 0
/proc/10669/statm: 328677 9389 334 95 0 323659 0
[pid=10669/tid=10670] ppid=10667 vsize=1314708 CPUtime=0.07 cores=0-31
/proc/10669/task/10670/stat : 10670 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 308 0 0 0 6 1 0 0 17 0 32 0 738122541 1346260992 9389 268435456000 4194304 4580107 140734106721536 18446744073709551615 258651060958 0 0 4096 2 18446744071566933304 0 0 -1 1 0 0 0
[pid=10669/tid=10671] ppid=10667 vsize=1314708 CPUtime=0.07 cores=0-31
/proc/10669/task/10671/stat : 10671 (strangenight2-m) D 10667 10669 10583 0 -1 4202560 309 0 0 0 6 1 0 0 17 0 32 0 738122541 1346260992 9389 268435456000 4194304 4580107 140734106721536 18446744073709551615 258650981722 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=10669/tid=10672] ppid=10667 vsize=1314708 CPUtime=0.07 cores=0-31
/proc/10669/task/10672/stat : 10672 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 272 0 0 0 6 1 0 0 17 0 32 0 738122541 1346260992 9389 268435456000 4194304 4580107 140734106721536 18446744073709551615 258651060958 0 0 4096 2 18446604505263799776 0 0 -1 2 0 0 0
[pid=10669/tid=10673] ppid=10667 vsize=1314708 CPUtime=0.07 cores=0-31
/proc/10669/task/10673/stat : 10673 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 277 0 0 0 6 1 0 0 17 0 32 0 738122541 1346260992 9389 268435456000 4194304 4580107 140734106721536 18446744073709551615 258651060958 0 0 4096 2 18446604482196397536 0 0 -1 4 0 0 0
[pid=10669/tid=10674] ppid=10667 vsize=1314708 CPUtime=0.07 cores=0-31
/proc/10669/task/10674/stat : 10674 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 312 0 0 0 6 1 0 0 17 0 32 0 738122541 1346260992 9389 268435456000 4194304 4580107 140734106721536 18446744073709551615 258651060958 0 0 4096 2 18446604484957511136 0 0 -1 16 0 0 0
[pid=10669/tid=10675] ppid=10667 vsize=1314708 CPUtime=0.08 cores=0-31
/proc/10669/task/10675/stat : 10675 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 290 0 0 0 6 2 0 0 17 0 32 0 738122541 1346260992 9389 268435456000 4194304 4580107 140734106721536 18446744073709551615 258651060958 0 0 4096 2 18446604474916552160 0 0 -1 28 0 0 0
[pid=10669/tid=10676] ppid=10667 vsize=1314708 CPUtime=0.07 cores=0-31
/proc/10669/task/10676/stat : 10676 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 278 0 0 0 6 1 0 0 17 0 32 0 738122541 1346260992 9389 268435456000 4194304 4580107 140734106721536 18446744073709551615 258651060958 0 0 4096 2 18446744071566923784 0 0 -1 8 0 0 0
[pid=10669/tid=10677] ppid=10667 vsize=1314708 CPUtime=0.07 cores=0-31
/proc/10669/task/10677/stat : 10677 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 287 0 0 0 6 1 0 0 17 0 32 0 738122541 1346260992 9389 268435456000 4194304 4580107 140734106721536 18446744073709551615 258651060958 0 0 4096 2 18446604480264248800 0 0 -1 5 0 0 0
[pid=10669/tid=10678] ppid=10667 vsize=1314708 CPUtime=0.07 cores=0-31
/proc/10669/task/10678/stat : 10678 (strangenight2-m) D 10667 10669 10583 0 -1 4202560 277 0 0 0 6 1 0 0 17 0 32 0 738122541 1346260992 9389 268435456000 4194304 4580107 140734106721536 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10669/tid=10679] ppid=10667 vsize=1314708 CPUtime=0.07 cores=0-31
/proc/10669/task/10679/stat : 10679 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 284 0 0 0 6 1 0 0 17 0 32 0 738122541 1346260992 9389 268435456000 4194304 4580107 140734106721536 18446744073709551615 258651060958 0 0 4096 2 18446604498994462176 0 0 -1 3 0 0 0
[pid=10669/tid=10680] ppid=10667 vsize=1314708 CPUtime=0.07 cores=0-31
/proc/10669/task/10680/stat : 10680 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 308 0 0 0 6 1 0 0 17 0 32 0 738122541 1346260992 9389 268435456000 4194304 4580107 140734106721536 18446744073709551615 258651060958 0 0 4096 2 18446604480095534560 0 0 -1 9 0 0 0
[pid=10669/tid=10681] ppid=10667 vsize=1314708 CPUtime=0.07 cores=0-31
/proc/10669/task/10681/stat : 10681 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 278 0 0 0 6 1 0 0 17 0 32 0 738122541 1346260992 9389 268435456000 4194304 4580107 140734106721536 18446744073709551615 258651060958 0 0 4096 2 18446744071566926784 0 0 -1 10 0 0 0
[pid=10669/tid=10682] ppid=10667 vsize=1314708 CPUtime=0.07 cores=0-31
/proc/10669/task/10682/stat : 10682 (strangenight2-m) D 10667 10669 10583 0 -1 4202560 303 0 0 0 6 1 0 0 17 0 32 0 738122541 1346260992 9389 268435456000 4194304 4580107 140734106721536 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10669/tid=10683] ppid=10667 vsize=1314708 CPUtime=0.07 cores=0-31
/proc/10669/task/10683/stat : 10683 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 289 0 0 0 6 1 0 0 17 0 32 0 738122541 1346260992 9390 268435456000 4194304 4580107 140734106721536 18446744073709551615 258651060958 0 0 4096 2 18446604490328440288 0 0 -1 13 0 0 0
[pid=10669/tid=10684] ppid=10667 vsize=1314840 CPUtime=0.07 cores=0-31
/proc/10669/task/10684/stat : 10684 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 275 0 0 0 6 1 0 0 22 0 32 0 738122541 1346396160 9396 268435456000 4194304 4580107 140734106721536 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=10669/tid=10685] ppid=10667 vsize=1314840 CPUtime=0.07 cores=0-31
/proc/10669/task/10685/stat : 10685 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 277 0 0 0 6 1 0 0 17 0 32 0 738122541 1346396160 9410 268435456000 4194304 4580107 140734106721536 18446744073709551615 258651060958 0 0 4096 2 18446604505770638816 0 0 -1 11 0 0 0
[pid=10669/tid=10686] ppid=10667 vsize=1314840 CPUtime=0.07 cores=0-31

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

[pid=10669/tid=10680] ppid=10667 vsize=19519672 CPUtime=1370.79 cores=0-31
/proc/10669/task/10680/stat : 10680 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 304489 0 0 0 136437 642 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604504190574048 0 0 -1 20 0 0 0
[pid=10669/tid=10681] ppid=10667 vsize=19519672 CPUtime=1374.95 cores=0-31
/proc/10669/task/10681/stat : 10681 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 302950 0 0 0 136773 722 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604487541972448 0 0 -1 10 0 0 0
[pid=10669/tid=10682] ppid=10667 vsize=19519672 CPUtime=1345.2 cores=0-31
/proc/10669/task/10682/stat : 10682 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 289852 0 0 0 133827 693 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604482196397536 0 0 -1 1 0 0 0
[pid=10669/tid=10683] ppid=10667 vsize=19519672 CPUtime=1363.22 cores=0-31
/proc/10669/task/10683/stat : 10683 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 297969 0 0 0 135634 688 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604505794477536 0 0 -1 29 0 0 0
[pid=10669/tid=10684] ppid=10667 vsize=19519672 CPUtime=1347.18 cores=0-31
/proc/10669/task/10684/stat : 10684 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 292539 0 0 0 134030 688 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604498994462176 0 0 -1 5 0 0 0
[pid=10669/tid=10685] ppid=10667 vsize=19519672 CPUtime=1337.22 cores=0-31
/proc/10669/task/10685/stat : 10685 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 276369 0 0 0 133053 669 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604481919188448 0 0 -1 7 0 0 0
[pid=10669/tid=10686] ppid=10667 vsize=19519672 CPUtime=1338.92 cores=0-31
/proc/10669/task/10686/stat : 10686 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 299107 0 0 0 133192 700 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604484957511136 0 0 -1 24 0 0 0
[pid=10669/tid=10687] ppid=10667 vsize=19519672 CPUtime=1364.97 cores=0-31
/proc/10669/task/10687/stat : 10687 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 294097 0 0 0 135833 664 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014070315 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=10669/tid=10688] ppid=10667 vsize=19519672 CPUtime=1337.7 cores=0-31
/proc/10669/task/10688/stat : 10688 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 286897 0 0 0 133074 696 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446744071566924624 0 0 -1 19 0 0 0
[pid=10669/tid=10689] ppid=10667 vsize=19519672 CPUtime=1360.76 cores=0-31
/proc/10669/task/10689/stat : 10689 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 297298 0 0 0 135437 639 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604502553533920 0 0 -1 3 0 0 0
[pid=10669/tid=10690] ppid=10667 vsize=19519672 CPUtime=1352.74 cores=0-31
/proc/10669/task/10690/stat : 10690 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 277306 0 0 0 134576 698 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604480260586976 0 0 -1 28 0 0 0
[pid=10669/tid=10691] ppid=10667 vsize=19519672 CPUtime=1356.36 cores=0-31
/proc/10669/task/10691/stat : 10691 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 266483 0 0 0 134968 668 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604537356025312 0 0 -1 25 0 0 0
[pid=10669/tid=10692] ppid=10667 vsize=19519672 CPUtime=1344.22 cores=0-31
/proc/10669/task/10692/stat : 10692 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 279460 0 0 0 133738 684 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604483571760608 0 0 -1 6 0 0 0
[pid=10669/tid=10693] ppid=10667 vsize=19519672 CPUtime=1341.62 cores=0-31
/proc/10669/task/10693/stat : 10693 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 277330 0 0 0 133471 691 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604505622068704 0 0 -1 26 0 0 0
[pid=10669/tid=10694] ppid=10667 vsize=19519672 CPUtime=1335.4 cores=0-31
/proc/10669/task/10694/stat : 10694 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 262700 0 0 0 132969 571 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604480102415840 0 0 -1 8 0 0 0
[pid=10669/tid=10695] ppid=10667 vsize=19519672 CPUtime=1335.67 cores=0-31
/proc/10669/task/10695/stat : 10695 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 275199 0 0 0 132905 662 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604480568622560 0 0 -1 13 0 0 0
[pid=10669/tid=10696] ppid=10667 vsize=19519672 CPUtime=1343.77 cores=0-31
/proc/10669/task/10696/stat : 10696 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 285555 0 0 0 133681 696 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604480095534560 0 0 -1 15 0 0 0
[pid=10669/tid=10697] ppid=10667 vsize=19519672 CPUtime=1338.2 cores=0-31
/proc/10669/task/10697/stat : 10697 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 284493 0 0 0 133156 664 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604572732284384 0 0 -1 16 0 0 0
[pid=10669/tid=10698] ppid=10667 vsize=19519672 CPUtime=1328.58 cores=0-31
/proc/10669/task/10698/stat : 10698 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 295424 0 0 0 132166 692 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604505584197088 0 0 -1 30 0 0 0
[pid=10669/tid=10699] ppid=10667 vsize=19519672 CPUtime=1333.89 cores=0-31
/proc/10669/task/10699/stat : 10699 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 286522 0 0 0 132747 642 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604490328440288 0 0 -1 21 0 0 0
[pid=10669/tid=10700] ppid=10667 vsize=19519672 CPUtime=1343.08 cores=0-31
/proc/10669/task/10700/stat : 10700 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 340351 0 0 0 133763 545 0 0 25 0 32 0 738122541 19988144128 4243171 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604505770638816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 43249.5
Current children cumulated vsize (KiB) 19519672

[startup+1625.5 s]
/proc/loadavg: 25.51 30.17 29.09 3/445 10754
/proc/meminfo: memFree=238099336/264257624 swapFree=67111528/67111528
[pid=10669] ppid=10667 vsize=19519672 CPUtime=43262.2 cores=0-31
/proc/10669/stat : 10669 (strangenight2-m) S 10667 10669 10583 0 -1 4202496 9443978 0 0 0 4304849 21373 0 0 25 0 32 0 738122540 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/10669/statm: 4879918 4243481 428 95 0 4874900 0
[pid=10669/tid=10670] ppid=10667 vsize=19519672 CPUtime=1373.18 cores=0-31
/proc/10669/task/10670/stat : 10670 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 376054 0 0 0 136663 655 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604505263799776 0 0 -1 14 0 0 0
[pid=10669/tid=10671] ppid=10667 vsize=19519672 CPUtime=1376.76 cores=0-31
/proc/10669/task/10671/stat : 10671 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 315492 0 0 0 136994 682 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604501830876640 0 0 -1 2 0 0 0
[pid=10669/tid=10672] ppid=10667 vsize=19519672 CPUtime=1367 cores=0-31
/proc/10669/task/10672/stat : 10672 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 328780 0 0 0 136018 682 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604474916552160 0 0 -1 18 0 0 0
[pid=10669/tid=10673] ppid=10667 vsize=19519672 CPUtime=1368 cores=0-31
/proc/10669/task/10673/stat : 10673 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 309755 0 0 0 136112 688 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604504704171488 0 0 -1 4 0 0 0
[pid=10669/tid=10674] ppid=10667 vsize=19519672 CPUtime=1351.45 cores=0-31
/proc/10669/task/10674/stat : 10674 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 319814 0 0 0 134449 696 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604570634804704 0 0 -1 12 0 0 0
[pid=10669/tid=10675] ppid=10667 vsize=19519672 CPUtime=1350.71 cores=0-31
/proc/10669/task/10675/stat : 10675 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 290406 0 0 0 134412 659 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604480264248800 0 0 -1 17 0 0 0
[pid=10669/tid=10676] ppid=10667 vsize=19519672 CPUtime=1338.84 cores=0-31
/proc/10669/task/10676/stat : 10676 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 282733 0 0 0 133280 604 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604485358648800 0 0 -1 0 0 0 0
[pid=10669/tid=10677] ppid=10667 vsize=19519672 CPUtime=1359.97 cores=0-31
/proc/10669/task/10677/stat : 10677 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 255046 0 0 0 135342 655 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 4413635 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=10669/tid=10678] ppid=10667 vsize=19519672 CPUtime=1352.03 cores=0-31
/proc/10669/task/10678/stat : 10678 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 259663 0 0 0 134518 685 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604484836965856 0 0 -1 11 0 0 0
[pid=10669/tid=10679] ppid=10667 vsize=19519672 CPUtime=1350.24 cores=0-31
/proc/10669/task/10679/stat : 10679 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 282747 0 0 0 134367 657 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604478608309728 0 0 -1 31 0 0 0
[pid=10669/tid=10680] ppid=10667 vsize=19519672 CPUtime=1370.79 cores=0-31
/proc/10669/task/10680/stat : 10680 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 304489 0 0 0 136437 642 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604504190574048 0 0 -1 20 0 0 0
[pid=10669/tid=10681] ppid=10667 vsize=19519672 CPUtime=1374.95 cores=0-31
/proc/10669/task/10681/stat : 10681 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 302950 0 0 0 136773 722 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604487541972448 0 0 -1 10 0 0 0
[pid=10669/tid=10682] ppid=10667 vsize=19519672 CPUtime=1345.2 cores=0-31
/proc/10669/task/10682/stat : 10682 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 289852 0 0 0 133827 693 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604482196397536 0 0 -1 1 0 0 0
[pid=10669/tid=10683] ppid=10667 vsize=19519672 CPUtime=1363.22 cores=0-31
/proc/10669/task/10683/stat : 10683 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 297969 0 0 0 135634 688 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604505794477536 0 0 -1 29 0 0 0
[pid=10669/tid=10684] ppid=10667 vsize=19519672 CPUtime=1347.18 cores=0-31
/proc/10669/task/10684/stat : 10684 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 292539 0 0 0 134030 688 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604498994462176 0 0 -1 5 0 0 0
[pid=10669/tid=10685] ppid=10667 vsize=19519672 CPUtime=1337.22 cores=0-31
/proc/10669/task/10685/stat : 10685 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 276369 0 0 0 133053 669 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604481919188448 0 0 -1 7 0 0 0
[pid=10669/tid=10686] ppid=10667 vsize=19519672 CPUtime=1338.92 cores=0-31
/proc/10669/task/10686/stat : 10686 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 299107 0 0 0 133192 700 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604484957511136 0 0 -1 24 0 0 0
[pid=10669/tid=10687] ppid=10667 vsize=19519672 CPUtime=1371.35 cores=0-31
/proc/10669/task/10687/stat : 10687 (strangenight2-m) R 10667 10669 10583 0 -1 4202560 294097 0 0 0 136471 664 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 4205512 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=10669/tid=10688] ppid=10667 vsize=19519672 CPUtime=1337.7 cores=0-31
/proc/10669/task/10688/stat : 10688 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 286897 0 0 0 133074 696 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446744071566924624 0 0 -1 19 0 0 0
[pid=10669/tid=10689] ppid=10667 vsize=19519672 CPUtime=1360.76 cores=0-31
/proc/10669/task/10689/stat : 10689 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 297298 0 0 0 135437 639 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604502553533920 0 0 -1 3 0 0 0
[pid=10669/tid=10690] ppid=10667 vsize=19519672 CPUtime=1352.74 cores=0-31
/proc/10669/task/10690/stat : 10690 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 277306 0 0 0 134576 698 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604480260586976 0 0 -1 28 0 0 0
[pid=10669/tid=10691] ppid=10667 vsize=19519672 CPUtime=1356.36 cores=0-31
/proc/10669/task/10691/stat : 10691 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 266483 0 0 0 134968 668 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604537356025312 0 0 -1 25 0 0 0
[pid=10669/tid=10692] ppid=10667 vsize=19519672 CPUtime=1344.22 cores=0-31
/proc/10669/task/10692/stat : 10692 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 279460 0 0 0 133738 684 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604483571760608 0 0 -1 6 0 0 0
[pid=10669/tid=10693] ppid=10667 vsize=19519672 CPUtime=1341.62 cores=0-31
/proc/10669/task/10693/stat : 10693 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 277330 0 0 0 133471 691 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604505622068704 0 0 -1 26 0 0 0
[pid=10669/tid=10694] ppid=10667 vsize=19519672 CPUtime=1335.4 cores=0-31
/proc/10669/task/10694/stat : 10694 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 262700 0 0 0 132969 571 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604480102415840 0 0 -1 8 0 0 0
[pid=10669/tid=10695] ppid=10667 vsize=19519672 CPUtime=1335.67 cores=0-31
/proc/10669/task/10695/stat : 10695 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 275199 0 0 0 132905 662 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604480568622560 0 0 -1 13 0 0 0
[pid=10669/tid=10696] ppid=10667 vsize=19519672 CPUtime=1343.77 cores=0-31
/proc/10669/task/10696/stat : 10696 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 285555 0 0 0 133681 696 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604480095534560 0 0 -1 15 0 0 0
[pid=10669/tid=10697] ppid=10667 vsize=19519672 CPUtime=1338.2 cores=0-31
/proc/10669/task/10697/stat : 10697 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 284493 0 0 0 133156 664 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604572732284384 0 0 -1 16 0 0 0
[pid=10669/tid=10698] ppid=10667 vsize=19519672 CPUtime=1328.58 cores=0-31
/proc/10669/task/10698/stat : 10698 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 295424 0 0 0 132166 692 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604505584197088 0 0 -1 30 0 0 0
[pid=10669/tid=10699] ppid=10667 vsize=19519672 CPUtime=1333.89 cores=0-31
/proc/10669/task/10699/stat : 10699 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 286522 0 0 0 132747 642 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604490328440288 0 0 -1 21 0 0 0
[pid=10669/tid=10700] ppid=10667 vsize=19519672 CPUtime=1343.08 cores=0-31
/proc/10669/task/10700/stat : 10700 (strangenight2-m) S 10667 10669 10583 0 -1 4202560 340351 0 0 0 133763 545 0 0 25 0 32 0 738122541 19988144128 4243481 268435456000 4194304 4580107 140734106721536 18446744073709551615 47098014094900 0 0 4096 2 18446604505770638816 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 43262.2
Current children cumulated vsize (KiB) 19519672

[startup+1628.7 s]
/proc/loadavg: 23.62 29.70 28.95 3/445 10754
/proc/meminfo: memFree=238098984/264257624 swapFree=67111528/67111528
[pid=10669] ppid=10667 vsize=0 CPUtime=43268.4 cores=0-31
/proc/10669/stat : 10669 (strangenight2-m) Z 10667 10669 10583 0 -1 4203548 9443984 0 0 0 4305434 21401 0 0 18 0 2 0 738122540 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/10669/statm: 0 0 0 0 0 0 0
[pid=10669/tid=10676] ppid=10667 vsize=0 CPUtime=1339.11 cores=0-31
/proc/10669/task/10676/stat : 10676 (strangenight2-m) R 10667 10669 10583 0 -1 4203588 282733 0 0 0 133280 631 0 0 18 0 2 0 738122541 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 43268.4
Current children cumulated vsize (KiB) 0

[startup+1629.5 s]
/proc/loadavg: 23.62 29.70 28.95 2/415 10754
/proc/meminfo: memFree=241886852/264257624 swapFree=67111528/67111528
[pid=10669] ppid=10667 vsize=0 CPUtime=43269.1 cores=0-31
/proc/10669/stat : 10669 (strangenight2-m) Z 10667 10669 10583 0 -1 4203548 9443984 0 0 0 4305434 21481 0 0 18 0 2 0 738122540 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/10669/statm: 0 0 0 0 0 0 0
[pid=10669/tid=10676] ppid=10667 vsize=0 CPUtime=1339.91 cores=0-31
/proc/10669/task/10676/stat : 10676 (strangenight2-m) R 10667 10669 10583 0 -1 4203588 282733 0 0 0 133280 711 0 0 19 0 2 0 738122541 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 43269.1
Current children cumulated vsize (KiB) 0

[startup+1629.9 s]
/proc/loadavg: 23.62 29.70 28.95 2/415 10754
/proc/meminfo: memFree=241886852/264257624 swapFree=67111528/67111528
[pid=10669] ppid=10667 vsize=0 CPUtime=43269.6 cores=0-31
/proc/10669/stat : 10669 (strangenight2-m) Z 10667 10669 10583 0 -1 4203548 9443984 0 0 0 4305434 21521 0 0 18 0 2 0 738122540 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/10669/statm: 0 0 0 0 0 0 0
[pid=10669/tid=10676] ppid=10667 vsize=0 CPUtime=1340.31 cores=0-31
/proc/10669/task/10676/stat : 10676 (strangenight2-m) R 10667 10669 10583 0 -1 4203588 282733 0 0 0 133280 751 0 0 20 0 2 0 738122541 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 43269.6
Current children cumulated vsize (KiB) 0

[startup+1630.3 s]
/proc/loadavg: 23.62 29.70 28.95 2/415 10754
/proc/meminfo: memFree=252317652/264257624 swapFree=67111528/67111528
[pid=10669] ppid=10667 vsize=0 CPUtime=43269.9 cores=0-31
/proc/10669/stat : 10669 (strangenight2-m) Z 10667 10669 10583 0 -1 4203548 9443984 0 0 0 4305434 21561 0 0 18 0 2 0 738122540 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/10669/statm: 0 0 0 0 0 0 0
[pid=10669/tid=10676] ppid=10667 vsize=0 CPUtime=1340.71 cores=0-31
/proc/10669/task/10676/stat : 10676 (strangenight2-m) R 10667 10669 10583 0 -1 4203588 282733 0 0 0 133280 791 0 0 20 0 2 0 738122541 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 43269.9
Current children cumulated vsize (KiB) 0

[startup+1630.4 s]
/proc/loadavg: 23.62 29.70 28.95 2/415 10754
/proc/meminfo: memFree=252317652/264257624 swapFree=67111528/67111528
[pid=10669] ppid=10667 vsize=0 CPUtime=43270.1 cores=0-31
/proc/10669/stat : 10669 (strangenight2-m) Z 10667 10669 10583 0 -1 4203548 9443984 0 0 0 4305434 21571 0 0 18 0 2 0 738122540 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 27 0 0 0
/proc/10669/statm: 0 0 0 0 0 0 0
[pid=10669/tid=10676] ppid=10667 vsize=0 CPUtime=1340.81 cores=0-31
/proc/10669/task/10676/stat : 10676 (strangenight2-m) R 10667 10669 10583 0 -1 4203588 282733 0 0 0 133280 801 0 0 21 0 2 0 738122541 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 43270.1
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1630.4
CPU time (s): 43270.1
CPU user time (s): 43054.3
CPU system time (s): 215.721
CPU usage (%): 2653.95
Max. virtual memory (cumulated for all children) (KiB): 20681200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43054.3
system time used= 215.721
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9443984
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= 8992156
involuntary context switches= 152136

runsolver used 9.23659 second user time and 37.3483 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-24 21:46:01
IDJOB=3400643
IDBENCH=69571
IDSOLVER=1886
FILE ID=node200/3400643-1306266358
RUNJOBID= node200-1306266306-10597
PBS_JOBID= 13411766
Free space on /tmp= 61980 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT_RACE08/cnf/velev-vliw-uns-4.0-9-i1.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400643-1306266358/watcher-3400643-1306266358 -o /tmp/evaluation-result-3400643-1306266358/solver-3400643-1306266358 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400643-1306266358.cnf

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

MD5SUM BENCH= 590cca3a58efdeb1c95ef988a53daa1d
RANDOM SEED=1671462437

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:      255094332 kB
Buffers:        464988 kB
Cached:        8286788 kB
SwapCached:          0 kB
Active:        7837956 kB
Inactive:       983792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255094332 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           74184 kB
Writeback:           0 kB
AnonPages:       69908 kB
Mapped:          14536 kB
Slab:           257168 kB
PageTables:       4280 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   174072 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= 61972 MiB
End job on node200 at 2011-05-24 22:13:12