Trace number 3368613

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.44 1203.18

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v35000-c147000-S1886449473-022-UNKNOWN.cnf
MD5SUM48acd8df0141c3f57a132eb6d7253d5f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark130.328
Satisfiable
(Un)Satisfiability was proved
Number of variables35000
Number of clauses147000
Sum of the clauses size441000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3147000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3368613-1305398620.cnf'
0.00/0.00	c -- header says num vars:          35000
0.00/0.00	c -- header says num clauses:      147000
0.35/0.41	c -- clauses added:            0 learnts,       147000 normals,            0 xors
0.35/0.41	c -- vars added      35000
0.35/0.41	c Parsing time:  0.57 s
0.35/0.41	c  N st     0         0     35000    147000         0         0    441000         0   no data   no data  --
0.35/0.41	c asymm  cl-useful: 0/147000/147000 lits-rem:0 time: 0.43
0.35/0.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.36
1.58/0.58	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1.58/0.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
1.58/0.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  35000 time:  0.05 s
1.58/0.58	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.06 s
1.58/1.01	c lits-rem:         0  cl-subs:        0  v-elim:   1026  v-fix:    0  time:  1.49 s
1.58/1.01	c Finding binary XORs  T:     0.03 s  found:       0
1.58/1.04	c Finding non-binary XORs:     0.31 s (found:       0, avg size: nan)
1.58/1.04	c calculated reachability. Time: 0.00
1.58/1.05	c Calc default polars -  time:   0.05 s pos:   15581 undec:    3930 neg:   15489
1.58/1.05	c =========================================================================================
1.58/1.05	c types(t): F = full restart, N = normal restart
1.58/1.05	c types(t): S = simplification begin/end, E = solution found
1.58/1.05	c restart types(rt): st = static, dy = dynamic
1.58/1.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.58/1.05	c  B st     0         0     33974    145315         0         0    441645         0   no data   no data  --
10.28/2.63	c  N dy    18      4062     33974    145315         0      4062    441645   1121164    156.71    165.16  --
16.27/4.18	c  N dy    47      8080     33974    145315         0      8079    441645   2097121    159.87    168.35  --
23.05/5.81	c  N dy    75     12178     33974    145315         0     12177    441645   3122759    162.82    172.71  --
29.44/7.46	c  N dy   106     16208     33974    145315         0     16207    441645   4157071    165.12    190.33  --
36.62/9.21	c  N dy   137     20294     33974    145315         0     10294    441645    726425    165.76    175.27  --
43.03/10.86	c  N dy   166     24331     33974    145315         0     14330    441645   1766456    166.59    203.77  --
44.20/11.13	c  F st   171     25003     33974    145315         0     15002    441645   1941154    166.71    156.91  --
52.98/13.38	c  N dy   177     30001     33974    145315         0     20000    441645   3615958    166.71   no data  --
52.98/13.38	c  S st   177     30001     33974    145315         0     20000    441645   3615958    166.71   no data  --
53.77/13.60	c  S st   177     30502     33974    145315         0     20501    441645   3715347    166.71   no data  --
54.17/13.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
54.17/13.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
54.97/13.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.88
56.96/14.33	c bin-w-bin subsume rem            0 bins  time:  0.04 s
56.96/14.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
56.96/14.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.05 s
56.96/14.36	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.06 s
95.70/24.08	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 38.57 s
96.46/24.26	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 0.72
96.46/24.27	c calculated reachability. Time: 0.01
96.46/24.27	c  N dy   177     30502     33974    145315         0     20497    441645   3714319    166.71   no data  --
104.05/26.16	c  N dy   204     34591     33974    145315         0     24586    441645   4756177    166.78    182.77  --
111.62/28.06	c  N dy   230     38681     33974    145315         0     28676    441645   5767643    166.11    177.35  --
119.61/30.09	c  N dy   262     42815     33974    145315         0     17311    441645   1249544    167.08    175.98  --
125.19/31.45	c  S st   281     45754     33974    145315         0     20250    441645   1979185    166.75    189.78  --
125.99/31.68	c  S st   281     46257     33974    145315         0     20753    441645   2062986    166.75   no data  --
125.99/31.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
125.99/31.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
127.18/31.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.90
127.98/32.15	c bin-w-bin subsume rem            0 bins  time:  0.04 s
127.98/32.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
127.98/32.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.05 s
127.98/32.19	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.07 s
149.12/37.41	c lits-rem:         2  cl-subs:        3  v-elim:      0  v-fix:    0  time: 20.76 s
149.12/37.43	c vivif2 --  cl tried   145315 cl shrink        0 lits rem          0 time: 0.08
149.12/37.46	c vivif2 --  cl tried    20750 cl shrink        0 lits rem          0 time: 0.13
149.92/37.64	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 0.70
149.92/37.65	c calculated reachability. Time: 0.01
149.92/37.65	c  N dy   281     46257     33974    145315         0     20750    441645   2062341    166.75   no data  --
157.55/39.57	c  N dy   309     50486     33974    145315         0     24979    441645   3168906    167.25    183.42  --
164.70/41.39	c  N dy   335     54527     33974    145315         0     29020    441645   4173560    167.05    191.84  --
172.27/43.28	c  N dy   362     58572     33974    145315         0     33065    441645   5215779    167.16    176.58  --
179.84/45.18	c  N dy   389     62630     33974    145315         0     37123    441645   6252747    167.07    178.74  --
187.86/47.16	c  N dy   420     66910     33974    145315         0     22658    441645   1786849    167.46    179.18  --
192.24/48.28	c  S st   437     69386     33974    145315         0     25134    441645   2413886    167.29   no data  --
193.42/48.52	c  S st   437     69890     33974    145315         0     25638    441645   2504861    167.29   no data  --
193.42/48.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
193.42/48.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
194.21/48.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.92
195.41/49.02	c bin-w-bin subsume rem            0 bins  time:  0.04 s
195.41/49.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
195.41/49.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.05 s
195.41/49.06	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.07 s
222.98/56.00	c lits-rem:         2  cl-subs:        1  v-elim:      0  v-fix:    0  time: 27.63 s
223.39/56.02	c vivif2 --  cl tried   145315 cl shrink        0 lits rem          0 time: 0.08
223.39/56.06	c vivif2 --  cl tried    25637 cl shrink        0 lits rem          0 time: 0.17
224.14/56.25	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 0.74
224.14/56.26	c calculated reachability. Time: 0.00
224.14/56.26	c  N dy   437     69890     33974    145315         0     25637    441645   2504781    167.29   no data  --
232.51/58.31	c  N dy   466     74411     33974    145315         0     30158    441645   3619306    167.10    176.17  --
241.69/60.65	c  N dy   500     79355     33974    145315         0     35102    441645   4901048    167.21    176.66  --
251.67/63.14	c  N dy   536     84510     33974    145315         0     40256    441645   6241167    167.45    185.15  --
257.26/64.56	c  F st   556     87500     33974    145315         0     22373    441645   1087074    167.33   no data  --
264.04/66.22	c  N st   561     90798     33974    145315         0     25670    441645   2328334    167.33   no data  --
275.64/69.12	c  N dy   589     96766     33974    145315         0     31637    441645   4172382    167.30    176.42  --
287.58/72.17	c  N dy   630    102983     33974    145315         0     37854    441645   5731782    167.03    177.72  --
291.18/73.06	c  S st   643    104835     33974    145315         0     39705    441645   6218525    167.15   no data  --
292.37/73.31	c  S st   643    105337     33974    145315         0     40207    441645   6312671    167.15   no data  --
292.37/73.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
292.37/73.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
293.19/73.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.96
295.56/74.14	c bin-w-bin subsume rem            0 bins  time:  0.04 s
295.56/74.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
295.56/74.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.05 s
295.56/74.18	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.07 s
610.38/153.08	c lits-rem:         0  cl-subs:       10  v-elim:      0  v-fix:    0  time: 314.17 s
610.78/153.10	c vivif2 --  cl tried   145315 cl shrink        0 lits rem          0 time: 0.08
611.18/153.21	c vivif2 --  cl tried    40197 cl shrink        0 lits rem          0 time: 0.41
611.97/153.42	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 0.87
611.97/153.44	c calculated reachability. Time: 0.01
611.97/153.44	c  N dy   643    105337     33974    145315         0     40197    441645   6303740    167.15   no data  --
624.75/156.66	c  N dy   688    112133     33974    145315         0     24558    441645   1215198    167.36    178.91  --
637.91/159.95	c  N dy   734    119329     33974    145315         0     31754    441645   3047559    167.38    185.33  --
653.10/163.78	c  N dy   789    127119     33974    145315         0     39543    441645   5067177    167.71    178.08  --
670.23/168.01	c  N dy   850    135315     33974    145315         0     24019    441645    714565    167.89    176.97  --
686.19/172.03	c  N dy   909    144001     33974    145315         0     32705    441645   2951782    167.91    177.03  --
703.75/176.46	c  N dy   976    153189     33974    145315         0     41893    441645   5333879    168.10    180.11  --
712.92/178.79	c  S st  1004    158005     33974    145315         0     46709    441645   6537744    167.83   no data  --
714.12/179.06	c  S st  1004    158510     33974    145315         0     47214    441645   6641086    167.83   no data  --
714.12/179.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
714.12/179.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
715.31/179.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  1.00
717.72/179.91	c bin-w-bin subsume rem            0 bins  time:  0.04 s
717.72/179.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
717.72/179.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.05 s
717.72/179.95	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.07 s
1087.61/272.63	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 369.14 s
1087.61/272.65	c vivif2 --  cl tried   145315 cl shrink        0 lits rem          0 time: 0.08
1088.02/272.77	c vivif2 --  cl tried    47210 cl shrink        0 lits rem          0 time: 0.44
1089.18/273.00	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 0.95
1089.18/273.01	c calculated reachability. Time: 0.00
1089.18/273.01	c  N dy  1004    158510     33974    145315         0     47210    441645   6639855    167.83   no data  --
1107.93/277.72	c  N dy  1069    168675     33974    145315         0     32516    441645   2494826    167.69    231.80  --
1128.27/282.88	c  N dy  1141    179514     33974    145315         0     43354    441645   5377040    167.82    177.75  --
1150.63/288.49	c  N dy  1227    190979     33974    145315         0     28890    441645   1359435    168.06    177.51  --
1173.37/294.11	c  N dy  1303    203188     33974    145315         0     41097    441645   4461055    168.04    183.45  --
1199.70/300.71	c  N dy  1391    216197     33974    145315         0     27143    441645    591253    167.96    177.00  --
1226.03/307.39	c  N dy  1494    229995     33974    145315         0     40939    441645   4198274    168.38    184.16  --
1242.00/311.34	c  S st  1552    237765     33974    145315         0     48709    441645   6218479    168.52    160.81  --
1243.19/311.61	c  S st  1552    238267     33974    145315         0     49211    441645   6327284    168.52   no data  --
1243.19/311.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
1243.19/311.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1244.40/311.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  1.02
1246.03/312.39	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1246.38/312.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
1246.38/312.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.05 s
1246.38/312.43	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.07 s
1601.55/401.46	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time: 353.65 s
1601.55/401.48	c vivif2 --  cl tried   145315 cl shrink        0 lits rem          0 time: 0.08
1601.90/401.59	c vivif2 --  cl tried    49209 cl shrink        0 lits rem          0 time: 0.45
1603.10/401.84	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 1.00
1603.10/401.85	c calculated reachability. Time: 0.01
1603.10/401.85	c  N dy  1552    238267     33974    145315         0     49209    441645   6324971    168.52   no data  --
1635.03/409.81	c  N dy  1660    253552     33974    145315         0     36517    441645   2750249    168.47    178.44  --
1668.94/418.30	c  N dy  1768    269812     33974    145315         0     52776    441645   6932955    168.38    239.15  --
1704.86/427.31	c  N dy  1889    287127     33974    145315         0     41102    441645   3665872    168.47    180.56  --
1744.35/437.21	c  N dy  2013    305546     33974    145315         0     59519    441645   8412731    168.53    180.86  --
1745.98/437.66	c  F st  2019    306251     33974    145315         0     30231    441645    563493    168.53   no data  --
1785.89/447.65	c  N dy  2114    325417     33974    145315         0     49397    441645   6202991    168.51    178.02  --
1827.75/458.11	c  N dy  2256    345542     33974    145315         0     38522    441645   2466451    168.58    181.37  --
1852.08/464.23	c  S st  2343    357403     33974    145315         0     50381    441645   5612095    168.74   no data  --
1852.88/464.49	c  S st  2343    357903     33974    145315         0     50881    441645   5700797    168.74   no data  --
1853.28/464.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
1853.28/464.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1854.08/464.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  1.03
1856.11/465.22	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1856.11/465.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
1856.11/465.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.06 s
1856.11/465.26	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.07 s
2150.95/539.14	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time: 294.11 s
2150.95/539.17	c vivif2 --  cl tried   145315 cl shrink        0 lits rem          0 time: 0.09
2151.35/539.27	c vivif2 --  cl tried    50878 cl shrink        0 lits rem          0 time: 0.40
2152.54/539.52	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 1.02
2152.54/539.54	c calculated reachability. Time: 0.01
2152.54/539.54	c  N dy  2343    357903     33974    145315         0     50878    441645   5700282    168.74   no data  --
2195.23/550.26	c  N dy  2478    377930     33974    145315         0     38919    441645   2319144    168.72    179.22  --
2239.13/561.23	c  N dy  2622    397983     33974    145315         0     58972    441645   7645626    168.94    184.28  --
2281.02/571.71	c  N dy  2761    418004     33974    145315         0     45990    441645   3877585    168.94    178.81  --
2323.31/582.35	c  N dy  2900    438073     33974    145315         0     66058    441645   9130667    169.05    215.22  --
2363.62/592.47	c  N dy  3031    458111     33974    145315         0     52099    441645   5197098    169.01    179.28  --
2406.31/603.16	c  N dy  3169    478286     33974    145315         0     37272    441645   1074535    169.08    182.04  --
2445.81/613.06	c  N dy  3304    498385     33974    145315         0     57369    441645   6265807    169.08    213.20  --
2487.73/623.51	c  N dy  3443    518392     33974    145315         0     41378    441645   1897222    169.16    225.04  --
2525.22/632.91	c  S st  3564    536857     33974    145315         0     59842    441645   6567487    169.04    157.84  --
2526.02/633.20	c  S st  3564    537362     33974    145315         0     60347    441645   6661519    169.04   no data  --
2526.42/633.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
2526.42/633.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2527.24/633.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  1.05
2529.21/633.98	c bin-w-bin subsume rem            0 bins  time:  0.04 s
2529.21/634.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
2529.60/634.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.05 s
2529.60/634.03	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.07 s
2923.41/732.75	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 392.53 s
2923.41/732.77	c vivif2 --  cl tried   145315 cl shrink        0 lits rem          0 time: 0.08
2923.81/732.88	c vivif2 --  cl tried    60344 cl shrink        0 lits rem          0 time: 0.46
2925.02/733.15	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 1.07
2925.02/733.16	c calculated reachability. Time: 0.01
2925.02/733.16	c  N dy  3564    537362     33974    145315         0     60344    441645   6661098    169.04   no data  --
2966.91/743.61	c  N dy  3708    557404     33974    145315         0     43385    441645   2162789    169.10    186.06  --
3007.61/753.80	c  N dy  3844    577503     33974    145315         0     63483    441645   7412880    169.20    181.10  --
3049.11/764.20	c  N dy  3980    597562     33974    145315         0     45542    441645   2415807    169.22    180.49  --
3089.79/774.47	c  N dy  4112    617635     33974    145315         0     65615    441645   7589668    169.20    195.75  --
3131.69/784.91	c  N dy  4250    637731     33974    145315         0     46714    441645   2473659    169.18    178.17  --
3172.83/795.23	c  N dy  4384    657790     33974    145315         0     66770    441645   7568859    169.16    189.99  --
3215.48/805.90	c  N dy  4518    677859     33974    145315         0     46836    441645   2241003    169.16    179.05  --
3256.21/816.15	c  N dy  4653    697933     33974    145315         0     66908    441645   7461445    169.18    180.52  --
3299.27/826.97	c  N dy  4791    718062     33974    145315         0     46042    441645   1838966    169.22    194.23  --
3340.35/837.24	c  N dy  4928    738105     33974    145315         0     66085    441645   7120142    169.30    197.09  --
3384.64/848.31	c  N dy  5054    758182     33974    145315         0     44168    441645   1062019    169.30    182.06  --
3426.15/858.78	c  N dy  5191    778224     33974    145315         0     64208    441645   6280054    169.35    179.96  --
3472.02/870.25	c  N dy  5337    798248     33974    145315         0     84231    441645  11548193    169.45    185.56  --
3488.41/874.39	c  S st  5389    806045     33974    145315         0     49028    441645   2057764    169.47    175.68  --
3489.58/874.66	c  S st  5389    806549     33974    145315         0     49532    441645   2153579    169.47   no data  --
3489.58/874.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
3489.58/874.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3490.78/874.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  1.01
3491.58/875.13	c bin-w-bin subsume rem            0 bins  time:  0.04 s
3491.58/875.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
3491.58/875.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.05 s
3491.58/875.17	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.07 s
3516.72/881.49	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time: 25.15 s
3517.12/881.52	c vivif2 --  cl tried   145315 cl shrink        0 lits rem          0 time: 0.08
3517.12/881.56	c vivif2 --  cl tried    49531 cl shrink        0 lits rem          0 time: 0.16
3518.32/881.80	c asymm  cl-useful: 0/145315/145315 lits-rem:0 time: 0.99
3518.32/881.81	c calculated reachability. Time: 0.01
3518.32/881.82	c  N dy  5389    806549     33974    145315         0     49531    441645   2153407    169.47   no data  --
3562.21/892.84	c  N dy  5528    826644     33974    145315         0     69625    441645   7375875    169.50    183.02  --
3609.68/904.71	c  N dy  5667    846647     33974    145315         0     45623    441645    942590    169.55    184.28  --
3653.58/915.75	c  N dy  5806    866809     33974    145315         0     65785    441645   6261811    169.59    182.62  --
3701.86/927.85	c  N dy  5942    886843     33974    145315         0     85818    441645  11549932    169.65    180.76  --
3746.54/939.03	c  N dy  6075    906904     33974    145315         0     60886    441645   4608954    169.65    207.48  --
3793.23/950.70	c  N dy  6207    926984     33974    145315         0     80964    441645   9835736    169.71    181.07  --
3840.31/962.59	c  N dy  6343    947059     33974    145315         0     55038    441645   2886260    169.72    182.32  --
3886.60/974.18	c  N dy  6485    967135     33974    145315         0     75114    441645   8135807    169.76    178.96  --
3934.08/986.07	c  N dy  6614    987173     33974    145315         0     48148    441645    809663    169.73    187.00  --
3977.17/996.84	c  N dy  6750   1007275     33974    145315         0     68249    441645   6078595    169.75    186.86  --
4023.89/1008.56	c  N dy  6890   1027299     33974    145315         0     88272    441645  11306844    169.76    187.24  --
4069.35/1019.95	c  N dy  7034   1047371     33974    145315         0     60346    441645   3736124    169.82    184.23  --
4115.63/1031.56	c  N dy  7178   1067679     33974    145315         0     80653    441645   9114871    169.90    185.62  --
4126.01/1034.10	c  F st  7209   1071877     33974    145315         0     84851    441645  10211074    169.90   no data  --
4164.33/1043.78	c  N dy  7283   1087999     33974    145315         0     51979    441645   1321448    169.91    183.93  --
4209.39/1055.02	c  N dy  7434   1108226     33974    145315         0     72204    441645   6800872    170.05    180.26  --
4256.50/1066.86	c  N dy  7569   1128258     33974    145315         0     92235    441645  12048498    170.05    182.25  --
4302.35/1078.31	c  N dy  7705   1148442     33974    145315         0     62421    441645   3705908    170.05    184.79  --
4348.24/1089.81	c  N dy  7851   1168530     33974    145315         0     82507    441645   8929906    170.06    191.68  --
4397.70/1102.22	c  N dy  7989   1188535     33974    145315         0     51512    441645    657521    170.09    189.36  --
4441.25/1113.14	c  N dy  8131   1208563     33974    145315         0     71535    441645   5957395    170.15    180.84  --
4444.00/1113.84	c  S st  8140   1209824     33974    145315         0     72795    441645   6286310    170.15   no data  --
4445.23/1114.15	c  S st  8140   1210328     33974    145315         0     73299    441645   6374635    170.15   no data  --
4445.23/1114.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
4445.23/1114.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4446.39/1114.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  1.13
4448.39/1114.97	c bin-w-bin subsume rem            0 bins  time:  0.05 s
4448.39/1114.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.05 s
4448.79/1115.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  33974 time:  0.05 s
4448.79/1115.02	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.07 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-3368613-1305398620/watcher-3368613-1305398620 -o /tmp/evaluation-result-3368613-1305398620/solver-3368613-1305398620 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368613-1305398620.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.08 8.04 6.80 6/320 7382
/proc/meminfo: memFree=11142312/32951124 swapFree=67093864/67111528
[pid=7382] ppid=7380 vsize=250444 CPUtime=0 cores=1,3,5,7
/proc/7382/stat : 7382 (strangenight1-m) R 7380 7382 7247 0 -1 4202496 2249 0 0 0 0 0 0 0 25 0 4 0 651464428 256454656 2134 33554432000 4194304 4650419 140736567334384 18446744073709551615 4317116 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7382/statm: 62578 2110 340 112 0 57543 0
[pid=7382/tid=7383] ppid=7380 vsize=256724 CPUtime=0 cores=1,3,5,7
/proc/7382/task/7383/stat : 7383 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 1073 0 0 0 0 0 0 0 25 0 4 0 651464428 262885376 4035 33554432000 4194304 4650419 140736567334384 18446744073709551615 4361571 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7382/tid=7384] ppid=7380 vsize=256936 CPUtime=0 cores=1,3,5,7
/proc/7382/task/7384/stat : 7384 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 1369 0 0 0 0 0 0 0 25 0 4 0 651464428 263102464 4050 33554432000 4194304 4650419 140736567334384 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7382/tid=7385] ppid=7380 vsize=256936 CPUtime=0 cores=1,3,5,7
/proc/7382/task/7385/stat : 7385 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 1263 0 0 0 0 0 0 0 25 0 4 0 651464428 263102464 4064 33554432000 4194304 4650419 140736567334384 18446744073709551615 212435714151 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0907079 s]
/proc/loadavg: 8.08 8.04 6.80 6/320 7382
/proc/meminfo: memFree=11142312/32951124 swapFree=67093864/67111528
[pid=7382] ppid=7380 vsize=313980 CPUtime=0.31 cores=1,3,5,7
/proc/7382/stat : 7382 (strangenight1-m) R 7380 7382 7247 0 -1 4202496 20647 0 0 0 25 6 0 0 18 0 4 0 651464428 321515520 16545 33554432000 4194304 4650419 140736567334384 18446744073709551615 212435678241 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7382/statm: 78495 16573 344 112 0 73460 0
[pid=7382/tid=7383] ppid=7380 vsize=313980 CPUtime=0.07 cores=1,3,5,7
/proc/7382/task/7383/stat : 7383 (strangenight1-m) S 7380 7382 7247 0 -1 4202560 5749 0 0 0 6 1 0 0 17 0 4 0 651464428 321515520 16585 33554432000 4194304 4650419 140736567334384 18446744073709551615 212436122094 0 0 4096 2 18446604471127825472 0 0 -1 7 0 0 0
[pid=7382/tid=7384] ppid=7380 vsize=313980 CPUtime=0.07 cores=1,3,5,7
/proc/7382/task/7384/stat : 7384 (strangenight1-m) S 7380 7382 7247 0 -1 4202560 4536 0 0 0 6 1 0 0 18 0 4 0 651464428 321515520 16585 33554432000 4194304 4650419 140736567334384 18446744073709551615 212436122094 0 0 4096 2 18446604471127825472 0 0 -1 3 0 0 0
[pid=7382/tid=7385] ppid=7380 vsize=314596 CPUtime=0.07 cores=1,3,5,7
/proc/7382/task/7385/stat : 7385 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 5120 0 0 0 6 1 0 0 18 0 4 0 651464428 322146304 16591 33554432000 4194304 4650419 140736567334384 18446744073709551615 212435714256 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 313980

