Trace number 3368518

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.37 1202.55

General information on the benchmark

Namerandom/large/
unif-k5-r20-v1250-c25000-S1103412232-098-UNKNOWN.cnf
MD5SUMd6a0b223b2c940add3196cb3c37e2d59
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark98.1881
Satisfiable
(Un)Satisfiability was proved
Number of variables1250
Number of clauses25000
Sum of the clauses size125000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 525000
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.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-3368518-1305395800.cnf'
0.00/0.01	c -- header says num vars:           1250
0.00/0.01	c -- header says num clauses:       25000
0.00/0.02	c -- clauses added:            0 learnts,        25000 normals,            0 xors
0.00/0.02	c -- vars added       1250
0.00/0.02	c Parsing time:  0.04 s
0.00/0.02	c  N st     0         0      1250     25000         0         0    125000         0   no data   no data  --
0.00/0.15	c asymm  cl-useful: 0/25000/25000 lits-rem:0 time: 0.49
0.61/0.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
0.61/0.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.61/0.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.61/0.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
0.61/0.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2.37/0.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
2.37/0.60	c Finding binary XORs  T:     0.00 s  found:       0
2.37/0.60	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
2.37/0.60	c calculated reachability. Time: 0.00
2.37/0.60	c Calc default polars -  time:   0.01 s pos:     589 undec:      47 neg:     614
2.37/0.60	c =========================================================================================
2.37/0.60	c types(t): F = full restart, N = normal restart
2.37/0.60	c types(t): S = simplification begin/end, E = solution found
2.37/0.60	c restart types(rt): st = static, dy = dynamic
2.37/0.60	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.37/0.60	c  B st     0         0      1250     25000         0         0    125000         0   no data   no data  --
2.37/0.60	c  N dy    22      4097      1250     25000         0      4094    125000    570668    105.67    112.73  --
3.17/0.85	c  N dy    49      8130      1250     25000         0      5630    125000    564069    106.33    113.79  --
4.79/1.21	c  N dy    78     12207      1250     25000         0      5458    125000    363177    107.92    114.22  --
5.95/1.56	c  N dy   105     16259      1250     25000         0      9509    125000    910096    108.21    114.75  --
7.55/1.94	c  N dy   132     20457      1250     25000         0      8082    125000    557176    108.29    116.17  --
9.18/2.32	c  N dy   157     24657      1250     25000         0     12281    125000   1127021    108.28    115.72  --
9.18/2.35	c  F st   159     25001      1250     25000         0     12624    125000   1174043    108.30   no data  --
11.14/2.83	c  N dy   165     30000      1250     25000         0     10809    125000    840080    108.30   no data  --
11.14/2.83	c  S st   165     30000      1250     25000         0     10809    125000    840080    108.30   no data  --
11.14/2.89	c  S st   165     30503      1250     25000         0     11312    125000    900364    108.30   no data  --
11.14/2.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
11.14/2.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.55/2.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
11.55/2.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.55/2.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.55/2.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
11.55/2.95	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
18.33/4.69	c lits-rem:      3330  cl-subs:       30  v-elim:      0  v-fix:    0  time:  6.90 s
19.12/4.88	c asymm  cl-useful: 0/25000/25000 lits-rem:0 time: 0.76
19.12/4.88	c calculated reachability. Time: 0.00
19.12/4.88	c  N dy   165     30503      1250     25000         0     11282    125000    887958    108.30   no data  --
21.13/5.30	c  N dy   191     34543      1250     25000         0     15320    125000   1440501    108.66    118.74  --
22.72/5.71	c  N dy   218     38664      1250     25000         0     11540    125000    752134    108.97    116.03  --
24.31/6.16	c  N dy   244     42917      1250     25000         0     15789    125000   1334219    109.10    115.96  --
25.51/6.49	c  S st   266     45754      1250     25000         0      9679    125000    365271    109.47    108.21  --
25.91/6.55	c  S st   266     46261      1250     25000         0     10186    125000    429340    109.47   no data  --
25.91/6.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
25.91/6.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.91/6.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.06
25.91/6.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.91/6.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.91/6.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
25.91/6.59	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
43.08/10.84	c lits-rem:      1346  cl-subs:        0  v-elim:      0  v-fix:    0  time: 16.93 s
43.08/10.84	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
43.08/10.84	c vivif2 --  cl tried    10186 cl shrink        0 lits rem          0 time: 0.02
43.89/11.02	c asymm  cl-useful: 0/25000/25000 lits-rem:0 time: 0.70
43.89/11.02	c calculated reachability. Time: 0.00
43.89/11.02	c  N dy   266     46261      1250     25000         0     10186    125000    427994    109.47   no data  --
45.47/11.45	c  N dy   293     50583      1250     25000         0     14503    125000   1023999    109.62    115.64  --
47.47/11.93	c  N dy   321     54988      1250     25000         0     18903    125000   1628020    109.72    116.19  --
49.05/12.38	c  N dy   348     59086      1250     25000         0     13031    125000    691915    109.71    116.70  --
51.06/12.83	c  N dy   373     63329      1250     25000         0     17273    125000   1265639    109.62    116.24  --
52.67/13.29	c  N dy   390     67415      1250     25000         0     21353    125000   1817908    109.41    116.27  --
53.85/13.51	c  S st   406     69392      1250     25000         0     12347    125000    470770    109.51   no data  --
53.85/13.58	c  S st   406     69894      1250     25000         0     12849    125000    533544    109.51   no data  --
53.85/13.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
53.85/13.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
53.85/13.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
54.25/13.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
54.25/13.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
54.25/13.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
54.25/13.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
72.22/18.16	c lits-rem:      1950  cl-subs:        1  v-elim:      0  v-fix:    0  time: 18.13 s
72.22/18.17	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
72.22/18.17	c vivif2 --  cl tried    12848 cl shrink        0 lits rem          0 time: 0.02
73.02/18.39	c asymm  cl-useful: 0/25000/25000 lits-rem:0 time: 0.87
73.02/18.39	c calculated reachability. Time: 0.00
73.02/18.39	c  N dy   406     69894      1250     25000         0     12848    125000    531278    109.51   no data  --
75.41/18.92	c  N dy   438     74373      1250     25000         0     17322    125000   1143403    109.70    117.24  --
77.81/19.52	c  N dy   462     79272      1250     25000         0     22221    125000   1811797    109.58    115.64  --
80.20/20.14	c  N dy   489     84375      1250     25000         0     15334    125000    751796    109.51    117.22  --
81.80/20.53	c  F st   509     87503      1250     25000         0     18460    125000   1174919    109.52   no data  --
83.41/20.96	c  N st   514     90803      1250     25000         0     21755    125000   1642953    109.52   no data  --
86.60/21.79	c  N dy   541     96636      1250     25000         0     14596    125000    524336    109.59    131.41  --
89.78/22.58	c  N dy   580    102854      1250     25000         0     20808    125000   1367014    109.58    117.22  --
90.98/22.86	c  S st   593    104841      1250     25000         0     22793    125000   1635219    109.58    107.78  --
91.38/22.95	c  S st   593    105343      1250     25000         0     23294    125000   1695273    109.58   no data  --
91.38/22.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
91.38/22.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
91.38/22.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.10
91.79/23.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
91.79/23.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
91.79/23.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
91.79/23.05	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
124.92/31.37	c lits-rem:       864  cl-subs:       14  v-elim:      0  v-fix:    0  time: 33.16 s
124.92/31.37	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
124.92/31.38	c vivif2 --  cl tried    23280 cl shrink        0 lits rem          0 time: 0.06
126.12/31.69	c asymm  cl-useful: 0/25000/25000 lits-rem:0 time: 1.23
126.12/31.69	c calculated reachability. Time: 0.00
126.12/31.69	c  N dy   593    105343      1250     25000         0     23280    125000   1690585    109.58   no data  --
129.71/32.53	c  N dy   629    112130      1250     25000         0     16077    125000    599059    109.55    119.36  --
133.31/33.41	c  N dy   678    119616      1250     25000         0     23556    125000   1629758    109.67    118.46  --
137.29/34.43	c  N dy   720    127317      1250     25000         0     16263    125000    489923    109.69    117.09  --
141.29/35.48	c  N dy   773    135814      1250     25000         0     24753    125000   1639194    109.69    115.88  --
146.48/36.74	c  N dy   825    144565      1250     25000         0     17512    125000    539844    109.77    117.59  --
151.28/37.92	c  N dy   880    153855      1250     25000         0     26799    125000   1804764    109.78    116.35  --
153.68/38.53	c  S st   907    158016      1250     25000         0     30959    125000   2376783    109.82    115.84  --
154.10/38.63	c  S st   907    158520      1250     25000         0     31463    125000   2436203    109.82   no data  --
154.10/38.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
154.10/38.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
154.10/38.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.12
154.46/38.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
154.46/38.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
154.46/38.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
154.46/38.75	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
224.73/56.33	c lits-rem:       821  cl-subs:       26  v-elim:      0  v-fix:    0  time: 70.08 s
224.73/56.33	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
224.73/56.35	c vivif2 --  cl tried    31437 cl shrink        0 lits rem          0 time: 0.10
226.33/56.74	c asymm  cl-useful: 0/21759/25000 lits-rem:0 time: 1.56
226.33/56.74	c calculated reachability. Time: 0.00
226.33/56.74	c  N dy   907    158520      1250     25000         0     31437    125000   2427573    109.82   no data  --
231.92/58.18	c  N dy   966    168681      1250     25000         0     24598    125000   1376625    109.83    115.63  --
238.71/59.85	c  N dy  1027    179447      1250     25000         0     35357    125000   2849665    109.81    116.26  --
245.10/61.41	c  N dy  1099    190923      1250     25000         0     28833    125000   1849186    109.93    135.36  --
251.88/63.11	c  N dy  1171    203181      1250     25000         0     22097    125000    781728    109.94    118.01  --
258.68/64.90	c  N dy  1247    216495      1250     25000         0     35401    125000   2602043    109.95    117.09  --
266.26/66.79	c  N dy  1325    230364      1250     25000         0     29279    125000   1636030    109.93    115.81  --
270.65/67.86	c  S st  1366    237780      1250     25000         0     36689    125000   2638656    109.89   no data  --
271.05/67.97	c  S st  1366    238286      1250     25000         0     37195    125000   2697760    109.89   no data  --
271.05/67.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
271.05/67.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
271.46/68.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.11
271.46/68.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
271.46/68.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
271.46/68.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
271.46/68.09	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
351.74/88.12	c lits-rem:       867  cl-subs:       40  v-elim:      0  v-fix:    0  time: 79.85 s
351.74/88.12	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
351.74/88.15	c vivif2 --  cl tried    37155 cl shrink        0 lits rem          0 time: 0.10
352.10/88.22	c asymm  cl-useful: 0/3241/25000 lits-rem:0 time: 0.29
352.10/88.22	c calculated reachability. Time: 0.00
352.10/88.22	c  N dy  1366    238286      1250     25000         0     37155    125000   2686007    109.89   no data  --
360.88/90.40	c  N dy  1459    253552      1250     25000         0     31421    125000   1790628    109.86    118.86  --
370.87/92.97	c  N dy  1552    269938      1250     25000         0     25810    125000    901290    109.91    119.01  --
381.25/95.54	c  N dy  1650    287217      1250     25000         0     43074    125000   3278450    109.93    117.15  --
392.43/98.37	c  N dy  1760    305682      1250     25000         0     38543    125000   2516835    109.96    117.30  --
392.82/98.47	c  F st  1764    306250      1250     25000         0     39111    125000   2594390    109.95   no data  --
404.80/101.48	c  N dy  1847    325252      1250     25000         0     34114    125000   1784825    109.97    115.77  --
418.77/104.97	c  N dy  1964    345280      1250     25000         0     29153    125000    975114    109.99    116.93  --
426.76/106.91	c  S st  2031    357431      1250     25000         0     41290    125000   2641808    109.98   no data  --
427.16/107.03	c  S st  2031    357938      1250     25000         0     41797    125000   2701052    109.98   no data  --
427.16/107.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
427.16/107.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
427.16/107.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.14
427.56/107.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
427.56/107.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
427.56/107.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
427.56/107.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
522.19/130.83	c lits-rem:       647  cl-subs:       23  v-elim:      0  v-fix:    0  time: 94.39 s
522.19/130.83	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
522.19/130.86	c vivif2 --  cl tried    41774 cl shrink        0 lits rem          0 time: 0.11
523.78/131.26	c asymm  cl-useful: 0/18470/25000 lits-rem:0 time: 1.58
523.78/131.26	c calculated reachability. Time: 0.00
523.78/131.26	c  N dy  2031    357938      1250     25000         0     41774    125000   2693587    109.98   no data  --
537.76/134.74	c  N dy  2147    378031      1250     25000         0     35867    125000   1784369    110.09    117.94  --
552.94/138.50	c  N dy  2267    398182      1250     25000         0     29027    125000    700399    110.11    116.12  --
566.93/142.04	c  N dy  2381    418324      1250     25000         0     49151    125000   3480578    110.16    116.05  --
581.67/145.71	c  N dy  2509    438463      1250     25000         0     41301    125000   2270144    110.22    117.46  --
598.05/149.86	c  N dy  2637    458636      1250     25000         0     32483    125000    920293    110.27    116.36  --
613.62/153.74	c  N dy  2765    478667      1250     25000         0     52504    125000   3685471    110.33    117.76  --
629.58/157.74	c  N dy  2887    498979      1250     25000         0     42823    125000   2208839    110.34    119.24  --
647.55/162.28	c  N dy  3006    519007      1250     25000         0     31860    125000    571011    110.38    116.63  --
661.53/165.70	c  S st  3118    536907      1250     25000         0     49747    125000   3025166    110.41   no data  --
661.93/165.87	c  S st  3118    537412      1250     25000         0     50252    125000   3087043    110.41   no data  --
661.93/165.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
661.93/165.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
662.33/165.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.19
662.73/166.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
662.73/166.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
662.73/166.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
662.73/166.03	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1480.02/370.71	c lits-rem:       468  cl-subs:       36  v-elim:      0  v-fix:    0  time: 816.45 s
1480.02/370.72	c vivif2 --  cl tried    25000 cl shrink        0 lits rem          0 time: 0.01
1480.02/370.75	c vivif2 --  cl tried    50216 cl shrink        0 lits rem          0 time: 0.13
1480.80/370.97	c asymm  cl-useful: 0/6530/25000 lits-rem:0 time: 0.89
1480.80/370.97	c calculated reachability. Time: 0.00
1480.80/370.97	c  N dy  3118    537412      1250     25000         0     50216    125000   3076348    110.41   no data  --
1498.38/375.34	c  N dy  3226    557623      1250     25000         0     38434    125000   1331551    110.39    116.44  --
1515.94/379.75	c  N dy  3346    578088      1250     25000         0     58868    125000   4144309    110.41    117.35  --
1533.14/384.04	c  N dy  3468    598096      1250     25000         0     45891    125000   2253744    110.42    117.14  --
1552.28/388.85	c  N dy  3587    618151      1250     25000         0     65927    125000   5018381    110.45    126.09  --
1569.85/393.25	c  N dy  3703    638168      1250     25000         0     51963    125000   2958847    110.46    127.05  --
1590.61/398.44	c  N dy  3819    658386      1250     25000         0     37193    125000    786443    110.47    117.63  --
1608.57/402.96	c  N dy  3945    678389      1250     25000         0     57189    125000   3550274    110.52    119.58  --
1629.36/408.18	c  N dy  4067    698549      1250     25000         0     41356    125000   1238817    110.55    117.10  --
1648.50/412.91	c  N dy  4188    718714      1250     25000         0     61501    125000   4010927    110.58    117.39  --
1668.88/418.08	c  N dy  4308    738798      1250     25000         0     44603    125000   1541865    110.56    117.53  --
1688.43/422.94	c  N dy  4427    758860      1250     25000         0     64644    125000   4283080    110.57    117.36  --
1708.82/428.05	c  N dy  4538    779014      1250     25000         0     46808    125000   1744500    110.59    117.48  --
1728.76/433.05	c  N dy  4653    799040      1250     25000         0     66819    125000   4501143    110.60    117.17  --
1737.14/435.18	c  S st  4695    806118      1250     25000         0     73888    125000   5459827    110.59   no data  --
1738.34/435.41	c  S st  4695    806622      1250     25000         0     74392    125000   5516755    110.59   no data  --
1738.34/435.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1738.34/435.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1738.34/435.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.26
1739.15/435.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1739.15/435.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1739.15/435.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1250 time:  0.00 s
1739.15/435.69	c Removed useless bin:       0  fixed:     0  props:   0.01M  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-3368518-1305395800/watcher-3368518-1305395800 -o /tmp/evaluation-result-3368518-1305395800/solver-3368518-1305395800 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368518-1305395800.cnf 

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

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


