Trace number 3369627

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-1-mt (fixed)? (TO) 4800.23 1202.84

General information on the benchmark

NameSAT04/industrial/vangelder/cnf-color/
myciel6-tr.used-as.sat04-320.cnf
MD5SUM5ba57e5cfd40b4a93356dbea5162016d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark384.789
Satisfiable
(Un)Satisfiability was proved
Number of variables570
Number of clauses4625
Sum of the clauses size9615
Maximum clause length6
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 24531
Number of clauses of size 31
Number of clauses of size 41
Number of clauses of size 51
Number of clauses of size over 590

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 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3369627-1305416371.cnf'
0.00/0.00	c -- header says num vars:            570
0.00/0.00	c -- header says num clauses:        4625
0.00/0.01	c -- clauses added:            0 learnts,         4625 normals,            0 xors
0.00/0.01	c -- vars added        570
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0       570        93      4483         0      9518         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/92/92 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    497 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:    107  v-fix:    0  time:  0.01 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:       0 undec:     180 neg:     390
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       390       866      2366         0      9872         0   no data   no data  --
0.15/0.06	c Decided on static restart strategy
0.41/0.13	c  N st     8      4919       390       866      2366      4880      9872    159003   no data   no data  --
1.17/0.33	c  N st    10     11302       390       866      2366      4503      9872    108623   no data   no data  --
1.97/0.51	c  N st    11     17046       390       866      2366     10078      9872    240543   no data   no data  --
3.16/0.82	c  F st    12     25001       390       866      2366     12383      9872    311730   no data   no data  --
3.16/0.82	c  N st    12     25001       390       866      2366     12383      9872    311730   no data   no data  --
3.98/1.02	c  N dy    18     30001       390       866      2366     10618      9872    244694   no data   no data  --
3.98/1.02	c  S st    18     30001       390       866      2366     10618      9872    244694   no data   no data  --
3.98/1.05	c  S st    18     30505       390       866      2366     11117      9872    258684   no data   no data  --
3.98/1.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.98/1.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3.98/1.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.04
3.98/1.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.40/1.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.29 s
4.40/1.14	c Subs w/ non-existent bins:      0 l-rem:    282 v-fix:     0 done:    390 time:  0.00 s
4.40/1.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.16/1.39	c lits-rem:       509  cl-subs:      215  v-elim:      0  v-fix:    0  time:  0.96 s
5.55/1.40	c asymm  cl-useful: 0/774/866 lits-rem:0 time: 0.04
5.55/1.40	c calculated reachability. Time: 0.00
5.55/1.40	c  N dy    18     30505       390       866      2366     10902      9872    252372   no data   no data  --
5.95/1.57	c  N dy    37     34616       390       866      2366     14979      9872    348717      9.69     10.22  --
6.75/1.75	c  N dy    46     38862       390       866      2366     11386      9872    214639      9.54     10.07  --
7.55/1.94	c  N dy    71     42877       390       866      2366     15368      9872    313422      9.82     11.51  --
8.36/2.11	c  S st    81     45758       390       866      2366      9396      9872    147996      9.80      9.35  --
8.36/2.13	c  S st    81     46261       390       866      2366      9899      9872    161906      9.80   no data  --
8.36/2.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.36/2.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
8.36/2.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.04
8.36/2.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.36/2.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.14 s
8.36/2.18	c Subs w/ non-existent bins:      0 l-rem:     80 v-fix:     0 done:    390 time:  0.00 s
8.36/2.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
8.78/2.26	c lits-rem:       105  cl-subs:      129  v-elim:      0  v-fix:    0  time:  0.30 s
8.78/2.26	c vivif2 --  cl tried      866 cl shrink        0 lits rem          0 time: 0.00
8.78/2.26	c vivif2 --  cl tried     9770 cl shrink       40 lits rem         74 time: 0.01
8.78/2.27	c asymm  cl-useful: 0/866/866 lits-rem:0 time: 0.04
8.78/2.27	c calculated reachability. Time: 0.00
8.78/2.27	c  N dy    81     46261       390       866      2366      9770      9872    160171      9.80   no data  --
9.53/2.44	c  N dy    90     50518       390       866      2366     13948      9872    261815      9.74     10.35  --
10.33/2.66	c  N dy   109     54580       390       866      2366     17959      9872    354267      9.80     10.36  --
11.13/2.89	c  N dy   127     58728       390       866      2366     12199      9872    196144      9.78     10.40  --
12.34/3.11	c  N dy   143     62857       390       866      2366     16258      9872    284061      9.78     10.30  --
13.17/3.37	c  N dy   162     66952       390       866      2366     20287      9872    372186      9.79     11.05  --
13.93/3.52	c  S st   176     69394       390       866      2366     11875      9872    173078      9.81   no data  --
13.93/3.55	c  S st   176     69901       390       866      2366     12381      9872    186449      9.81   no data  --
13.93/3.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.93/3.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.93/3.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.05
13.93/3.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.33/3.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.14 s
14.33/3.60	c Subs w/ non-existent bins:      0 l-rem:    114 v-fix:     0 done:    390 time:  0.00 s
14.33/3.60	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
14.72/3.76	c lits-rem:       120  cl-subs:      347  v-elim:      0  v-fix:    0  time:  0.63 s
14.72/3.76	c vivif2 --  cl tried      866 cl shrink        0 lits rem          0 time: 0.00
14.72/3.76	c vivif2 --  cl tried    12034 cl shrink       47 lits rem         69 time: 0.01
14.72/3.77	c asymm  cl-useful: 0/866/866 lits-rem:0 time: 0.04
14.72/3.77	c calculated reachability. Time: 0.00
14.72/3.77	c  N dy   176     69901       390       866      2366     12034      9872    182852      9.81   no data  --
15.92/4.03	c  N dy   204     74856       390       866      2366     16931      9872    294198      9.86     10.40  --
17.13/4.37	c  N dy   227     80209       390       866      2366     22182      9872    403828      9.88     10.51  --
18.72/4.74	c  N dy   256     86661       390       866      2366     16726      9872    268112      9.89     10.45  --
18.72/4.78	c  F st   261     87501       390       866      2366     17555      9872    287200      9.90   no data  --
19.91/5.04	c Decided on static restart strategy
19.91/5.04	c  N st   267     92695       390       866      2366     22677      9872    424775      9.90   no data  --
21.52/5.45	c  N st   269     99808       390       866      2366     16865      9872    382753      9.90   no data  --
22.70/5.73	c  S st   270    104851       390       866      2366     21829      9872    510122      9.90   no data  --
22.70/5.78	c  S st   270    105357       390       866      2366     22335      9872    523401      9.90   no data  --
22.70/5.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
22.70/5.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.10/5.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.10
23.10/5.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.51/5.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.63 s
23.51/5.98	c Subs w/ non-existent bins:      0 l-rem:    954 v-fix:     0 done:    390 time:  0.02 s
23.51/5.98	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
29.09/7.37	c lits-rem:      1425  cl-subs:      445  v-elim:      0  v-fix:    0  time:  5.55 s
29.09/7.37	c vivif2 --  cl tried      866 cl shrink        0 lits rem          0 time: 0.00
29.09/7.38	c vivif2 --  cl tried    21890 cl shrink      648 lits rem       2110 time: 0.04
29.49/7.40	c asymm  cl-useful: 0/866/866 lits-rem:0 time: 0.10
29.49/7.40	c calculated reachability. Time: 0.00
29.49/7.40	c  N st   270    105357       390       866      2366     21890      9872    506210      9.90   no data  --
31.08/7.89	c  N st   271    114955       390       866      2366     17523      9872    385356      9.90   no data  --
35.11/8.88	c  N st   272    129352       390       866      2366     16807      9872    308862      9.90   no data  --
41.06/10.34	c  N st   273    150948       390       866      2366     22110      9872    406829      9.90   no data  --
43.06/10.90	c  S st   274    158035       390       866      2366     29076      9872    576342      9.90   no data  --
43.47/10.95	c  S st   274    158536       390       866      2366     29575      9872    591186      9.90   no data  --
43.47/10.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
43.47/10.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.47/10.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.12
43.47/10.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.26/11.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.53 s
44.26/11.13	c Subs w/ non-existent bins:      0 l-rem:    536 v-fix:     0 done:    390 time:  0.01 s
44.26/11.13	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
50.24/12.66	c lits-rem:      1523  cl-subs:     1998  v-elim:      0  v-fix:    0  time:  6.09 s
50.24/12.66	c vivif2 --  cl tried      866 cl shrink        0 lits rem          0 time: 0.00
50.24/12.67	c vivif2 --  cl tried    27577 cl shrink      251 lits rem        429 time: 0.05
50.24/12.70	c asymm  cl-useful: 0/866/866 lits-rem:0 time: 0.11
50.64/12.70	c calculated reachability. Time: 0.00
50.64/12.70	c  N st   274    158536       390       866      2366     27577      9872    552164      9.90   no data  --
66.60/16.70	c  N st   275    207124       390       866      2366     22303      9872    376776      9.90   no data  --
77.78/19.55	c  N st   276    237807       390       866      2366     32494      9872    576045      9.90   no data  --
77.78/19.55	c  S st   276    237807       390       866      2366     32494      9872    576045      9.90   no data  --
78.18/19.61	c  S st   276    238313       390       866      2366     32994      9872    590196      9.90   no data  --
78.18/19.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
78.18/19.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
78.18/19.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.13
78.18/19.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
78.59/19.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.43 s
78.59/19.78	c Subs w/ non-existent bins:      0 l-rem:   2839 v-fix:     0 done:    390 time:  0.05 s
78.59/19.78	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
85.36/21.43	c lits-rem:      1567  cl-subs:     3319  v-elim:      0  v-fix:    0  time:  6.56 s
85.36/21.43	c vivif2 --  cl tried      866 cl shrink        0 lits rem          0 time: 0.00
85.36/21.45	c vivif2 --  cl tried    29675 cl shrink     2105 lits rem       7286 time: 0.08
85.36/21.48	c asymm  cl-useful: 0/866/866 lits-rem:0 time: 0.14
85.36/21.48	c calculated reachability. Time: 0.00
85.36/21.48	c  N st   276    238313       390       866      2366     29675      9872    524616      9.90   no data  --
112.10/28.12	c  F st   277    306252       390       866      2366     31839      9872    551019      9.90   no data  --
112.10/28.12	c  N st   277    306252       390       866      2366     31839      9872    551019      9.90   no data  --
114.49/28.71	c Decided on static restart strategy
123.67/31.08	c  N st   287    334558       390       866      2366     36129      9872    709472      9.90   no data  --
131.27/32.97	c  N st   289    357471       390       866      2366     34060      9872    584200      9.90   no data  --
131.27/32.97	c  S st   289    357471       390       866      2366     34060      9872    584200      9.90   no data  --
131.69/33.03	c  S st   289    357974       390       866      2366     34560      9872    598325      9.90   no data  --
131.69/33.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
131.69/33.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
131.69/33.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.1M T:  0.16
131.69/33.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
132.46/33.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.48 s
132.46/33.21	c Subs w/ non-existent bins:      0 l-rem:    595 v-fix:     0 done:    390 time:  0.01 s
132.46/33.21	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
138.44/34.71	c lits-rem:      1429  cl-subs:     1529  v-elim:      0  v-fix:    0  time:  5.98 s
138.44/34.71	c vivif2 --  cl tried      866 cl shrink        0 lits rem          0 time: 0.00
138.44/34.72	c vivif2 --  cl tried    33031 cl shrink      237 lits rem        482 time: 0.05
138.44/34.76	c asymm  cl-useful: 0/866/866 lits-rem:0 time: 0.16
138.44/34.77	c calculated reachability. Time: 0.00
138.44/34.77	c  N st   289    357974       390       866      2366     33031      9872    570408      9.90   no data  --
150.81/37.89	c  N st   290    390366       390       866      2366     39189      9872    786573      9.90   no data  --
169.17/42.48	c  N st   291    438956       390       866      2366     33097      9872    563337      9.90   no data  --
196.31/49.23	c  N st   292    511838       390       866      2366     46523      9872    964180      9.90   no data  --
207.88/52.15	c  N st   293    536963       390       866      2367     40852      9872    732580      9.90   no data  --
207.88/52.15	c  S st   293    536963       390       866      2367     40852      9872    732580      9.90   no data  --
208.28/52.22	c  S st   293    537464       390       866      2368     41349      9872    746850      9.90   no data  --
208.28/52.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
208.28/52.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
208.28/52.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.7M T:  0.22
208.68/52.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
209.48/52.50	c subs with bin:      260  lits-rem:      1355  v-fix:    0  time:  0.80 s
209.48/52.51	c Subs w/ non-existent bins:      0 l-rem:    848 v-fix:     0 done:    390 time:  0.02 s
209.48/52.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
215.45/54.09	c lits-rem:      1364  cl-subs:      748  v-elim:      0  v-fix:    0  time:  6.30 s
215.45/54.09	c vivif2 --  cl tried      866 cl shrink        0 lits rem          0 time: 0.00
215.85/54.10	c vivif2 --  cl tried    40341 cl shrink      524 lits rem       1422 time: 0.06
215.85/54.17	c asymm  cl-useful: 0/866/866 lits-rem:0 time: 0.27
215.85/54.17	c calculated reachability. Time: 0.00
215.85/54.17	c  N st   293    537464       390       866      2368     40341      9872    722474      9.90   no data  --
296.88/74.46	c  N st   294    701448       390       866      2368     68999      9872   1397467      9.90   no data  --
348.75/87.40	c  N st   295    806196       390       866      2369     62848      9872   1299607      9.90   no data  --
348.75/87.40	c  S st   295    806196       390       866      2369     62848      9872   1299607      9.90   no data  --
349.15/87.54	c  S st   295    806700       390       866      2370     63352      9872   1313411      9.90   no data  --
349.15/87.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
349.15/87.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
349.56/87.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.8M T:  0.44
349.96/87.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
351.55/88.16	c subs with bin:      307  lits-rem:      1052  v-fix:    0  time:  1.84 s
351.55/88.18	c Subs w/ non-existent bins:      0 l-rem:   1555 v-fix:     0 done:    390 time:  0.08 s
351.55/88.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
360.33/90.33	c lits-rem:       475  cl-subs:     1989  v-elim:      0  v-fix:    0  time:  8.56 s
360.33/90.33	c vivif2 --  cl tried      866 cl shrink        0 lits rem          0 time: 0.00
360.33/90.36	c vivif2 --  cl tried    61056 cl shrink     1089 lits rem       2927 time: 0.12
361.13/90.50	c asymm  cl-useful: 0/866/866 lits-rem:0 time: 0.58
361.13/90.50	c calculated reachability. Time: 0.00
361.13/90.50	c  N st   295    806700       390       866      2370     61056      9872   1256109      9.90   no data  --
504.00/126.36	c  F st   296   1071876       390       866      2371     77202      9872   1544659      9.90   no data  --
504.00/126.36	c  N st   296   1071876       390       866      2371     77202      9872   1544659      9.90   no data  --
508.00/127.39	c Decided on static restart strategy
521.16/130.67	c  N st   306   1100180       390       866      2373     60893      9872   1028694      9.90   no data  --
545.11/136.70	c  N st   308   1136173       390       866      2373     51144      9872    792340      9.90   no data  --
566.64/142.04	c  N st   309   1168565       390       866      2373     82165      9872   1415656      9.90   no data  --
598.58/150.01	c  N st   310   1210053       390       866      2373     77101      9872   1483318      9.90   no data  --
598.58/150.01	c  S st   310   1210053       390       866      2373     77101      9872   1483318      9.90   no data  --
599.38/150.20	c  S st   310   1210556       390       866      2373     77601      9872   1497518      9.90   no data  --
599.38/150.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
599.38/150.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
599.78/150.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.9M T:  0.73
600.18/150.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
602.17/150.90	c subs with bin:      228  lits-rem:       454  v-fix:    0  time:  1.85 s
602.17/150.93	c Subs w/ non-existent bins:      0 l-rem:   1437 v-fix:     0 done:    390 time:  0.08 s
602.17/150.93	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
619.33/155.23	c lits-rem:       291  cl-subs:     3220  v-elim:      0  v-fix:    0  time: 17.16 s
619.33/155.23	c vivif2 --  cl tried      866 cl shrink        0 lits rem          0 time: 0.00
619.33/155.26	c vivif2 --  cl tried    74153 cl shrink      574 lits rem       1071 time: 0.13
620.13/155.44	c asymm  cl-useful: 0/866/866 lits-rem:0 time: 0.72
620.13/155.44	c calculated reachability. Time: 0.00
620.13/155.44	c  N st   310   1210556       390       866      2373     74153      9872   1419178      9.90   no data  --
680.01/170.49	c  N st   311   1283438       390       866      2373     50792      9872    788850      9.90   no data  --
762.60/191.15	c  N st   312   1392762       390       866      2374     58454      9872    931463      9.90   no data  --
898.30/225.16	c  N st   313   1556748       390       866      2374     64217      9872   1073979      9.90   no data  --
1033.59/259.02	c  N st   314   1710556       389       866      2375    105476      9872   2118099      9.90   no data  --
1033.59/259.02	c  S st   314   1710556       389       866      2375    105476      9872   2118099      9.90   no data  --
1034.38/259.20	c  S st   314   1711058       389       866      2375    105975      9872   2133324      9.90   no data  --
1034.38/259.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1034.38/259.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1035.18/259.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.5M T:  0.79
1035.18/259.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1037.98/260.12	c subs with bin:       44  lits-rem:       318  v-fix:    0  time:  2.45 s
1037.98/260.16	c Subs w/ non-existent bins:      0 l-rem:   2991 v-fix:     0 done:    389 time:  0.17 s
1037.98/260.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1075.52/269.51	c lits-rem:      1456  cl-subs:     5401  v-elim:      0  v-fix:    0  time: 37.30 s
1075.52/269.51	c vivif2 --  cl tried      844 cl shrink        0 lits rem          0 time: 0.00
1075.52/269.56	c vivif2 --  cl tried    93936 cl shrink     1007 lits rem       1830 time: 0.20
1076.68/269.84	c asymm  cl-useful: 0/844/844 lits-rem:0 time: 1.11
1076.68/269.84	c calculated reachability. Time: 0.00
1076.68/269.84	c  N st   314   1711058       389       844      2346     93936      9691   1921941      9.90   no data  --
1423.08/356.66	c  N st   315   2080022       389       844      2347    111883      9691   2274875      9.90   no data  --
1535.64/384.84	c  N st   316   2211059       389       844      2348    115619      9691   2257553      9.90   no data  --
1535.64/384.84	c  S st   316   2211059       389       844      2348    115619      9691   2257553      9.90   no data  --
1536.83/385.11	c  S st   316   2211562       389       844      2348    116116      9691   2272716      9.90   no data  --
1536.83/385.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1536.83/385.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1537.63/385.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.7M T:  1.06
1538.03/385.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1549.22/388.25	c subs with bin:     3327  lits-rem:      2013  v-fix:    0  time: 11.12 s
1549.22/388.30	c Subs w/ non-existent bins:      0 l-rem:   3139 v-fix:     0 done:    389 time:  0.20 s
1549.22/388.30	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1594.30/399.58	c lits-rem:      1181  cl-subs:    10080  v-elim:      0  v-fix:    0  time: 45.03 s
1594.30/399.58	c vivif2 --  cl tried      844 cl shrink        0 lits rem          0 time: 0.00
1594.70/399.64	c vivif2 --  cl tried   102709 cl shrink     1290 lits rem       2676 time: 0.21
1595.90/399.93	c asymm  cl-useful: 0/844/844 lits-rem:0 time: 1.16
1595.90/399.93	c calculated reachability. Time: 0.00
1595.90/399.93	c  N st   316   2211562       389       844      2348    102709      9690   2017893      9.90   no data  --
2083.18/522.07	c  N st   317   2711562       389       844      2352    126148      9690   2448534      9.90   no data  --
2083.18/522.07	c  S st   317   2711562       389       844      2352    126148      9690   2448534      9.90   no data  --
2084.38/522.32	c  S st   317   2712065       389       844      2353    126651      9690   2462617      9.90   no data  --
2084.38/522.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2084.38/522.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2085.58/522.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  7.8M T:  1.16
2085.97/522.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2093.99/524.73	c subs with bin:     1737  lits-rem:      4374  v-fix:    0  time:  8.09 s
2094.35/524.80	c Subs w/ non-existent bins:      0 l-rem:   4675 v-fix:     0 done:    389 time:  0.28 s
2094.35/524.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2153.42/539.63	c lits-rem:      2361  cl-subs:     9838  v-elim:      0  v-fix:    0  time: 59.19 s
2153.42/539.63	c vivif2 --  cl tried      844 cl shrink        0 lits rem          0 time: 0.00
2153.83/539.71	c vivif2 --  cl tried   115076 cl shrink     2102 lits rem       4288 time: 0.28
2155.04/540.04	c asymm  cl-useful: 0/640/844 lits-rem:0 time: 1.33
2155.04/540.04	c calculated reachability. Time: 0.00
2155.04/540.04	c  N st   317   2712065       389       844      2354    115076      9689   2241765      9.90   no data  --
2155.04/540.04	c Finding binary XORs  T:     0.00 s  found:       0
2675.02/670.32	c  N st   318   3212066       389       844      2354     91618      9689   1526268      9.90   no data  --
2675.02/670.32	c  S st   318   3212066       389       844      2354     91618      9689   1526268      9.90   no data  --
2675.82/670.56	c  S st   318   3212568       389       844      2354     92116      9689   1540254      9.90   no data  --
2675.82/670.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2675.82/670.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2677.02/670.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.3M T:  1.08
2677.02/670.89	c bin-w-bin subsume rem            1 bins  time:  0.00 s
2679.41/671.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.01 s
2679.41/671.41	c Subs w/ non-existent bins:      0 l-rem:   1133 v-fix:     0 done:    389 time:  0.05 s
2679.41/671.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2696.17/675.67	c lits-rem:       720  cl-subs:     1310  v-elim:      0  v-fix:    0  time: 16.98 s
2696.17/675.67	c vivif2 --  cl tried      844 cl shrink        0 lits rem          0 time: 0.00
2696.57/675.70	c vivif2 --  cl tried    90806 cl shrink      428 lits rem        763 time: 0.14
2697.77/676.06	c asymm  cl-useful: 0/844/844 lits-rem:0 time: 1.42
2697.77/676.06	c calculated reachability. Time: 0.00
2697.77/676.06	c  N st   318   3212568       389       844      2353     90806      9689   1515066      9.90   no data  --
3218.17/806.46	c  N st   319   3712570       389       844      2354    102460      9689   1727949      9.90   no data  --
3218.17/806.46	c  S st   319   3712570       389       844      2354    102460      9689   1727949      9.90   no data  --
3218.97/806.69	c  S st   319   3713072       389       844      2354    102960      9689   1742161      9.90   no data  --
3219.37/806.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3219.37/806.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3220.17/806.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  7.2M T:  0.94
3220.17/806.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3222.20/807.45	c subs with bin:       28  lits-rem:        63  v-fix:    0  time:  1.83 s
3222.20/807.46	c Subs w/ non-existent bins:      0 l-rem:    784 v-fix:     0 done:    389 time:  0.04 s
3222.20/807.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3237.73/811.37	c lits-rem:      1258  cl-subs:     1128  v-elim:      0  v-fix:    0  time: 15.62 s
3237.73/811.37	c vivif2 --  cl tried      844 cl shrink        0 lits rem          0 time: 0.00
3238.13/811.41	c vivif2 --  cl tried   101804 cl shrink      431 lits rem        843 time: 0.15
3239.34/811.72	c asymm  cl-useful: 0/742/844 lits-rem:0 time: 1.21
3239.34/811.72	c calculated reachability. Time: 0.00
3239.34/811.72	c  N st   319   3713072       389       844      2354    101804      9689   1713597      9.90   no data  --
3286.01/823.44	c  F st   320   3751563       389       844      2354    139071      9689   2674488      9.90   no data  --
3286.01/823.44	c  N st   320   3751563       389       844      2354    139071      9689   2674488      9.90   no data  --
3293.60/825.35	c Decided on static restart strategy
3326.33/833.56	c  N st   330   3779873       389       844      2356     83809      9689   1229043      9.90   no data  --
3358.29/841.54	c  N st   332   3815866       389       844      2356    118608      9689   2163558      9.90   no data  --
3396.57/851.10	c  N st   333   3848260       389       844      2357    149592      9689   2861443      9.90   no data  --
3450.06/864.59	c  N st   334   3896849       389       844      2357    113250      9689   1989969      9.90   no data  --
3547.82/889.08	c  N st   335   3969733       389       844      2357     99748      9689   1691939      9.90   no data  --
3694.68/925.89	c  N st   336   4079056       389       844      2358    120618      9689   2211822      9.90   no data  --
3861.50/967.67	c  N st   337   4213072       389       844      2361    162617      9689   2930507      9.90   no data  --
3861.50/967.67	c  S st   337   4213072       389       844      2361    162617      9689   2930507      9.90   no data  --
3862.71/967.97	c  S st   337   4213573       389       844      2364    163118      9689   2946310      9.90   no data  --
3862.71/967.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3862.71/967.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3864.29/968.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      1 BRemN:      0 P:  9.6M T:  1.36
3864.69/968.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4009.96/1004.84	c subs with bin:    43371  lits-rem:     15202  v-fix:    0  time: 145.29 s
4009.96/1004.86	c Subs w/ non-existent bins:      0 l-rem:   1824 v-fix:     0 done:    389 time:  0.09 s
4009.96/1004.86	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4040.69/1012.56	c lits-rem:      2155  cl-subs:     3067  v-elim:      0  v-fix:    0  time: 30.68 s
4040.69/1012.56	c vivif2 --  cl tried      844 cl shrink        1 lits rem          1 time: 0.00
4041.09/1012.64	c vivif2 --  cl tried   116680 cl shrink     5310 lits rem       6398 time: 0.35
4042.29/1012.98	c asymm  cl-useful: 0/679/844 lits-rem:0 time: 1.33
4042.29/1012.98	c calculated reachability. Time: 0.00
4042.29/1012.98	c  N st   337   4213573       389       844      2363    116680      9688   1991878      9.90   no data  --
4088.19/1024.45	c Finding binary XORs  T:     0.00 s  found:       0
4327.24/1084.34	c  N st   338   4459550       388       834      2334     88851      9576   1358174      9.90   no data  --
4639.74/1162.67	c  N st   339   4713573       388       834      2335    156601      9576   2915554      9.90   no data  --
4639.74/1162.67	c  S st   339   4713573       388       834      2335    156601      9576   2915554      9.90   no data  --
4641.31/1163.07	c  S st   339   4714076       388       834      2335    157101      9576   2929368      9.90   no data  --
4641.31/1163.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4641.31/1163.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4642.91/1163.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  9.3M T:  1.62
4643.31/1163.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4648.10/1164.70	c subs with bin:      151  lits-rem:        88  v-fix:    0  time:  4.44 s
4648.10/1164.80	c Subs w/ non-existent bins:      0 l-rem:   4202 v-fix:     0 done:    388 time:  0.38 s
4648.10/1164.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4747.06/1189.58	c lits-rem:      3388  cl-subs:    11718  v-elim:      0  v-fix:    0  time: 98.86 s
4747.06/1189.58	c vivif2 --  cl tried      834 cl shrink        0 lits rem          0 time: 0.00
4747.46/1189.66	c vivif2 --  cl tried   145232 cl shrink     1879 lits rem       3591 time: 0.29
4749.06/1190.01	c asymm  cl-useful: 0/514/834 lits-rem:0 time: 1.41
4749.06/1190.02	c calculated reachability. Time: 0.00
4749.06/1190.02	c  N st   339   4714076       388       834      2335    145232      9576   2712598      9.90   no data  --

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-3369627-1305416371/watcher-3369627-1305416371 -o /tmp/evaluation-result-3369627-1305416371/solver-3369627-1305416371 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369627-1305416371.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.46 7.78 5.79 6/291 2781
/proc/meminfo: memFree=28831752/32951124 swapFree=54427468/67111528
[pid=2781] ppid=2779 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2781/stat : 2781 (strangenight1-m) R 2779 2781 2611 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 653235123 52465664 352 33554432000 4194304 4650419 140733391846144 18446744073709551615 228122770417 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2781/statm: 12809 352 303 112 0 7774 0
[pid=2781/tid=2782] ppid=2779 vsize=208304 CPUtime=0 cores=0,2,4,6
/proc/2781/task/2782/stat : 2782 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 113 0 0 0 0 0 0 0 25 0 4 0 653235123 213303296 789 33554432000 4194304 4650419 140733391846144 18446744073709551615 4468736 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2781/tid=2783] ppid=2779 vsize=208304 CPUtime=0 cores=0,2,4,6
/proc/2781/task/2783/stat : 2783 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 71 0 0 0 0 0 0 0 25 0 4 0 653235123 213303296 789 33554432000 4194304 4650419 140733391846144 18446744073709551615 228122819054 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2781/tid=2784] ppid=2779 vsize=208304 CPUtime=0 cores=0,2,4,6
/proc/2781/task/2784/stat : 2784 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 129 0 0 0 0 0 0 0 25 0 4 0 653235123 213303296 790 33554432000 4194304 4650419 140733391846144 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0456651 s]
/proc/loadavg: 7.46 7.78 5.79 6/291 2781
/proc/meminfo: memFree=28831752/32951124 swapFree=54427468/67111528
[pid=2781] ppid=2779 vsize=282452 CPUtime=0.15 cores=0,2,4,6
/proc/2781/stat : 2781 (strangenight1-m) R 2779 2781 2611 0 -1 4202496 1492 0 0 0 15 0 0 0 18 0 4 0 653235123 289230848 1416 33554432000 4194304 4650419 140733391846144 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2781/statm: 70613 1416 390 112 0 65578 0
[pid=2781/tid=2782] ppid=2779 vsize=282452 CPUtime=0.03 cores=0,2,4,6
/proc/2781/task/2782/stat : 2782 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 280 0 0 0 3 0 0 0 18 0 4 0 653235123 289230848 1416 33554432000 4194304 4650419 140733391846144 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2781/tid=2783] ppid=2779 vsize=282452 CPUtime=0.03 cores=0,2,4,6
/proc/2781/task/2783/stat : 2783 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 276 0 0 0 3 0 0 0 25 0 4 0 653235123 289230848 1416 33554432000 4194304 4650419 140733391846144 18446744073709551615 228122819054 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2781/tid=2784] ppid=2779 vsize=282452 CPUtime=0.03 cores=0,2,4,6
/proc/2781/task/2784/stat : 2784 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 228 0 0 0 3 0 0 0 18 0 4 0 653235123 289230848 1416 33554432000 4194304 4650419 140733391846144 18446744073709551615 228122819103 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 282452

