Trace number 3366719

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.19 1203.33

General information on the benchmark

Namecrafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-3-6_2072.cnf
MD5SUMd2ef996f95bbf68a3c980c797dfdc364
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2071
Number of clauses159039
Sum of the clauses size479052
Maximum clause length6
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3158394
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5645

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3366719-1305413763.cnf'
0.00/0.00	c -- header says num vars:           2071
0.00/0.00	c -- header says num clauses:      159039
0.09/0.66	c -- clauses added:            0 learnts,       159039 normals,            0 xors
0.09/0.66	c -- vars added       2071
0.09/0.66	c Parsing time:  0.04 s
0.09/0.66	c  N st     0         0      2071    159039         0         0    479052         0   no data   no data
0.09/0.66	c asymm  cl-useful: 0/158323/159039 lits-rem:0 time: 0.58
0.09/0.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
2.73/0.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2.73/0.73	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2.73/0.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2.73/0.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2071 time:  0.01 s
2.73/0.74	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.01 s
7.49/1.93	c lits-rem:         0  cl-subs:        0  v-elim:    690  v-fix:    0  time:  1.14 s
7.49/1.93	c Finding binary XORs  T:     0.00 s  found:       0
7.49/1.99	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
7.49/1.99	c calculated reachability. Time: 0.00
7.49/1.99	c Calc default polars -  time:   0.01 s pos:    1381 undec:     690 neg:       0
7.49/1.99	c =========================================================================================
7.49/1.99	c types(t): F = full restart, N = normal restart
7.49/1.99	c types(t): S = simplification begin/end, E = solution found
7.49/1.99	c restart types(rt): st = static, dy = dynamic
7.49/1.99	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
7.49/1.99	c  B st     0         0      1381     99170         0         0    515450         0   no data   no data
9.50/2.46	c  N dy    10      4889      1381     99170         0      4846    515450    187551     25.65     27.11
11.49/2.92	c  N dy    11      9533      1381     99170         0      9373    515450    333094     23.03     24.27
14.29/3.67	c  N dy    23     16883      1381     99170         0     16629    515450    611674     21.79     23.54
16.28/4.10	c  N dy    44     20902      1381     99170         0     10765    515450    297316     22.00     26.50
17.47/4.47	c  N dy    76     24953      1381     99170         0     14785    515450    441388     22.41     24.29
17.47/4.48	c  F st    77     25003      1381     99170         0     14834    515450    443486     22.44   no data
17.87/4.50	c Found part        4 vars:        670 clauses:     47205 lits size:    251895
17.87/4.50	c Found part        7 vars:        711 clauses:     51965 lits size:    263555
17.87/4.50	c Found parts:          2 time: 0.02 s
17.87/4.50	c Solving part 4
17.87/4.54	c  N st     0         0       670     47205         0      1030    251895     39051   no data   no data
19.08/4.87	c asymm  cl-useful: 17/47205/47205 lits-rem:19 time: 0.32
19.08/4.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
19.08/4.88	c Finding binary XORs  T:     0.00 s  found:       0
19.08/4.90	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
19.08/4.90	c calculated reachability. Time: 0.00
19.08/4.90	c Calc default polars -  time:   0.00 s pos:     670 undec:    1401 neg:       0
19.08/4.90	c =========================================================================================
19.08/4.90	c types(t): F = full restart, N = normal restart
19.08/4.90	c types(t): S = simplification begin/end, E = solution found
19.08/4.90	c restart types(rt): st = static, dy = dynamic
19.08/4.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
19.08/4.90	c  B st     0         0       670     47205         0      1030    251876     39051   no data   no data
21.86/5.53	c  N dy    10      6652       670     47205         0      7623    251876    305460     22.58     23.94
23.47/5.92	c  N dy    33     10728       670     47205         0      7253    251876    226118     23.35     29.48
25.04/6.32	c  N dy    67     14773       670     47205         0     11273    251876    378055     24.44     28.67
27.05/6.83	c  N dy    78     20369       670     47205         0     10203    251876    265450     24.12     25.45
28.63/7.26	c  F st    85     25002       670     47205         0     14806    251875    440392     23.82     21.17
28.63/7.26	c  N st    85     25002       670     47205         0     14806    251875    440392     23.82     21.17
30.63/7.75	c  N dy    91     30195       670     47205         0     11752    251875    293871     23.82   no data
32.25/8.16	c  N dy   116     34292       670     47205         0     15807    251875    441908     24.00     25.28
33.82/8.55	c  N dy   128     38306       670     47205         0     10323    251875    195025     24.00     27.97
37.06/9.37	c  N dy   141     46556       670     47205         0     18501    251875    506780     23.50     24.74
39.01/9.88	c  N dy   149     51653       670     47205         0     12930    251875    254668     23.20     24.51
40.61/10.27	c  N dy   175     55728       670     47205         0     16983    251875    408132     23.32     35.18
42.20/10.68	c  N dy   196     59831       670     47205         0     21034    251875    551089     23.39     24.89
44.20/11.10	c  N dy   213     63840       670     47205         0     13306    251875    231088     23.44     28.97
45.83/11.51	c  N dy   238     67936       670     47205         0     17366    251874    380565     23.53     25.62
47.39/11.93	c  N dy   253     72292       670     47205         0     21692    251874    534568     23.49     24.83
49.39/12.48	c  N dy   288     77491       670     47205         0     14116    251874    225273     23.70     25.12
52.98/13.31	c  N dy   289     85230       670     47205         0     21785    251874    528595     23.34     24.63
53.78/13.55	c  F st   308     87502       670     47205         0     24044    251874    612660     23.43   no data
55.37/13.90	c  N st   313     90802       670     47205         0     27311    251874    738798     23.43   no data
57.77/14.52	c  N dy   329     96848       670     47205         0     19570    251874    403893     23.41     24.65
60.56/15.23	c  N dy   338    103095       670     47205         0     25709    251874    609973     23.35     24.65
63.39/15.98	c  N dy   383    109678       670     47205         0     17537    251874    286525     23.45     26.72
66.55/16.71	c  N dy   438    116760       670     47205         0     24561    251874    545824     23.60     24.87
69.73/17.58	c  N dy   476    124665       670     47205         0     16708    251874    232333     23.60     24.88
73.33/18.46	c  N dy   496    133311       670     47205         0     25254    251874    530069     23.51     24.79
77.31/19.48	c  N dy   537    141873       670     47205         0     17038    251874    210298     23.56     28.47
81.30/20.42	c  N dy   578    150957       670     47205         0     26029    251874    537588     23.61     24.94
85.69/21.54	c  N dy   609    160686       670     47205         0     17983    251874    213596     23.59     25.03
90.08/22.67	c  N dy   655    171515       670     47205         0     28717    251874    607850     23.58     24.82
95.27/23.93	c  N dy   688    182804       670     47205         0     21194    251874    298618     23.51     24.78
100.06/25.18	c  N dy   742    194531       670     47205         0     32839    251874    725218     23.53     27.40
111.25/27.93	c  N dy   747    216230       670     47205         0     34675    251874    832115     23.22     24.47
117.61/29.58	c  N dy   797    230726       670     47205         0     28358    251874    525840     23.22     24.51
125.19/31.40	c  N dy   844    246159       670     47205         0     21964    251874    242477     23.16     24.71
132.38/33.26	c  N dy   908    262150       670     47205         0     37853    251874    867465     23.16     24.67
145.15/36.48	c  N dy   968    285985       670     47205         0     38920    251874    968865     23.06     24.36
154.32/38.76	c  N dy  1040    304959       670     47205         0     34049    251873    654386     23.07     24.59
155.14/38.92	c  F st  1047    306250       670     47205         0     35329    251873    700243     23.07     22.51
164.34/41.25	c  N dy  1121    324514       670     47205         0     28711    251873    395526     23.11     24.92
174.27/43.71	c  N dy  1234    344522       670     47205         0     48577    251873   1141375     23.19     27.14
183.85/46.19	c  N dy  1306    364748       670     47205         0     42893    251873    926065     23.18     24.41
193.82/48.60	c  N dy  1367    384751       670     47205         0     36100    251873    626904     23.15     28.37
204.19/51.24	c  N dy  1460    405157       670     47205         0     28697    251873    308279     23.17     24.48
214.16/53.70	c  N dy  1529    425380       670     47205         0     48749    251873   1032236     23.16     24.92
224.14/56.30	c  N dy  1643    445462       670     47205         0     40063    251873    712814     23.23     24.53
234.91/58.91	c  N dy  1710    465699       670     47205         0     30524    251873    322524     23.21     24.61
245.69/61.63	c  N dy  1799    487907       670     47205         0     52563    251873   1197648     23.22     24.45
258.86/64.95	c  N dy  1913    513440       670     47205         0     47191    251873    908719     23.25     24.51
272.42/68.37	c  N dy  2040    538369       670     47205         0     40303    251873    638301     23.29     24.67
283.59/71.12	c  N dy  2141    558373       670     47205         0     60120    251873   1386508     23.33     24.83
293.97/73.73	c  N dy  2208    578688       670     47205         0     47757    251873    895945     23.31     24.55
305.94/76.79	c  N dy  2328    599196       670     47205         0     34510    251873    340285     23.36     24.95
316.72/79.41	c  N dy  2420    619481       670     47205         0     54628    251873   1081438     23.37     24.81
327.88/82.29	c  N dy  2508    639639       670     47205         0     40014    251873    522935     23.39     24.83
339.06/85.08	c  N dy  2639    659707       670     47205         0     59925    251873   1271911     23.44     30.24
351.02/88.02	c  N dy  2721    680312       670     47205         0     44805    251873    686885     23.42     24.74
361.84/90.75	c  N dy  2741    700397       670     47205         0     64602    251873   1446317     23.35     27.07
388.17/97.33	c  N dy  2769    739614       670     47205         0     67060    251873   1684754     23.20     24.43
409.28/102.64	c  N dy  2810    774628       670     47205         0     64119    251873   1437437     23.09     24.36
421.64/105.73	c  N dy  2890    795354       670     47205         0     46158    251873    637796     23.09     24.71
433.21/108.69	c  N dy  3004    815442       670     47205         0     66096    251873   1389865     23.12     26.71
447.98/112.39	c  N dy  3113    840391       670     47205         0     51335    251873    809677     23.13     24.49
460.74/115.56	c  N dy  3247    860985       670     47205         0     71763    251873   1557147     23.17     24.56
472.31/118.49	c  N dy  3336    881152       670     47205         0     51237    251873    762531     23.19     24.41
484.72/121.52	c  N dy  3383    901459       670     47205         0     71245    251873   1522907     23.16     24.40
498.65/125.02	c  N dy  3402    925638       670     47205         0     53772    251873    881561     23.09     24.34
511.81/128.37	c  N dy  3526    947488       670     47205         0     75456    251873   1719819     23.13     24.41
524.58/131.59	c  N dy  3663    967552       670     47205         0     52869    251873    750373     23.17     27.55
537.75/134.84	c  N dy  3765    988560       670     47205         0     73691    251873   1535929     23.18     24.59
550.56/138.03	c  N dy  3867   1008598       670     47205         0     50057    251873    628728     23.20     25.16
589.63/147.87	c  F st  3920   1071875       670     47205         0     68403    251873   1403504     23.05     21.07
589.63/147.87	c  N st  3920   1071875       670     47205         0     68403    251873   1403504     23.05     21.07
606.38/152.06	c  N dy  3996   1097415       670     47205         0     48217    251873    506201     23.04     24.36
618.34/155.03	c  N dy  4106   1117508       670     47205         0     68154    251873   1255630     23.06     24.89
631.90/158.45	c  N dy  4170   1139009       670     47205         0     89510    251873   2079400     23.05     24.28
644.67/161.67	c  N dy  4308   1159321       670     47205         0     63167    251873   1019682     23.09     24.34
657.44/164.83	c  N dy  4361   1179405       670     47205         0     83048    251873   1766549     23.09     30.04
670.21/168.08	c  N dy  4451   1199579       670     47205         0     55577    251873    706769     23.09     24.32
683.39/171.31	c  N dy  4552   1220378       670     47205         0     76193    251873   1513536     23.12     24.57
698.15/175.02	c  N dy  4688   1240388       670     47205         0     96030    251873   2245987     23.15     30.16
710.51/178.13	c  N dy  4801   1260706       670     47205         0     67712    251873   1120039     23.17     24.44
723.68/181.47	c  N dy  4847   1281235       670     47205         0     88004    251873   1929571     23.14     24.39
736.44/184.67	c  N dy  4919   1301322       670     47205         0     58443    251873    750888     23.14     25.16
750.41/188.17	c  N dy  5023   1323680       670     47205         0     80634    251873   1600295     23.15     24.38
765.97/192.09	c  N dy  5148   1345123       670     47205         0     51526    251873    476178     23.17     24.59
784.72/196.71	c  N dy  5242   1376206       670     47205         0     82372    251873   1678177     23.15     24.47
799.09/200.36	c  N dy  5331   1396642       670     47205         0    102646    251872   2445617     23.16     24.38
815.04/204.31	c  N dy  5424   1422393       670     47205         0     76780    251872   1409395     23.15     24.41
829.01/207.89	c  N dy  5533   1442467       670     47205         0     96689    251872   2153025     23.17     25.05
842.98/211.38	c  N dy  5646   1462540       670     47205         0     64155    251872    865908     23.18     24.98
856.55/214.76	c  N dy  5762   1482543       670     47205         0     83982    251872   1616718     23.20     24.65
871.70/218.57	c  N dy  5875   1502627       670     47205         0    103867    251872   2351276     23.22     24.69
884.87/221.87	c  N dy  5923   1522723       670     47205         0     70426    251872   1131719     23.21     28.92
898.84/225.31	c  N dy  6040   1542754       670     47205         0     90269    251872   1863066     23.23     35.16
914.42/229.30	c  N dy  6172   1563042       670     47205         0     55991    251872    518003     23.26     24.93
927.16/232.40	c  N dy  6298   1583099       670     47205         0     75883    251872   1271380     23.28     24.93
940.33/235.78	c  N dy  6376   1603105       670     47205         0     95614    251872   2013042     23.28     25.36
955.89/239.64	c  N dy  6484   1623180       670     47205         0     60148    251872    648810     23.29     29.39
969.85/243.16	c  N dy  6539   1645464       670     47205         0     82264    251872   1511250     23.28     24.51
985.41/247.07	c  N dy  6556   1665560       670     47205         0    102031    251872   2323218     23.23     28.11
1007.75/252.60	c  N dy  6601   1696304       670     47205         0     76243    251872   1304087     23.19     24.56
1023.72/256.61	c  N dy  6671   1720228       670     47205         0     99968    251872   2182068     23.19     24.55
1038.48/260.36	c  N dy  6789   1740254       670     47205         0     62486    251872    680510     23.21     32.04
1052.05/263.78	c  N dy  6878   1760938       670     47205         0     82884    251872   1430249     23.21     24.53
1066.41/267.32	c  N dy  6957   1780961       670     47205         0    102700    251872   2182002     23.22     27.21
1081.97/271.28	c  N dy  7091   1800999       670     47205         0     64302    251872    718105     23.24     27.60
1099.16/275.58	c  N dy  7203   1827095       670     47205         0     90095    251872   1668383     23.24     24.53
1119.07/280.57	c  N dy  7283   1851816       670     47205         0    114404    251872   2613232     23.23     24.50
1133.44/284.16	c  N dy  7409   1872252       670     47205         0     75479    251872   1108038     23.25     24.48
1152.98/289.09	c  N dy  7496   1900445       670     47205         0    103335    251872   2190120     23.24     24.48
1169.38/293.11	c  N dy  7591   1920484       670     47205         0     62992    251872    610001     23.25     28.85
1183.31/296.60	c  N dy  7693   1941275       670     47205         0     83546    251872   1364975     23.26     24.52
1198.05/300.36	c  N dy  7793   1961317       670     47205         0    103424    251872   2131217     23.27     24.56
1215.20/304.60	c  N dy  7898   1981351       670     47205         0     62036    251872    540604     23.28     24.67
1228.38/307.99	c  N dy  7996   2002398       670     47205         0     82926    251872   1345909     23.29     24.56
1243.55/311.73	c  N dy  8069   2022477       670     47205         0    102785    251872   2069114     23.28     24.65
1259.90/315.88	c  N dy  8140   2044149       670     47205         0    124203    251872   2880051     23.28     24.68
1273.47/319.25	c  N dy  8218   2064194       670     47205         0     81833    251872   1272976     23.28     26.58
1288.61/323.07	c  N dy  8294   2085905       670     47205         0    103387    251872   2113175     23.27     24.52
1305.41/327.28	c  N dy  8408   2106048       670     47205         0    123364    251872   2853427     23.29     24.67
1319.74/330.87	c  N dy  8522   2126065       670     47205         0     79947    251872   1140737     23.30     29.83
1334.90/334.69	c  N dy  8617   2146920       670     47205         0    100671    251872   1941855     23.30     24.79
1351.26/338.72	c  N dy  8724   2166999       670     47205         0    120592    251872   2693530     23.31     32.04
1366.44/342.53	c  N dy  8820   2187007       670     47205         0     76083    251872    976745     23.32     24.79
1380.02/345.99	c  N dy  8897   2207089       670     47205         0     95995    251872   1741454     23.32     24.62
1395.95/349.90	c  N dy  8994   2227131       670     47205         0    115822    251872   2461657     23.33     25.08
1414.72/354.62	c  N dy  9111   2251186       670     47205         0     74392    251872    892227     23.33     24.62
1429.86/358.43	c  N dy  9208   2272382       670     47205         0     95309    251872   1683750     23.33     24.68
1445.03/362.28	c  N dy  9266   2292429       670     47205         0    115174    251872   2467575     23.32     26.48
1462.18/366.54	c  N dy  9371   2312581       670     47205         0     68909    251872    644684     23.33     24.69
1476.17/370.10	c  N dy  9503   2332659       670     47205         0     88804    251872   1371386     23.35     30.77
1498.11/375.55	c  N dy  9616   2361090       670     47205         0    117039    251872   2473345     23.35     24.76
1518.44/380.65	c  N dy  9728   2384253       670     47205         0     72739    251872    768941     23.36     24.68
1532.81/384.25	c  N dy  9861   2404425       670     47205         0     92729    251872   1524813     23.38     24.62
1548.76/388.27	c  N dy  9948   2424630       670     47205         0    112744    251872   2282785     23.38     24.77
1565.52/392.45	c  N dy 10045   2444636       670     47205         0    132589    251872   3045519     23.39     25.56
1580.68/396.23	c  N dy 10115   2465108       670     47205         0     84602    251872   1183050     23.38     24.69
1596.24/400.11	c  N dy 10258   2485130       670     47205         0    104438    251872   1916408     23.40     30.08
1611.80/404.09	c  N dy 10331   2505195       670     47205         0    124315    251872   2705022     23.40     28.65
1628.56/408.21	c  N dy 10395   2526346       670     47205         0     75944    251872    778633     23.39     24.81
1642.93/411.84	c  N dy 10508   2546472       670     47205         0     95868    251871   1515893     23.40     24.68
1661.67/416.56	c  N dy 10547   2570453       670     47205         0    119565    251871   2473539     23.38     24.87
1680.82/421.34	c  N dy 10620   2594157       670     47205         0     72901    251871    685061     23.38     25.07
1699.18/425.94	c  N dy 10672   2621356       670     47205         0     99819    251871   1701279     23.36     24.63
1715.13/429.98	c  N dy 10784   2641431       670     47205         0    119675    251871   2423756     23.37     28.93
1738.28/435.70	c  N dy 10890   2668677       670     47205         0     75579    251871    744483     23.36     24.93
1753.08/439.44	c  N dy 11010   2688748       670     47205         0     95469    251871   1477951     23.38     30.80
1769.00/443.43	c  N dy 11105   2708993       670     47205         0    115494    251871   2229730     23.38     24.70
1800.94/451.42	c  N dy 11181   2748436       670     47205         0     82525    251871   1045376     23.35     24.58
1819.27/456.02	c  N dy 11242   2774048       670     47205         0    107837    251871   2000199     23.34     24.67
1835.63/460.13	c  N dy 11326   2794071       670     47205         0    127671    251871   2745031     23.34     26.35
1852.79/464.48	c  N dy 11392   2814133       670     47205         0     74380    251871    644502     23.34     27.37
1896.68/475.44	c  N dy 11494   2866941       670     47205         0    126455    251871   2750796     23.30     24.54
1915.82/480.24	c  N dy 11623   2887274       670     47205         0    146600    251871   3487979     23.31     24.69
1993.32/499.70	c  N dy 11731   2971528       670     47205         0     80848    251871    846954     23.24     24.89
2007.51/503.37	c  N dy 11840   2991547       670     47205         0    100704    251871   1607167     23.25     27.01
2024.08/507.53	c  N dy 11947   3011561       670     47205         0    120524    251871   2364511     23.26     24.65
2042.30/512.11	c  N dy 12048   3031631       670     47205         0    140401    251871   3094455     23.26     24.73
2059.50/516.45	c  N dy 12147   3052361       670     47205         0     84858    251871    950539     23.27     24.76
2074.62/520.27	c  N dy 12253   3072446       670     47205         0    104717    251871   1676053     23.28     24.90
2092.18/524.69	c  N dy 12406   3092535       670     47205         0    124634    251871   2418258     23.29     24.81
2111.34/529.40	c  N dy 12523   3112566       670     47205         0    144450    251871   3138342     23.30     24.64
2143.26/537.43	c  N dy 12560   3149850       670     47205         0    104313    251871   1759315     23.26     24.55
2159.22/541.43	c  N dy 12642   3170005       670     47205         0    124261    251871   2523876     23.26     24.88
2178.35/546.25	c  N dy 12738   3191634       670     47205         0    145661    251871   3312212     23.26     24.60
2199.53/551.55	c  N dy 12796   3216605       670     47205         0     92276    251871   1241706     23.25     24.50
2215.47/555.57	c  N dy 12917   3236675       670     47205         0    112161    251871   1992647     23.26     25.84
2231.82/559.67	c  N dy 13002   3256706       670     47205         0    132049    251871   2759709     23.27     28.57
2250.99/564.43	c  N dy 13112   3276723       670     47205         0    151913    251871   3502502     23.28     24.54
2268.53/568.86	c  N dy 13216   3297210       670     47205         0     93062    251871   1164493     23.28     24.52
2297.26/576.08	c  N dy 13242   3333341       670     47205         0    128865    251871   2556559     23.25     24.55
2315.21/580.54	c  N dy 13321   3353418       670     47205         0    148695    251871   3299393     23.25     29.62
2333.98/585.27	c  N dy 13423   3375337       670     47205         0     90287    251871   1033396     23.26     24.51
2354.31/590.35	c  N dy 13532   3400782       670     47205         0    115528    251871   2011921     23.26     24.53
2371.11/594.52	c  N dy 13592   3420787       670     47205         0    135382    251871   2773584     23.26     30.54
2391.42/599.61	c  N dy 13735   3440884       670     47205         0    155318    251871   3517226     23.27     24.67
2409.38/604.15	c  N dy 13866   3461037       670     47205         0     94162    251871   1130078     23.28     24.61
2424.93/608.00	c  N dy 13916   3482303       670     47205         0    115181    251871   1930926     23.27     24.70
2453.27/615.17	c  N dy 14004   3514714       670     47205         0    147329    251871   3171481     23.27     24.60
2474.02/620.32	c  N dy 14124   3535078       670     47205         0     85395    251871    782087     23.27     24.72
2489.20/624.17	c  N dy 14230   3555232       670     47205         0    105379    251871   1553303     23.28     24.81
2505.94/628.33	c  N dy 14326   3575702       670     47205         0    125638    251871   2292459     23.28     24.54
2523.49/632.70	c  N dy 14403   3595782       670     47205         0    145555    251871   3083424     23.28     24.58
2544.23/637.92	c  N dy 14538   3615825       670     47205         0    165418    251871   3821403     23.29     28.19
2560.59/642.07	c  N dy 14659   3635910       670     47205         0    102184    251871   1358484     23.30     24.62
2579.74/646.84	c  N dy 14804   3657629       670     47205         0    123717    251871   2157610     23.31     24.64
2596.90/651.17	c  N dy 14861   3677995       670     47205         0    143847    251871   2938163     23.31     24.61
2616.89/656.19	c  N dy 14961   3698042       670     47205         0    163717    251871   3685451     23.31     25.82
2634.45/660.52	c  N dy 15069   3718126       670     47205         0     99569    251871   1260094     23.32     24.67
2650.77/664.68	c  N dy 15179   3738262       670     47205         0    119507    251871   2014487     23.32     24.64
2662.74/667.68	c  F st 15258   3751562       670     47205         0    132661    251871   2487925     23.33     22.55
2669.15/669.24	c  N dy 15267   3758693       670     47205         0    139691    251871   2760622     23.33     24.73
2688.68/674.17	c  N dy 15372   3778728       670     47205         0    159563    251871   3489912     23.33     24.57
2705.83/678.49	c  N dy 15421   3798891       670     47205         0     94495    251871   1043023     23.33     24.59
2721.39/682.37	c  N dy 15454   3819083       670     47205         0    114561    251871   1872466     23.32     24.69
2738.55/686.65	c  N dy 15531   3839555       670     47205         0    134846    251871   2637101     23.32     24.60
2757.69/691.48	c  N dy 15644   3859714       670     47205         0    154810    251871   3358053     23.33     24.67
2796.00/701.07	c  N dy 15652   3902271       670     47205         0    110636    251871   1697815     23.27     24.53
2813.56/705.44	c  N dy 15757   3922287       670     47205         0    130447    251871   2439365     23.28     24.68
2830.72/709.75	c  N dy 15825   3942327       670     47205         0    150218    251871   3203326     23.28     24.51
2852.66/715.22	c  N dy 15840   3965162       670     47205         0    172810    251871   4071199     23.26     24.72
2869.41/719.48	c  N dy 15945   3985262       670     47205         0    105879    251871   1421795     23.26     27.59
2892.97/725.35	c  N dy 16059   4012999       670     47205         0    133388    251871   2477146     23.26     24.56
2912.89/730.34	c  N dy 16157   4034351       670     47205         0    154574    251871   3305274     23.26     24.59
2936.05/736.10	c  N dy 16292   4055222       670     47205         0    175255    251871   4067099     23.27     24.53
2954.00/740.61	c  N dy 16414   4076559       670     47205         0    108417    251871   1473481     23.28     24.53
2971.55/745.05	c  N dy 16538   4096641       670     47205         0    128312    251871   2197945     23.28     24.78
2991.89/750.16	c  N dy 16627   4119419       670     47205         0    150946    251871   3104634     23.29     24.53
3012.24/755.22	c  N dy 16712   4140524       670     47205         0    171823    251871   3886764     23.29     24.54
3030.20/759.79	c  N dy 16794   4160552       670     47205         0    102620    251871   1223697     23.29     24.73
3047.76/764.16	c  N dy 16932   4180745       670     47205         0    122635    251871   1969049     23.30     24.55
3066.11/768.73	c  N dy 17032   4200945       670     47205         0    142625    251871   2705204     23.30     24.78
3093.24/775.52	c  N dy 17123   4229439       670     47205         0    170825    251871   3722543     23.30     24.55
3111.20/780.02	c  N dy 17186   4249450       670     47205         0    100602    251871   1114676     23.29     24.66
3128.75/784.42	c  N dy 17276   4271603       670     47205         0    122461    251871   1920479     23.29     24.59
3146.31/788.83	c  N dy 17332   4291622       670     47205         0    142299    251871   2699189     23.28     24.59
3166.26/793.84	c  N dy 17447   4311646       670     47205         0    162154    251871   3453285     23.29     27.36
3189.00/799.59	c  N dy 17567   4331968       670     47205         0     91362    251871    749990     23.29     24.54
3215.33/806.10	c  N dy 17665   4364545       670     47205         0    123540    251871   1973763     23.29     24.60
3232.88/810.56	c  N dy 17756   4384668       670     47205         0    143498    251871   2715076     23.29     24.52
3251.64/815.26	c  N dy 17827   4404737       670     47205         0    163304    251871   3451331     23.29     25.01
3275.22/821.13	c  N dy 17935   4425756       670     47205         0     92262    251871    752966     23.29     24.55
3293.52/825.76	c  N dy 18022   4449733       670     47205         0    115990    251871   1668307     23.30     24.59
3311.89/830.36	c  N dy 18149   4469827       670     47205         0    135931    251871   2427839     23.30     25.23
3334.23/835.95	c  N dy 18167   4494948       670     47205         0    160721    251871   3417267     23.29     24.65
3356.17/841.48	c  N dy 18293   4514980       670     47205         0    180531    251871   4154598     23.30     27.61
3375.33/846.20	c  N dy 18419   4535034       670     47205         0    107513    251871   1286538     23.31     26.94
3392.48/850.56	c  N dy 18538   4555128       670     47205         0    127432    251871   2046451     23.31     28.69
3411.27/855.25	c  N dy 18640   4575501       670     47205         0    147602    251871   2792583     23.32     24.57
3431.59/860.34	c  N dy 18740   4596361       670     47205         0    168300    251871   3583188     23.32     24.69
3487.04/874.21	c  N dy 18743   4655743       670     47205         0    132830    251871   2384771     23.27     24.54
3506.19/879.00	c  N dy 18829   4676766       670     47205         0    153680    251871   3185847     23.27     24.52
3527.74/884.40	c  N dy 18932   4697876       670     47205         0    174548    251871   3961693     23.28     24.66
3550.48/890.14	c  N dy 19044   4717961       670     47205         0     99662    251871    937135     23.28     28.24
3566.44/894.17	c  N dy 19137   4738044       670     47205         0    119491    251871   1654451     23.29     31.39
3587.99/899.54	c  N dy 19250   4761955       670     47205         0    143172    251871   2553562     23.29     24.54
3609.13/904.88	c  N dy 19384   4782731       670     47205         0    163747    251871   3307933     23.29     24.57
3631.07/910.38	c  N dy 19504   4802808       670     47205         0    183652    251871   4042163     23.30     26.75
3651.03/915.39	c  N dy 19621   4822897       670     47205         0    107725    251871   1216984     23.31     24.63
3668.18/919.63	c  N dy 19680   4843258       670     47205         0    127949    251871   2012352     23.30     24.62
3686.54/924.23	c  N dy 19780   4863274       670     47205         0    147790    251871   2773355     23.31     26.11
3706.49/929.28	c  N dy 19893   4883331       670     47205         0    167663    251871   3528784     23.31     25.15
3728.03/934.60	c  N dy 19978   4903410       670     47205         0    187541    251871   4263765     23.31     24.81
3747.59/939.58	c  N dy 20066   4925428       670     47205         0    112425    251871   1377045     23.31     24.79
3765.55/944.02	c  N dy 20171   4945789       670     47205         0    132622    251871   2137758     23.32     24.68
3785.49/949.09	c  N dy 20276   4966608       670     47205         0    153190    251871   2874908     23.32     24.55
3808.63/954.88	c  N dy 20371   4990208       670     47205         0    176538    251871   3767840     23.32     24.61
3833.36/961.02	c  N dy 20508   5010284       670     47205         0     98530    251871    811291     23.33     27.41
3850.16/965.25	c  N dy 20651   5030315       670     47205         0    118399    251871   1548459     23.34     30.12
3872.47/970.88	c  N dy 20711   5055764       670     47205         0    143649    251871   2529120     23.33     24.60
3893.63/976.16	c  N dy 20814   5076528       670     47205         0    164230    251871   3298002     23.33     24.59
3916.36/981.82	c  N dy 20958   5096615       670     47205         0    184137    251871   4036357     23.34     25.67
3936.31/986.88	c  N dy 21015   5116792       670     47205         0    105236    251871   1062992     23.34     24.59
3953.46/991.13	c  N dy 21116   5136794       670     47205         0    125039    251871   1784513     23.34     24.61
3971.41/995.64	c  N dy 21183   5157233       670     47205         0    145278    251871   2552814     23.34     24.59
3990.96/1000.57	c  N dy 21272   5177807       670     47205         0    165621    251871   3331829     23.34     24.57
4011.71/1005.77	c  N dy 21343   5197903       670     47205         0    185504    251871   4056734     23.34     28.84
4036.05/1011.82	c  N dy 21481   5218146       670     47205         0    105622    251871   1001678     23.35     24.75
4053.21/1016.14	c  N dy 21574   5238700       670     47205         0    125952    251871   1759879     23.35     24.62
4071.56/1020.79	c  N dy 21671   5258953       670     47205         0    146036    251871   2502286     23.35     25.21
4092.71/1026.02	c  N dy 21789   5278994       670     47205         0    165917    251871   3230204     23.35     29.95
4113.50/1031.27	c  N dy 21873   5299057       670     47205         0    185807    251871   3997326     23.35     25.33
4137.80/1037.36	c  N dy 22027   5319128       670     47205         0    104799    251871    956274     23.36     28.26
4154.55/1041.58	c  N dy 22087   5339157       670     47205         0    124546    251871   1726420     23.36     25.74
4173.70/1046.39	c  N dy 22224   5359342       670     47205         0    144553    251871   2466203     23.37     24.77
4193.25/1051.26	c  N dy 22296   5379677       670     47205         0    164712    251871   3232751     23.37     24.77
4220.38/1058.03	c  N dy 22395   5405488       670     47205         0    190347    251871   4235805     23.37     24.74
4243.92/1063.93	c  N dy 22531   5425504       670     47205         0    108265    251871   1055145     23.37     29.37
4261.08/1068.29	c  N dy 22641   5445601       670     47205         0    128192    251871   1800488     23.38     26.39
4280.64/1073.10	c  N dy 22744   5465605       670     47205         0    147981    251871   2515154     23.38     24.95
4301.39/1078.30	c  N dy 22851   5485685       670     47205         0    167902    251871   3267209     23.39     31.47
4320.53/1083.12	c  N dy 22894   5506178       670     47205         0    188160    251871   4033250     23.38     24.63
4344.47/1089.16	c  N dy 22986   5526195       670     47205         0    105073    251871    900334     23.38     26.02
4361.22/1093.33	c  N dy 23065   5546231       670     47205         0    124812    251871   1595598     23.39     24.70
4385.96/1099.54	c  N dy 23125   5574968       670     47205         0    153267    251871   2666288     23.38     24.61
4407.12/1104.86	c  N dy 23236   5595045       670     47205         0    173134    251871   3404159     23.38     25.32
4429.49/1110.48	c  N dy 23346   5615161       670     47205         0    193090    251871   4152132     23.38     24.74
4462.57/1118.79	c  N dy 23429   5647459       670     47205         0    121260    251871   1576392     23.38     24.62
4487.30/1124.95	c  N dy 23542   5673948       670     47205         0    147505    251871   2625594     23.38     24.75
4522.81/1133.84	c  N dy 23655   5709022       670     47205         0    182199    251871   3993146     23.38     24.68
4546.75/1139.84	c  N dy 23761   5729544       670     47205         0    202528    251871   4750216     23.38     24.90
4567.50/1145.06	c  N dy 23880   5749623       670     47205         0    117639    251871   1322607     23.38     31.65

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366719-1305413763/watcher-3366719-1305413763 -o /tmp/evaluation-result-3366719-1305413763/solver-3366719-1305413763 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366719-1305413763.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.14 6.10 7.28 8/320 15364
/proc/meminfo: memFree=27997836/32950928 swapFree=60199044/67111528
[pid=15364] ppid=15362 vsize=182240 CPUtime=0.01 cores=0,2,4,6
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15323 0 -1 4202496 432 0 0 0 1 0 0 0 25 0 4 0 652975103 186613760 363 33554432000 4194304 4580107 140733727049328 18446744073709551615 268272349893 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 45560 363 309 95 0 40542 0
[pid=15364/tid=15365] ppid=15362 vsize=217136 CPUtime=0 cores=0,2,4,6
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 585 0 0 0 0 0 0 0 25 0 4 0 652975103 222347264 2260 33554432000 4194304 4580107 140733727049328 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=217136 CPUtime=0 cores=0,2,4,6
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 496 0 0 0 0 0 0 0 25 0 4 0 652975103 222347264 2262 33554432000 4194304 4580107 140733727049328 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=217136 CPUtime=0 cores=0,2,4,6
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 578 0 0 0 0 0 0 0 25 0 4 0 652975103 222347264 2273 33554432000 4194304 4580107 140733727049328 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.032661 s]
/proc/loadavg: 3.14 6.10 7.28 8/320 15364
/proc/meminfo: memFree=27997836/32950928 swapFree=60199044/67111528
[pid=15364] ppid=15362 vsize=288544 CPUtime=0.09 cores=0,2,4,6
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15323 0 -1 4202496 5981 0 0 0 8 1 0 0 18 0 4 0 652975103 295469056 5899 33554432000 4194304 4580107 140733727049328 18446744073709551615 268272794094 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 72169 6054 337 95 0 67151 0
[pid=15364/tid=15365] ppid=15362 vsize=288676 CPUtime=0.02 cores=0,2,4,6
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 1652 0 0 0 2 0 0 0 18 0 4 0 652975103 295604224 6129 33554432000 4194304 4580107 140733727049328 18446744073709551615 4298759 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=288676 CPUtime=0.02 cores=0,2,4,6
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 1596 0 0 0 2 0 0 0 25 0 4 0 652975103 295604224 6199 33554432000 4194304 4580107 140733727049328 18446744073709551615 4298703 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=288676 CPUtime=0.02 cores=0,2,4,6
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 1499 0 0 0 2 0 0 0 25 0 4 0 652975103 295604224 6261 33554432000 4194304 4580107 140733727049328 18446744073709551615 4510969 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 288544

