Trace number 3369644

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.19 1202.84

General information on the benchmark

NameAPPLICATIONS/crypto/
desgen/gss-22-s100.cnf
MD5SUM96596d59af0c6949ab68ac8c5abcf28b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark52.802
Satisfiable
(Un)Satisfiability was proved
Number of variables31616
Number of clauses95110
Sum of the clauses size224220
Maximum clause length3
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 260982
Number of clauses of size 334064
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.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-3369644-1305390192.cnf'
0.09/0.27	c -- clauses added:            0 learnts,        95110 normals,            0 xors
0.09/0.27	c -- vars added      31616
0.09/0.27	c Parsing time:  0.16 s
0.09/0.27	c  N st     0         0     31616     33924     60986         0    223744         0   no data   no data  --
0.09/0.27	c asymm  cl-useful: 15/33684/33684 lits-rem:45 time: 0.78
1.90/1.19	c Flit:    75 Blit:    249 bXBeca:    0 bXProp: 1843 Bins:      0 BRemL:      0 BRemN:      0 P: 20.5M T:  3.53
1.90/1.19	c Cleaning up after failed var search:     0.02 s 
1.90/1.19	c Replacing     1843 vars Replaced    47356 lits Time:     0.04 s 
4.74/1.21	c bin-w-bin subsume rem            0 bins  time:  0.02 s
4.74/1.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.06 s
4.74/1.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  28072 time:  0.45 s
4.74/1.43	c Removed useless bin:       0  fixed:     0  props:  14.92M  time:  0.36 s
5.95/1.60	c lits-rem:        18  cl-subs:      694  v-elim:   9357  v-fix:    0  time:  0.67 s
6.40/1.65	c Finding binary XORs  T:     0.17 s  found:      15
6.40/1.65	c Replacing       15 vars Replaced      332 lits Time:     0.02 s 
6.40/1.67	c Finding non-binary XORs:     0.04 s (found:     265, avg size: 3.0)
6.40/1.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
6.40/1.68	c calculated reachability. Time: 0.04
6.40/1.69	c Calc default polars -  time:   0.01 s pos:    5466 undec:   13842 neg:   12308
6.40/1.69	c =========================================================================================
6.40/1.69	c types(t): F = full restart, N = normal restart
6.40/1.69	c types(t): S = simplification begin/end, E = solution found
6.40/1.69	c restart types(rt): st = static, dy = dynamic
6.40/1.69	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
6.40/1.69	c  B st     0         0     18700     25976     40483         0    184467         0   no data   no data  --
21.07/5.30	c Decided on static restart strategy
39.83/10.09	c  N st     8      4913     18700     25976     40558      4800    184467    165963   no data   no data  --
87.72/22.00	c  N st    10     11295     18597     25976     40701      8392    184467    297663   no data   no data  --
130.46/32.71	c  N st    11     17038     18597     25976     40712      9483    184467    312525   no data   no data  --
130.46/32.74	c Finding binary XORs  T:     0.12 s  found:     104
191.50/48.02	c  F st    12     25000     18597     25786     40618     11274    183253    346849   no data   no data  --
191.50/48.05	c Replacing      104 vars Replaced    29333 lits Time:     0.10 s 
191.50/48.07	c  N st    12     25000     18493     25741     40398     11272    182840    346251   no data   no data  --
226.62/56.85	c  N dy    18     30000     18493     25741     40450      8890    182840    197760   no data   no data  --
226.62/56.85	c  S st    18     30000     18493     25741     40450      8890    182840    197760   no data   no data  --
227.04/56.99	c  S st    18     30505     18493     25741     40479      9366    182840    211792   no data   no data  --
227.04/56.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     2 time:   0.02
227.40/57.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.02
238.58/59.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    8 Bins:  14226 BRemL:    631 BRemN:      4 P: 26.3M T: 11.40
238.58/59.87	c Replacing        9 vars Replaced      259 lits Time:     0.03 s 
238.58/59.89	c bin-w-bin subsume rem           88 bins  time:  0.02 s
238.98/59.93	c subs with bin:      162  lits-rem:      9753  v-fix:    0  time:  0.18 s
238.98/59.98	c Subs w/ non-existent bins:      1 l-rem:    885 v-fix:     0 done:   7559 time:  0.20 s
239.38/60.01	c Removed useless bin:      57  fixed:     0  props:   2.47M  time:  0.10 s
241.77/60.60	c lits-rem:      7213  cl-subs:     9265  v-elim:   8451  v-fix:    0  time:  2.36 s
242.57/60.89	c asymm  cl-useful: 1287/23619/23619 lits-rem:4401 time: 1.13
242.97/60.90	c calculated reachability. Time: 0.04
242.97/60.90	c  N dy    18     30505     10033     23616     37527      2353    174828     57612   no data   no data  --
242.97/60.93	c Finding binary XORs  T:     0.13 s  found:      12
255.74/64.10	c  N dy    32     34513     10033     23616     37543      6309    174828    179324      8.04     10.38  --
270.11/67.72	c  N dy    55     38648     10033     23616     37765     10397    174828    306249      8.32      8.78  --
286.47/71.80	c  N dy    72     42896     10033     23616     37773     14591    174828    440690      8.19      8.63  --
296.86/74.50	c  S st    83     45759     10033     23616     37779      8941    174828    188229      8.19      7.36  --
297.64/74.63	c  S st    83     46262     10033     23616     37782      9439    174828    204162      8.19   no data  --
297.64/74.63	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
297.64/74.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
301.25/75.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:   4449 BRemL:    188 BRemN:     30 P: 15.0M T:  3.76
301.25/75.59	c Replacing       14 vars Replaced      701 lits Time:     0.03 s 
301.67/75.61	c bin-w-bin subsume rem           16 bins  time:  0.02 s
301.67/75.66	c subs with bin:     4821  lits-rem:      1500  v-fix:    0  time:  0.20 s
301.67/75.69	c Subs w/ non-existent bins:      1 l-rem:   1437 v-fix:     0 done:   3329 time:  0.13 s
302.03/75.71	c Removed useless bin:      36  fixed:     0  props:   1.29M  time:  0.07 s
302.83/75.98	c lits-rem:       498  cl-subs:     1452  v-elim:     72  v-fix:    0  time:  1.10 s
302.83/75.99	c vivif2 --  cl tried    18763 cl shrink      211 lits rem        398 time: 0.04
303.23/76.01	c vivif2 --  cl tried     8227 cl shrink     1745 lits rem       9181 time: 0.08
304.43/76.30	c asymm  cl-useful: 20/18751/18751 lits-rem:20 time: 1.17
304.43/76.31	c calculated reachability. Time: 0.03
304.43/76.31	c  N dy    83     46262      9947     18751     41732      8227    158422    173966      8.19   no data  --
304.43/76.33	c Finding binary XORs  T:     0.08 s  found:       0
321.19/80.58	c  N dy   105     51087      9947     18751     41736     13006    158422    343235      8.22      8.76  --
339.15/85.06	c  N dy   122     55769      9947     18751     41853     17633    158422    496818      8.22      8.65  --
351.52/88.18	c  N dy   136     59845      9947     18751     41928     12163    158422    258125      8.25     10.29  --
367.10/92.04	c  N dy   156     64085      9947     18751     41929     16371    158422    411380      8.25      8.69  --
381.45/95.64	c  N dy   180     68315      9947     18751     41930     20561    158422    550687      8.37      8.81  --
385.43/96.67	c  S st   184     69395      9947     18751     41930     11102    158422    199082      8.36      7.31  --
385.83/96.79	c  S st   184     69899      9947     18751     41938     11604    158422    214845      8.36   no data  --
386.23/96.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
386.23/96.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
389.04/97.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    105 BRemL:    101 BRemN:     15 P: 15.4M T:  2.91
389.04/97.55	c bin-w-bin subsume rem           76 bins  time:  0.02 s
389.04/97.59	c subs with bin:       44  lits-rem:        11  v-fix:    0  time:  0.17 s
389.46/97.65	c Subs w/ non-existent bins:      0 l-rem:    647 v-fix:     0 done:   8110 time:  0.24 s
389.46/97.67	c Removed useless bin:      50  fixed:     0  props:   1.21M  time:  0.07 s
390.62/97.93	c lits-rem:       785  cl-subs:      609  v-elim:     21  v-fix:    0  time:  1.05 s
390.62/97.94	c vivif2 --  cl tried    18742 cl shrink       37 lits rem         50 time: 0.04
390.62/97.96	c vivif2 --  cl tried    11037 cl shrink      800 lits rem       5100 time: 0.07
391.82/98.27	c asymm  cl-useful: 187/18738/18738 lits-rem:521 time: 1.24
391.82/98.28	c calculated reachability. Time: 0.03
391.82/98.28	c  N dy   184     69899      9925     18571     41863     11037    157990    198091      8.36   no data  --
392.22/98.30	c Finding binary XORs  T:     0.08 s  found:       3
412.97/103.53	c  N dy   200     75277      9925     18571     41866     16349    157990    376586      8.32      8.83  --
431.74/108.25	c  N dy   234     80140      9925     18571     41874     21148    157990    526423      8.46     13.62  --
451.28/113.12	c  N dy   264     85316      9924     18571     41901     14758    157990    270140      8.53     10.29  --
459.70/115.21	c  F st   280     87500      9924     18571     41901     16923    157990    345599      8.58   no data  --
459.70/115.23	c Replacing        3 vars Replaced     6745 lits Time:     0.06 s 
473.23/118.68	c  N st   285     90800      9921     18566     41885     20169    157950    447676      8.58   no data  --
478.02/119.88	c Decided on static restart strategy
519.53/130.28	c  N st   288     99808      9921     18566     41887     16933    157950    455135      8.58   no data  --
546.67/137.10	c  S st   289    104848      9921     18566     41890     21941    157950    648211      8.58   no data  --
547.08/137.12	c Finding binary XORs  T:     0.07 s  found:       0
547.86/137.32	c  S st   289    105354      9921     18566     42238     22446    157950    663528      8.58   no data  --
547.86/137.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
547.86/137.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
551.06/138.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     83 BRemL:    375 BRemN:    186 P: 17.8M T:  3.21
551.06/138.17	c bin-w-bin subsume rem           22 bins  time:  0.02 s
551.47/138.28	c subs with bin:       37  lits-rem:       269  v-fix:    0  time:  0.45 s
551.47/138.30	c Subs w/ non-existent bins:      0 l-rem:    763 v-fix:     0 done:   1035 time:  0.08 s
551.89/138.32	c Removed useless bin:      14  fixed:     0  props:   1.20M  time:  0.07 s
561.43/140.78	c lits-rem:      1574  cl-subs:     2424  v-elim:     17  v-fix:    0  time:  9.80 s
561.43/140.79	c vivif2 --  cl tried    18551 cl shrink       24 lits rem        101 time: 0.04
561.83/140.86	c vivif2 --  cl tried    20033 cl shrink     9384 lits rem      70540 time: 0.31
563.03/141.18	c asymm  cl-useful: 27/14623/18551 lits-rem:69 time: 1.28
563.03/141.19	c calculated reachability. Time: 0.03
563.03/141.19	c  N st   289    105354      9904     18530     41668     20033    157521    546330      8.58   no data  --
617.32/154.76	c  N st   290    114953      9904     18530     41668     16222    157521    322662      8.58   no data  --
697.92/174.94	c  N st   291    129350      9904     18530     41811     16036    157519    258898      8.58   no data  --
697.92/174.96	c Finding binary XORs  T:     0.08 s  found:       1
815.65/204.46	c  N st   292    150947      9904     18530     41878     21986    157519    409791      8.58   no data  --
858.76/215.28	c  S st   293    158032      9904     18530     41971     29058    157518    750926      8.58   no data  --
859.94/215.51	c  S st   293    158534      9904     18530     41974     29559    157518    767711      8.58   no data  --
859.94/215.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
859.94/215.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
863.57/216.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     30 BRemL:    138 BRemN:     26 P: 22.1M T:  3.55
863.57/216.44	c Replacing        1 vars Replaced     9949 lits Time:     0.13 s 
863.57/216.48	c bin-w-bin subsume rem           20 bins  time:  0.02 s
864.33/216.62	c subs with bin:       38  lits-rem:        63  v-fix:    0  time:  0.59 s
864.33/216.65	c Subs w/ non-existent bins:      0 l-rem:   1464 v-fix:     0 done:   1357 time:  0.10 s
864.33/216.67	c Removed useless bin:      36  fixed:     0  props:   1.18M  time:  0.07 s
879.90/220.54	c lits-rem:      4039  cl-subs:     6995  v-elim:      6  v-fix:    0  time: 15.44 s
879.90/220.55	c vivif2 --  cl tried    18468 cl shrink        0 lits rem          0 time: 0.04
880.30/220.62	c vivif2 --  cl tried    22576 cl shrink     8243 lits rem      94162 time: 0.30
880.71/220.72	c asymm  cl-useful: 15/3845/18468 lits-rem:45 time: 0.37
880.71/220.73	c calculated reachability. Time: 0.03
880.71/220.73	c  N st   293    158534      9897     18453     41705     22576    157201    549479      8.58   no data  --
1174.02/294.25	c  N st   294    207123      9892     18453     41829     36888    157200    963736      8.58   no data  --
1368.72/343.01	c  N st   295    237802      9892     18453     41841     29689    157200    684232      8.58   no data  --
1368.72/343.01	c  S st   295    237802      9892     18453     41841     29689    157200    684232      8.58   no data  --
1368.72/343.04	c Finding binary XORs  T:     0.08 s  found:       0
1369.51/343.30	c  S st   295    238307      9892     18450     41794     29465    157117    691042      8.58   no data  --
1369.91/343.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1369.91/343.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
1373.10/344.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     36 BRemL:     17 BRemN:     17 P: 20.4M T:  3.41
1373.10/344.17	c Replacing        1 vars Replaced       57 lits Time:     0.03 s 
1373.50/344.20	c bin-w-bin subsume rem           11 bins  time:  0.02 s
1373.90/344.33	c subs with bin:      154  lits-rem:        70  v-fix:    0  time:  0.49 s
1373.90/344.37	c Subs w/ non-existent bins:      0 l-rem:    946 v-fix:     0 done:   4563 time:  0.16 s
1373.90/344.38	c Removed useless bin:      39  fixed:     0  props:   1.18M  time:  0.07 s
1386.67/347.52	c lits-rem:      1002  cl-subs:     1590  v-elim:      5  v-fix:    0  time: 12.50 s
1386.67/347.53	c vivif2 --  cl tried    18419 cl shrink       15 lits rem        103 time: 0.04
1387.07/347.61	c vivif2 --  cl tried    27770 cl shrink     7245 lits rem      46791 time: 0.32
1388.27/347.93	c asymm  cl-useful: 21/12883/18419 lits-rem:37 time: 1.31
1388.27/347.94	c calculated reachability. Time: 0.03
1388.27/347.95	c  N st   295    238307      9886     18411     41715     27770    157060    611379      8.58   no data  --
1806.09/452.60	c  F st   296    306251      9886     18411     41717     31405    157060    559082      8.58   no data  --
1806.09/452.61	c  N st   296    306251      9886     18411     41717     31405    157060    559082      8.58   no data  --
1806.09/452.63	c Finding binary XORs  T:     0.08 s  found:       0
1838.80/460.86	c Decided on static restart strategy
1985.67/497.68	c  N st   306    334555      9885     18411     42313     36180    157060    844260      8.58   no data  --
2126.95/533.00	c  N st   308    357460      9884     18411     42324     34483    157060    653344      8.58   no data  --
2126.95/533.00	c  S st   308    357460      9884     18411     42324     34483    157060    653344      8.58   no data  --
2127.78/533.24	c  S st   308    357962      9884     18411     42331     34983    157060    670285      8.58   no data  --
2127.78/533.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2127.78/533.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
2131.34/534.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     21 BRemL:    185 BRemN:     13 P: 23.4M T:  3.70
2131.34/534.20	c Replacing        1 vars Replaced       84 lits Time:     0.07 s 
2131.75/534.23	c bin-w-bin subsume rem          277 bins  time:  0.02 s
2132.17/534.35	c subs with bin:      265  lits-rem:        57  v-fix:    0  time:  0.48 s
2132.17/534.39	c Subs w/ non-existent bins:      0 l-rem:    712 v-fix:     0 done:   4899 time:  0.17 s
2132.53/534.41	c Removed useless bin:      26  fixed:     0  props:   1.18M  time:  0.07 s
2142.91/537.05	c lits-rem:       707  cl-subs:     5824  v-elim:      1  v-fix:    0  time: 10.56 s
2142.91/537.06	c vivif2 --  cl tried    18381 cl shrink        3 lits rem          3 time: 0.04
2143.31/537.12	c vivif2 --  cl tried    28918 cl shrink     3958 lits rem      22001 time: 0.23
2143.71/537.29	c asymm  cl-useful: 16/5497/18380 lits-rem:48 time: 0.67
2144.11/537.30	c calculated reachability. Time: 0.03
2144.11/537.30	c  N st   308    357962      9882     18364     41833     28918    156842    537419      8.58   no data  --
2350.44/589.00	c  N st   309    390354      9880     18364     41893     35755    156842    832349      8.58   no data  --
2664.12/667.65	c  N st   310    438943      9880     18364     41898     30242    156842    460760      8.58   no data  --
3143.85/787.81	c  N st   311    511825      9879     18364     41914     44838    156842    752365      8.58   no data  --
3194.57/800.57	c Finding binary XORs  T:     0.08 s  found:       1
3314.26/830.54	c  N st   312    536943      9876     18362     42045     38873    156777    758349      8.58   no data  --
3314.26/830.54	c  S st   312    536943      9876     18362     42045     38873    156777    758349      8.58   no data  --
3315.46/830.85	c  S st   312    537444      9876     18362     42047     39371    156777    772065      8.58   no data  --
3315.46/830.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3315.46/830.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
3319.45/831.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     12 BRemL:     55 BRemN:     17 P: 25.2M T:  3.85
3319.45/831.88	c Replacing        2 vars Replaced    17455 lits Time:     0.22 s 
3319.85/831.92	c bin-w-bin subsume rem           11 bins  time:  0.02 s
3320.25/832.06	c subs with bin:       85  lits-rem:       170  v-fix:    0  time:  0.56 s
3320.25/832.08	c Subs w/ non-existent bins:      0 l-rem:   2578 v-fix:     0 done:   1228 time:  0.10 s
3320.65/832.10	c Removed useless bin:      16  fixed:     0  props:   1.17M  time:  0.07 s
3334.63/835.61	c lits-rem:      2810  cl-subs:     1347  v-elim:      6  v-fix:    0  time: 14.01 s
3334.63/835.62	c vivif2 --  cl tried    18355 cl shrink       15 lits rem         72 time: 0.04
3334.63/835.70	c vivif2 --  cl tried    36762 cl shrink     6236 lits rem      39438 time: 0.32
3336.21/836.04	c asymm  cl-useful: 107/6966/18355 lits-rem:107 time: 1.36
3336.21/836.05	c calculated reachability. Time: 0.03
3336.21/836.05	c  N st   312    537444      9868     18355     41879     36762    156590    685942      8.58   no data  --
4005.90/1003.90	c  N st   313    701428      9867     18355     41907     69489    156590   1547881      8.58   no data  --
4701.12/1178.03	c  N st   314    806167      9867     18355     41933     64382    156590   1275489      8.58   no data  --
4701.12/1178.03	c  S st   314    806167      9867     18355     41933     64382    156590   1275489      8.58   no data  --
4703.12/1178.54	c  S st   314    806672      9867     18355     41967     64885    156590   1289125      8.58   no data  --
4703.12/1178.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4703.12/1178.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
4707.91/1179.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     27 BRemL:     16 BRemN:      0 P: 34.1M T:  4.88
4708.31/1179.80	c Replacing        1 vars Replaced      272 lits Time:     0.10 s 
4708.31/1179.86	c bin-w-bin subsume rem            2 bins  time:  0.02 s
4709.14/1180.04	c subs with bin:      104  lits-rem:        61  v-fix:    0  time:  0.74 s
4709.14/1180.07	c Subs w/ non-existent bins:      0 l-rem:    995 v-fix:     0 done:   1490 time:  0.11 s
4709.14/1180.09	c Removed useless bin:       1  fixed:     0  props:   1.17M  time:  0.07 s
4733.45/1186.18	c lits-rem:      2622  cl-subs:    15490  v-elim:      0  v-fix:    0  time: 24.33 s
4733.45/1186.19	c vivif2 --  cl tried    18344 cl shrink        0 lits rem          0 time: 0.04
4734.25/1186.31	c vivif2 --  cl tried    49092 cl shrink     8126 lits rem      35582 time: 0.45
4735.49/1186.66	c asymm  cl-useful: 87/7719/18344 lits-rem:113 time: 1.39
4735.49/1186.67	c calculated reachability. Time: 0.03
4735.49/1186.67	c  N st   314    806672      9866     18331     41941     49092    156422    960745      8.58   no data  --

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369644-1305390192/watcher-3369644-1305390192 -o /tmp/evaluation-result-3369644-1305390192/solver-3369644-1305390192 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369644-1305390192.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.24 8.10 6.69 7/287 1919
/proc/meminfo: memFree=18183752/32951124 swapFree=66457188/67111528
[pid=1919] ppid=1917 vsize=30748 CPUtime=0 cores=0,2,4,6
/proc/1919/stat : 1919 (strangenight1-m) R 1917 1919 1724 0 -1 4202496 410 0 0 0 0 0 0 0 25 0 2 0 650617351 31485952 350 33554432000 4194304 4650419 140734247498192 18446744073709551615 232335948785 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1919/statm: 7687 350 303 112 0 2652 0
[pid=1919/tid=1920] ppid=1917 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1920/stat : 1920 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 650617352 52465664 358 33554432000 4194304 4650419 140734247498192 18446744073709551615 46951256303538 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1919/tid=1921] ppid=1917 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 650617352 52465664 358 33554432000 4194304 4650419 140734247498192 18446744073709551615 46951256303129 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1919/tid=1922] ppid=1917 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 650617352 52465664 358 33554432000 4194304 4650419 140734247498192 18446744073709551615 46951256303129 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0361959 s]
/proc/loadavg: 8.24 8.10 6.69 7/287 1919
/proc/meminfo: memFree=18183752/32951124 swapFree=66457188/67111528
[pid=1919] ppid=1917 vsize=372172 CPUtime=0.09 cores=0,2,4,6
/proc/1919/stat : 1919 (strangenight1-m) S 1917 1919 1724 0 -1 4202496 12602 0 0 0 7 2 0 0 18 0 4 0 650617351 381104128 10483 33554432000 4194304 4650419 140734247498192 18446744073709551615 232335997422 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1919/statm: 93043 10523 346 112 0 88008 0
[pid=1919/tid=1920] ppid=1917 vsize=372172 CPUtime=0.01 cores=0,2,4,6
/proc/1919/task/1920/stat : 1920 (strangenight1-m) S 1917 1919 1724 0 -1 4202560 3040 0 0 0 1 0 0 0 18 0 4 0 650617352 381104128 10579 33554432000 4194304 4650419 140734247498192 18446744073709551615 232335997422 0 0 4096 2 18446604446493980480 0 0 -1 6 0 0 0
[pid=1919/tid=1921] ppid=1917 vsize=372172 CPUtime=0.02 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 3139 0 0 0 2 0 0 0 18 0 4 0 650617352 381104128 10596 33554432000 4194304 4650419 140734247498192 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1919/tid=1922] ppid=1917 vsize=372172 CPUtime=0.02 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 2986 0 0 0 2 0 0 0 18 0 4 0 650617352 381104128 10608 33554432000 4194304 4650419 140734247498192 18446744073709551615 232335589568 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 372172