[startup+0.110136 s]
/proc/loadavg: 7.46 7.78 5.79 6/291 2781
/proc/meminfo: memFree=28831752/32951124 swapFree=54427468/67111528
[pid=2781] ppid=2779 vsize=282584 CPUtime=0.41 cores=0,2,4,6
/proc/2781/stat : 2781 (strangenight1-m) R 2779 2781 2611 0 -1 4202496 1972 0 0 0 41 0 0 0 18 0 4 0 653235123 289366016 1896 33554432000 4194304 4650419 140733391846144 18446744073709551615 4360355 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2781/statm: 70646 1896 391 112 0 65611 0
[pid=2781/tid=2782] ppid=2779 vsize=282584 CPUtime=0.1 cores=0,2,4,6
/proc/2781/task/2782/stat : 2782 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 389 0 0 0 10 0 0 0 18 0 4 0 653235123 289366016 1896 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2781/tid=2783] ppid=2779 vsize=282584 CPUtime=0.09 cores=0,2,4,6
/proc/2781/task/2783/stat : 2783 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 394 0 0 0 9 0 0 0 25 0 4 0 653235123 289366016 1896 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2781/tid=2784] ppid=2779 vsize=282584 CPUtime=0.1 cores=0,2,4,6
/proc/2781/task/2784/stat : 2784 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 354 0 0 0 10 0 0 0 18 0 4 0 653235123 289366016 1896 33554432000 4194304 4650419 140733391846144 18446744073709551615 4363756 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282584