[startup+0.671838 s]
/proc/loadavg: 3.14 6.10 7.28 8/320 15364
/proc/meminfo: memFree=27997836/32950928 swapFree=60199044/67111528
[pid=15364] ppid=15362 vsize=310104 CPUtime=2.63 cores=0,2,4,6
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15323 0 -1 4202496 15048 0 0 0 258 5 0 0 18 0 4 0 652975103 317546496 14833 33554432000 4194304 4580107 140733727049328 18446744073709551615 268272794094 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 77606 14861 364 95 0 72588 0
[pid=15364/tid=15365] ppid=15362 vsize=310424 CPUtime=0.66 cores=0,2,4,6
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 4123 0 0 0 65 1 0 0 18 0 4 0 652975103 317874176 14873 33554432000 4194304 4580107 140733727049328 18446744073709551615 4401199 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=310424 CPUtime=0.65 cores=0,2,4,6
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 4184 0 0 0 64 1 0 0 18 0 4 0 652975103 317874176 14933 33554432000 4194304 4580107 140733727049328 18446744073709551615 268272732343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=310556 CPUtime=0.65 cores=0,2,4,6
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 3439 0 0 0 64 1 0 0 18 0 4 0 652975103 318009344 14980 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 310104

[startup+0.702692 s]
/proc/loadavg: 3.14 6.10 7.28 8/320 15364
/proc/meminfo: memFree=27997836/32950928 swapFree=60199044/67111528
[pid=15364] ppid=15362 vsize=320708 CPUtime=2.73 cores=0,2,4,6
/proc/15364/stat : 15364 (strangenight2-m) S 15362 15364 15323 0 -1 4202496 21875 0 0 0 264 9 0 0 17 0 4 0 652975103 328404992 21660 33554432000 4194304 4580107 140733727049328 18446744073709551615 268272794094 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 80177 21735 364 95 0 75159 0
[pid=15364/tid=15365] ppid=15362 vsize=320708 CPUtime=0.67 cores=0,2,4,6
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 6623 0 0 0 65 2 0 0 18 0 4 0 652975103 328404992 21780 33554432000 4194304 4580107 140733727049328 18446744073709551615 268272794143 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=320844 CPUtime=0.68 cores=0,2,4,6
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 6852 0 0 0 66 2 0 0 18 0 4 0 652975103 328544256 21844 33554432000 4194304 4580107 140733727049328 18446744073709551615 4401345 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=320844 CPUtime=0.68 cores=0,2,4,6
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 3453 0 0 0 67 1 0 0 18 0 4 0 652975103 328544256 21864 33554432000 4194304 4580107 140733727049328 18446744073709551615 4293748 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 320708

