Trace number 3367178

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 1202.52

General information on the benchmark

Namemanol-pipe-c10nidw.cnf
MD5SUM943fd86d922b13236c21a74c4f82b6d0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark144.2
Satisfiable
(Un)Satisfiability was proved
Number of variables433601
Number of clauses1291714
Sum of the clauses size3013998
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2861142
Number of clauses of size 3430571
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-3367178-1305389485.cnf'
0.00/0.00	c -- header says num vars:         433601
0.00/0.00	c -- header says num clauses:     1291714
4.24/1.20	c -- clauses added:            0 learnts,      1291714 normals,            0 xors
4.24/1.20	c -- vars added     433601
4.24/1.20	c Parsing time:  0.50 s
4.24/1.20	c  N st     0         0    433601    430571    861142         0   3013997         0   no data   no data
5.04/1.48	c asymm  cl-useful: 0/24048/430570 lits-rem:0 time: 0.62
62.94/15.99	c Flit:  1587 Blit:  14472 bXBeca:    0 bXProp: 18653 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 14.51
63.34/16.05	c Cleaning up after failed var search:     0.06 s 
64.13/16.21	c Replacing    18653 vars Replaced   382785 lits Time:     0.14 s 
64.52/16.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
64.93/16.46	c bin-w-bin subsume rem          521 bins  time:  0.07 s
65.71/16.65	c subs with bin:      132  lits-rem:       129  v-fix:    0  time:  0.19 s
68.50/17.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done: 130432 time:  0.66 s
69.31/17.53	c Removed useless bin:      71  fixed:     0  props:  20.00M  time:  0.20 s
74.78/18.91	c lits-rem:        23  cl-subs:      315  v-elim: 132156  v-fix:    0  time:  1.30 s
75.17/19.00	c Finding binary XORs  T:     0.09 s  found:     611
75.17/19.08	c Replacing      611 vars Replaced     8991 lits Time:     0.07 s 
76.38/19.34	c Finding non-binary XORs:     0.18 s (found:    9823, avg size: 3.0)
76.38/19.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     4 time:   0.07
76.38/19.37	c calculated reachability. Time: 0.01
76.78/19.42	c Calc default polars -  time:   0.04 s pos:   94019 undec:  170182 neg:  169400
76.78/19.42	c =========================================================================================
76.78/19.42	c types(t): F = full restart, N = normal restart
76.78/19.42	c types(t): S = simplification begin/end, E = solution found
76.78/19.42	c restart types(rt): st = static, dy = dynamic
76.78/19.42	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
76.78/19.42	c  B st     0         0    263701    315000    545231         0   2225667         0   no data   no data
94.74/23.97	c  N dy    18      4028    263536    315000    545303      3585   2225667     57295      7.81      8.46
114.29/28.87	c  N dy    40      8768    262645    315000    546260      7608   2225665    118144      7.68      8.26
129.87/32.75	c  N dy    67     12792    262638    315000    546313     10992   2225665    180162      8.18      8.63
143.86/36.24	c  N dy    85     16837    262637    315000    546342     14422   2225663    232791      8.08      8.66
157.45/39.63	c  N dy   104     20960    262614    315000    548174      9378   2225663     76603      8.09      8.54
172.60/43.43	c  F st   129     25001    262498    315000    548460     12884   2225661    129247      8.08   no data
173.00/43.54	c Replacing       42 vars Replaced      684 lits Time:     0.07 s 
304.36/76.47	c  N st   129     25001    262455    311376    545042     12823   2204997    128374      8.08   no data
322.32/80.97	c  N dy   135     30001    262452    311376    545062     17277   2204996    234684      8.08   no data
322.32/80.97	c  S st   135     30001    262452    311376    545062     17277   2204996    234684      8.08   no data
325.91/81.81	c  S st   135     30504    262446    311376    545300     17715   2204994    240090      8.08   no data
325.91/81.88	c x-sub:     2 x-cut:      0 vfix:      0 v-elim:     56 locsubst:     0 time:   0.07
385.83/96.89	c Flit:   123 Blit:    204 bXBeca:    0 bXProp: 4781 Bins:  55254 BRemL:   6665 BRemN:    103 P: 178.6M T: 15.00
386.20/96.90	c Cleaning up after failed var search:     0.00 s 
386.60/97.05	c Replacing     4781 vars Replaced   140866 lits Time:     0.14 s 
386.99/97.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
387.39/97.21	c bin-w-bin subsume rem         9754 bins  time:  0.05 s
387.79/97.35	c subs with bin:      887  lits-rem:      1125  v-fix:    0  time:  0.14 s
389.81/97.87	c Subs w/ non-existent bins:     51 l-rem:    181 v-fix:     0 done: 155522 time:  0.52 s
390.99/98.10	c Removed useless bin:      40  fixed:     0  props:  20.00M  time:  0.23 s
397.38/99.77	c lits-rem:       276  cl-subs:     1329  v-elim: 170758  v-fix:    0  time:  1.59 s
397.77/99.84	c subs with bin:      270  lits-rem:      1045  v-fix:    0  time:  0.04 s
398.17/100.00	c lits-rem:       810  cl-subs:      956  v-elim:      0  v-fix:    0  time:  0.10 s
400.17/100.48	c asymm  cl-useful: 552/17913/365088 lits-rem:883 time: 0.47
400.56/100.50	c calculated reachability. Time: 0.00
400.56/100.51	c  N dy   135     30504     85381    365077    101388     11518   1706567    135979      8.08   no data
400.56/100.55	c Finding binary XORs  T:     0.04 s  found:     206
407.77/102.34	c  N dy   161     34589     85381    365077    101424     14904   1706567    197494      8.27      8.79
415.73/104.37	c  N dy   191     38594     85379    365077    101508     18231   1706567    262780      8.46      8.93
422.51/106.07	c  N dy   209     42749     85378    365077    101521     11045   1706567     74326      8.41      8.89
427.30/107.24	c  S st   229     45757     85378    365077    105379     13446   1706567    123029      8.43      8.60
428.50/107.51	c  S st   229     46257     85378    365077    105398     13915   1706566    129355      8.43   no data
428.50/107.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    111 locsubst:     0 time:   0.06
438.09/109.97	c Flit:    39 Blit:     15 bXBeca:    0 bXProp:  889 Bins: 133596 BRemL:  76434 BRemN:    403 P: 26.6M T:  2.37
438.51/110.08	c Replacing     1095 vars Replaced    55038 lits Time:     0.10 s 
438.87/110.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
439.27/110.21	c bin-w-bin subsume rem        11070 bins  time:  0.03 s
439.27/110.29	c subs with bin:     1446  lits-rem:      1515  v-fix:    0  time:  0.08 s
439.68/110.40	c Subs w/ non-existent bins:    365 l-rem:   2757 v-fix:     0 done:  84069 time:  0.10 s
440.07/110.47	c Removed useless bin:     204  fixed:     0  props:   2.40M  time:  0.07 s
442.07/110.94	c lits-rem:       344  cl-subs:     1074  v-elim:   9274  v-fix:    0  time:  0.47 s
442.48/111.02	c subs with bin:       89  lits-rem:       266  v-fix:    0  time:  0.04 s
442.89/111.17	c lits-rem:       466  cl-subs:      366  v-elim:      0  v-fix:    0  time:  0.10 s
444.85/111.62	c asymm  cl-useful: 299/15172/362665 lits-rem:343 time: 0.44
444.85/111.65	c calculated reachability. Time: 0.00
444.85/111.65	c  N dy   229     46257     74795    362662     93119     12706   1722242    144929      8.43   no data
444.85/111.69	c Finding binary XORs  T:     0.04 s  found:       0
451.25/113.29	c  N dy   247     50534     74774    362662     99410     16212   1722242    210382      8.38      8.83
457.63/114.85	c  N dy   266     54561     74774    362662     99412     19570   1722242    263737      8.38      9.32
459.62/115.39	c Finding binary XORs  T:     0.04 s  found:     149
464.03/116.43	c  N dy   283     58827     74746    361442    128422     23076   1715739    371341      8.31      8.84
471.21/118.25	c  N dy   302     63025     74746    361442    139271     26621   1715739    447804      8.28      8.72
474.79/119.15	c Finding binary XORs  T:     0.04 s  found:       3
477.20/119.78	c  N dy   315     67088     74746    361442    139274     16062   1715739    234687      8.22      8.77
480.79/120.63	c  S st   325     69386     74746    361442    139365     17955   1715737    262544      8.21   no data
481.99/120.95	c  S st   325     69887     74746    361442    139379     18425   1715737    268305      8.21   no data
482.41/121.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    114 locsubst:     0 time:   0.06
488.37/122.56	c Flit:    10 Blit:      4 bXBeca:    0 bXProp:  104 Bins:  14387 BRemL:  48846 BRemN:     66 P: 20.3M T:  1.54
488.77/122.66	c Replacing      256 vars Replaced    12194 lits Time:     0.09 s 
489.17/122.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
489.57/122.80	c bin-w-bin subsume rem        11017 bins  time:  0.03 s
489.57/122.88	c subs with bin:      726  lits-rem:      1882  v-fix:    0  time:  0.08 s
489.97/122.97	c Subs w/ non-existent bins:    571 l-rem:   1233 v-fix:     0 done:  74340 time:  0.09 s
490.36/123.04	c Removed useless bin:      90  fixed:     0  props:   1.55M  time:  0.06 s
491.56/123.35	c lits-rem:        44  cl-subs:      938  v-elim:    685  v-fix:    0  time:  0.30 s
491.96/123.42	c subs with bin:       56  lits-rem:       339  v-fix:    0  time:  0.04 s
492.36/123.59	c lits-rem:       466  cl-subs:      644  v-elim:      0  v-fix:    0  time:  0.11 s
494.36/124.07	c asymm  cl-useful: 155/91787/356629 lits-rem:224 time: 0.47
494.76/124.10	c calculated reachability. Time: 0.00
494.76/124.10	c  N dy   325     69887     73655    356606     90327     17696   1693236    164967      8.21   no data
498.35/125.02	c Finding binary XORs  T:     0.04 s  found:       0
500.74/125.68	c  N dy   342     74421     73655    356606     90327     21439   1693236    216703      8.16      9.12
507.13/127.20	c  N dy   366     79240     73651    356606     96078     25515   1693236    293444      8.17     10.10
515.12/129.27	c  N dy   395     84385     73651    356606     99926     29827   1693236    368455      8.17      8.96
515.52/129.34	c Finding binary XORs  T:     0.04 s  found:       9
519.91/130.48	c  F st   413     87501     73651    356564     99967     32343   1692849    403947      8.15      6.20
520.31/130.53	c Replacing        9 vars Replaced      857 lits Time:     0.06 s 
525.50/131.83	c  N st   418     90795     73642    356563     99949     18655   1692828    190797      8.15   no data
537.88/134.96	c  N dy   444     98134     73636    356563    103277     25031   1692828    305398      8.14      8.81
547.87/137.50	c  N dy   479    104795     73634    356563    103347     30741   1692828    400374      8.15      8.61
548.29/137.52	c  S st   480    104831     73634    356563    103348     30769   1692828    400567      8.15   no data
549.45/137.82	c  S st   480    105333     73634    356563    103357     31246   1692828    407532      8.15   no data
549.45/137.88	c x-sub:     2 x-cut:      0 vfix:      0 v-elim:     35 locsubst:     0 time:   0.06
556.25/139.54	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:   70 Bins:  19863 BRemL:  21492 BRemN:     57 P: 24.4M T:  1.65
556.66/139.65	c Replacing       70 vars Replaced     8901 lits Time:     0.09 s 
557.07/139.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
557.07/139.79	c bin-w-bin subsume rem         3862 bins  time:  0.02 s
557.44/139.86	c subs with bin:      278  lits-rem:       748  v-fix:    0  time:  0.08 s
557.84/139.95	c Subs w/ non-existent bins:    196 l-rem:    446 v-fix:     0 done:  73527 time:  0.09 s
558.23/140.01	c Removed useless bin:      43  fixed:     0  props:   1.57M  time:  0.06 s
559.03/140.27	c lits-rem:        67  cl-subs:      638  v-elim:    217  v-fix:    0  time:  0.26 s
559.44/140.38	c subs with bin:       63  lits-rem:       880  v-fix:    0  time:  0.06 s
560.64/140.60	c lits-rem:      1380  cl-subs:     1311  v-elim:      0  v-fix:    0  time:  0.16 s
562.63/141.12	c asymm  cl-useful: 318/34386/355041 lits-rem:942 time: 0.50
562.63/141.15	c calculated reachability. Time: 0.00
562.63/141.15	c  N dy   480    105333     73310    354729     93570     29800   1682941    366698      8.15   no data
562.63/141.19	c Finding binary XORs  T:     0.04 s  found:       2
573.41/143.81	c  N dy   512    112080     73309    354729     96761     35601   1682941    464530      8.14      8.63
581.80/145.92	c Finding binary XORs  T:     0.04 s  found:       7
584.98/146.78	c  N dy   546    119278     73307    354705    110289     24933   1682687    252110      8.11      8.60
598.56/150.19	c  N dy   587    128124     73298    354705    117474     32574   1682687    385008      8.10      8.72
603.75/151.49	c Finding binary XORs  T:     0.04 s  found:      12
610.94/153.26	c  N dy   615    136409     73298    354524    119644     39572   1681654    489471      8.05      8.49
623.31/156.32	c  N dy   650    145178     73289    354524    119659     30101   1681654    303458      8.01      8.54
636.88/159.77	c  N dy   698    154492     73286    354524    119784     38360   1681654    447749      8.02      8.59
640.50/160.69	c  S st   710    157999     73286    354524    119786     41542   1681654    508475      8.01   no data
641.67/160.98	c  S st   710    158500     73286    354524    119789     42031   1681654    514536      8.01   no data
642.07/161.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     22 locsubst:   168 time:   0.06
648.47/162.62	c Flit:     7 Blit:     15 bXBeca:    0 bXProp:   46 Bins:   5329 BRemL:  20405 BRemN:     94 P: 24.0M T:  1.57
648.88/162.73	c Replacing      122 vars Replaced     8377 lits Time:     0.10 s 
649.29/162.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
649.29/162.87	c bin-w-bin subsume rem         6352 bins  time:  0.03 s
649.66/162.95	c subs with bin:      388  lits-rem:       373  v-fix:    0  time:  0.08 s
650.06/163.03	c Subs w/ non-existent bins:     30 l-rem:    212 v-fix:     0 done:  73110 time:  0.09 s
650.06/163.09	c Removed useless bin:      14  fixed:     0  props:   1.47M  time:  0.06 s
651.26/163.37	c lits-rem:        20  cl-subs:      264  v-elim:    457  v-fix:    0  time:  0.27 s
651.66/163.48	c subs with bin:      128  lits-rem:      1543  v-fix:    0  time:  0.07 s
652.85/163.73	c lits-rem:      2177  cl-subs:     1876  v-elim:      0  v-fix:    0  time:  0.19 s
654.85/164.27	c asymm  cl-useful: 25/30386/352425 lits-rem:75 time: 0.53
655.25/164.30	c calculated reachability. Time: 0.01
655.25/164.30	c  N dy   710    158500     72653    352400     96493     39866   1672099    439895      8.01   no data
655.25/164.34	c Finding binary XORs  T:     0.04 s  found:       0
672.42/168.60	c  N dy   756    168705     72648    352400     98589     30063   1672098    222263      7.99      9.44
690.39/173.18	c  N dy   816    179494     72645    352400     99506     39528   1672098    384642      8.01      8.48
699.57/175.43	c Finding binary XORs  T:     0.04 s  found:       1
711.15/178.35	c  N dy   873    191238     72645    352300     99232     49754   1671172    544899      8.01      8.72
733.90/184.00	c  N dy   939    203466     72645    352300     99273     41244   1671172    353093      8.01      8.52
735.50/184.43	c Finding binary XORs  T:     0.04 s  found:      12
756.67/189.72	c  N dy  1008    216522     72629    352106    106407     52679   1669349    547877      8.00     11.68
777.03/194.84	c Finding binary XORs  T:     0.04 s  found:      10
781.42/195.98	c  N dy  1088    230661     72628    352081    114835     45379   1669151    404059      8.01      8.54
793.81/199.06	c  S st  1130    237751     72628    352081    114947     51700   1669151    519046      8.03   no data
795.40/199.40	c  S st  1130    238255     72628    352081    114954     52164   1669151    526253      8.03   no data
795.40/199.46	c x-sub:    56 x-cut:      0 vfix:      0 v-elim:     13 locsubst:   134 time:   0.06
801.78/201.09	c Flit:     2 Blit:      2 bXBeca:    0 bXProp:    3 Bins:   2156 BRemL:  13272 BRemN:     72 P: 25.2M T:  1.62
802.59/201.20	c Replacing       72 vars Replaced     4513 lits Time:     0.10 s 
803.00/201.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
803.00/201.34	c bin-w-bin subsume rem         1601 bins  time:  0.02 s
803.37/201.42	c subs with bin:      119  lits-rem:       261  v-fix:    0  time:  0.08 s
803.77/201.51	c Subs w/ non-existent bins:     16 l-rem:    138 v-fix:     0 done:  72539 time:  0.09 s
803.77/201.57	c Removed useless bin:      15  fixed:     0  props:   1.49M  time:  0.06 s
804.97/201.85	c lits-rem:         7  cl-subs:      238  v-elim:    197  v-fix:    0  time:  0.28 s
805.37/201.97	c subs with bin:      168  lits-rem:       932  v-fix:    0  time:  0.07 s
806.57/202.22	c lits-rem:      1470  cl-subs:     1986  v-elim:      0  v-fix:    0  time:  0.18 s
808.57/202.74	c asymm  cl-useful: 2/20395/351186 lits-rem:6 time: 0.50
808.57/202.77	c calculated reachability. Time: 0.00
808.57/202.77	c  N dy  1130    238255     72342    351184    101195     49822   1665163    471030      8.03   no data
834.11/209.17	c Finding binary XORs  T:     0.04 s  found:       2
839.30/210.44	c  N dy  1229    253465     72318    351184    106489     41398   1665163    278676      8.09      9.28
864.07/216.67	c Finding binary XORs  T:     0.04 s  found:     113
872.44/218.71	c  N dy  1329    269675     72310    350544    106294     55715   1661843    529887      8.12      8.61
905.19/226.93	c  N dy  1431    286995     72306    350544    106347     48836   1661843    357714      8.14      8.61
944.71/236.84	c  N dy  1554    306033     72306    350544    106415     65532   1661842    651229      8.17      8.62
945.11/236.97	c  F st  1557    306251     72306    350544    106415     65715   1661842    654911      8.17   no data
945.51/237.07	c Replacing      115 vars Replaced     2603 lits Time:     0.06 s 
986.24/247.22	c  N dy  1647    326176     72191    350213    105988     60883   1660019    507149      8.19      8.66
1029.76/258.13	c  N dy  1771    346519     72191    350213    106031     55652   1660019    351624      8.22      8.78
1049.32/263.09	c  S st  1829    357383     72191    350213    106055     65373   1660019    516521      8.22   no data
1050.91/263.41	c  S st  1829    357885     72191    350213    106060     65863   1660019    524321      8.22   no data
1050.91/263.48	c x-sub:    48 x-cut:      0 vfix:      0 v-elim:     14 locsubst:    74 time:   0.06
1058.50/265.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   21 Bins:   8242 BRemL:   8405 BRemN:     38 P: 29.1M T:  1.87
1058.90/265.44	c Replacing       51 vars Replaced     5712 lits Time:     0.06 s 
1059.30/265.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1059.30/265.58	c bin-w-bin subsume rem         2484 bins  time:  0.03 s
1059.70/265.66	c subs with bin:      131  lits-rem:       429  v-fix:    0  time:  0.08 s
1060.10/265.75	c Subs w/ non-existent bins:     31 l-rem:     59 v-fix:     0 done:  72126 time:  0.09 s
1060.50/265.81	c Removed useless bin:      16  fixed:     0  props:   1.53M  time:  0.06 s
1061.71/266.11	c lits-rem:        15  cl-subs:      254  v-elim:    144  v-fix:    0  time:  0.28 s
1062.13/266.23	c subs with bin:      251  lits-rem:      1630  v-fix:    0  time:  0.07 s
1063.30/266.50	c lits-rem:      1714  cl-subs:     2428  v-elim:      0  v-fix:    0  time:  0.20 s
1065.29/267.02	c asymm  cl-useful: 2/23254/349507 lits-rem:6 time: 0.52
1065.29/267.05	c calculated reachability. Time: 0.00
1065.29/267.06	c  N dy  1829    357885     71982    349505    103161     62370   1656690    486274      8.22   no data
1065.69/267.10	c Finding binary XORs  T:     0.04 s  found:       0
1091.64/273.60	c Finding binary XORs  T:     0.04 s  found:       0
1107.61/277.65	c  N dy  1958    378003     71982    349505    108229     80309   1656690    837350      8.26      8.70
1152.72/288.90	c  N dy  2104    398018     71982    349505    108276     72277   1656690    639669      8.34      8.98
1167.10/292.58	c Finding binary XORs  T:     0.04 s  found:     160
1196.24/299.81	c Finding binary XORs  T:     0.04 s  found:      23
1198.63/300.49	c  N dy  2240    418083     71951    348573    118606     64465   1651779    444887      8.38      8.90
1234.97/309.58	c Finding binary XORs  T:     0.04 s  found:      22
1240.56/310.92	c  N dy  2369    438138     71941    348338    123443     82459   1650436    794960      8.41      9.33
1283.68/321.78	c  N dy  2509    458233     71939    348338    123850     74005   1650436    580020      8.47     11.44
1330.03/333.32	c  N dy  2644    478428     71938    348338    123932     92016   1650436    923920      8.50      8.95
1371.12/343.68	c  N dy  2751    498452     71936    348338    123983     82545   1650436    647704      8.51     10.00
1415.44/354.79	c  N dy  2881    518490     71936    348338    124005    100469   1650435   1002618      8.54     11.05
1454.16/364.49	c  S st  2974    536827     71936    348338    124029     89021   1650435    706328      8.54      7.64
1456.16/364.93	c  S st  2974    537329     71936    348338    124030     89496   1650435    713671      8.54   no data
1456.16/364.99	c x-sub:    30 x-cut:      0 vfix:      0 v-elim:      0 locsubst:    36 time:   0.06
1464.95/367.15	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:   21 Bins:  13653 BRemL:  21904 BRemN:     33 P: 34.0M T:  2.14
1465.35/367.27	c Replacing      244 vars Replaced    14931 lits Time:     0.11 s 
1465.76/367.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1466.17/367.42	c bin-w-bin subsume rem         3431 bins  time:  0.03 s
1466.54/367.50	c subs with bin:      142  lits-rem:       457  v-fix:    0  time:  0.08 s
1466.54/367.59	c Subs w/ non-existent bins:     18 l-rem:     46 v-fix:     0 done:  71692 time:  0.09 s
1466.94/367.65	c Removed useless bin:      19  fixed:     0  props:   1.51M  time:  0.06 s
1468.14/367.96	c lits-rem:         4  cl-subs:      513  v-elim:    282  v-fix:    0  time:  0.30 s
1468.94/368.10	c subs with bin:      253  lits-rem:      1025  v-fix:    0  time:  0.09 s
1470.15/368.42	c lits-rem:      1727  cl-subs:     2762  v-elim:      0  v-fix:    0  time:  0.24 s
1472.14/368.96	c asymm  cl-useful: 23/16697/346530 lits-rem:69 time: 0.54
1472.14/368.99	c calculated reachability. Time: 0.00
1472.53/369.00	c  N dy  2974    537329     71410    346507    109445     85660   1643014    648009      8.54   no data
1472.53/369.04	c Finding binary XORs  T:     0.04 s  found:       1
1491.31/373.75	c Finding binary XORs  T:     0.04 s  found:       3
1518.46/380.58	c  N dy  3101    557340     71410    346507    118518    103639   1643014   1012528      8.56      9.21
1566.77/392.62	c  N dy  3228    577404     71410    346507    118557     91241   1643014    703540      8.59     15.77
1613.47/404.34	c  N dy  3345    597579     71410    346507    118599    109573   1643014   1071463      8.61      9.17
1661.79/416.47	c  N dy  3470    617659     71410    346507    118662     97688   1643014    754350      8.62     10.71
1716.51/430.12	c  N dy  3578    637679     71409    346507    118698    115555   1643014   1086813      8.64     11.60
1766.79/442.76	c  N dy  3713    657773     71409    346507    118720    103128   1643014    799601      8.67     10.37
1819.50/455.91	c  N dy  3844    677858     71409    346507    118771    121348   1643014   1163022      8.69      9.21
1871.40/468.91	c  N dy  3978    697922     71409    346507    118807    107892   1643014    810345      8.72     12.35
1923.30/481.93	c  N dy  4117    717947     71409    346507    118836    125868   1643012   1172523      8.75      9.24
1956.45/490.26	c Finding binary XORs  T:     0.04 s  found:      32
1978.01/495.64	c  N dy  4246    737995     71408    346433    134587    111811   1642622    829570      8.77      9.28
2031.51/509.01	c  N dy  4374    758257     71408    346433    134634    130091   1642622   1179411      8.79      9.58
2087.80/523.13	c  N dy  4517    778371     71371    346433    134840    115219   1642621    815758      8.81      9.39
2140.92/536.41	c  N dy  4644    798491     71371    346433    134908    133225   1642620   1167478      8.83      9.32
2161.67/541.66	c  S st  4701    805996     71371    346433    134918    139999   1642620   1309699      8.84   no data
2164.08/542.20	c  S st  4701    806499     71371    346433    134919    140481   1642620   1319087      8.84   no data
2164.08/542.27	c x-sub:    18 x-cut:      0 vfix:      0 v-elim:     59 locsubst:    16 time:   0.07
2173.28/544.55	c Flit:     4 Blit:      0 bXBeca:    0 bXProp:  153 Bins:   6034 BRemL:  17623 BRemN:     26 P: 39.2M T:  2.26
2173.64/544.68	c Replacing      197 vars Replaced    13915 lits Time:     0.13 s 
2174.44/544.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2174.44/544.83	c bin-w-bin subsume rem         3864 bins  time:  0.03 s
2174.84/544.92	c subs with bin:      135  lits-rem:       411  v-fix:    0  time:  0.09 s
2175.24/545.02	c Subs w/ non-existent bins:     24 l-rem:     65 v-fix:     0 done:  71111 time:  0.10 s
2175.24/545.09	c Removed useless bin:      20  fixed:     0  props:   1.55M  time:  0.06 s
2176.84/545.42	c lits-rem:        12  cl-subs:      213  v-elim:    376  v-fix:    0  time:  0.34 s
2178.03/545.72	c subs with bin:      452  lits-rem:      2761  v-fix:    0  time:  0.19 s
2180.43/546.34	c lits-rem:      3842  cl-subs:     5138  v-elim:      0  v-fix:    0  time:  0.53 s
2182.42/546.89	c asymm  cl-useful: 4/17223/343543 lits-rem:12 time: 0.55
2182.82/546.93	c calculated reachability. Time: 0.00
2182.82/546.93	c  N dy  4701    806499     70735    343539    116245    133806   1627874   1214159      8.84   no data
2182.82/546.98	c Finding binary XORs  T:     0.04 s  found:       1
2210.77/553.98	c Finding binary XORs  T:     0.05 s  found:       0
2236.32/560.31	c  N dy  4833    826567     70734    343533    122266    116133   1627817    782226      8.86     10.21
2271.47/569.19	c Finding binary XORs  T:     0.04 s  found:      91
2287.83/573.26	c  N dy  4964    846632     70723    343083    134208    134451   1625873   1190013      8.88      9.36
2338.14/585.89	c Finding binary XORs  T:     0.05 s  found:      52
2342.53/587.00	c  N dy  5096    866709     70718    343057    138832    117352   1625770    753014      8.90     13.32
2399.63/601.22	c  N dy  5232    886950     70718    343057    139515    135608   1625770   1126679      8.92     10.03
2458.74/616.03	c  N dy  5372    906994     70718    343057    139569    153752   1625770   1504315      8.95     21.44
2514.62/630.09	c  N dy  5494    927089     70715    343057    139673    135953   1625770   1036299      8.96     10.72
2569.32/643.72	c  N dy  5630    947164     70715    343057    139708    154299   1625770   1421004      8.98      9.83
2625.23/657.75	c  N dy  5764    967170     70713    343057    139757    135347   1625770    951908      9.00     10.71
2681.92/671.99	c  N dy  5897    987186     70706    343057    139859    153451   1625770   1333366      9.02      9.52
2732.22/684.58	c  N dy  6033   1007231     70705    343057    139945    133283   1625770    824033      9.04     10.57
2756.98/690.72	c Finding binary XORs  T:     0.05 s  found:     106
2782.53/697.11	c  N dy  6151   1027261     70429    342826    139052    151531   1624112   1168029      9.05      9.56
2841.22/711.84	c  N dy  6264   1047686     70423    342826    139366    169798   1624107   1512339      9.05      9.70
2901.92/727.02	c  N dy  6390   1067824     70418    342826    139670    149994   1624105   1066831      9.07      9.55
2917.07/730.83	c  F st  6419   1071876     70418    342826    149065    153565   1624105   1155576      9.07   no data
2917.47/730.99	c Replacing      423 vars Replaced    44371 lits Time:     0.10 s 
2919.07/731.36	c Finding binary XORs  T:     0.05 s  found:    3141
2919.91/731.56	c Replacing     3141 vars Replaced   292901 lits Time:     0.19 s 
2963.82/742.58	c  N dy  6502   1087878     66852    337323    133785    153829   1595603   1338844      9.08     11.03
3026.47/758.24	c  N dy  6628   1107919     66851    337323    134149    133345   1595602    815443      9.09     19.70
3080.78/771.80	c  N dy  6724   1128211     66851    337323    134472    151655   1595601   1138459      9.08      9.64
3083.57/772.59	c Finding binary XORs  T:     0.05 s  found:     341
3139.08/786.42	c  N dy  6835   1148273     66850    337321    134813    169775   1595547   1484394      9.09     13.15
3195.76/800.69	c  N dy  6946   1168533     66850    337321    135039    149131   1595545   1013454      9.09      9.78
3260.05/816.73	c  N dy  7071   1188617     66847    337321    135295    167293   1595545   1373235      9.10     13.34
3321.53/832.13	c  N dy  7183   1208733     66843    337321    135538    145334   1595545    853807      9.11      9.64
3321.93/832.24	c Finding binary XORs  T:     0.05 s  found:     422
3322.33/832.33	c Replacing      763 vars Replaced    33346 lits Time:     0.09 s 
3324.72/833.00	c  S st  7190   1209748     66079    337119    133885    145403   1593975    860674      9.11   no data
3327.12/833.54	c  S st  7190   1210248     66079    337119    133893    145876   1593975    868392      9.11   no data
3327.52/833.61	c x-sub:   939 x-cut:      0 vfix:      0 v-elim:    160 locsubst:  2090 time:   0.07
3345.91/838.25	c Flit:    12 Blit:     15 bXBeca:    0 bXProp:  278 Bins:  38653 BRemL:  16342 BRemN:     21 P: 63.9M T:  4.59
3346.68/838.40	c Replacing     1063 vars Replaced    93387 lits Time:     0.15 s 
3347.08/838.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3347.08/838.58	c bin-w-bin subsume rem        30147 bins  time:  0.06 s
3347.48/838.67	c subs with bin:     2351  lits-rem:      3958  v-fix:    0  time:  0.09 s
3347.88/838.78	c Subs w/ non-existent bins:    460 l-rem:    806 v-fix:     0 done:  64820 time:  0.10 s
3348.28/838.85	c Removed useless bin:     463  fixed:     0  props:   1.81M  time:  0.06 s
3351.08/839.57	c lits-rem:       189  cl-subs:    10111  v-elim:   3996  v-fix:    0  time:  0.71 s
3351.88/839.72	c subs with bin:     2154  lits-rem:      7074  v-fix:    0  time:  0.08 s
3354.29/840.32	c lits-rem:      4212  cl-subs:    21830  v-elim:      0  v-fix:    0  time:  0.52 s
3356.27/840.84	c asymm  cl-useful: 27/11125/306807 lits-rem:81 time: 0.52
3356.27/840.87	c calculated reachability. Time: 0.00
3356.27/840.87	c  N dy  7190   1210248     60824    306780     99688    115378   1462830    653805      9.11   no data
3356.67/840.92	c Finding binary XORs  T:     0.04 s  found:       4
3390.20/849.31	c Finding binary XORs  T:     0.04 s  found:      63
3407.78/853.78	c Finding binary XORs  T:     0.04 s  found:      55
3414.97/855.55	c  N dy  7306   1230488     60821    306771    131504    133645   1462653   1051522      9.11      9.78
3439.31/861.63	c Finding binary XORs  T:     0.04 s  found:      21
3471.67/869.72	c  N dy  7420   1250498     60816    306771    135561    151664   1462652   1400123      9.12     11.47
3531.54/884.70	c  N dy  7544   1270563     60814    306771    135735    169985   1462651   1755481      9.12     14.74
3595.03/900.64	c  N dy  7685   1290653     60812    306771    135986    130091   1462651    867736      9.14     10.19
3658.92/916.60	c  N dy  7815   1310840     60812    306771    136115    148484   1462651   1243045      9.15      9.68
3712.81/930.14	c  N dy  7929   1330970     60811    306771    136246    166760   1462650   1601452      9.15      9.74
3766.33/943.51	c Finding binary XORs  T:     0.05 s  found:     394
3769.52/944.32	c  N dy  8045   1351066     60811    306684    136191    142530   1461825   1008331      9.16      9.82
3830.61/959.61	c  N dy  8165   1371261     60811    306684    136324    160872   1461825   1356860      9.17      9.73
3858.55/966.68	c Finding binary XORs  T:     0.04 s  found:     249
3858.95/966.79	c Replacing      786 vars Replaced    67586 lits Time:     0.11 s 
3890.88/974.72	c  N dy  8286   1391806     60007    306440    154725    179122   1459793   1768583      9.17      9.74
3907.26/978.86	c Finding binary XORs  T:     0.04 s  found:      45
3957.57/991.41	c  N dy  8403   1412237     60005    306430    155210    154883   1459742   1200579      9.18      9.67
4019.46/1006.93	c  N dy  8528   1432396     60005    306430    155337    173199   1459742   1562050      9.19      9.75
4084.53/1023.29	c  N dy  8655   1452480     60005    306430    155466    147561   1459741    956783      9.20     13.17
4148.43/1039.29	c  N dy  8782   1472525     60005    306430    155650    165723   1459741   1309097      9.21      9.85
4213.50/1055.54	c  N dy  8914   1492568     60005    306430    155806    183765   1459741   1673803      9.22     10.50
4275.38/1071.05	c  N dy  9045   1512811     60004    306430    155893    157536   1459741   1054210      9.22      9.73
4330.08/1084.79	c  N dy  9172   1532907     60003    306430    156019    176191   1459741   1442717      9.23     12.53
4391.57/1100.12	c  N dy  9290   1552957     60003    306430    156139    194569   1459741   1805565      9.24     12.17
4409.13/1104.55	c Finding binary XORs  T:     0.05 s  found:     397
4462.64/1117.93	c  N dy  9414   1573180     60003    306403    156212    166166   1459449   1122020      9.25     10.07
4525.34/1133.68	c  N dy  9558   1593204     60002    306403    156295    184479   1459448   1508177      9.26     10.06
4594.41/1150.90	c  N dy  9692   1613594     60001    306403    156467    203108   1459448   1884117      9.27      9.78
4660.29/1167.48	c  N dy  9818   1633642     60001    306403    156583    174533   1459448   1195368      9.27      9.85
4722.18/1182.98	c  N dy  9947   1653652     60000    306403    156652    192974   1459448   1594309      9.29      9.79
4790.06/1199.96	c  N dy 10093   1673754     59999    306403    156756    211387   1459448   1993558      9.30     10.07

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-3367178-1305389485/watcher-3367178-1305389485 -o /tmp/evaluation-result-3367178-1305389485/solver-3367178-1305389485 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367178-1305389485.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: 7.18 7.13 5.61 6/232 1998
/proc/meminfo: memFree=19003536/32950928 swapFree=64721848/67111528
[pid=1998] ppid=1996 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/1998/stat : 1998 (strangenight2-m) R 1996 1998 1880 0 -1 4202496 407 0 0 0 0 0 0 0 23 0 4 0 650548367 52396032 347 33554432000 4194304 4580107 140736953961424 18446744073709551615 47725176940466 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1998/statm: 12792 347 299 95 0 7774 0
[pid=1998/tid=1999] ppid=1996 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/1998/task/1999/stat : 1999 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 650548367 52396032 347 33554432000 4194304 4580107 140736953961424 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1998/tid=2000] ppid=1996 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/1998/task/2000/stat : 2000 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 650548367 52396032 347 33554432000 4194304 4580107 140736953961424 18446744073709551615 47725176940466 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1998/tid=2001] ppid=1996 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/1998/task/2001/stat : 2001 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 650548367 52396032 347 33554432000 4194304 4580107 140736953961424 18446744073709551615 47725176940466 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.034664 s]
/proc/loadavg: 7.18 7.13 5.61 6/232 1998
/proc/meminfo: memFree=19003536/32950928 swapFree=64721848/67111528
[pid=1998] ppid=1996 vsize=351360 CPUtime=0.09 cores=0,2,4,6
/proc/1998/stat : 1998 (strangenight2-m) R 1996 1998 1880 0 -1 4202496 7709 0 0 0 7 2 0 0 18 0 4 0 650548367 359792640 6705 33554432000 4194304 4580107 140736953961424 18446744073709551615 248089395385 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1998/statm: 87894 6715 337 95 0 82876 0
[pid=1998/tid=1999] ppid=1996 vsize=351576 CPUtime=0.01 cores=0,2,4,6
/proc/1998/task/1999/stat : 1999 (strangenight2-m) D 1996 1998 1880 0 -1 4202560 1692 0 0 0 1 0 0 0 17 0 4 0 650548367 360013824 6715 33554432000 4194304 4580107 140736953961424 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1998/tid=2000] ppid=1996 vsize=351576 CPUtime=0.01 cores=0,2,4,6
/proc/1998/task/2000/stat : 2000 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 1831 0 0 0 1 0 0 0 18 0 4 0 650548367 360013824 6715 33554432000 4194304 4580107 140736953961424 18446744073709551615 248089366830 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1998/tid=2001] ppid=1996 vsize=351792 CPUtime=0.02 cores=0,2,4,6
/proc/1998/task/2001/stat : 2001 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 1901 0 0 0 2 0 0 0 17 0 4 0 650548367 360235008 6746 33554432000 4194304 4580107 140736953961424 18446744073709551615 248089803295 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 351360