[startup+0.301102 s]
/proc/loadavg: 7.46 7.78 5.79 6/291 2781
/proc/meminfo: memFree=28831752/32951124 swapFree=54427468/67111528
[pid=2781] ppid=2779 vsize=284204 CPUtime=1.17 cores=0,2,4,6
/proc/2781/stat : 2781 (strangenight1-m) R 2779 2781 2611 0 -1 4202496 3275 0 0 0 117 0 0 0 18 0 4 0 653235123 291024896 2511 33554432000 4194304 4650419 140733391846144 18446744073709551615 4333024 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2781/statm: 71051 2511 393 112 0 66016 0
[pid=2781/tid=2782] ppid=2779 vsize=284204 CPUtime=0.29 cores=0,2,4,6
/proc/2781/task/2782/stat : 2782 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 696 0 0 0 29 0 0 0 18 0 4 0 653235123 291024896 2511 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2781/tid=2783] ppid=2779 vsize=284204 CPUtime=0.28 cores=0,2,4,6
/proc/2781/task/2783/stat : 2783 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 695 0 0 0 28 0 0 0 25 0 4 0 653235123 291024896 2511 33554432000 4194304 4650419 140733391846144 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2781/tid=2784] ppid=2779 vsize=284204 CPUtime=0.29 cores=0,2,4,6
/proc/2781/task/2784/stat : 2784 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 681 0 0 0 29 0 0 0 18 0 4 0 653235123 291024896 2511 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284204