[startup+0 s]
/proc/loadavg: 3.69 5.04 6.55 4/228 2744
/proc/meminfo: memFree=19333724/32950928 swapFree=64721848/67111528
[pid=2744] ppid=2739 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2744/stat : 2744 (strangenight1-m) R 2739 2744 1880 0 -1 4202496 411 0 0 0 0 0 0 0 18 0 4 0 651179793 52465664 352 33554432000 4194304 4650419 140736409516128 18446744073709551615 47780984121270 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2744/statm: 12809 352 303 112 0 7774 0
[pid=2744/tid=2745] ppid=2739 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2744/task/2745/stat : 2745 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 651179793 52465664 352 33554432000 4194304 4650419 140736409516128 18446744073709551615 47780984121266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2744/tid=2751] ppid=2739 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2744/task/2751/stat : 2751 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 651179793 52465664 352 33554432000 4194304 4650419 140736409516128 18446744073709551615 47780984121266 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2744/tid=2753] ppid=2739 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2744/task/2753/stat : 2753 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 651179793 52465664 352 33554432000 4194304 4650419 140736409516128 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.160325 s]
/proc/loadavg: 3.69 5.04 6.55 4/228 2744
/proc/meminfo: memFree=19333724/32950928 swapFree=64721848/67111528
[pid=2744] ppid=2739 vsize=288640 CPUtime=0.61 cores=0,2,4,6
/proc/2744/stat : 2744 (strangenight1-m) R 2739 2744 1880 0 -1 4202496 5433 0 0 0 60 1 0 0 20 0 4 0 651179793 295567360 4409 33554432000 4194304 4650419 140736409516128 18446744073709551615 248089359393 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2744/statm: 72160 4418 377 112 0 67125 0
[pid=2744/tid=2745] ppid=2739 vsize=288640 CPUtime=0.15 cores=0,2,4,6
/proc/2744/task/2745/stat : 2745 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 1296 0 0 0 15 0 0 0 20 0 4 0 651179793 295567360 4422 33554432000 4194304 4650419 140736409516128 18446744073709551615 248089347276 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2744/tid=2751] ppid=2739 vsize=288816 CPUtime=0.15 cores=0,2,4,6
/proc/2744/task/2751/stat : 2751 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 1188 0 0 0 15 0 0 0 18 0 4 0 651179793 295747584 4427 33554432000 4194304 4650419 140736409516128 18446744073709551615 248089359045 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2744/tid=2753] ppid=2739 vsize=288816 CPUtime=0.14 cores=0,2,4,6
/proc/2744/task/2753/stat : 2753 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 1076 0 0 0 14 0 0 0 21 0 4 0 651179793 295747584 4438 33554432000 4194304 4650419 140736409516128 18446744073709551615 4365634 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 288640

