Trace number 3400653

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 39076 1306.38

General information on the benchmark

NameAPPLICATIONS/bitverif/
minandmaxor/minandmaxor128.cnf
MD5SUM5b2e2178738883a628728bb1ec39f4a9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark13686.4
Satisfiable
(Un)Satisfiability was proved
Number of variables249327
Number of clauses746444
Sum of the clauses size1741700
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2497628
Number of clauses of size 3248814
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.02	c Using 32 threads
0.00/0.04	c This is CryptoMiniSat 3.0.0
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c Reading file 'HOME/instance-3400653-1306273012.cnf'
1.41/0.08	c -- header says num vars:         249327
1.41/0.08	c -- header says num clauses:      746444
96.24/7.73	c -- clauses added:            0 learnts,       746444 normals,            0 xors
96.24/7.73	c -- vars added     249327
96.24/7.73	c Parsing time:  1.10 s
96.24/7.73	c  N st     0         0    249327    248814    497628         0   1741698         0   no data   no data
160.81/9.81	c asymm  cl-useful: 0/308/248805 lits-rem:0 time: 2.07
1287.49/45.27	c Flit:     5 Blit:     55 bXBeca:    0 bXProp:  593 Bins:      0 BRemL:      0 BRemN:      0 P: 200.1M T: 35.45
1292.13/45.50	c Replacing      593 vars Replaced     9685 lits Time:     0.19 s 
1319.32/46.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1321.96/46.91	c bin-w-bin subsume rem            3 bins  time:  0.09 s
1327.51/47.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.25 s
1431.07/50.59	c Subs w/ non-existent bins:     13 l-rem:      0 v-fix:    14 done:  65582 time:  2.81 s
1449.62/51.15	c Removed useless bin:       0  fixed:     0  props:  20.09M  time:  0.56 s
1614.25/56.42	c lits-rem:         0  cl-subs:     1436  v-elim:  82887  v-fix:    0  time:  4.55 s
1617.18/56.53	c Finding binary XORs  T:     0.11 s  found:      14
1620.11/56.64	c Replacing       14 vars Replaced      224 lits Time:     0.11 s 
1628.86/56.90	c Finding non-binary XORs:     0.14 s (found:    8040, avg size: 3.0)
1628.86/56.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
1628.86/56.96	c calculated reachability. Time: 0.01
1631.85/57.01	c Calc default polars -  time:   0.05 s pos:    2024 undec:   96741 neg:  150562
1631.85/57.01	c =========================================================================================
1631.85/57.01	c types(t): F = full restart, N = normal restart
1631.85/57.01	c types(t): S = simplification begin/end, E = solution found
1631.85/57.01	c restart types(rt): st = static, dy = dynamic
1631.85/57.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1631.85/57.01	c  B st     0         0    165746    211536    329674         0   1433743         0   no data   no data
2254.16/78.80	c  N dy    15      4226    165745    211536    329759      3989   1433743    256058     16.54     18.50
2714.78/100.88	c  N dy    39      9538    165710    211536    330269      9135   1433743    546937     19.20     20.27
3094.67/168.24	c Finding binary XORs  T:     0.11 s  found:     180
3165.08/171.38	c  N dy    56     13611    165675    211118    332628     12596   1429036    718285     19.36     24.14
3553.38/183.61	c  N dy    77     17812    165675    211118    332690     16667   1429036    929804     20.46     21.58
4035.98/198.63	c  N dy    88     22715    165663    211118    335499     11878   1429036    343600     19.54     20.89
4256.56/205.57	c  F st    94     25002    165663    211118    335533     14075   1429036    467561     19.00     17.01
4263.57/205.73	c Replacing      180 vars Replaced     5100 lits Time:     0.11 s 
4464.32/212.02	c  N st    98     27032    165469    210738    335882     15963   1423148    612113     19.00   no data
4735.99/220.59	c  S st   100     30000    165468    210738    335910     18795   1423148    853293     19.00   no data
4742.38/220.75	c Finding binary XORs  T:     0.11 s  found:     506
4819.11/223.13	c  S st   100     30501    165467    210407    334405     19076   1417430    833583     19.00   no data
4822.93/223.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
5707.72/250.99	c Flit:     3 Blit:      1 bXBeca:    0 bXProp:   58 Bins:  81170 BRemL:     18 BRemN:      0 P: 200.1M T: 27.76
5717.32/251.22	c Replacing      564 vars Replaced    30130 lits Time:     0.21 s 
5720.51/251.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.02 s
5723.71/251.47	c bin-w-bin subsume rem          700 bins  time:  0.08 s
5730.10/251.68	c subs with bin:     1828  lits-rem:       759  v-fix:    0  time:  0.22 s
5838.77/255.08	c Subs w/ non-existent bins:    258 l-rem:   1348 v-fix:     0 done:  57999 time:  3.38 s
5851.56/255.48	c Removed useless bin:      41  fixed:     0  props:  20.05M  time:  0.40 s
5937.21/258.13	c lits-rem:         2  cl-subs:     1485  v-elim:  85012  v-fix:    0  time:  2.43 s
5940.41/258.27	c subs with bin:       49  lits-rem:       436  v-fix:    0  time:  0.09 s
5950.62/258.57	c lits-rem:       330  cl-subs:      356  v-elim:      0  v-fix:    0  time:  0.19 s
5978.77/259.44	c asymm  cl-useful: 1425/4619/240579 lits-rem:1447 time: 0.87
5978.77/259.48	c calculated reachability. Time: 0.01
5978.77/259.49	c  N dy   100     30501     79849    240579    176427      9222   1317067    301582     19.00   no data
5982.55/259.57	c Finding binary XORs  T:     0.08 s  found:      33
6328.19/270.44	c  N dy   109     34686     79793    240579    179805     13330   1317067    527572     18.16     20.92
6576.28/279.89	c  N dy   120     38708     79776    240579    179821     17292   1317067    752922     17.67     32.26
6786.43/287.39	c Finding binary XORs  T:     0.08 s  found:     782
6792.82/287.50	c Replacing      817 vars Replaced    27632 lits Time:     0.11 s 
6983.99/293.51	c  N dy   124     42710     78953    238054    158348     10927   1296420    272371     16.95     17.88
7191.55/300.00	c  S st   130     45751     78941    238054    160105     13915   1296420    402021     16.66      8.56
7239.48/301.51	c  S st   130     46251     78933    238054    160129     14391   1296420    430171     16.66   no data
7239.48/301.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
7842.18/320.50	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:  114 Bins:   4823 BRemL:      2 BRemN:      0 P: 200.0M T: 18.90
7848.59/320.65	c Replacing      115 vars Replaced    12763 lits Time:     0.14 s 
7854.98/320.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
7854.98/320.88	c bin-w-bin subsume rem         1914 bins  time:  0.05 s
7861.38/321.04	c subs with bin:     4233  lits-rem:      1073  v-fix:    0  time:  0.15 s
7886.95/321.81	c Subs w/ non-existent bins:   3249 l-rem:  21331 v-fix:     0 done:  72035 time:  0.77 s
7900.36/322.23	c Removed useless bin:     204  fixed:     0  props:  20.00M  time:  0.41 s
7915.71/322.74	c lits-rem:        57  cl-subs:      517  v-elim:    858  v-fix:    0  time:  0.49 s
7922.11/322.95	c subs with bin:      112  lits-rem:      1468  v-fix:    0  time:  0.15 s
7931.70/323.31	c lits-rem:       700  cl-subs:      948  v-elim:      0  v-fix:    0  time:  0.24 s
7963.66/324.27	c asymm  cl-useful: 136/6217/230086 lits-rem:278 time: 0.96
7966.86/324.32	c calculated reachability. Time: 0.01
7966.86/324.32	c  N dy   130     46251     77959    230086    162595     12883   1267703    367738     16.66   no data
7966.86/324.40	c Finding binary XORs  T:     0.08 s  found:      69
8308.86/335.02	c  N dy   141     50594     77959    230086    162622     17154   1267703    533713     16.44     17.54
8536.42/342.16	c  N dy   149     54696     77952    230086    165846     21148   1267703    715770     16.52     19.29
8849.62/351.93	c  N dy   161     58960     77951    230086    165900     25263   1267703    893154     16.30     17.18
8852.85/352.05	c Finding binary XORs  T:     0.08 s  found:     412
9152.68/361.42	c  N dy   173     63029     77943    229716    174609     29128   1264661   1094503     16.18     50.87
9178.24/362.22	c Finding binary XORs  T:     0.08 s  found:     154
9536.20/373.47	c  N dy   193     67200     77943    229505    174265     18335   1262857    430054     16.19     17.59
9728.61/379.47	c  S st   202     69377     77925    229505    179827     20488   1262856    571631     16.17   no data
9798.94/381.65	c  S st   202     69878     77925    229505    179849     20964   1262856    591999     16.17   no data
9802.14/381.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
10447.13/401.99	c Flit:     1 Blit:      2 bXBeca:    0 bXProp:  195 Bins:   9764 BRemL:      7 BRemN:      0 P: 200.0M T: 20.24
10453.52/402.17	c Replacing      838 vars Replaced    28086 lits Time:     0.17 s 
10459.91/402.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
10463.11/402.41	c bin-w-bin subsume rem         6625 bins  time:  0.05 s
10466.93/402.55	c subs with bin:     2414  lits-rem:        73  v-fix:    0  time:  0.15 s
10491.88/403.31	c Subs w/ non-existent bins:    333 l-rem:   1370 v-fix:     0 done:  71358 time:  0.75 s
10507.86/403.81	c Removed useless bin:      64  fixed:     0  props:  15.56M  time:  0.50 s
10520.64/404.23	c lits-rem:         1  cl-subs:      127  v-elim:     70  v-fix:    0  time:  0.41 s
10527.04/404.48	c subs with bin:      115  lits-rem:       829  v-fix:    0  time:  0.17 s
10540.45/404.89	c lits-rem:       451  cl-subs:      252  v-elim:      0  v-fix:    0  time:  0.28 s
10572.41/405.84	c asymm  cl-useful: 103/4766/224874 lits-rem:365 time: 0.95
10572.41/405.89	c calculated reachability. Time: 0.01
10572.41/405.89	c  N dy   202     69878     77020    224873    159748     20148   1245162    521366     16.17   no data
10575.61/405.97	c Finding binary XORs  T:     0.08 s  found:     135
10952.14/417.71	c  N dy   222     74580     76982    224873    168584     24775   1245160    746807     16.24     17.52
10955.34/417.83	c Finding binary XORs  T:     0.08 s  found:     717
10959.12/417.94	c Replacing      856 vars Replaced    25195 lits Time:     0.11 s 
11322.94/429.38	c  N dy   233     79361     76126    223014    148354     29005   1233259    888559     15.94     18.78
11703.32/441.28	c  N dy   255     84506     76114    223014    149870     33944   1233259   1116135     15.92     17.05
11885.49/446.92	c  F st   266     87500     76103    223014    150708     19668   1233259    334954     15.85      9.00
11888.72/447.06	c Replacing        4 vars Replaced      103 lits Time:     0.09 s 
12144.43/455.03	c  N st   271     90795     76094    222465    149813     22633   1229175    487068     15.85   no data
12147.63/455.11	c Finding binary XORs  T:     0.08 s  found:     446
12735.77/473.58	c  N dy   290     96672     76082    222465    151728     28340   1229175    930164     16.10     92.71
13269.60/490.23	c Finding binary XORs  T:     0.08 s  found:     493
13272.79/490.37	c Replacing      940 vars Replaced    32668 lits Time:     0.14 s 
13311.14/491.61	c  N dy   313    103108     75143    220563    149976     34437   1220238   1156348     15.97     17.04
13426.18/495.10	c  S st   321    104817     75143    220563    149981     36120   1220238   1243374     15.98      9.20
13486.93/497.03	c  S st   321    105319     75142    220563    150904     36579   1220238   1260407     15.98   no data
13490.73/497.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
14212.53/519.74	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:  128 Bins:  16875 BRemL:      1 BRemN:      0 P: 200.0M T: 22.61
14218.92/519.92	c Replacing      130 vars Replaced     8354 lits Time:     0.16 s 
14225.32/520.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
14225.32/520.15	c bin-w-bin subsume rem         2725 bins  time:  0.05 s
14229.14/520.29	c subs with bin:     3547  lits-rem:       107  v-fix:    0  time:  0.14 s
14254.08/521.05	c Subs w/ non-existent bins:     35 l-rem:    156 v-fix:     0 done:  71822 time:  0.76 s
14270.06/521.54	c Removed useless bin:      34  fixed:     0  props:  13.97M  time:  0.49 s
14282.85/522.00	c lits-rem:         1  cl-subs:      392  v-elim:    116  v-fix:    0  time:  0.45 s
14302.64/522.53	c subs with bin:      119  lits-rem:      5259  v-fix:    0  time:  0.38 s
14337.81/523.64	c lits-rem:      1572  cl-subs:      793  v-elim:      0  v-fix:    0  time:  0.97 s
14378.73/524.99	c asymm  cl-useful: 81/11720/216087 lits-rem:251 time: 1.35
14381.93/525.04	c calculated reachability. Time: 0.01
14381.93/525.05	c  N dy   321    105319     74891    216087    164047     34771   1212965   1161906     15.98   no data
14385.13/525.12	c Finding binary XORs  T:     0.08 s  found:     120
14935.54/542.37	c Finding binary XORs  T:     0.08 s  found:     676
14941.30/542.53	c Replacing      799 vars Replaced    34849 lits Time:     0.16 s 
15053.19/546.04	c  N dy   342    112885     74057    214432    187286     24817   1202460    464523     15.80     16.71
15379.22/556.21	c Finding binary XORs  T:     0.08 s  found:     416
15650.92/564.78	c  N dy   365    120537     74052    214055    198068     31894   1200525    750955     15.60     17.32
15928.95/573.42	c Finding binary XORs  T:     0.08 s  found:     383
15932.14/573.55	c Replacing      803 vars Replaced    30760 lits Time:     0.13 s 
16344.50/586.49	c  N dy   392    129069     73227    212133    210003     39778   1191264   1091247     15.54     16.42
16623.22/595.19	c Finding binary XORs  T:     0.08 s  found:     448
17127.64/610.92	c  N dy   420    137435     73201    211370    216930     31152   1187826    583326     15.50     16.32
17648.64/627.20	c Finding binary XORs  T:     0.08 s  found:     852
17651.84/627.34	c Replacing     1303 vars Replaced    47113 lits Time:     0.14 s 
18067.35/640.39	c  N dy   460    146647     71867    208138    214639     39774   1172348    923295     15.47     16.30
18835.13/664.41	c  N dy   496    156031     71859    208138    217257     48942   1172346   1309836     15.46     16.67
18840.93/664.57	c Finding binary XORs  T:     0.08 s  found:     835
18847.32/664.71	c Replacing      836 vars Replaced    33692 lits Time:     0.14 s 
19019.94/670.19	c  S st   511    157979     70998    206092    219996     50253   1162826   1390683     15.61   no data
19087.06/672.21	c  S st   511    158479     70998    206092    220017     50731   1162826   1423753     15.61   no data
19090.23/672.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
19914.82/698.19	c Flit:     1 Blit:      2 bXBeca:    0 bXProp:   43 Bins:  13013 BRemL:      0 BRemN:      0 P: 200.1M T: 25.88
19921.22/698.39	c Replacing       49 vars Replaced    10286 lits Time:     0.19 s 
19928.24/698.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
19930.83/698.64	c bin-w-bin subsume rem        11281 bins  time:  0.06 s
19934.03/698.79	c subs with bin:     4343  lits-rem:       127  v-fix:    0  time:  0.15 s
19963.43/699.63	c Subs w/ non-existent bins:     28 l-rem:     13 v-fix:     0 done:  68741 time:  0.84 s
19972.35/700.00	c Removed useless bin:      64  fixed:     0  props:  10.33M  time:  0.36 s
19991.55/700.53	c lits-rem:         0  cl-subs:      965  v-elim:    255  v-fix:    0  time:  0.54 s
20017.12/701.37	c subs with bin:      336  lits-rem:     10766  v-fix:    0  time:  0.68 s
20052.30/702.46	c lits-rem:      2337  cl-subs:     1001  v-elim:      0  v-fix:    0  time:  0.97 s
20093.83/703.77	c asymm  cl-useful: 172/6246/200113 lits-rem:641 time: 1.31
20097.03/703.82	c calculated reachability. Time: 0.01
20097.03/703.82	c  N dy   511    158479     70691    200101    219812     47162   1160695   1236011     15.61   no data
20260.05/708.93	c Finding binary XORs  T:     0.08 s  found:      59
20886.55/728.58	c Finding binary XORs  T:     0.08 s  found:    1218
20892.94/728.72	c Replacing     1278 vars Replaced    44941 lits Time:     0.14 s 
21085.38/734.81	c  N dy   542    169836     69385    197515    223551     40796   1148418    776171     15.46     16.63
21605.79/751.05	c Finding binary XORs  T:     0.08 s  found:    1126
21608.98/751.20	c Replacing     1132 vars Replaced    47196 lits Time:     0.15 s 
22091.63/766.22	c  N dy   587    180766     68221    194310    221789     51056   1133745   1125108     15.50     18.17
22622.20/782.85	c Finding binary XORs  T:     0.08 s  found:     453
22999.37/794.64	c  N dy   632    192355     68189    193768    230842     43265   1130711    678884     15.50     16.78
23213.54/801.34	c Finding binary XORs  T:     0.08 s  found:     486
23216.74/801.48	c Replacing      942 vars Replaced    36357 lits Time:     0.13 s 
23520.40/810.91	c Finding binary XORs  T:     0.08 s  found:     375
24012.65/826.36	c  N dy   673    204634     67204    191537    244193     54588   1121260   1128409     15.40     37.61
24341.90/836.66	c Finding binary XORs  T:     0.09 s  found:     953
24348.31/836.83	c Replacing     1329 vars Replaced    65683 lits Time:     0.17 s 
25080.29/859.79	c Finding binary XORs  T:     0.08 s  found:     572
25246.50/864.93	c  N dy   707    217924     65838    187018    249011     66268   1101860   1478251     15.18     16.06
26058.41/890.39	c Finding binary XORs  T:     0.08 s  found:     791
26064.81/890.56	c Replacing     1364 vars Replaced    66917 lits Time:     0.16 s 
26473.93/903.36	c  N dy   755    231999     64384    184066    249170     60324   1088872   1130173     15.05     16.49
26937.44/917.86	c  S st   775    237720     64369    184066    251631     65970   1088872   1334830     15.00   no data
27001.37/919.81	c  S st   775    238220     64369    184066    251649     66443   1088872   1367474     15.00   no data
27004.57/919.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
27806.88/945.05	c Flit:     8 Blit:      5 bXBeca:    0 bXProp:  297 Bins:   8932 BRemL:      4 BRemN:      0 P: 200.0M T: 25.12
27813.28/945.26	c Replacing      298 vars Replaced    24138 lits Time:     0.20 s 
27819.67/945.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
27822.87/945.50	c bin-w-bin subsume rem        15660 bins  time:  0.06 s
27826.07/945.66	c subs with bin:     1745  lits-rem:       306  v-fix:    0  time:  0.16 s
27854.84/946.60	c Subs w/ non-existent bins:     60 l-rem:     36 v-fix:     0 done:  63991 time:  0.91 s
27864.43/946.88	c Removed useless bin:     116  fixed:     0  props:   8.20M  time:  0.28 s
27886.79/947.58	c lits-rem:        35  cl-subs:     2139  v-elim:    477  v-fix:    0  time:  0.69 s
27906.58/948.16	c subs with bin:      455  lits-rem:      8267  v-fix:    0  time:  0.43 s
27934.75/949.03	c lits-rem:      1440  cl-subs:     1257  v-elim:      0  v-fix:    0  time:  0.74 s
27985.88/950.64	c asymm  cl-useful: 42/3137/178673 lits-rem:92 time: 1.60
27985.88/950.69	c calculated reachability. Time: 0.01
27985.88/950.69	c  N dy   775    238220     63514    178673    236973     61934   1115742   1134553     15.00   no data
27989.08/950.77	c Finding binary XORs  T:     0.08 s  found:     202
28465.32/965.66	c Finding binary XORs  T:     0.08 s  found:     773
28472.35/965.84	c Replacing      977 vars Replaced    55742 lits Time:     0.18 s 
29383.30/994.35	c Finding binary XORs  T:     0.08 s  found:     455
29433.81/995.94	c  N dy   835    253727     62456    175037    244531     57116   1097257    787562     15.08     16.55
30530.19/1030.29	c  N dy   887    269924     62419    175037    248008     73106   1097255   1459694     15.08     16.89
30536.59/1030.43	c Finding binary XORs  T:     0.08 s  found:     195
30539.79/1030.61	c Replacing      651 vars Replaced    56165 lits Time:     0.17 s 
31214.86/1051.69	c Finding binary XORs  T:     0.08 s  found:     178
31850.31/1071.51	c  N dy   950    288174     61745    172338    250449     68900   1083206   1072503     15.08     15.96
32451.27/1090.33	c Finding binary XORs  T:     0.08 s  found:     273
33254.19/1115.44	c  F st  1029    306250     61649    170430    252663     85318   1073042   1821659     15.15      8.30
33259.95/1115.66	c Replacing      456 vars Replaced    42386 lits Time:     0.16 s 
33311.10/1117.30	c  N st  1031    306878     61206    168788    249434     84274   1058640   1747230     15.15   no data
33442.16/1121.31	c Finding binary XORs  T:     0.08 s  found:     244
34244.48/1146.47	c Finding binary XORs  T:     0.08 s  found:     221
34544.93/1155.80	c  N dy  1081    326753     61083    165449    262301     80953   1037714   1258462     15.08     16.14
35168.26/1175.38	c Finding binary XORs  T:     0.08 s  found:     206
35174.66/1175.56	c Replacing      671 vars Replaced    63892 lits Time:     0.18 s 
35645.16/1190.25	c Finding binary XORs  T:     0.08 s  found:     181
36099.03/1204.43	c  N dy  1168    347711     60257    161219    273348     77489   1010417    923796     15.06     16.21
36747.32/1224.79	c Finding binary XORs  T:     0.08 s  found:     126
37019.02/1233.20	c  S st  1192    357330     60153    159657    279834     86281   1003645   1236329     14.95     13.22
37060.58/1234.54	c  S st  1192    357831     60153    159657    279848     86768   1003645   1262931     14.95   no data
37063.78/1234.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
37790.01/1257.37	c Flit:     3 Blit:      5 bXBeca:    0 bXProp:   99 Bins:   2965 BRemL:      2 BRemN:      0 P: 200.0M T: 22.72
37798.95/1257.60	c Replacing      406 vars Replaced    33567 lits Time:     0.22 s 
37802.15/1257.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
37805.35/1257.84	c bin-w-bin subsume rem        16813 bins  time:  0.07 s
37808.55/1257.99	c subs with bin:      958  lits-rem:       971  v-fix:    0  time:  0.15 s
37837.32/1258.86	c Subs w/ non-existent bins:    173 l-rem:    974 v-fix:     1 done:  59736 time:  0.87 s
37843.72/1259.05	c Removed useless bin:     144  fixed:     0  props:   4.39M  time:  0.19 s
37872.49/1259.94	c lits-rem:       163  cl-subs:     5058  v-elim:   1501  v-fix:    0  time:  0.89 s
37885.28/1260.32	c subs with bin:     4858  lits-rem:     10146  v-fix:    0  time:  0.23 s
37904.45/1260.91	c lits-rem:       958  cl-subs:     1512  v-elim:      0  v-fix:    0  time:  0.47 s
37955.60/1262.53	c asymm  cl-useful: 79/656/148104 lits-rem:188 time: 1.61
37955.60/1262.58	c calculated reachability. Time: 0.01
37955.60/1262.58	c  N dy  1192    357831     58234    148104    258503     72901   1092952    891270     14.95   no data
38096.22/1266.97	c Finding binary XORs  T:     0.08 s  found:     134
38438.25/1277.64	c Finding binary XORs  T:     0.08 s  found:     998
38444.64/1277.80	c Replacing     1132 vars Replaced    91629 lits Time:     0.17 s 
38985.48/1294.72	c Finding binary XORs  T:     0.08 s  found:    1569
38988.04/1294.89	c Replacing     1569 vars Replaced    89511 lits Time:     0.17 s 
39074.64/1305.15	c Following stats are for *FIRST FINISHED THREAD ONLY*
39074.64/1305.15	c num threads              : 32         
39074.64/1305.15	c restarts                 : 1363       
39074.64/1305.15	c dynamic restarts         : 1339       
39074.64/1305.15	c static restarts          : 24         
39074.64/1305.15	c full restarts            : 3          
39074.64/1305.15	c total simplify time      : 9.43       
39074.64/1305.15	c learnts DL2              : 0          
39074.64/1305.15	c learnts size 2           : 2379214    
39074.64/1305.15	c learnts size 1           : 6702        (2.69      % of vars)
39074.64/1305.15	c filedLit time            : 62.31       (5.11      % time)
39074.64/1305.15	c v-elim SatELite          : 168393      (67.54     % vars)
39074.64/1305.15	c SatELite time            : 20.56       (1.69      % time)
39074.64/1305.15	c v-elim xor               : 0           (0.00      % vars)
39074.64/1305.15	c xor elim time            : 0.24        (0.02      % time)
39074.64/1305.15	c num binary xor trees     : 2628       
39074.64/1305.15	c binxor trees' crown      : 20468       (7.79      leafs/tree)
39074.64/1305.15	c bin xor find time        : 3.45       
39074.64/1305.15	c OTF clause improved      : 4578        (0.01      clauses/conflict)
39074.64/1305.15	c OTF impr. size diff      : 6292        (1.37       lits/clause)
39074.64/1305.15	c OTF cl watch-shrink      : 95182       (0.24      clauses/conflict)
39074.64/1305.15	c OTF cl watch-sh-lit      : 342342      (3.60       lits/clause)
39074.64/1305.15	c tried to recurMin cls    : 0           (0.00       % of conflicts)
39074.64/1305.15	c updated cache            : 0           (nan        lits/tried recurMin)
39074.64/1305.15	c unit cls recevied        : 749         (11.18     % of units)
39074.64/1305.15	c unit cls sent            : 185         (2.76      % of units)
39074.64/1305.15	c bin cls recevied         : 498662     
39074.64/1305.15	c bin cls sent             : 11319      
39074.64/1305.15	c clauses over max glue    : 0           (0.00      % of all clauses)
39074.64/1305.15	c conflicts                : 392617      (322.19    / sec)
39074.64/1305.15	c decisions                : 6277885     (1.55      % random)
39074.64/1305.15	c bogo-props               : 15880427209 (13031839.76 / sec)
39074.64/1305.15	c conflict literals        : 17764338    (26.97     % deleted)
39074.64/1305.15	c Memory used              : 13668.25    MB
39074.64/1305.15	c single-thread CPU time   : 1218.59     s
39074.64/1305.15	c all-threads sum CPU time : 38948.50    s
39074.64/1305.15	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-3400653-1306273012/watcher-3400653-1306273012 -o /tmp/evaluation-result-3400653-1306273012/solver-3400653-1306273012 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400653-1306273012.cnf 

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

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