[startup+0.825439 s]
/proc/loadavg: 3.14 6.10 7.28 8/320 15364
/proc/meminfo: memFree=27997836/32950928 swapFree=60199044/67111528
[pid=15364] ppid=15362 vsize=351180 CPUtime=3.22 cores=0,2,4,6
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15323 0 -1 4202496 29998 0 0 0 310 12 0 0 18 0 4 0 652975103 359608320 29343 33554432000 4194304 4580107 140733727049328 18446744073709551615 4451668 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 87795 29343 372 95 0 82777 0
[pid=15364/tid=15365] ppid=15362 vsize=351180 CPUtime=0.8 cores=0,2,4,6
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 9026 0 0 0 77 3 0 0 18 0 4 0 652975103 359608320 29343 33554432000 4194304 4580107 140733727049328 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=351180 CPUtime=0.8 cores=0,2,4,6
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 9023 0 0 0 77 3 0 0 18 0 4 0 652975103 359608320 29343 33554432000 4194304 4580107 140733727049328 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=351180 CPUtime=0.8 cores=0,2,4,6
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 3546 0 0 0 79 1 0 0 18 0 4 0 652975103 359608320 29343 33554432000 4194304 4580107 140733727049328 18446744073709551615 4293083 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 351180

[startup+1.50032 s]
/proc/loadavg: 3.14 6.10 7.28 9/324 15368
/proc/meminfo: memFree=27826808/32950928 swapFree=60199044/67111528
[pid=15364] ppid=15362 vsize=343044 CPUtime=5.93 cores=0,2,4,6
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15323 0 -1 4202496 42296 0 0 0 577 16 0 0 19 0 4 0 652975103 351277056 36484 33554432000 4194304 4580107 140733727049328 18446744073709551615 4406466 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 85761 36486 374 95 0 80743 0
[pid=15364/tid=15365] ppid=15362 vsize=343320 CPUtime=1.48 cores=0,2,4,6
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 13225 0 0 0 144 4 0 0 19 0 4 0 652975103 351559680 36612 33554432000 4194304 4580107 140733727049328 18446744073709551615 268272350241 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=343320 CPUtime=1.48 cores=0,2,4,6
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 13288 0 0 0 144 4 0 0 19 0 4 0 652975103 351559680 36612 33554432000 4194304 4580107 140733727049328 18446744073709551615 4406340 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=343320 CPUtime=1.49 cores=0,2,4,6
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 3831 0 0 0 148 1 0 0 19 0 4 0 652975103 351559680 36612 33554432000 4194304 4580107 140733727049328 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 343044

