Trace number 3368660

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.34 1203.65

General information on the benchmark

Namerandom/large/
unif-k7-r85-v400-c34000-S586055573-067-UNKNOWN.cnf
MD5SUMd673a60901b4a946b283fdbb02f99fdc
Bench CategoryRANDOM (random 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 variables400
Number of clauses34000
Sum of the clauses size238000
Maximum clause length7
Minimum clause length7
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 50
Number of clauses of size over 534000

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-3368660-1305399919.cnf'
0.00/0.01	c -- header says num vars:            400
0.00/0.01	c -- header says num clauses:       34000
0.00/0.03	c -- clauses added:            0 learnts,        34000 normals,            0 xors
0.00/0.03	c -- vars added        400
0.00/0.03	c Parsing time:  0.07 s
0.00/0.03	c  N st     0         0       400     34000         0         0    238000         0   no data   no data  --
1.56/0.46	c asymm  cl-useful: 0/14649/34000 lits-rem:0 time: 1.63
1.56/0.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
5.15/1.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.15/1.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.15/1.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
5.15/1.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.15/1.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.66 s
5.15/1.33	c Finding binary XORs  T:     0.00 s  found:       0
5.15/1.33	c Finding non-binary XORs:     0.08 s (found:       0, avg size: nan)
5.15/1.33	c calculated reachability. Time: 0.00
5.15/1.33	c Calc default polars -  time:   0.01 s pos:     208 undec:       9 neg:     183
5.15/1.33	c =========================================================================================
5.15/1.33	c types(t): F = full restart, N = normal restart
5.15/1.33	c types(t): S = simplification begin/end, E = solution found
5.15/1.33	c restart types(rt): st = static, dy = dynamic
5.15/1.33	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
5.15/1.33	c  B st     0         0       400     34000         0         0    238000         0   no data   no data  --
5.15/1.33	c  N dy    18      4647       400     34000         0      4586    238000    439023     83.42     88.74  --
5.55/1.43	c  N dy    31      8777       400     34000         0      5876    238000    444764     82.84     87.82  --
7.18/1.82	c  N dy    49     13625       400     34000         0      5966    238000    339935     82.81     87.31  --
8.34/2.19	c  N dy    67     17658       400     34000         0      9931    238000    714156     82.89     90.94  --
9.94/2.58	c  N dy    82     21803       400     34000         0      7904    238000    416015     82.62     88.27  --
11.15/2.90	c  F st    99     25002       400     34000         0     11066    238000    720652     82.96   no data  --
11.92/3.02	c  N st   102     26190       400     34000         0     12241    238000    830780     82.96   no data  --
13.12/3.39	c  S st   105     30001       400     34000         0      8662    238000    401097     82.96   no data  --
13.52/3.45	c  S st   105     30505       400     34000         0      9166    238000    445355     82.96   no data  --
13.52/3.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
13.52/3.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
13.52/3.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
13.92/3.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.92/3.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.92/3.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
13.92/3.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
33.50/8.49	c lits-rem:       624  cl-subs:       59  v-elim:      0  v-fix:    0  time: 19.87 s
34.65/8.76	c asymm  cl-useful: 0/6539/34000 lits-rem:0 time: 1.08
34.65/8.76	c calculated reachability. Time: 0.00
34.65/8.76	c  N dy   105     30505       400     34000         0      9107    238000    436040     82.96   no data  --
36.25/9.19	c  N dy   119     34636       400     34000         0     13190    238000    819867     82.79     89.30  --
38.24/9.65	c  N dy   134     38721       400     34000         0      8780    238000    316363     82.65     87.06  --
39.84/10.09	c  N dy   153     42844       400     34000         0     12836    238000    700719     82.76     87.22  --
41.43/10.41	c  S st   164     45758       400     34000         0     15711    238000    970076     82.64     75.72  --
41.85/10.52	c  S st   164     46261       400     34000         0     16213    238000   1012176     82.64   no data  --
41.85/10.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
41.85/10.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
41.85/10.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.09
41.85/10.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
41.85/10.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.85/10.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
41.85/10.59	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
72.57/18.24	c lits-rem:       690  cl-subs:      230  v-elim:      0  v-fix:    0  time: 30.48 s
72.57/18.25	c vivif2 --  cl tried    34000 cl shrink        0 lits rem          0 time: 0.02
72.57/18.26	c vivif2 --  cl tried    15983 cl shrink        0 lits rem          0 time: 0.04
73.73/18.56	c asymm  cl-useful: 0/5499/34000 lits-rem:0 time: 1.23
73.73/18.57	c calculated reachability. Time: 0.00
73.73/18.57	c  N dy   164     46261       400     34000         0     15983    238000    977927     82.64   no data  --
75.74/19.09	c  N dy   170     50660       400     34000         0     10850    238000    424477     82.29     87.46  --
78.13/19.66	c  N dy   191     55514       400     34000         0     15642    238000    874340     82.31     87.00  --
80.52/20.22	c  N dy   214     59942       400     34000         0     20013    238000   1286229     82.36     86.92  --
82.51/20.72	c  N dy   235     63964       400     34000         0     13484    238000    588707     82.36     87.36  --
84.51/21.23	c  N dy   249     68115       400     34000         0     17580    238000    973516     82.30     86.68  --
84.91/21.38	c  S st   252     69392       400     34000         0     18847    238000   1092250     82.27     84.40  --
85.31/21.49	c  S st   252     69895       400     34000         0     19347    238000   1135286     82.27   no data  --
85.31/21.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
85.31/21.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
85.73/21.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.15
85.73/21.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85.73/21.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.73/21.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
85.73/21.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
117.21/29.42	c lits-rem:       677  cl-subs:      230  v-elim:      0  v-fix:    0  time: 31.27 s
117.21/29.43	c vivif2 --  cl tried    34000 cl shrink        0 lits rem          0 time: 0.01
117.21/29.44	c vivif2 --  cl tried    19117 cl shrink        0 lits rem          0 time: 0.04
118.41/29.72	c asymm  cl-useful: 0/5054/34000 lits-rem:0 time: 1.13
118.41/29.72	c calculated reachability. Time: 0.00
118.41/29.72	c  N dy   252     69895       400     34000         0     19117    238000   1100795     82.27   no data  --
120.83/30.35	c  N dy   275     74502       400     34000         0     12163    238000    382744     82.37     88.53  --
122.79/30.86	c  N dy   296     79344       400     34000         0     16957    238000    838414     82.39     87.97  --
125.21/31.48	c  N dy   322     84414       400     34000         0     21963    238000   1310584     82.43     86.80  --
126.78/31.87	c  F st   333     87501       400     34000         0     25020    238000   1596316     82.35     71.24  --
128.38/32.25	c  N st   338     90800       400     34000         0     15747    238000    642923     82.35   no data  --
131.17/32.97	c  N dy   361     96646       400     34000         0     21524    238000   1189470     82.40     88.15  --
134.76/33.85	c  N dy   394    103099       400     34000         0     14417    238000    434353     82.45     87.88  --
135.55/34.04	c  S st   400    104843       400     34000         0     16146    238000    596408     82.41     79.55  --
135.95/34.12	c  S st   400    105347       400     34000         0     16648    238000    640659     82.41   no data  --
135.95/34.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
135.95/34.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
135.95/34.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
135.95/34.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
135.95/34.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
135.95/34.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
135.95/34.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
155.50/39.09	c lits-rem:      1260  cl-subs:       77  v-elim:      0  v-fix:    0  time: 19.61 s
155.91/39.11	c vivif2 --  cl tried    34000 cl shrink        0 lits rem          0 time: 0.06
155.91/39.12	c vivif2 --  cl tried    16571 cl shrink        0 lits rem          0 time: 0.03
156.34/39.26	c asymm  cl-useful: 0/2259/34000 lits-rem:0 time: 0.58
156.34/39.27	c calculated reachability. Time: 0.00
156.34/39.27	c  N dy   400    105347       400     34000         0     16571    238000    628045     82.41   no data  --
159.89/40.12	c  N dy   428    112344       400     34000         0     23468    238000   1278608     82.40     87.26  --
163.48/41.08	c  N dy   463    119751       400     34000         0     16305    238000    528249     82.45     87.59  --
167.06/41.97	c  N dy   487    127402       400     34000         0     23872    238000   1234212     82.35     87.05  --
171.85/43.19	c  N dy   520    136227       400     34000         0     17105    238000    520687     82.34     86.77  --
176.63/44.31	c  N dy   565    144981       400     34000         0     25731    238000   1333327     82.39     87.29  --
181.83/45.64	c  N dy   607    154342       400     34000         0     18528    238000    579194     82.38     86.88  --
183.81/46.13	c  S st   631    158020       400     34000         0     22163    238000    923187     82.42   no data  --
184.21/46.23	c  S st   631    158522       400     34000         0     22658    238000    965088     82.42   no data  --
184.21/46.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
184.21/46.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
184.21/46.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
184.61/46.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
184.61/46.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
184.61/46.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
184.61/46.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
219.71/55.15	c lits-rem:       776  cl-subs:      150  v-elim:      0  v-fix:    0  time: 35.27 s
219.71/55.16	c vivif2 --  cl tried    34000 cl shrink        0 lits rem          0 time: 0.01
219.71/55.17	c vivif2 --  cl tried    22508 cl shrink        0 lits rem          0 time: 0.04
220.91/55.49	c asymm  cl-useful: 0/6019/34000 lits-rem:0 time: 1.28
220.91/55.49	c calculated reachability. Time: 0.00
220.91/55.49	c  N dy   631    158522       400     34000         0     22508    238000    941810     82.42   no data  --
226.88/56.97	c  N dy   679    168655       400     34000         0     32520    238000   1883543     82.44     87.55  --
232.87/58.46	c  N dy   724    179491       400     34000         0     25771    238000   1175218     82.44     86.82  --
239.69/60.18	c  N dy   774    191258       400     34000         0     18955    238000    452316     82.40     86.83  --
246.42/61.81	c  N dy   823    203603       400     34000         0     31150    238000   1597821     82.36     86.91  --
254.40/63.81	c  N dy   873    217069       400     34000         0     25018    238000    940394     82.32     87.09  --
262.78/65.92	c  N dy   939    231000       400     34000         0     38747    238000   2228184     82.37     87.33  --
266.36/66.89	c  S st   971    237783       400     34000         0     25067    238000    868026     82.36   no data  --
267.16/67.00	c  S st   971    238288       400     34000         0     25572    238000    912190     82.36   no data  --
267.16/67.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
267.16/67.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
267.16/67.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.11
267.16/67.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
267.16/67.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
267.16/67.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
267.16/67.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
295.09/74.01	c lits-rem:       601  cl-subs:       97  v-elim:      0  v-fix:    0  time: 27.68 s
295.09/74.02	c vivif2 --  cl tried    34000 cl shrink        0 lits rem          0 time: 0.02
295.09/74.03	c vivif2 --  cl tried    25475 cl shrink        0 lits rem          0 time: 0.04
296.30/74.38	c asymm  cl-useful: 0/4782/34000 lits-rem:0 time: 1.38
296.30/74.38	c calculated reachability. Time: 0.00
296.30/74.38	c  N dy   971    238288       400     34000         0     25475    238000    896818     82.36   no data  --
305.85/76.78	c  N dy  1047    253698       400     34000         0     40692    238000   2331083     82.39     86.80  --
315.82/79.21	c  N dy  1114    270042       400     34000         0     35454    238000   1752939     82.32     86.75  --
326.60/81.98	c  N dy  1190    287409       400     34000         0     30212    238000   1175386     82.28     86.62  --
339.36/85.13	c  N dy  1268    306011       400     34000         0     25212    238000    627231     82.26     89.31  --
339.36/85.17	c  F st  1271    306250       400     34000         0     25449    238000    648955     82.26   no data  --
352.52/88.40	c  N dy  1337    325576       400     34000         0     44541    238000   2462280     82.24     86.67  --
366.08/91.82	c  N dy  1433    345778       400     34000         0     40120    238000   1951642     82.27     86.80  --
374.05/93.81	c  S st  1469    357432       400     34000         0     26281    238000    566238     82.23     82.74  --
374.45/93.92	c  S st  1469    357936       400     34000         0     26783    238000    610420     82.23   no data  --
374.45/93.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
374.45/93.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
374.45/93.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
374.45/93.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
374.45/93.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
374.45/93.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
374.45/93.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
392.82/98.54	c lits-rem:       300  cl-subs:       37  v-elim:      0  v-fix:    0  time: 18.15 s
392.82/98.54	c vivif2 --  cl tried    34000 cl shrink        0 lits rem          0 time: 0.02
392.82/98.55	c vivif2 --  cl tried    26746 cl shrink        0 lits rem          0 time: 0.03
393.99/98.89	c asymm  cl-useful: 0/4460/34000 lits-rem:0 time: 1.38
393.99/98.89	c calculated reachability. Time: 0.00
393.99/98.89	c  N dy  1469    357936       400     34000         0     26746    238000    604997     82.23   no data  --
407.15/102.17	c  N dy  1559    377961       400     34000         0     46539    238000   2461133     82.22     87.65  --
421.91/105.80	c  N dy  1669    398752       400     34000         0     40740    238000   1842677     82.26     87.07  --
436.27/109.43	c  N dy  1752    418837       400     34000         0     33248    238000   1058986     82.26     86.61  --
450.62/113.09	c  N dy  1828    439358       400     34000         0     53527    238000   2961711     82.23     87.58  --
464.58/116.59	c  N dy  1918    459507       400     34000         0     45090    238000   2085105     82.24     87.21  --
479.35/120.23	c  N dy  2005    479545       400     34000         0     35594    238000   1110727     82.24     89.17  --
493.72/123.88	c  N dy  2116    499837       400     34000         0     55653    238000   3009791     82.29     86.97  --
507.65/127.33	c  N dy  2216    519929       400     34000         0     45198    238000   1937968     82.30     87.07  --
521.22/130.73	c  S st  2301    536905       400     34000         0     61970    238000   3513849     82.31     75.40  --
522.02/130.91	c  S st  2301    537410       400     34000         0     62474    238000   3559250     82.31   no data  --
522.02/130.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
522.02/130.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
522.02/130.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.20
522.42/131.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
522.42/131.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
522.42/131.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
522.42/131.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3640.85/912.95	c lits-rem:      3024  cl-subs:      883  v-elim:      0  v-fix:    0  time: 3116.95 s
3640.85/912.95	c vivif2 --  cl tried    34000 cl shrink        0 lits rem          0 time: 0.01
3640.85/912.99	c vivif2 --  cl tried    61591 cl shrink        0 lits rem          0 time: 0.14
3642.84/913.42	c asymm  cl-useful: 0/2766/34000 lits-rem:0 time: 1.72
3642.84/913.42	c calculated reachability. Time: 0.00
3642.84/913.42	c  N dy  2301    537410       400     34000         0     61591    238000   3425681     82.31   no data  --
3656.40/916.87	c  N dy  2359    557456       400     34000         0     50102    238000   2308383     82.26     86.61  --
3672.76/920.94	c  N dy  2456    577630       400     34000         0     37766    238000   1069626     82.26     86.79  --
3688.30/924.82	c  N dy  2548    597788       400     34000         0     57654    238000   2938826     82.26     86.65  --
3703.87/928.76	c  N dy  2624    618218       400     34000         0     44613    238000   1622958     82.24     86.57  --
3720.62/932.91	c  N dy  2709    638289       400     34000         0     64422    238000   3491592     82.26     88.73  --
3736.22/936.84	c  N dy  2803    658564       400     34000         0     50230    238000   2077198     82.27     87.19  --
3753.76/941.23	c  N dy  2873    678693       400     34000         0     70077    238000   3935221     82.25     86.98  --
3768.88/945.00	c  N dy  2955    699122       400     34000         0     55045    238000   2444474     82.23     87.33  --
3787.22/949.60	c  N dy  3038    719461       400     34000         0     38903    238000    841035     82.22     86.89  --
3803.17/953.64	c  N dy  3111    739545       400     34000         0     58746    238000   2701680     82.20     87.82  --
3823.12/958.62	c  N dy  3203    759649       400     34000         0     41400    238000    995092     82.22     86.93  --
3839.86/962.84	c  N dy  3278    779663       400     34000         0     61157    238000   2850215     82.20     88.14  --
3859.80/967.85	c  N dy  3371    799817       400     34000         0     42868    238000   1054261     82.22     86.58  --
3864.59/969.04	c  S st  3400    806115       400     34000         0     49087    238000   1636307     82.21   no data  --
3865.39/969.22	c  S st  3400    806618       400     34000         0     49589    238000   1680620     82.21   no data  --
3865.39/969.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3865.39/969.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3865.39/969.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.17
3865.79/969.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3865.79/969.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3865.79/969.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
3865.79/969.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3971.47/995.81	c lits-rem:       996  cl-subs:      314  v-elim:      0  v-fix:    0  time: 105.66 s
3971.47/995.82	c vivif2 --  cl tried    34000 cl shrink        0 lits rem          0 time: 0.01
3971.47/995.83	c vivif2 --  cl tried    49275 cl shrink        0 lits rem          0 time: 0.08
3973.11/996.26	c asymm  cl-useful: 0/3096/34000 lits-rem:0 time: 1.70
3973.11/996.27	c calculated reachability. Time: 0.00
3973.11/996.27	c  N dy  3400    806618       400     34000         0     49275    238000   1633215     82.21   no data  --
3991.82/1000.95	c  N dy  3488    826821       400     34000         0     69199    238000   3500530     82.21     86.96  --
4010.56/1005.64	c  N dy  3581    846838       400     34000         0     49812    238000   1621948     82.22     87.23  --
4030.15/1010.54	c  N dy  3679    867332       400     34000         0     70063    238000   3524866     82.23     86.90  --
4048.45/1015.15	c  N dy  3767    887333       400     34000         0     49633    238000   1526680     82.24     91.64  --
4066.80/1019.79	c  N dy  3872    907603       400     34000         0     69651    238000   3412210     82.26     86.78  --
4085.54/1024.41	c  N dy  3941    927740       400     34000         0     48421    238000   1325466     82.23     87.46  --
4104.31/1029.17	c  N dy  4035    948621       400     34000         0     69041    238000   3273697     82.25     86.68  --
4125.83/1034.53	c  N dy  4128    968978       400     34000         0     47012    238000   1114335     82.25     87.06  --
4144.22/1039.16	c  N dy  4212    989871       400     34000         0     67633    238000   3045556     82.24     88.05  --
4166.15/1044.69	c  N dy  4304   1010044       400     34000         0     44439    238000    783368     82.24     86.70  --
4184.45/1049.24	c  N dy  4398   1030991       400     34000         0     65120    238000   2731950     82.25     87.15  --
4206.78/1054.86	c  N dy  4474   1052139       400     34000         0     86035    238000   4695246     82.23     86.91  --
4224.73/1059.35	c  F st  4565   1071875       400     34000         0     61391    238000   2303717     82.23   no data  --
4225.53/1059.50	c  N st  4567   1072501       400     34000         0     62003    238000   2362889     82.23   no data  --
4246.27/1064.71	c  N dy  4630   1093149       400     34000         0     82413    238000   4290691     82.21     87.12  --
4267.05/1069.93	c  N dy  4720   1114037       400     34000         0     57947    238000   1894440     82.21     86.84  --
4287.35/1075.09	c  N dy  4821   1134190       400     34000         0     77839    238000   3768346     82.23     86.69  --
4309.28/1080.57	c  N dy  4897   1154318       400     34000         0     51645    238000   1208747     82.23     86.73  --
4328.47/1085.31	c  N dy  4990   1174564       400     34000         0     71652    238000   3089948     82.23     87.29  --
4351.95/1091.25	c  N dy  5094   1194592       400     34000         0     91436    238000   4955325     82.24     86.92  --
4366.72/1094.93	c  S st  5155   1209927       400     34000         0     59500    238000   1870844     82.24     79.55  --
4367.54/1095.14	c  S st  5155   1210430       400     34000         0     60000    238000   1915006     82.24   no data  --
4367.54/1095.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4367.54/1095.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4367.54/1095.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.21
4367.96/1095.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4367.96/1095.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4367.96/1095.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
4367.96/1095.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4470.41/1120.91	c lits-rem:       711  cl-subs:      385  v-elim:      0  v-fix:    0  time: 102.23 s
4470.41/1120.91	c vivif2 --  cl tried    34000 cl shrink        0 lits rem          0 time: 0.02
4470.41/1120.93	c vivif2 --  cl tried    59615 cl shrink        0 lits rem          0 time: 0.08
4472.00/1121.36	c asymm  cl-useful: 0/2750/34000 lits-rem:0 time: 1.72
4472.00/1121.37	c calculated reachability. Time: 0.00
4472.00/1121.37	c  N dy  5155   1210430       400     34000         0     59615    238000   1859772     82.24   no data  --
4492.74/1126.57	c  N dy  5250   1230622       400     34000         0     79535    238000   3726988     82.24     88.05  --
4515.87/1132.32	c  N dy  5324   1250825       400     34000         0     51423    238000   1027600     82.23     86.72  --
4534.24/1137.00	c  N dy  5407   1270998       400     34000         0     71330    238000   2901832     82.23     87.12  --
4556.95/1142.67	c  N dy  5490   1291315       400     34000         0     91353    238000   4792155     82.23     86.85  --
4577.29/1147.78	c  N dy  5577   1311638       400     34000         0     62405    238000   1976041     82.23     86.99  --
4599.23/1153.27	c  N dy  5675   1331670       400     34000         0     82232    238000   3851661     82.24     99.37  --
4626.38/1160.10	c  N dy  5773   1352173       400     34000         0     52421    238000    956949     82.25     87.11  --
4645.10/1164.76	c  N dy  5853   1372249       400     34000         0     72238    238000   2827467     82.25     86.62  --
4669.43/1170.83	c  N dy  5952   1393002       400     34000         0     92720    238000   4756446     82.26     86.75  --
4691.76/1176.49	c  N dy  6047   1413174       400     34000         0     61640    238000   1742429     82.27     87.20  --
4712.10/1181.52	c  N dy  6139   1433263       400     34000         0     81488    238000   3609036     82.27     86.88  --
4737.22/1187.86	c  N dy  6239   1454044       400     34000         0    101986    238000   5535581     82.28     86.88  --
4755.57/1192.46	c  N dy  6308   1474110       400     34000         0     69811    238000   2422177     82.27     87.11  --
4777.50/1197.99	c  N dy  6402   1494247       400     34000         0     89689    238000   4291489     82.27     86.79  --

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-3368660-1305399919/watcher-3368660-1305399919 -o /tmp/evaluation-result-3368660-1305399919/solver-3368660-1305399919 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368660-1305399919.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: 8.14 8.10 8.03 2/361 7316
/proc/meminfo: memFree=30344216/32951124 swapFree=51873460/67111528
[pid=7316] ppid=7314 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7316/stat : 7316 (strangenight1-m) R 7314 7316 7181 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 632408175 52465664 352 33554432000 4194304 4650419 140734459329536 18446744073709551615 47804383139762 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/7316/statm: 12809 352 303 112 0 7774 0
[pid=7316/tid=7317] ppid=7314 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7316/task/7317/stat : 7317 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 632408175 52465664 352 33554432000 4194304 4650419 140734459329536 18446744073709551615 212039711729 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7316/tid=7318] ppid=7314 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7316/task/7318/stat : 7318 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 632408175 52465664 352 33554432000 4194304 4650419 140734459329536 18446744073709551615 47804383139766 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7316/tid=7319] ppid=7314 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/7316/task/7319/stat : 7319 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 632408175 52465664 352 33554432000 4194304 4650419 140734459329536 18446744073709551615 47804383139762 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.117506 s]
/proc/loadavg: 8.14 8.10 8.03 2/361 7316
/proc/meminfo: memFree=30344216/32951124 swapFree=51873460/67111528
[pid=7316] ppid=7314 vsize=284832 CPUtime=0.43 cores=1,3,5,7
/proc/7316/stat : 7316 (strangenight1-m) R 7314 7316 7181 0 -1 4202496 4581 0 0 0 42 1 0 0 25 0 4 0 632408175 291667968 4488 33554432000 4194304 4650419 140734459329536 18446744073709551615 4370572 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7316/statm: 71208 4488 367 112 0 66173 0
[pid=7316/tid=7317] ppid=7314 vsize=284832 CPUtime=0.09 cores=1,3,5,7
/proc/7316/task/7317/stat : 7317 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 1008 0 0 0 9 0 0 0 18 0 4 0 632408175 291667968 4488 33554432000 4194304 4650419 140734459329536 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7316/tid=7318] ppid=7314 vsize=284832 CPUtime=0.1 cores=1,3,5,7
/proc/7316/task/7318/stat : 7318 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 1007 0 0 0 10 0 0 0 18 0 4 0 632408175 291667968 4488 33554432000 4194304 4650419 140734459329536 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7316/tid=7319] ppid=7314 vsize=284832 CPUtime=0.11 cores=1,3,5,7
/proc/7316/task/7319/stat : 7319 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 1140 0 0 0 11 0 0 0 18 0 4 0 632408175 291667968 4488 33554432000 4194304 4650419 140734459329536 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 284832