[startup+0 s]
/proc/loadavg: 27.48 30.96 30.28 1/413 11583
/proc/meminfo: memFree=255153660/264257624 swapFree=67111528/67111528
[pid=11583] ppid=11581 vsize=338000 CPUtime=0.89 cores=0-31
/proc/11583/stat : 11583 (strangenight2-m) R 11581 11583 11499 0 -1 4202496 467 0 0 0 89 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025751 0 0 4096 2 18446744073709551615 0 0 17 11 0 0 0
/proc/11583/statm: 84500 408 300 95 0 79482 0
[pid=11583/tid=11584] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11584/stat : 11584 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 4 0 0 0 3 0 0 0 23 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025747 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11583/tid=11585] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11585/stat : 11585 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11583/tid=11586] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11586/stat : 11586 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025751 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=11583/tid=11587] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11587/stat : 11587 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025744 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11583/tid=11588] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11588/stat : 11588 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11583/tid=11589] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11589/stat : 11589 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=11583/tid=11590] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11590/stat : 11590 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025744 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11583/tid=11591] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11591/stat : 11591 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025744 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11583/tid=11592] ppid=11581 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11583/task/11592/stat : 11592 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 0 0 0 0 2 0 0 0 24 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670026162 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=11583/tid=11593] ppid=11581 vsize=338000 CPUtime=0 cores=0-31
/proc/11583/task/11593/stat : 11593 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025757 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=11583/tid=11594] ppid=11581 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11583/task/11594/stat : 11594 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11583/tid=11595] ppid=11581 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11583/task/11595/stat : 11595 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025744 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11583/tid=11596] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11596/stat : 11596 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=11583/tid=11597] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11597/stat : 11597 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=11583/tid=11598] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11598/stat : 11598 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11583/tid=11599] ppid=11581 vsize=338000 CPUtime=0 cores=0-31
/proc/11583/task/11599/stat : 11599 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=11583/tid=11600] ppid=11581 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11583/task/11600/stat : 11600 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11583/tid=11601] ppid=11581 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11583/task/11601/stat : 11601 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=11583/tid=11602] ppid=11581 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11583/task/11602/stat : 11602 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025757 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=11583/tid=11603] ppid=11581 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11583/task/11603/stat : 11603 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=11583/tid=11604] ppid=11581 vsize=338000 CPUtime=0.02 cores=0-31
/proc/11583/task/11604/stat : 11604 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=11583/tid=11605] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11605/stat : 11605 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11583/tid=11606] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11606/stat : 11606 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025747 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11583/tid=11607] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11607/stat : 11607 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=11583/tid=11608] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11608/stat : 11608 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=11583/tid=11609] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11609/stat : 11609 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11583/tid=11610] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11610/stat : 11610 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=11583/tid=11611] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11611/stat : 11611 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=11583/tid=11612] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11612/stat : 11612 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025751 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=11583/tid=11613] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11613/stat : 11613 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11583/tid=11614] ppid=11581 vsize=338000 CPUtime=0.03 cores=0-31
/proc/11583/task/11614/stat : 11614 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 738787752 346112000 408 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025753 0 0 4096 2 0 0 0 -1 29 0 0 0