[startup+0.27219 s]
/proc/loadavg: 8.24 8.10 6.69 7/287 1919
/proc/meminfo: memFree=18183752/32951124 swapFree=66457188/67111528
[pid=1919] ppid=1917 vsize=380172 CPUtime=1.17 cores=0,2,4,6
/proc/1919/stat : 1919 (strangenight1-m) R 1917 1919 1724 0 -1 4202496 18316 0 0 0 111 6 0 0 18 0 4 0 650617351 389296128 15597 33554432000 4194304 4650419 140734247498192 18446744073709551615 232335553569 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1919/statm: 95439 16785 373 112 0 90404 0
[pid=1919/tid=1920] ppid=1917 vsize=383076 CPUtime=0.32 cores=0,2,4,6
/proc/1919/task/1920/stat : 1920 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 5399 0 0 0 31 1 0 0 18 0 4 0 650617352 392269824 17784 33554432000 4194304 4650419 140734247498192 18446744073709551615 232335935671 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1919/tid=1921] ppid=1917 vsize=385056 CPUtime=0.34 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 5957 0 0 0 33 1 0 0 18 0 4 0 650617352 394297344 19186 33554432000 4194304 4650419 140734247498192 18446744073709551615 232335553221 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1919/tid=1922] ppid=1917 vsize=385188 CPUtime=0.37 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 3775 0 0 0 36 1 0 0 18 0 4 0 650617352 394432512 20029 33554432000 4194304 4650419 140734247498192 18446744073709551615 4363323 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 380172