[startup+0.200494 s]
/proc/loadavg: 8.14 8.10 8.03 2/361 7316
/proc/meminfo: memFree=30344216/32951124 swapFree=51873460/67111528
[pid=7316] ppid=7314 vsize=284964 CPUtime=0.76 cores=1,3,5,7
/proc/7316/stat : 7316 (strangenight1-m) R 7314 7316 7181 0 -1 4202496 4783 0 0 0 75 1 0 0 25 0 4 0 632408175 291803136 4690 33554432000 4194304 4650419 140734459329536 18446744073709551615 4370547 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7316/statm: 71241 4690 367 112 0 66206 0
[pid=7316/tid=7317] ppid=7314 vsize=284964 CPUtime=0.18 cores=1,3,5,7
/proc/7316/task/7317/stat : 7317 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 1028 0 0 0 18 0 0 0 18 0 4 0 632408175 291803136 4690 33554432000 4194304 4650419 140734459329536 18446744073709551615 4369360 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7316/tid=7318] ppid=7314 vsize=284964 CPUtime=0.18 cores=1,3,5,7
/proc/7316/task/7318/stat : 7318 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 1026 0 0 0 18 0 0 0 18 0 4 0 632408175 291803136 4690 33554432000 4194304 4650419 140734459329536 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7316/tid=7319] ppid=7314 vsize=284964 CPUtime=0.19 cores=1,3,5,7
/proc/7316/task/7319/stat : 7319 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 1282 0 0 0 19 0 0 0 18 0 4 0 632408175 291803136 4690 33554432000 4194304 4650419 140734459329536 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 284964

