Trace number 3369145

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.19 1203

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-21x40.cnf
MD5SUM65a5698edfd6f3a12089595d81c196e3
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables3360
Number of clauses661080
Sum of the clauses size2634240
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25040
Number of clauses of size 30
Number of clauses of size 4656040
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369145-1305413262.cnf'
0.00/0.01	c -- header says num vars:           3360
0.00/0.01	c -- header says num clauses:      661080
0.69/0.27	c -- clauses added:            0 learnts,       661080 normals,            0 xors
0.69/0.27	c -- vars added       3360
0.69/0.27	c Parsing time:  0.59 s
0.69/0.27	c  N st     0         0      3360    656040      5040         0   2634240         0   no data   no data  --
0.69/0.40	c asymm  cl-useful: 0/9710/656040 lits-rem:0 time: 0.67
2.00/0.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.0M T:  0.48
2.96/0.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2.96/0.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.09 s
2.96/0.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3360 time:  0.01 s
2.96/0.87	c Removed useless bin:       0  fixed:     0  props:   0.04M  time:  0.00 s
124.86/31.46	c lits-rem:         0  cl-subs:        0  v-elim:    840  v-fix:    0  time: 117.01 s
124.86/31.47	c Finding binary XORs  T:     0.01 s  found:       0
127.24/32.01	c Finding non-binary XORs:     2.06 s (found:       0, avg size: nan)
127.24/32.01	c calculated reachability. Time: 0.00
127.24/32.03	c Calc default polars -  time:   0.08 s pos:      64 undec:     840 neg:    2456
127.24/32.03	c =========================================================================================
127.24/32.03	c types(t): F = full restart, N = normal restart
127.24/32.03	c types(t): S = simplification begin/end, E = solution found
127.24/32.03	c restart types(rt): st = static, dy = dynamic
127.24/32.03	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
127.24/32.03	c  B st     0         0      2520    655200      2520         0   3936240         0   no data   no data  --
128.45/32.31	c  N dy    22      4095      2520    655200      2520      4080   3936240    202833     35.05     37.27  --
129.25/32.53	c  N dy    52      8231      2520    655200      2520      8212   3936240    409144     36.26     38.42  --
130.05/32.75	c  N dy    79     12236      2520    655200      2520     12214   3936240    605705     36.14     39.59  --
130.87/32.95	c  N dy   101     16249      2520    655200      2520     16220   3936240    798413     35.70     37.68  --
132.04/33.28	c  N dy   128     20345      2520    655200      2520     10329   3936240    236130     35.87     51.15  --
132.83/33.49	c  N dy   156     24372      2520    655200      2520     14345   3936240    447169     36.12     45.43  --
133.23/33.52	c  F st   160     25000      2520    655200      2520     14973   3936240    477170     36.06     30.07  --
134.83/33.90	c  N dy   166     30002      2520    655200      2520     19946   3936240    830958     36.06   no data  --
134.83/33.90	c  S st   166     30002      2520    655200      2520     19946   3936240    830958     36.06   no data  --
136.02/34.22	c  S st   166     30502      2520    655200      2520     20446   3936240    863636     36.06   no data  --
136.02/34.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
136.02/34.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
137.22/34.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 10.7M T:  1.17
138.02/34.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
139.22/35.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.16 s
139.22/35.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2520 time:  0.00 s
139.22/35.06	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
308.01/77.32	c lits-rem:        37  cl-subs:      137  v-elim:      0  v-fix:    0  time: 164.23 s
309.20/77.66	c asymm  cl-useful: 0/7329/655200 lits-rem:0 time: 1.34
309.20/77.69	c calculated reachability. Time: 0.00
309.20/77.69	c  N dy   166     30502      2520    655200      2520     20309   3936240    846532     36.06   no data  --
310.40/77.95	c  N dy   191     34503      2520    655200      2520     24306   3936240   1048113     36.05     37.98  --
311.23/78.18	c  N dy   212     38641      2520    655200      2520     28439   3936240   1258476     35.89     37.87  --
312.40/78.42	c  N dy   235     42739      2520    655200      2520     17070   3936240    385297     35.80     37.71  --
312.80/78.59	c  S st   258     45753      2520    655200      2520     20078   3936240    540665     35.89   no data  --
314.80/79.03	c  S st   258     46261      2520    655200      2520     20586   3936240    577576     35.89   no data  --
314.80/79.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
314.80/79.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
316.38/79.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 10.1M T:  1.33
317.19/79.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
317.99/79.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.81 s
317.99/79.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2520 time:  0.00 s
317.99/79.83	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
473.23/118.75	c lits-rem:         5  cl-subs:       11  v-elim:      0  v-fix:    0  time: 149.67 s
473.63/118.82	c vivif2 --  cl tried   655200 cl shrink        0 lits rem          0 time: 0.28
473.63/118.83	c vivif2 --  cl tried    20575 cl shrink        0 lits rem          0 time: 0.05
474.79/119.17	c asymm  cl-useful: 0/8724/655200 lits-rem:0 time: 1.37
475.20/119.20	c calculated reachability. Time: 0.00
475.20/119.20	c  N dy   258     46261      2520    655200      2520     20575   3936240    576350     35.89   no data  --
476.00/119.44	c  N dy   286     50329      2520    655200      2520     24639   3936240    777164     35.88     38.30  --
476.79/119.67	c  N dy   317     54380      2520    655200      2520     28684   3936240    990698     36.04     41.97  --
477.62/119.89	c  N dy   346     58429      2520    655200      2520     32729   3936240   1199585     36.12     46.05  --
478.79/120.11	c  N dy   373     62588      2520    655200      2520     36882   3936240   1407643     36.08     38.45  --
479.58/120.33	c  N dy   398     66623      2520    655200      2520     22209   3936240    518832     36.10     42.47  --
479.98/120.48	c  S st   420     69392      2520    655200      2520     24974   3936240    668274     36.22   no data  --
481.58/120.85	c  S st   420     69894      2520    655200      2520     25476   3936240    703747     36.22   no data  --
481.58/120.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
481.58/120.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
482.78/121.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 10.0M T:  1.15
483.58/121.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
484.37/121.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.88 s
484.37/121.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2520 time:  0.00 s
484.37/121.58	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
648.01/162.51	c lits-rem:         3  cl-subs:       16  v-elim:      0  v-fix:    0  time: 158.40 s
648.01/162.58	c vivif2 --  cl tried   655200 cl shrink        0 lits rem          0 time: 0.27
648.01/162.59	c vivif2 --  cl tried    25460 cl shrink        0 lits rem          0 time: 0.05
650.01/163.01	c asymm  cl-useful: 0/7442/655200 lits-rem:0 time: 1.60
650.01/163.03	c calculated reachability. Time: 0.00
650.01/163.03	c  N dy   420     69894      2520    655200      2520     25460   3936240    701981     36.22   no data  --
651.21/163.36	c  N dy   450     74419      2520    655200      2520     29979   3936240    941592     36.29     42.10  --
652.40/163.68	c  N dy   482     79199      2520    655200      2520     34752   3936240   1181659     36.29     38.62  --
653.62/163.99	c  N dy   516     84277      2520    655200      2520     39824   3936240   1442098     36.32     40.71  --
655.19/164.33	c  F st   540     87503      2520    655200      2520     22200   3936240    426117     36.34   no data  --
656.39/164.62	c  N st   545     90800      2520    655200      2520     25483   3936240    637739     36.34   no data  --
657.61/165.00	c  N dy   570     96623      2520    655200      2520     31287   3936240    980777     36.35     39.51  --
659.18/165.39	c  N dy   611    102900      2520    655200      2520     37553   3936240   1306259     36.39     38.52  --
659.98/165.52	c  S st   625    104843      2520    655200      2520     39495   3936240   1408624     36.41     28.28  --
661.58/166.00	c  S st   625    105348      2520    655200      2520     39999   3936240   1445115     36.41   no data  --
662.00/166.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
662.00/166.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
663.57/166.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 10.5M T:  1.54
664.36/166.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
666.39/167.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.76 s
666.39/167.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2520 time:  0.00 s
666.39/167.15	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
918.16/230.21	c lits-rem:         2  cl-subs:       89  v-elim:      0  v-fix:    0  time: 245.10 s
918.16/230.28	c vivif2 --  cl tried   655200 cl shrink        0 lits rem          0 time: 0.28
918.56/230.31	c vivif2 --  cl tried    39910 cl shrink        0 lits rem          0 time: 0.10
920.16/230.76	c asymm  cl-useful: 0/6083/655200 lits-rem:0 time: 1.81
920.16/230.79	c calculated reachability. Time: 0.00
920.16/230.79	c  N dy   625    105348      2520    655200      2520     39910   3936240   1434173     36.41   no data  --
922.55/231.32	c  N dy   672    112227      2520    655200      2520     24374   3936240    468464     36.46     38.95  --
924.14/231.75	c  N dy   718    119480      2520    655200      2520     31620   3936240    850826     36.53     39.97  --
926.13/232.24	c  N dy   769    127139      2520    655200      2520     39266   3936240   1247338     36.56     44.65  --
928.93/232.92	c  N dy   817    135380      2520    655200      2520     23820   3936240    387412     36.51     38.71  --
930.52/233.39	c  N dy   863    144577      2520    655200      2520     33006   3936240    841040     36.39     38.32  --
933.33/234.00	c  N dy   928    153909      2520    655200      2520     42321   3936240   1328640     36.45     38.47  --
934.15/234.26	c  S st   955    158022      2520    655200      2520     46431   3936240   1534938     36.44   no data  --
936.11/234.72	c  S st   955    158525      2520    655200      2520     46934   3936240   1570300     36.44   no data  --
936.11/234.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
936.11/234.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
937.71/235.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 10.6M T:  1.56
938.94/235.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
940.50/235.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.92 s
940.91/235.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2520 time:  0.00 s
940.91/235.90	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1211.40/303.78	c lits-rem:        10  cl-subs:       50  v-elim:      0  v-fix:    0  time: 266.73 s
1211.80/303.85	c vivif2 --  cl tried   655200 cl shrink        0 lits rem          0 time: 0.28
1211.80/303.88	c vivif2 --  cl tried    46884 cl shrink        0 lits rem          0 time: 0.11
1213.80/304.30	c asymm  cl-useful: 0/6005/655200 lits-rem:0 time: 1.70
1213.80/304.32	c calculated reachability. Time: 0.00
1213.80/304.32	c  N dy   955    158525      2520    655200      2520     46884   3936240   1564838     36.44   no data  --
1216.59/305.01	c  N dy  1020    168698      2520    655200      2520     32229   3936240    785055     36.47     44.42  --
1218.99/305.66	c  N dy  1090    179521      2520    655200      2520     43034   3936240   1333771     36.47     43.69  --
1222.18/306.49	c  N dy  1159    191028      2520    655200      2520     28633   3936240    538222     36.44     38.40  --
1224.97/307.19	c  N dy  1239    203285      2520    655200      2520     40873   3936240   1151966     36.42     39.29  --
1228.61/308.06	c  N dy  1324    216518      2520    655200      2520     27170   3936240    421553     36.42     38.70  --
1231.76/308.86	c  N dy  1417    230363      2520    655200      2520     40996   3936240   1122971     36.40     38.44  --
1233.75/309.31	c  S st  1464    237787      2520    655200      2520     48412   3936240   1505282     36.39     36.77  --
1235.35/309.74	c  S st  1464    238290      2520    655200      2520     48914   3936240   1540797     36.39   no data  --
1235.35/309.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
1235.35/309.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1236.98/310.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 10.5M T:  1.50
1237.74/310.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1239.74/310.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.73 s
1239.74/310.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2520 time:  0.00 s
1239.74/310.82	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1511.13/378.85	c lits-rem:        12  cl-subs:       53  v-elim:      0  v-fix:    0  time: 270.61 s
1511.52/378.92	c vivif2 --  cl tried   655200 cl shrink        0 lits rem          0 time: 0.27
1511.52/378.95	c vivif2 --  cl tried    48861 cl shrink        0 lits rem          0 time: 0.11
1513.13/379.33	c asymm  cl-useful: 0/5796/655200 lits-rem:0 time: 1.50
1513.13/379.35	c calculated reachability. Time: 0.00
1513.13/379.35	c  N dy  1464    238290      2520    655200      2520     48861   3936240   1534069     36.39   no data  --
1517.51/380.42	c  N dy  1568    253581      2520    655200      2520     36195   3936240    850224     36.41     41.34  --
1521.10/381.37	c  N dy  1672    269857      2520    655200      2520     52451   3936240   1696948     36.45     40.10  --
1525.49/382.46	c  N dy  1790    287152      2520    655200      2520     40767   3936240   1057420     36.51     39.10  --
1529.88/383.59	c  N dy  1913    305568      2520    655200      2520     59162   3936240   2016568     36.53     38.62  --
1530.28/383.63	c  F st  1917    306250      2520    655200      2520     59842   3936240   2051604     36.53   no data  --
1535.50/384.99	c  N dy  2015    325101      2520    655200      2520     48681   3936240   1502804     36.55     42.76  --
1540.65/386.26	c  N dy  2146    345244      2520    655200      2520     37855   3936240    815265     36.57     39.03  --
1543.85/387.00	c  S st  2225    357437      2520    655200      2520     50031   3936240   1450642     36.59     42.19  --
1545.44/387.43	c  S st  2225    357941      2520    655200      2520     50535   3936240   1494561     36.59   no data  --
1545.44/387.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
1545.44/387.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1547.05/387.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 10.4M T:  1.45
1547.84/388.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1549.43/388.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.63 s
1549.43/388.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2520 time:  0.00 s
1549.43/388.47	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1811.62/454.14	c lits-rem:         4  cl-subs:       37  v-elim:      0  v-fix:    0  time: 259.44 s
1812.05/454.21	c vivif2 --  cl tried   655200 cl shrink        0 lits rem          0 time: 0.25
1812.05/454.23	c vivif2 --  cl tried    50498 cl shrink        0 lits rem          0 time: 0.11
1813.22/454.59	c asymm  cl-useful: 0/6264/655200 lits-rem:0 time: 1.41
1813.62/454.61	c calculated reachability. Time: 0.00
1813.62/454.61	c  N dy  2225    357941      2520    655200      2520     50498   3936240   1490208     36.59   no data  --
1818.81/455.94	c  N dy  2357    377961      2520    655200      2520     38533   3936240    814501     36.60     38.69  --
1823.20/457.09	c  N dy  2481    397963      2520    655200      2520     58514   3936240   1859053     36.60     39.53  --
1828.39/458.33	c  N dy  2598    418061      2520    655200      2520     45642   3936240   1139478     36.60     38.60  --
1833.18/459.54	c  N dy  2721    438140      2520    655200      2520     65699   3936240   2202655     36.62     53.32  --
1838.39/460.84	c  N dy  2855    458170      2520    655200      2520     51732   3936240   1427202     36.65     39.04  --
1843.95/462.20	c  N dy  2985    478292      2520    655200      2520     36865   3936240    597511     36.68     38.94  --
1848.74/463.42	c  N dy  3112    498368      2520    655200      2520     56919   3936240   1662127     36.71     39.81  --
1854.32/464.89	c  N dy  3251    518410      2520    655200      2520     40983   3936240    772086     36.73     41.87  --
1859.11/466.01	c  S st  3373    536912      2520    655200      2520     59466   3936240   1743134     36.75   no data  --
1860.75/466.45	c  S st  3373    537413      2520    655200      2520     59966   3936240   1780810     36.75   no data  --
1860.75/466.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
1860.75/466.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1862.31/466.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 10.5M T:  1.51
1863.51/467.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1865.13/467.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.89 s
1865.13/467.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2520 time:  0.00 s
1865.13/467.59	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
2182.41/547.00	c lits-rem:        34  cl-subs:       52  v-elim:      0  v-fix:    0  time: 312.67 s
2182.41/547.07	c vivif2 --  cl tried   655200 cl shrink        0 lits rem          0 time: 0.27
2182.81/547.11	c vivif2 --  cl tried    59914 cl shrink        0 lits rem          0 time: 0.13
2184.01/547.48	c asymm  cl-useful: 0/7401/655200 lits-rem:0 time: 1.48
2184.41/547.50	c calculated reachability. Time: 0.00
2184.41/547.50	c  N dy  3373    537413      2520    655200      2520     59914   3936240   1774648     36.75   no data  --
2190.02/548.97	c  N dy  3507    557564      2520    655200      2520     43090   3936240    845488     36.78     39.12  --
2195.18/550.22	c  N dy  3633    577634      2520    655200      2520     63133   3936240   1898142     36.77     38.81  --
2201.18/551.73	c  N dy  3762    597709      2520    655200      2520     45234   3936240    928233     36.79     39.41  --
2206.36/553.02	c  N dy  3893    617712      2520    655200      2520     65216   3936240   1985733     36.80     40.45  --
2211.58/554.39	c  N dy  4019    637818      2520    655200      2520     46344   3936240    944744     36.82     40.56  --
2216.73/555.68	c  N dy  4148    657952      2520    655200      2520     66454   3936240   2014556     36.85     39.55  --
2222.73/557.17	c  N dy  4273    678044      2520    655200      2520     46571   3936240    909295     36.86     40.99  --
2227.92/558.48	c  N dy  4406    698071      2520    655200      2520     66574   3936240   1970888     36.88     39.40  --
2233.93/559.95	c  N dy  4534    718088      2520    655200      2520     45614   3936240    830277     36.89     40.51  --
2239.09/561.20	c  N dy  4653    738189      2520    655200      2520     65699   3936240   1881111     36.89     39.01  --
2245.07/562.79	c  N dy  4776    758274      2520    655200      2520     43811   3936240    692806     36.90     39.18  --
2249.86/563.99	c  N dy  4892    778359      2520    655200      2520     63869   3936240   1753596     36.90     40.33  --
2255.48/565.34	c  N dy  5012    798453      2520    655200      2520     83944   3936240   2800829     36.89     39.30  --
2257.45/565.87	c  S st  5056    806122      2520    655200      2520     48641   3936240    900871     36.88     37.22  --
2259.44/566.33	c  S st  5056    806625      2520    655200      2520     49144   3936240    936038     36.88   no data  --
2259.44/566.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
2259.44/566.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2261.04/566.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 10.7M T:  1.57
2261.83/566.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2263.03/567.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.91 s
2263.03/567.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2520 time:  0.00 s
2263.03/567.21	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
2435.88/610.57	c lits-rem:         1  cl-subs:       24  v-elim:      0  v-fix:    0  time: 169.06 s
2436.24/610.63	c vivif2 --  cl tried   655200 cl shrink        0 lits rem          0 time: 0.27
2436.24/610.65	c vivif2 --  cl tried    49120 cl shrink        0 lits rem          0 time: 0.08
2437.84/611.00	c asymm  cl-useful: 0/7391/655200 lits-rem:0 time: 1.40
2437.84/611.02	c calculated reachability. Time: 0.00
2437.84/611.02	c  N dy  5056    806625      2520    655200      2520     49120   3936240    933147     36.88   no data  --
2442.63/612.28	c  N dy  5182    826652      2520    655200      2520     69121   3936240   1988678     36.89     39.67  --
2448.64/613.72	c  N dy  5293    846695      2520    655200      2520     45194   3936240    689930     36.87     46.16  --
2452.61/614.78	c  N dy  5399    866711      2520    655200      2520     65176   3936240   1704388     36.84     39.04  --
2458.19/616.15	c  N dy  5525    886736      2520    655200      2520     85175   3936240   2751073     36.84     38.85  --
2463.38/617.46	c  N dy  5653    906786      2520    655200      2520     60260   3936240   1453740     36.85     43.93  --
2468.57/618.78	c  N dy  5778    926866      2520    655200      2520     80320   3936240   2522434     36.86     39.11  --
2474.57/620.24	c  N dy  5890    946930      2520    655200      2520     54423   3936240   1099026     36.85     38.79  --
2479.38/621.49	c  N dy  6008    966931      2520    655200      2520     74395   3936240   2142704     36.84     38.86  --
2485.33/622.98	c  N dy  6132    986953      2520    655200      2520     47446   3936240    688027     36.84     39.82  --
2490.12/624.15	c  N dy  6245   1007057      2520    655200      2520     67519   3936240   1730034     36.83     38.92  --
2495.31/625.48	c  N dy  6366   1027299      2520    655200      2520     87717   3936240   2773229     36.82     39.44  --
2501.32/626.94	c  N dy  6478   1047307      2520    655200      2520     59779   3936240   1279517     36.81     39.29  --
2506.12/628.18	c  N dy  6599   1067389      2520    655200      2520     79837   3936240   2321109     36.80     45.79  --
2507.67/628.51	c  F st  6630   1071875      2520    655200      2520     84314   3936240   2557112     36.80     36.69  --
2512.47/629.75	c  N dy  6706   1087397      2520    655200      2520     50873   3936240    781721     36.81     38.76  --
2517.66/631.00	c  N dy  6835   1107519      2520    655200      2520     70968   3936240   1842910     36.82     39.44  --
2522.85/632.31	c  N dy  6955   1127621      2520    655200      2520     91044   3936240   2886014     36.82     39.00  --
2528.83/633.81	c  N dy  7079   1147683      2520    655200      2520     61148   3936240   1272146     36.82     53.87  --
2534.02/635.10	c  N dy  7208   1167694      2520    655200      2520     81134   3936240   2337698     36.84     41.95  --
2539.21/636.43	c  N dy  7330   1187771      2520    655200      2520    101183   3936240   3380461     36.83     41.23  --
2544.40/637.76	c  N dy  7459   1207789      2520    655200      2520     70228   3936240   1704495     36.83     39.72  --
2544.80/637.89	c  S st  7470   1209937      2520    655200      2520     72375   3936240   1815942     36.83     29.34  --
2546.79/638.35	c  S st  7470   1210442      2520    655200      2520     72880   3936240   1856148     36.83   no data  --
2546.79/638.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
2546.79/638.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2548.39/638.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 10.9M T:  1.49
2549.62/639.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2551.18/639.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.84 s
2551.18/639.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2520 time:  0.00 s
2551.18/639.47	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
2882.84/722.52	c lits-rem:        14  cl-subs:       48  v-elim:      0  v-fix:    0  time: 323.59 s
2882.84/722.58	c vivif2 --  cl tried   655200 cl shrink        0 lits rem          0 time: 0.26
2883.27/722.62	c vivif2 --  cl tried    72832 cl shrink        0 lits rem          0 time: 0.13
2884.43/722.97	c asymm  cl-useful: 0/7484/655200 lits-rem:0 time: 1.39
2884.43/723.00	c calculated reachability. Time: 0.00
2884.43/723.00	c  N dy  7470   1210442      2520    655200      2520     72832   3936240   1850867     36.83   no data  --
2890.02/724.37	c  N dy  7595   1230460      2520    655200      2520     92818   3936240   2903953     36.84     39.34  --
2896.01/725.85	c  N dy  7721   1250489      2520    655200      2520     60908   3936240   1184032     36.84     40.72  --
2900.83/727.10	c  N dy  7842   1270503      2520    655200      2520     80894   3936240   2222458     36.83     41.14  --
2906.79/728.51	c  N dy  7962   1290552      2520    655200      2520    100923   3936240   3264666     36.83     43.02  --
2912.37/729.92	c  N dy  8088   1310557      2520    655200      2520     67967   3936240   1516000     36.83     38.94  --
2917.56/731.25	c  N dy  8221   1330748      2520    655200      2520     88135   3936240   2574123     36.83     39.52  --
2923.95/732.89	c  N dy  8347   1350808      2520    655200      2520     54238   3936240    758174     36.84     39.03  --
2928.73/734.06	c  N dy  8472   1370827      2520    655200      2520     74222   3936240   1803958     36.84     39.32  --
2933.52/735.28	c  N dy  8599   1390904      2520    655200      2520     94259   3936240   2836743     36.84     41.56  --
2939.91/736.80	c  N dy  8731   1410998      2520    655200      2520     59414   3936240    986447     36.84     38.94  --
2944.30/737.98	c  N dy  8859   1431052      2520    655200      2520     79443   3936240   2040594     36.84     39.91  --
2949.87/739.30	c  N dy  8984   1451054      2520    655200      2520     99420   3936240   3086047     36.85     38.91  --
2955.46/740.77	c  N dy  9105   1471092      2520    655200      2520     63495   3936240   1151675     36.85     68.00  --
2960.65/742.00	c  N dy  9229   1491134      2520    655200      2520     83507   3936240   2197980     36.85     39.09  --
2965.85/743.36	c  N dy  9357   1511238      2520    655200      2520    103590   3936240   3260414     36.86     39.83  --
2971.46/744.79	c  N dy  9478   1531268      2520    655200      2520     66682   3936240   1296770     36.86     41.21  --
2976.61/746.06	c  N dy  9613   1551310      2520    655200      2520     86703   3936240   2356279     36.86     38.91  --
2982.20/747.43	c  N dy  9734   1571386      2520    655200      2520    106748   3936240   3412933     36.87     38.92  --
2988.20/748.90	c  N dy  9850   1591396      2520    655200      2520     68804   3936240   1350320     36.86     39.20  --
2993.01/750.16	c  N dy  9979   1611415      2520    655200      2520     88794   3936240   2397216     36.87     38.95  --
2998.16/751.48	c  N dy 10100   1631491      2520    655200      2520    108836   3936240   3445658     36.86     53.70  --
3003.75/752.87	c  N dy 10216   1651538      2520    655200      2520     69944   3936240   1367394     36.86     41.26  --
3008.94/754.15	c  N dy 10344   1671575      2520    655200      2520     89949   3936240   2408957     36.86     38.89  --
3014.53/755.53	c  N dy 10470   1691647      2520    655200      2520    109996   3936240   3452844     36.85     39.12  --
3020.10/756.99	c  S st 10587   1710444      2520    655200      2520     68847   3936240   1277728     36.85   no data  --
3021.71/757.37	c  S st 10587   1710946      2520    655200      2520     69348   3936240   1315392     36.85   no data  --
3022.11/757.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
3022.11/757.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3023.31/757.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 10.7M T:  1.33
3024.13/757.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3025.30/758.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.10 s
3025.30/758.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2520 time:  0.00 s
3025.30/758.24	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
3243.98/813.04	c lits-rem:         0  cl-subs:       33  v-elim:      0  v-fix:    0  time: 215.42 s
3244.38/813.11	c vivif2 --  cl tried   655200 cl shrink        0 lits rem          0 time: 0.29
3244.38/813.14	c vivif2 --  cl tried    69315 cl shrink        0 lits rem          0 time: 0.10
3245.98/813.52	c asymm  cl-useful: 0/8255/655200 lits-rem:0 time: 1.54
3245.98/813.55	c calculated reachability. Time: 0.00
3245.98/813.55	c  N dy 10587   1710946      2520    655200      2520     69315   3936240   1311259     36.85   no data  --
3251.58/815.00	c  N dy 10716   1731194      2520    655200      2520     89533   3936240   2389780     36.86     39.21  --
3257.55/816.48	c  N dy 10843   1751252      2520    655200      2520    109569   3936240   3442147     36.86     42.79  --
3264.75/818.21	c  N dy 10969   1771392      2520    655200      2520     68757   3936240   1233257     36.86     39.54  --
3270.32/819.61	c  N dy 11094   1791550      2520    655200      2520     88887   3936240   2274595     36.86     38.96  --
3275.92/821.08	c  N dy 11213   1811751      2520    655200      2520    109055   3936240   3305962     36.85     38.89  --
3283.13/822.87	c  N dy 11340   1831832      2520    655200      2520     67206   3936240   1138279     36.86     39.17  --
3289.09/824.30	c  N dy 11470   1851935      2520    655200      2520     87283   3936240   2181612     36.86     40.22  --
3295.47/825.90	c  N dy 11599   1872021      2520    655200      2520    107351   3936240   3230214     36.86     39.10  --
3302.66/827.77	c  N dy 11716   1892068      2520    655200      2520     64461   3936240    940153     36.86     38.82  --
3308.25/829.18	c  N dy 11842   1912165      2520    655200      2520     84527   3936240   1999814     36.86     39.28  --
3314.23/830.62	c  N dy 11969   1932528      2520    655200      2520    104864   3936240   3066500     36.86     38.99  --
3319.81/832.09	c  N dy 12089   1952590      2520    655200      2520    124899   3936240   4100185     36.86     39.26  --
3325.81/833.58	c  N dy 12205   1972649      2520    655200      2520     81002   3936240   1756856     36.85     39.90  --
3331.43/834.96	c  N dy 12332   1992853      2520    655200      2520    101179   3936240   2802246     36.85     39.12  --
3337.38/836.47	c  N dy 12463   2013005      2520    655200      2520    121315   3936240   3850771     36.85     39.63  --
3343.76/838.08	c  N dy 12589   2033483      2520    655200      2520     76862   3936240   1508471     36.85     39.42  --
3349.35/839.45	c  N dy 12708   2053535      2520    655200      2520     96892   3936240   2527070     36.84     39.10  --
3355.74/841.03	c  N dy 12840   2073700      2520    655200      2520    117030   3936240   3583418     36.84     38.87  --
3362.91/842.85	c  N dy 12973   2094014      2520    655200      2520     71401   3936240   1189217     36.85     39.31  --
3368.11/844.14	c  N dy 13090   2114019      2520    655200      2520     91373   3936240   2211371     36.84     39.23  --
3374.10/845.62	c  N dy 13220   2134105      2520    655200      2520    111433   3936240   3265263     36.85     40.31  --
3380.48/847.21	c  N dy 13350   2154155      2520    655200      2520    131460   3936240   4328194     36.85     39.02  --
3386.46/848.74	c  N dy 13463   2174179      2520    655200      2520     84541   3936240   1830297     36.84     39.41  --
3392.05/850.15	c  N dy 13588   2194309      2520    655200      2520    104644   3936240   2876887     36.84     39.16  --
3397.27/851.46	c  S st 13697   2210946      2520    655200      2520    121263   3936240   3750844     36.85   no data  --
3399.23/851.96	c  S st 13697   2211447      2520    655200      2520    121764   3936240   3785945     36.85   no data  --
3399.63/852.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
3399.63/852.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3401.25/852.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 11.7M T:  1.68
3402.42/852.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3406.81/853.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.07 s
3406.81/853.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2520 time:  0.00 s
3406.81/853.82	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
4213.39/1055.92	c lits-rem:         8  cl-subs:      110  v-elim:      0  v-fix:    0  time: 800.18 s
4213.39/1055.99	c vivif2 --  cl tried   655200 cl shrink        0 lits rem          0 time: 0.28
4213.79/1056.06	c vivif2 --  cl tried   121654 cl shrink        0 lits rem          0 time: 0.27
4214.95/1056.39	c asymm  cl-useful: 0/14175/655200 lits-rem:0 time: 1.28
4215.35/1056.41	c calculated reachability. Time: 0.00
4215.35/1056.41	c  N dy 13697   2211447      2520    655200      2520    121654   3936240   3772410     36.85   no data  --
4222.16/1058.20	c  N dy 13822   2231485      2520    655200      2520     73753   3936240   1238498     36.84     61.46  --
4227.72/1059.55	c  N dy 13943   2251502      2520    655200      2520     93737   3936240   2293944     36.85     50.01  --
4233.71/1061.06	c  N dy 14071   2271548      2520    655200      2520    113752   3936240   3362583     36.85     39.01  --
4240.13/1062.62	c  N dy 14188   2291624      2520    655200      2520    133803   3936240   4391903     36.85     43.65  --
4246.09/1064.18	c  N dy 14309   2311672      2520    655200      2520     84913   3936240   1773868     36.84     39.40  --
4252.07/1065.60	c  N dy 14425   2331678      2520    655200      2520    104892   3936240   2803802     36.84     38.86  --
4258.06/1067.16	c  N dy 14544   2351726      2520    655200      2520    124918   3936240   3840207     36.84     39.08  --
4265.24/1068.96	c  N dy 14668   2371881      2520    655200      2520     75135   3936240   1231885     36.83     39.10  --
4270.86/1070.35	c  N dy 14788   2391944      2520    655200      2520     95173   3936240   2285936     36.83     38.95  --
4276.82/1071.88	c  N dy 14917   2412105      2520    655200      2520    115309   3936240   3343397     36.83     39.21  --
4283.63/1073.52	c  N dy 15031   2432155      2520    655200      2520    135337   3936240   4398009     36.83     39.29  --
4290.79/1075.30	c  N dy 15157   2452173      2520    655200      2520     84408   3936240   1680162     36.83     39.91  --
4296.38/1076.75	c  N dy 15284   2472199      2520    655200      2520    104407   3936240   2729785     36.83     55.35  --
4302.76/1078.37	c  N dy 15412   2492263      2520    655200      2520    124442   3936240   3782084     36.84     40.12  --
4311.14/1080.40	c  N dy 15538   2512369      2520    655200      2520     72616   3936240   1030308     36.84     39.59  --
4316.34/1081.77	c  N dy 15668   2532377      2520    655200      2520     92606   3936240   2079205     36.84     39.62  --
4322.72/1083.33	c  N dy 15801   2552702      2520    655200      2520    112914   3936240   3155240     36.85     39.20  --
4329.50/1085.05	c  N dy 15927   2572729      2520    655200      2520    132914   3936240   4209589     36.85     42.27  --
4337.49/1087.04	c  N dy 16063   2593006      2520    655200      2520     80274   3936240   1403895     36.86     39.66  --
4343.08/1088.45	c  N dy 16196   2613026      2520    655200      2520    100266   3936240   2468419     36.87     39.46  --
4349.07/1089.99	c  N dy 16321   2633045      2520    655200      2520    120258   3936240   3511002     36.87     45.37  --
4355.86/1091.67	c  N dy 16445   2653117      2520    655200      2520    140301   3936240   4556448     36.87     39.43  --
4363.07/1093.44	c  N dy 16568   2673191      2520    655200      2520     86429   3936240   1670103     36.87     40.53  --
4369.03/1094.92	c  N dy 16689   2693206      2520    655200      2520    106426   3936240   2707933     36.87     40.02  --
4374.61/1096.36	c  S st 16799   2711448      2520    655200      2520    124638   3936240   3669741     36.87   no data  --
4376.60/1096.85	c  S st 16799   2711952      2520    655200      2520    125142   3936240   3704818     36.87   no data  --
4377.00/1096.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.18
4377.00/1096.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4378.61/1097.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 11.6M T:  1.73
4379.80/1097.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4383.80/1098.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  3.98 s
4383.80/1098.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2520 time:  0.00 s
4383.80/1098.65	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s

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-3369145-1305413262/watcher-3369145-1305413262 -o /tmp/evaluation-result-3369145-1305413262/solver-3369145-1305413262 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369145-1305413262.cnf 