[startup+0.102564 s]
/proc/loadavg: 7.18 7.13 5.61 6/232 1998
/proc/meminfo: memFree=19003536/32950928 swapFree=64721848/67111528
[pid=1998] ppid=1996 vsize=391076 CPUtime=0.32 cores=0,2,4,6
/proc/1998/stat : 1998 (strangenight2-m) R 1996 1998 1880 0 -1 4202496 24048 0 0 0 23 9 0 0 17 0 4 0 650548367 400461824 19825 33554432000 4194304 4580107 140736953961424 18446744073709551615 248089395385 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1998/statm: 97769 19844 337 95 0 92751 0
[pid=1998/tid=1999] ppid=1996 vsize=391076 CPUtime=0.07 cores=0,2,4,6
/proc/1998/task/1999/stat : 1999 (strangenight2-m) S 1996 1998 1880 0 -1 4202560 5947 0 0 0 5 2 0 0 17 0 4 0 650548367 400461824 19889 33554432000 4194304 4580107 140736953961424 18446744073709551615 248089803246 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1998/tid=2000] ppid=1996 vsize=391076 CPUtime=0.07 cores=0,2,4,6
/proc/1998/task/2000/stat : 2000 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 5916 0 0 0 5 2 0 0 17 0 4 0 650548367 400461824 20057 33554432000 4194304 4580107 140736953961424 18446744073709551615 248089741495 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1998/tid=2001] ppid=1996 vsize=391076 CPUtime=0.07 cores=0,2,4,6
/proc/1998/task/2001/stat : 2001 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 6158 0 0 0 6 1 0 0 17 0 4 0 650548367 400461824 20217 33554432000 4194304 4580107 140736953961424 18446744073709551615 4354423 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 391076