[startup+0.102739 s]
/proc/loadavg: 8.08 8.04 6.80 6/320 7382
/proc/meminfo: memFree=11142312/32951124 swapFree=67093864/67111528
[pid=7382] ppid=7380 vsize=381212 CPUtime=0.35 cores=1,3,5,7
/proc/7382/stat : 7382 (strangenight1-m) R 7380 7382 7247 0 -1 4202496 21597 0 0 0 28 7 0 0 17 0 4 0 651464428 390361088 17495 33554432000 4194304 4650419 140736567334384 18446744073709551615 4373800 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7382/statm: 95303 17527 344 112 0 90268 0
[pid=7382/tid=7383] ppid=7380 vsize=381212 CPUtime=0.07 cores=1,3,5,7
/proc/7382/task/7383/stat : 7383 (strangenight1-m) S 7380 7382 7247 0 -1 4202560 5848 0 0 0 6 1 0 0 17 0 4 0 651464428 390361088 17554 33554432000 4194304 4650419 140736567334384 18446744073709551615 212436122094 0 0 4096 2 18446604471127825472 0 0 -1 7 0 0 0
[pid=7382/tid=7384] ppid=7380 vsize=381212 CPUtime=0.08 cores=1,3,5,7
/proc/7382/task/7384/stat : 7384 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 4925 0 0 0 7 1 0 0 18 0 4 0 651464428 390361088 17585 33554432000 4194304 4650419 140736567334384 18446744073709551615 212436122143 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7382/tid=7385] ppid=7380 vsize=381212 CPUtime=0.09 cores=1,3,5,7
/proc/7382/task/7385/stat : 7385 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 5508 0 0 0 8 1 0 0 18 0 4 0 651464428 390361088 17607 33554432000 4194304 4650419 140736567334384 18446744073709551615 4545898 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 381212