[startup+0.0679759 s]
/proc/loadavg: 27.48 30.96 30.28 1/413 11583
/proc/meminfo: memFree=255153660/264257624 swapFree=67111528/67111528
[pid=11583] ppid=11581 vsize=740964 CPUtime=1.41 cores=0-31
/proc/11583/stat : 11583 (strangenight2-m) R 11581 11583 11499 0 -1 4202496 5597 0 0 0 111 30 0 0 25 0 32 0 738787752 758747136 5448 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 11 0 0 0
/proc/11583/statm: 185241 5458 332 95 0 180223 0
[pid=11583/tid=11584] ppid=11581 vsize=740964 CPUtime=0.03 cores=0-31
/proc/11583/task/11584/stat : 11584 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 114 0 0 0 3 0 0 0 24 0 32 0 738787752 758747136 5459 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11583/tid=11585] ppid=11581 vsize=740964 CPUtime=0.04 cores=0-31
/proc/11583/task/11585/stat : 11585 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 329 0 0 0 3 1 0 0 18 0 32 0 738787752 758747136 5459 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650618162 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=11583/tid=11586] ppid=11581 vsize=740964 CPUtime=0.03 cores=0-31
/proc/11583/task/11586/stat : 11586 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 135 0 0 0 3 0 0 0 24 0 32 0 738787752 758747136 5459 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=11583/tid=11587] ppid=11581 vsize=740964 CPUtime=0.03 cores=0-31
/proc/11583/task/11587/stat : 11587 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 108 0 0 0 3 0 0 0 24 0 32 0 738787752 758747136 5470 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11583/tid=11588] ppid=11581 vsize=740964 CPUtime=0.03 cores=0-31
/proc/11583/task/11588/stat : 11588 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 135 0 0 0 3 0 0 0 24 0 32 0 738787752 758747136 5484 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11583/tid=11589] ppid=11581 vsize=740964 CPUtime=0.03 cores=0-31
/proc/11583/task/11589/stat : 11589 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 149 0 0 0 3 0 0 0 24 0 32 0 738787752 758747136 5492 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=11583/tid=11590] ppid=11581 vsize=740964 CPUtime=0.04 cores=0-31
/proc/11583/task/11590/stat : 11590 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 119 0 0 0 3 1 0 0 24 0 32 0 738787752 758747136 5492 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11583/tid=11591] ppid=11581 vsize=740964 CPUtime=0.04 cores=0-31
/proc/11583/task/11591/stat : 11591 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 127 0 0 0 3 1 0 0 25 0 32 0 738787752 758747136 5493 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11583/tid=11592] ppid=11581 vsize=740964 CPUtime=0.02 cores=0-31
/proc/11583/task/11592/stat : 11592 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 41 0 0 0 2 0 0 0 25 0 32 0 738787752 758747136 5506 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=11583/tid=11593] ppid=11581 vsize=740964 CPUtime=0.01 cores=0-31
/proc/11583/task/11593/stat : 11593 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 124 0 0 0 1 0 0 0 25 0 32 0 738787752 758747136 5523 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=11583/tid=11594] ppid=11581 vsize=740964 CPUtime=0.03 cores=0-31
/proc/11583/task/11594/stat : 11594 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 112 0 0 0 3 0 0 0 25 0 32 0 738787752 758747136 5548 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11583/tid=11595] ppid=11581 vsize=740964 CPUtime=0.04 cores=0-31
/proc/11583/task/11595/stat : 11595 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 146 0 0 0 3 1 0 0 25 0 32 0 738787752 758747136 5548 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=11583/tid=11596] ppid=11581 vsize=740964 CPUtime=0.03 cores=0-31
/proc/11583/task/11596/stat : 11596 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 140 0 0 0 3 0 0 0 25 0 32 0 738787752 758747136 5549 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=11583/tid=11597] ppid=11581 vsize=740964 CPUtime=0.04 cores=0-31
/proc/11583/task/11597/stat : 11597 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 134 0 0 0 3 1 0 0 25 0 32 0 738787752 758747136 5554 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=11583/tid=11598] ppid=11581 vsize=740964 CPUtime=0.04 cores=0-31
/proc/11583/task/11598/stat : 11598 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 301 0 0 0 3 1 0 0 18 0 32 0 738787752 758747136 5571 268435456000 4194304 4580107 140736450948560 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11583/tid=11599] ppid=11581 vsize=740964 CPUtime=0.01 cores=0-31
/proc/11583/task/11599/stat : 11599 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 297 0 0 0 1 0 0 0 18 0 32 0 738787752 758747136 5606 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=11583/tid=11600] ppid=11581 vsize=740964 CPUtime=0.03 cores=0-31
/proc/11583/task/11600/stat : 11600 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 134 0 0 0 3 0 0 0 25 0 32 0 738787752 758747136 5611 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11583/tid=11601] ppid=11581 vsize=740964 CPUtime=0.04 cores=0-31
/proc/11583/task/11601/stat : 11601 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 307 0 0 0 3 1 0 0 18 0 32 0 738787752 758747136 5611 268435456000 4194304 4580107 140736450948560 18446744073709551615 4311177 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=11583/tid=11602] ppid=11581 vsize=740964 CPUtime=0.04 cores=0-31
/proc/11583/task/11602/stat : 11602 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 294 0 0 0 3 1 0 0 25 0 32 0 738787752 758747136 5612 268435456000 4194304 4580107 140736450948560 18446744073709551615 4349457 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=11583/tid=11603] ppid=11581 vsize=740964 CPUtime=0.03 cores=0-31
/proc/11583/task/11603/stat : 11603 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 286 0 0 0 3 0 0 0 17 0 32 0 738787752 758747136 5623 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651060958 0 0 4096 2 18446744071566927984 0 0 -1 23 0 0 0
[pid=11583/tid=11604] ppid=11581 vsize=740964 CPUtime=0.04 cores=0-31
/proc/11583/task/11604/stat : 11604 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 294 0 0 0 3 1 0 0 18 0 32 0 738787752 758747136 5630 268435456000 4194304 4580107 140736450948560 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=11583/tid=11605] ppid=11581 vsize=740964 CPUtime=0.03 cores=0-31
/proc/11583/task/11605/stat : 11605 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 152 0 0 0 3 0 0 0 18 0 32 0 738787752 758747136 5639 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11583/tid=11606] ppid=11581 vsize=740964 CPUtime=0.04 cores=0-31
/proc/11583/task/11606/stat : 11606 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 119 0 0 0 3 1 0 0 18 0 32 0 738787752 758747136 5651 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11583/tid=11607] ppid=11581 vsize=740964 CPUtime=0.03 cores=0-31
/proc/11583/task/11607/stat : 11607 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 117 0 0 0 3 0 0 0 25 0 32 0 738787752 758747136 5652 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=11583/tid=11608] ppid=11581 vsize=740964 CPUtime=0.04 cores=0-31
/proc/11583/task/11608/stat : 11608 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 131 0 0 0 3 1 0 0 25 0 32 0 738787752 758747136 5661 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=11583/tid=11609] ppid=11581 vsize=740964 CPUtime=0.04 cores=0-31
/proc/11583/task/11609/stat : 11609 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 134 0 0 0 3 1 0 0 25 0 32 0 738787752 758747136 5680 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11583/tid=11610] ppid=11581 vsize=740964 CPUtime=0.04 cores=0-31
/proc/11583/task/11610/stat : 11610 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 153 0 0 0 3 1 0 0 25 0 32 0 738787752 758747136 5721 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=11583/tid=11611] ppid=11581 vsize=740964 CPUtime=0.04 cores=0-31
/proc/11583/task/11611/stat : 11611 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 137 0 0 0 3 1 0 0 25 0 32 0 738787752 758747136 5722 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=11583/tid=11612] ppid=11581 vsize=740964 CPUtime=0.03 cores=0-31
/proc/11583/task/11612/stat : 11612 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 124 0 0 0 3 0 0 0 25 0 32 0 738787752 758747136 5723 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=11583/tid=11613] ppid=11581 vsize=740964 CPUtime=0.03 cores=0-31
/proc/11583/task/11613/stat : 11613 (strangenight2-m) D 11581 11583 11499 0 -1 4202560 120 0 0 0 3 0 0 0 25 0 32 0 738787752 758747136 5732 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=11583/tid=11614] ppid=11581 vsize=740964 CPUtime=0.03 cores=0-31
/proc/11583/task/11614/stat : 11614 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 124 0 0 0 3 0 0 0 25 0 32 0 738787752 758747136 5750 268435456000 4194304 4580107 140736450948560 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 29 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 740964