running on 4 cores: 1,3,5,7

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.49 7.95 7.41 1/267 27168
/proc/meminfo: memFree=20942972/32950904 swapFree=67057400/67111528
[pid=27168] ppid=27166 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/27168/stat : 27168 (strangenight1-m) R 27166 27168 26831 0 -1 4202496 412 0 0 0 1 0 0 0 21 0 4 0 652926023 52465664 352 33554432000 4194304 4650419 140733831819280 18446744073709551615 47326478292908 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27168/statm: 12809 352 303 112 0 7774 0
[pid=27168/tid=27169] ppid=27166 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/27168/task/27169/stat : 27169 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 652926023 52465664 352 33554432000 4194304 4650419 140733831819280 18446744073709551615 237278936049 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27168/tid=27170] ppid=27166 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/27168/task/27170/stat : 27170 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 652926023 52465664 352 33554432000 4194304 4650419 140733831819280 18446744073709551615 47326478292914 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27168/tid=27171] ppid=27166 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/27168/task/27171/stat : 27171 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 652926023 52465664 352 33554432000 4194304 4650419 140733831819280 18446744073709551615 47326478292914 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0501391 s]
/proc/loadavg: 7.49 7.95 7.41 1/267 27168
/proc/meminfo: memFree=20942972/32950904 swapFree=67057400/67111528
[pid=27168] ppid=27166 vsize=292360 CPUtime=0.15 cores=1,3,5,7
/proc/27168/stat : 27168 (strangenight1-m) R 27166 27168 26831 0 -1 4202496 9243 0 0 0 12 3 0 0 18 0 4 0 652926023 299376640 9020 33554432000 4194304 4650419 140733831819280 18446744073709551615 237278922935 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27168/statm: 73090 9028 344 112 0 68055 0
[pid=27168/tid=27169] ppid=27166 vsize=292360 CPUtime=0.02 cores=1,3,5,7
/proc/27168/task/27169/stat : 27169 (strangenight1-m) D 27166 27168 26831 0 -1 4202560 2197 0 0 0 2 0 0 0 18 0 4 0 652926023 299376640 9028 33554432000 4194304 4650419 140733831819280 18446744073709551615 237278540833 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27168/tid=27170] ppid=27166 vsize=292360 CPUtime=0.04 cores=1,3,5,7
/proc/27168/task/27170/stat : 27170 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 2290 0 0 0 3 1 0 0 18 0 4 0 652926023 299376640 9032 33554432000 4194304 4650419 140733831819280 18446744073709551615 4514716 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27168/tid=27171] ppid=27166 vsize=292360 CPUtime=0.03 cores=1,3,5,7
/proc/27168/task/27171/stat : 27171 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 2239 0 0 0 3 0 0 0 18 0 4 0 652926023 299376640 9037 33554432000 4194304 4650419 140733831819280 18446744073709551615 237278922935 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 292360

