Trace number 3281928

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? (TO) 4800.2 1209.11

General information on the benchmark

NameAPPLICATIONS/bitverif/
minxorminand/minxorminand128.cnf
MD5SUMa551844fb6a7f35cf6025d0a525ca14e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark388.148
Satisfiable
(Un)Satisfiability was proved
Number of variables153834
Number of clauses459965
Sum of the clauses size1073249
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2306642
Number of clauses of size 3153321
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.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-3281928-1304028698.cnf'
0.00/0.00	c -- header says num vars:         153834
0.00/0.00	c -- header says num clauses:      459965
3.90/1.01	c -- clauses added:            0 learnts,       459965 normals,            0 xors
3.90/1.01	c -- vars added     153834
3.90/1.01	c Parsing time:  0.15 s
3.90/1.01	c  N st     0         0    153834    153321    306642         0   1073247         0   no data   no data
3.90/1.01	c asymm  cl-useful: 0/19999/153312 lits-rem:0 time: 0.30
25.87/6.56	c Flit:     0 Blit:      6 bXBeca:    0 bXProp:  890 Bins:      0 BRemL:      0 BRemN:      0 P: 153.8M T:  6.02
26.27/6.60	c Replacing      890 vars Replaced    11442 lits Time:     0.04 s 
26.27/6.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.27/6.69	c bin-w-bin subsume rem            0 bins  time:  0.02 s
26.64/6.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.07 s
28.24/7.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done: 122725 time:  0.36 s
28.64/7.25	c Removed useless bin:      54  fixed:     0  props:  20.00M  time:  0.13 s
44.21/11.11	c lits-rem:         0  cl-subs:        0  v-elim:  50976  v-fix:    0  time:  3.78 s
44.21/11.14	c Finding binary XORs  T:     0.03 s  found:       0
44.21/11.18	c Finding non-binary XORs:     0.02 s (found:      22, avg size: 3.0)
44.21/11.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
44.21/11.19	c calculated reachability. Time: 0.00
44.61/11.20	c Calc default polars -  time:   0.01 s pos:     916 undec:   51882 neg:  101036
44.61/11.20	c =========================================================================================
44.61/11.20	c types(t): F = full restart, N = normal restart
44.61/11.20	c types(t): S = simplification begin/end, E = solution found
44.61/11.20	c restart types(rt): st = static, dy = dynamic
44.61/11.20	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
44.61/11.20	c  B st     0         0    101952    104194    250845         0    872786         0   no data   no data
62.99/15.86	c  N dy    15      4036    101952    104194    251046      3807    872786    164592     21.97     23.17
85.92/25.86	c  N dy    42      8088    101952    104194    251367      7723    872786    452523     26.42     37.03
92.07/28.80	c  N dy    77     12114    101952    104194    251440     11601    872786   1004596     41.00    100.32
115.13/36.31	c  N dy   111     16185    101952    104194    251811     15543    872786   1879549     52.94     83.42
129.88/40.05	c  N dy   142     20241    101952    104194    251913      9863    872786    423483     61.31     65.03
145.88/44.03	c  N dy   172     24283    101952    104194    251964     13800    872786   1394768     68.96     88.45
149.05/44.86	c  F st   178     25000    101952    104194    252162     14498    872786   1574416     70.07   no data
165.03/48.84	c  N st   183     28309    101952    104194    252176     17712    872786   3396519     70.07   no data
178.21/52.10	c  S st   184     30002    101952    104194    252185     19338    872786   4512204     70.07   no data
179.42/52.43	c  S st   184     30502    101952    104194    252207     19816    872786   4526090     70.07   no data
179.42/52.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
192.20/55.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    9 Bins: 119614 BRemL:   9088 BRemN:      0 P: 25.0M T:  3.21
193.40/55.90	c Replacing        9 vars Replaced    16612 lits Time:     0.23 s 
193.40/55.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
193.40/55.97	c bin-w-bin subsume rem          696 bins  time:  0.03 s
194.21/56.13	c subs with bin:      177  lits-rem:         0  v-fix:    0  time:  0.17 s
194.59/56.25	c Subs w/ non-existent bins:      0 l-rem:   1106 v-fix:     0 done: 101943 time:  0.11 s
195.00/56.34	c Removed useless bin:      56  fixed:     0  props:   5.76M  time:  0.08 s
201.39/57.91	c lits-rem:         0  cl-subs:        5  v-elim:  67962  v-fix:    0  time:  1.51 s
208.98/59.80	c subs with bin:       48  lits-rem:      3849  v-fix:    0  time:  1.83 s
210.58/60.27	c lits-rem:      2955  cl-subs:      586  v-elim:      0  v-fix:    0  time:  0.45 s
210.58/60.27	c Added XOR as norm:22
211.80/60.59	c asymm  cl-useful: 682/2752/109043 lits-rem:689 time: 0.31
212.18/60.60	c calculated reachability. Time: 0.00
212.18/60.60	c  N dy   184     30502     33981    109043    170479      9860    882888   1022710     70.07   no data
212.18/60.62	c Finding binary XORs  T:     0.02 s  found:       0
222.96/63.33	c  N dy   195     34514     33981    109043    170647     13518    882888   1398083     66.43     70.02
234.54/66.21	c  N dy   220     38547     33981    109043    175836     17469    882888   2473330     71.00    112.71
240.53/67.79	c Finding binary XORs  T:     0.02 s  found:       0
244.13/68.60	c  N dy   237     42636     33981    109043    175850     11277    882888    644849     70.19     75.08
250.53/70.21	c  S st   252     45753     33981    109043    180409     14336    882888   1175170     69.53   no data
251.35/70.45	c  S st   252     46259     33981    109043    180414     14835    882888   1190721     69.53   no data
251.35/70.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
259.32/72.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  39320 BRemL:  31879 BRemN:      6 P: 13.9M T:  2.02
259.73/72.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
259.73/72.56	c bin-w-bin subsume rem         1140 bins  time:  0.02 s
260.51/72.78	c subs with bin:     3780  lits-rem:         4  v-fix:    0  time:  0.22 s
260.91/72.89	c Subs w/ non-existent bins:    870 l-rem:  31574 v-fix:     0 done:  33981 time:  0.10 s
261.30/72.93	c Removed useless bin:      26  fixed:     0  props:   2.28M  time:  0.04 s
263.71/73.52	c lits-rem:         0  cl-subs:       48  v-elim:  21824  v-fix:    0  time:  0.57 s
270.10/75.15	c subs with bin:       59  lits-rem:      3381  v-fix:    0  time:  1.61 s
270.90/75.30	c lits-rem:       569  cl-subs:      525  v-elim:      0  v-fix:    0  time:  0.13 s
270.90/75.36	c vivif2 --  cl tried   105974 cl shrink    11385 lits rem      11389 time: 0.05
270.90/75.39	c vivif2 --  cl tried    10833 cl shrink     2714 lits rem      32021 time: 0.03
272.49/75.73	c asymm  cl-useful: 62/4543/104566 lits-rem:84 time: 0.34
272.49/75.75	c calculated reachability. Time: 0.01
272.49/75.75	c  N dy   252     46259     12157    104566    130669     10797    841654    648202     69.53   no data
272.49/75.78	c Finding binary XORs  T:     0.03 s  found:       0
280.89/77.85	c  N dy   265     50444     12157    104566    130728     14851    841654   1358745     66.58     70.70
288.88/79.81	c  N dy   278     54466     12157    104566    132572     18775    841654   2368696     65.07     69.69
300.86/82.88	c  N dy   299     58554     12157    104566    133630     22794    841654   3758571     65.67    115.83
318.84/87.33	c  N dy   328     62639     12157    104566    133663     26803    841654   5172860     66.79     94.09
330.44/90.22	c Finding binary XORs  T:     0.03 s  found:       0
335.22/91.43	c  N dy   351     67770     12156    104565    133698     17731    841639   1757079     66.41     71.91
337.22/91.96	c  S st   357     69388     12156    104565    133715     19319    841639   2112864     65.76   no data
338.42/92.21	c  S st   357     69889     12156    104565    133716     19815    841639   2153612     65.76   no data
338.42/92.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
345.21/93.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  11213 BRemL:  11727 BRemN:      0 P: 12.7M T:  1.74
345.61/94.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
345.61/94.03	c bin-w-bin subsume rem         1020 bins  time:  0.02 s
346.41/94.22	c subs with bin:       72  lits-rem:         0  v-fix:    0  time:  0.19 s
346.41/94.28	c Subs w/ non-existent bins:      5 l-rem:      0 v-fix:     0 done:  12156 time:  0.07 s
346.81/94.31	c Removed useless bin:       1  fixed:     0  props:   1.49M  time:  0.02 s
346.81/94.39	c lits-rem:         0  cl-subs:        2  v-elim:     43  v-fix:    0  time:  0.08 s
354.00/96.18	c subs with bin:        5  lits-rem:       427  v-fix:    0  time:  1.71 s
360.80/97.86	c lits-rem:     17858  cl-subs:      778  v-elim:      0  v-fix:    0  time:  1.65 s
361.20/97.91	c vivif2 --  cl tried   104339 cl shrink        6 lits rem          6 time: 0.05
361.59/98.02	c vivif2 --  cl tried    18370 cl shrink     3345 lits rem     151479 time: 0.10
362.79/98.37	c asymm  cl-useful: 121/6884/104339 lits-rem:408 time: 0.36
362.79/98.39	c calculated reachability. Time: 0.01
362.79/98.39	c  N dy   357     69889     12113    104326    131845     18358    840394   1626708     65.76   no data
370.37/100.25	c Finding binary XORs  T:     0.03 s  found:       0
371.17/100.45	c  N dy   379     74391     12113    104326    133160     22710    840394   2437668     65.42    109.65
382.78/103.35	c  N dy   414     79162     12113    104326    133486     27374    840394   3749262     66.55     88.57
392.75/105.88	c  N dy   433     85388     12112    104326    133515     33479    840393   5052755     65.23     69.20
395.96/106.61	c  F st   439     87500     12112    104326    133522     35554    840393   5473921     64.71     45.91
407.53/109.51	c  N dy   445     92694     12112    104324    132488     21516    840199   2773155     64.71   no data
415.91/111.68	c  N dy   449    100114     12112    104324    137632     28736    840199   4115642     62.45     66.58
416.31/111.74	c Finding binary XORs  T:     0.03 s  found:       2
421.91/113.16	c  S st   455    104833     12111    104323    137623     33326    840184   4719992     60.92     23.84
423.11/113.42	c  S st   455    105333     12111    104323    137626     33820    840184   4756714     60.92   no data
423.11/113.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
430.70/115.32	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:    7 Bins:   9235 BRemL:   5786 BRemN:     16 P: 17.4M T:  1.87
431.52/115.57	c Replacing        9 vars Replaced    23367 lits Time:     0.25 s 
431.90/115.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
431.90/115.63	c bin-w-bin subsume rem          747 bins  time:  0.02 s
432.70/115.85	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.21 s
433.10/115.92	c Subs w/ non-existent bins:     96 l-rem:      0 v-fix:     0 done:  12100 time:  0.07 s
433.10/115.95	c Removed useless bin:      13  fixed:     0  props:   1.52M  time:  0.03 s
433.50/116.04	c lits-rem:         8  cl-subs:       31  v-elim:     30  v-fix:    0  time:  0.09 s
440.68/117.86	c subs with bin:       12  lits-rem:      3813  v-fix:    0  time:  1.74 s
449.87/120.16	c lits-rem:     30681  cl-subs:     1805  v-elim:      0  v-fix:    0  time:  2.26 s
450.27/120.22	c vivif2 --  cl tried   103716 cl shrink        7 lits rem          7 time: 0.06
450.67/120.34	c vivif2 --  cl tried    24149 cl shrink     5861 lits rem     156765 time: 0.12
451.87/120.67	c asymm  cl-useful: 84/3124/103716 lits-rem:157 time: 0.33
451.87/120.69	c calculated reachability. Time: 0.01
451.87/120.69	c  N dy   455    105333     12070    103716    139810     24083    835788   1764515     60.92   no data
467.85/124.61	c Finding binary XORs  T:     0.03 s  found:       0
482.24/128.20	c  N dy   488    112425     12069    103716    139951     31019    835788   3950301     61.08     68.37
515.02/136.48	c  N dy   532    119652     12069    103716    140853     22411    835788   2953646     62.03    156.29
553.76/146.19	c  N dy   575    127595     12069    103716    142384     30124    835788   5393612     63.45     67.19
576.55/151.86	c Finding binary XORs  T:     0.03 s  found:       0
588.51/154.87	c  N dy   621    139246     12067    103715    142466     21296    835775   1292519     63.39     66.87
621.27/163.07	c  N dy   656    148329     12065    103715    146379     30212    835775   3458903     63.05     66.38
626.86/164.46	c Finding binary XORs  T:     0.03 s  found:       4
637.25/167.03	c  N dy   683    158000     12062    103706    146158     36533    835466   5060400     62.04     42.90
637.25/167.03	c  S st   683    158000     12062    103706    146158     36533    835466   5060400     62.04     42.90
638.06/167.26	c  S st   683    158500     12062    103706    146158     37033    835466   5088633     62.04   no data
638.06/167.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
645.64/169.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   3018 BRemL:   3996 BRemN:     10 P: 17.5M T:  1.86
645.64/169.19	c Replacing        4 vars Replaced     1132 lits Time:     0.04 s 
646.04/169.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
646.04/169.25	c bin-w-bin subsume rem          449 bins  time:  0.02 s
646.86/169.48	c subs with bin:        4  lits-rem:        16  v-fix:    0  time:  0.23 s
647.24/169.56	c Subs w/ non-existent bins:    109 l-rem:      0 v-fix:     0 done:  12058 time:  0.07 s
647.24/169.58	c Removed useless bin:       6  fixed:     0  props:   1.54M  time:  0.02 s
647.64/169.69	c lits-rem:         0  cl-subs:      118  v-elim:     43  v-fix:    0  time:  0.10 s
655.24/171.59	c subs with bin:       15  lits-rem:      1402  v-fix:    0  time:  1.78 s
668.02/174.80	c lits-rem:     69855  cl-subs:     1552  v-elim:      0  v-fix:    0  time:  3.17 s
668.43/174.86	c vivif2 --  cl tried   103349 cl shrink        0 lits rem          0 time: 0.05
669.21/175.07	c vivif2 --  cl tried    30673 cl shrink     8305 lits rem     278782 time: 0.21
670.80/175.41	c asymm  cl-useful: 101/2410/103349 lits-rem:160 time: 0.34
670.80/175.42	c calculated reachability. Time: 0.01
670.80/175.42	c  N dy   683    158500     12015    103349    144651     30629    842286   2703310     62.04   no data
701.57/183.11	c  N dy   730    168689     12011    103349    145032     21894    842286   1656534     61.68    130.55
710.36/185.39	c Finding binary XORs  T:     0.03 s  found:       2
738.75/192.45	c  N dy   774    179570     12009    103344    147158     32418    842185   4144179     60.97     64.88
760.31/197.80	c Finding binary XORs  T:     0.03 s  found:       2
760.72/197.91	c  N dy   827    191115     12008    103340    154471     41324    842106   6401264     60.95    177.73
784.27/203.85	c  N dy   849    204149     12006    103340    154499     32734    842106   4085800     59.54     63.50
821.83/213.25	c  N dy   904    218598     12002    103340    154625     46884    842106   7740471     59.44     62.64
860.58/222.93	c  N dy   940    232586     11999    103340    154795     36166    842106   4912692     58.88    165.08
871.35/225.66	c  S st   967    237752     11999    103340    154813     41186    842106   6123490     59.32     34.12
872.96/226.02	c  S st   967    238257     11999    103340    154813     41690    842106   6205565     59.32   no data
872.96/226.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
880.95/228.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:   6457 BRemL:   2470 BRemN:     24 P: 20.7M T:  1.98
881.35/228.12	c Replacing        6 vars Replaced     1895 lits Time:     0.09 s 
881.35/228.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
881.35/228.19	c bin-w-bin subsume rem          582 bins  time:  0.02 s
882.55/228.45	c subs with bin:        5  lits-rem:         0  v-fix:    0  time:  0.26 s
882.95/228.53	c Subs w/ non-existent bins:     88 l-rem:      0 v-fix:     0 done:  11993 time:  0.07 s
882.95/228.55	c Removed useless bin:      12  fixed:     0  props:   1.43M  time:  0.02 s
883.35/228.67	c lits-rem:         0  cl-subs:       99  v-elim:     42  v-fix:    0  time:  0.12 s
892.13/230.89	c subs with bin:        9  lits-rem:       191  v-fix:    0  time:  1.98 s
928.49/239.96	c lits-rem:    126350  cl-subs:     2282  v-elim:      0  v-fix:    0  time:  9.03 s
928.89/240.02	c vivif2 --  cl tried   103106 cl shrink        2 lits rem          2 time: 0.06
930.09/240.39	c vivif2 --  cl tried    37172 cl shrink    11900 lits rem     634405 time: 0.36
931.69/240.76	c asymm  cl-useful: 66/2229/103106 lits-rem:132 time: 0.37
931.69/240.78	c calculated reachability. Time: 0.01
931.69/240.78	c  N dy   967    238257     11951    103106    157649     37125    851730   4522105     59.32   no data
932.10/240.81	c Finding binary XORs  T:     0.03 s  found:       0
970.04/250.31	c  N dy  1048    253532     11947    103106    158079     26879    851730   1610536     59.53    103.82
1008.39/259.93	c  N dy  1133    269744     11943    103106    158200     42718    851730   5785290     60.02    133.83
1037.97/267.31	c  N dy  1201    287011     11942    103106    158271     32426    851730   2262302     60.07    121.71
1080.31/277.99	c  N dy  1297    306125     11939    103106    158418     51181    851730   6974921     60.26     64.79
1080.71/278.03	c  F st  1298    306250     11937    103106    158418     51301    851730   6978775     60.24     14.04
1125.04/289.15	c  N dy  1355    325937     11935    102947    157851     40740    849957   4676300     59.94     64.53
1126.24/289.50	c Finding binary XORs  T:     0.03 s  found:       5
1188.16/304.95	c  N dy  1430    346298     11931    102943    162231     31026    849905   1547721     59.83     68.00
1208.14/309.93	c  S st  1473    357386     11931    102943    162289     41883    849905   3898846     59.71     64.87
1208.96/310.16	c  S st  1473    357886     11931    102943    162289     42381    849905   3937201     59.71   no data
1208.96/310.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1217.33/312.22	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    4 Bins:    660 BRemL:   2592 BRemN:     14 P: 22.6M T:  2.04
1217.75/312.32	c Replacing        9 vars Replaced     6200 lits Time:     0.10 s 
1217.75/312.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1217.75/312.38	c bin-w-bin subsume rem          254 bins  time:  0.02 s
1218.92/312.65	c subs with bin:      169  lits-rem:       244  v-fix:    0  time:  0.26 s
1219.32/312.72	c Subs w/ non-existent bins:     97 l-rem:    210 v-fix:     0 done:  11921 time:  0.08 s
1219.32/312.75	c Removed useless bin:      20  fixed:     0  props:   1.41M  time:  0.02 s
1219.73/312.86	c lits-rem:        17  cl-subs:       90  v-elim:     46  v-fix:    0  time:  0.12 s
1227.32/314.78	c subs with bin:        3  lits-rem:        68  v-fix:    0  time:  1.78 s
1242.10/318.40	c lits-rem:     11182  cl-subs:     1621  v-elim:      0  v-fix:    0  time:  3.60 s
1242.10/318.47	c vivif2 --  cl tried   102569 cl shrink       29 lits rem         29 time: 0.06
1243.30/318.74	c vivif2 --  cl tried    39744 cl shrink    12253 lits rem     409522 time: 0.27
1245.30/319.20	c asymm  cl-useful: 58/2193/102568 lits-rem:107 time: 0.46
1245.30/319.22	c calculated reachability. Time: 0.01
1245.30/319.22	c  N dy  1473    357886     11875    102567    159049     39590    856737   3141372     59.71   no data
1264.88/324.12	c Finding binary XORs  T:     0.03 s  found:       4
1298.84/332.68	c Finding binary XORs  T:     0.03 s  found:       6
1304.82/334.16	c  N dy  1559    378338     11862    102546    163529     58277    856230   8353281     59.31     63.27
1395.51/356.82	c  N dy  1648    399846     11861    102546    163723     49916    856230   8821152     59.06     63.64
1449.45/370.30	c  N dy  1714    420587     11860    102546    163988     38697    856230   3716545     58.64     61.98
1495.01/381.78	c  N dy  1801    441374     11859    102546    164118     59055    856230   8282325     58.61     62.36
1545.32/394.38	c  N dy  1872    461674     11852    102546    164346     45974    856230   4510508     58.48     61.67
1602.05/408.50	c  N dy  1955    481775     11852    102546    164531     65743    856230   9529398     58.54    103.88
1646.80/419.73	c  N dy  2040    501796     11850    102546    164665     52196    856230   5873651     58.48    159.19
1673.56/426.46	c Finding binary XORs  T:     0.03 s  found:      10
1702.72/433.71	c  N dy  2148    522310     11850    102528    162549     37549    855410   1896912     58.67     63.53
1734.69/441.74	c  S st  2242    536829     11847    102528    162635     51878    855410   5566035     58.99   no data
1736.30/442.14	c  S st  2242    537333     11847    102528    162635     52381    855410   5648676     58.99   no data
1736.30/442.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1745.09/444.37	c Flit:     3 Blit:      1 bXBeca:    0 bXProp:    2 Bins:   3549 BRemL:   1520 BRemN:     14 P: 26.9M T:  2.20
1745.87/444.53	c Replacing       22 vars Replaced    12458 lits Time:     0.15 s 
1745.87/444.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1745.87/444.59	c bin-w-bin subsume rem          856 bins  time:  0.02 s
1747.07/444.86	c subs with bin:        5  lits-rem:        12  v-fix:    0  time:  0.26 s
1747.47/444.93	c Subs w/ non-existent bins:     82 l-rem:      7 v-fix:     0 done:  11821 time:  0.08 s
1747.47/444.95	c Removed useless bin:      12  fixed:     0  props:   1.34M  time:  0.02 s
1748.28/445.10	c lits-rem:         0  cl-subs:      687  v-elim:    157  v-fix:    0  time:  0.14 s
1755.47/446.97	c subs with bin:        9  lits-rem:        33  v-fix:    0  time:  1.73 s
1767.07/449.86	c lits-rem:     23773  cl-subs:     1319  v-elim:      0  v-fix:    0  time:  2.86 s
1767.47/449.92	c vivif2 --  cl tried   101409 cl shrink      500 lits rem        500 time: 0.06
1768.64/450.21	c vivif2 --  cl tried    45990 cl shrink    12164 lits rem     385056 time: 0.28
1770.24/450.61	c asymm  cl-useful: 62/2291/101406 lits-rem:148 time: 0.40
1770.24/450.63	c calculated reachability. Time: 0.01
1770.24/450.63	c  N dy  2242    537333     11664    101404    162177     45837    890736   3282150     58.99   no data
1770.24/450.66	c Finding binary XORs  T:     0.03 s  found:       0
1825.78/464.57	c  N dy  2332    557355     11662    101404    162734     65450    890736   8194848     58.96     62.71
1884.90/479.38	c  N dy  2451    577917     11659    101404    162897     53795    890736   6855718     59.44     63.06
1947.24/494.92	c  N dy  2557    598022     11658    101404    163115     73561    890736  11960396     59.69     62.93
2001.16/508.44	c  N dy  2647    619967     11656    101404    163232     58946    890736   6898911     59.67     65.14
2050.29/520.78	c Finding binary XORs  T:     0.03 s  found:       6
2060.28/523.24	c  N dy  2759    639992     11654    101391    161647     41006    890407   1969005     59.93     70.89
2115.01/536.96	c  N dy  2880    660324     11654    101391    161787     61012    890407   7825709     60.22     63.44
2172.14/551.29	c  N dy  3010    680334     11654    101391    161893     80722    890407  13522695     60.76     95.45
2178.53/552.89	c Finding binary XORs  T:     0.03 s  found:       2
2228.89/565.45	c  N dy  3130    700397     11652    101388    165278     62310    890361   7935238     61.16    159.16
2289.19/580.51	c  N dy  3228    721064     11648    101388    165387     82627    890361  13138866     61.29     64.97
2342.33/593.82	c  N dy  3330    741144     11647    101388    170482     62970    890361   6951098     61.42     94.40
2345.53/594.61	c Finding binary XORs  T:     0.03 s  found:       6
2393.47/606.63	c  N dy  3414    761292     11646    101379    169964     82232    890169  11518329     61.43     64.79
2421.84/613.75	c Finding binary XORs  T:     0.03 s  found:       0
2450.19/620.85	c  N dy  3509    781847     11642    101374    171715     62272    890120   6605149     61.40     66.80
2501.35/633.63	c  N dy  3599    802263     11631    101374    171933     82288    890120  11468089     61.44     65.72
2510.91/636.09	c  S st  3626    805999     11630    101374    171938     85983    890120  12505388     61.54     73.47
2513.31/636.61	c  S st  3626    806502     11630    101374    171939     86484    890120  12589290     61.54   no data
2513.31/636.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2523.32/639.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   16 Bins:   4196 BRemL:   3214 BRemN:     30 P: 35.3M T:  2.48
2525.29/639.62	c Replacing       30 vars Replaced    34875 lits Time:     0.49 s 
2525.29/639.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2525.29/639.69	c bin-w-bin subsume rem          997 bins  time:  0.02 s
2526.50/639.94	c subs with bin:       56  lits-rem:        43  v-fix:    0  time:  0.25 s
2526.90/640.01	c Subs w/ non-existent bins:    167 l-rem:      6 v-fix:     0 done:  11600 time:  0.07 s
2526.90/640.04	c Removed useless bin:      73  fixed:     0  props:   1.34M  time:  0.02 s
2527.72/640.25	c lits-rem:         0  cl-subs:      855  v-elim:    184  v-fix:    0  time:  0.21 s
2540.90/643.57	c subs with bin:      240  lits-rem:      4176  v-fix:    0  time:  2.91 s
2582.02/653.84	c lits-rem:     35236  cl-subs:     2906  v-elim:      0  v-fix:    0  time: 10.22 s
2582.42/653.91	c vivif2 --  cl tried    99905 cl shrink      375 lits rem        375 time: 0.07
2585.21/654.66	c vivif2 --  cl tried    69946 cl shrink    28633 lits rem    1446820 time: 0.75
2588.42/655.48	c asymm  cl-useful: 50/2117/99904 lits-rem:105 time: 0.82
2588.42/655.50	c calculated reachability. Time: 0.01
2588.42/655.50	c  N dy  3626    806502     11416     99904    166036     69717    928977   7343226     61.54   no data
2588.83/655.54	c Finding binary XORs  T:     0.03 s  found:       0
2643.54/669.21	c  N dy  3709    826503     11413     99904    166458     58723    928977   5243940     61.44     89.97
2700.27/683.45	c  N dy  3796    847078     11412     99904    166570     78938    928977  10985990     61.50     65.09
2751.43/696.21	c  N dy  3899    867187     11410     99904    166656     56772    928977   5000277     61.70     73.98
2800.17/708.45	c  N dy  3990    887373     11409     99904    166750     76610    928977   9854900     61.68     65.78
2854.09/721.93	c  N dy  4076    908229     11409     99904    166888     54167    928977   4144810     61.62     66.43
2899.63/733.38	c  N dy  4161    928261     11407     99904    166975     73802    928977   8788314     61.61     92.06
2957.17/747.79	c  N dy  4250    950288     11404     99904    167068     95412    928977  14099432     61.55     65.86
3002.33/759.08	c  N dy  4339    970459     11402     99904    167191     71228    928977   7034257     61.58     65.48
3029.47/765.86	c Finding binary XORs  T:     0.03 s  found:      14
3052.65/771.66	c  N dy  4424    990915     11401     99882    165997     90614    928093  11688399     61.52     69.98
3105.78/784.92	c  N dy  4524   1011992     11400     99882    166099     66694    928093   5504821     61.64     69.86
3165.30/799.87	c  N dy  4633   1032322     11400     99882    166168     86684    928093  10953139     61.83     65.29
3220.83/813.73	c  N dy  4738   1052355     11397     99882    166258     60510    928093   3618411     61.93     65.60
3267.56/825.41	c  F st  4827   1071876     11396     99882    166331     79819    928093   8856495     61.96     39.81
3268.36/825.64	c Replacing       14 vars Replaced    15026 lits Time:     0.18 s 
3270.38/826.19	c  N st  4829   1072512     11382     99867    166003     80097    927942   9025645     61.96   no data
3326.29/840.14	c  N dy  4897   1092517     11380     99867    166162     99881    927942  14304333     62.02     65.47
3378.62/853.27	c  N dy  5017   1112521     11380     99867    166242     72116    927942   6209810     62.24     92.26
3426.17/865.13	c  N dy  5109   1133289     11378     99867    166329     92489    927942  10210806     62.24     65.95
3486.88/880.39	c  N dy  5224   1153467     11377     99867    166432     64719    927942   4060814     62.39     73.48
3542.02/894.15	c  N dy  5305   1176952     11376     99867    166493     87705    927942   9290858     62.21     66.12
3597.55/908.02	c  N dy  5395   1197032     11376     99867    166565    107460    927942  14567463     62.26     84.97
3629.92/916.12	c  S st  5452   1209753     11376     99867    166614     71199    927942   4918122     62.26   no data
3631.51/916.58	c  S st  5452   1210258     11376     99867    166615     71703    927942   4984199     62.26   no data
3631.91/916.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3643.51/919.51	c Flit:     7 Blit:      2 bXBeca:    0 bXProp:    7 Bins:   4993 BRemL:   1306 BRemN:     41 P: 36.3M T:  2.89
3643.51/919.59	c Replacing        7 vars Replaced      732 lits Time:     0.07 s 
3643.91/919.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3643.91/919.66	c bin-w-bin subsume rem          810 bins  time:  0.02 s
3645.09/919.91	c subs with bin:       93  lits-rem:        51  v-fix:    0  time:  0.25 s
3645.09/919.99	c Subs w/ non-existent bins:    263 l-rem:    111 v-fix:     0 done:  11360 time:  0.08 s
3645.49/920.01	c Removed useless bin:      75  fixed:     0  props:   1.27M  time:  0.02 s
3645.89/920.16	c lits-rem:         0  cl-subs:      301  v-elim:     85  v-fix:    0  time:  0.15 s
3653.88/922.18	c subs with bin:      181  lits-rem:      5775  v-fix:    0  time:  1.85 s
3670.28/926.26	c lits-rem:     15864  cl-subs:     2375  v-elim:      0  v-fix:    0  time:  4.05 s
3670.66/926.33	c vivif2 --  cl tried    99090 cl shrink      112 lits rem        112 time: 0.07
3672.25/926.71	c vivif2 --  cl tried    66637 cl shrink    15350 lits rem     483790 time: 0.37
3674.68/927.31	c asymm  cl-useful: 122/4644/99090 lits-rem:374 time: 0.60
3674.68/927.33	c calculated reachability. Time: 0.01
3674.68/927.33	c  N dy  5452   1210258     11275     99063    166360     66399    941466   3894657     62.26   no data
3674.68/927.37	c Finding binary XORs  T:     0.04 s  found:       0
3740.60/943.88	c Finding binary XORs  T:     0.03 s  found:       2
3742.58/944.30	c  N dy  5505   1230455     11271     99058    168435     85847    941377   8080352     62.05     65.92
3802.51/959.38	c  N dy  5555   1251082     11266     99058    168559    105921    941377  12210445     61.77     65.26
3858.84/973.49	c  N dy  5634   1271358     11261     99058    168671     75479    941377   6216921     61.66     66.20
3918.36/988.32	c  N dy  5739   1291405     11258     99058    170598     95167    941377  11164085     61.69    101.30
3919.96/988.76	c Finding binary XORs  T:     0.03 s  found:      12
3982.30/1004.32	c  N dy  5819   1312485     11255     99038    168915     64488    940771   3265862     61.61     65.80
4038.21/1018.34	c  N dy  5902   1332582     11254     99038    169032     84257    940771   8711168     61.55     92.70
4100.55/1033.94	c  N dy  5995   1352603     11251     99038    169181    103883    940771  13651578     61.53    142.25
4168.44/1050.95	c  N dy  6075   1372699     11250     99038    169322     71940    940771   4910201     61.46     68.20
4233.16/1067.15	c  N dy  6178   1394161     11247     99038    169452     93117    940771  10902614     61.49     66.11
4299.08/1083.66	c  N dy  6307   1414301     11245     99038    169606    112845    940771  15903995     61.63     64.96
4358.22/1098.43	c  N dy  6396   1434494     11244     99038    169707     79932    940771   6326483     61.60     65.73
4404.95/1110.14	c  N dy  6470   1454578     11239     99038    169833     99491    940771   9813463     61.57    117.01
4469.27/1126.24	c  N dy  6571   1474830     11234     99038    169943    119379    940771  14818993     61.57     65.70
4487.27/1130.74	c Finding binary XORs  T:     0.03 s  found:      33
4521.61/1139.38	c  N dy  6649   1494853     11228     98950    159693     83946    936195   6739731     61.51     81.26
4579.13/1153.72	c  N dy  6731   1515223     11227     98950    159815    103948    936195  11560038     61.46     68.10
4637.46/1168.31	c  N dy  6844   1535224     11222     98950    159933    123578    936195  15865125     61.49     65.73
4692.59/1182.10	c  N dy  6937   1555282     11221     98950    160006     89103    936195   8083999     61.52     72.48
4752.92/1197.23	c  N dy  7054   1575328     11220     98950    160115    108751    936195  12955010     61.62     71.23

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

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-3281928-1304028698/watcher-3281928-1304028698 -o /tmp/evaluation-result-3281928-1304028698/solver-3281928-1304028698 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3281928-1304028698.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: 0.00 0.00 0.00 3/174 24722
/proc/meminfo: memFree=14280112/32951124 swapFree=67111528/67111528
[pid=24722] ppid=24720 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/24722/stat : 24722 (strangenight2-m) R 24720 24722 24690 0 -1 4202496 408 0 0 0 0 0 0 0 21 0 4 0 495285317 52441088 347 33554432000 4194304 4627427 140737350524992 18446744073709551615 228095507441 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24722/statm: 12803 347 299 106 0 7774 0
[pid=24722/tid=24723] ppid=24720 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/24722/task/24723/stat : 24723 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 495285317 52441088 347 33554432000 4194304 4627427 140737350524992 18446744073709551615 47663774197682 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24722/tid=24724] ppid=24720 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/24722/task/24724/stat : 24724 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 495285317 52441088 347 33554432000 4194304 4627427 140737350524992 18446744073709551615 47663774197682 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24722/tid=24725] ppid=24720 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/24722/task/24725/stat : 24725 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 495285317 52441088 347 33554432000 4194304 4627427 140737350524992 18446744073709551615 228095507441 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.00798395 s]
/proc/loadavg: 0.00 0.00 0.00 3/174 24722
/proc/meminfo: memFree=14280112/32951124 swapFree=67111528/67111528
[pid=24722] ppid=24720 vsize=257132 CPUtime=0 cores=0,2,4,6
/proc/24722/stat : 24722 (strangenight2-m) D 24720 24722 24690 0 -1 4202496 1733 0 0 0 0 0 0 0 18 0 4 0 495285317 263303168 1640 33554432000 4194304 4627427 140737350524992 18446744073709551615 228095113574 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24722/statm: 70540 1813 338 106 0 65511 0
[pid=24722/tid=24723] ppid=24720 vsize=282580 CPUtime=0 cores=0,2,4,6
/proc/24722/task/24723/stat : 24723 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 412 0 0 0 0 0 0 0 18 0 4 0 495285317 289361920 2020 33554432000 4194304 4627427 140737350524992 18446744073709551615 228095494327 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24722/tid=24724] ppid=24720 vsize=282580 CPUtime=0 cores=0,2,4,6
/proc/24722/task/24724/stat : 24724 (strangenight2-m) D 24720 24722 24690 0 -1 4202560 433 0 0 0 0 0 0 0 18 0 4 0 495285317 289361920 2032 33554432000 4194304 4627427 140737350524992 18446744073709551615 228095111877 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24722/tid=24725] ppid=24720 vsize=282712 CPUtime=0 cores=0,2,4,6
/proc/24722/task/24725/stat : 24725 (strangenight2-m) D 24720 24722 24690 0 -1 4202560 437 0 0 0 0 0 0 0 24 0 4 0 495285317 289497088 2051 33554432000 4194304 4627427 140737350524992 18446744073709551615 228095494327 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 257132