[startup+0.260432 s]
/proc/loadavg: 3.69 5.04 6.55 4/228 2744
/proc/meminfo: memFree=19333724/32950928 swapFree=64721848/67111528
[pid=2744] ppid=2739 vsize=293396 CPUtime=1.01 cores=0,2,4,6
/proc/2744/stat : 2744 (strangenight1-m) R 2739 2744 1880 0 -1 4202496 9745 0 0 0 98 3 0 0 18 0 4 0 651179793 300437504 7997 33554432000 4194304 4650419 140736409516128 18446744073709551615 4328094 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2744/statm: 73349 7998 389 112 0 68314 0
[pid=2744/tid=2745] ppid=2739 vsize=293396 CPUtime=0.24 cores=0,2,4,6
/proc/2744/task/2745/stat : 2745 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 2699 0 0 0 24 0 0 0 20 0 4 0 651179793 300437504 7999 33554432000 4194304 4650419 140736409516128 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2744/tid=2751] ppid=2739 vsize=293396 CPUtime=0.24 cores=0,2,4,6
/proc/2744/task/2751/stat : 2751 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 2585 0 0 0 24 0 0 0 18 0 4 0 651179793 300437504 7999 33554432000 4194304 4650419 140736409516128 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2744/tid=2753] ppid=2739 vsize=293396 CPUtime=0.24 cores=0,2,4,6
/proc/2744/task/2753/stat : 2753 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 1280 0 0 0 24 0 0 0 21 0 4 0 651179793 300437504 7999 33554432000 4194304 4650419 140736409516128 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 293396