[startup+0.103437 s]
/proc/loadavg: 7.49 7.95 7.41 1/267 27168
/proc/meminfo: memFree=20942972/32950904 swapFree=67057400/67111528
[pid=27168] ppid=27166 vsize=303480 CPUtime=0.32 cores=1,3,5,7
/proc/27168/stat : 27168 (strangenight1-m) R 27166 27168 26831 0 -1 4202496 18256 0 0 0 23 9 0 0 18 0 4 0 652926023 310763520 18034 33554432000 4194304 4650419 140733831819280 18446744073709551615 237278922935 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27168/statm: 75870 18127 344 112 0 70835 0
[pid=27168/tid=27169] ppid=27166 vsize=303480 CPUtime=0.06 cores=1,3,5,7
/proc/27168/task/27169/stat : 27169 (strangenight1-m) D 27166 27168 26831 0 -1 4202560 4459 0 0 0 5 1 0 0 18 0 4 0 652926023 310763520 18183 33554432000 4194304 4650419 140733831819280 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27168/tid=27170] ppid=27166 vsize=303480 CPUtime=0.07 cores=1,3,5,7
/proc/27168/task/27170/stat : 27170 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 4702 0 0 0 5 2 0 0 18 0 4 0 652926023 310763520 18422 33554432000 4194304 4650419 140733831819280 18446744073709551615 4547221 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27168/tid=27171] ppid=27166 vsize=303480 CPUtime=0.08 cores=1,3,5,7
/proc/27168/task/27171/stat : 27171 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 4584 0 0 0 6 2 0 0 18 0 4 0 652926023 310763520 18471 33554432000 4194304 4650419 140733831819280 18446744073709551615 237278922935 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 303480