[startup+0.108723 s]
/proc/loadavg: 0.00 0.00 0.00 3/174 24722
/proc/meminfo: memFree=14280112/32951124 swapFree=67111528/67111528
[pid=24722] ppid=24720 vsize=351588 CPUtime=0.35 cores=0,2,4,6
/proc/24722/stat : 24722 (strangenight2-m) R 24720 24722 24690 0 -1 4202496 38022 0 0 0 26 9 0 0 18 0 4 0 495285317 360026112 29366 33554432000 4194304 4627427 140737350524992 18446744073709551615 228095508906 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24722/statm: 88167 29369 339 106 0 83138 0
[pid=24722/tid=24723] ppid=24720 vsize=352668 CPUtime=0.08 cores=0,2,4,6
/proc/24722/task/24723/stat : 24723 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 9348 0 0 0 7 1 0 0 18 0 4 0 495285317 361132032 29369 33554432000 4194304 4627427 140737350524992 18446744073709551615 4504713 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24722/tid=24724] ppid=24720 vsize=352668 CPUtime=0.07 cores=0,2,4,6
/proc/24722/task/24724/stat : 24724 (strangenight2-m) D 24720 24722 24690 0 -1 4202560 9418 0 0 0 6 1 0 0 18 0 4 0 495285317 361132032 29369 33554432000 4194304 4627427 140737350524992 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24722/tid=24725] ppid=24720 vsize=352668 CPUtime=0.07 cores=0,2,4,6
/proc/24722/task/24725/stat : 24725 (strangenight2-m) D 24720 24722 24690 0 -1 4202560 9417 0 0 0 5 2 0 0 18 0 4 0 495285317 361132032 29369 33554432000 4194304 4627427 140737350524992 18446744073709551615 4313348 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 351588