[startup+0.70103 s]
/proc/loadavg: 7.46 7.78 5.79 6/291 2781
/proc/meminfo: memFree=28831752/32951124 swapFree=54427468/67111528
[pid=2781] ppid=2779 vsize=285632 CPUtime=2.77 cores=0,2,4,6
/proc/2781/stat : 2781 (strangenight1-m) R 2779 2781 2611 0 -1 4202496 5551 0 0 0 277 0 0 0 18 0 4 0 653235123 292487168 2983 33554432000 4194304 4650419 140733391846144 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2781/statm: 71408 2983 393 112 0 66373 0
[pid=2781/tid=2782] ppid=2779 vsize=285632 CPUtime=0.69 cores=0,2,4,6
/proc/2781/task/2782/stat : 2782 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 1231 0 0 0 69 0 0 0 18 0 4 0 653235123 292487168 2983 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2781/tid=2783] ppid=2779 vsize=285632 CPUtime=0.68 cores=0,2,4,6
/proc/2781/task/2783/stat : 2783 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 1262 0 0 0 68 0 0 0 25 0 4 0 653235123 292487168 2983 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2781/tid=2784] ppid=2779 vsize=285632 CPUtime=0.69 cores=0,2,4,6
/proc/2781/task/2784/stat : 2784 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 1171 0 0 0 69 0 0 0 18 0 4 0 653235123 292487168 2983 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285632