[startup+0.308001 s]
/proc/loadavg: 8.08 8.04 6.80 6/320 7382
/proc/meminfo: memFree=11142312/32951124 swapFree=67093864/67111528
[pid=7382] ppid=7380 vsize=403384 CPUtime=1.58 cores=1,3,5,7
/proc/7382/stat : 7382 (strangenight1-m) R 7380 7382 7247 0 -1 4202496 33892 0 0 0 144 14 0 0 18 0 4 0 651464428 413065216 27202 33554432000 4194304 4650419 140736567334384 18446744073709551615 4426530 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7382/statm: 101006 28384 377 112 0 95971 0
[pid=7382/tid=7383] ppid=7380 vsize=404984 CPUtime=0.4 cores=1,3,5,7
/proc/7382/task/7383/stat : 7383 (strangenight1-m) D 7380 7382 7247 0 -1 4202560 10244 0 0 0 36 4 0 0 18 0 4 0 651464428 414703616 29501 33554432000 4194304 4650419 140736567334384 18446744073709551615 4427009 0 0 4096 2 18446604471127825472 0 0 -1 7 0 0 0
[pid=7382/tid=7384] ppid=7380 vsize=404984 CPUtime=0.42 cores=1,3,5,7
/proc/7382/task/7384/stat : 7384 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 9203 0 0 0 39 3 0 0 18 0 4 0 651464428 414703616 29505 33554432000 4194304 4650419 140736567334384 18446744073709551615 212435678241 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7382/tid=7385] ppid=7380 vsize=406680 CPUtime=0.42 cores=1,3,5,7
/proc/7382/task/7385/stat : 7385 (strangenight1-m) S 7380 7382 7247 0 -1 4202560 6663 0 0 0 40 2 0 0 18 0 4 0 651464428 416440320 29750 33554432000 4194304 4650419 140736567334384 18446744073709551615 212436122094 0 0 4096 2 18446604471127825472 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 403384