[startup+0.300475 s]
/proc/loadavg: 8.14 8.10 8.03 2/361 7316
/proc/meminfo: memFree=30344216/32951124 swapFree=51873460/67111528
[pid=7316] ppid=7314 vsize=285228 CPUtime=1.16 cores=1,3,5,7
/proc/7316/stat : 7316 (strangenight1-m) R 7314 7316 7181 0 -1 4202496 4988 0 0 0 115 1 0 0 25 0 4 0 632408175 292073472 4895 33554432000 4194304 4650419 140734459329536 18446744073709551615 4536228 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7316/statm: 71307 4895 367 112 0 66272 0
[pid=7316/tid=7317] ppid=7314 vsize=285228 CPUtime=0.28 cores=1,3,5,7
/proc/7316/task/7317/stat : 7317 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 1046 0 0 0 28 0 0 0 18 0 4 0 632408175 292073472 4895 33554432000 4194304 4650419 140734459329536 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7316/tid=7318] ppid=7314 vsize=285228 CPUtime=0.28 cores=1,3,5,7
/proc/7316/task/7318/stat : 7318 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 1044 0 0 0 28 0 0 0 18 0 4 0 632408175 292073472 4895 33554432000 4194304 4650419 140734459329536 18446744073709551615 4370707 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7316/tid=7319] ppid=7314 vsize=285228 CPUtime=0.29 cores=1,3,5,7
/proc/7316/task/7319/stat : 7319 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 1435 0 0 0 29 0 0 0 18 0 4 0 632408175 292073472 4896 33554432000 4194304 4650419 140734459329536 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 285228