[startup+0.474497 s]
/proc/loadavg: 8.24 8.10 6.69 7/287 1919
/proc/meminfo: memFree=18183752/32951124 swapFree=66457188/67111528
[pid=1919] ppid=1917 vsize=388640 CPUtime=1.9 cores=0,2,4,6
/proc/1919/stat : 1919 (strangenight1-m) R 1917 1919 1724 0 -1 4202496 27925 0 0 0 182 8 0 0 18 0 4 0 650617351 397967360 25206 33554432000 4194304 4650419 140734247498192 18446744073709551615 232335553221 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1919/statm: 97556 26377 373 112 0 92521 0
[pid=1919/tid=1920] ppid=1917 vsize=391148 CPUtime=0.51 cores=0,2,4,6
/proc/1919/task/1920/stat : 1920 (strangenight1-m) D 1917 1919 1724 0 -1 4202560 8492 0 0 0 49 2 0 0 18 0 4 0 650617352 400535552 27080 33554432000 4194304 4650419 140734247498192 18446744073709551615 232335935671 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1919/tid=1921] ppid=1917 vsize=392600 CPUtime=0.52 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (strangenight1-m) S 1917 1919 1724 0 -1 4202560 8925 0 0 0 49 3 0 0 18 0 4 0 650617352 402022400 28116 33554432000 4194304 4650419 140734247498192 18446744073709551615 232335997422 0 0 4096 2 18446604446493980480 0 0 -1 4 0 0 0
[pid=1919/tid=1922] ppid=1917 vsize=393788 CPUtime=0.55 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 3780 0 0 0 54 1 0 0 18 0 4 0 650617352 403238912 29064 33554432000 4194304 4650419 140734247498192 18446744073709551615 4333519 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 388640