[startup+3.10103 s]
/proc/loadavg: 3.14 6.10 7.28 9/324 15368
/proc/meminfo: memFree=27796316/32950928 swapFree=60199044/67111528
[pid=15364] ppid=15362 vsize=485084 CPUtime=12.29 cores=0,2,4,6
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15323 0 -1 4202496 53974 0 0 0 1210 19 0 0 22 0 4 0 652975103 496726016 45664 33554432000 4194304 4580107 140733727049328 18446744073709551615 4316772 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 121271 45664 378 95 0 116253 0
[pid=15364/tid=15365] ppid=15362 vsize=485084 CPUtime=3.07 cores=0,2,4,6
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 16926 0 0 0 302 5 0 0 20 0 4 0 652975103 496726016 45664 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=485084 CPUtime=3.07 cores=0,2,4,6
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 16780 0 0 0 302 5 0 0 21 0 4 0 652975103 496726016 45664 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=485084 CPUtime=3.07 cores=0,2,4,6
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 4540 0 0 0 306 1 0 0 21 0 4 0 652975103 496726016 45664 33554432000 4194304 4580107 140733727049328 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 485084

[startup+6.30046 s]
/proc/loadavg: 3.53 6.13 7.28 9/324 15369
/proc/meminfo: memFree=27728992/32950928 swapFree=60199044/67111528
[pid=15364] ppid=15362 vsize=454840 CPUtime=25.04 cores=0,2,4,6
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15323 0 -1 4202496 79236 0 0 0 2481 23 0 0 25 0 4 0 652975103 465756160 57262 33554432000 4194304 4580107 140733727049328 18446744073709551615 4318708 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 113710 57262 380 95 0 108692 0
[pid=15364/tid=15365] ppid=15362 vsize=454840 CPUtime=6.26 cores=0,2,4,6
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 20608 0 0 0 620 6 0 0 25 0 4 0 652975103 465756160 57262 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=454840 CPUtime=6.27 cores=0,2,4,6
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 20459 0 0 0 622 5 0 0 25 0 4 0 652975103 465756160 57263 33554432000 4194304 4580107 140733727049328 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=454840 CPUtime=6.27 cores=0,2,4,6
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 19034 0 0 0 624 3 0 0 25 0 4 0 652975103 465756160 57263 33554432000 4194304 4580107 140733727049328 18446744073709551615 268272350241 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.04
Current children cumulated vsize (KiB) 454840