[startup+1.12094 s]
/proc/loadavg: 8.14 8.10 8.03 2/361 7316
/proc/meminfo: memFree=30344216/32951124 swapFree=51873460/67111528
[pid=7316] ppid=7314 vsize=305036 CPUtime=4.42 cores=1,3,5,7
/proc/7316/stat : 7316 (strangenight1-m) R 7314 7316 7181 0 -1 4202496 17267 0 0 0 438 4 0 0 18 0 4 0 632408175 312356864 13740 33554432000 4194304 4650419 140734459329536 18446744073709551615 212039698522 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7316/statm: 76259 13740 391 112 0 71224 0
[pid=7316/tid=7317] ppid=7314 vsize=305036 CPUtime=1.09 cores=1,3,5,7
/proc/7316/task/7317/stat : 7317 (strangenight1-m) D 7314 7316 7181 0 -1 4202560 5011 0 0 0 108 1 0 0 18 0 4 0 632408175 312356864 13740 33554432000 4194304 4650419 140734459329536 18446744073709551615 4516622 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7316/tid=7318] ppid=7314 vsize=305036 CPUtime=1.09 cores=1,3,5,7
/proc/7316/task/7318/stat : 7318 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 4514 0 0 0 109 0 0 0 18 0 4 0 632408175 312356864 13740 33554432000 4194304 4650419 140734459329536 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7316/tid=7319] ppid=7314 vsize=305036 CPUtime=1.11 cores=1,3,5,7
/proc/7316/task/7319/stat : 7319 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 3083 0 0 0 110 1 0 0 18 0 4 0 632408175 312356864 13740 33554432000 4194304 4650419 140734459329536 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 305036