[startup+0.34493 s]
/proc/loadavg: 7.49 7.95 7.41 1/267 27168
/proc/meminfo: memFree=20942972/32950904 swapFree=67057400/67111528
[pid=27168] ppid=27166 vsize=540016 CPUtime=1.48 cores=1,3,5,7
/proc/27168/stat : 27168 (strangenight1-m) R 27166 27168 26831 0 -1 4202496 50422 0 0 0 127 21 0 0 18 0 4 0 652926023 552976384 46166 33554432000 4194304 4650419 140733831819280 18446744073709551615 4535993 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27168/statm: 142438 46670 370 112 0 137403 0
[pid=27168/tid=27169] ppid=27166 vsize=569752 CPUtime=0.36 cores=1,3,5,7
/proc/27168/task/27169/stat : 27169 (strangenight1-m) D 27166 27168 26831 0 -1 4202560 11558 0 0 0 31 5 0 0 18 0 4 0 652926023 583426048 47693 33554432000 4194304 4650419 140733831819280 18446744073709551615 4515973 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27168/tid=27170] ppid=27166 vsize=588168 CPUtime=0.38 cores=1,3,5,7
/proc/27168/task/27170/stat : 27170 (strangenight1-m) D 27166 27168 26831 0 -1 4202560 19532 0 0 0 32 6 0 0 18 0 4 0 652926023 602284032 53671 33554432000 4194304 4650419 140733831819280 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27168/tid=27171] ppid=27166 vsize=604560 CPUtime=0.39 cores=1,3,5,7
/proc/27168/task/27171/stat : 27171 (strangenight1-m) D 27166 27168 26831 0 -1 4202560 11303 0 0 0 34 5 0 0 18 0 4 0 652926023 619069440 55550 33554432000 4194304 4650419 140733831819280 18446744073709551615 237278922935 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 540016