[startup+0.300662 s]
/proc/loadavg: 0.00 0.00 0.00 3/174 24722
/proc/meminfo: memFree=14280112/32951124 swapFree=67111528/67111528
[pid=24722] ppid=24720 vsize=427852 CPUtime=1.09 cores=0,2,4,6
/proc/24722/stat : 24722 (strangenight2-m) R 24720 24722 24690 0 -1 4202496 80148 0 0 0 91 18 0 0 18 0 4 0 495285317 438120448 62639 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308277 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24722/statm: 106963 62639 364 106 0 101934 0
[pid=24722/tid=24723] ppid=24720 vsize=427852 CPUtime=0.28 cores=0,2,4,6
/proc/24722/task/24723/stat : 24723 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 19769 0 0 0 25 3 0 0 18 0 4 0 495285317 438120448 62639 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24722/tid=24724] ppid=24720 vsize=427852 CPUtime=0.25 cores=0,2,4,6
/proc/24722/task/24724/stat : 24724 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 19778 0 0 0 22 3 0 0 18 0 4 0 495285317 438120448 62639 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308345 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24722/tid=24725] ppid=24720 vsize=427852 CPUtime=0.26 cores=0,2,4,6
/proc/24722/task/24725/stat : 24725 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 20389 0 0 0 21 5 0 0 18 0 4 0 495285317 438120448 62639 33554432000 4194304 4627427 140737350524992 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 427852