[startup+0.306187 s]
/proc/loadavg: 7.18 7.13 5.61 6/232 1998
/proc/meminfo: memFree=19003536/32950928 swapFree=64721848/67111528
[pid=1998] ppid=1996 vsize=504336 CPUtime=1.02 cores=0,2,4,6
/proc/1998/stat : 1998 (strangenight2-m) R 1996 1998 1880 0 -1 4202496 78995 0 0 0 74 28 0 0 17 0 4 0 650548367 516440064 62061 33554432000 4194304 4580107 140736953961424 18446744073709551615 4354920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1998/statm: 126084 62572 337 95 0 121066 0
[pid=1998/tid=1999] ppid=1996 vsize=504336 CPUtime=0.25 cores=0,2,4,6
/proc/1998/task/1999/stat : 1999 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 20443 0 0 0 18 7 0 0 17 0 4 0 650548367 516440064 63203 33554432000 4194304 4580107 140736953961424 18446744073709551615 248089803246 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1998/tid=2000] ppid=1996 vsize=506764 CPUtime=0.25 cores=0,2,4,6
/proc/1998/task/2000/stat : 2000 (strangenight2-m) D 1996 1998 1880 0 -1 4202560 19320 0 0 0 18 7 0 0 17 0 4 0 650548367 518926336 63501 33554432000 4194304 4580107 140736953961424 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1998/tid=2001] ppid=1996 vsize=506764 CPUtime=0.26 cores=0,2,4,6
/proc/1998/task/2001/stat : 2001 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 20468 0 0 0 20 6 0 0 17 0 4 0 650548367 518926336 63501 33554432000 4194304 4580107 140736953961424 18446744073709551615 248089756074 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 504336