[startup+0.360415 s]
/proc/loadavg: 3.69 5.04 6.55 4/228 2744
/proc/meminfo: memFree=19333724/32950928 swapFree=64721848/67111528
[pid=2744] ppid=2739 vsize=293396 CPUtime=1.41 cores=0,2,4,6
/proc/2744/stat : 2744 (strangenight1-m) R 2739 2744 1880 0 -1 4202496 10534 0 0 0 138 3 0 0 18 0 4 0 651179793 300437504 8786 33554432000 4194304 4650419 140736409516128 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2744/statm: 73349 8786 389 112 0 68314 0
[pid=2744/tid=2745] ppid=2739 vsize=293396 CPUtime=0.34 cores=0,2,4,6
/proc/2744/task/2745/stat : 2745 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 2903 0 0 0 34 0 0 0 20 0 4 0 651179793 300437504 8786 33554432000 4194304 4650419 140736409516128 18446744073709551615 4365535 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2744/tid=2751] ppid=2739 vsize=293396 CPUtime=0.34 cores=0,2,4,6
/proc/2744/task/2751/stat : 2751 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 2790 0 0 0 34 0 0 0 18 0 4 0 651179793 300437504 8786 33554432000 4194304 4650419 140736409516128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2744/tid=2753] ppid=2739 vsize=293396 CPUtime=0.34 cores=0,2,4,6
/proc/2744/task/2753/stat : 2753 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 1458 0 0 0 34 0 0 0 21 0 4 0 651179793 300437504 8786 33554432000 4194304 4650419 140736409516128 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 293396

[startup+0.700357 s]
/proc/loadavg: 3.69 5.04 6.55 4/228 2744
/proc/meminfo: memFree=19333724/32950928 swapFree=64721848/67111528
[pid=2744] ppid=2739 vsize=297264 CPUtime=2.77 cores=0,2,4,6
/proc/2744/stat : 2744 (strangenight1-m) R 2739 2744 1880 0 -1 4202496 14641 0 0 0 273 4 0 0 18 0 4 0 651179793 304398336 9279 33554432000 4194304 4650419 140736409516128 18446744073709551615 4333874 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2744/statm: 74316 9279 391 112 0 69281 0
[pid=2744/tid=2745] ppid=2739 vsize=297264 CPUtime=0.68 cores=0,2,4,6
/proc/2744/task/2745/stat : 2745 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 3887 0 0 0 68 0 0 0 21 0 4 0 651179793 304398336 9279 33554432000 4194304 4650419 140736409516128 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2744/tid=2751] ppid=2739 vsize=297264 CPUtime=0.69 cores=0,2,4,6
/proc/2744/task/2751/stat : 2751 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 3777 0 0 0 68 1 0 0 18 0 4 0 651179793 304398336 9279 33554432000 4194304 4650419 140736409516128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2744/tid=2753] ppid=2739 vsize=297264 CPUtime=0.67 cores=0,2,4,6
/proc/2744/task/2753/stat : 2753 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 2565 0 0 0 67 0 0 0 22 0 4 0 651179793 304398336 9279 33554432000 4194304 4650419 140736409516128 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 297264

[startup+1.50022 s]
/proc/loadavg: 4.04 5.09 6.55 10/236 2756
/proc/meminfo: memFree=19250208/32950928 swapFree=64721848/67111528
[pid=2744] ppid=2739 vsize=298316 CPUtime=5.95 cores=0,2,4,6
/proc/2744/stat : 2744 (strangenight1-m) R 2739 2744 1880 0 -1 4202496 21525 0 0 0 590 5 0 0 19 0 4 0 651179793 305475584 11369 33554432000 4194304 4650419 140736409516128 18446744073709551615 4368288 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2744/statm: 74579 11371 391 112 0 69544 0
[pid=2744/tid=2745] ppid=2739 vsize=298316 CPUtime=1.48 cores=0,2,4,6
/proc/2744/task/2745/stat : 2745 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 5576 0 0 0 148 0 0 0 23 0 4 0 651179793 305475584 11371 33554432000 4194304 4650419 140736409516128 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2744/tid=2751] ppid=2739 vsize=298316 CPUtime=1.49 cores=0,2,4,6
/proc/2744/task/2751/stat : 2751 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 5510 0 0 0 148 1 0 0 19 0 4 0 651179793 305475584 11371 33554432000 4194304 4650419 140736409516128 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2744/tid=2753] ppid=2739 vsize=298316 CPUtime=1.47 cores=0,2,4,6
/proc/2744/task/2753/stat : 2753 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 4288 0 0 0 146 1 0 0 25 0 4 0 651179793 305475584 11371 33554432000 4194304 4650419 140736409516128 18446744073709551615 4315256 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 298316