[startup+0.103877 s]
/proc/loadavg: 27.48 30.96 30.28 1/413 11583
/proc/meminfo: memFree=255153660/264257624 swapFree=67111528/67111528
[pid=11583] ppid=11581 vsize=1177332 CPUtime=1.99 cores=0-31
/proc/11583/stat : 11583 (strangenight2-m) S 11581 11583 11499 0 -1 4202496 11361 0 0 0 117 82 0 0 17 0 32 0 738787752 1205587968 11212 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 11 0 0 0
/proc/11583/statm: 294333 11216 334 95 0 289315 0
[pid=11583/tid=11584] ppid=11581 vsize=1177332 CPUtime=0.06 cores=0-31
/proc/11583/task/11584/stat : 11584 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 322 0 0 0 3 3 0 0 17 0 32 0 738787752 1205587968 11223 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=11583/tid=11585] ppid=11581 vsize=1185536 CPUtime=0.06 cores=0-31
/proc/11583/task/11585/stat : 11585 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 490 0 0 0 4 2 0 0 17 0 32 0 738787752 1213988864 11229 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651060958 0 0 4096 2 18446604474669981152 0 0 -1 8 0 0 0
[pid=11583/tid=11586] ppid=11581 vsize=1185536 CPUtime=0.05 cores=0-31
/proc/11583/task/11586/stat : 11586 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 334 0 0 0 3 2 0 0 17 0 32 0 738787752 1213988864 11233 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=11583/tid=11587] ppid=11581 vsize=1185536 CPUtime=0.06 cores=0-31
/proc/11583/task/11587/stat : 11587 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 337 0 0 0 3 3 0 0 24 0 32 0 738787752 1213988864 11235 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11583/tid=11588] ppid=11581 vsize=1185536 CPUtime=0.05 cores=0-31
/proc/11583/task/11588/stat : 11588 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 316 0 0 0 3 2 0 0 17 0 32 0 738787752 1213988864 11241 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11583/tid=11589] ppid=11581 vsize=1185536 CPUtime=0.05 cores=0-31
/proc/11583/task/11589/stat : 11589 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 350 0 0 0 3 2 0 0 17 0 32 0 738787752 1213988864 11242 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=11583/tid=11590] ppid=11581 vsize=1185536 CPUtime=0.06 cores=0-31
/proc/11583/task/11590/stat : 11590 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 373 0 0 0 3 3 0 0 17 0 32 0 738787752 1213988864 11242 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651060958 0 0 4096 2 18446604480244678112 0 0 -1 16 0 0 0
[pid=11583/tid=11591] ppid=11581 vsize=1185536 CPUtime=0.05 cores=0-31
/proc/11583/task/11591/stat : 11591 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 308 0 0 0 3 2 0 0 17 0 32 0 738787752 1213988864 11249 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651060958 0 0 4096 2 18446604504008809952 0 0 -1 2 0 0 0
[pid=11583/tid=11592] ppid=11581 vsize=1185536 CPUtime=0.03 cores=0-31
/proc/11583/task/11592/stat : 11592 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 316 0 0 0 2 1 0 0 17 0 32 0 738787752 1213988864 11256 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=11583/tid=11593] ppid=11581 vsize=1185536 CPUtime=0.02 cores=0-31
/proc/11583/task/11593/stat : 11593 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 315 0 0 0 1 1 0 0 17 0 32 0 738787752 1213988864 11258 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=11583/tid=11594] ppid=11581 vsize=1185536 CPUtime=0.05 cores=0-31
/proc/11583/task/11594/stat : 11594 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 314 0 0 0 3 2 0 0 17 0 32 0 738787752 1213988864 11260 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11583/tid=11595] ppid=11581 vsize=1185536 CPUtime=0.06 cores=0-31
/proc/11583/task/11595/stat : 11595 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 328 0 0 0 4 2 0 0 17 0 32 0 738787752 1213988864 11262 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651060958 0 0 4096 2 18446604482313944544 0 0 -1 12 0 0 0
[pid=11583/tid=11596] ppid=11581 vsize=1185536 CPUtime=0.05 cores=0-31
/proc/11583/task/11596/stat : 11596 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 306 0 0 0 3 2 0 0 17 0 32 0 738787752 1213988864 11273 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=11583/tid=11597] ppid=11581 vsize=1185536 CPUtime=0.05 cores=0-31
/proc/11583/task/11597/stat : 11597 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 320 0 0 0 3 2 0 0 17 0 32 0 738787752 1213988864 11273 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651060958 0 0 4096 2 18446604480880041440 0 0 -1 30 0 0 0
[pid=11583/tid=11598] ppid=11581 vsize=1185536 CPUtime=0.05 cores=0-31
/proc/11583/task/11598/stat : 11598 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 405 0 0 0 4 1 0 0 17 0 32 0 738787752 1213988864 11282 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651060958 0 0 4096 2 18446604574634745312 0 0 -1 3 0 0 0
[pid=11583/tid=11599] ppid=11581 vsize=1185536 CPUtime=0.03 cores=0-31
/proc/11583/task/11599/stat : 11599 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 377 0 0 0 1 2 0 0 17 0 32 0 738787752 1213988864 11289 268435456000 4194304 4580107 140736450948560 18446744073709551615 258651060958 0 0 4096 2 18446604704577830368 0 0 -1 18 0 0 0
[pid=11583/tid=11600] ppid=11581 vsize=1185536 CPUtime=0.05 cores=0-31

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