[startup+1.19929 s]
/proc/loadavg: 8.24 8.10 6.69 7/287 1919
/proc/meminfo: memFree=18183752/32951124 swapFree=66457188/67111528
[pid=1919] ppid=1917 vsize=404748 CPUtime=4.73 cores=0,2,4,6
/proc/1919/stat : 1919 (strangenight1-m) R 1917 1919 1724 0 -1 4202496 43744 0 0 0 460 13 0 0 18 0 4 0 650617351 414461952 41025 33554432000 4194304 4650419 140734247498192 18446744073709551615 232335997471 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1919/statm: 101220 41141 379 112 0 96185 0
[pid=1919/tid=1920] ppid=1917 vsize=405012 CPUtime=1.17 cores=0,2,4,6
/proc/1919/task/1920/stat : 1920 (strangenight1-m) S 1917 1919 1724 0 -1 4202560 13165 0 0 0 114 3 0 0 18 0 4 0 650617352 414732288 41162 33554432000 4194304 4650419 140734247498192 18446744073709551615 232335997422 0 0 4096 2 18446604446493980480 0 0 -1 6 0 0 0
[pid=1919/tid=1921] ppid=1917 vsize=405012 CPUtime=1.17 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 13222 0 0 0 113 4 0 0 18 0 4 0 650617352 414732288 41179 33554432000 4194304 4650419 140734247498192 18446744073709551615 232335589576 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1919/tid=1922] ppid=1917 vsize=405144 CPUtime=1.18 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 3797 0 0 0 117 1 0 0 19 0 4 0 650617352 414867456 41309 33554432000 4194304 4650419 140734247498192 18446744073709551615 4315103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.73
Current children cumulated vsize (KiB) 404748