[startup+1.50026 s]
/proc/loadavg: 8.14 8.10 8.03 2/361 7316
/proc/meminfo: memFree=30344216/32951124 swapFree=51873460/67111528
[pid=7316] ppid=7314 vsize=297876 CPUtime=5.94 cores=1,3,5,7
/proc/7316/stat : 7316 (strangenight1-m) R 7314 7316 7181 0 -1 4202496 20777 0 0 0 589 5 0 0 19 0 4 0 632408175 305025024 13385 33554432000 4194304 4650419 140734459329536 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7316/statm: 74469 13385 391 112 0 69434 0
[pid=7316/tid=7317] ppid=7314 vsize=297876 CPUtime=1.47 cores=1,3,5,7
/proc/7316/task/7317/stat : 7317 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 5466 0 0 0 146 1 0 0 19 0 4 0 632408175 305025024 13385 33554432000 4194304 4650419 140734459329536 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7316/tid=7318] ppid=7314 vsize=297876 CPUtime=1.48 cores=1,3,5,7
/proc/7316/task/7318/stat : 7318 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 5473 0 0 0 147 1 0 0 19 0 4 0 632408175 305025024 13385 33554432000 4194304 4650419 140734459329536 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7316/tid=7319] ppid=7314 vsize=297876 CPUtime=1.49 cores=1,3,5,7
/proc/7316/task/7319/stat : 7319 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 4220 0 0 0 148 1 0 0 19 0 4 0 632408175 305025024 13385 33554432000 4194304 4650419 140734459329536 18446744073709551615 4315074 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 297876

[startup+3.10098 s]
/proc/loadavg: 8.21 8.11 8.03 9/371 7329
/proc/meminfo: memFree=30068468/32951124 swapFree=51873460/67111528
[pid=7316] ppid=7314 vsize=300076 CPUtime=12.32 cores=1,3,5,7
/proc/7316/stat : 7316 (strangenight1-m) R 7314 7316 7181 0 -1 4202496 32610 0 0 0 1225 7 0 0 22 0 4 0 632408175 307277824 14915 33554432000 4194304 4650419 140734459329536 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7316/statm: 75019 14915 392 112 0 69984 0
[pid=7316/tid=7317] ppid=7314 vsize=300076 CPUtime=3.07 cores=1,3,5,7
/proc/7316/task/7317/stat : 7317 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 8442 0 0 0 306 1 0 0 22 0 4 0 632408175 307277824 14915 33554432000 4194304 4650419 140734459329536 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7316/tid=7318] ppid=7314 vsize=300076 CPUtime=3.07 cores=1,3,5,7
/proc/7316/task/7318/stat : 7318 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 8437 0 0 0 306 1 0 0 23 0 4 0 632408175 307277824 14915 33554432000 4194304 4650419 140734459329536 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7316/tid=7319] ppid=7314 vsize=300076 CPUtime=3.09 cores=1,3,5,7
/proc/7316/task/7319/stat : 7319 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 7206 0 0 0 307 2 0 0 22 0 4 0 632408175 307277824 14916 33554432000 4194304 4650419 140734459329536 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 300076

[startup+6.30041 s]
/proc/loadavg: 8.21 8.11 8.03 9/371 7329
/proc/meminfo: memFree=29957744/32951124 swapFree=51873460/67111528
[pid=7316] ppid=7314 vsize=317952 CPUtime=25.08 cores=1,3,5,7
/proc/7316/stat : 7316 (strangenight1-m) R 7314 7316 7181 0 -1 4202496 59790 0 0 0 2495 13 0 0 25 0 4 0 632408175 325582848 32860 33554432000 4194304 4650419 140734459329536 18446744073709551615 4439455 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7316/statm: 79488 32860 393 112 0 74453 0
[pid=7316/tid=7317] ppid=7314 vsize=317952 CPUtime=6.26 cores=1,3,5,7
/proc/7316/task/7317/stat : 7317 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 16506 0 0 0 624 2 0 0 25 0 4 0 632408175 325582848 32860 33554432000 4194304 4650419 140734459329536 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7316/tid=7318] ppid=7314 vsize=317952 CPUtime=6.27 cores=1,3,5,7
/proc/7316/task/7318/stat : 7318 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 16299 0 0 0 624 3 0 0 25 0 4 0 632408175 325582848 32860 33554432000 4194304 4650419 140734459329536 18446744073709551615 4439636 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7316/tid=7319] ppid=7314 vsize=317952 CPUtime=6.29 cores=1,3,5,7
/proc/7316/task/7319/stat : 7319 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 14271 0 0 0 626 3 0 0 25 0 4 0 632408175 325582848 32860 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 317952

[startup+12.7003 s]
/proc/loadavg: 8.33 8.14 8.04 9/371 7330
/proc/meminfo: memFree=29942060/32951124 swapFree=51873460/67111528
[pid=7316] ppid=7314 vsize=298628 CPUtime=50.63 cores=1,3,5,7
/proc/7316/stat : 7316 (strangenight1-m) R 7314 7316 7181 0 -1 4202496 73481 0 0 0 5047 16 0 0 25 0 4 0 632408175 305795072 38758 33554432000 4194304 4650419 140734459329536 18446744073709551615 4438922 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7316/statm: 74657 38758 393 112 0 69622 0
[pid=7316/tid=7317] ppid=7314 vsize=298628 CPUtime=12.68 cores=1,3,5,7
/proc/7316/task/7317/stat : 7317 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 18483 0 0 0 1265 3 0 0 25 0 4 0 632408175 305795072 38769 33554432000 4194304 4650419 140734459329536 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7316/tid=7318] ppid=7314 vsize=298628 CPUtime=12.68 cores=1,3,5,7
/proc/7316/task/7318/stat : 7318 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 16948 0 0 0 1265 3 0 0 25 0 4 0 632408175 305795072 38769 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7316/tid=7319] ppid=7314 vsize=298628 CPUtime=12.7 cores=1,3,5,7
/proc/7316/task/7319/stat : 7319 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 19566 0 0 0 1265 5 0 0 25 0 4 0 632408175 305795072 38769 33554432000 4194304 4650419 140734459329536 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 298628