[pid=11583/tid=11584] ppid=11581 vsize=13996284 CPUtime=1227.62 cores=0-31
/proc/11583/task/11584/stat : 11584 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 168627 0 0 0 122331 431 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 4223100 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11583/tid=11585] ppid=11581 vsize=13996284 CPUtime=1217.03 cores=0-31
/proc/11583/task/11585/stat : 11585 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 149758 0 0 0 121300 403 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604480244678112 0 0 -1 21 0 0 0
[pid=11583/tid=11586] ppid=11581 vsize=13996284 CPUtime=1213.74 cores=0-31
/proc/11583/task/11586/stat : 11586 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 146489 0 0 0 120978 396 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604707277069792 0 0 -1 8 0 0 0
[pid=11583/tid=11587] ppid=11581 vsize=13996284 CPUtime=1228.28 cores=0-31
/proc/11583/task/11587/stat : 11587 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 180383 0 0 0 122390 438 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 4222880 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11583/tid=11588] ppid=11581 vsize=13996284 CPUtime=1214.56 cores=0-31
/proc/11583/task/11588/stat : 11588 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 214286 0 0 0 121010 446 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604481419754976 0 0 -1 1 0 0 0
[pid=11583/tid=11589] ppid=11581 vsize=13996284 CPUtime=1233.73 cores=0-31
/proc/11583/task/11589/stat : 11589 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 268915 0 0 0 122953 420 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604701683531232 0 0 -1 29 0 0 0
[pid=11583/tid=11590] ppid=11581 vsize=13996284 CPUtime=1222.9 cores=0-31
/proc/11583/task/11590/stat : 11590 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 355539 0 0 0 121887 403 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446744071566931384 0 0 -1 12 0 0 0
[pid=11583/tid=11591] ppid=11581 vsize=13996284 CPUtime=1209.7 cores=0-31
/proc/11583/task/11591/stat : 11591 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 247781 0 0 0 120573 397 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604709874630112 0 0 -1 13 0 0 0
[pid=11583/tid=11592] ppid=11581 vsize=13996284 CPUtime=1216.7 cores=0-31
/proc/11583/task/11592/stat : 11592 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 121910 0 0 0 121257 413 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604706329648608 0 0 -1 17 0 0 0
[pid=11583/tid=11593] ppid=11581 vsize=13996284 CPUtime=1223.87 cores=0-31
/proc/11583/task/11593/stat : 11593 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 223695 0 0 0 122075 312 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604707446201824 0 0 -1 10 0 0 0
[pid=11583/tid=11594] ppid=11581 vsize=13996284 CPUtime=1223.2 cores=0-31
/proc/11583/task/11594/stat : 11594 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 141341 0 0 0 121911 409 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604708197285344 0 0 -1 9 0 0 0
[pid=11583/tid=11595] ppid=11581 vsize=13996284 CPUtime=1223.86 cores=0-31
/proc/11583/task/11595/stat : 11595 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 117445 0 0 0 122078 308 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604705224990176 0 0 -1 5 0 0 0
[pid=11583/tid=11596] ppid=11581 vsize=13996284 CPUtime=1219.93 cores=0-31
/proc/11583/task/11596/stat : 11596 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 244665 0 0 0 121537 456 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604704429981152 0 0 -1 15 0 0 0
[pid=11583/tid=11597] ppid=11581 vsize=13996284 CPUtime=1221.87 cores=0-31
/proc/11583/task/11597/stat : 11597 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 235362 0 0 0 121859 328 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604478795300320 0 0 -1 3 0 0 0
[pid=11583/tid=11598] ppid=11581 vsize=13996284 CPUtime=1220.35 cores=0-31
/proc/11583/task/11598/stat : 11598 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 144735 0 0 0 121587 448 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604482313944544 0 0 -1 4 0 0 0
[pid=11583/tid=11599] ppid=11581 vsize=13996284 CPUtime=1220.57 cores=0-31
/proc/11583/task/11599/stat : 11599 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 245230 0 0 0 121734 323 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604483721518560 0 0 -1 28 0 0 0
[pid=11583/tid=11600] ppid=11581 vsize=13996284 CPUtime=1221.94 cores=0-31
/proc/11583/task/11600/stat : 11600 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 201183 0 0 0 121776 418 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604710698335712 0 0 -1 27 0 0 0
[pid=11583/tid=11601] ppid=11581 vsize=13996284 CPUtime=1213.67 cores=0-31
/proc/11583/task/11601/stat : 11601 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 138983 0 0 0 120922 445 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604574634745312 0 0 -1 11 0 0 0
[pid=11583/tid=11602] ppid=11581 vsize=13996284 CPUtime=1213.56 cores=0-31
/proc/11583/task/11602/stat : 11602 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 105316 0 0 0 120977 379 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604711040450016 0 0 -1 22 0 0 0
[pid=11583/tid=11603] ppid=11581 vsize=13996284 CPUtime=1228.95 cores=0-31
/proc/11583/task/11603/stat : 11603 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 121051 0 0 0 122476 419 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604477448625632 0 0 -1 26 0 0 0
[pid=11583/tid=11604] ppid=11581 vsize=13996284 CPUtime=1219.93 cores=0-31
/proc/11583/task/11604/stat : 11604 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 112830 0 0 0 121574 419 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670001348 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=11583/tid=11605] ppid=11581 vsize=13996284 CPUtime=1222.07 cores=0-31
/proc/11583/task/11605/stat : 11605 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 134752 0 0 0 121795 412 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604708192509408 0 0 -1 25 0 0 0
[pid=11583/tid=11606] ppid=11581 vsize=13996284 CPUtime=1222.49 cores=0-31
/proc/11583/task/11606/stat : 11606 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 114810 0 0 0 121863 386 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604474669981152 0 0 -1 30 0 0 0
[pid=11583/tid=11607] ppid=11581 vsize=13996284 CPUtime=1217.42 cores=0-31
/proc/11583/task/11607/stat : 11607 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 195148 0 0 0 121344 398 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604707590446560 0 0 -1 20 0 0 0
[pid=11583/tid=11608] ppid=11581 vsize=13996284 CPUtime=1215.55 cores=0-31
/proc/11583/task/11608/stat : 11608 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 179990 0 0 0 121175 380 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604504008809952 0 0 -1 2 0 0 0
[pid=11583/tid=11609] ppid=11581 vsize=13996284 CPUtime=1208.07 cores=0-31
/proc/11583/task/11609/stat : 11609 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 227939 0 0 0 120415 392 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604480947740128 0 0 -1 31 0 0 0
[pid=11583/tid=11610] ppid=11581 vsize=13996284 CPUtime=1222.97 cores=0-31
/proc/11583/task/11610/stat : 11610 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 209217 0 0 0 121870 427 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604706257173984 0 0 -1 7 0 0 0
[pid=11583/tid=11611] ppid=11581 vsize=13996284 CPUtime=1223.08 cores=0-31
/proc/11583/task/11611/stat : 11611 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 96606 0 0 0 121912 396 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604476646284768 0 0 -1 6 0 0 0
[pid=11583/tid=11612] ppid=11581 vsize=13996284 CPUtime=1220.14 cores=0-31
/proc/11583/task/11612/stat : 11612 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 168183 0 0 0 121599 415 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604480880041440 0 0 -1 21 0 0 0
[pid=11583/tid=11613] ppid=11581 vsize=13996284 CPUtime=1229.24 cores=0-31
/proc/11583/task/11613/stat : 11613 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 209185 0 0 0 122487 437 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604702911954400 0 0 -1 19 0 0 0
[pid=11583/tid=11614] ppid=11581 vsize=13996284 CPUtime=1228.38 cores=0-31
/proc/11583/task/11614/stat : 11614 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 68643 0 0 0 122615 223 0 0 25 0 32 0 738787752 14332194816 3005267 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604700297616864 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 39066.6
Current children cumulated vsize (KiB) 13996284

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