[startup+0.710428 s]
/proc/loadavg: 7.18 7.13 5.61 6/232 1998
/proc/meminfo: memFree=19003536/32950928 swapFree=64721848/67111528
[pid=1998] ppid=1996 vsize=843256 CPUtime=2.34 cores=0,2,4,6
/proc/1998/stat : 1998 (strangenight2-m) R 1996 1998 1880 0 -1 4202496 173804 0 0 0 173 61 0 0 17 0 4 0 650548367 863494144 139588 33554432000 4194304 4580107 140736953961424 18446744073709551615 248089756074 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1998/statm: 210814 139588 337 95 0 205796 0
[pid=1998/tid=1999] ppid=1996 vsize=843256 CPUtime=0.57 cores=0,2,4,6
/proc/1998/task/1999/stat : 1999 (strangenight2-m) D 1996 1998 1880 0 -1 4202560 42795 0 0 0 42 15 0 0 17 0 4 0 650548367 863494144 139588 33554432000 4194304 4580107 140736953961424 18446744073709551615 248089741495 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1998/tid=2000] ppid=1996 vsize=843256 CPUtime=0.57 cores=0,2,4,6
/proc/1998/task/2000/stat : 2000 (strangenight2-m) S 1996 1998 1880 0 -1 4202560 44471 0 0 0 42 15 0 0 17 0 4 0 650548367 863494144 139588 33554432000 4194304 4580107 140736953961424 18446744073709551615 248089803246 0 0 4096 2 18446604448842610560 0 0 -1 4 0 0 0
[pid=1998/tid=2001] ppid=1996 vsize=843256 CPUtime=0.58 cores=0,2,4,6
/proc/1998/task/2001/stat : 2001 (strangenight2-m) S 1996 1998 1880 0 -1 4202560 43690 0 0 0 46 12 0 0 17 0 4 0 650548367 863494144 139588 33554432000 4194304 4580107 140736953961424 18446744073709551615 248089803246 0 0 4096 2 18446604448842610560 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 843256