[startup+0.700591 s]
/proc/loadavg: 0.00 0.00 0.00 3/174 24722
/proc/meminfo: memFree=14280112/32951124 swapFree=67111528/67111528
[pid=24722] ppid=24720 vsize=429656 CPUtime=2.68 cores=0,2,4,6
/proc/24722/stat : 24722 (strangenight2-m) R 24720 24722 24690 0 -1 4202496 81531 0 0 0 250 18 0 0 18 0 4 0 495285317 439967744 64022 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308411 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24722/statm: 107414 64022 367 106 0 102385 0
[pid=24722/tid=24723] ppid=24720 vsize=429656 CPUtime=0.68 cores=0,2,4,6
/proc/24722/task/24723/stat : 24723 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 20221 0 0 0 65 3 0 0 18 0 4 0 495285317 439967744 64022 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24722/tid=24724] ppid=24720 vsize=429656 CPUtime=0.65 cores=0,2,4,6
/proc/24722/task/24724/stat : 24724 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 20231 0 0 0 62 3 0 0 18 0 4 0 495285317 439967744 64022 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24722/tid=24725] ppid=24720 vsize=429656 CPUtime=0.66 cores=0,2,4,6
/proc/24722/task/24725/stat : 24725 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 20413 0 0 0 61 5 0 0 18 0 4 0 495285317 439967744 64022 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 429656