[startup+1303.9 s]
/proc/loadavg: 29.87 31.54 30.80 4/445 11649
/proc/meminfo: memFree=243102460/264257624 swapFree=67111528/67111528
[pid=11583] ppid=11581 vsize=13996284 CPUtime=39071.3 cores=0-31
/proc/11583/stat : 11583 (strangenight2-m) S 11581 11583 11499 0 -1 4202496 5643850 0 0 0 3894501 12625 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/11583/statm: 3499071 3008151 380 95 0 3494053 0
[pid=11583/tid=11584] ppid=11581 vsize=13996284 CPUtime=1229.16 cores=0-31
/proc/11583/task/11584/stat : 11584 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 170585 0 0 0 122480 436 0 0 19 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 4502108 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=11583/tid=11585] ppid=11581 vsize=13996284 CPUtime=1217.03 cores=0-31
/proc/11583/task/11585/stat : 11585 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 149758 0 0 0 121300 403 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604480244678112 0 0 -1 21 0 0 0
[pid=11583/tid=11586] ppid=11581 vsize=13996284 CPUtime=1213.74 cores=0-31
/proc/11583/task/11586/stat : 11586 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 146489 0 0 0 120978 396 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604707277069792 0 0 -1 8 0 0 0
[pid=11583/tid=11587] ppid=11581 vsize=13996284 CPUtime=1229.85 cores=0-31
/proc/11583/task/11587/stat : 11587 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 183539 0 0 0 122537 448 0 0 19 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=11583/tid=11588] ppid=11581 vsize=13996284 CPUtime=1214.56 cores=0-31
/proc/11583/task/11588/stat : 11588 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 214286 0 0 0 121010 446 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604481419754976 0 0 -1 1 0 0 0
[pid=11583/tid=11589] ppid=11581 vsize=13996284 CPUtime=1233.73 cores=0-31
/proc/11583/task/11589/stat : 11589 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 268915 0 0 0 122953 420 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604701683531232 0 0 -1 29 0 0 0
[pid=11583/tid=11590] ppid=11581 vsize=13996284 CPUtime=1222.9 cores=0-31
/proc/11583/task/11590/stat : 11590 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 355539 0 0 0 121887 403 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446744071566931384 0 0 -1 12 0 0 0
[pid=11583/tid=11591] ppid=11581 vsize=13996284 CPUtime=1209.7 cores=0-31
/proc/11583/task/11591/stat : 11591 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 247781 0 0 0 120573 397 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604709874630112 0 0 -1 13 0 0 0
[pid=11583/tid=11592] ppid=11581 vsize=13996284 CPUtime=1216.7 cores=0-31
/proc/11583/task/11592/stat : 11592 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 121910 0 0 0 121257 413 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604706329648608 0 0 -1 17 0 0 0
[pid=11583/tid=11593] ppid=11581 vsize=13996284 CPUtime=1223.87 cores=0-31
/proc/11583/task/11593/stat : 11593 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 223695 0 0 0 122075 312 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604707446201824 0 0 -1 10 0 0 0
[pid=11583/tid=11594] ppid=11581 vsize=13996284 CPUtime=1223.2 cores=0-31
/proc/11583/task/11594/stat : 11594 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 141341 0 0 0 121911 409 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604708197285344 0 0 -1 9 0 0 0
[pid=11583/tid=11595] ppid=11581 vsize=13996284 CPUtime=1223.86 cores=0-31
/proc/11583/task/11595/stat : 11595 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 117445 0 0 0 122078 308 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604705224990176 0 0 -1 5 0 0 0
[pid=11583/tid=11596] ppid=11581 vsize=13996284 CPUtime=1219.93 cores=0-31
/proc/11583/task/11596/stat : 11596 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 244665 0 0 0 121537 456 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604704429981152 0 0 -1 15 0 0 0
[pid=11583/tid=11597] ppid=11581 vsize=13996284 CPUtime=1221.87 cores=0-31
/proc/11583/task/11597/stat : 11597 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 235362 0 0 0 121859 328 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604478795300320 0 0 -1 3 0 0 0
[pid=11583/tid=11598] ppid=11581 vsize=13996284 CPUtime=1220.35 cores=0-31
/proc/11583/task/11598/stat : 11598 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 144735 0 0 0 121587 448 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604482313944544 0 0 -1 4 0 0 0
[pid=11583/tid=11599] ppid=11581 vsize=13996284 CPUtime=1220.57 cores=0-31
/proc/11583/task/11599/stat : 11599 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 245230 0 0 0 121734 323 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604483721518560 0 0 -1 28 0 0 0
[pid=11583/tid=11600] ppid=11581 vsize=13996284 CPUtime=1221.94 cores=0-31
/proc/11583/task/11600/stat : 11600 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 201183 0 0 0 121776 418 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604710698335712 0 0 -1 27 0 0 0
[pid=11583/tid=11601] ppid=11581 vsize=13996284 CPUtime=1213.67 cores=0-31
/proc/11583/task/11601/stat : 11601 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 138983 0 0 0 120922 445 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604574634745312 0 0 -1 11 0 0 0
[pid=11583/tid=11602] ppid=11581 vsize=13996284 CPUtime=1213.56 cores=0-31
/proc/11583/task/11602/stat : 11602 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 105316 0 0 0 120977 379 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604711040450016 0 0 -1 22 0 0 0
[pid=11583/tid=11603] ppid=11581 vsize=13996284 CPUtime=1228.95 cores=0-31
/proc/11583/task/11603/stat : 11603 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 121051 0 0 0 122476 419 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604477448625632 0 0 -1 26 0 0 0
[pid=11583/tid=11604] ppid=11581 vsize=13996284 CPUtime=1221.52 cores=0-31
/proc/11583/task/11604/stat : 11604 (strangenight2-m) R 11581 11583 11499 0 -1 4202560 112830 0 0 0 121733 419 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 4205512 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=11583/tid=11605] ppid=11581 vsize=13996284 CPUtime=1222.07 cores=0-31
/proc/11583/task/11605/stat : 11605 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 134752 0 0 0 121795 412 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604708192509408 0 0 -1 25 0 0 0
[pid=11583/tid=11606] ppid=11581 vsize=13996284 CPUtime=1222.49 cores=0-31
/proc/11583/task/11606/stat : 11606 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 114810 0 0 0 121863 386 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604474669981152 0 0 -1 30 0 0 0
[pid=11583/tid=11607] ppid=11581 vsize=13996284 CPUtime=1217.42 cores=0-31
/proc/11583/task/11607/stat : 11607 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 195148 0 0 0 121344 398 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604707590446560 0 0 -1 20 0 0 0
[pid=11583/tid=11608] ppid=11581 vsize=13996284 CPUtime=1215.55 cores=0-31
/proc/11583/task/11608/stat : 11608 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 179990 0 0 0 121175 380 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604504008809952 0 0 -1 2 0 0 0
[pid=11583/tid=11609] ppid=11581 vsize=13996284 CPUtime=1208.07 cores=0-31
/proc/11583/task/11609/stat : 11609 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 227939 0 0 0 120415 392 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604480947740128 0 0 -1 31 0 0 0
[pid=11583/tid=11610] ppid=11581 vsize=13996284 CPUtime=1222.97 cores=0-31
/proc/11583/task/11610/stat : 11610 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 209217 0 0 0 121870 427 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604706257173984 0 0 -1 7 0 0 0
[pid=11583/tid=11611] ppid=11581 vsize=13996284 CPUtime=1223.08 cores=0-31
/proc/11583/task/11611/stat : 11611 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 96606 0 0 0 121912 396 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604476646284768 0 0 -1 6 0 0 0
[pid=11583/tid=11612] ppid=11581 vsize=13996284 CPUtime=1220.14 cores=0-31
/proc/11583/task/11612/stat : 11612 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 168183 0 0 0 121599 415 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604480880041440 0 0 -1 21 0 0 0
[pid=11583/tid=11613] ppid=11581 vsize=13996284 CPUtime=1229.24 cores=0-31
/proc/11583/task/11613/stat : 11613 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 209185 0 0 0 122487 437 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604702911954400 0 0 -1 19 0 0 0
[pid=11583/tid=11614] ppid=11581 vsize=13996284 CPUtime=1228.38 cores=0-31
/proc/11583/task/11614/stat : 11614 (strangenight2-m) S 11581 11583 11499 0 -1 4202560 68643 0 0 0 122615 223 0 0 25 0 32 0 738787752 14332194816 3008151 268435456000 4194304 4580107 140736450948560 18446744073709551615 46947670025780 0 0 4096 2 18446604700297616864 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 39071.3
Current children cumulated vsize (KiB) 13996284