[startup+0.700951 s]
/proc/loadavg: 7.49 7.95 7.41 1/267 27168
/proc/meminfo: memFree=20942972/32950904 swapFree=67057400/67111528
[pid=27168] ppid=27166 vsize=517180 CPUtime=2.62 cores=1,3,5,7
/proc/27168/stat : 27168 (strangenight1-m) R 27166 27168 26831 0 -1 4202496 99486 0 0 0 230 32 0 0 18 0 4 0 652926023 529592320 67933 33554432000 4194304 4650419 140733831819280 18446744073709551615 237278540833 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27168/statm: 129295 67948 378 112 0 124260 0
[pid=27168/tid=27169] ppid=27166 vsize=517180 CPUtime=0.64 cores=1,3,5,7
/proc/27168/task/27169/stat : 27169 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 27262 0 0 0 56 8 0 0 18 0 4 0 652926023 529592320 67958 33554432000 4194304 4650419 140733831819280 18446744073709551615 237278922935 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27168/tid=27170] ppid=27166 vsize=517180 CPUtime=0.64 cores=1,3,5,7
/proc/27168/task/27170/stat : 27170 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 32663 0 0 0 55 9 0 0 18 0 4 0 652926023 529592320 67966 33554432000 4194304 4650419 140733831819280 18446744073709551615 237278576395 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27168/tid=27171] ppid=27166 vsize=517316 CPUtime=0.65 cores=1,3,5,7
/proc/27168/task/27171/stat : 27171 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 11897 0 0 0 60 5 0 0 18 0 4 0 652926023 529731584 67976 33554432000 4194304 4650419 140733831819280 18446744073709551615 4366087 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 517180

[startup+1.50082 s]
/proc/loadavg: 7.49 7.95 7.41 5/271 27172
/proc/meminfo: memFree=20413620/32950904 swapFree=67057400/67111528
[pid=27168] ppid=27166 vsize=837368 CPUtime=5.73 cores=1,3,5,7
/proc/27168/stat : 27168 (strangenight1-m) R 27166 27168 26831 0 -1 4202496 184322 0 0 0 524 49 0 0 18 0 4 0 652926023 857464832 147266 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476297 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27168/statm: 209342 147266 390 112 0 204307 0
[pid=27168/tid=27169] ppid=27166 vsize=837368 CPUtime=1.41 cores=1,3,5,7
/proc/27168/task/27169/stat : 27169 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 55202 0 0 0 127 14 0 0 18 0 4 0 652926023 857464832 147266 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27168/tid=27170] ppid=27166 vsize=837368 CPUtime=1.41 cores=1,3,5,7
/proc/27168/task/27170/stat : 27170 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 56025 0 0 0 128 13 0 0 18 0 4 0 652926023 857464832 147266 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27168/tid=27171] ppid=27166 vsize=837368 CPUtime=1.43 cores=1,3,5,7
/proc/27168/task/27171/stat : 27171 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 13131 0 0 0 138 5 0 0 18 0 4 0 652926023 857464832 147266 33554432000 4194304 4650419 140733831819280 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.73
Current children cumulated vsize (KiB) 837368