[startup+12.7003 s]
/proc/loadavg: 3.89 6.16 7.28 9/324 15369
/proc/meminfo: memFree=27698160/32950928 swapFree=60199044/67111528
[pid=15364] ppid=15362 vsize=462504 CPUtime=50.58 cores=0,2,4,6
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15323 0 -1 4202496 102302 0 0 0 5030 28 0 0 25 0 4 0 652975103 473604096 64530 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 115626 64530 380 95 0 110608 0
[pid=15364/tid=15365] ppid=15362 vsize=462504 CPUtime=12.66 cores=0,2,4,6
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 25841 0 0 0 1259 7 0 0 25 0 4 0 652975103 473604096 64530 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=462504 CPUtime=12.67 cores=0,2,4,6
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 25840 0 0 0 1261 6 0 0 25 0 4 0 652975103 473604096 64530 33554432000 4194304 4580107 140733727049328 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=462504 CPUtime=12.68 cores=0,2,4,6
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 26334 0 0 0 1263 5 0 0 25 0 4 0 652975103 473604096 64530 33554432000 4194304 4580107 140733727049328 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 462504

[startup+25.5011 s]
/proc/loadavg: 4.80 6.25 7.29 9/324 15369
/proc/meminfo: memFree=27648692/32950928 swapFree=60199044/67111528
[pid=15364] ppid=15362 vsize=463188 CPUtime=101.66 cores=0,2,4,6
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15323 0 -1 4202496 121148 0 0 0 10134 32 0 0 25 0 4 0 652975103 474304512 67273 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 115797 67273 380 95 0 110779 0
[pid=15364/tid=15365] ppid=15362 vsize=463188 CPUtime=25.46 cores=0,2,4,6
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 31504 0 0 0 2538 8 0 0 25 0 4 0 652975103 474304512 67273 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=463188 CPUtime=25.47 cores=0,2,4,6
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 31397 0 0 0 2539 8 0 0 25 0 4 0 652975103 474304512 67273 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=463188 CPUtime=25.47 cores=0,2,4,6
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 32968 0 0 0 2541 6 0 0 25 0 4 0 652975103 474304512 67273 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 463188