[startup+1305.5 s]
/proc/loadavg: 29.87 31.54 30.80 4/445 11649
/proc/meminfo: memFree=243101588/264257624 swapFree=67111528/67111528
[pid=11583] ppid=11581 vsize=0 CPUtime=39075.1 cores=0-31
/proc/11583/stat : 11583 (strangenight2-m) Z 11581 11583 11499 0 -1 4203548 5644007 0 0 0 3894849 12662 0 0 18 0 2 0 738787752 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/11583/statm: 0 0 0 0 0 0 0
[pid=11583/tid=11585] ppid=11581 vsize=0 CPUtime=1217.37 cores=0-31
/proc/11583/task/11585/stat : 11585 (strangenight2-m) R 11581 11583 11499 0 -1 4203588 149758 0 0 0 121300 437 0 0 18 0 2 0 738787752 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 39075.1
Current children cumulated vsize (KiB) 0

[startup+1305.9 s]
/proc/loadavg: 27.72 31.06 30.65 2/415 11649
/proc/meminfo: memFree=246465080/264257624 swapFree=67111528/67111528
[pid=11583] ppid=11581 vsize=0 CPUtime=39075.5 cores=0-31
/proc/11583/stat : 11583 (strangenight2-m) Z 11581 11583 11499 0 -1 4203548 5644007 0 0 0 3894849 12702 0 0 18 0 2 0 738787752 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/11583/statm: 0 0 0 0 0 0 0
[pid=11583/tid=11585] ppid=11581 vsize=0 CPUtime=1217.77 cores=0-31
/proc/11583/task/11585/stat : 11585 (strangenight2-m) R 11581 11583 11499 0 -1 4203588 149758 0 0 0 121300 477 0 0 18 0 2 0 738787752 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 39075.5
Current children cumulated vsize (KiB) 0