[startup+3.10053 s]
/proc/loadavg: 7.37 7.92 7.40 6/273 27176
/proc/meminfo: memFree=20340032/32950904 swapFree=67057400/67111528
[pid=27168] ppid=27166 vsize=924480 CPUtime=12.11 cores=1,3,5,7
/proc/27168/stat : 27168 (strangenight1-m) R 27166 27168 26831 0 -1 4202496 209527 0 0 0 1156 55 0 0 22 0 4 0 652926023 946667520 172469 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476356 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27168/statm: 231120 172469 391 112 0 226085 0
[pid=27168/tid=27169] ppid=27166 vsize=924480 CPUtime=3 cores=1,3,5,7
/proc/27168/task/27169/stat : 27169 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 55202 0 0 0 286 14 0 0 21 0 4 0 652926023 946667520 172469 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476471 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27168/tid=27170] ppid=27166 vsize=924480 CPUtime=3.01 cores=1,3,5,7
/proc/27168/task/27170/stat : 27170 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 56025 0 0 0 288 13 0 0 21 0 4 0 652926023 946667520 172469 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27168/tid=27171] ppid=27166 vsize=924480 CPUtime=3.02 cores=1,3,5,7
/proc/27168/task/27171/stat : 27171 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 38336 0 0 0 291 11 0 0 21 0 4 0 652926023 946667520 172469 33554432000 4194304 4650419 140733831819280 18446744073709551615 4540195 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.11
Current children cumulated vsize (KiB) 924480

[startup+6.30096 s]
/proc/loadavg: 7.37 7.92 7.40 10/279 27185
/proc/meminfo: memFree=19992532/32950904 swapFree=67057400/67111528
[pid=27168] ppid=27166 vsize=841392 CPUtime=24.88 cores=1,3,5,7
/proc/27168/stat : 27168 (strangenight1-m) R 27166 27168 26831 0 -1 4202496 224443 0 0 0 2428 60 0 0 25 0 4 0 652926023 861585408 164327 33554432000 4194304 4650419 140733831819280 18446744073709551615 4433074 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27168/statm: 210348 164327 392 112 0 205313 0
[pid=27168/tid=27169] ppid=27166 vsize=841392 CPUtime=6.17 cores=1,3,5,7
/proc/27168/task/27169/stat : 27169 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 59869 0 0 0 602 15 0 0 25 0 4 0 652926023 861585408 164327 33554432000 4194304 4650419 140733831819280 18446744073709551615 4432376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27168/tid=27170] ppid=27166 vsize=841392 CPUtime=6.21 cores=1,3,5,7
/proc/27168/task/27170/stat : 27170 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 58289 0 0 0 607 14 0 0 25 0 4 0 652926023 861585408 164327 33554432000 4194304 4650419 140733831819280 18446744073709551615 237278546906 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27168/tid=27171] ppid=27166 vsize=841392 CPUtime=6.22 cores=1,3,5,7
/proc/27168/task/27171/stat : 27171 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 40381 0 0 0 611 11 0 0 25 0 4 0 652926023 861585408 164327 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.88
Current children cumulated vsize (KiB) 841392

[startup+12.7008 s]
/proc/loadavg: 7.46 7.92 7.41 10/279 27185
/proc/meminfo: memFree=19623796/32950904 swapFree=67057400/67111528
[pid=27168] ppid=27166 vsize=1250980 CPUtime=50.42 cores=1,3,5,7
/proc/27168/stat : 27168 (strangenight1-m) R 27166 27168 26831 0 -1 4202496 289035 0 0 0 4960 82 0 0 25 0 4 0 652926023 1281003520 228272 33554432000 4194304 4650419 140733831819280 18446744073709551615 4433048 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27168/statm: 312745 228272 392 112 0 307710 0
[pid=27168/tid=27169] ppid=27166 vsize=1250980 CPUtime=12.51 cores=1,3,5,7
/proc/27168/task/27169/stat : 27169 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 79718 0 0 0 1229 22 0 0 25 0 4 0 652926023 1281003520 228272 33554432000 4194304 4650419 140733831819280 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27168/tid=27170] ppid=27166 vsize=1250980 CPUtime=12.61 cores=1,3,5,7
/proc/27168/task/27170/stat : 27170 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 77188 0 0 0 1242 19 0 0 25 0 4 0 652926023 1281003520 228277 33554432000 4194304 4650419 140733831819280 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27168/tid=27171] ppid=27166 vsize=1250980 CPUtime=12.63 cores=1,3,5,7
/proc/27168/task/27171/stat : 27171 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 46065 0 0 0 1250 13 0 0 25 0 4 0 652926023 1281003520 228280 33554432000 4194304 4650419 140733831819280 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.42
Current children cumulated vsize (KiB) 1250980

[startup+25.5006 s]
/proc/loadavg: 7.55 7.92 7.41 9/279 27185
/proc/meminfo: memFree=19303596/32950904 swapFree=67057400/67111528
[pid=27168] ppid=27166 vsize=1480144 CPUtime=101.43 cores=1,3,5,7
/proc/27168/stat : 27168 (strangenight1-m) R 27166 27168 26831 0 -1 4202496 1445680 0 0 0 9871 272 0 0 25 0 4 0 652926023 1515667456 272751 33554432000 4194304 4650419 140733831819280 18446744073709551615 4442087 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27168/statm: 370036 272785 398 112 0 365001 0
[pid=27168/tid=27169] ppid=27166 vsize=1480144 CPUtime=25.17 cores=1,3,5,7
/proc/27168/task/27169/stat : 27169 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 287116 0 0 0 2461 56 0 0 25 0 4 0 652926023 1515667456 272801 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27168/tid=27170] ppid=27166 vsize=1480144 CPUtime=25.39 cores=1,3,5,7
/proc/27168/task/27170/stat : 27170 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 331979 0 0 0 2479 60 0 0 25 0 4 0 652926023 1515667456 272820 33554432000 4194304 4650419 140733831819280 18446744073709551615 4441171 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27168/tid=27171] ppid=27166 vsize=1480144 CPUtime=25.42 cores=1,3,5,7
/proc/27168/task/27171/stat : 27171 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 497542 0 0 0 2457 85 0 0 25 0 4 0 652926023 1515667456 272840 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.43
Current children cumulated vsize (KiB) 1480144

[startup+51.101 s]
/proc/loadavg: 7.70 7.93 7.43 10/279 27186
/proc/meminfo: memFree=19140900/32950904 swapFree=67057400/67111528
[pid=27168] ppid=27166 vsize=1482032 CPUtime=203.47 cores=1,3,5,7
/proc/27168/stat : 27168 (strangenight1-m) R 27166 27168 26831 0 -1 4202496 3742968 0 0 0 19698 649 0 0 25 0 4 0 652926023 1517600768 291330 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476432 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27168/statm: 370508 291330 517 112 0 365473 0
[pid=27168/tid=27169] ppid=27166 vsize=1482032 CPUtime=50.5 cores=1,3,5,7
/proc/27168/task/27169/stat : 27169 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 1030055 0 0 0 4874 176 0 0 25 0 4 0 652926023 1517600768 291330 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476466 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27168/tid=27170] ppid=27166 vsize=1482032 CPUtime=50.97 cores=1,3,5,7
/proc/27168/task/27170/stat : 27170 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 690269 0 0 0 4977 120 0 0 25 0 4 0 652926023 1517600768 291330 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27168/tid=27171] ppid=27166 vsize=1482032 CPUtime=50.98 cores=1,3,5,7
/proc/27168/task/27171/stat : 27171 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 1001779 0 0 0 4932 166 0 0 25 0 4 0 652926023 1517600768 291330 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.47
Current children cumulated vsize (KiB) 1482032

[startup+102.311 s]
/proc/loadavg: 7.92 7.95 7.46 10/279 27187
/proc/meminfo: memFree=19070100/32950904 swapFree=67057400/67111528
[pid=27168] ppid=27166 vsize=1408120 CPUtime=407.81 cores=1,3,5,7
/proc/27168/stat : 27168 (strangenight1-m) R 27166 27168 26831 0 -1 4202496 7945576 0 0 0 39449 1332 0 0 25 0 4 0 652926023 1441914880 296228 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27168/statm: 352030 296228 395 112 0 346995 0
[pid=27168/tid=27169] ppid=27166 vsize=1408120 CPUtime=101.24 cores=1,3,5,7
/proc/27168/task/27169/stat : 27169 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 2403855 0 0 0 9725 399 0 0 25 0 4 0 652926023 1441914880 296228 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27168/tid=27170] ppid=27166 vsize=1408120 CPUtime=102.18 cores=1,3,5,7
/proc/27168/task/27170/stat : 27170 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 699601 0 0 0 10095 123 0 0 25 0 4 0 652926023 1441914880 296228 33554432000 4194304 4650419 140733831819280 18446744073709551615 4440593 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27168/tid=27171] ppid=27166 vsize=1408120 CPUtime=102.17 cores=1,3,5,7
/proc/27168/task/27171/stat : 27171 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 2206724 0 0 0 9855 362 0 0 25 0 4 0 652926023 1441914880 296228 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.81
Current children cumulated vsize (KiB) 1408120