[startup+25.501 s]
/proc/loadavg: 8.35 8.15 8.05 9/371 7330
/proc/meminfo: memFree=29649540/32951124 swapFree=51873460/67111528
[pid=7316] ppid=7314 vsize=321084 CPUtime=101.66 cores=1,3,5,7
/proc/7316/stat : 7316 (strangenight1-m) R 7314 7316 7181 0 -1 4202496 104942 0 0 0 10142 24 0 0 25 0 4 0 632408175 328790016 49828 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7316/statm: 80271 49828 393 112 0 75236 0
[pid=7316/tid=7317] ppid=7314 vsize=321084 CPUtime=25.47 cores=1,3,5,7
/proc/7316/task/7317/stat : 7317 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 26998 0 0 0 2542 5 0 0 25 0 4 0 632408175 328790016 49828 33554432000 4194304 4650419 140734459329536 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7316/tid=7318] ppid=7314 vsize=321084 CPUtime=25.47 cores=1,3,5,7
/proc/7316/task/7318/stat : 7318 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 25163 0 0 0 2542 5 0 0 25 0 4 0 632408175 328790016 49828 33554432000 4194304 4650419 140734459329536 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7316/tid=7319] ppid=7314 vsize=321084 CPUtime=25.48 cores=1,3,5,7
/proc/7316/task/7319/stat : 7319 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 29075 0 0 0 2541 7 0 0 25 0 4 0 632408175 328790016 49828 33554432000 4194304 4650419 140734459329536 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 321084

[startup+51.1004 s]
/proc/loadavg: 8.23 8.14 8.04 9/371 7331
/proc/meminfo: memFree=29455612/32951124 swapFree=51873460/67111528
[pid=7316] ppid=7314 vsize=524452 CPUtime=203.76 cores=1,3,5,7
/proc/7316/stat : 7316 (strangenight1-m) R 7314 7316 7181 0 -1 4202496 170542 0 0 0 20336 40 0 0 25 0 4 0 632408175 537038848 74618 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7316/statm: 131113 74618 393 112 0 126078 0
[pid=7316/tid=7317] ppid=7314 vsize=524452 CPUtime=51.07 cores=1,3,5,7
/proc/7316/task/7317/stat : 7317 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 41326 0 0 0 5099 8 0 0 25 0 4 0 632408175 537038848 74618 33554432000 4194304 4650419 140734459329536 18446744073709551615 4439641 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7316/tid=7318] ppid=7314 vsize=524452 CPUtime=51.08 cores=1,3,5,7
/proc/7316/task/7318/stat : 7318 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 39882 0 0 0 5099 9 0 0 25 0 4 0 632408175 537038848 74618 33554432000 4194304 4650419 140734459329536 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7316/tid=7319] ppid=7314 vsize=524452 CPUtime=51.09 cores=1,3,5,7
/proc/7316/task/7319/stat : 7319 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 54657 0 0 0 5096 13 0 0 25 0 4 0 632408175 537038848 74618 33554432000 4194304 4650419 140734459329536 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.76
Current children cumulated vsize (KiB) 524452

[startup+102.3 s]
/proc/loadavg: 8.14 8.13 8.05 9/371 7332
/proc/meminfo: memFree=29246640/32951124 swapFree=51873460/67111528
[pid=7316] ppid=7314 vsize=500588 CPUtime=407.95 cores=1,3,5,7
/proc/7316/stat : 7316 (strangenight1-m) R 7314 7316 7181 0 -1 4202496 251365 0 0 0 40727 68 0 0 25 0 4 0 632408175 512602112 79448 33554432000 4194304 4650419 140734459329536 18446744073709551615 4311310 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7316/statm: 125147 79448 393 112 0 120112 0
[pid=7316/tid=7317] ppid=7314 vsize=500588 CPUtime=102.26 cores=1,3,5,7
/proc/7316/task/7317/stat : 7317 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 61242 0 0 0 10212 14 0 0 25 0 4 0 632408175 512602112 79448 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7316/tid=7318] ppid=7314 vsize=500588 CPUtime=102.28 cores=1,3,5,7
/proc/7316/task/7318/stat : 7318 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 70875 0 0 0 10208 20 0 0 25 0 4 0 632408175 512602112 79448 33554432000 4194304 4650419 140734459329536 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7316/tid=7319] ppid=7314 vsize=500588 CPUtime=102.29 cores=1,3,5,7
/proc/7316/task/7319/stat : 7319 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 64971 0 0 0 10212 17 0 0 25 0 4 0 632408175 512602112 79448 33554432000 4194304 4650419 140734459329536 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.95
Current children cumulated vsize (KiB) 500588

[startup+162.301 s]

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

[pid=7316] ppid=7314 vsize=807196 CPUtime=2800.92 cores=1,3,5,7
/proc/7316/stat : 7316 (strangenight1-m) R 7314 7316 7181 0 -1 4202496 601595 0 0 0 279922 170 0 0 25 0 4 0 632408175 826568704 120842 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7316/statm: 201799 120842 393 112 0 196764 0
[pid=7316/tid=7317] ppid=7314 vsize=807196 CPUtime=702.28 cores=1,3,5,7
/proc/7316/task/7317/stat : 7317 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 213819 0 0 0 70158 70 0 0 25 0 4 0 632408175 826568704 120842 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7316/tid=7318] ppid=7314 vsize=807196 CPUtime=702.29 cores=1,3,5,7
/proc/7316/task/7318/stat : 7318 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 174082 0 0 0 70183 46 0 0 25 0 4 0 632408175 826568704 120842 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7316/tid=7319] ppid=7314 vsize=807196 CPUtime=702.31 cores=1,3,5,7
/proc/7316/task/7319/stat : 7319 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 78478 0 0 0 70209 22 0 0 25 0 4 0 632408175 826568704 120842 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2800.92
Current children cumulated vsize (KiB) 807196

[startup+762.3 s]
/proc/loadavg: 8.07 8.11 8.07 9/371 7349
/proc/meminfo: memFree=28538900/32951124 swapFree=51873460/67111528
[pid=7316] ppid=7314 vsize=807196 CPUtime=3040.21 cores=1,3,5,7
/proc/7316/stat : 7316 (strangenight1-m) R 7314 7316 7181 0 -1 4202496 627844 0 0 0 303849 172 0 0 25 0 4 0 632408175 826568704 120763 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7316/statm: 201799 120763 393 112 0 196764 0
[pid=7316/tid=7317] ppid=7314 vsize=807196 CPUtime=762.28 cores=1,3,5,7
/proc/7316/task/7317/stat : 7317 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 227218 0 0 0 76157 71 0 0 25 0 4 0 632408175 826568704 120763 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7316/tid=7318] ppid=7314 vsize=807196 CPUtime=762.29 cores=1,3,5,7
/proc/7316/task/7318/stat : 7318 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 179771 0 0 0 76182 47 0 0 25 0 4 0 632408175 826568704 120763 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7316/tid=7319] ppid=7314 vsize=807196 CPUtime=762.31 cores=1,3,5,7
/proc/7316/task/7319/stat : 7319 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 78478 0 0 0 76209 22 0 0 25 0 4 0 632408175 826568704 120763 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476483 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3040.21
Current children cumulated vsize (KiB) 807196