[startup+1.50044 s]
/proc/loadavg: 0.40 0.08 0.03 12/184 24735
/proc/meminfo: memFree=13623780/32951124 swapFree=67111528/67111528
[pid=24722] ppid=24720 vsize=429656 CPUtime=5.88 cores=0,2,4,6
/proc/24722/stat : 24722 (strangenight2-m) R 24720 24722 24690 0 -1 4202496 81693 0 0 0 570 18 0 0 19 0 4 0 495285317 439967744 64066 33554432000 4194304 4627427 140737350524992 18446744073709551615 4238939 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24722/statm: 107414 64066 367 106 0 102385 0
[pid=24722/tid=24723] ppid=24720 vsize=429656 CPUtime=1.48 cores=0,2,4,6
/proc/24722/task/24723/stat : 24723 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 20221 0 0 0 145 3 0 0 19 0 4 0 495285317 439967744 64066 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308304 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24722/tid=24724] ppid=24720 vsize=429656 CPUtime=1.44 cores=0,2,4,6
/proc/24722/task/24724/stat : 24724 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 20231 0 0 0 141 3 0 0 19 0 4 0 495285317 439967744 64066 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24722/tid=24725] ppid=24720 vsize=429656 CPUtime=1.46 cores=0,2,4,6
/proc/24722/task/24725/stat : 24725 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 20575 0 0 0 141 5 0 0 19 0 4 0 495285317 439967744 64066 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 429656

[startup+3.10115 s]
/proc/loadavg: 0.40 0.08 0.03 9/184 24735
/proc/meminfo: memFree=13612496/32951124 swapFree=67111528/67111528
[pid=24722] ppid=24720 vsize=429656 CPUtime=12.27 cores=0,2,4,6
/proc/24722/stat : 24722 (strangenight2-m) R 24720 24722 24690 0 -1 4202496 81988 0 0 0 1209 18 0 0 24 0 4 0 495285317 439967744 64125 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308335 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24722/statm: 107414 64125 367 106 0 102385 0
[pid=24722/tid=24723] ppid=24720 vsize=429656 CPUtime=3.08 cores=0,2,4,6
/proc/24722/task/24723/stat : 24723 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 20221 0 0 0 305 3 0 0 24 0 4 0 495285317 439967744 64125 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308304 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24722/tid=24724] ppid=24720 vsize=429656 CPUtime=3.04 cores=0,2,4,6
/proc/24722/task/24724/stat : 24724 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 20231 0 0 0 301 3 0 0 24 0 4 0 495285317 439967744 64125 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24722/tid=24725] ppid=24720 vsize=429656 CPUtime=3.05 cores=0,2,4,6
/proc/24722/task/24725/stat : 24725 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 20870 0 0 0 300 5 0 0 24 0 4 0 495285317 439967744 64125 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 429656