[startup+0.753422 s]
/proc/loadavg: 8.08 8.04 6.80 6/320 7382
/proc/meminfo: memFree=11142312/32951124 swapFree=67093864/67111528
[pid=7382] ppid=7380 vsize=416616 CPUtime=3.49 cores=1,3,5,7
/proc/7382/stat : 7382 (strangenight1-m) R 7380 7382 7247 0 -1 4202496 52019 0 0 0 331 18 0 0 18 0 4 0 651464428 426614784 42222 33554432000 4194304 4650419 140736567334384 18446744073709551615 212436122143 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7382/statm: 104154 43223 391 112 0 99119 0
[pid=7382/tid=7383] ppid=7380 vsize=416616 CPUtime=1.29 cores=1,3,5,7
/proc/7382/task/7383/stat : 7383 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 15568 0 0 0 124 5 0 0 19 0 4 0 651464428 426614784 43223 33554432000 4194304 4650419 140736567334384 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7382/tid=7384] ppid=7380 vsize=416616 CPUtime=1.3 cores=1,3,5,7
/proc/7382/task/7384/stat : 7384 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 14532 0 0 0 126 4 0 0 19 0 4 0 651464428 426614784 43224 33554432000 4194304 4650419 140736567334384 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7382/tid=7385] ppid=7380 vsize=416616 CPUtime=1.3 cores=1,3,5,7
/proc/7382/task/7385/stat : 7385 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 7201 0 0 0 128 2 0 0 19 0 4 0 651464428 426614784 43224 33554432000 4194304 4650419 140736567334384 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 416616