[startup+822.301 s]
/proc/loadavg: 8.08 8.10 8.07 9/371 7351
/proc/meminfo: memFree=28518764/32951124 swapFree=51873460/67111528
[pid=7316] ppid=7314 vsize=752296 CPUtime=3279.53 cores=1,3,5,7
/proc/7316/stat : 7316 (strangenight1-m) R 7314 7316 7181 0 -1 4202496 656061 0 0 0 327775 178 0 0 25 0 4 0 632408175 770351104 119453 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7316/statm: 188074 119453 393 112 0 183039 0
[pid=7316/tid=7317] ppid=7314 vsize=752296 CPUtime=822.3 cores=1,3,5,7
/proc/7316/task/7317/stat : 7317 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 241432 0 0 0 82155 75 0 0 25 0 4 0 632408175 770351104 119457 33554432000 4194304 4650419 140734459329536 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7316/tid=7318] ppid=7314 vsize=752296 CPUtime=822.3 cores=1,3,5,7
/proc/7316/task/7318/stat : 7318 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 184804 0 0 0 82183 47 0 0 25 0 4 0 632408175 770351104 119457 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7316/tid=7319] ppid=7314 vsize=752296 CPUtime=822.32 cores=1,3,5,7
/proc/7316/task/7319/stat : 7319 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 78478 0 0 0 82210 22 0 0 25 0 4 0 632408175 770351104 119457 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3279.53
Current children cumulated vsize (KiB) 752296

[startup+882.301 s]
/proc/loadavg: 8.07 8.10 8.07 9/371 7353
/proc/meminfo: memFree=28545376/32951124 swapFree=51873460/67111528
[pid=7316] ppid=7314 vsize=809308 CPUtime=3518.81 cores=1,3,5,7
/proc/7316/stat : 7316 (strangenight1-m) R 7314 7316 7181 0 -1 4202496 712630 0 0 0 351681 200 0 0 25 0 4 0 632408175 828731392 121713 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7316/statm: 202327 121713 393 112 0 197292 0
[pid=7316/tid=7317] ppid=7314 vsize=809308 CPUtime=882.29 cores=1,3,5,7
/proc/7316/task/7317/stat : 7317 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 268252 0 0 0 88141 88 0 0 25 0 4 0 632408175 828731392 121713 33554432000 4194304 4650419 140734459329536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7316/tid=7318] ppid=7314 vsize=809308 CPUtime=882.29 cores=1,3,5,7
/proc/7316/task/7318/stat : 7318 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 190791 0 0 0 88181 48 0 0 25 0 4 0 632408175 828731392 121713 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7316/tid=7319] ppid=7314 vsize=809308 CPUtime=882.31 cores=1,3,5,7
/proc/7316/task/7319/stat : 7319 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 94393 0 0 0 88202 29 0 0 25 0 4 0 632408175 828731392 121713 33554432000 4194304 4650419 140734459329536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3518.81
Current children cumulated vsize (KiB) 809308

[startup+942.314 s]
/proc/loadavg: 8.07 8.09 8.07 9/371 7354
/proc/meminfo: memFree=28479848/32951124 swapFree=51873460/67111528
[pid=7316] ppid=7314 vsize=795428 CPUtime=3758.15 cores=1,3,5,7
/proc/7316/stat : 7316 (strangenight1-m) R 7314 7316 7181 0 -1 4202496 779189 0 0 0 375586 229 0 0 25 0 4 0 632408175 814518272 129252 33554432000 4194304 4650419 140734459329536 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7316/statm: 198857 129252 393 112 0 193822 0
[pid=7316/tid=7317] ppid=7314 vsize=795428 CPUtime=942.3 cores=1,3,5,7
/proc/7316/task/7317/stat : 7317 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 294793 0 0 0 94130 100 0 0 25 0 4 0 632408175 814518272 129252 33554432000 4194304 4650419 140734459329536 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7316/tid=7318] ppid=7314 vsize=795428 CPUtime=942.31 cores=1,3,5,7
/proc/7316/task/7318/stat : 7318 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 196605 0 0 0 94182 49 0 0 25 0 4 0 632408175 814518272 129252 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7316/tid=7319] ppid=7314 vsize=795428 CPUtime=942.32 cores=1,3,5,7
/proc/7316/task/7319/stat : 7319 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 111419 0 0 0 94194 38 0 0 25 0 4 0 632408175 814518272 129252 33554432000 4194304 4650419 140734459329536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3758.15
Current children cumulated vsize (KiB) 795428

[startup+1002.3 s]
/proc/loadavg: 8.06 8.08 8.07 9/371 7356
/proc/meminfo: memFree=28373024/32951124 swapFree=51873460/67111528
[pid=7316] ppid=7314 vsize=916484 CPUtime=3997.4 cores=1,3,5,7
/proc/7316/stat : 7316 (strangenight1-m) R 7314 7316 7181 0 -1 4202496 813199 0 0 0 399499 241 0 0 25 0 4 0 632408175 938479616 142233 33554432000 4194304 4650419 140734459329536 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7316/statm: 229121 142233 393 112 0 224086 0
[pid=7316/tid=7317] ppid=7314 vsize=916484 CPUtime=1002.29 cores=1,3,5,7
/proc/7316/task/7317/stat : 7317 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 307365 0 0 0 100127 102 0 0 25 0 4 0 632408175 938479616 142233 33554432000 4194304 4650419 140734459329536 18446744073709551615 4438922 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7316/tid=7318] ppid=7314 vsize=916484 CPUtime=1002.3 cores=1,3,5,7
/proc/7316/task/7318/stat : 7318 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 202704 0 0 0 100180 50 0 0 25 0 4 0 632408175 938479616 142233 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7316/tid=7319] ppid=7314 vsize=916484 CPUtime=1002.3 cores=1,3,5,7
/proc/7316/task/7319/stat : 7319 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 114998 0 0 0 100189 41 0 0 25 0 4 0 632408175 938479616 142233 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3997.4
Current children cumulated vsize (KiB) 916484

[startup+1062.3 s]
/proc/loadavg: 8.19 8.12 8.09 9/371 7358
/proc/meminfo: memFree=28373972/32951124 swapFree=51873460/67111528
[pid=7316] ppid=7314 vsize=918448 CPUtime=4236.69 cores=1,3,5,7
/proc/7316/stat : 7316 (strangenight1-m) R 7314 7316 7181 0 -1 4202496 856476 0 0 0 423408 261 0 0 25 0 4 0 632408175 940490752 141507 33554432000 4194304 4650419 140734459329536 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7316/statm: 229612 141507 393 112 0 224577 0
[pid=7316/tid=7317] ppid=7314 vsize=918448 CPUtime=1062.3 cores=1,3,5,7
/proc/7316/task/7317/stat : 7317 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 310130 0 0 0 106127 103 0 0 25 0 4 0 632408175 940490752 141507 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7316/tid=7318] ppid=7314 vsize=918448 CPUtime=1062.3 cores=1,3,5,7
/proc/7316/task/7318/stat : 7318 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 209656 0 0 0 106179 51 0 0 25 0 4 0 632408175 940490752 141507 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7316/tid=7319] ppid=7314 vsize=918448 CPUtime=1062.31 cores=1,3,5,7
/proc/7316/task/7319/stat : 7319 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 125155 0 0 0 106183 48 0 0 25 0 4 0 632408175 940490752 141507 33554432000 4194304 4650419 140734459329536 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4236.69
Current children cumulated vsize (KiB) 918448