[startup+3.10093 s]
/proc/loadavg: 4.04 5.09 6.55 10/236 2756
/proc/meminfo: memFree=19239716/32950928 swapFree=64721848/67111528
[pid=2744] ppid=2739 vsize=299216 CPUtime=12.35 cores=0,2,4,6
/proc/2744/stat : 2744 (strangenight1-m) R 2739 2744 1880 0 -1 4202496 40197 0 0 0 1225 10 0 0 24 0 4 0 651179793 306397184 18162 33554432000 4194304 4650419 140736409516128 18446744073709551615 4439648 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2744/statm: 74804 18162 393 112 0 69769 0
[pid=2744/tid=2745] ppid=2739 vsize=299216 CPUtime=3.08 cores=0,2,4,6
/proc/2744/task/2745/stat : 2745 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 8951 0 0 0 307 1 0 0 25 0 4 0 651179793 306397184 18162 33554432000 4194304 4650419 140736409516128 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2744/tid=2751] ppid=2739 vsize=299216 CPUtime=3.09 cores=0,2,4,6
/proc/2744/task/2751/stat : 2751 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 8940 0 0 0 307 2 0 0 24 0 4 0 651179793 306397184 18162 33554432000 4194304 4650419 140736409516128 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2744/tid=2753] ppid=2739 vsize=299216 CPUtime=3.06 cores=0,2,4,6
/proc/2744/task/2753/stat : 2753 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 7783 0 0 0 304 2 0 0 25 0 4 0 651179793 306397184 18162 33554432000 4194304 4650419 140736409516128 18446744073709551615 4315467 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 299216

[startup+6.30037 s]
/proc/loadavg: 4.04 5.09 6.55 10/236 2756
/proc/meminfo: memFree=19062940/32950928 swapFree=64721848/67111528
[pid=2744] ppid=2739 vsize=301652 CPUtime=25.11 cores=0,2,4,6
/proc/2744/stat : 2744 (strangenight1-m) R 2739 2744 1880 0 -1 4202496 66736 0 0 0 2495 16 0 0 25 0 4 0 651179793 308891648 35338 33554432000 4194304 4650419 140736409516128 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2744/statm: 75413 35338 393 112 0 70378 0
[pid=2744/tid=2745] ppid=2739 vsize=301652 CPUtime=6.27 cores=0,2,4,6
/proc/2744/task/2745/stat : 2745 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 13063 0 0 0 625 2 0 0 25 0 4 0 651179793 308891648 35338 33554432000 4194304 4650419 140736409516128 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2744/tid=2751] ppid=2739 vsize=301652 CPUtime=6.28 cores=0,2,4,6
/proc/2744/task/2751/stat : 2751 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 18909 0 0 0 624 4 0 0 25 0 4 0 651179793 308891648 35338 33554432000 4194304 4650419 140736409516128 18446744073709551615 4438643 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2744/tid=2753] ppid=2739 vsize=301652 CPUtime=6.23 cores=0,2,4,6
/proc/2744/task/2753/stat : 2753 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 17616 0 0 0 619 4 0 0 25 0 4 0 651179793 308891648 35338 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 301652

[startup+12.7002 s]
/proc/loadavg: 4.65 5.18 6.57 10/236 2756
/proc/meminfo: memFree=19012852/32950928 swapFree=64721848/67111528
[pid=2744] ppid=2739 vsize=311696 CPUtime=50.66 cores=0,2,4,6
/proc/2744/stat : 2744 (strangenight1-m) R 2739 2744 1880 0 -1 4202496 91491 0 0 0 5045 21 0 0 25 0 4 0 651179793 319176704 44986 33554432000 4194304 4650419 140736409516128 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2744/statm: 77924 44986 393 112 0 72889 0
[pid=2744/tid=2745] ppid=2739 vsize=311696 CPUtime=12.68 cores=0,2,4,6
/proc/2744/task/2745/stat : 2745 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 23713 0 0 0 1264 4 0 0 25 0 4 0 651179793 319176704 44986 33554432000 4194304 4650419 140736409516128 18446744073709551615 4440101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2744/tid=2751] ppid=2739 vsize=311696 CPUtime=12.68 cores=0,2,4,6
/proc/2744/task/2751/stat : 2751 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 21826 0 0 0 1264 4 0 0 25 0 4 0 651179793 319176704 44986 33554432000 4194304 4650419 140736409516128 18446744073709551615 4363660 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2744/tid=2753] ppid=2739 vsize=311696 CPUtime=12.59 cores=0,2,4,6
/proc/2744/task/2753/stat : 2753 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 24963 0 0 0 1253 6 0 0 25 0 4 0 651179793 319176704 44986 33554432000 4194304 4650419 140736409516128 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 311696

[startup+25.501 s]
/proc/loadavg: 5.24 5.29 6.59 10/236 2756
/proc/meminfo: memFree=18805288/32950928 swapFree=64721848/67111528
[pid=2744] ppid=2739 vsize=398864 CPUtime=101.76 cores=0,2,4,6
/proc/2744/stat : 2744 (strangenight1-m) R 2739 2744 1880 0 -1 4202496 127567 0 0 0 10147 29 0 0 25 0 4 0 651179793 408436736 67318 33554432000 4194304 4650419 140736409516128 18446744073709551615 4438661 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2744/statm: 99716 67318 393 112 0 94681 0
[pid=2744/tid=2745] ppid=2739 vsize=398864 CPUtime=25.47 cores=0,2,4,6
/proc/2744/task/2745/stat : 2745 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 27856 0 0 0 2542 5 0 0 25 0 4 0 651179793 408436736 67318 33554432000 4194304 4650419 140736409516128 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2744/tid=2751] ppid=2739 vsize=398864 CPUtime=25.48 cores=0,2,4,6
/proc/2744/task/2751/stat : 2751 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 33511 0 0 0 2541 7 0 0 25 0 4 0 651179793 408436736 67318 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2744/tid=2753] ppid=2739 vsize=398864 CPUtime=25.29 cores=0,2,4,6
/proc/2744/task/2753/stat : 2753 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 36688 0 0 0 2521 8 0 0 25 0 4 0 651179793 408436736 67318 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 398864

[startup+51.1005 s]
/proc/loadavg: 6.18 5.51 6.62 10/236 2757
/proc/meminfo: memFree=18628936/32950928 swapFree=64721848/67111528
[pid=2744] ppid=2739 vsize=564584 CPUtime=203.97 cores=0,2,4,6
/proc/2744/stat : 2744 (strangenight1-m) R 2739 2744 1880 0 -1 4202496 194163 0 0 0 20351 46 0 0 25 0 4 0 651179793 578134016 89947 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2744/statm: 141146 89947 393 112 0 136111 0
[pid=2744/tid=2745] ppid=2739 vsize=564584 CPUtime=51.07 cores=0,2,4,6
/proc/2744/task/2745/stat : 2745 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 41183 0 0 0 5098 9 0 0 25 0 4 0 651179793 578134016 89947 33554432000 4194304 4650419 140736409516128 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2744/tid=2751] ppid=2739 vsize=564584 CPUtime=51.08 cores=0,2,4,6
/proc/2744/task/2751/stat : 2751 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 51298 0 0 0 5097 11 0 0 25 0 4 0 651179793 578134016 89947 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2744/tid=2753] ppid=2739 vsize=564584 CPUtime=50.71 cores=0,2,4,6
/proc/2744/task/2753/stat : 2753 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 62135 0 0 0 5055 16 0 0 25 0 4 0 651179793 578134016 89947 33554432000 4194304 4650419 140736409516128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.97
Current children cumulated vsize (KiB) 564584