[startup+1.50334 s]
/proc/loadavg: 8.24 8.10 6.69 7/287 1919
/proc/meminfo: memFree=18183752/32951124 swapFree=66457188/67111528
[pid=1919] ppid=1917 vsize=408892 CPUtime=5.95 cores=0,2,4,6
/proc/1919/stat : 1919 (strangenight1-m) R 1917 1919 1724 0 -1 4202496 49487 0 0 0 580 15 0 0 18 0 4 0 650617351 418705408 46768 33554432000 4194304 4650419 140734247498192 18446744073709551615 4520322 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1919/statm: 102223 46791 388 112 0 97188 0
[pid=1919/tid=1920] ppid=1917 vsize=408892 CPUtime=1.48 cores=0,2,4,6
/proc/1919/task/1920/stat : 1920 (strangenight1-m) S 1917 1919 1724 0 -1 4202560 15092 0 0 0 144 4 0 0 18 0 4 0 650617352 418705408 46800 33554432000 4194304 4650419 140734247498192 18446744073709551615 232335997422 0 0 4096 2 18446604446493980480 0 0 -1 6 0 0 0
[pid=1919/tid=1921] ppid=1917 vsize=408892 CPUtime=1.47 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 14967 0 0 0 142 5 0 0 18 0 4 0 650617352 418705408 46813 33554432000 4194304 4650419 140734247498192 18446744073709551615 232335589835 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1919/tid=1922] ppid=1917 vsize=408892 CPUtime=1.49 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 3804 0 0 0 148 1 0 0 20 0 4 0 650617352 418705408 46826 33554432000 4194304 4650419 140734247498192 18446744073709551615 4331155 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 408892

[startup+3.1006 s]
/proc/loadavg: 8.24 8.10 6.69 9/291 1923
/proc/meminfo: memFree=17975892/32951124 swapFree=66457188/67111528
[pid=1919] ppid=1917 vsize=413364 CPUtime=12.29 cores=0,2,4,6
/proc/1919/stat : 1919 (strangenight1-m) R 1917 1919 1724 0 -1 4202496 55158 0 0 0 1211 18 0 0 20 0 4 0 650617351 423284736 51738 33554432000 4194304 4650419 140734247498192 18446744073709551615 4368084 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1919/statm: 103341 51738 392 112 0 98306 0
[pid=1919/tid=1920] ppid=1917 vsize=413364 CPUtime=3.05 cores=0,2,4,6
/proc/1919/task/1920/stat : 1920 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 16905 0 0 0 300 5 0 0 20 0 4 0 650617352 423284736 51738 33554432000 4194304 4650419 140734247498192 18446744073709551615 4363697 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1919/tid=1921] ppid=1917 vsize=413364 CPUtime=3.06 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 16896 0 0 0 301 5 0 0 20 0 4 0 650617352 423284736 51738 33554432000 4194304 4650419 140734247498192 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1919/tid=1922] ppid=1917 vsize=413364 CPUtime=3.08 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 3834 0 0 0 307 1 0 0 25 0 4 0 650617352 423284736 51738 33554432000 4194304 4650419 140734247498192 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 413364

[startup+6.31103 s]
/proc/loadavg: 8.30 8.11 6.70 9/291 1923
/proc/meminfo: memFree=17973820/32951124 swapFree=66457188/67111528
[pid=1919] ppid=1917 vsize=413364 CPUtime=25.1 cores=0,2,4,6
/proc/1919/stat : 1919 (strangenight1-m) R 1917 1919 1724 0 -1 4202496 55480 0 0 0 2492 18 0 0 25 0 4 0 650617351 423284736 52026 33554432000 4194304 4650419 140734247498192 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1919/statm: 103341 52026 393 112 0 98306 0
[pid=1919/tid=1920] ppid=1917 vsize=413364 CPUtime=6.23 cores=0,2,4,6
/proc/1919/task/1920/stat : 1920 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 17035 0 0 0 618 5 0 0 25 0 4 0 650617352 423284736 52026 33554432000 4194304 4650419 140734247498192 18446744073709551615 4334120 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1919/tid=1921] ppid=1917 vsize=413364 CPUtime=6.27 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 16970 0 0 0 622 5 0 0 25 0 4 0 650617352 423284736 52026 33554432000 4194304 4650419 140734247498192 18446744073709551615 4333952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1919/tid=1922] ppid=1917 vsize=413364 CPUtime=6.29 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 3887 0 0 0 628 1 0 0 25 0 4 0 650617352 423284736 52026 33554432000 4194304 4650419 140734247498192 18446744073709551615 4333710 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 413364

[startup+12.7009 s]
/proc/loadavg: 8.27 8.11 6.71 9/291 1923
/proc/meminfo: memFree=17997532/32951124 swapFree=66457188/67111528
[pid=1919] ppid=1917 vsize=415476 CPUtime=50.62 cores=0,2,4,6
/proc/1919/stat : 1919 (strangenight1-m) R 1917 1919 1724 0 -1 4202496 57911 0 0 0 5043 19 0 0 25 0 4 0 650617351 425447424 51481 33554432000 4194304 4650419 140734247498192 18446744073709551615 4331865 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1919/statm: 103869 51481 395 112 0 98834 0
[pid=1919/tid=1920] ppid=1917 vsize=415476 CPUtime=12.57 cores=0,2,4,6
/proc/1919/task/1920/stat : 1920 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 17905 0 0 0 1252 5 0 0 25 0 4 0 650617352 425447424 51481 33554432000 4194304 4650419 140734247498192 18446744073709551615 4331301 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1919/tid=1921] ppid=1917 vsize=415476 CPUtime=12.65 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 17436 0 0 0 1260 5 0 0 25 0 4 0 650617352 425447424 51481 33554432000 4194304 4650419 140734247498192 18446744073709551615 4364468 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1919/tid=1922] ppid=1917 vsize=415476 CPUtime=12.68 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 4442 0 0 0 1267 1 0 0 25 0 4 0 650617352 425447424 51481 33554432000 4194304 4650419 140734247498192 18446744073709551615 4363768 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 415476

[startup+25.5006 s]
/proc/loadavg: 8.21 8.10 6.73 9/291 1924
/proc/meminfo: memFree=17990596/32951124 swapFree=66457188/67111528
[pid=1919] ppid=1917 vsize=416216 CPUtime=101.69 cores=0,2,4,6
/proc/1919/stat : 1919 (strangenight1-m) R 1917 1919 1724 0 -1 4202496 61395 0 0 0 10148 21 0 0 25 0 4 0 650617351 426205184 52235 33554432000 4194304 4650419 140734247498192 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1919/statm: 104054 52235 395 112 0 99019 0
[pid=1919/tid=1920] ppid=1917 vsize=416216 CPUtime=25.25 cores=0,2,4,6
/proc/1919/task/1920/stat : 1920 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 19021 0 0 0 2520 5 0 0 25 0 4 0 650617352 426205184 52235 33554432000 4194304 4650419 140734247498192 18446744073709551615 4333931 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1919/tid=1921] ppid=1917 vsize=416216 CPUtime=25.46 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 18229 0 0 0 2540 6 0 0 25 0 4 0 650617352 426205184 52235 33554432000 4194304 4650419 140734247498192 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1919/tid=1922] ppid=1917 vsize=416216 CPUtime=25.48 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 5243 0 0 0 2547 1 0 0 25 0 4 0 650617352 426205184 52235 33554432000 4194304 4650419 140734247498192 18446744073709551615 4333613 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 416216