[startup+1.50089 s]
/proc/loadavg: 7.46 7.78 5.79 9/295 2786
/proc/meminfo: memFree=28797248/32951124 swapFree=54427468/67111528
[pid=2781] ppid=2779 vsize=291344 CPUtime=5.95 cores=0,2,4,6
/proc/2781/stat : 2781 (strangenight1-m) R 2779 2781 2611 0 -1 4202496 11443 0 0 0 594 1 0 0 20 0 4 0 653235123 298336256 6254 33554432000 4194304 4650419 140733391846144 18446744073709551615 4364766 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2781/statm: 72836 6254 395 112 0 67801 0
[pid=2781/tid=2782] ppid=2779 vsize=291344 CPUtime=1.49 cores=0,2,4,6
/proc/2781/task/2782/stat : 2782 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 3157 0 0 0 149 0 0 0 19 0 4 0 653235123 298336256 6254 33554432000 4194304 4650419 140733391846144 18446744073709551615 4541360 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2781/tid=2783] ppid=2779 vsize=291344 CPUtime=1.46 cores=0,2,4,6
/proc/2781/task/2783/stat : 2783 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 2149 0 0 0 146 0 0 0 25 0 4 0 653235123 298336256 6254 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2781/tid=2784] ppid=2779 vsize=291344 CPUtime=1.49 cores=0,2,4,6
/proc/2781/task/2784/stat : 2784 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 2099 0 0 0 149 0 0 0 19 0 4 0 653235123 298336256 6254 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 291344

[startup+3.1006 s]
/proc/loadavg: 7.51 7.78 5.80 9/295 2786
/proc/meminfo: memFree=28656012/32951124 swapFree=54427468/67111528
[pid=2781] ppid=2779 vsize=298888 CPUtime=12.34 cores=0,2,4,6
/proc/2781/stat : 2781 (strangenight1-m) R 2779 2781 2611 0 -1 4202496 21166 0 0 0 1231 3 0 0 25 0 4 0 653235123 306061312 12169 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2781/statm: 74722 12169 395 112 0 69687 0
[pid=2781/tid=2782] ppid=2779 vsize=298888 CPUtime=3.08 cores=0,2,4,6
/proc/2781/task/2782/stat : 2782 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 5953 0 0 0 308 0 0 0 25 0 4 0 653235123 306061312 12169 33554432000 4194304 4650419 140733391846144 18446744073709551615 4476385 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2781/tid=2783] ppid=2779 vsize=298888 CPUtime=3.05 cores=0,2,4,6
/proc/2781/task/2783/stat : 2783 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 5002 0 0 0 304 1 0 0 25 0 4 0 653235123 306061312 12169 33554432000 4194304 4650419 140733391846144 18446744073709551615 4366204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2781/tid=2784] ppid=2779 vsize=298888 CPUtime=3.08 cores=0,2,4,6
/proc/2781/task/2784/stat : 2784 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 4633 0 0 0 308 0 0 0 25 0 4 0 653235123 306061312 12169 33554432000 4194304 4650419 140733391846144 18446744073709551615 4331957 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 298888

[startup+6.30102 s]
/proc/loadavg: 7.51 7.78 5.80 9/295 2786
/proc/meminfo: memFree=28597384/32951124 swapFree=54427468/67111528
[pid=2781] ppid=2779 vsize=300660 CPUtime=25.11 cores=0,2,4,6
/proc/2781/stat : 2781 (strangenight1-m) R 2779 2781 2611 0 -1 4202496 30934 0 0 0 2506 5 0 0 25 0 4 0 653235123 307875840 15840 33554432000 4194304 4650419 140733391846144 18446744073709551615 4439371 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2781/statm: 75165 15840 395 112 0 70130 0
[pid=2781/tid=2782] ppid=2779 vsize=300660 CPUtime=6.29 cores=0,2,4,6
/proc/2781/task/2782/stat : 2782 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 7695 0 0 0 628 1 0 0 25 0 4 0 653235123 307875840 15840 33554432000 4194304 4650419 140733391846144 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2781/tid=2783] ppid=2779 vsize=300660 CPUtime=6.22 cores=0,2,4,6
/proc/2781/task/2783/stat : 2783 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 7275 0 0 0 621 1 0 0 25 0 4 0 653235123 307875840 15840 33554432000 4194304 4650419 140733391846144 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2781/tid=2784] ppid=2779 vsize=300660 CPUtime=6.28 cores=0,2,4,6
/proc/2781/task/2784/stat : 2784 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 7082 0 0 0 627 1 0 0 25 0 4 0 653235123 307875840 15840 33554432000 4194304 4650419 140733391846144 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 300660