[startup+1.52944 s]
/proc/loadavg: 8.08 8.04 6.80 6/320 7382
/proc/meminfo: memFree=11142312/32951124 swapFree=67093864/67111528
[pid=7382] ppid=7380 vsize=416616 CPUtime=6.01 cores=1,3,5,7
/proc/7382/stat : 7382 (strangenight1-m) R 7380 7382 7247 0 -1 4202496 54204 0 0 0 582 19 0 0 19 0 4 0 651464428 426614784 43872 33554432000 4194304 4650419 140736567334384 18446744073709551615 4364301 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7382/statm: 104154 43872 391 112 0 99119 0
[pid=7382/tid=7383] ppid=7380 vsize=416616 CPUtime=1.49 cores=1,3,5,7
/proc/7382/task/7383/stat : 7383 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 15757 0 0 0 144 5 0 0 19 0 4 0 651464428 426614784 43872 33554432000 4194304 4650419 140736567334384 18446744073709551615 4314709 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7382/tid=7384] ppid=7380 vsize=416616 CPUtime=1.5 cores=1,3,5,7
/proc/7382/task/7384/stat : 7384 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 14698 0 0 0 146 4 0 0 19 0 4 0 651464428 426614784 43872 33554432000 4194304 4650419 140736567334384 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7382/tid=7385] ppid=7380 vsize=416616 CPUtime=1.5 cores=1,3,5,7
/proc/7382/task/7385/stat : 7385 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 7325 0 0 0 148 2 0 0 19 0 4 0 651464428 426614784 43872 33554432000 4194304 4650419 140736567334384 18446744073709551615 4364573 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 416616

[startup+3.10114 s]
/proc/loadavg: 8.16 8.05 6.81 9/324 7386
/proc/meminfo: memFree=10877416/32951124 swapFree=67093864/67111528
[pid=7382] ppid=7380 vsize=449436 CPUtime=12.31 cores=1,3,5,7
/proc/7382/stat : 7382 (strangenight1-m) R 7380 7382 7247 0 -1 4202496 58489 0 0 0 1211 20 0 0 22 0 4 0 651464428 460222464 48157 33554432000 4194304 4650419 140736567334384 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7382/statm: 112359 48157 391 112 0 107324 0
[pid=7382/tid=7383] ppid=7380 vsize=449436 CPUtime=3.05 cores=1,3,5,7
/proc/7382/task/7383/stat : 7383 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 16881 0 0 0 300 5 0 0 22 0 4 0 651464428 460222464 48165 33554432000 4194304 4650419 140736567334384 18446744073709551615 4310770 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7382/tid=7384] ppid=7380 vsize=449436 CPUtime=3.09 cores=1,3,5,7
/proc/7382/task/7384/stat : 7384 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 15756 0 0 0 304 5 0 0 22 0 4 0 651464428 460222464 48165 33554432000 4194304 4650419 140736567334384 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7382/tid=7385] ppid=7380 vsize=449436 CPUtime=3.09 cores=1,3,5,7
/proc/7382/task/7385/stat : 7385 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 8376 0 0 0 306 3 0 0 24 0 4 0 651464428 460222464 48165 33554432000 4194304 4650419 140736567334384 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 449436

[startup+6.30054 s]
/proc/loadavg: 8.14 8.05 6.82 9/324 7386
/proc/meminfo: memFree=10827692/32951124 swapFree=67093864/67111528
[pid=7382] ppid=7380 vsize=597504 CPUtime=25.05 cores=1,3,5,7
/proc/7382/stat : 7382 (strangenight1-m) R 7380 7382 7247 0 -1 4202496 66479 0 0 0 2482 23 0 0 25 0 4 0 651464428 611844096 56147 33554432000 4194304 4650419 140736567334384 18446744073709551615 4333611 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7382/statm: 149376 56148 391 112 0 144341 0
[pid=7382/tid=7383] ppid=7380 vsize=597504 CPUtime=6.22 cores=1,3,5,7
/proc/7382/task/7383/stat : 7383 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 18837 0 0 0 616 6 0 0 25 0 4 0 651464428 611844096 56148 33554432000 4194304 4650419 140736567334384 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7382/tid=7384] ppid=7380 vsize=597504 CPUtime=6.27 cores=1,3,5,7
/proc/7382/task/7384/stat : 7384 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 17745 0 0 0 622 5 0 0 25 0 4 0 651464428 611844096 56148 33554432000 4194304 4650419 140736567334384 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7382/tid=7385] ppid=7380 vsize=597504 CPUtime=6.27 cores=1,3,5,7
/proc/7382/task/7385/stat : 7385 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 10440 0 0 0 624 3 0 0 25 0 4 0 651464428 611844096 56148 33554432000 4194304 4650419 140736567334384 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.05
Current children cumulated vsize (KiB) 597504

[startup+12.7003 s]
/proc/loadavg: 8.13 8.05 6.82 9/324 7386
/proc/meminfo: memFree=10756008/32951124 swapFree=67093864/67111528
[pid=7382] ppid=7380 vsize=687860 CPUtime=50.58 cores=1,3,5,7
/proc/7382/stat : 7382 (strangenight1-m) R 7380 7382 7247 0 -1 4202496 92012 0 0 0 5028 30 0 0 25 0 4 0 651464428 704368640 56628 33554432000 4194304 4650419 140736567334384 18446744073709551615 4316019 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7382/statm: 171965 56628 394 112 0 166930 0
[pid=7382/tid=7383] ppid=7380 vsize=687860 CPUtime=12.56 cores=1,3,5,7
/proc/7382/task/7383/stat : 7383 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 25372 0 0 0 1248 8 0 0 25 0 4 0 651464428 704368640 56628 33554432000 4194304 4650419 140736567334384 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7382/tid=7384] ppid=7380 vsize=687860 CPUtime=12.67 cores=1,3,5,7
/proc/7382/task/7384/stat : 7384 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 23528 0 0 0 1259 8 0 0 25 0 4 0 651464428 704368640 56628 33554432000 4194304 4650419 140736567334384 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7382/tid=7385] ppid=7380 vsize=687860 CPUtime=12.67 cores=1,3,5,7
/proc/7382/task/7385/stat : 7385 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 17389 0 0 0 1262 5 0 0 25 0 4 0 651464428 704368640 56628 33554432000 4194304 4650419 140736567334384 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 687860

[startup+25.5009 s]
/proc/loadavg: 8.18 8.06 6.85 9/324 7386
/proc/meminfo: memFree=10373456/32951124 swapFree=67093864/67111528
[pid=7382] ppid=7380 vsize=786016 CPUtime=101.65 cores=1,3,5,7
/proc/7382/stat : 7382 (strangenight1-m) R 7380 7382 7247 0 -1 4202496 186666 0 0 0 10110 55 0 0 25 0 4 0 651464428 804880384 131377 33554432000 4194304 4650419 140736567334384 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7382/statm: 196504 131377 395 112 0 191469 0
[pid=7382/tid=7383] ppid=7380 vsize=786016 CPUtime=25.22 cores=1,3,5,7
/proc/7382/task/7383/stat : 7383 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 55768 0 0 0 2507 15 0 0 25 0 4 0 651464428 804880384 131377 33554432000 4194304 4650419 140736567334384 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7382/tid=7384] ppid=7380 vsize=786016 CPUtime=25.47 cores=1,3,5,7
/proc/7382/task/7384/stat : 7384 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 38045 0 0 0 2535 12 0 0 25 0 4 0 651464428 804880384 131377 33554432000 4194304 4650419 140736567334384 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7382/tid=7385] ppid=7380 vsize=786016 CPUtime=25.47 cores=1,3,5,7
/proc/7382/task/7385/stat : 7385 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 44050 0 0 0 2535 12 0 0 25 0 4 0 651464428 804880384 131377 33554432000 4194304 4650419 140736567334384 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 786016