[startup+51.1011 s]
/proc/loadavg: 8.27 8.13 6.77 9/291 1924
/proc/meminfo: memFree=17946544/32951124 swapFree=66457188/67111528
[pid=1919] ppid=1917 vsize=422540 CPUtime=203.87 cores=0,2,4,6
/proc/1919/stat : 1919 (strangenight1-m) R 1917 1919 1724 0 -1 4202496 70410 0 0 0 20363 24 0 0 25 0 4 0 650617351 432680960 56989 33554432000 4194304 4650419 140734247498192 18446744073709551615 4363566 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1919/statm: 105635 56989 396 112 0 100600 0
[pid=1919/tid=1920] ppid=1917 vsize=422540 CPUtime=50.63 cores=0,2,4,6
/proc/1919/task/1920/stat : 1920 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 23577 0 0 0 5056 7 0 0 25 0 4 0 650617352 432680960 56989 33554432000 4194304 4650419 140734247498192 18446744073709551615 4475954 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1919/tid=1921] ppid=1917 vsize=422540 CPUtime=51.05 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 19747 0 0 0 5099 6 0 0 25 0 4 0 650617352 432680960 56989 33554432000 4194304 4650419 140734247498192 18446744073709551615 4331130 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1919/tid=1922] ppid=1917 vsize=422540 CPUtime=51.08 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 6915 0 0 0 5106 2 0 0 25 0 4 0 650617352 432680960 56989 33554432000 4194304 4650419 140734247498192 18446744073709551615 4364433 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.87
Current children cumulated vsize (KiB) 422540

[startup+102.301 s]
/proc/loadavg: 8.25 8.14 6.85 9/291 1926
/proc/meminfo: memFree=17838784/32951124 swapFree=66457188/67111528
[pid=1919] ppid=1917 vsize=612072 CPUtime=408.19 cores=0,2,4,6
/proc/1919/stat : 1919 (strangenight1-m) R 1917 1919 1724 0 -1 4202496 108133 0 0 0 40783 36 0 0 25 0 4 0 650617351 626761728 83177 33554432000 4194304 4650419 140734247498192 18446744073709551615 4349911 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1919/statm: 153018 83177 396 112 0 147983 0
[pid=1919/tid=1920] ppid=1917 vsize=612072 CPUtime=101.35 cores=0,2,4,6
/proc/1919/task/1920/stat : 1920 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 28506 0 0 0 10127 8 0 0 25 0 4 0 650617352 626761728 83177 33554432000 4194304 4650419 140734247498192 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1919/tid=1921] ppid=1917 vsize=612072 CPUtime=102.24 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 26793 0 0 0 10216 8 0 0 25 0 4 0 650617352 626761728 83177 33554432000 4194304 4650419 140734247498192 18446744073709551615 4366194 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1919/tid=1922] ppid=1917 vsize=612072 CPUtime=102.28 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 23736 0 0 0 10220 8 0 0 25 0 4 0 650617352 626761728 83177 33554432000 4194304 4650419 140734247498192 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.19
Current children cumulated vsize (KiB) 612072

[startup+162.3 s]

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

[pid=1919] ppid=1917 vsize=676024 CPUtime=2563.16 cores=0,2,4,6
/proc/1919/stat : 1919 (strangenight1-m) R 1917 1919 1724 0 -1 4202496 183145 0 0 0 256119 197 0 0 25 0 4 0 650617351 692248576 117838 33554432000 4194304 4650419 140734247498192 18446744073709551615 4364883 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1919/statm: 169006 117838 396 112 0 163971 0
[pid=1919/tid=1920] ppid=1917 vsize=676024 CPUtime=636.46 cores=0,2,4,6
/proc/1919/task/1920/stat : 1920 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 47478 0 0 0 63628 18 0 0 25 0 4 0 650617352 692248576 117838 33554432000 4194304 4650419 140734247498192 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1919/tid=1921] ppid=1917 vsize=676024 CPUtime=642.2 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 42623 0 0 0 64196 24 0 0 25 0 4 0 650617352 692248576 117838 33554432000 4194304 4650419 140734247498192 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1919/tid=1922] ppid=1917 vsize=676024 CPUtime=642.23 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 46360 0 0 0 64206 17 0 0 25 0 4 0 650617352 692248576 117838 33554432000 4194304 4650419 140734247498192 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2563.16
Current children cumulated vsize (KiB) 676024

[startup+702.3 s]
/proc/loadavg: 8.28 8.29 7.44 9/291 2063
/proc/meminfo: memFree=18918492/32951124 swapFree=66457188/67111528
[pid=1919] ppid=1917 vsize=687376 CPUtime=2802.62 cores=0,2,4,6
/proc/1919/stat : 1919 (strangenight1-m) R 1917 1919 1724 0 -1 4202496 186963 0 0 0 280064 198 0 0 25 0 4 0 650617351 703873024 120227 33554432000 4194304 4650419 140734247498192 18446744073709551615 4364883 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1919/statm: 171844 120227 396 112 0 166809 0
[pid=1919/tid=1920] ppid=1917 vsize=687376 CPUtime=695.91 cores=0,2,4,6
/proc/1919/task/1920/stat : 1920 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 48749 0 0 0 69573 18 0 0 25 0 4 0 650617352 703873024 120227 33554432000 4194304 4650419 140734247498192 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1919/tid=1921] ppid=1917 vsize=687376 CPUtime=702.21 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 42872 0 0 0 70196 25 0 0 25 0 4 0 650617352 703873024 120227 33554432000 4194304 4650419 140734247498192 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1919/tid=1922] ppid=1917 vsize=687376 CPUtime=702.23 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 46728 0 0 0 70206 17 0 0 25 0 4 0 650617352 703873024 120227 33554432000 4194304 4650419 140734247498192 18446744073709551615 4303950 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2802.62
Current children cumulated vsize (KiB) 687376