[startup+1.50032 s]
/proc/loadavg: 7.18 7.13 5.61 10/236 2002
/proc/meminfo: memFree=18347544/32950928 swapFree=64721848/67111528
[pid=1998] ppid=1996 vsize=1012720 CPUtime=5.43 cores=0,2,4,6
/proc/1998/stat : 1998 (strangenight2-m) R 1996 1998 1880 0 -1 4202496 205091 0 0 0 470 73 0 0 18 0 4 0 650548367 1037025280 169733 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293710 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1998/statm: 253180 169733 360 95 0 248162 0
[pid=1998/tid=1999] ppid=1996 vsize=1012720 CPUtime=1.34 cores=0,2,4,6
/proc/1998/task/1999/stat : 1999 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 49906 0 0 0 116 18 0 0 18 0 4 0 650548367 1037025280 169733 33554432000 4194304 4580107 140736953961424 18446744073709551615 4234384 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1998/tid=2000] ppid=1996 vsize=1012720 CPUtime=1.35 cores=0,2,4,6
/proc/1998/task/2000/stat : 2000 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 52688 0 0 0 116 19 0 0 18 0 4 0 650548367 1037025280 169733 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1998/tid=2001] ppid=1996 vsize=1012720 CPUtime=1.37 cores=0,2,4,6
/proc/1998/task/2001/stat : 2001 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 52171 0 0 0 122 15 0 0 18 0 4 0 650548367 1037025280 169733 33554432000 4194304 4580107 140736953961424 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.43
Current children cumulated vsize (KiB) 1012720