[startup+6.30056 s]
/proc/loadavg: 1.01 0.21 0.07 9/184 24735
/proc/meminfo: memFree=13607768/32951124 swapFree=67111528/67111528
[pid=24722] ppid=24720 vsize=429656 CPUtime=25.06 cores=0,2,4,6
/proc/24722/stat : 24722 (strangenight2-m) R 24720 24722 24690 0 -1 4202496 82280 0 0 0 2487 19 0 0 25 0 4 0 495285317 439967744 64299 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308304 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24722/statm: 107414 64299 367 106 0 102385 0
[pid=24722/tid=24723] ppid=24720 vsize=429656 CPUtime=6.28 cores=0,2,4,6
/proc/24722/task/24723/stat : 24723 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 20221 0 0 0 625 3 0 0 25 0 4 0 495285317 439967744 64299 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24722/tid=24724] ppid=24720 vsize=429656 CPUtime=6.22 cores=0,2,4,6
/proc/24722/task/24724/stat : 24724 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 20231 0 0 0 619 3 0 0 25 0 4 0 495285317 439967744 64299 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24722/tid=24725] ppid=24720 vsize=429656 CPUtime=6.26 cores=0,2,4,6
/proc/24722/task/24725/stat : 24725 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 21162 0 0 0 620 6 0 0 25 0 4 0 495285317 439967744 64299 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 429656

[startup+12.7004 s]
/proc/loadavg: 1.57 0.34 0.11 9/184 24736
/proc/meminfo: memFree=13239868/32951124 swapFree=67111528/67111528
[pid=24722] ppid=24720 vsize=983232 CPUtime=50.6 cores=0,2,4,6
/proc/24722/stat : 24722 (strangenight2-m) R 24720 24722 24690 0 -1 4202496 191419 0 0 0 5020 40 0 0 25 0 4 0 495285317 1006829568 155780 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24722/statm: 245808 155780 388 106 0 240779 0
[pid=24722/tid=24723] ppid=24720 vsize=983232 CPUtime=12.67 cores=0,2,4,6
/proc/24722/task/24723/stat : 24723 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 56468 0 0 0 1256 11 0 0 25 0 4 0 495285317 1006829568 155780 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24722/tid=24724] ppid=24720 vsize=983232 CPUtime=12.59 cores=0,2,4,6
/proc/24722/task/24724/stat : 24724 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 54211 0 0 0 1251 8 0 0 25 0 4 0 495285317 1006829568 155780 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24722/tid=24725] ppid=24720 vsize=983232 CPUtime=12.66 cores=0,2,4,6
/proc/24722/task/24725/stat : 24725 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 23693 0 0 0 1260 6 0 0 25 0 4 0 495285317 1006829568 155780 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 983232

[startup+25.5011 s]
/proc/loadavg: 2.61 0.64 0.21 7/184 24736
/proc/meminfo: memFree=12956776/32951124 swapFree=67111528/67111528
[pid=24722] ppid=24720 vsize=1114356 CPUtime=85.32 cores=0,2,4,6
/proc/24722/stat : 24722 (strangenight2-m) R 24720 24722 24690 0 -1 4202496 216600 0 0 0 8488 44 0 0 25 0 4 0 495285317 1141100544 179852 33554432000 4194304 4627427 140737350524992 18446744073709551615 4299605 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24722/statm: 278589 179852 388 106 0 273560 0
[pid=24722/tid=24723] ppid=24720 vsize=1114356 CPUtime=25.07 cores=0,2,4,6
/proc/24722/task/24723/stat : 24723 (strangenight2-m) S 24720 24722 24690 0 -1 4202560 60689 0 0 0 2495 12 0 0 25 0 4 0 495285317 1141100544 179852 33554432000 4194304 4627427 140737350524992 18446744073709551615 47663774196254 0 0 4096 2 18446604453948331264 0 0 -1 0 0 0 0
[pid=24722/tid=24724] ppid=24720 vsize=1114356 CPUtime=18.58 cores=0,2,4,6
/proc/24722/task/24724/stat : 24724 (strangenight2-m) S 24720 24722 24690 0 -1 4202560 54542 0 0 0 1850 8 0 0 25 0 4 0 495285317 1141100544 179852 33554432000 4194304 4627427 140737350524992 18446744073709551615 47663774196254 0 0 4096 2 18446604453948331264 0 0 -1 4 0 0 0
[pid=24722/tid=24725] ppid=24720 vsize=1114356 CPUtime=19.17 cores=0,2,4,6
/proc/24722/task/24725/stat : 24725 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 43425 0 0 0 1908 9 0 0 18 0 4 0 495285317 1141100544 179852 33554432000 4194304 4627427 140737350524992 18446744073709551615 4538330 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 85.32
Current children cumulated vsize (KiB) 1114356

[startup+51.1004 s]
/proc/loadavg: 4.33 1.19 0.41 9/184 24737
/proc/meminfo: memFree=12617740/32951124 swapFree=67111528/67111528
[pid=24722] ppid=24720 vsize=1138540 CPUtime=174.22 cores=0,2,4,6
/proc/24722/stat : 24722 (strangenight2-m) R 24720 24722 24690 0 -1 4202496 246055 0 0 0 17368 54 0 0 25 0 4 0 495285317 1165864960 181381 33554432000 4194304 4627427 140737350524992 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24722/statm: 284635 181381 390 106 0 279606 0
[pid=24722/tid=24723] ppid=24720 vsize=1138540 CPUtime=43.65 cores=0,2,4,6
/proc/24722/task/24723/stat : 24723 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 69543 0 0 0 4351 14 0 0 25 0 4 0 495285317 1165864960 181381 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24722/tid=24724] ppid=24720 vsize=1138540 CPUtime=41.03 cores=0,2,4,6
/proc/24722/task/24724/stat : 24724 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 59869 0 0 0 4093 10 0 0 25 0 4 0 495285317 1165864960 181381 33554432000 4194304 4627427 140737350524992 18446744073709551615 4321477 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24722/tid=24725] ppid=24720 vsize=1138540 CPUtime=44.67 cores=0,2,4,6
/proc/24722/task/24725/stat : 24725 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 47569 0 0 0 4456 11 0 0 25 0 4 0 495285317 1165864960 181381 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 174.22
Current children cumulated vsize (KiB) 1138540

[startup+102.306 s]
/proc/loadavg: 6.47 2.26 0.81 9/184 24738
/proc/meminfo: memFree=11921924/32951124 swapFree=67111528/67111528
[pid=24722] ppid=24720 vsize=1732848 CPUtime=378.78 cores=0,2,4,6
/proc/24722/stat : 24722 (strangenight2-m) R 24720 24722 24690 0 -1 4202496 454059 0 0 0 37772 106 0 0 25 0 4 0 495285317 1774436352 329981 33554432000 4194304 4627427 140737350524992 18446744073709551615 4322484 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24722/statm: 433212 329981 391 106 0 428183 0
[pid=24722/tid=24723] ppid=24720 vsize=1732848 CPUtime=94.86 cores=0,2,4,6
/proc/24722/task/24723/stat : 24723 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 127955 0 0 0 9460 26 0 0 25 0 4 0 495285317 1774436352 329981 33554432000 4194304 4627427 140737350524992 18446744073709551615 4321847 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24722/tid=24724] ppid=24720 vsize=1732848 CPUtime=92.24 cores=0,2,4,6
/proc/24722/task/24724/stat : 24724 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 107415 0 0 0 9204 20 0 0 25 0 4 0 495285317 1774436352 329981 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24722/tid=24725] ppid=24720 vsize=1732848 CPUtime=95.62 cores=0,2,4,6
/proc/24722/task/24725/stat : 24725 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 83163 0 0 0 9537 25 0 0 25 0 4 0 495285317 1774436352 329981 33554432000 4194304 4627427 140737350524992 18446744073709551615 4506897 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 378.78
Current children cumulated vsize (KiB) 1732848

[startup+162.301 s]

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

[pid=24722] ppid=24720 vsize=2605576 CPUtime=2536.1 cores=0,2,4,6
/proc/24722/stat : 24722 (strangenight2-m) R 24720 24722 24690 0 -1 4202496 1549085 0 0 0 253227 383 0 0 25 0 4 0 495285317 2668109824 515830 33554432000 4194304 4627427 140737350524992 18446744073709551615 4424709 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24722/statm: 651394 515830 391 106 0 646365 0
[pid=24722/tid=24723] ppid=24720 vsize=2605576 CPUtime=634.86 cores=0,2,4,6
/proc/24722/task/24723/stat : 24723 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 397815 0 0 0 63390 96 0 0 25 0 4 0 495285317 2668109824 515830 33554432000 4194304 4627427 140737350524992 18446744073709551615 4321741 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24722/tid=24724] ppid=24720 vsize=2605576 CPUtime=632.23 cores=0,2,4,6
/proc/24722/task/24724/stat : 24724 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 357546 0 0 0 63138 85 0 0 25 0 4 0 495285317 2668109824 515830 33554432000 4194304 4627427 140737350524992 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24722/tid=24725] ppid=24720 vsize=2605576 CPUtime=633.02 cores=0,2,4,6
/proc/24722/task/24725/stat : 24725 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 375521 0 0 0 63206 96 0 0 25 0 4 0 495285317 2668109824 515830 33554432000 4194304 4627427 140737350524992 18446744073709551615 4321918 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2536.1
Current children cumulated vsize (KiB) 2605576