[startup+51.1125 s]
/proc/loadavg: 5.97 6.41 7.32 9/324 15370
/proc/meminfo: memFree=27594184/32950928 swapFree=60199044/67111528
[pid=15364] ppid=15362 vsize=464404 CPUtime=203.84 cores=0,2,4,6
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15323 0 -1 4202496 153656 0 0 0 20345 39 0 0 25 0 4 0 652975103 475549696 70661 33554432000 4194304 4580107 140733727049328 18446744073709551615 4305280 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 116101 70661 380 95 0 111083 0
[pid=15364/tid=15365] ppid=15362 vsize=464404 CPUtime=51.07 cores=0,2,4,6
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 42134 0 0 0 5097 10 0 0 25 0 4 0 652975103 475549696 70661 33554432000 4194304 4580107 140733727049328 18446744073709551615 4296116 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=464404 CPUtime=51.08 cores=0,2,4,6
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 41296 0 0 0 5098 10 0 0 25 0 4 0 652975103 475549696 70661 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=464404 CPUtime=51.09 cores=0,2,4,6
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 42941 0 0 0 5101 8 0 0 25 0 4 0 652975103 475549696 70661 33554432000 4194304 4580107 140733727049328 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.84
Current children cumulated vsize (KiB) 464404

[startup+102.3 s]
/proc/loadavg: 7.12 6.65 7.35 9/324 15371
/proc/meminfo: memFree=27490108/32950928 swapFree=60199044/67111528
[pid=15364] ppid=15362 vsize=596664 CPUtime=408.08 cores=0,2,4,6
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15323 0 -1 4202496 206524 0 0 0 40757 51 0 0 25 0 4 0 652975103 610983936 86434 33554432000 4194304 4580107 140733727049328 18446744073709551615 4295687 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 149166 86434 380 95 0 144148 0
[pid=15364/tid=15365] ppid=15362 vsize=596664 CPUtime=102.24 cores=0,2,4,6
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 57873 0 0 0 10211 13 0 0 25 0 4 0 652975103 610983936 86434 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=596664 CPUtime=102.27 cores=0,2,4,6
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 58156 0 0 0 10213 14 0 0 25 0 4 0 652975103 610983936 86434 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=596664 CPUtime=102.28 cores=0,2,4,6
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 60638 0 0 0 10216 12 0 0 25 0 4 0 652975103 610983936 86434 33554432000 4194304 4580107 140733727049328 18446744073709551615 4487397 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.08
Current children cumulated vsize (KiB) 596664