[startup+3.10103 s]
/proc/loadavg: 7.32 7.16 5.63 9/236 2002
/proc/meminfo: memFree=18321256/32950928 swapFree=64721848/67111528
[pid=1998] ppid=1996 vsize=1012720 CPUtime=11.83 cores=0,2,4,6
/proc/1998/stat : 1998 (strangenight2-m) R 1996 1998 1880 0 -1 4202496 206374 0 0 0 1109 74 0 0 21 0 4 0 650548367 1037025280 170201 33554432000 4194304 4580107 140736953961424 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1998/statm: 253180 170201 360 95 0 248162 0
[pid=1998/tid=1999] ppid=1996 vsize=1012720 CPUtime=2.93 cores=0,2,4,6
/proc/1998/task/1999/stat : 1999 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 49944 0 0 0 275 18 0 0 21 0 4 0 650548367 1037025280 170201 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1998/tid=2000] ppid=1996 vsize=1012720 CPUtime=2.95 cores=0,2,4,6
/proc/1998/task/2000/stat : 2000 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 52722 0 0 0 276 19 0 0 21 0 4 0 650548367 1037025280 170201 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1998/tid=2001] ppid=1996 vsize=1012720 CPUtime=2.96 cores=0,2,4,6
/proc/1998/task/2001/stat : 2001 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 53345 0 0 0 281 15 0 0 21 0 4 0 650548367 1037025280 170201 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.83
Current children cumulated vsize (KiB) 1012720

[startup+6.30047 s]
/proc/loadavg: 7.32 7.16 5.63 9/236 2002
/proc/meminfo: memFree=18309972/32950928 swapFree=64721848/67111528
[pid=1998] ppid=1996 vsize=1012720 CPUtime=24.6 cores=0,2,4,6
/proc/1998/stat : 1998 (strangenight2-m) R 1996 1998 1880 0 -1 4202496 208584 0 0 0 2386 74 0 0 25 0 4 0 650548367 1037025280 171206 33554432000 4194304 4580107 140736953961424 18446744073709551615 4234384 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1998/statm: 253180 171206 360 95 0 248162 0
[pid=1998/tid=1999] ppid=1996 vsize=1012720 CPUtime=6.11 cores=0,2,4,6
/proc/1998/task/1999/stat : 1999 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 49957 0 0 0 593 18 0 0 25 0 4 0 650548367 1037025280 171206 33554432000 4194304 4580107 140736953961424 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1998/tid=2000] ppid=1996 vsize=1012720 CPUtime=6.15 cores=0,2,4,6
/proc/1998/task/2000/stat : 2000 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 52736 0 0 0 596 19 0 0 25 0 4 0 650548367 1037025280 171206 33554432000 4194304 4580107 140736953961424 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1998/tid=2001] ppid=1996 vsize=1012720 CPUtime=6.17 cores=0,2,4,6
/proc/1998/task/2001/stat : 2001 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 55511 0 0 0 601 16 0 0 25 0 4 0 650548367 1037025280 171207 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293013 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.6
Current children cumulated vsize (KiB) 1012720

[startup+12.7003 s]
/proc/loadavg: 7.43 7.19 5.66 9/236 2003
/proc/meminfo: memFree=18274764/32950928 swapFree=64721848/67111528
[pid=1998] ppid=1996 vsize=1033048 CPUtime=50.15 cores=0,2,4,6
/proc/1998/stat : 1998 (strangenight2-m) R 1996 1998 1880 0 -1 4202496 214231 0 0 0 4940 75 0 0 25 0 4 0 650548367 1057841152 176853 33554432000 4194304 4580107 140736953961424 18446744073709551615 4234384 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1998/statm: 258262 176853 361 95 0 253244 0
[pid=1998/tid=1999] ppid=1996 vsize=1033048 CPUtime=12.46 cores=0,2,4,6
/proc/1998/task/1999/stat : 1999 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 50054 0 0 0 1228 18 0 0 25 0 4 0 650548367 1057841152 176853 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1998/tid=2000] ppid=1996 vsize=1033048 CPUtime=12.55 cores=0,2,4,6
/proc/1998/task/2000/stat : 2000 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 52907 0 0 0 1236 19 0 0 25 0 4 0 650548367 1057841152 176853 33554432000 4194304 4580107 140736953961424 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1998/tid=2001] ppid=1996 vsize=1033048 CPUtime=12.56 cores=0,2,4,6
/proc/1998/task/2001/stat : 2001 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 60826 0 0 0 1240 16 0 0 25 0 4 0 650548367 1057841152 176853 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.15
Current children cumulated vsize (KiB) 1033048

[startup+25.5011 s]
/proc/loadavg: 7.51 7.22 5.68 9/236 2003
/proc/meminfo: memFree=17851916/32950928 swapFree=64721848/67111528
[pid=1998] ppid=1996 vsize=1476268 CPUtime=101.13 cores=0,2,4,6
/proc/1998/stat : 1998 (strangenight2-m) R 1996 1998 1880 0 -1 4202496 340814 0 0 0 10002 111 0 0 25 0 4 0 650548367 1511698432 285391 33554432000 4194304 4580107 140736953961424 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1998/statm: 369067 285391 379 95 0 364049 0
[pid=1998/tid=1999] ppid=1996 vsize=1476268 CPUtime=25.17 cores=0,2,4,6
/proc/1998/task/1999/stat : 1999 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 95309 0 0 0 2486 31 0 0 25 0 4 0 650548367 1511698432 285391 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1998/tid=2000] ppid=1996 vsize=1476268 CPUtime=25.31 cores=0,2,4,6
/proc/1998/task/2000/stat : 2000 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 96049 0 0 0 2500 31 0 0 25 0 4 0 650548367 1511698432 285391 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1998/tid=2001] ppid=1996 vsize=1476268 CPUtime=25.29 cores=0,2,4,6
/proc/1998/task/2001/stat : 2001 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 61122 0 0 0 2512 17 0 0 25 0 4 0 650548367 1511698432 285391 33554432000 4194304 4580107 140736953961424 18446744073709551615 4292956 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.13
Current children cumulated vsize (KiB) 1476268

[startup+51.1006 s]
/proc/loadavg: 7.74 7.29 5.75 9/236 2004
/proc/meminfo: memFree=17830672/32950928 swapFree=64721848/67111528
[pid=1998] ppid=1996 vsize=1423912 CPUtime=203.34 cores=0,2,4,6
/proc/1998/stat : 1998 (strangenight2-m) R 1996 1998 1880 0 -1 4202496 1720193 0 0 0 20068 266 0 0 25 0 4 0 650548367 1458085888 285675 33554432000 4194304 4580107 140736953961424 18446744073709551615 248089396233 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1998/statm: 355978 285675 380 95 0 350960 0
[pid=1998/tid=1999] ppid=1996 vsize=1423912 CPUtime=50.58 cores=0,2,4,6
/proc/1998/task/1999/stat : 1999 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 648580 0 0 0 4966 92 0 0 25 0 4 0 650548367 1458085888 285576 33554432000 4194304 4580107 140736953961424 18446744073709551615 4249615 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1998/tid=2000] ppid=1996 vsize=1423912 CPUtime=50.91 cores=0,2,4,6
/proc/1998/task/2000/stat : 2000 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 346710 0 0 0 5032 59 0 0 25 0 4 0 650548367 1458085888 285576 33554432000 4194304 4580107 140736953961424 18446744073709551615 248089741671 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1998/tid=2001] ppid=1996 vsize=1423912 CPUtime=50.89 cores=0,2,4,6
/proc/1998/task/2001/stat : 2001 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 68032 0 0 0 5071 18 0 0 25 0 4 0 650548367 1458085888 285576 33554432000 4194304 4580107 140736953961424 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.34
Current children cumulated vsize (KiB) 1423912

[startup+102.309 s]
/proc/loadavg: 7.95 7.43 5.88 9/236 2005
/proc/meminfo: memFree=17173376/32950928 swapFree=64721848/67111528
[pid=1998] ppid=1996 vsize=2235480 CPUtime=407.77 cores=0,2,4,6
/proc/1998/stat : 1998 (strangenight2-m) R 1996 1998 1880 0 -1 4202496 6896912 0 0 0 39705 1072 0 0 25 0 4 0 650548367 2289131520 454502 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293685 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1998/statm: 558870 454502 386 95 0 553852 0
[pid=1998/tid=1999] ppid=1996 vsize=2235480 CPUtime=101.43 cores=0,2,4,6
/proc/1998/task/1999/stat : 1999 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 2415599 0 0 0 9786 357 0 0 25 0 4 0 650548367 2289131520 454502 33554432000 4194304 4580107 140736953961424 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1998/tid=2000] ppid=1996 vsize=2235480 CPUtime=102.12 cores=0,2,4,6
/proc/1998/task/2000/stat : 2000 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 1630600 0 0 0 9955 257 0 0 25 0 4 0 650548367 2289131520 454502 33554432000 4194304 4580107 140736953961424 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1998/tid=2001] ppid=1996 vsize=2235480 CPUtime=102.1 cores=0,2,4,6
/proc/1998/task/2001/stat : 2001 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 192531 0 0 0 10162 48 0 0 25 0 4 0 650548367 2289131520 454502 33554432000 4194304 4580107 140736953961424 18446744073709551615 4479107 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.77
Current children cumulated vsize (KiB) 2235480