[startup+162.3 s]

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

[pid=27168] ppid=27166 vsize=1827456 CPUtime=2802.22 cores=1,3,5,7
/proc/27168/stat : 27168 (strangenight1-m) R 27166 27168 26831 0 -1 4202496 32951345 0 0 0 274880 5342 0 0 25 0 4 0 652926023 1871314944 382431 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27168/statm: 456864 382431 572 112 0 451829 0
[pid=27168/tid=27169] ppid=27166 vsize=1827456 CPUtime=698.29 cores=1,3,5,7
/proc/27168/task/27169/stat : 27169 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 8861170 0 0 0 68386 1443 0 0 25 0 4 0 652926023 1871314944 382431 33554432000 4194304 4650419 140733831819280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27168/tid=27170] ppid=27166 vsize=1827456 CPUtime=702.13 cores=1,3,5,7
/proc/27168/task/27170/stat : 27170 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 1117085 0 0 0 69982 231 0 0 25 0 4 0 652926023 1871314944 382431 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27168/tid=27171] ppid=27166 vsize=1827456 CPUtime=699.61 cores=1,3,5,7
/proc/27168/task/27171/stat : 27171 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 9487631 0 0 0 68431 1530 0 0 25 0 4 0 652926023 1871314944 382431 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.22
Current children cumulated vsize (KiB) 1827456

[startup+762.311 s]
/proc/loadavg: 8.10 8.10 7.78 10/279 27205
/proc/meminfo: memFree=18217572/32950904 swapFree=67057400/67111528
[pid=27168] ppid=27166 vsize=1960476 CPUtime=3041.7 cores=1,3,5,7
/proc/27168/stat : 27168 (strangenight1-m) R 27166 27168 26831 0 -1 4202496 35352170 0 0 0 298445 5725 0 0 25 0 4 0 652926023 2007527424 396521 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27168/statm: 490119 396521 395 112 0 485084 0
[pid=27168/tid=27169] ppid=27166 vsize=1960476 CPUtime=758.29 cores=1,3,5,7
/proc/27168/task/27169/stat : 27169 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 9200287 0 0 0 74330 1499 0 0 25 0 4 0 652926023 2007527424 396521 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27168/tid=27170] ppid=27166 vsize=1960476 CPUtime=762.13 cores=1,3,5,7
/proc/27168/task/27170/stat : 27170 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 1205053 0 0 0 75962 251 0 0 25 0 4 0 652926023 2007527424 396521 33554432000 4194304 4650419 140733831819280 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27168/tid=27171] ppid=27166 vsize=1960476 CPUtime=759.09 cores=1,3,5,7
/proc/27168/task/27171/stat : 27171 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 10724850 0 0 0 74189 1720 0 0 25 0 4 0 652926023 2007527424 396521 33554432000 4194304 4650419 140733831819280 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3041.7
Current children cumulated vsize (KiB) 1960476

[startup+822.301 s]
/proc/loadavg: 8.08 8.10 7.80 10/279 27216
/proc/meminfo: memFree=18210416/32950904 swapFree=67057400/67111528
[pid=27168] ppid=27166 vsize=1961060 CPUtime=3281.11 cores=1,3,5,7
/proc/27168/stat : 27168 (strangenight1-m) R 27166 27168 26831 0 -1 4202496 37524702 0 0 0 322039 6072 0 0 25 0 4 0 652926023 2008125440 396452 33554432000 4194304 4650419 140733831819280 18446744073709551615 4339796 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27168/statm: 490265 396452 499 112 0 485230 0
[pid=27168/tid=27169] ppid=27166 vsize=1961060 CPUtime=818.28 cores=1,3,5,7
/proc/27168/task/27169/stat : 27169 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 9734664 0 0 0 80246 1582 0 0 25 0 4 0 652926023 2008125440 396452 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27168/tid=27170] ppid=27166 vsize=1961060 CPUtime=822.12 cores=1,3,5,7
/proc/27168/task/27170/stat : 27170 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 1213872 0 0 0 81959 253 0 0 25 0 4 0 652926023 2008125440 396452 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27168/tid=27171] ppid=27166 vsize=1961060 CPUtime=818.55 cores=1,3,5,7
/proc/27168/task/27171/stat : 27171 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 11360893 0 0 0 80035 1820 0 0 25 0 4 0 652926023 2008125440 396452 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3281.11
Current children cumulated vsize (KiB) 1961060

[startup+882.3 s]
/proc/loadavg: 8.06 8.09 7.81 10/279 27217
/proc/meminfo: memFree=18116040/32950904 swapFree=67057400/67111528
[pid=27168] ppid=27166 vsize=2008396 CPUtime=3520.54 cores=1,3,5,7
/proc/27168/stat : 27168 (strangenight1-m) R 27166 27168 26831 0 -1 4202496 39357629 0 0 0 345685 6369 0 0 25 0 4 0 652926023 2056597504 418688 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27168/statm: 502099 418688 519 112 0 497064 0
[pid=27168/tid=27169] ppid=27166 vsize=2008396 CPUtime=878.28 cores=1,3,5,7
/proc/27168/task/27169/stat : 27169 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 10117651 0 0 0 86187 1641 0 0 25 0 4 0 652926023 2056597504 418688 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27168/tid=27170] ppid=27166 vsize=2008396 CPUtime=882.1 cores=1,3,5,7
/proc/27168/task/27170/stat : 27170 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 1297774 0 0 0 87932 278 0 0 25 0 4 0 652926023 2056597504 418688 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27168/tid=27171] ppid=27166 vsize=2008396 CPUtime=878.02 cores=1,3,5,7
/proc/27168/task/27171/stat : 27171 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 12532985 0 0 0 85804 1998 0 0 25 0 4 0 652926023 2056597504 418688 33554432000 4194304 4650419 140733831819280 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3520.54
Current children cumulated vsize (KiB) 2008396

[startup+942.301 s]
/proc/loadavg: 8.02 8.07 7.82 10/279 27219
/proc/meminfo: memFree=18059364/32950904 swapFree=67057400/67111528
[pid=27168] ppid=27166 vsize=2139660 CPUtime=3759.99 cores=1,3,5,7
/proc/27168/stat : 27168 (strangenight1-m) R 27166 27168 26831 0 -1 4202496 40058041 0 0 0 369518 6481 0 0 25 0 4 0 652926023 2191011840 431889 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27168/statm: 534915 431889 449 112 0 529880 0
[pid=27168/tid=27169] ppid=27166 vsize=2139660 CPUtime=938.28 cores=1,3,5,7
/proc/27168/task/27169/stat : 27169 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 10230792 0 0 0 92170 1658 0 0 25 0 4 0 652926023 2191011840 431889 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476830 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27168/tid=27170] ppid=27166 vsize=2139660 CPUtime=942.1 cores=1,3,5,7
/proc/27168/task/27170/stat : 27170 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 1306221 0 0 0 93931 279 0 0 25 0 4 0 652926023 2191011840 431889 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27168/tid=27171] ppid=27166 vsize=2139660 CPUtime=937.48 cores=1,3,5,7
/proc/27168/task/27171/stat : 27171 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 12702120 0 0 0 91716 2032 0 0 25 0 4 0 652926023 2191011840 431889 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476505 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3759.99
Current children cumulated vsize (KiB) 2139660

[startup+1002.3 s]
/proc/loadavg: 8.37 8.15 7.86 11/280 27223
/proc/meminfo: memFree=17993844/32950904 swapFree=67057400/67111528
[pid=27168] ppid=27166 vsize=2074196 CPUtime=3999.44 cores=1,3,5,7
/proc/27168/stat : 27168 (strangenight1-m) R 27166 27168 26831 0 -1 4202496 41365891 0 0 0 393264 6680 0 0 25 0 4 0 652926023 2123976704 430927 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27168/statm: 518549 430927 395 112 0 513514 0
[pid=27168/tid=27169] ppid=27166 vsize=2074196 CPUtime=998.27 cores=1,3,5,7
/proc/27168/task/27169/stat : 27169 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 10677584 0 0 0 98101 1726 0 0 25 0 4 0 652926023 2123976704 430927 33554432000 4194304 4650419 140733831819280 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27168/tid=27170] ppid=27166 vsize=2074196 CPUtime=1002.11 cores=1,3,5,7
/proc/27168/task/27170/stat : 27170 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 1313119 0 0 0 99930 281 0 0 25 0 4 0 652926023 2123976704 430927 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27168/tid=27171] ppid=27166 vsize=2074196 CPUtime=996.93 cores=1,3,5,7
/proc/27168/task/27171/stat : 27171 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 12792560 0 0 0 97648 2045 0 0 25 0 4 0 652926023 2123976704 430927 33554432000 4194304 4650419 140733831819280 18446744073709551615 4441444 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3999.44
Current children cumulated vsize (KiB) 2074196