[startup+762.301 s]
/proc/loadavg: 8.29 8.28 7.49 9/291 2064
/proc/meminfo: memFree=18237076/32951124 swapFree=66457188/67111528
[pid=1919] ppid=1917 vsize=687592 CPUtime=3042.07 cores=0,2,4,6
/proc/1919/stat : 1919 (strangenight1-m) R 1917 1919 1724 0 -1 4202496 191727 0 0 0 304006 201 0 0 25 0 4 0 650617351 704094208 120099 33554432000 4194304 4650419 140734247498192 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1919/statm: 171898 120099 396 112 0 166863 0
[pid=1919/tid=1920] ppid=1917 vsize=687592 CPUtime=755.37 cores=0,2,4,6
/proc/1919/task/1920/stat : 1920 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 50872 0 0 0 75518 19 0 0 25 0 4 0 650617352 704094208 120099 33554432000 4194304 4650419 140734247498192 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1919/tid=1921] ppid=1917 vsize=687592 CPUtime=762.21 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 44924 0 0 0 76196 25 0 0 25 0 4 0 650617352 704094208 120099 33554432000 4194304 4650419 140734247498192 18446744073709551615 4364841 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1919/tid=1922] ppid=1917 vsize=687592 CPUtime=762.23 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 46981 0 0 0 76205 18 0 0 25 0 4 0 650617352 704094208 120099 33554432000 4194304 4650419 140734247498192 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3042.07
Current children cumulated vsize (KiB) 687592

[startup+822.301 s]
/proc/loadavg: 8.21 8.26 7.53 9/291 2066
/proc/meminfo: memFree=18078552/32951124 swapFree=66457188/67111528
[pid=1919] ppid=1917 vsize=699172 CPUtime=3281.54 cores=0,2,4,6
/proc/1919/stat : 1919 (strangenight1-m) R 1917 1919 1724 0 -1 4202496 197726 0 0 0 327951 203 0 0 25 0 4 0 650617351 715952128 121038 33554432000 4194304 4650419 140734247498192 18446744073709551615 4364944 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1919/statm: 174793 121038 396 112 0 169758 0
[pid=1919/tid=1920] ppid=1917 vsize=699172 CPUtime=814.83 cores=0,2,4,6
/proc/1919/task/1920/stat : 1920 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 52459 0 0 0 81463 20 0 0 25 0 4 0 650617352 715952128 121038 33554432000 4194304 4650419 140734247498192 18446744073709551615 4333678 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1919/tid=1921] ppid=1917 vsize=699172 CPUtime=822.21 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 46458 0 0 0 82195 26 0 0 25 0 4 0 650617352 715952128 121038 33554432000 4194304 4650419 140734247498192 18446744073709551615 4333937 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1919/tid=1922] ppid=1917 vsize=699172 CPUtime=822.24 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 47087 0 0 0 82206 18 0 0 25 0 4 0 650617352 715952128 121038 33554432000 4194304 4650419 140734247498192 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3281.54
Current children cumulated vsize (KiB) 699172

[startup+882.3 s]
/proc/loadavg: 8.20 8.24 7.56 9/291 2068
/proc/meminfo: memFree=17969880/32951124 swapFree=66457188/67111528
[pid=1919] ppid=1917 vsize=710932 CPUtime=3520.99 cores=0,2,4,6
/proc/1919/stat : 1919 (strangenight1-m) R 1917 1919 1724 0 -1 4202496 205378 0 0 0 351892 207 0 0 25 0 4 0 650617351 727994368 123248 33554432000 4194304 4650419 140734247498192 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1919/statm: 177733 123248 396 112 0 172698 0
[pid=1919/tid=1920] ppid=1917 vsize=710932 CPUtime=874.28 cores=0,2,4,6
/proc/1919/task/1920/stat : 1920 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 54112 0 0 0 87407 21 0 0 25 0 4 0 650617352 727994368 123248 33554432000 4194304 4650419 140734247498192 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1919/tid=1921] ppid=1917 vsize=710932 CPUtime=882.21 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 48563 0 0 0 88194 27 0 0 25 0 4 0 650617352 727994368 123248 33554432000 4194304 4650419 140734247498192 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1919/tid=1922] ppid=1917 vsize=710932 CPUtime=882.23 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 48047 0 0 0 88205 18 0 0 25 0 4 0 650617352 727994368 123248 33554432000 4194304 4650419 140734247498192 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3520.99
Current children cumulated vsize (KiB) 710932

[startup+942.301 s]
/proc/loadavg: 8.25 8.24 7.60 9/291 2069
/proc/meminfo: memFree=17732260/32951124 swapFree=66457188/67111528
[pid=1919] ppid=1917 vsize=722696 CPUtime=3760.47 cores=0,2,4,6
/proc/1919/stat : 1919 (strangenight1-m) R 1917 1919 1724 0 -1 4202496 215364 0 0 0 375834 213 0 0 25 0 4 0 650617351 740040704 126164 33554432000 4194304 4650419 140734247498192 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1919/statm: 180674 126164 396 112 0 175639 0
[pid=1919/tid=1920] ppid=1917 vsize=722696 CPUtime=933.74 cores=0,2,4,6
/proc/1919/task/1920/stat : 1920 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 56269 0 0 0 93352 22 0 0 25 0 4 0 650617352 740040704 126164 33554432000 4194304 4650419 140734247498192 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1919/tid=1921] ppid=1917 vsize=722696 CPUtime=942.23 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 50313 0 0 0 94195 28 0 0 25 0 4 0 650617352 740040704 126164 33554432000 4194304 4650419 140734247498192 18446744073709551615 4365657 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1919/tid=1922] ppid=1917 vsize=722696 CPUtime=942.24 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 50374 0 0 0 94204 20 0 0 25 0 4 0 650617352 740040704 126164 33554432000 4194304 4650419 140734247498192 18446744073709551615 4365450 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3760.47
Current children cumulated vsize (KiB) 722696

[startup+1002.3 s]
/proc/loadavg: 8.19 8.22 7.64 9/291 2071
/proc/meminfo: memFree=17600300/32951124 swapFree=66457188/67111528
[pid=1919] ppid=1917 vsize=722948 CPUtime=3999.91 cores=0,2,4,6
/proc/1919/stat : 1919 (strangenight1-m) R 1917 1919 1724 0 -1 4202496 222633 0 0 0 399775 216 0 0 25 0 4 0 650617351 740298752 127974 33554432000 4194304 4650419 140734247498192 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1919/statm: 180737 127974 396 112 0 175702 0
[pid=1919/tid=1920] ppid=1917 vsize=722948 CPUtime=993.19 cores=0,2,4,6
/proc/1919/task/1920/stat : 1920 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 58269 0 0 0 99296 23 0 0 25 0 4 0 650617352 740298752 127974 33554432000 4194304 4650419 140734247498192 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1919/tid=1921] ppid=1917 vsize=722948 CPUtime=1002.22 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 51891 0 0 0 100193 29 0 0 25 0 4 0 650617352 740298752 127974 33554432000 4194304 4650419 140734247498192 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1919/tid=1922] ppid=1917 vsize=722948 CPUtime=1002.24 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 51083 0 0 0 100203 21 0 0 25 0 4 0 650617352 740298752 127974 33554432000 4194304 4650419 140734247498192 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3999.91
Current children cumulated vsize (KiB) 722948