[startup+162.301 s]

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

Current children cumulated CPU time (s) 2563.74
Current children cumulated vsize (KiB) 2766724

[startup+702.301 s]
/proc/loadavg: 8.14 8.01 6.92 9/236 2052
/proc/meminfo: memFree=16753296/32950928 swapFree=64721848/67111528
[pid=1998] ppid=1996 vsize=2768436 CPUtime=2803.28 cores=0,2,4,6
/proc/1998/stat : 1998 (strangenight2-m) R 1996 1998 1880 0 -1 4202496 7450400 0 0 0 279136 1192 0 0 25 0 4 0 650548367 2834878464 597848 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293685 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1998/statm: 692109 597848 380 95 0 687091 0
[pid=1998/tid=1999] ppid=1996 vsize=2768436 CPUtime=701.33 cores=0,2,4,6
/proc/1998/task/1999/stat : 1999 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 2537380 0 0 0 69747 386 0 0 25 0 4 0 650548367 2834878464 597848 33554432000 4194304 4580107 140736953961424 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1998/tid=2000] ppid=1996 vsize=2768436 CPUtime=702.12 cores=0,2,4,6
/proc/1998/task/2000/stat : 2000 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 1752427 0 0 0 69923 289 0 0 25 0 4 0 650548367 2834878464 597848 33554432000 4194304 4580107 140736953961424 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1998/tid=2001] ppid=1996 vsize=2768436 CPUtime=702.08 cores=0,2,4,6
/proc/1998/task/2001/stat : 2001 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 397099 0 0 0 70128 80 0 0 25 0 4 0 650548367 2834878464 597848 33554432000 4194304 4580107 140736953961424 18446744073709551615 4301856 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2803.28
Current children cumulated vsize (KiB) 2768436

[startup+762.309 s]
/proc/loadavg: 8.29 8.07 7.01 9/236 2084
/proc/meminfo: memFree=16750548/32950928 swapFree=64721848/67111528
[pid=1998] ppid=1996 vsize=2743120 CPUtime=3042.87 cores=0,2,4,6
/proc/1998/stat : 1998 (strangenight2-m) R 1996 1998 1880 0 -1 4202496 7471529 0 0 0 303088 1199 0 0 25 0 4 0 650548367 2808954880 599178 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1998/statm: 685780 599178 380 95 0 680762 0
[pid=1998/tid=1999] ppid=1996 vsize=2743120 CPUtime=761.33 cores=0,2,4,6
/proc/1998/task/1999/stat : 1999 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 2543858 0 0 0 75744 389 0 0 25 0 4 0 650548367 2808954880 599178 33554432000 4194304 4580107 140736953961424 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1998/tid=2000] ppid=1996 vsize=2743120 CPUtime=762.13 cores=0,2,4,6
/proc/1998/task/2000/stat : 2000 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 1759985 0 0 0 75922 291 0 0 25 0 4 0 650548367 2808954880 599178 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1998/tid=2001] ppid=1996 vsize=2743120 CPUtime=762.1 cores=0,2,4,6
/proc/1998/task/2001/stat : 2001 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 398562 0 0 0 76128 82 0 0 25 0 4 0 650548367 2808954880 599178 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3042.87
Current children cumulated vsize (KiB) 2743120

[startup+822.3 s]
/proc/loadavg: 8.17 8.07 7.07 9/236 2085
/proc/meminfo: memFree=16706304/32950928 swapFree=64721848/67111528
[pid=1998] ppid=1996 vsize=2743736 CPUtime=3282.41 cores=0,2,4,6
/proc/1998/stat : 1998 (strangenight2-m) R 1996 1998 1880 0 -1 4202496 7485614 0 0 0 327037 1204 0 0 25 0 4 0 650548367 2809585664 602338 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1998/statm: 685934 602338 380 95 0 680916 0
[pid=1998/tid=1999] ppid=1996 vsize=2743736 CPUtime=821.32 cores=0,2,4,6
/proc/1998/task/1999/stat : 1999 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 2545458 0 0 0 81742 390 0 0 25 0 4 0 650548367 2809585664 602338 33554432000 4194304 4580107 140736953961424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1998/tid=2000] ppid=1996 vsize=2743736 CPUtime=822.12 cores=0,2,4,6
/proc/1998/task/2000/stat : 2000 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 1765320 0 0 0 81919 293 0 0 25 0 4 0 650548367 2809585664 602338 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1998/tid=2001] ppid=1996 vsize=2743736 CPUtime=822.09 cores=0,2,4,6
/proc/1998/task/2001/stat : 2001 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 404092 0 0 0 82126 83 0 0 25 0 4 0 650548367 2809585664 602338 33554432000 4194304 4580107 140736953961424 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3282.41
Current children cumulated vsize (KiB) 2743736

[startup+882.301 s]
/proc/loadavg: 8.17 8.08 7.14 9/236 2087
/proc/meminfo: memFree=16576084/32950928 swapFree=64721848/67111528
[pid=1998] ppid=1996 vsize=2770176 CPUtime=3521.96 cores=0,2,4,6
/proc/1998/stat : 1998 (strangenight2-m) R 1996 1998 1880 0 -1 4202496 7516415 0 0 0 350984 1212 0 0 25 0 4 0 650548367 2836660224 608370 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1998/statm: 692544 608370 380 95 0 687526 0
[pid=1998/tid=1999] ppid=1996 vsize=2770176 CPUtime=881.31 cores=0,2,4,6
/proc/1998/task/1999/stat : 1999 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 2555202 0 0 0 87739 392 0 0 25 0 4 0 650548367 2836660224 608370 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1998/tid=2000] ppid=1996 vsize=2770176 CPUtime=882.13 cores=0,2,4,6
/proc/1998/task/2000/stat : 2000 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 1766902 0 0 0 87919 294 0 0 25 0 4 0 650548367 2836660224 608370 33554432000 4194304 4580107 140736953961424 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1998/tid=2001] ppid=1996 vsize=2770176 CPUtime=882.08 cores=0,2,4,6
/proc/1998/task/2001/stat : 2001 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 410683 0 0 0 88123 85 0 0 25 0 4 0 650548367 2836660224 608370 33554432000 4194304 4580107 140736953961424 18446744073709551615 4292913 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3521.96
Current children cumulated vsize (KiB) 2770176

[startup+942.3 s]
/proc/loadavg: 8.06 8.07 7.19 9/236 2088
/proc/meminfo: memFree=16556336/32950928 swapFree=64721848/67111528
[pid=1998] ppid=1996 vsize=2785016 CPUtime=3761.52 cores=0,2,4,6
/proc/1998/stat : 1998 (strangenight2-m) R 1996 1998 1880 0 -1 4202496 7533756 0 0 0 374935 1217 0 0 25 0 4 0 650548367 2851856384 609476 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293911 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1998/statm: 696254 609476 380 95 0 691236 0
[pid=1998/tid=1999] ppid=1996 vsize=2785016 CPUtime=941.3 cores=0,2,4,6
/proc/1998/task/1999/stat : 1999 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 2560068 0 0 0 93736 394 0 0 25 0 4 0 650548367 2851856384 609476 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1998/tid=2000] ppid=1996 vsize=2785016 CPUtime=942.13 cores=0,2,4,6
/proc/1998/task/2000/stat : 2000 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 1772627 0 0 0 93917 296 0 0 25 0 4 0 650548367 2851856384 609476 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1998/tid=2001] ppid=1996 vsize=2785016 CPUtime=942.09 cores=0,2,4,6
/proc/1998/task/2001/stat : 2001 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 412026 0 0 0 94123 86 0 0 25 0 4 0 650548367 2851856384 609476 33554432000 4194304 4580107 140736953961424 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3761.52
Current children cumulated vsize (KiB) 2785016

[startup+1002.3 s]
/proc/loadavg: 8.02 8.05 7.23 9/236 2090
/proc/meminfo: memFree=16461572/32950928 swapFree=64721848/67111528
[pid=1998] ppid=1996 vsize=2873220 CPUtime=4001.09 cores=0,2,4,6
/proc/1998/stat : 1998 (strangenight2-m) R 1996 1998 1880 0 -1 4202496 7573661 0 0 0 398882 1227 0 0 25 0 4 0 650548367 2942177280 629327 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293682 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1998/statm: 718305 629327 380 95 0 713287 0
[pid=1998/tid=1999] ppid=1996 vsize=2873220 CPUtime=1001.29 cores=0,2,4,6
/proc/1998/task/1999/stat : 1999 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 2566029 0 0 0 99734 395 0 0 25 0 4 0 650548367 2942177280 629327 33554432000 4194304 4580107 140736953961424 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1998/tid=2000] ppid=1996 vsize=2873220 CPUtime=1002.13 cores=0,2,4,6
/proc/1998/task/2000/stat : 2000 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 1786351 0 0 0 99914 299 0 0 25 0 4 0 650548367 2942177280 629327 33554432000 4194304 4580107 140736953961424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1998/tid=2001] ppid=1996 vsize=2873220 CPUtime=1002.09 cores=0,2,4,6
/proc/1998/task/2001/stat : 2001 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 427224 0 0 0 100121 88 0 0 25 0 4 0 650548367 2942177280 629327 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4001.09
Current children cumulated vsize (KiB) 2873220