[startup+1062.3 s]
/proc/loadavg: 8.17 8.13 7.87 10/279 27225
/proc/meminfo: memFree=18062072/32950904 swapFree=67057400/67111528
[pid=27168] ppid=27166 vsize=2077356 CPUtime=4238.9 cores=1,3,5,7
/proc/27168/stat : 27168 (strangenight1-m) R 27166 27168 26831 0 -1 4202496 42884842 0 0 0 416968 6922 0 0 25 0 4 0 652926023 2127212544 433978 33554432000 4194304 4650419 140733831819280 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27168/statm: 519339 433978 395 112 0 514304 0
[pid=27168/tid=27169] ppid=27166 vsize=2077356 CPUtime=1058.25 cores=1,3,5,7
/proc/27168/task/27169/stat : 27169 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 10748063 0 0 0 104077 1748 0 0 25 0 4 0 652926023 2127212544 433978 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27168/tid=27170] ppid=27166 vsize=2077356 CPUtime=1062.11 cores=1,3,5,7
/proc/27168/task/27170/stat : 27170 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 1313119 0 0 0 105930 281 0 0 25 0 4 0 652926023 2127212544 433978 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27168/tid=27171] ppid=27166 vsize=2077356 CPUtime=1056.43 cores=1,3,5,7
/proc/27168/task/27171/stat : 27171 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 13647667 0 0 0 103465 2178 0 0 25 0 4 0 652926023 2127212544 433978 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4238.9
Current children cumulated vsize (KiB) 2077356

[startup+1122.3 s]
/proc/loadavg: 8.20 8.15 7.89 10/279 27227
/proc/meminfo: memFree=17962356/32950904 swapFree=67057400/67111528
[pid=27168] ppid=27166 vsize=2213612 CPUtime=4478.37 cores=1,3,5,7
/proc/27168/stat : 27168 (strangenight1-m) R 27166 27168 26831 0 -1 4202496 43508745 0 0 0 440803 7034 0 0 25 0 4 0 652926023 2266738688 442012 33554432000 4194304 4650419 140733831819280 18446744073709551615 4441444 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27168/statm: 553403 442012 395 112 0 548368 0
[pid=27168/tid=27169] ppid=27166 vsize=2213612 CPUtime=1118.25 cores=1,3,5,7
/proc/27168/task/27169/stat : 27169 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 10825856 0 0 0 110065 1760 0 0 25 0 4 0 652926023 2266738688 442012 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27168/tid=27170] ppid=27166 vsize=2213612 CPUtime=1122.1 cores=1,3,5,7
/proc/27168/task/27170/stat : 27170 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 1428653 0 0 0 111912 298 0 0 25 0 4 0 652926023 2266738688 442012 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27168/tid=27171] ppid=27166 vsize=2213612 CPUtime=1115.89 cores=1,3,5,7
/proc/27168/task/27171/stat : 27171 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 13743684 0 0 0 109391 2198 0 0 25 0 4 0 652926023 2266738688 442012 33554432000 4194304 4650419 140733831819280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4478.37
Current children cumulated vsize (KiB) 2213612

[startup+1182.3 s]
/proc/loadavg: 8.22 8.15 7.91 10/279 27228
/proc/meminfo: memFree=17979832/32950904 swapFree=67057400/67111528
[pid=27168] ppid=27166 vsize=2086012 CPUtime=4717.84 cores=1,3,5,7
/proc/27168/stat : 27168 (strangenight1-m) R 27166 27168 26831 0 -1 4202496 44462832 0 0 0 464591 7193 0 0 25 0 4 0 652926023 2136076288 440435 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27168/statm: 521503 440435 395 112 0 516468 0
[pid=27168/tid=27169] ppid=27166 vsize=2086012 CPUtime=1178.25 cores=1,3,5,7
/proc/27168/task/27169/stat : 27169 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 10911972 0 0 0 116053 1772 0 0 25 0 4 0 652926023 2136076288 440435 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27168/tid=27170] ppid=27166 vsize=2086012 CPUtime=1182.1 cores=1,3,5,7
/proc/27168/task/27170/stat : 27170 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 1730053 0 0 0 117862 348 0 0 25 0 4 0 652926023 2136076288 440435 33554432000 4194304 4650419 140733831819280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27168/tid=27171] ppid=27166 vsize=2086012 CPUtime=1175.36 cores=1,3,5,7
/proc/27168/task/27171/stat : 27171 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 13809211 0 0 0 115318 2218 0 0 25 0 4 0 652926023 2136076288 440435 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4717.84
Current children cumulated vsize (KiB) 2086012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.9 s]
/proc/loadavg: 8.16 8.14 7.91 9/279 27229
/proc/meminfo: memFree=17986400/32950904 swapFree=67057400/67111528
[pid=27168] ppid=27166 vsize=2086352 CPUtime=4800.07 cores=1,3,5,7
/proc/27168/stat : 27168 (strangenight1-m) R 27166 27168 26831 0 -1 4202496 44735438 0 0 0 472764 7243 0 0 25 0 4 0 652926023 2136424448 437686 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476471 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27168/statm: 521588 437686 395 112 0 516553 0
[pid=27168/tid=27169] ppid=27166 vsize=2086352 CPUtime=1198.86 cores=1,3,5,7
/proc/27168/task/27169/stat : 27169 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 10911972 0 0 0 118114 1772 0 0 25 0 4 0 652926023 2136424448 437686 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27168/tid=27170] ppid=27166 vsize=2086352 CPUtime=1202.7 cores=1,3,5,7
/proc/27168/task/27170/stat : 27170 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 1782533 0 0 0 119906 364 0 0 25 0 4 0 652926023 2136424448 437686 33554432000 4194304 4650419 140733831819280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27168/tid=27171] ppid=27166 vsize=2086352 CPUtime=1195.78 cores=1,3,5,7
/proc/27168/task/27171/stat : 27171 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 13863915 0 0 0 117351 2227 0 0 25 0 4 0 652926023 2136424448 437686 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 2086352

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

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

[startup+1202.9 s]
/proc/loadavg: 8.16 8.14 7.91 9/279 27229
/proc/meminfo: memFree=17986400/32950904 swapFree=67057400/67111528
[pid=27168] ppid=27166 vsize=2086352 CPUtime=4800.07 cores=1,3,5,7
/proc/27168/stat : 27168 (strangenight1-m) R 27166 27168 26831 0 -1 4202496 44735438 0 0 0 472764 7243 0 0 25 0 4 0 652926023 2136424448 437686 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476471 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27168/statm: 521588 437686 395 112 0 516553 0
[pid=27168/tid=27169] ppid=27166 vsize=2086352 CPUtime=1198.86 cores=1,3,5,7
/proc/27168/task/27169/stat : 27169 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 10911972 0 0 0 118114 1772 0 0 25 0 4 0 652926023 2136424448 437686 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27168/tid=27170] ppid=27166 vsize=2086352 CPUtime=1202.7 cores=1,3,5,7
/proc/27168/task/27170/stat : 27170 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 1782533 0 0 0 119906 364 0 0 25 0 4 0 652926023 2136424448 437686 33554432000 4194304 4650419 140733831819280 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27168/tid=27171] ppid=27166 vsize=2086352 CPUtime=1195.78 cores=1,3,5,7
/proc/27168/task/27171/stat : 27171 (strangenight1-m) R 27166 27168 26831 0 -1 4202560 13863915 0 0 0 117351 2227 0 0 25 0 4 0 652926023 2136424448 437686 33554432000 4194304 4650419 140733831819280 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 2086352

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203
CPU time (s): 4800.19
CPU user time (s): 4727.67
CPU system time (s): 72.521
CPU usage (%): 399.019
Max. virtual memory (cumulated for all children) (KiB): 2321436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4727.67
system time used= 72.521
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44735442
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= 23155
involuntary context switches= 32000

runsolver used 2.76858 second user time and 7.9018 second system time

The end

Launcher Data 

Begin job on node121 at 2011-05-15 00:47:43
IDJOB=3369145
IDBENCH=83166
IDSOLVER=1846
FILE ID=node121/3369145-1305413262
RUNJOBID= node121-1305410850-26850
PBS_JOBID= 13324525
Free space on /tmp= 73416 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-21x40.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369145-1305413262/watcher-3369145-1305413262 -o /tmp/evaluation-result-3369145-1305413262/solver-3369145-1305413262 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369145-1305413262.cnf

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

MD5SUM BENCH= 65a5698edfd6f3a12089595d81c196e3
RANDOM SEED=1048665179

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.817
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:     32950904 kB
MemFree:      20943268 kB
Buffers:        301304 kB
Cached:        5983576 kB
SwapCached:       7656 kB
Active:        6440016 kB
Inactive:      5214164 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      20943268 kB
SwapTotal:    67111528 kB
SwapFree:     67057400 kB
Dirty:           22312 kB
Writeback:           4 kB
AnonPages:     5367112 kB
Mapped:          21160 kB
Slab:           266396 kB
PageTables:      23844 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 30642332 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= 73400 MiB
End job on node121 at 2011-05-15 01:07:48