[startup+102.3 s]
/proc/loadavg: 7.33 5.94 6.71 10/236 2758
/proc/meminfo: memFree=18515312/32950928 swapFree=64721848/67111528
[pid=2744] ppid=2739 vsize=569396 CPUtime=408.41 cores=0,2,4,6
/proc/2744/stat : 2744 (strangenight1-m) R 2739 2744 1880 0 -1 4202496 303294 0 0 0 40764 77 0 0 25 0 4 0 651179793 583061504 94859 33554432000 4194304 4650419 140736409516128 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2744/statm: 142349 94859 393 112 0 137314 0
[pid=2744/tid=2745] ppid=2739 vsize=569396 CPUtime=102.28 cores=0,2,4,6
/proc/2744/task/2745/stat : 2745 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 54388 0 0 0 10215 13 0 0 25 0 4 0 651179793 583061504 94861 33554432000 4194304 4650419 140736409516128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2744/tid=2751] ppid=2739 vsize=569396 CPUtime=102.28 cores=0,2,4,6
/proc/2744/task/2751/stat : 2751 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 87334 0 0 0 10208 20 0 0 25 0 4 0 651179793 583061504 94861 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2744/tid=2753] ppid=2739 vsize=569396 CPUtime=101.54 cores=0,2,4,6
/proc/2744/task/2753/stat : 2753 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 104301 0 0 0 10127 27 0 0 25 0 4 0 651179793 583061504 94861 33554432000 4194304 4650419 140736409516128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.41
Current children cumulated vsize (KiB) 569396

[startup+162.301 s]

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

[pid=2744] ppid=2739 vsize=990728 CPUtime=2563.57 cores=0,2,4,6
/proc/2744/stat : 2744 (strangenight1-m) R 2739 2744 1880 0 -1 4202496 697309 0 0 0 256138 219 0 0 25 0 4 0 651179793 1014505472 163303 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2744/statm: 247682 163303 393 112 0 242647 0
[pid=2744/tid=2745] ppid=2739 vsize=990728 CPUtime=642.12 cores=0,2,4,6
/proc/2744/task/2745/stat : 2745 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 89503 0 0 0 64184 28 0 0 25 0 4 0 651179793 1014505472 163303 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2744/tid=2751] ppid=2739 vsize=990728 CPUtime=642.27 cores=0,2,4,6
/proc/2744/task/2751/stat : 2751 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 138539 0 0 0 64177 50 0 0 25 0 4 0 651179793 1014505472 163303 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2744/tid=2753] ppid=2739 vsize=990728 CPUtime=636.93 cores=0,2,4,6
/proc/2744/task/2753/stat : 2753 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 277164 0 0 0 63605 88 0 0 25 0 4 0 651179793 1014505472 163303 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2563.57
Current children cumulated vsize (KiB) 990728

[startup+702.301 s]
/proc/loadavg: 8.12 7.83 7.37 10/236 2789
/proc/meminfo: memFree=18003556/32950928 swapFree=64721848/67111528
[pid=2744] ppid=2739 vsize=931884 CPUtime=2803.13 cores=0,2,4,6
/proc/2744/stat : 2744 (strangenight1-m) R 2739 2744 1880 0 -1 4202496 740872 0 0 0 280076 237 0 0 25 0 4 0 651179793 954249216 162303 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476318 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2744/statm: 232971 162303 393 112 0 227936 0
[pid=2744/tid=2745] ppid=2739 vsize=931884 CPUtime=702.12 cores=0,2,4,6
/proc/2744/task/2745/stat : 2745 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 90777 0 0 0 70183 29 0 0 25 0 4 0 651179793 954249216 162303 33554432000 4194304 4650419 140736409516128 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2744/tid=2751] ppid=2739 vsize=931884 CPUtime=702.28 cores=0,2,4,6
/proc/2744/task/2751/stat : 2751 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 163808 0 0 0 70163 65 0 0 25 0 4 0 651179793 954249216 162303 33554432000 4194304 4650419 140736409516128 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2744/tid=2753] ppid=2739 vsize=931884 CPUtime=696.5 cores=0,2,4,6
/proc/2744/task/2753/stat : 2753 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 284324 0 0 0 69561 89 0 0 25 0 4 0 651179793 954249216 162303 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2803.13
Current children cumulated vsize (KiB) 931884

[startup+762.301 s]
/proc/loadavg: 8.10 7.87 7.41 10/236 2791
/proc/meminfo: memFree=17953936/32950928 swapFree=64721848/67111528
[pid=2744] ppid=2739 vsize=1071308 CPUtime=3042.71 cores=0,2,4,6
/proc/2744/stat : 2744 (strangenight1-m) R 2739 2744 1880 0 -1 4202496 802587 0 0 0 304005 266 0 0 25 0 4 0 651179793 1097019392 171611 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2744/statm: 267827 171611 393 112 0 262792 0
[pid=2744/tid=2745] ppid=2739 vsize=1071308 CPUtime=762.13 cores=0,2,4,6
/proc/2744/task/2745/stat : 2745 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 120889 0 0 0 76169 44 0 0 25 0 4 0 651179793 1097019392 171615 33554432000 4194304 4650419 140736409516128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2744/tid=2751] ppid=2739 vsize=1071308 CPUtime=762.28 cores=0,2,4,6
/proc/2744/task/2751/stat : 2751 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 191789 0 0 0 76150 78 0 0 25 0 4 0 651179793 1097019392 171615 33554432000 4194304 4650419 140736409516128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2744/tid=2753] ppid=2739 vsize=1071308 CPUtime=756.07 cores=0,2,4,6
/proc/2744/task/2753/stat : 2753 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 286838 0 0 0 75518 89 0 0 25 0 4 0 651179793 1097019392 171615 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3042.71
Current children cumulated vsize (KiB) 1071308