[startup+162.301 s]

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

[pid=15364] ppid=15362 vsize=658360 CPUtime=2561.79 cores=0,2,4,6
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15323 0 -1 4202496 636848 0 0 0 255976 203 0 0 25 0 4 0 652975103 674160640 101135 33554432000 4194304 4580107 140733727049328 18446744073709551615 4293108 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 164590 101135 380 95 0 159572 0
[pid=15364/tid=15365] ppid=15362 vsize=658360 CPUtime=641.5 cores=0,2,4,6
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 181892 0 0 0 64096 54 0 0 25 0 4 0 652975103 674160640 101135 33554432000 4194304 4580107 140733727049328 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=658360 CPUtime=642.25 cores=0,2,4,6
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 187452 0 0 0 64165 60 0 0 25 0 4 0 652975103 674160640 101135 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=658360 CPUtime=642.14 cores=0,2,4,6
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 182875 0 0 0 64158 56 0 0 25 0 4 0 652975103 674160640 101135 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2561.79
Current children cumulated vsize (KiB) 658360

[startup+702.312 s]
/proc/loadavg: 8.08 7.93 7.71 9/324 15399
/proc/meminfo: memFree=27209848/32950928 swapFree=60199044/67111528
[pid=15364] ppid=15362 vsize=573764 CPUtime=2801.23 cores=0,2,4,6
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15323 0 -1 4202496 692484 0 0 0 279903 220 0 0 25 0 4 0 652975103 587534336 91291 33554432000 4194304 4580107 140733727049328 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 143441 91291 380 95 0 138423 0
[pid=15364/tid=15365] ppid=15362 vsize=573764 CPUtime=701.5 cores=0,2,4,6
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 196539 0 0 0 70091 59 0 0 25 0 4 0 652975103 587534336 91292 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=573764 CPUtime=702.26 cores=0,2,4,6
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 204013 0 0 0 70161 65 0 0 25 0 4 0 652975103 587534336 91292 33554432000 4194304 4580107 140733727049328 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=573764 CPUtime=702.15 cores=0,2,4,6
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 197779 0 0 0 70155 60 0 0 25 0 4 0 652975103 587534336 91292 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2801.23
Current children cumulated vsize (KiB) 573764

[startup+762.3 s]
/proc/loadavg: 8.07 7.95 7.73 9/324 15401
/proc/meminfo: memFree=27199524/32950928 swapFree=60199044/67111528
[pid=15364] ppid=15362 vsize=633648 CPUtime=3040.58 cores=0,2,4,6
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15323 0 -1 4202496 749355 0 0 0 303818 240 0 0 25 0 4 0 652975103 648855552 94258 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 158412 94258 380 95 0 153394 0
[pid=15364/tid=15365] ppid=15362 vsize=633648 CPUtime=761.48 cores=0,2,4,6
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 211166 0 0 0 76084 64 0 0 25 0 4 0 652975103 648855552 94258 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=633648 CPUtime=762.25 cores=0,2,4,6
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 217254 0 0 0 76155 70 0 0 25 0 4 0 652975103 648855552 94258 33554432000 4194304 4580107 140733727049328 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=633648 CPUtime=762.13 cores=0,2,4,6
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 212281 0 0 0 76148 65 0 0 25 0 4 0 652975103 648855552 94258 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3040.58
Current children cumulated vsize (KiB) 633648

[startup+822.301 s]
/proc/loadavg: 8.07 7.97 7.75 9/324 15402
/proc/meminfo: memFree=27169856/32950928 swapFree=60199044/67111528
[pid=15364] ppid=15362 vsize=694628 CPUtime=3279.96 cores=0,2,4,6
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15323 0 -1 4202496 806141 0 0 0 327736 260 0 0 25 0 4 0 652975103 711299072 95177 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 173657 95177 380 95 0 168639 0
[pid=15364/tid=15365] ppid=15362 vsize=694628 CPUtime=821.47 cores=0,2,4,6
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 226153 0 0 0 82077 70 0 0 25 0 4 0 652975103 711299072 95177 33554432000 4194304 4580107 140733727049328 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=694628 CPUtime=822.25 cores=0,2,4,6
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 231660 0 0 0 82149 76 0 0 25 0 4 0 652975103 711299072 95177 33554432000 4194304 4580107 140733727049328 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=694628 CPUtime=822.14 cores=0,2,4,6
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 225451 0 0 0 82145 69 0 0 25 0 4 0 652975103 711299072 95177 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3279.96
Current children cumulated vsize (KiB) 694628

[startup+882.301 s]
/proc/loadavg: 8.10 8.00 7.77 9/324 15404
/proc/meminfo: memFree=27192768/32950928 swapFree=60199044/67111528
[pid=15364] ppid=15362 vsize=636900 CPUtime=3519.36 cores=0,2,4,6
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15323 0 -1 4202496 863032 0 0 0 351658 278 0 0 25 0 4 0 652975103 652185600 94683 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 159225 94683 380 95 0 154207 0
[pid=15364/tid=15365] ppid=15362 vsize=636900 CPUtime=881.47 cores=0,2,4,6
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 240881 0 0 0 88072 75 0 0 25 0 4 0 652975103 652185600 94683 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=636900 CPUtime=882.24 cores=0,2,4,6
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 245837 0 0 0 88144 80 0 0 25 0 4 0 652975103 652185600 94683 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=636900 CPUtime=882.14 cores=0,2,4,6
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 240223 0 0 0 88141 73 0 0 25 0 4 0 652975103 652185600 94683 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3519.36
Current children cumulated vsize (KiB) 636900