[startup+1306.3 s]
/proc/loadavg: 27.72 31.06 30.65 2/415 11649
/proc/meminfo: memFree=246465080/264257624 swapFree=67111528/67111528
[pid=11583] ppid=11581 vsize=0 CPUtime=39075.9 cores=0-31
/proc/11583/stat : 11583 (strangenight2-m) Z 11581 11583 11499 0 -1 4203548 5644007 0 0 0 3894849 12742 0 0 18 0 2 0 738787752 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/11583/statm: 0 0 0 0 0 0 0
[pid=11583/tid=11585] ppid=11581 vsize=0 CPUtime=1218.17 cores=0-31
/proc/11583/task/11585/stat : 11585 (strangenight2-m) R 11581 11583 11499 0 -1 4203588 149758 0 0 0 121300 517 0 0 19 0 2 0 738787752 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 39075.9
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1306.38
CPU time (s): 39076
CPU user time (s): 38948.5
CPU system time (s): 127.506
CPU usage (%): 2991.16
Max. virtual memory (cumulated for all children) (KiB): 13996284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38948.5
system time used= 127.506
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5644007
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= 4060257
involuntary context switches= 187515

runsolver used 7.8568 second user time and 29.2246 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-24 23:36:53
IDJOB=3400653
IDBENCH=70769
IDSOLVER=1886
FILE ID=node200/3400653-1306273012
RUNJOBID= node200-1306273010-11513
PBS_JOBID= 13411772
Free space on /tmp= 62032 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/minandmaxor/minandmaxor128.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400653-1306273012/watcher-3400653-1306273012 -o /tmp/evaluation-result-3400653-1306273012/solver-3400653-1306273012 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400653-1306273012.cnf

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

MD5SUM BENCH= 5b2e2178738883a628728bb1ec39f4a9
RANDOM SEED=76889353

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:      255153940 kB
Buffers:        465444 kB
Cached:        8232912 kB
SwapCached:          0 kB
Active:        7782596 kB
Inactive:       984880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255153940 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           18916 kB
Writeback:           0 kB
AnonPages:       68012 kB
Mapped:          14696 kB
Slab:           256100 kB
PageTables:       5316 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   167040 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= 62028 MiB
End job on node200 at 2011-05-24 23:58:40