[startup+1062.3 s]
/proc/loadavg: 8.06 8.06 7.29 9/236 2122
/proc/meminfo: memFree=16192200/32950928 swapFree=64721848/67111528
[pid=1998] ppid=1996 vsize=2836648 CPUtime=4240.65 cores=0,2,4,6
/proc/1998/stat : 1998 (strangenight2-m) R 1996 1998 1880 0 -1 4202496 7584835 0 0 0 422833 1232 0 0 25 0 4 0 650548367 2904727552 628431 33554432000 4194304 4580107 140736953961424 18446744073709551615 4305975 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1998/statm: 709162 628431 380 95 0 704144 0
[pid=1998/tid=1999] ppid=1996 vsize=2836648 CPUtime=1061.28 cores=0,2,4,6
/proc/1998/task/1999/stat : 1999 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 2569684 0 0 0 105731 397 0 0 25 0 4 0 650548367 2904727552 628431 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1998/tid=2000] ppid=1996 vsize=2836648 CPUtime=1062.13 cores=0,2,4,6
/proc/1998/task/2000/stat : 2000 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 1786946 0 0 0 105914 299 0 0 25 0 4 0 650548367 2904727552 628431 33554432000 4194304 4580107 140736953961424 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1998/tid=2001] ppid=1996 vsize=2836648 CPUtime=1062.09 cores=0,2,4,6
/proc/1998/task/2001/stat : 2001 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 432627 0 0 0 106119 90 0 0 25 0 4 0 650548367 2904727552 628431 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4240.65
Current children cumulated vsize (KiB) 2836648

[startup+1122.3 s]
/proc/loadavg: 7.25 7.80 7.24 6/236 2153
/proc/meminfo: memFree=9648788/32950928 swapFree=64721848/67111528
[pid=1998] ppid=1996 vsize=2927348 CPUtime=4480.21 cores=0,2,4,6
/proc/1998/stat : 1998 (strangenight2-m) R 1996 1998 1880 0 -1 4202496 7601605 0 0 0 446772 1249 0 0 25 0 4 0 650548367 2997604352 638547 33554432000 4194304 4580107 140736953961424 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1998/statm: 731837 638547 380 95 0 726819 0
[pid=1998/tid=1999] ppid=1996 vsize=2927348 CPUtime=1121.28 cores=0,2,4,6
/proc/1998/task/1999/stat : 1999 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 2571201 0 0 0 111718 410 0 0 25 0 4 0 650548367 2997604352 638547 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1998/tid=2000] ppid=1996 vsize=2927348 CPUtime=1122.12 cores=0,2,4,6
/proc/1998/task/2000/stat : 2000 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 1791026 0 0 0 111912 300 0 0 25 0 4 0 650548367 2997604352 638547 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1998/tid=2001] ppid=1996 vsize=2927348 CPUtime=1122.1 cores=0,2,4,6
/proc/1998/task/2001/stat : 2001 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 438151 0 0 0 112118 92 0 0 25 0 4 0 650548367 2997604352 638547 33554432000 4194304 4580107 140736953961424 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4480.21
Current children cumulated vsize (KiB) 2927348

[startup+1182.3 s]
/proc/loadavg: 9.34 8.32 7.45 5/232 2174
/proc/meminfo: memFree=13447932/32950928 swapFree=64721848/67111528
[pid=1998] ppid=1996 vsize=2992884 CPUtime=4719.78 cores=0,2,4,6
/proc/1998/stat : 1998 (strangenight2-m) R 1996 1998 1880 0 -1 4202496 7610823 0 0 0 470649 1329 0 0 25 0 4 0 650548367 3064713216 647765 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293778 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1998/statm: 748221 647765 380 95 0 743203 0
[pid=1998/tid=1999] ppid=1996 vsize=2992884 CPUtime=1181.27 cores=0,2,4,6
/proc/1998/task/1999/stat : 1999 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 2576340 0 0 0 117640 487 0 0 25 0 4 0 650548367 3064713216 647765 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1998/tid=2000] ppid=1996 vsize=2992884 CPUtime=1182.12 cores=0,2,4,6
/proc/1998/task/2000/stat : 2000 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 1792535 0 0 0 117911 301 0 0 25 0 4 0 650548367 3064713216 647765 33554432000 4194304 4580107 140736953961424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1998/tid=2001] ppid=1996 vsize=2992884 CPUtime=1182.09 cores=0,2,4,6
/proc/1998/task/2001/stat : 2001 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 439740 0 0 0 118116 93 0 0 25 0 4 0 650548367 3064713216 647765 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4719.78
Current children cumulated vsize (KiB) 2992884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.4 s]
/proc/loadavg: 8.76 8.25 7.45 5/232 2174
/proc/meminfo: memFree=14889548/32950928 swapFree=64721848/67111528
[pid=1998] ppid=1996 vsize=2992884 CPUtime=4800.04 cores=0,2,4,6
/proc/1998/stat : 1998 (strangenight2-m) R 1996 1998 1880 0 -1 4202496 7615988 0 0 0 478649 1355 0 0 25 0 4 0 650548367 3064713216 652389 33554432000 4194304 4580107 140736953961424 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1998/statm: 748221 652389 380 95 0 743203 0
[pid=1998/tid=1999] ppid=1996 vsize=2992884 CPUtime=1201.38 cores=0,2,4,6
/proc/1998/task/1999/stat : 1999 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 2576843 0 0 0 119626 512 0 0 25 0 4 0 650548367 3064713216 652389 33554432000 4194304 4580107 140736953961424 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1998/tid=2000] ppid=1996 vsize=2992884 CPUtime=1202.23 cores=0,2,4,6
/proc/1998/task/2000/stat : 2000 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 1793051 0 0 0 119922 301 0 0 25 0 4 0 650548367 3064713216 652389 33554432000 4194304 4580107 140736953961424 18446744073709551615 4302360 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1998/tid=2001] ppid=1996 vsize=2992884 CPUtime=1202.2 cores=0,2,4,6
/proc/1998/task/2001/stat : 2001 (strangenight2-m) R 1996 1998 1880 0 -1 4202560 443882 0 0 0 120126 94 0 0 25 0 4 0 650548367 3064713216 652389 33554432000 4194304 4580107 140736953961424 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 2992884

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

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

[startup+1202.51 s]
/proc/loadavg: 8.76 8.25 7.45 5/232 2174
/proc/meminfo: memFree=14889548/32950928 swapFree=64721848/67111528
[pid=1998] ppid=1996 vsize=0 CPUtime=4800.17 cores=0,2,4,6
/proc/1998/stat : 1998 (strangenight2-m) R 1996 1998 1880 0 -1 4203524 7615989 0 0 0 478652 1365 0 0 25 0 1 0 650548367 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/1998/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.52
CPU time (s): 4800.19
CPU user time (s): 4786.53
CPU system time (s): 13.6649
CPU usage (%): 399.177
Max. virtual memory (cumulated for all children) (KiB): 2992884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4786.53
system time used= 13.6649
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7615989
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= 62789
involuntary context switches= 23350

runsolver used 2.6536 second user time and 6.11407 second system time

The end

Launcher Data 

Begin job on node123 at 2011-05-14 18:11:26
IDJOB=3367178
IDBENCH=69591
IDSOLVER=1844
FILE ID=node123/3367178-1305389485
RUNJOBID= node123-1305388957-1898
PBS_JOBID= 13324430
Free space on /tmp= 73336 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT_RACE08/cnf/manol-pipe-c10nidw.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367178-1305389485/watcher-3367178-1305389485 -o /tmp/evaluation-result-3367178-1305389485/solver-3367178-1305389485 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3367178-1305389485.cnf

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

MD5SUM BENCH= 943fd86d922b13236c21a74c4f82b6d0
RANDOM SEED=1359650127

node123.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.838
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.67
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.838
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	: 5226.15
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.838
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.838
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.82
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.838
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.74
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.838
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.80
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.838
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.74
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.838
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      19003816 kB
Buffers:        281596 kB
Cached:        3982884 kB
SwapCached:      10496 kB
Active:       10857728 kB
Inactive:      2833272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      19003816 kB
SwapTotal:    67111528 kB
SwapFree:     64721848 kB
Dirty:           29100 kB
Writeback:           0 kB
AnonPages:     9423708 kB
Mapped:          16412 kB
Slab:           164180 kB
PageTables:      32096 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 13489848 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= 66412 MiB
End job on node123 at 2011-05-14 18:31:30