[startup+12.7009 s]
/proc/loadavg: 7.58 7.79 5.82 9/295 2786
/proc/meminfo: memFree=28554792/32951124 swapFree=54427468/67111528
[pid=2781] ppid=2779 vsize=294488 CPUtime=50.64 cores=0,2,4,6
/proc/2781/stat : 2781 (strangenight1-m) R 2779 2781 2611 0 -1 4202496 44254 0 0 0 5057 7 0 0 25 0 4 0 653235123 301555712 22181 33554432000 4194304 4650419 140733391846144 18446744073709551615 4507296 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2781/statm: 73622 22181 395 112 0 68587 0
[pid=2781/tid=2782] ppid=2779 vsize=294488 CPUtime=12.68 cores=0,2,4,6
/proc/2781/task/2782/stat : 2782 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 10994 0 0 0 1267 1 0 0 25 0 4 0 653235123 301555712 22181 33554432000 4194304 4650419 140733391846144 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2781/tid=2783] ppid=2779 vsize=294488 CPUtime=12.56 cores=0,2,4,6
/proc/2781/task/2783/stat : 2783 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 10903 0 0 0 1254 2 0 0 25 0 4 0 653235123 301555712 22181 33554432000 4194304 4650419 140733391846144 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2781/tid=2784] ppid=2779 vsize=294488 CPUtime=12.68 cores=0,2,4,6
/proc/2781/task/2784/stat : 2784 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 10391 0 0 0 1267 1 0 0 25 0 4 0 653235123 301555712 22181 33554432000 4194304 4650419 140733391846144 18446744073709551615 4366261 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 294488

[startup+25.5005 s]
/proc/loadavg: 7.64 7.80 5.85 9/295 2786
/proc/meminfo: memFree=28518000/32951124 swapFree=54427468/67111528
[pid=2781] ppid=2779 vsize=313016 CPUtime=101.72 cores=0,2,4,6
/proc/2781/stat : 2781 (strangenight1-m) R 2779 2781 2611 0 -1 4202496 64688 0 0 0 10161 11 0 0 25 0 4 0 653235123 320528384 31648 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2781/statm: 78254 31648 395 112 0 73219 0
[pid=2781/tid=2782] ppid=2779 vsize=313016 CPUtime=25.48 cores=0,2,4,6
/proc/2781/task/2782/stat : 2782 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 15216 0 0 0 2546 2 0 0 25 0 4 0 653235123 320528384 31648 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2781/tid=2783] ppid=2779 vsize=313016 CPUtime=25.24 cores=0,2,4,6
/proc/2781/task/2783/stat : 2783 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 17314 0 0 0 2520 4 0 0 25 0 4 0 653235123 320528384 31648 33554432000 4194304 4650419 140733391846144 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2781/tid=2784] ppid=2779 vsize=313016 CPUtime=25.48 cores=0,2,4,6
/proc/2781/task/2784/stat : 2784 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 16167 0 0 0 2546 2 0 0 25 0 4 0 653235123 320528384 31648 33554432000 4194304 4650419 140733391846144 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 313016

[startup+51.1009 s]
/proc/loadavg: 7.84 7.83 5.91 9/295 2787
/proc/meminfo: memFree=28384072/32951124 swapFree=54427468/67111528
[pid=2781] ppid=2779 vsize=379920 CPUtime=203.89 cores=0,2,4,6
/proc/2781/stat : 2781 (strangenight1-m) R 2779 2781 2611 0 -1 4202496 97314 0 0 0 20370 19 0 0 25 0 4 0 653235123 389038080 39841 33554432000 4194304 4650419 140733391846144 18446744073709551615 4313064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2781/statm: 94980 39841 395 112 0 89945 0
[pid=2781/tid=2782] ppid=2779 vsize=379920 CPUtime=51.09 cores=0,2,4,6
/proc/2781/task/2782/stat : 2782 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 24221 0 0 0 5104 5 0 0 25 0 4 0 653235123 389038080 39841 33554432000 4194304 4650419 140733391846144 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2781/tid=2783] ppid=2779 vsize=379920 CPUtime=50.61 cores=0,2,4,6
/proc/2781/task/2783/stat : 2783 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 26490 0 0 0 5055 6 0 0 25 0 4 0 653235123 389038080 39841 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2781/tid=2784] ppid=2779 vsize=379920 CPUtime=51.08 cores=0,2,4,6
/proc/2781/task/2784/stat : 2784 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 21489 0 0 0 5105 3 0 0 25 0 4 0 653235123 389038080 39841 33554432000 4194304 4650419 140733391846144 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.89
Current children cumulated vsize (KiB) 379920

[startup+102.311 s]
/proc/loadavg: 7.93 7.85 6.03 9/295 2788
/proc/meminfo: memFree=28157816/32951124 swapFree=54427468/67111528
[pid=2781] ppid=2779 vsize=406340 CPUtime=408.25 cores=0,2,4,6
/proc/2781/stat : 2781 (strangenight1-m) R 2779 2781 2611 0 -1 4202496 149444 0 0 0 40791 34 0 0 25 0 4 0 653235123 416092160 52431 33554432000 4194304 4650419 140733391846144 18446744073709551615 4367236 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2781/statm: 101585 52431 395 112 0 96550 0
[pid=2781/tid=2782] ppid=2779 vsize=406340 CPUtime=102.3 cores=0,2,4,6
/proc/2781/task/2782/stat : 2782 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 39766 0 0 0 10220 10 0 0 25 0 4 0 653235123 416092160 52431 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2781/tid=2783] ppid=2779 vsize=406340 CPUtime=101.35 cores=0,2,4,6
/proc/2781/task/2783/stat : 2783 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 36980 0 0 0 10126 9 0 0 25 0 4 0 653235123 416092160 52431 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2781/tid=2784] ppid=2779 vsize=406340 CPUtime=102.28 cores=0,2,4,6
/proc/2781/task/2784/stat : 2784 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 28741 0 0 0 10223 5 0 0 25 0 4 0 653235123 416092160 52431 33554432000 4194304 4650419 140733391846144 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.25
Current children cumulated vsize (KiB) 406340

[startup+162.301 s]

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

[pid=2781] ppid=2779 vsize=598960 CPUtime=2563.29 cores=0,2,4,6
/proc/2781/stat : 2781 (strangenight1-m) R 2779 2781 2611 0 -1 4202496 438018 0 0 0 256192 137 0 0 25 0 4 0 653235123 613335040 115502 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2781/statm: 149740 115502 395 112 0 144705 0
[pid=2781/tid=2782] ppid=2779 vsize=598960 CPUtime=642.29 cores=0,2,4,6
/proc/2781/task/2782/stat : 2782 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 116335 0 0 0 64193 36 0 0 25 0 4 0 653235123 613335040 115504 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2781/tid=2783] ppid=2779 vsize=598960 CPUtime=636.45 cores=0,2,4,6
/proc/2781/task/2783/stat : 2783 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 112298 0 0 0 63611 34 0 0 25 0 4 0 653235123 613335040 115504 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2781/tid=2784] ppid=2779 vsize=598960 CPUtime=642.22 cores=0,2,4,6
/proc/2781/task/2784/stat : 2784 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 85865 0 0 0 64193 29 0 0 25 0 4 0 653235123 613335040 115504 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2563.29
Current children cumulated vsize (KiB) 598960