[startup+51.1011 s]
/proc/loadavg: 8.18 8.07 6.88 10/324 7387
/proc/meminfo: memFree=10226300/32951124 swapFree=67093864/67111528
[pid=7382] ppid=7380 vsize=888992 CPUtime=203.8 cores=1,3,5,7
/proc/7382/stat : 7382 (strangenight1-m) R 7380 7382 7247 0 -1 4202496 328691 0 0 0 20293 87 0 0 25 0 4 0 651464428 910327808 149701 33554432000 4194304 4650419 140736567334384 18446744073709551615 4443768 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7382/statm: 222248 149701 395 112 0 217213 0
[pid=7382/tid=7383] ppid=7380 vsize=888992 CPUtime=50.56 cores=1,3,5,7
/proc/7382/task/7383/stat : 7383 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 138816 0 0 0 5030 26 0 0 25 0 4 0 651464428 910327808 149701 33554432000 4194304 4650419 140736567334384 18446744073709551615 4476761 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7382/tid=7384] ppid=7380 vsize=888992 CPUtime=51.07 cores=1,3,5,7
/proc/7382/task/7384/stat : 7384 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 63926 0 0 0 5086 21 0 0 25 0 4 0 651464428 910327808 149701 33554432000 4194304 4650419 140736567334384 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7382/tid=7385] ppid=7380 vsize=888992 CPUtime=51.07 cores=1,3,5,7
/proc/7382/task/7385/stat : 7385 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 56789 0 0 0 5090 17 0 0 25 0 4 0 651464428 910327808 149701 33554432000 4194304 4650419 140736567334384 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 888992

[startup+102.3 s]
/proc/loadavg: 8.20 8.09 6.95 9/324 7388
/proc/meminfo: memFree=10094568/32951124 swapFree=67093864/67111528
[pid=7382] ppid=7380 vsize=1024932 CPUtime=408.07 cores=1,3,5,7
/proc/7382/stat : 7382 (strangenight1-m) R 7380 7382 7247 0 -1 4202496 485960 0 0 0 40679 128 0 0 25 0 4 0 651464428 1049530368 176161 33554432000 4194304 4650419 140736567334384 18446744073709551615 4476204 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7382/statm: 256233 176161 395 112 0 251198 0
[pid=7382/tid=7383] ppid=7380 vsize=1024932 CPUtime=101.25 cores=1,3,5,7
/proc/7382/task/7383/stat : 7383 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 214877 0 0 0 10087 38 0 0 25 0 4 0 651464428 1049530368 176161 33554432000 4194304 4650419 140736567334384 18446744073709551615 4364500 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7382/tid=7384] ppid=7380 vsize=1024932 CPUtime=102.27 cores=1,3,5,7
/proc/7382/task/7384/stat : 7384 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 87439 0 0 0 10196 31 0 0 25 0 4 0 651464428 1049530368 176161 33554432000 4194304 4650419 140736567334384 18446744073709551615 4237229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7382/tid=7385] ppid=7380 vsize=1024932 CPUtime=102.27 cores=1,3,5,7
/proc/7382/task/7385/stat : 7385 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 84913 0 0 0 10198 29 0 0 25 0 4 0 651464428 1049530368 176161 33554432000 4194304 4650419 140736567334384 18446744073709551615 4333767 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.07
Current children cumulated vsize (KiB) 1024932

[startup+162.301 s]

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

[pid=7382] ppid=7380 vsize=1576556 CPUtime=2802.12 cores=1,3,5,7
/proc/7382/stat : 7382 (strangenight1-m) R 7380 7382 7247 0 -1 4202496 3545912 0 0 0 279450 762 0 0 25 0 4 0 651464428 1614393344 300605 33554432000 4194304 4650419 140736567334384 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7382/statm: 394139 300605 418 112 0 389104 0
[pid=7382/tid=7383] ppid=7380 vsize=1576556 CPUtime=695.67 cores=1,3,5,7
/proc/7382/task/7383/stat : 7383 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 1277868 0 0 0 69327 240 0 0 25 0 4 0 651464428 1614393344 300605 33554432000 4194304 4650419 140736567334384 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7382/tid=7384] ppid=7380 vsize=1576556 CPUtime=702.28 cores=1,3,5,7
/proc/7382/task/7384/stat : 7384 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 372491 0 0 0 70089 139 0 0 25 0 4 0 651464428 1614393344 300605 33554432000 4194304 4650419 140736567334384 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7382/tid=7385] ppid=7380 vsize=1576556 CPUtime=701.86 cores=1,3,5,7
/proc/7382/task/7385/stat : 7385 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 653373 0 0 0 70027 159 0 0 25 0 4 0 651464428 1614393344 300605 33554432000 4194304 4650419 140736567334384 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.12
Current children cumulated vsize (KiB) 1576556

[startup+762.3 s]
/proc/loadavg: 8.24 8.14 7.54 10/324 7406
/proc/meminfo: memFree=9269476/32951124 swapFree=67093864/67111528
[pid=7382] ppid=7380 vsize=1582340 CPUtime=3041.52 cores=1,3,5,7
/proc/7382/stat : 7382 (strangenight1-m) R 7380 7382 7247 0 -1 4202496 3852869 0 0 0 303320 832 0 0 25 0 4 0 651464428 1620316160 309123 33554432000 4194304 4650419 140736567334384 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7382/statm: 395585 309123 395 112 0 390550 0
[pid=7382/tid=7383] ppid=7380 vsize=1582340 CPUtime=755.68 cores=1,3,5,7
/proc/7382/task/7383/stat : 7383 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 1306298 0 0 0 75315 253 0 0 25 0 4 0 651464428 1620316160 309123 33554432000 4194304 4650419 140736567334384 18446744073709551615 4328338 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7382/tid=7384] ppid=7380 vsize=1582340 CPUtime=762.28 cores=1,3,5,7
/proc/7382/task/7384/stat : 7384 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 404200 0 0 0 76075 153 0 0 25 0 4 0 651464428 1620316160 309123 33554432000 4194304 4650419 140736567334384 18446744073709551615 4364402 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7382/tid=7385] ppid=7380 vsize=1582340 CPUtime=761.25 cores=1,3,5,7
/proc/7382/task/7385/stat : 7385 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 676620 0 0 0 75957 168 0 0 25 0 4 0 651464428 1620316160 309123 33554432000 4194304 4650419 140736567334384 18446744073709551615 4363562 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3041.52
Current children cumulated vsize (KiB) 1582340

[startup+822.301 s]
/proc/loadavg: 8.23 8.14 7.57 10/324 7408
/proc/meminfo: memFree=9244256/32951124 swapFree=67093864/67111528
[pid=7382] ppid=7380 vsize=1563220 CPUtime=3280.92 cores=1,3,5,7
/proc/7382/stat : 7382 (strangenight1-m) R 7380 7382 7247 0 -1 4202496 3971678 0 0 0 327216 876 0 0 25 0 4 0 651464428 1600737280 319637 33554432000 4194304 4650419 140736567334384 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7382/statm: 390805 319637 395 112 0 385770 0
[pid=7382/tid=7383] ppid=7380 vsize=1563220 CPUtime=815.68 cores=1,3,5,7
/proc/7382/task/7383/stat : 7383 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 1342341 0 0 0 81303 265 0 0 25 0 4 0 651464428 1600737280 319637 33554432000 4194304 4650419 140736567334384 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7382/tid=7384] ppid=7380 vsize=1563220 CPUtime=822.28 cores=1,3,5,7
/proc/7382/task/7384/stat : 7384 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 435542 0 0 0 82064 164 0 0 25 0 4 0 651464428 1600737280 319637 33554432000 4194304 4650419 140736567334384 18446744073709551615 4363444 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7382/tid=7385] ppid=7380 vsize=1563220 CPUtime=820.66 cores=1,3,5,7
/proc/7382/task/7385/stat : 7385 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 704127 0 0 0 81887 179 0 0 25 0 4 0 651464428 1600737280 319637 33554432000 4194304 4650419 140736567334384 18446744073709551615 4333678 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3280.92
Current children cumulated vsize (KiB) 1563220