[startup+1122.3 s]
/proc/loadavg: 8.11 8.11 8.09 9/371 7359
/proc/meminfo: memFree=28375152/32951124 swapFree=51873460/67111528
[pid=7316] ppid=7314 vsize=934444 CPUtime=4475.99 cores=1,3,5,7
/proc/7316/stat : 7316 (strangenight1-m) R 7314 7316 7181 0 -1 4202496 893938 0 0 0 447320 279 0 0 25 0 4 0 632408175 956870656 147172 33554432000 4194304 4650419 140734459329536 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7316/statm: 233611 147172 393 112 0 228576 0
[pid=7316/tid=7317] ppid=7314 vsize=934444 CPUtime=1122.29 cores=1,3,5,7
/proc/7316/task/7317/stat : 7317 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 314239 0 0 0 112126 103 0 0 25 0 4 0 632408175 956870656 147172 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7316/tid=7318] ppid=7314 vsize=934444 CPUtime=1122.3 cores=1,3,5,7
/proc/7316/task/7318/stat : 7318 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 215719 0 0 0 112178 52 0 0 25 0 4 0 632408175 956870656 147172 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7316/tid=7319] ppid=7314 vsize=934444 CPUtime=1122.31 cores=1,3,5,7
/proc/7316/task/7319/stat : 7319 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 139593 0 0 0 112175 56 0 0 25 0 4 0 632408175 956870656 147172 33554432000 4194304 4650419 140734459329536 18446744073709551615 4365450 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4475.99
Current children cumulated vsize (KiB) 934444

[startup+1182.3 s]
/proc/loadavg: 8.14 8.13 8.09 9/371 7363
/proc/meminfo: memFree=28294488/32951124 swapFree=51873460/67111528
[pid=7316] ppid=7314 vsize=977804 CPUtime=4715.28 cores=1,3,5,7
/proc/7316/stat : 7316 (strangenight1-m) R 7314 7316 7181 0 -1 4202496 933425 0 0 0 471232 296 0 0 25 0 4 0 632408175 1001271296 148942 33554432000 4194304 4650419 140734459329536 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7316/statm: 244451 148942 393 112 0 239416 0
[pid=7316/tid=7317] ppid=7314 vsize=977804 CPUtime=1182.29 cores=1,3,5,7
/proc/7316/task/7317/stat : 7317 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 317942 0 0 0 118126 103 0 0 25 0 4 0 632408175 1001271296 148942 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7316/tid=7318] ppid=7314 vsize=977804 CPUtime=1182.3 cores=1,3,5,7
/proc/7316/task/7318/stat : 7318 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 225429 0 0 0 118176 54 0 0 25 0 4 0 632408175 1001271296 148942 33554432000 4194304 4650419 140734459329536 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7316/tid=7319] ppid=7314 vsize=977804 CPUtime=1182.32 cores=1,3,5,7
/proc/7316/task/7319/stat : 7319 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 144354 0 0 0 118173 59 0 0 25 0 4 0 632408175 1001271296 148942 33554432000 4194304 4650419 140734459329536 18446744073709551615 4438661 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4715.28
Current children cumulated vsize (KiB) 977804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.42 8.20 8.11 9/371 7364
/proc/meminfo: memFree=28324136/32951124 swapFree=51873460/67111528
[pid=7316] ppid=7314 vsize=978480 CPUtime=4800.26 cores=1,3,5,7
/proc/7316/stat : 7316 (strangenight1-m) R 7314 7316 7181 0 -1 4202496 950877 0 0 0 479723 303 0 0 25 0 4 0 632408175 1001963520 155214 33554432000 4194304 4650419 140734459329536 18446744073709551615 4313311 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7316/statm: 244620 155214 393 112 0 239585 0
[pid=7316/tid=7317] ppid=7314 vsize=978480 CPUtime=1203.61 cores=1,3,5,7
/proc/7316/task/7317/stat : 7317 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 319041 0 0 0 120257 104 0 0 25 0 4 0 632408175 1001963520 155217 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7316/tid=7318] ppid=7314 vsize=978480 CPUtime=1203.62 cores=1,3,5,7
/proc/7316/task/7318/stat : 7318 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 233592 0 0 0 120303 59 0 0 25 0 4 0 632408175 1001963520 155217 33554432000 4194304 4650419 140734459329536 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7316/tid=7319] ppid=7314 vsize=978480 CPUtime=1203.63 cores=1,3,5,7
/proc/7316/task/7319/stat : 7319 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 144354 0 0 0 120304 59 0 0 25 0 4 0 632408175 1001963520 155217 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 978480

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

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

[startup+1203.6 s]
/proc/loadavg: 8.42 8.20 8.11 9/371 7364
/proc/meminfo: memFree=28324136/32951124 swapFree=51873460/67111528
[pid=7316] ppid=7314 vsize=978480 CPUtime=4800.26 cores=1,3,5,7
/proc/7316/stat : 7316 (strangenight1-m) R 7314 7316 7181 0 -1 4202496 950877 0 0 0 479723 303 0 0 25 0 4 0 632408175 1001963520 155214 33554432000 4194304 4650419 140734459329536 18446744073709551615 4313311 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7316/statm: 244620 155214 393 112 0 239585 0
[pid=7316/tid=7317] ppid=7314 vsize=978480 CPUtime=1203.61 cores=1,3,5,7
/proc/7316/task/7317/stat : 7317 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 319041 0 0 0 120257 104 0 0 25 0 4 0 632408175 1001963520 155217 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7316/tid=7318] ppid=7314 vsize=978480 CPUtime=1203.62 cores=1,3,5,7
/proc/7316/task/7318/stat : 7318 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 233592 0 0 0 120303 59 0 0 25 0 4 0 632408175 1001963520 155217 33554432000 4194304 4650419 140734459329536 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7316/tid=7319] ppid=7314 vsize=978480 CPUtime=1203.63 cores=1,3,5,7
/proc/7316/task/7319/stat : 7319 (strangenight1-m) R 7314 7316 7181 0 -1 4202560 144354 0 0 0 120304 59 0 0 25 0 4 0 632408175 1001963520 155217 33554432000 4194304 4650419 140734459329536 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 978480

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.65
CPU time (s): 4800.34
CPU user time (s): 4797.28
CPU system time (s): 3.06153
CPU usage (%): 398.817
Max. virtual memory (cumulated for all children) (KiB): 990644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.28
system time used= 3.06153
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 950881
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= 2233
involuntary context switches= 22473

runsolver used 3.70144 second user time and 10.5474 second system time

The end

Launcher Data 

Begin job on node146 at 2011-05-14 21:05:19
IDJOB=3368660
IDBENCH=82669
IDSOLVER=1846
FILE ID=node146/3368660-1305399919
RUNJOBID= node146-1305398713-7200
PBS_JOBID= 13324493
Free space on /tmp= 73272 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/large/unif-k7-r85-v400-c34000-S586055573-067-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368660-1305399919/watcher-3368660-1305399919 -o /tmp/evaluation-result-3368660-1305399919/solver-3368660-1305399919 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368660-1305399919.cnf

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

MD5SUM BENCH= d673a60901b4a946b283fdbb02f99fdc
RANDOM SEED=368165733

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30344744 kB
Buffers:         48036 kB
Cached:          92860 kB
SwapCached:      56048 kB
Active:         705704 kB
Inactive:      1679536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30344744 kB
SwapTotal:    67111528 kB
SwapFree:     51873460 kB
Dirty:            7360 kB
Writeback:          48 kB
AnonPages:     2195540 kB
Mapped:          17036 kB
Slab:            96340 kB
PageTables:      58664 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 81759096 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= 73256 MiB
End job on node146 at 2011-05-14 21:25:25