[startup+822.3 s]
/proc/loadavg: 8.09 7.91 7.45 10/236 2793
/proc/meminfo: memFree=17931828/32950928 swapFree=64721848/67111528
[pid=2744] ppid=2739 vsize=1062572 CPUtime=3282.24 cores=0,2,4,6
/proc/2744/stat : 2744 (strangenight1-m) R 2739 2744 1880 0 -1 4202496 852230 0 0 0 327933 291 0 0 25 0 4 0 651179793 1088073728 170270 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2744/statm: 265643 170270 393 112 0 260608 0
[pid=2744/tid=2745] ppid=2739 vsize=1062572 CPUtime=822.12 cores=0,2,4,6
/proc/2744/task/2745/stat : 2745 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 146608 0 0 0 82156 56 0 0 25 0 4 0 651179793 1088073728 170270 33554432000 4194304 4650419 140736409516128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2744/tid=2751] ppid=2739 vsize=1062572 CPUtime=822.28 cores=0,2,4,6
/proc/2744/task/2751/stat : 2751 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 215522 0 0 0 82136 92 0 0 25 0 4 0 651179793 1088073728 170270 33554432000 4194304 4650419 140736409516128 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2744/tid=2753] ppid=2739 vsize=1062572 CPUtime=815.63 cores=0,2,4,6
/proc/2744/task/2753/stat : 2753 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 286911 0 0 0 81474 89 0 0 25 0 4 0 651179793 1088073728 170270 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3282.24
Current children cumulated vsize (KiB) 1062572

[startup+882.309 s]
/proc/loadavg: 8.13 7.95 7.49 10/236 2794
/proc/meminfo: memFree=17937992/32950928 swapFree=64721848/67111528
[pid=2744] ppid=2739 vsize=1036800 CPUtime=3521.84 cores=0,2,4,6
/proc/2744/stat : 2744 (strangenight1-m) R 2739 2744 1880 0 -1 4202496 903921 0 0 0 351864 320 0 0 25 0 4 0 651179793 1061683200 173186 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2744/statm: 259200 173186 393 112 0 254165 0
[pid=2744/tid=2745] ppid=2739 vsize=1036800 CPUtime=882.13 cores=0,2,4,6
/proc/2744/task/2745/stat : 2745 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 168330 0 0 0 88146 67 0 0 25 0 4 0 651179793 1061683200 173186 33554432000 4194304 4650419 140736409516128 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2744/tid=2751] ppid=2739 vsize=1036800 CPUtime=882.29 cores=0,2,4,6
/proc/2744/task/2751/stat : 2751 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 245398 0 0 0 88119 110 0 0 25 0 4 0 651179793 1061683200 173186 33554432000 4194304 4650419 140736409516128 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2744/tid=2753] ppid=2739 vsize=1036800 CPUtime=875.2 cores=0,2,4,6
/proc/2744/task/2753/stat : 2753 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 286916 0 0 0 87431 89 0 0 25 0 4 0 651179793 1061683200 173186 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3521.84
Current children cumulated vsize (KiB) 1036800

[startup+942.301 s]
/proc/loadavg: 8.13 7.99 7.53 10/236 2796
/proc/meminfo: memFree=17850800/32950928 swapFree=64721848/67111528
[pid=2744] ppid=2739 vsize=1038356 CPUtime=3761.37 cores=0,2,4,6
/proc/2744/stat : 2744 (strangenight1-m) R 2739 2744 1880 0 -1 4202496 960457 0 0 0 375785 352 0 0 25 0 4 0 651179793 1063276544 172018 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2744/statm: 259589 172018 393 112 0 254554 0
[pid=2744/tid=2745] ppid=2739 vsize=1038356 CPUtime=942.12 cores=0,2,4,6
/proc/2744/task/2745/stat : 2745 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 196247 0 0 0 94130 82 0 0 25 0 4 0 651179793 1063276544 172018 33554432000 4194304 4650419 140736409516128 18446744073709551615 4330451 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2744/tid=2751] ppid=2739 vsize=1038356 CPUtime=942.28 cores=0,2,4,6
/proc/2744/task/2751/stat : 2751 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 273869 0 0 0 94101 127 0 0 25 0 4 0 651179793 1063276544 172018 33554432000 4194304 4650419 140736409516128 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2744/tid=2753] ppid=2739 vsize=1038356 CPUtime=934.76 cores=0,2,4,6
/proc/2744/task/2753/stat : 2753 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 286916 0 0 0 93387 89 0 0 25 0 4 0 651179793 1063276544 172018 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3761.37
Current children cumulated vsize (KiB) 1038356

[startup+1002.3 s]
/proc/loadavg: 8.13 8.02 7.56 10/236 2797
/proc/meminfo: memFree=17728244/32950928 swapFree=64721848/67111528
[pid=2744] ppid=2739 vsize=1132584 CPUtime=4000.93 cores=0,2,4,6
/proc/2744/stat : 2744 (strangenight1-m) R 2739 2744 1880 0 -1 4202496 1011921 0 0 0 399720 373 0 0 25 0 4 0 651179793 1159766016 195509 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2744/statm: 283146 195509 393 112 0 278111 0
[pid=2744/tid=2745] ppid=2739 vsize=1132584 CPUtime=1002.12 cores=0,2,4,6
/proc/2744/task/2745/stat : 2745 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 219773 0 0 0 100117 95 0 0 25 0 4 0 651179793 1159766016 195509 33554432000 4194304 4650419 140736409516128 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2744/tid=2751] ppid=2739 vsize=1132584 CPUtime=1002.28 cores=0,2,4,6
/proc/2744/task/2751/stat : 2751 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 300838 0 0 0 100094 134 0 0 25 0 4 0 651179793 1159766016 195509 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2744/tid=2753] ppid=2739 vsize=1132584 CPUtime=994.32 cores=0,2,4,6
/proc/2744/task/2753/stat : 2753 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 286916 0 0 0 99343 89 0 0 25 0 4 0 651179793 1159766016 195509 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4000.93
Current children cumulated vsize (KiB) 1132584

[startup+1062.3 s]
/proc/loadavg: 8.12 8.04 7.60 10/236 2799
/proc/meminfo: memFree=17729948/32950928 swapFree=64721848/67111528
[pid=2744] ppid=2739 vsize=1132584 CPUtime=4240.5 cores=0,2,4,6
/proc/2744/stat : 2744 (strangenight1-m) R 2739 2744 1880 0 -1 4202496 1012474 0 0 0 423677 373 0 0 25 0 4 0 651179793 1159766016 195569 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2744/statm: 283146 195569 393 112 0 278111 0
[pid=2744/tid=2745] ppid=2739 vsize=1132584 CPUtime=1062.13 cores=0,2,4,6
/proc/2744/task/2745/stat : 2745 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 219773 0 0 0 106118 95 0 0 25 0 4 0 651179793 1159766016 195569 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2744/tid=2751] ppid=2739 vsize=1132584 CPUtime=1062.28 cores=0,2,4,6
/proc/2744/task/2751/stat : 2751 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 301315 0 0 0 106094 134 0 0 25 0 4 0 651179793 1159766016 195569 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2744/tid=2753] ppid=2739 vsize=1132584 CPUtime=1053.89 cores=0,2,4,6
/proc/2744/task/2753/stat : 2753 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 286916 0 0 0 105300 89 0 0 25 0 4 0 651179793 1159766016 195569 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4240.5
Current children cumulated vsize (KiB) 1132584