[startup+702.301 s]
/proc/loadavg: 8.03 8.03 6.98 9/295 2806
/proc/meminfo: memFree=27555324/32951124 swapFree=54427468/67111528
[pid=2781] ppid=2779 vsize=628264 CPUtime=2802.73 cores=0,2,4,6
/proc/2781/stat : 2781 (strangenight1-m) R 2779 2781 2611 0 -1 4202496 460534 0 0 0 280128 145 0 0 25 0 4 0 653235123 643342336 117605 33554432000 4194304 4650419 140733391846144 18446744073709551615 4368084 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2781/statm: 157066 117605 395 112 0 152031 0
[pid=2781/tid=2782] ppid=2779 vsize=628264 CPUtime=702.29 cores=0,2,4,6
/proc/2781/task/2782/stat : 2782 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 120358 0 0 0 70191 38 0 0 25 0 4 0 653235123 643342336 117605 33554432000 4194304 4650419 140733391846144 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2781/tid=2783] ppid=2779 vsize=628264 CPUtime=695.91 cores=0,2,4,6
/proc/2781/task/2783/stat : 2783 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 118845 0 0 0 69554 37 0 0 25 0 4 0 653235123 643342336 117605 33554432000 4194304 4650419 140733391846144 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2781/tid=2784] ppid=2779 vsize=628264 CPUtime=702.2 cores=0,2,4,6
/proc/2781/task/2784/stat : 2784 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 87719 0 0 0 70191 29 0 0 25 0 4 0 653235123 643342336 117605 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2802.73
Current children cumulated vsize (KiB) 628264

[startup+762.311 s]
/proc/loadavg: 8.01 8.02 7.04 9/295 2808
/proc/meminfo: memFree=27495504/32951124 swapFree=54427468/67111528
[pid=2781] ppid=2779 vsize=614168 CPUtime=3042.21 cores=0,2,4,6
/proc/2781/stat : 2781 (strangenight1-m) R 2779 2781 2611 0 -1 4202496 489666 0 0 0 304065 156 0 0 25 0 4 0 653235123 628908032 114772 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365327 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2781/statm: 153542 114772 395 112 0 148507 0
[pid=2781/tid=2782] ppid=2779 vsize=614168 CPUtime=762.29 cores=0,2,4,6
/proc/2781/task/2782/stat : 2782 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 130626 0 0 0 76187 42 0 0 25 0 4 0 653235123 628908032 114772 33554432000 4194304 4650419 140733391846144 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2781/tid=2783] ppid=2779 vsize=614168 CPUtime=755.37 cores=0,2,4,6
/proc/2781/task/2783/stat : 2783 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 122160 0 0 0 75500 37 0 0 25 0 4 0 653235123 628908032 114772 33554432000 4194304 4650419 140733391846144 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2781/tid=2784] ppid=2779 vsize=614168 CPUtime=762.2 cores=0,2,4,6
/proc/2781/task/2784/stat : 2784 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 92473 0 0 0 76189 31 0 0 25 0 4 0 653235123 628908032 114772 33554432000 4194304 4650419 140733391846144 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3042.21
Current children cumulated vsize (KiB) 614168

[startup+822.301 s]
/proc/loadavg: 8.00 8.02 7.10 9/295 2810
/proc/meminfo: memFree=27474736/32951124 swapFree=54427468/67111528
[pid=2781] ppid=2779 vsize=629932 CPUtime=3281.62 cores=0,2,4,6
/proc/2781/stat : 2781 (strangenight1-m) R 2779 2781 2611 0 -1 4202496 518180 0 0 0 327995 167 0 0 25 0 4 0 653235123 645050368 123950 33554432000 4194304 4650419 140733391846144 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2781/statm: 157483 123950 395 112 0 152448 0
[pid=2781/tid=2782] ppid=2779 vsize=629932 CPUtime=822.29 cores=0,2,4,6
/proc/2781/task/2782/stat : 2782 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 138773 0 0 0 82183 46 0 0 25 0 4 0 653235123 645050368 123950 33554432000 4194304 4650419 140733391846144 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2781/tid=2783] ppid=2779 vsize=629932 CPUtime=814.82 cores=0,2,4,6
/proc/2781/task/2783/stat : 2783 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 128085 0 0 0 81443 39 0 0 25 0 4 0 653235123 645050368 123950 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2781/tid=2784] ppid=2779 vsize=629932 CPUtime=822.19 cores=0,2,4,6
/proc/2781/task/2784/stat : 2784 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 97974 0 0 0 82185 34 0 0 25 0 4 0 653235123 645050368 123950 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3281.62
Current children cumulated vsize (KiB) 629932

[startup+882.301 s]
/proc/loadavg: 8.00 8.01 7.15 9/295 2811
/proc/meminfo: memFree=27470092/32951124 swapFree=54427468/67111528
[pid=2781] ppid=2779 vsize=630444 CPUtime=3521.08 cores=0,2,4,6
/proc/2781/stat : 2781 (strangenight1-m) R 2779 2781 2611 0 -1 4202496 540562 0 0 0 351932 176 0 0 25 0 4 0 653235123 645574656 120248 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2781/statm: 157611 120248 395 112 0 152576 0
[pid=2781/tid=2782] ppid=2779 vsize=630444 CPUtime=882.29 cores=0,2,4,6
/proc/2781/task/2782/stat : 2782 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 146451 0 0 0 88180 49 0 0 25 0 4 0 653235123 645574656 120248 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365410 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2781/tid=2783] ppid=2779 vsize=630444 CPUtime=874.28 cores=0,2,4,6
/proc/2781/task/2783/stat : 2783 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 130660 0 0 0 87388 40 0 0 25 0 4 0 653235123 645574656 120248 33554432000 4194304 4650419 140733391846144 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2781/tid=2784] ppid=2779 vsize=630444 CPUtime=882.18 cores=0,2,4,6
/proc/2781/task/2784/stat : 2784 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 101969 0 0 0 88182 36 0 0 25 0 4 0 653235123 645574656 120248 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3521.08
Current children cumulated vsize (KiB) 630444

[startup+942.301 s]
/proc/loadavg: 8.00 8.01 7.20 9/295 2813
/proc/meminfo: memFree=27392780/32951124 swapFree=54427468/67111528
[pid=2781] ppid=2779 vsize=696240 CPUtime=3760.54 cores=0,2,4,6
/proc/2781/stat : 2781 (strangenight1-m) R 2779 2781 2611 0 -1 4202496 563750 0 0 0 375868 186 0 0 25 0 4 0 653235123 712949760 131737 33554432000 4194304 4650419 140733391846144 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2781/statm: 174060 131737 395 112 0 169025 0
[pid=2781/tid=2782] ppid=2779 vsize=696240 CPUtime=942.28 cores=0,2,4,6
/proc/2781/task/2782/stat : 2782 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 151137 0 0 0 94177 51 0 0 25 0 4 0 653235123 712949760 131737 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2781/tid=2783] ppid=2779 vsize=696240 CPUtime=933.74 cores=0,2,4,6
/proc/2781/task/2783/stat : 2783 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 134743 0 0 0 93332 42 0 0 25 0 4 0 653235123 712949760 131737 33554432000 4194304 4650419 140733391846144 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2781/tid=2784] ppid=2779 vsize=696240 CPUtime=942.17 cores=0,2,4,6
/proc/2781/task/2784/stat : 2784 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 108451 0 0 0 94179 38 0 0 25 0 4 0 653235123 712949760 131737 33554432000 4194304 4650419 140733391846144 18446744073709551615 4313315 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3760.54
Current children cumulated vsize (KiB) 696240

[startup+1002.3 s]
/proc/loadavg: 8.13 8.04 7.26 9/295 2814
/proc/meminfo: memFree=27332992/32951124 swapFree=54427468/67111528
[pid=2781] ppid=2779 vsize=696460 CPUtime=3999.98 cores=0,2,4,6
/proc/2781/stat : 2781 (strangenight1-m) R 2779 2781 2611 0 -1 4202496 578445 0 0 0 399805 193 0 0 25 0 4 0 653235123 713175040 131569 33554432000 4194304 4650419 140733391846144 18446744073709551615 4433048 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2781/statm: 174115 131569 395 112 0 169080 0
[pid=2781/tid=2782] ppid=2779 vsize=696460 CPUtime=1002.29 cores=0,2,4,6
/proc/2781/task/2782/stat : 2782 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 154644 0 0 0 100176 53 0 0 25 0 4 0 653235123 713175040 131569 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2781/tid=2783] ppid=2779 vsize=696460 CPUtime=993.19 cores=0,2,4,6
/proc/2781/task/2783/stat : 2783 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 141563 0 0 0 99274 45 0 0 25 0 4 0 653235123 713175040 131569 33554432000 4194304 4650419 140733391846144 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2781/tid=2784] ppid=2779 vsize=696460 CPUtime=1002.17 cores=0,2,4,6
/proc/2781/task/2784/stat : 2784 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 108746 0 0 0 100178 39 0 0 25 0 4 0 653235123 713175040 131569 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3999.98
Current children cumulated vsize (KiB) 696460