[startup+702.301 s]
/proc/loadavg: 8.06 7.31 4.27 9/184 24754
/proc/meminfo: memFree=9741588/32951124 swapFree=67111528/67111528
[pid=24722] ppid=24720 vsize=2745212 CPUtime=2775.78 cores=0,2,4,6
/proc/24722/stat : 24722 (strangenight2-m) R 24720 24722 24690 0 -1 4202496 1644714 0 0 0 277169 409 0 0 25 0 4 0 495285317 2811097088 526364 33554432000 4194304 4627427 140737350524992 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24722/statm: 686303 526364 391 106 0 681274 0
[pid=24722/tid=24723] ppid=24720 vsize=2745212 CPUtime=694.85 cores=0,2,4,6
/proc/24722/task/24723/stat : 24723 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 419793 0 0 0 69382 103 0 0 25 0 4 0 495285317 2811097088 526364 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24722/tid=24724] ppid=24720 vsize=2745212 CPUtime=692.23 cores=0,2,4,6
/proc/24722/task/24724/stat : 24724 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 378780 0 0 0 69132 91 0 0 25 0 4 0 495285317 2811097088 526364 33554432000 4194304 4627427 140737350524992 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24722/tid=24725] ppid=24720 vsize=2745212 CPUtime=692.72 cores=0,2,4,6
/proc/24722/task/24725/stat : 24725 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 393709 0 0 0 69171 101 0 0 25 0 4 0 495285317 2811097088 526364 33554432000 4194304 4627427 140737350524992 18446744073709551615 4309138 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2775.78
Current children cumulated vsize (KiB) 2745212

[startup+762.306 s]
/proc/loadavg: 8.13 7.47 4.51 9/184 24756
/proc/meminfo: memFree=9734872/32951124 swapFree=67111528/67111528
[pid=24722] ppid=24720 vsize=2740340 CPUtime=3015.51 cores=0,2,4,6
/proc/24722/stat : 24722 (strangenight2-m) R 24720 24722 24690 0 -1 4202496 1748547 0 0 0 301118 433 0 0 25 0 4 0 495285317 2806108160 521313 33554432000 4194304 4627427 140737350524992 18446744073709551615 4321761 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24722/statm: 685085 521313 391 106 0 680056 0
[pid=24722/tid=24723] ppid=24720 vsize=2740340 CPUtime=754.86 cores=0,2,4,6
/proc/24722/task/24723/stat : 24723 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 449476 0 0 0 75376 110 0 0 25 0 4 0 495285317 2806108160 521313 33554432000 4194304 4627427 140737350524992 18446744073709551615 4321828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24722/tid=24724] ppid=24720 vsize=2740340 CPUtime=752.23 cores=0,2,4,6
/proc/24722/task/24724/stat : 24724 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 398179 0 0 0 75127 96 0 0 25 0 4 0 495285317 2806108160 521313 33554432000 4194304 4627427 140737350524992 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24722/tid=24725] ppid=24720 vsize=2740340 CPUtime=752.44 cores=0,2,4,6
/proc/24722/task/24725/stat : 24725 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 418678 0 0 0 75137 107 0 0 25 0 4 0 495285317 2806108160 521313 33554432000 4194304 4627427 140737350524992 18446744073709551615 4322251 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3015.51
Current children cumulated vsize (KiB) 2740340

[startup+822.301 s]
/proc/loadavg: 8.34 7.62 4.74 10/185 24760
/proc/meminfo: memFree=9598824/32951124 swapFree=67111528/67111528
[pid=24722] ppid=24720 vsize=2849160 CPUtime=3255.18 cores=0,2,4,6
/proc/24722/stat : 24722 (strangenight2-m) R 24720 24722 24690 0 -1 4202496 1865202 0 0 0 325053 465 0 0 25 0 4 0 495285317 2917539840 544306 33554432000 4194304 4627427 140737350524992 18446744073709551615 4321488 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24722/statm: 712290 544306 391 106 0 707261 0
[pid=24722/tid=24723] ppid=24720 vsize=2849160 CPUtime=814.85 cores=0,2,4,6
/proc/24722/task/24723/stat : 24723 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 476313 0 0 0 81367 118 0 0 25 0 4 0 495285317 2917539840 544306 33554432000 4194304 4627427 140737350524992 18446744073709551615 4324264 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24722/tid=24724] ppid=24720 vsize=2849160 CPUtime=812.23 cores=0,2,4,6
/proc/24722/task/24724/stat : 24724 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 426975 0 0 0 81119 104 0 0 25 0 4 0 495285317 2917539840 544306 33554432000 4194304 4627427 140737350524992 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24722/tid=24725] ppid=24720 vsize=2849160 CPUtime=812.15 cores=0,2,4,6
/proc/24722/task/24725/stat : 24725 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 449529 0 0 0 81099 116 0 0 25 0 4 0 495285317 2917539840 544306 33554432000 4194304 4627427 140737350524992 18446744073709551615 4321603 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3255.18
Current children cumulated vsize (KiB) 2849160

[startup+882.301 s]
/proc/loadavg: 8.18 7.72 4.96 9/184 24762
/proc/meminfo: memFree=9659724/32951124 swapFree=67111528/67111528
[pid=24722] ppid=24720 vsize=2561676 CPUtime=3494.88 cores=0,2,4,6
/proc/24722/stat : 24722 (strangenight2-m) R 24720 24722 24690 0 -1 4202496 1970382 0 0 0 348994 494 0 0 25 0 4 0 495285317 2623156224 523472 33554432000 4194304 4627427 140737350524992 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24722/statm: 640419 523472 391 106 0 635390 0
[pid=24722/tid=24723] ppid=24720 vsize=2561676 CPUtime=874.85 cores=0,2,4,6
/proc/24722/task/24723/stat : 24723 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 506672 0 0 0 87358 127 0 0 25 0 4 0 495285317 2623156224 523472 33554432000 4194304 4627427 140737350524992 18446744073709551615 4321810 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24722/tid=24724] ppid=24720 vsize=2561676 CPUtime=872.23 cores=0,2,4,6
/proc/24722/task/24724/stat : 24724 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 448912 0 0 0 87113 110 0 0 25 0 4 0 495285317 2623156224 523472 33554432000 4194304 4627427 140737350524992 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24722/tid=24725] ppid=24720 vsize=2561676 CPUtime=871.84 cores=0,2,4,6
/proc/24722/task/24725/stat : 24725 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 473022 0 0 0 87062 122 0 0 25 0 4 0 495285317 2623156224 523472 33554432000 4194304 4627427 140737350524992 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3494.88
Current children cumulated vsize (KiB) 2561676

[startup+942.301 s]
/proc/loadavg: 8.14 7.78 5.15 9/184 24763
/proc/meminfo: memFree=9523304/32951124 swapFree=67111528/67111528
[pid=24722] ppid=24720 vsize=2915376 CPUtime=3734.59 cores=0,2,4,6
/proc/24722/stat : 24722 (strangenight2-m) R 24720 24722 24690 0 -1 4202496 2070579 0 0 0 372935 524 0 0 25 0 4 0 495285317 2985345024 557469 33554432000 4194304 4627427 140737350524992 18446744073709551615 4321918 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24722/statm: 728844 557469 391 106 0 723815 0
[pid=24722/tid=24723] ppid=24720 vsize=2915376 CPUtime=934.85 cores=0,2,4,6
/proc/24722/task/24723/stat : 24723 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 543927 0 0 0 93347 138 0 0 25 0 4 0 495285317 2985345024 557469 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24722/tid=24724] ppid=24720 vsize=2915376 CPUtime=932.23 cores=0,2,4,6
/proc/24722/task/24724/stat : 24724 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 464963 0 0 0 93107 116 0 0 25 0 4 0 495285317 2985345024 557469 33554432000 4194304 4627427 140737350524992 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24722/tid=24725] ppid=24720 vsize=2915376 CPUtime=931.56 cores=0,2,4,6
/proc/24722/task/24725/stat : 24725 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 495417 0 0 0 93028 128 0 0 25 0 4 0 495285317 2985345024 557469 33554432000 4194304 4627427 140737350524992 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3734.59
Current children cumulated vsize (KiB) 2915376