[startup+942.3 s]
/proc/loadavg: 8.26 8.06 7.80 9/324 15405
/proc/meminfo: memFree=27173520/32950928 swapFree=60199044/67111528
[pid=15364] ppid=15362 vsize=638588 CPUtime=3758.75 cores=0,2,4,6
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15323 0 -1 4202496 916527 0 0 0 375578 297 0 0 25 0 4 0 652975103 653914112 95024 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 159647 95024 380 95 0 154629 0
[pid=15364/tid=15365] ppid=15362 vsize=638588 CPUtime=941.46 cores=0,2,4,6
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 253583 0 0 0 94066 80 0 0 25 0 4 0 652975103 653914112 95024 33554432000 4194304 4580107 140733727049328 18446744073709551615 4318879 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=638588 CPUtime=942.25 cores=0,2,4,6
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 258511 0 0 0 94141 84 0 0 25 0 4 0 652975103 653914112 95024 33554432000 4194304 4580107 140733727049328 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=638588 CPUtime=942.14 cores=0,2,4,6
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 254377 0 0 0 94135 79 0 0 25 0 4 0 652975103 653914112 95024 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3758.75
Current children cumulated vsize (KiB) 638588

[startup+1002.3 s]
/proc/loadavg: 8.16 8.07 7.82 9/324 15407
/proc/meminfo: memFree=27136780/32950928 swapFree=60199044/67111528
[pid=15364] ppid=15362 vsize=640036 CPUtime=3998.15 cores=0,2,4,6
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15323 0 -1 4202496 971531 0 0 0 399497 318 0 0 25 0 4 0 652975103 655396864 95134 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 160009 95134 380 95 0 154991 0
[pid=15364/tid=15365] ppid=15362 vsize=640036 CPUtime=1001.45 cores=0,2,4,6
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 268120 0 0 0 100060 85 0 0 25 0 4 0 652975103 655396864 95134 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=640036 CPUtime=1002.25 cores=0,2,4,6
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 273034 0 0 0 100136 89 0 0 25 0 4 0 652975103 655396864 95134 33554432000 4194304 4580107 140733727049328 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=640036 CPUtime=1002.14 cores=0,2,4,6
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 267681 0 0 0 100130 84 0 0 25 0 4 0 652975103 655396864 95134 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3998.15
Current children cumulated vsize (KiB) 640036

[startup+1062.3 s]
/proc/loadavg: 8.06 8.06 7.83 9/324 15409
/proc/meminfo: memFree=27129548/32950928 swapFree=60199044/67111528
[pid=15364] ppid=15362 vsize=702868 CPUtime=4237.54 cores=0,2,4,6
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15323 0 -1 4202496 1023287 0 0 0 423418 336 0 0 25 0 4 0 652975103 719736832 96493 33554432000 4194304 4580107 140733727049328 18446744073709551615 4339856 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 175717 96493 380 95 0 170699 0
[pid=15364/tid=15365] ppid=15362 vsize=702868 CPUtime=1061.44 cores=0,2,4,6
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 280572 0 0 0 106055 89 0 0 25 0 4 0 652975103 719736832 96493 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=702868 CPUtime=1062.25 cores=0,2,4,6
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 285857 0 0 0 106132 93 0 0 25 0 4 0 652975103 719736832 96493 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=702868 CPUtime=1062.15 cores=0,2,4,6
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 282088 0 0 0 106125 90 0 0 25 0 4 0 652975103 719736832 96493 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4237.54
Current children cumulated vsize (KiB) 702868

[startup+1122.3 s]
/proc/loadavg: 8.05 8.06 7.84 9/324 15410
/proc/meminfo: memFree=27113516/32950928 swapFree=60199044/67111528
[pid=15364] ppid=15362 vsize=673564 CPUtime=4476.93 cores=0,2,4,6
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15323 0 -1 4202496 1072746 0 0 0 447340 353 0 0 25 0 4 0 652975103 689729536 106612 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 168391 106612 380 95 0 163373 0
[pid=15364/tid=15365] ppid=15362 vsize=673564 CPUtime=1121.44 cores=0,2,4,6
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 293872 0 0 0 112050 94 0 0 25 0 4 0 652975103 689729536 106612 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=673564 CPUtime=1122.24 cores=0,2,4,6
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 298226 0 0 0 112126 98 0 0 25 0 4 0 652975103 689729536 106612 33554432000 4194304 4580107 140733727049328 18446744073709551615 4295695 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=673564 CPUtime=1122.14 cores=0,2,4,6
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 294741 0 0 0 112121 93 0 0 25 0 4 0 652975103 689729536 106612 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4476.93
Current children cumulated vsize (KiB) 673564

[startup+1182.3 s]
/proc/loadavg: 8.16 8.08 7.86 9/324 15412
/proc/meminfo: memFree=27050124/32950928 swapFree=60199044/67111528
[pid=15364] ppid=15362 vsize=613212 CPUtime=4716.32 cores=0,2,4,6
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15323 0 -1 4202496 1117710 0 0 0 471261 371 0 0 25 0 4 0 652975103 627929088 100906 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 153303 100906 380 95 0 148285 0
[pid=15364/tid=15365] ppid=15362 vsize=613212 CPUtime=1181.42 cores=0,2,4,6
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 308235 0 0 0 118043 99 0 0 25 0 4 0 652975103 627929088 100906 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=613212 CPUtime=1182.25 cores=0,2,4,6
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 312102 0 0 0 118122 103 0 0 25 0 4 0 652975103 627929088 100906 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=613212 CPUtime=1182.15 cores=0,2,4,6
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 307277 0 0 0 118116 99 0 0 25 0 4 0 652975103 627929088 100906 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4716.32
Current children cumulated vsize (KiB) 613212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.3 s]
/proc/loadavg: 8.11 8.07 7.86 5/319 15413
/proc/meminfo: memFree=27570708/32950928 swapFree=60199044/67111528
[pid=15364] ppid=15362 vsize=737912 CPUtime=4800.13 cores=0,2,4,6
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15323 0 -1 4202496 1130965 0 0 0 479636 377 0 0 25 0 4 0 652975103 755621888 108270 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 184478 108270 380 95 0 179460 0
[pid=15364/tid=15365] ppid=15362 vsize=737912 CPUtime=1202.43 cores=0,2,4,6
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 311440 0 0 0 120142 101 0 0 25 0 4 0 652975103 755621888 108274 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=737912 CPUtime=1203.26 cores=0,2,4,6
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 315757 0 0 0 120222 104 0 0 25 0 4 0 652975103 755621888 108274 33554432000 4194304 4580107 140733727049328 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=737912 CPUtime=1203.16 cores=0,2,4,6
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15323 0 -1 4202560 312180 0 0 0 120215 101 0 0 25 0 4 0 652975103 755621888 108274 33554432000 4194304 4580107 140733727049328 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.13
Current children cumulated vsize (KiB) 737912

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.33
CPU time (s): 4800.19
CPU user time (s): 4796.4
CPU system time (s): 3.78942
CPU usage (%): 398.908
Max. virtual memory (cumulated for all children) (KiB): 882980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.4
system time used= 3.78942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1130972
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= 15893
involuntary context switches= 22160

runsolver used 3.47347 second user time and 8.58269 second system time

The end

Launcher Data 

Begin job on node122 at 2011-05-15 00:56:03
IDJOB=3366719
IDBENCH=83245
IDSOLVER=1844
FILE ID=node122/3366719-1305413763
RUNJOBID= node122-1305413763-15341
PBS_JOBID= 13324540
Free space on /tmp= 73428 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-3-6_2072.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366719-1305413763/watcher-3366719-1305413763 -o /tmp/evaluation-result-3366719-1305413763/solver-3366719-1305413763 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366719-1305413763.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= d2ef996f95bbf68a3c980c797dfdc364
RANDOM SEED=1782559921

node122.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.64
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
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 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      27998116 kB
Buffers:        277796 kB
Cached:        3353600 kB
SwapCached:      50104 kB
Active:         888244 kB
Inactive:      3853532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27998116 kB
SwapTotal:    67111528 kB
SwapFree:     60199044 kB
Dirty:           13328 kB
Writeback:           0 kB
AnonPages:     1071308 kB
Mapped:          13560 kB
Slab:           113072 kB
PageTables:      32728 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 52611512 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73424 MiB
End job on node122 at 2011-05-15 01:16:08