[startup+882.301 s]
/proc/loadavg: 8.15 8.13 7.60 9/324 7409
/proc/meminfo: memFree=9268876/32951124 swapFree=67093864/67111528
[pid=7382] ppid=7380 vsize=1584332 CPUtime=3520.3 cores=1,3,5,7
/proc/7382/stat : 7382 (strangenight1-m) R 7380 7382 7247 0 -1 4202496 4287357 0 0 0 351089 941 0 0 25 0 4 0 651464428 1622355968 316485 33554432000 4194304 4650419 140736567334384 18446744073709551615 4328238 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7382/statm: 396083 316485 395 112 0 391048 0
[pid=7382/tid=7383] ppid=7380 vsize=1584332 CPUtime=875.68 cores=1,3,5,7
/proc/7382/task/7383/stat : 7383 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 1365444 0 0 0 87293 275 0 0 25 0 4 0 651464428 1622355968 316485 33554432000 4194304 4650419 140736567334384 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7382/tid=7384] ppid=7380 vsize=1584332 CPUtime=882.27 cores=1,3,5,7
/proc/7382/task/7384/stat : 7384 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 462814 0 0 0 88053 174 0 0 25 0 4 0 651464428 1622355968 316485 33554432000 4194304 4650419 140736567334384 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7382/tid=7385] ppid=7380 vsize=1584332 CPUtime=880.06 cores=1,3,5,7
/proc/7382/task/7385/stat : 7385 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 945353 0 0 0 87792 214 0 0 25 0 4 0 651464428 1622355968 316485 33554432000 4194304 4650419 140736567334384 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3520.3
Current children cumulated vsize (KiB) 1584332

[startup+942.3 s]
/proc/loadavg: 8.12 8.12 7.63 9/324 7411
/proc/meminfo: memFree=9223336/32951124 swapFree=67093864/67111528
[pid=7382] ppid=7380 vsize=1661528 CPUtime=3759.72 cores=1,3,5,7
/proc/7382/stat : 7382 (strangenight1-m) R 7380 7382 7247 0 -1 4202496 4448806 0 0 0 374981 991 0 0 25 0 4 0 651464428 1701404672 325411 33554432000 4194304 4650419 140736567334384 18446744073709551615 4331155 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7382/statm: 415382 325411 395 112 0 410347 0
[pid=7382/tid=7383] ppid=7380 vsize=1661528 CPUtime=935.67 cores=1,3,5,7
/proc/7382/task/7383/stat : 7383 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 1377212 0 0 0 93287 280 0 0 25 0 4 0 651464428 1701404672 325411 33554432000 4194304 4650419 140736567334384 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7382/tid=7384] ppid=7380 vsize=1661528 CPUtime=942.28 cores=1,3,5,7
/proc/7382/task/7384/stat : 7384 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 570609 0 0 0 94038 190 0 0 25 0 4 0 651464428 1701404672 325411 33554432000 4194304 4650419 140736567334384 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7382/tid=7385] ppid=7380 vsize=1661528 CPUtime=939.47 cores=1,3,5,7
/proc/7382/task/7385/stat : 7385 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 964010 0 0 0 93718 229 0 0 25 0 4 0 651464428 1701404672 325411 33554432000 4194304 4650419 140736567334384 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3759.72
Current children cumulated vsize (KiB) 1661528

[startup+1002.3 s]
/proc/loadavg: 8.04 8.10 7.65 9/324 7412
/proc/meminfo: memFree=9212888/32951124 swapFree=67093864/67111528
[pid=7382] ppid=7380 vsize=1662052 CPUtime=3999.11 cores=1,3,5,7
/proc/7382/stat : 7382 (strangenight1-m) R 7380 7382 7247 0 -1 4202496 4605703 0 0 0 398875 1036 0 0 25 0 4 0 651464428 1701941248 327747 33554432000 4194304 4650419 140736567334384 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7382/statm: 415513 327747 395 112 0 410478 0
[pid=7382/tid=7383] ppid=7380 vsize=1662052 CPUtime=995.67 cores=1,3,5,7
/proc/7382/task/7383/stat : 7383 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 1377212 0 0 0 99287 280 0 0 25 0 4 0 651464428 1701941248 327747 33554432000 4194304 4650419 140736567334384 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7382/tid=7384] ppid=7380 vsize=1662052 CPUtime=1002.28 cores=1,3,5,7
/proc/7382/task/7384/stat : 7384 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 683324 0 0 0 100018 210 0 0 25 0 4 0 651464428 1701941248 327747 33554432000 4194304 4650419 140736567334384 18446744073709551615 4360396 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7382/tid=7385] ppid=7380 vsize=1662052 CPUtime=998.86 cores=1,3,5,7
/proc/7382/task/7385/stat : 7385 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 985141 0 0 0 99646 240 0 0 25 0 4 0 651464428 1701941248 327747 33554432000 4194304 4650419 140736567334384 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3999.11
Current children cumulated vsize (KiB) 1662052

[startup+1062.3 s]
/proc/loadavg: 8.13 8.11 7.68 9/324 7423
/proc/meminfo: memFree=9221176/32951124 swapFree=67093864/67111528
[pid=7382] ppid=7380 vsize=1618768 CPUtime=4238.51 cores=1,3,5,7
/proc/7382/stat : 7382 (strangenight1-m) R 7380 7382 7247 0 -1 4202496 4687021 0 0 0 422774 1077 0 0 25 0 4 0 651464428 1657618432 326225 33554432000 4194304 4650419 140736567334384 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7382/statm: 404692 326225 395 112 0 399657 0
[pid=7382/tid=7383] ppid=7380 vsize=1618768 CPUtime=1055.67 cores=1,3,5,7
/proc/7382/task/7383/stat : 7383 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 1377212 0 0 0 105287 280 0 0 25 0 4 0 651464428 1657618432 326225 33554432000 4194304 4650419 140736567334384 18446744073709551615 4476133 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7382/tid=7384] ppid=7380 vsize=1618768 CPUtime=1062.27 cores=1,3,5,7
/proc/7382/task/7384/stat : 7384 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 708870 0 0 0 106003 224 0 0 25 0 4 0 651464428 1657618432 326225 33554432000 4194304 4650419 140736567334384 18446744073709551615 4368114 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7382/tid=7385] ppid=7380 vsize=1618768 CPUtime=1058.27 cores=1,3,5,7
/proc/7382/task/7385/stat : 7385 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 1010295 0 0 0 105574 253 0 0 25 0 4 0 651464428 1657618432 326225 33554432000 4194304 4650419 140736567334384 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4238.51
Current children cumulated vsize (KiB) 1618768