[startup+1002.3 s]
/proc/loadavg: 8.12 7.84 5.33 9/184 24765
/proc/meminfo: memFree=9503924/32951124 swapFree=67111528/67111528
[pid=24722] ppid=24720 vsize=2725612 CPUtime=3974.29 cores=0,2,4,6
/proc/24722/stat : 24722 (strangenight2-m) R 24720 24722 24690 0 -1 4202496 2154877 0 0 0 396879 550 0 0 25 0 4 0 495285317 2791026688 555189 33554432000 4194304 4627427 140737350524992 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24722/statm: 681403 555189 391 106 0 676374 0
[pid=24722/tid=24723] ppid=24720 vsize=2725612 CPUtime=994.84 cores=0,2,4,6
/proc/24722/task/24723/stat : 24723 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 569117 0 0 0 99339 145 0 0 25 0 4 0 495285317 2791026688 555189 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24722/tid=24724] ppid=24720 vsize=2725612 CPUtime=992.23 cores=0,2,4,6
/proc/24722/task/24724/stat : 24724 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 491966 0 0 0 99099 124 0 0 25 0 4 0 495285317 2791026688 555189 33554432000 4194304 4627427 140737350524992 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24722/tid=24725] ppid=24720 vsize=2725612 CPUtime=991.27 cores=0,2,4,6
/proc/24722/task/24725/stat : 24725 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 512230 0 0 0 98993 134 0 0 25 0 4 0 495285317 2791026688 555189 33554432000 4194304 4627427 140737350524992 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3974.29
Current children cumulated vsize (KiB) 2725612

[startup+1062.3 s]
/proc/loadavg: 8.11 7.88 5.50 9/184 24767
/proc/meminfo: memFree=9393308/32951124 swapFree=67111528/67111528
[pid=24722] ppid=24720 vsize=2922908 CPUtime=4213.99 cores=0,2,4,6
/proc/24722/stat : 24722 (strangenight2-m) R 24720 24722 24690 0 -1 4202496 2254496 0 0 0 420822 577 0 0 25 0 4 0 495285317 2993057792 568728 33554432000 4194304 4627427 140737350524992 18446744073709551615 4309287 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24722/statm: 730727 568728 391 106 0 725698 0
[pid=24722/tid=24723] ppid=24720 vsize=2922908 CPUtime=1054.85 cores=0,2,4,6
/proc/24722/task/24723/stat : 24723 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 592838 0 0 0 105333 152 0 0 25 0 4 0 495285317 2993057792 568728 33554432000 4194304 4627427 140737350524992 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24722/tid=24724] ppid=24720 vsize=2922908 CPUtime=1052.22 cores=0,2,4,6
/proc/24722/task/24724/stat : 24724 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 511825 0 0 0 105093 129 0 0 25 0 4 0 495285317 2993057792 568728 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24722/tid=24725] ppid=24720 vsize=2922908 CPUtime=1050.99 cores=0,2,4,6
/proc/24722/task/24725/stat : 24725 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 539622 0 0 0 104956 143 0 0 25 0 4 0 495285317 2993057792 568728 33554432000 4194304 4627427 140737350524992 18446744073709551615 4321678 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4213.99
Current children cumulated vsize (KiB) 2922908

[startup+1122.3 s]
/proc/loadavg: 8.10 7.91 5.66 9/184 24768
/proc/meminfo: memFree=9412520/32951124 swapFree=67111528/67111528
[pid=24722] ppid=24720 vsize=2905392 CPUtime=4453.69 cores=0,2,4,6
/proc/24722/stat : 24722 (strangenight2-m) R 24720 24722 24690 0 -1 4202496 2332122 0 0 0 444766 603 0 0 25 0 4 0 495285317 2975121408 565721 33554432000 4194304 4627427 140737350524992 18446744073709551615 4321895 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24722/statm: 726348 565721 391 106 0 721319 0
[pid=24722/tid=24723] ppid=24720 vsize=2905392 CPUtime=1114.85 cores=0,2,4,6
/proc/24722/task/24723/stat : 24723 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 608754 0 0 0 111326 159 0 0 25 0 4 0 495285317 2975121408 565721 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24722/tid=24724] ppid=24720 vsize=2905392 CPUtime=1112.22 cores=0,2,4,6
/proc/24722/task/24724/stat : 24724 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 533476 0 0 0 111087 135 0 0 25 0 4 0 495285317 2975121408 565721 33554432000 4194304 4627427 140737350524992 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24722/tid=24725] ppid=24720 vsize=2905392 CPUtime=1110.7 cores=0,2,4,6
/proc/24722/task/24725/stat : 24725 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 556680 0 0 0 110921 149 0 0 25 0 4 0 495285317 2975121408 565721 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4453.69
Current children cumulated vsize (KiB) 2905392

[startup+1182.3 s]
/proc/loadavg: 8.09 7.94 5.81 9/184 24770
/proc/meminfo: memFree=9317788/32951124 swapFree=67111528/67111528
[pid=24722] ppid=24720 vsize=3056276 CPUtime=4693.4 cores=0,2,4,6
/proc/24722/stat : 24722 (strangenight2-m) R 24720 24722 24690 0 -1 4202496 2439336 0 0 0 468703 637 0 0 25 0 4 0 495285317 3129626624 577613 33554432000 4194304 4627427 140737350524992 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24722/statm: 764069 577613 391 106 0 759040 0
[pid=24722/tid=24723] ppid=24720 vsize=3056276 CPUtime=1174.84 cores=0,2,4,6
/proc/24722/task/24723/stat : 24723 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 637415 0 0 0 117316 168 0 0 25 0 4 0 495285317 3129626624 577613 33554432000 4194304 4627427 140737350524992 18446744073709551615 4321603 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24722/tid=24724] ppid=24720 vsize=3056276 CPUtime=1172.22 cores=0,2,4,6
/proc/24722/task/24724/stat : 24724 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 555981 0 0 0 117078 144 0 0 25 0 4 0 495285317 3129626624 577613 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308912 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24722/tid=24725] ppid=24720 vsize=3056276 CPUtime=1170.41 cores=0,2,4,6
/proc/24722/task/24725/stat : 24725 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 584409 0 0 0 116885 156 0 0 25 0 4 0 495285317 3129626624 577613 33554432000 4194304 4627427 140737350524992 18446744073709551615 4321460 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4693.4
Current children cumulated vsize (KiB) 3056276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1209 s]
/proc/loadavg: 7.74 7.88 5.84 6/178 24792
/proc/meminfo: memFree=11881124/32951124 swapFree=67111528/67111528
[pid=24722] ppid=24720 vsize=2882480 CPUtime=4800.08 cores=0,2,4,6
/proc/24722/stat : 24722 (strangenight2-m) R 24720 24722 24690 0 -1 4202496 2475511 0 0 0 479360 648 0 0 25 0 4 0 495285317 2951659520 572640 33554432000 4194304 4627427 140737350524992 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24722/statm: 720620 572640 391 106 0 715591 0
[pid=24722/tid=24723] ppid=24720 vsize=2882480 CPUtime=1201.55 cores=0,2,4,6
/proc/24722/task/24723/stat : 24723 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 646474 0 0 0 119984 171 0 0 25 0 4 0 495285317 2951659520 572640 33554432000 4194304 4627427 140737350524992 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24722/tid=24724] ppid=24720 vsize=2882480 CPUtime=1198.92 cores=0,2,4,6
/proc/24722/task/24724/stat : 24724 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 568008 0 0 0 119745 147 0 0 25 0 4 0 495285317 2951659520 572640 33554432000 4194304 4627427 140737350524992 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24722/tid=24725] ppid=24720 vsize=2882480 CPUtime=1196.98 cores=0,2,4,6
/proc/24722/task/24725/stat : 24725 (strangenight2-m) R 24720 24722 24690 0 -1 4202560 591340 0 0 0 119540 158 0 0 25 0 4 0 495285317 2951659520 572640 33554432000 4194304 4627427 140737350524992 18446744073709551615 4333195 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 2882480

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): 1209.11
CPU time (s): 4800.2
CPU user time (s): 4793.63
CPU system time (s): 6.578
CPU usage (%): 397.004
Max. virtual memory (cumulated for all children) (KiB): 3056276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.63
system time used= 6.578
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2475514
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= 4817
involuntary context switches= 23232

runsolver used 1.79373 second user time and 4.07538 second system time

The end

Launcher Data 

Begin job on node142 at 2011-04-29 00:11:38
IDJOB=3281928
IDBENCH=70760
IDSOLVER=1586
FILE ID=node142/3281928-1304028698
RUNJOBID= node142-1304028687-24708
PBS_JOBID= 13170310
Free space on /tmp= 71300 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT09/APPLICATIONS/bitverif/minxorminand/minxorminand128.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3281928-1304028698/watcher-3281928-1304028698 -o /tmp/evaluation-result-3281928-1304028698/solver-3281928-1304028698 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3281928-1304028698.cnf

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

MD5SUM BENCH= a551844fb6a7f35cf6025d0a525ca14e
RANDOM SEED=1665901290

node142.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.846
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.69
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.846
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	: 5131.95
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.846
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.82
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.846
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.67
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.846
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.81
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.846
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.846
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.82
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.846
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14280276 kB
Buffers:       2099792 kB
Cached:       15924864 kB
SwapCached:          0 kB
Active:        7830520 kB
Inactive:     10262300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14280276 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           21584 kB
Writeback:           0 kB
AnonPages:       67700 kB
Mapped:          14384 kB
Slab:           514112 kB
PageTables:       4488 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190088 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= 71176 MiB
End job on node142 at 2011-04-29 00:31:50