[startup+1062.3 s]
/proc/loadavg: 8.16 8.07 7.31 9/295 2817
/proc/meminfo: memFree=27362184/32951124 swapFree=54427468/67111528
[pid=2781] ppid=2779 vsize=858916 CPUtime=4239.44 cores=0,2,4,6
/proc/2781/stat : 2781 (strangenight1-m) R 2779 2781 2611 0 -1 4202496 600228 0 0 0 423742 202 0 0 25 0 4 0 653235123 879529984 134757 33554432000 4194304 4650419 140733391846144 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2781/statm: 214729 134757 395 112 0 209694 0
[pid=2781/tid=2782] ppid=2779 vsize=858916 CPUtime=1062.29 cores=0,2,4,6
/proc/2781/task/2782/stat : 2782 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 156231 0 0 0 106175 54 0 0 25 0 4 0 653235123 879529984 134757 33554432000 4194304 4650419 140733391846144 18446744073709551615 4313064 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2781/tid=2783] ppid=2779 vsize=858916 CPUtime=1052.65 cores=0,2,4,6
/proc/2781/task/2783/stat : 2783 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 147184 0 0 0 105218 47 0 0 25 0 4 0 653235123 879529984 134757 33554432000 4194304 4650419 140733391846144 18446744073709551615 4316024 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2781/tid=2784] ppid=2779 vsize=858916 CPUtime=1062.16 cores=0,2,4,6
/proc/2781/task/2784/stat : 2784 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 114193 0 0 0 106175 41 0 0 25 0 4 0 653235123 879529984 134757 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4239.44
Current children cumulated vsize (KiB) 858916

[startup+1122.3 s]
/proc/loadavg: 8.11 8.07 7.36 9/295 2819
/proc/meminfo: memFree=27372788/32951124 swapFree=54427468/67111528
[pid=2781] ppid=2779 vsize=809420 CPUtime=4478.89 cores=0,2,4,6
/proc/2781/stat : 2781 (strangenight1-m) R 2779 2781 2611 0 -1 4202496 623342 0 0 0 447678 211 0 0 25 0 4 0 653235123 828846080 130655 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2781/statm: 202355 130655 395 112 0 197320 0
[pid=2781/tid=2782] ppid=2779 vsize=809420 CPUtime=1122.29 cores=0,2,4,6
/proc/2781/task/2782/stat : 2782 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 164280 0 0 0 112171 58 0 0 25 0 4 0 653235123 828846080 130655 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2781/tid=2783] ppid=2779 vsize=809420 CPUtime=1112.1 cores=0,2,4,6
/proc/2781/task/2783/stat : 2783 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 154610 0 0 0 111161 49 0 0 25 0 4 0 653235123 828846080 130655 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2781/tid=2784] ppid=2779 vsize=809420 CPUtime=1122.16 cores=0,2,4,6
/proc/2781/task/2784/stat : 2784 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 117066 0 0 0 112174 42 0 0 25 0 4 0 653235123 828846080 130655 33554432000 4194304 4650419 140733391846144 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4478.89
Current children cumulated vsize (KiB) 809420

[startup+1182.3 s]
/proc/loadavg: 8.11 8.07 7.40 9/295 2820
/proc/meminfo: memFree=27351404/32951124 swapFree=54427468/67111528
[pid=2781] ppid=2779 vsize=885328 CPUtime=4718.34 cores=0,2,4,6
/proc/2781/stat : 2781 (strangenight1-m) R 2779 2781 2611 0 -1 4202496 643022 0 0 0 471614 220 0 0 25 0 4 0 653235123 906575872 137611 33554432000 4194304 4650419 140733391846144 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2781/statm: 221332 137611 395 112 0 216297 0
[pid=2781/tid=2782] ppid=2779 vsize=885328 CPUtime=1182.29 cores=0,2,4,6
/proc/2781/task/2782/stat : 2782 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 167362 0 0 0 118169 60 0 0 25 0 4 0 653235123 906575872 137611 33554432000 4194304 4650419 140733391846144 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2781/tid=2783] ppid=2779 vsize=885328 CPUtime=1171.56 cores=0,2,4,6
/proc/2781/task/2783/stat : 2783 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 162022 0 0 0 117103 53 0 0 25 0 4 0 653235123 906575872 137611 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2781/tid=2784] ppid=2779 vsize=885328 CPUtime=1182.14 cores=0,2,4,6
/proc/2781/task/2784/stat : 2784 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 120830 0 0 0 118171 43 0 0 25 0 4 0 653235123 906575872 137611 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4718.34
Current children cumulated vsize (KiB) 885328



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 7.81 8.01 7.40 5/290 2822
/proc/meminfo: memFree=28763652/32951124 swapFree=54427468/67111528
[pid=2781] ppid=2779 vsize=890720 CPUtime=4800.15 cores=0,2,4,6
/proc/2781/stat : 2781 (strangenight1-m) R 2779 2781 2611 0 -1 4202496 648744 0 0 0 479792 223 0 0 25 0 4 0 653235123 912097280 140550 33554432000 4194304 4650419 140733391846144 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2781/statm: 222680 140550 395 112 0 217645 0
[pid=2781/tid=2782] ppid=2779 vsize=890720 CPUtime=1202.8 cores=0,2,4,6
/proc/2781/task/2782/stat : 2782 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 168577 0 0 0 120219 61 0 0 25 0 4 0 653235123 912097280 140551 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2781/tid=2783] ppid=2779 vsize=890720 CPUtime=1191.87 cores=0,2,4,6
/proc/2781/task/2783/stat : 2783 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 163551 0 0 0 119133 54 0 0 25 0 4 0 653235123 912097280 140551 33554432000 4194304 4650419 140733391846144 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=2781/tid=2784] ppid=2779 vsize=890720 CPUtime=1202.65 cores=0,2,4,6
/proc/2781/task/2784/stat : 2784 (strangenight1-m) R 2779 2781 2611 0 -1 4202560 121092 0 0 0 120222 43 0 0 25 0 4 0 653235123 912097280 140551 33554432000 4194304 4650419 140733391846144 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 890720

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): 1202.84
CPU time (s): 4800.23
CPU user time (s): 4797.97
CPU system time (s): 2.26066
CPU usage (%): 399.075
Max. virtual memory (cumulated for all children) (KiB): 933872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.97
system time used= 2.26066
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 648747
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= 358
involuntary context switches= 21317

runsolver used 3.19551 second user time and 7.76982 second system time

The end

Launcher Data 

Begin job on node138 at 2011-05-15 01:39:31
IDJOB=3369627
IDBENCH=84808
IDSOLVER=1846
FILE ID=node138/3369627-1305416371
RUNJOBID= node138-1305415164-2629
PBS_JOBID= 13324560
Free space on /tmp= 73320 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT04/industrial/vangelder/cnf-color/myciel6-tr.used-as.sat04-320.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369627-1305416371/watcher-3369627-1305416371 -o /tmp/evaluation-result-3369627-1305416371/solver-3369627-1305416371 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369627-1305416371.cnf

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

MD5SUM BENCH= 5ba57e5cfd40b4a93356dbea5162016d
RANDOM SEED=1352626756

node138.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.854
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.70
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.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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.854
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.75
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.854
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.80
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.854
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.854
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.854
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:      28831908 kB
Buffers:        252180 kB
Cached:        3131312 kB
SwapCached:      18472 kB
Active:        1382712 kB
Inactive:      2522664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28831908 kB
SwapTotal:    67111528 kB
SwapFree:     54427468 kB
Dirty:           32796 kB
Writeback:           0 kB
AnonPages:      514044 kB
Mapped:           9512 kB
Slab:           111612 kB
PageTables:      41212 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 40102976 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= 73336 MiB
End job on node138 at 2011-05-15 01:59:36