[startup+1062.31 s]
/proc/loadavg: 8.21 8.22 7.67 9/291 2072
/proc/meminfo: memFree=17575092/32951124 swapFree=66457188/67111528
[pid=1919] ppid=1917 vsize=688816 CPUtime=4239.4 cores=0,2,4,6
/proc/1919/stat : 1919 (strangenight1-m) R 1917 1919 1724 0 -1 4202496 228705 0 0 0 423722 218 0 0 25 0 4 0 650617351 705347584 128473 33554432000 4194304 4650419 140734247498192 18446744073709551615 4333710 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1919/statm: 172204 128473 396 112 0 167169 0
[pid=1919/tid=1920] ppid=1917 vsize=688816 CPUtime=1052.65 cores=0,2,4,6
/proc/1919/task/1920/stat : 1920 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 61620 0 0 0 105241 24 0 0 25 0 4 0 650617352 705347584 128473 33554432000 4194304 4650419 140734247498192 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1919/tid=1921] ppid=1917 vsize=688816 CPUtime=1062.23 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 52100 0 0 0 106194 29 0 0 25 0 4 0 650617352 705347584 128473 33554432000 4194304 4650419 140734247498192 18446744073709551615 4363756 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1919/tid=1922] ppid=1917 vsize=688816 CPUtime=1062.24 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 53241 0 0 0 106203 21 0 0 25 0 4 0 650617352 705347584 128473 33554432000 4194304 4650419 140734247498192 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4239.4
Current children cumulated vsize (KiB) 688816

[startup+1122.3 s]
/proc/loadavg: 8.17 8.21 7.70 9/291 2074
/proc/meminfo: memFree=17475752/32951124 swapFree=66457188/67111528
[pid=1919] ppid=1917 vsize=724096 CPUtime=4478.82 cores=0,2,4,6
/proc/1919/stat : 1919 (strangenight1-m) R 1917 1919 1724 0 -1 4202496 234660 0 0 0 447661 221 0 0 25 0 4 0 650617351 741474304 132454 33554432000 4194304 4650419 140734247498192 18446744073709551615 4315137 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1919/statm: 181024 132454 396 112 0 175989 0
[pid=1919/tid=1920] ppid=1917 vsize=724096 CPUtime=1112.11 cores=0,2,4,6
/proc/1919/task/1920/stat : 1920 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 63333 0 0 0 111186 25 0 0 25 0 4 0 650617352 741474304 132454 33554432000 4194304 4650419 140734247498192 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1919/tid=1921] ppid=1917 vsize=724096 CPUtime=1122.22 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 52106 0 0 0 112193 29 0 0 25 0 4 0 650617352 741474304 132454 33554432000 4194304 4650419 140734247498192 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1919/tid=1922] ppid=1917 vsize=724096 CPUtime=1122.23 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 55391 0 0 0 112200 23 0 0 25 0 4 0 650617352 741474304 132454 33554432000 4194304 4650419 140734247498192 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4478.82
Current children cumulated vsize (KiB) 724096

[startup+1182.3 s]
/proc/loadavg: 8.12 8.18 7.72 9/291 2076
/proc/meminfo: memFree=17470880/32951124 swapFree=66457188/67111528
[pid=1919] ppid=1917 vsize=724252 CPUtime=4718.28 cores=0,2,4,6
/proc/1919/stat : 1919 (strangenight1-m) R 1917 1919 1724 0 -1 4202496 239273 0 0 0 471605 223 0 0 25 0 4 0 650617351 741634048 133539 33554432000 4194304 4650419 140734247498192 18446744073709551615 4433074 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1919/statm: 181063 133539 396 112 0 176028 0
[pid=1919/tid=1920] ppid=1917 vsize=724252 CPUtime=1171.56 cores=0,2,4,6
/proc/1919/task/1920/stat : 1920 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 63834 0 0 0 117131 25 0 0 25 0 4 0 650617352 741634048 133539 33554432000 4194304 4650419 140734247498192 18446744073709551615 4363383 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1919/tid=1921] ppid=1917 vsize=724252 CPUtime=1182.22 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 52186 0 0 0 118193 29 0 0 25 0 4 0 650617352 741634048 133539 33554432000 4194304 4650419 140734247498192 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1919/tid=1922] ppid=1917 vsize=724252 CPUtime=1182.22 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 56562 0 0 0 118199 23 0 0 25 0 4 0 650617352 741634048 133539 33554432000 4194304 4650419 140734247498192 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4718.28
Current children cumulated vsize (KiB) 724252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.09 8.17 7.73 9/291 2076
/proc/meminfo: memFree=17396104/32951124 swapFree=66457188/67111528
[pid=1919] ppid=1917 vsize=724252 CPUtime=4800.11 cores=0,2,4,6
/proc/1919/stat : 1919 (strangenight1-m) R 1917 1919 1724 0 -1 4202496 241086 0 0 0 479787 224 0 0 25 0 4 0 650617351 741634048 135352 33554432000 4194304 4650419 140734247498192 18446744073709551615 4366879 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1919/statm: 181063 135352 396 112 0 176028 0
[pid=1919/tid=1920] ppid=1917 vsize=724252 CPUtime=1191.88 cores=0,2,4,6
/proc/1919/task/1920/stat : 1920 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 63834 0 0 0 119163 25 0 0 25 0 4 0 650617352 741634048 135352 33554432000 4194304 4650419 140734247498192 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1919/tid=1921] ppid=1917 vsize=724252 CPUtime=1202.73 cores=0,2,4,6
/proc/1919/task/1921/stat : 1921 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 52186 0 0 0 120244 29 0 0 25 0 4 0 650617352 741634048 135352 33554432000 4194304 4650419 140734247498192 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1919/tid=1922] ppid=1917 vsize=724252 CPUtime=1202.74 cores=0,2,4,6
/proc/1919/task/1922/stat : 1922 (strangenight1-m) R 1917 1919 1724 0 -1 4202560 57089 0 0 0 120250 24 0 0 25 0 4 0 650617352 741634048 135352 33554432000 4194304 4650419 140734247498192 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 724252

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.84
CPU time (s): 4800.19
CPU user time (s): 4797.91
CPU system time (s): 2.27565
CPU usage (%): 399.07
Max. virtual memory (cumulated for all children) (KiB): 724392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.91
system time used= 2.27565
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 241087
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= 10375
involuntary context switches= 33138

runsolver used 3.18552 second user time and 7.76182 second system time

The end

Launcher Data 

Begin job on node132 at 2011-05-14 18:23:12
IDJOB=3369644
IDBENCH=70848
IDSOLVER=1846
FILE ID=node132/3369644-1305390192
RUNJOBID= node132-1305389035-1742
PBS_JOBID= 13324437
Free space on /tmp= 73196 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/crypto/desgen/gss-22-s100.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369644-1305390192/watcher-3369644-1305390192 -o /tmp/evaluation-result-3369644-1305390192/solver-3369644-1305390192 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369644-1305390192.cnf

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

MD5SUM BENCH= 96596d59af0c6949ab68ac8c5abcf28b
RANDOM SEED=1789586611

node132.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.833
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.833
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.74
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.833
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.76
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.833
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.833
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.77
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.833
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.67
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.833
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.833
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:      18184040 kB
Buffers:        259304 kB
Cached:        5554528 kB
SwapCached:       6904 kB
Active:        8293964 kB
Inactive:      6179664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18184040 kB
SwapTotal:    67111528 kB
SwapFree:     66457188 kB
Dirty:            7728 kB
Writeback:           0 kB
AnonPages:     8657188 kB
Mapped:          19488 kB
Slab:           200000 kB
PageTables:      32020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 38647660 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73292 MiB
End job on node132 at 2011-05-14 18:43:17