[startup+1122.3 s]
/proc/loadavg: 8.04 8.03 7.62 10/236 2802
/proc/meminfo: memFree=17730284/32950928 swapFree=64721848/67111528
[pid=2744] ppid=2739 vsize=1132584 CPUtime=4480.06 cores=0,2,4,6
/proc/2744/stat : 2744 (strangenight1-m) R 2739 2744 1880 0 -1 4202496 1013193 0 0 0 447633 373 0 0 25 0 4 0 651179793 1159766016 195563 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2744/statm: 283146 195563 393 112 0 278111 0
[pid=2744/tid=2745] ppid=2739 vsize=1132584 CPUtime=1122.13 cores=0,2,4,6
/proc/2744/task/2745/stat : 2745 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 219773 0 0 0 112118 95 0 0 25 0 4 0 651179793 1159766016 195563 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2744/tid=2751] ppid=2739 vsize=1132584 CPUtime=1122.28 cores=0,2,4,6
/proc/2744/task/2751/stat : 2751 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 301873 0 0 0 112094 134 0 0 25 0 4 0 651179793 1159766016 195563 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2744/tid=2753] ppid=2739 vsize=1132584 CPUtime=1113.45 cores=0,2,4,6
/proc/2744/task/2753/stat : 2753 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 286916 0 0 0 111256 89 0 0 25 0 4 0 651179793 1159766016 195563 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4480.06
Current children cumulated vsize (KiB) 1132584

[startup+1182.3 s]
/proc/loadavg: 8.09 8.04 7.65 10/236 2803
/proc/meminfo: memFree=17730252/32950928 swapFree=64721848/67111528
[pid=2744] ppid=2739 vsize=1132584 CPUtime=4719.62 cores=0,2,4,6
/proc/2744/stat : 2744 (strangenight1-m) R 2739 2744 1880 0 -1 4202496 1013888 0 0 0 471589 373 0 0 25 0 4 0 651179793 1159766016 195646 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476111 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2744/statm: 283146 195646 393 112 0 278111 0
[pid=2744/tid=2745] ppid=2739 vsize=1132584 CPUtime=1182.13 cores=0,2,4,6
/proc/2744/task/2745/stat : 2745 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 219773 0 0 0 118118 95 0 0 25 0 4 0 651179793 1159766016 195646 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2744/tid=2751] ppid=2739 vsize=1132584 CPUtime=1182.28 cores=0,2,4,6
/proc/2744/task/2751/stat : 2751 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 302230 0 0 0 118094 134 0 0 25 0 4 0 651179793 1159766016 195646 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2744/tid=2753] ppid=2739 vsize=1132584 CPUtime=1173.02 cores=0,2,4,6
/proc/2744/task/2753/stat : 2753 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 286916 0 0 0 117213 89 0 0 25 0 4 0 651179793 1159766016 195646 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476437 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4719.62
Current children cumulated vsize (KiB) 1132584



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.5 s]
/proc/loadavg: 8.07 8.04 7.66 5/231 2805
/proc/meminfo: memFree=18547936/32950928 swapFree=64721848/67111528
[pid=2744] ppid=2739 vsize=1132584 CPUtime=4800.28 cores=0,2,4,6
/proc/2744/stat : 2744 (strangenight1-m) R 2739 2744 1880 0 -1 4202496 1014233 0 0 0 479655 373 0 0 25 0 4 0 651179793 1159766016 195588 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/2744/statm: 283146 195588 393 112 0 278111 0
[pid=2744/tid=2745] ppid=2739 vsize=1132584 CPUtime=1202.34 cores=0,2,4,6
/proc/2744/task/2745/stat : 2745 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 219773 0 0 0 120139 95 0 0 25 0 4 0 651179793 1159766016 195588 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2744/tid=2751] ppid=2739 vsize=1132584 CPUtime=1202.49 cores=0,2,4,6
/proc/2744/task/2751/stat : 2751 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 302571 0 0 0 120115 134 0 0 25 0 4 0 651179793 1159766016 195588 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=2744/tid=2753] ppid=2739 vsize=1132584 CPUtime=1193.07 cores=0,2,4,6
/proc/2744/task/2753/stat : 2753 (strangenight1-m) R 2739 2744 1880 0 -1 4202560 286916 0 0 0 119218 89 0 0 25 0 4 0 651179793 1159766016 195588 33554432000 4194304 4650419 140736409516128 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.28
Current children cumulated vsize (KiB) 1132584

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.55
CPU time (s): 4800.37
CPU user time (s): 4796.59
CPU system time (s): 3.77643
CPU usage (%): 399.181
Max. virtual memory (cumulated for all children) (KiB): 1132584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.59
system time used= 3.77642
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1014233
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= 2348
involuntary context switches= 27507

runsolver used 2.52462 second user time and 6.24205 second system time

The end

Launcher Data 

Begin job on node123 at 2011-05-14 19:56:40
IDJOB=3368518
IDBENCH=82527
IDSOLVER=1846
FILE ID=node123/3368518-1305395800
RUNJOBID= node123-1305395800-2725
PBS_JOBID= 13324430
Free space on /tmp= 73364 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/large/unif-k5-r20-v1250-c25000-S1103412232-098-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368518-1305395800/watcher-3368518-1305395800 -o /tmp/evaluation-result-3368518-1305395800/solver-3368518-1305395800 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368518-1305395800.cnf

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

MD5SUM BENCH= d6a0b223b2c940add3196cb3c37e2d59
RANDOM SEED=558541692

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      19334036 kB
Buffers:        294524 kB
Cached:        3989576 kB
SwapCached:      10528 kB
Active:       10612924 kB
Inactive:      2735536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      19334036 kB
SwapTotal:    67111528 kB
SwapFree:     64721848 kB
Dirty:           13300 kB
Writeback:           0 kB
AnonPages:     9061872 kB
Mapped:          15312 kB
Slab:           176452 kB
PageTables:      31004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 13023016 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= 73360 MiB
End job on node123 at 2011-05-14 20:16:45