[startup+1122.3 s]
/proc/loadavg: 8.05 8.08 7.69 9/324 7425
/proc/meminfo: memFree=9203056/32951124 swapFree=67093864/67111528
[pid=7382] ppid=7380 vsize=1635016 CPUtime=4477.91 cores=1,3,5,7
/proc/7382/stat : 7382 (strangenight1-m) R 7380 7382 7247 0 -1 4202496 4838591 0 0 0 446664 1127 0 0 25 0 4 0 651464428 1674256384 329855 33554432000 4194304 4650419 140736567334384 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7382/statm: 408754 329855 395 112 0 403719 0
[pid=7382/tid=7383] ppid=7380 vsize=1635016 CPUtime=1115.68 cores=1,3,5,7
/proc/7382/task/7383/stat : 7383 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 1455241 0 0 0 111277 291 0 0 25 0 4 0 651464428 1674256384 329855 33554432000 4194304 4650419 140736567334384 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7382/tid=7384] ppid=7380 vsize=1635016 CPUtime=1122.27 cores=1,3,5,7
/proc/7382/task/7384/stat : 7384 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 736736 0 0 0 111989 238 0 0 25 0 4 0 651464428 1674256384 329855 33554432000 4194304 4650419 140736567334384 18446744073709551615 4364416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7382/tid=7385] ppid=7380 vsize=1635016 CPUtime=1117.67 cores=1,3,5,7
/proc/7382/task/7385/stat : 7385 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 1033599 0 0 0 111501 266 0 0 25 0 4 0 651464428 1674256384 329855 33554432000 4194304 4650419 140736567334384 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4477.91
Current children cumulated vsize (KiB) 1635016

[startup+1182.3 s]
/proc/loadavg: 8.11 8.10 7.72 9/324 7426
/proc/meminfo: memFree=9227576/32951124 swapFree=67093864/67111528
[pid=7382] ppid=7380 vsize=1667468 CPUtime=4717.34 cores=1,3,5,7
/proc/7382/stat : 7382 (strangenight1-m) R 7380 7382 7247 0 -1 4202496 4920186 0 0 0 470568 1166 0 0 25 0 4 0 651464428 1707487232 320730 33554432000 4194304 4650419 140736567334384 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7382/statm: 416867 320730 395 112 0 411832 0
[pid=7382/tid=7383] ppid=7380 vsize=1667468 CPUtime=1175.69 cores=1,3,5,7
/proc/7382/task/7383/stat : 7383 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 1481931 0 0 0 117267 302 0 0 25 0 4 0 651464428 1707487232 320734 33554432000 4194304 4650419 140736567334384 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7382/tid=7384] ppid=7380 vsize=1667468 CPUtime=1182.28 cores=1,3,5,7
/proc/7382/task/7384/stat : 7384 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 762458 0 0 0 117977 251 0 0 25 0 4 0 651464428 1707487232 320734 33554432000 4194304 4650419 140736567334384 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7382/tid=7385] ppid=7380 vsize=1667468 CPUtime=1177.06 cores=1,3,5,7
/proc/7382/task/7385/stat : 7385 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 1062786 0 0 0 117425 281 0 0 25 0 4 0 651464428 1707487232 320734 33554432000 4194304 4650419 140736567334384 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4717.34
Current children cumulated vsize (KiB) 1667468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.16 8.11 7.73 6/320 7431
/proc/meminfo: memFree=9796872/32951124 swapFree=67093864/67111528
[pid=7382] ppid=7380 vsize=1605108 CPUtime=4800.34 cores=1,3,5,7
/proc/7382/stat : 7382 (strangenight1-m) R 7380 7382 7247 0 -1 4202496 4948019 0 0 0 478854 1180 0 0 25 0 4 0 651464428 1643630592 336283 33554432000 4194304 4650419 140736567334384 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7382/statm: 401277 336283 395 112 0 396242 0
[pid=7382/tid=7383] ppid=7380 vsize=1605108 CPUtime=1196.49 cores=1,3,5,7
/proc/7382/task/7383/stat : 7383 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 1492820 0 0 0 119342 307 0 0 25 0 4 0 651464428 1643630592 336285 33554432000 4194304 4650419 140736567334384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7382/tid=7384] ppid=7380 vsize=1605108 CPUtime=1203.08 cores=1,3,5,7
/proc/7382/task/7384/stat : 7384 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 771054 0 0 0 120053 255 0 0 25 0 4 0 651464428 1643630592 336285 33554432000 4194304 4650419 140736567334384 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7382/tid=7385] ppid=7380 vsize=1605108 CPUtime=1197.66 cores=1,3,5,7
/proc/7382/task/7385/stat : 7385 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 1071132 0 0 0 119480 286 0 0 25 0 4 0 651464428 1643630592 336286 33554432000 4194304 4650419 140736567334384 18446744073709551615 4328338 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 1605108

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

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

[startup+1203.1 s]
/proc/loadavg: 8.16 8.11 7.73 6/320 7431
/proc/meminfo: memFree=9796872/32951124 swapFree=67093864/67111528
[pid=7382] ppid=7380 vsize=1605108 CPUtime=4800.34 cores=1,3,5,7
/proc/7382/stat : 7382 (strangenight1-m) R 7380 7382 7247 0 -1 4202496 4948019 0 0 0 478854 1180 0 0 25 0 4 0 651464428 1643630592 336283 33554432000 4194304 4650419 140736567334384 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7382/statm: 401277 336283 395 112 0 396242 0
[pid=7382/tid=7383] ppid=7380 vsize=1605108 CPUtime=1196.49 cores=1,3,5,7
/proc/7382/task/7383/stat : 7383 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 1492820 0 0 0 119342 307 0 0 25 0 4 0 651464428 1643630592 336285 33554432000 4194304 4650419 140736567334384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7382/tid=7384] ppid=7380 vsize=1605108 CPUtime=1203.08 cores=1,3,5,7
/proc/7382/task/7384/stat : 7384 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 771054 0 0 0 120053 255 0 0 25 0 4 0 651464428 1643630592 336285 33554432000 4194304 4650419 140736567334384 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7382/tid=7385] ppid=7380 vsize=1605108 CPUtime=1197.66 cores=1,3,5,7
/proc/7382/task/7385/stat : 7385 (strangenight1-m) R 7380 7382 7247 0 -1 4202560 1071132 0 0 0 119480 286 0 0 25 0 4 0 651464428 1643630592 336286 33554432000 4194304 4650419 140736567334384 18446744073709551615 4328338 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 1605108

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.18
CPU time (s): 4800.44
CPU user time (s): 4788.57
CPU system time (s): 11.8622
CPU usage (%): 398.98
Max. virtual memory (cumulated for all children) (KiB): 1744700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4788.57
system time used= 11.8622
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4948030
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= 12075
involuntary context switches= 19964

runsolver used 3.14552 second user time and 8.91264 second system time

The end

Launcher Data 

Begin job on node102 at 2011-05-14 20:43:41
IDJOB=3368613
IDBENCH=82622
IDSOLVER=1846
FILE ID=node102/3368613-1305398620
RUNJOBID= node102-1305397415-7266
PBS_JOBID= 13324460
Free space on /tmp= 73528 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v35000-c147000-S1886449473-022-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368613-1305398620/watcher-3368613-1305398620 -o /tmp/evaluation-result-3368613-1305398620/solver-3368613-1305398620 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368613-1305398620.cnf

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

MD5SUM BENCH= 48acd8df0141c3f57a132eb6d7253d5f
RANDOM SEED=1075768887

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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:      11142592 kB
Buffers:        252400 kB
Cached:        2802544 kB
SwapCached:       1128 kB
Active:       19534748 kB
Inactive:      1980288 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11142592 kB
SwapTotal:    67111528 kB
SwapFree:     67093864 kB
Dirty:           15552 kB
Writeback:           0 kB
AnonPages:    18458740 kB
Mapped:          26324 kB
Slab:           176960 kB
PageTables:      53216 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 59139284 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= 73528 MiB
End job on node102 at 2011-05-14 21:03:46