Trace number 3321255

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-2-mtSAT 1090.85 136.602

General information on the benchmark

NameSAT05/industrial/grieu05/vmpc/
vmpc_32.renamed-as.sat05-1919.cnf
MD5SUM833432e05c2a1599e13dca28680b5df9
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark216.737
Satisfiable
(Un)Satisfiability was proved
Number of variables1024
Number of clauses161664
Sum of the clauses size423264
Maximum clause length32
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 263584
Number of clauses of size 398016
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 564

Solver Data 

0.00/0.00	c Outputting solution to console
0.12/0.03	c Using 8 threads
0.12/0.03	c This is CryptoMiniSat 3.0.0
0.12/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.12/0.03	c Reading file 'HOME/instance-3321255-1304342082.cnf'
0.12/0.03	c -- header says num vars:           1024
0.12/0.03	c -- header says num clauses:      161664
6.62/0.92	c -- clauses added:            0 learnts,       161664 normals,            0 xors
6.62/0.92	c -- vars added       1024
6.62/0.92	c Parsing time:  0.05 s
6.62/0.92	c  N st     0         0      1024     98080     63584         0    423264         0   no data   no data
6.62/0.92	c asymm  cl-useful: 122/6592/98080 lits-rem:364 time: 0.65
6.62/0.97	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.4M T:  0.14
7.18/1.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.18/1.08	c bin-w-bin subsume rem        31784 bins  time:  0.03 s
8.75/1.21	c subs with bin:    16992  lits-rem:     11408  v-fix:    0  time:  0.13 s
8.75/1.23	c Subs w/ non-existent bins:    228 l-rem:     61 v-fix:     0 done:   1023 time:  0.01 s
8.75/1.27	c Removed useless bin:    6520  fixed:     0  props:   4.62M  time:  0.02 s
10.28/1.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
10.28/1.41	c Finding binary XORs  T:     0.00 s  found:       0
10.28/1.42	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
10.28/1.42	c calculated reachability. Time: 0.00
10.28/1.43	c Calc default polars -  time:   0.00 s pos:       0 undec:       1 neg:    1023
10.28/1.43	c =========================================================================================
10.28/1.43	c types(t): F = full restart, N = normal restart
10.28/1.43	c types(t): S = simplification begin/end, E = solution found
10.28/1.43	c restart types(rt): st = static, dy = dynamic
10.28/1.43	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
10.28/1.43	c  B st     0         0      1023     80049     37212         0    316425         0   no data   no data
15.87/2.10	c  N dy    17      4029      1023     80049     37216      3977    316425     97275      8.25      9.96
19.87/2.68	c Finding binary XORs  T:     0.00 s  found:       0
20.67/2.78	c  N dy    44      8067      1023     80049     43094      7956    316425    204370      8.94      9.61
26.32/3.47	c  N dy    66     12084      1023     80049     43094     11925    316425    301529      9.02      9.59
31.86/4.18	c  N dy    88     16162      1023     80049     43106     15937    316425    397895      9.07      9.61
38.26/4.92	c  N dy   110     20315      1023     80049     43111     10173    316425    177914      9.15      9.65
43.91/5.66	c  N dy   133     24543      1023     80049     43111     14348    316425    279319      9.14      9.81
44.71/5.74	c  F st   136     25002      1023     80049     43116     14803    316425    289590      9.13      9.42
51.85/6.61	c  N dy   142     30000      1023     80049     43116     19730    316425    426033      9.13   no data
51.85/6.61	c  S st   142     30000      1023     80049     43116     19730    316425    426033      9.13   no data
52.70/6.70	c  S st   142     30501      1023     80049     43116     20231    316425    437026      9.13   no data
52.70/6.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
53.49/6.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     78 BRemL:   5835 BRemN:      0 P:  7.9M T:  0.17
53.49/6.89	c blocked clauses removed:        0 vars:      0 tried:        1023 T: 0.00 s
54.24/6.90	c bin-w-bin subsume rem         2815 bins  time:  0.01 s
54.24/6.99	c subs with bin:      111  lits-rem:        74  v-fix:    0  time:  0.09 s
55.04/7.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.01 s
55.04/7.01	c Removed useless bin:      18  fixed:     0  props:   3.24M  time:  0.01 s
55.04/7.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
64.63/8.22	c subs with bin:        3  lits-rem:       468  v-fix:    0  time:  1.18 s
66.23/8.47	c lits-rem:       841  cl-subs:     3297  v-elim:      0  v-fix:    0  time:  0.24 s
69.43/8.82	c asymm  cl-useful: 0/3213/79938 lits-rem:0 time: 0.34
69.43/8.82	c calculated reachability. Time: 0.00
69.43/8.82	c  N dy   142     30501      1023     79938     34600     16931    310642    382878      9.13   no data
75.81/9.60	c  N dy   165     34863      1023     79938     34604     21250    310642    488489      9.11      9.62
81.41/10.34	c  N dy   187     38889      1023     79938     34610     25215    310642    582527      9.12     11.79
87.86/11.12	c  N dy   211     42970      1023     79938     34610     29265    310642    681950      9.17      9.96
91.80/11.64	c  S st   228     45752      1023     79938     34610     16736    310642    265493      9.20   no data
92.61/11.73	c  S st   228     46252      1023     79938     34610     17235    310642    276449      9.20   no data
92.61/11.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
93.41/11.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:      5 BRemN:     13 P:  7.8M T:  0.16
94.21/11.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
94.21/11.91	c bin-w-bin subsume rem           65 bins  time:  0.01 s
95.01/12.00	c subs with bin:        6  lits-rem:         4  v-fix:    0  time:  0.09 s
95.01/12.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.01 s
95.01/12.02	c Removed useless bin:      32  fixed:     0  props:   3.29M  time:  0.01 s
95.01/12.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
99.80/12.66	c subs with bin:        2  lits-rem:        20  v-fix:    0  time:  0.62 s
100.60/12.73	c lits-rem:       228  cl-subs:      946  v-elim:      0  v-fix:    0  time:  0.07 s
100.60/12.75	c vivif2 --  cl tried    79932 cl shrink        0 lits rem          0 time: 0.02
100.60/12.77	c vivif2 --  cl tried    16287 cl shrink     2674 lits rem       3943 time: 0.02
103.80/13.12	c asymm  cl-useful: 0/3251/79932 lits-rem:0 time: 0.35
103.80/13.13	c calculated reachability. Time: 0.00
103.80/13.13	c  N dy   228     46252      1023     79932     34504     16287    310516    262152      9.20   no data
109.39/13.88	c  N dy   256     50311      1023     79932     34510     20265    310516    356845      9.25      9.76
115.79/14.62	c  N dy   276     54352      1023     79932     34510     24251    310516    455035      9.24      9.77
122.18/15.40	c  N dy   303     58416      1023     79932     34517     28243    310516    551663      9.27     10.60
128.58/16.24	c  N dy   327     62634      1023     79932     34519     32418    310516    653450      9.31      9.84
134.97/17.00	c  N dy   351     66643      1023     79932     34519     36373    310516    746434      9.34      9.83
138.97/17.55	c  S st   369     69380      1023     79932     34521     20590    310516    306998      9.35      7.64
139.77/17.65	c  S st   369     69881      1023     79932     34521     21088    310516    317885      9.35   no data
139.77/17.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
141.42/17.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      2 BRemN:      0 P:  8.0M T:  0.16
141.42/17.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
141.42/17.83	c bin-w-bin subsume rem            4 bins  time:  0.01 s
142.16/17.92	c subs with bin:       12  lits-rem:         8  v-fix:    0  time:  0.09 s
142.16/17.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.01 s
142.16/17.94	c Removed useless bin:       4  fixed:     0  props:   3.30M  time:  0.01 s
142.16/17.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
147.77/18.69	c subs with bin:        6  lits-rem:        63  v-fix:    0  time:  0.73 s
149.41/18.81	c lits-rem:       195  cl-subs:     1086  v-elim:      0  v-fix:    0  time:  0.11 s
149.41/18.83	c vivif2 --  cl tried    79920 cl shrink        0 lits rem          0 time: 0.02
149.41/18.85	c vivif2 --  cl tried    19996 cl shrink     1429 lits rem       2098 time: 0.02
152.55/19.20	c asymm  cl-useful: 6/3117/79920 lits-rem:18 time: 0.35
152.55/19.21	c calculated reachability. Time: 0.00
152.55/19.21	c  N dy   369     69881      1023     79914     34527     19996    310488    304736      9.35   no data
159.01/20.09	c  N dy   395     74436      1023     79914     34528     24472    310488    411826      9.37     10.20
166.14/20.98	c  N dy   423     79197      1023     79914     34528     29168    310488    531804      9.39      9.96
168.54/21.23	c Finding binary XORs  T:     0.00 s  found:       0
174.15/21.94	c  N dy   447     84403      1023     79914     34694     34280    310488    657737      9.39      9.97
178.94/22.53	c  F st   466     87503      1023     79914     34697     37347    310488    737062      9.40   no data
184.59/23.24	c  N st   471     90800      1023     79914     34697     40599    310488    815996      9.40   no data
193.38/24.34	c  N dy   493     96741      1023     79914     34699     25902    310488    357044      9.39     10.05
202.17/25.49	c  N dy   526    102920      1023     79914     34703     31991    310488    506387      9.42      9.94
205.31/25.85	c  S st   538    104821      1023     79914     34703     33852    310488    549566      9.43      8.60
206.11/25.95	c  S st   538    105325      1023     79914     34704     34356    310488    560845      9.43   no data
206.11/25.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
207.71/26.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      7 BRemL:    162 BRemN:      0 P:  8.3M T:  0.17
207.71/26.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
207.71/26.15	c bin-w-bin subsume rem            9 bins  time:  0.01 s
208.51/26.24	c subs with bin:       12  lits-rem:        12  v-fix:    0  time:  0.09 s
208.51/26.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.01 s
208.51/26.26	c Removed useless bin:       6  fixed:     0  props:   3.29M  time:  0.01 s
208.51/26.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
219.77/27.65	c subs with bin:       26  lits-rem:        91  v-fix:    0  time:  1.36 s
222.11/27.95	c lits-rem:       584  cl-subs:     3006  v-elim:      0  v-fix:    0  time:  0.29 s
222.11/27.97	c vivif2 --  cl tried    79902 cl shrink        0 lits rem          0 time: 0.02
222.91/28.01	c vivif2 --  cl tried    31324 cl shrink     4472 lits rem       7542 time: 0.04
225.30/28.35	c asymm  cl-useful: 6/3020/79902 lits-rem:18 time: 0.34
225.30/28.36	c calculated reachability. Time: 0.00
225.30/28.36	c  N dy   538    105325      1023     79896     34552     31324    310456    511643      9.43   no data
235.69/29.67	c  N dy   580    112196      1023     79896     34553     38104    310456    684425      9.44     10.03
246.94/31.09	c  N dy   617    119509      1023     79896     34553     23212    310456    234430      9.44     10.28
258.88/32.50	c  N dy   659    127145      1023     79896     34555     30752    310456    424636      9.45     10.02
271.66/34.14	c  N dy   701    135331      1023     79896     34558     38849    310456    624707      9.45     10.96
286.05/35.98	c  N dy   745    144165      1023     79896     34559     24171    310456    242391      9.45     10.13
300.44/37.72	c  N dy   794    153456      1023     79896     34569     33351    310456    471728      9.44     10.07
306.84/38.59	c  S st   819    157987      1023     79896     34570     37802    310456    581162      9.45   no data
307.70/38.68	c  S st   819    158488      1023     79896     34570     38303    310456    593860      9.45   no data
307.70/38.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
309.24/38.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  8.6M T:  0.18
309.24/38.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
309.24/38.88	c bin-w-bin subsume rem           12 bins  time:  0.01 s
310.04/38.97	c subs with bin:       12  lits-rem:        12  v-fix:    0  time:  0.09 s
310.04/38.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.01 s
310.04/38.99	c Removed useless bin:       0  fixed:     0  props:   3.30M  time:  0.01 s
310.83/39.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
321.22/40.34	c subs with bin:       33  lits-rem:        86  v-fix:    0  time:  1.31 s
323.63/40.67	c lits-rem:       674  cl-subs:     3077  v-elim:      0  v-fix:    0  time:  0.32 s
323.63/40.69	c vivif2 --  cl tried    79884 cl shrink        0 lits rem          0 time: 0.02
324.43/40.73	c vivif2 --  cl tried    35193 cl shrink     4720 lits rem       7634 time: 0.04
326.82/41.06	c asymm  cl-useful: 5/2803/79884 lits-rem:15 time: 0.33
326.82/41.06	c calculated reachability. Time: 0.00
326.82/41.06	c  N dy   819    158488      1023     79879     34576     35193    310439    546374      9.45   no data
342.85/43.06	c  N dy   881    168617      1023     79879     34577     45200    310439    797281      9.45     11.41
360.44/45.22	c  N dy   943    179462      1023     79879     34581     31383    310439    389326      9.46     13.24
378.04/47.49	c  N dy  1015    191065      1023     79879     34581     42813    310439    672198      9.47     10.11
397.96/49.95	c  N dy  1075    203261      1023     79879     34583     29295    310439    275712      9.46     10.39
417.95/52.41	c  N dy  1143    216320      1023     79879     34588     42174    310439    589044      9.45     10.13
439.59/55.12	c  N dy  1224    230148      1023     79879     34590     29216    310439    228441      9.47      9.99
449.92/56.47	c  S st  1267    237733      1023     79879     34590     36684    310439    422888      9.48      8.82
450.72/56.56	c  S st  1267    238233      1023     79879     34590     37183    310439    435246      9.48   no data
450.72/56.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
452.32/56.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P:  8.2M T:  0.17
452.32/56.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
452.32/56.76	c bin-w-bin subsume rem           12 bins  time:  0.01 s
453.12/56.85	c subs with bin:       13  lits-rem:        12  v-fix:    0  time:  0.09 s
453.12/56.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.01 s
453.12/56.87	c Removed useless bin:       0  fixed:     0  props:   3.32M  time:  0.01 s
453.12/56.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
461.91/57.93	c subs with bin:       41  lits-rem:        31  v-fix:    0  time:  1.02 s
463.51/58.19	c lits-rem:       406  cl-subs:     2366  v-elim:      0  v-fix:    0  time:  0.26 s
464.31/58.21	c vivif2 --  cl tried    79866 cl shrink        0 lits rem          0 time: 0.02
464.31/58.24	c vivif2 --  cl tried    34776 cl shrink     3567 lits rem       6017 time: 0.03
466.76/58.59	c asymm  cl-useful: 5/3014/79866 lits-rem:15 time: 0.35
467.50/58.60	c calculated reachability. Time: 0.00
467.50/58.60	c  N dy  1267    238233      1023     79861     34598     34776    310421    400356      9.48   no data
491.50/61.66	c  N dy  1353    253521      1023     79861     34603     49845    310421    775194      9.49     10.15
516.27/64.78	c  N dy  1448    269858      1023     79861     34615     38387    310421    427824      9.51     10.14
543.45/68.17	c  N dy  1551    287295      1023     79861     34615     55595    310421    854969      9.53     10.30
571.47/71.65	c  N dy  1656    305648      1023     79861     34617     45107    310421    576695      9.54     10.06
572.28/71.77	c  F st  1661    306250      1023     79861     34617     45702    310421    591783      9.55     10.23
602.60/75.52	c  N dy  1739    325184      1023     79861     34619     34796    310421    305012      9.55     11.65
633.83/79.41	c  N dy  1867    345227      1023     79861     34621     54550    310421    797645      9.57     10.54
652.95/81.81	c  S st  1933    357353      1023     79861     34622     35963    310421    322699      9.57   no data
653.76/81.90	c  S st  1933    357855      1023     79861     34622     36465    310421    334658      9.57   no data
653.76/81.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
654.57/82.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      2 BRemN:      1 P:  8.2M T:  0.16
654.57/82.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
654.57/82.09	c bin-w-bin subsume rem           12 bins  time:  0.01 s
655.37/82.18	c subs with bin:       16  lits-rem:        14  v-fix:    0  time:  0.09 s
655.37/82.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.01 s
656.17/82.20	c Removed useless bin:       0  fixed:     0  props:   3.33M  time:  0.01 s
656.17/82.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
661.76/82.90	c subs with bin:      119  lits-rem:        58  v-fix:    0  time:  0.67 s
662.56/83.07	c lits-rem:       326  cl-subs:     1290  v-elim:      0  v-fix:    0  time:  0.16 s
662.56/83.09	c vivif2 --  cl tried    79845 cl shrink        0 lits rem          0 time: 0.02
663.36/83.11	c vivif2 --  cl tried    35056 cl shrink     1996 lits rem       3253 time: 0.03
665.76/83.45	c asymm  cl-useful: 2/3086/79845 lits-rem:6 time: 0.34
665.76/83.46	c calculated reachability. Time: 0.00
665.76/83.46	c  N dy  1933    357855      1023     79843     34625     35056    310401    315145      9.57   no data
697.73/87.41	c  N dy  2033    377998      1023     79843     34629     54908    310401    811554      9.56     10.11
729.75/91.44	c  N dy  2146    398115      1023     79843     34639     43199    310401    478013      9.57     10.15
761.68/95.43	c  N dy  2266    418129      1023     79843     34640     62928    310401    975040      9.58     10.23
793.65/99.42	c  N dy  2378    438228      1023     79843     34641     50225    310401    635970      9.59     11.63
827.28/103.63	c  N dy  2499    458258      1023     79843     34642     36445    310401    287350      9.60     10.20
858.40/107.57	c  N dy  2603    478355      1023     79843     34644     56275    310401    777657      9.60     10.12
891.97/111.75	c  N dy  2715    498478      1023     79843     34644     41570    310401    396685      9.60     10.64
925.55/115.90	c  N dy  2833    518904      1023     79843     34644     61689    310401    885456      9.61     10.13
954.33/119.54	c  S st  2933    536783      1023     79843     34646     43849    310401    423273      9.61   no data
955.12/119.62	c  S st  2933    537286      1023     79843     34646     44352    310401    435388      9.61   no data
955.12/119.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
956.72/119.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      1 BRemN:      0 P:  8.4M T:  0.17
956.72/119.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
956.72/119.83	c bin-w-bin subsume rem           15 bins  time:  0.01 s
957.52/119.91	c subs with bin:       10  lits-rem:         7  v-fix:    0  time:  0.09 s
957.52/119.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1023 time:  0.01 s
957.52/119.94	c Removed useless bin:       3  fixed:     0  props:   3.35M  time:  0.01 s
957.52/119.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
964.72/120.87	c subs with bin:      113  lits-rem:        66  v-fix:    0  time:  0.90 s
967.17/121.11	c lits-rem:       502  cl-subs:     1975  v-elim:      0  v-fix:    0  time:  0.23 s
967.17/121.13	c vivif2 --  cl tried    79833 cl shrink        0 lits rem          0 time: 0.02
967.17/121.16	c vivif2 --  cl tried    42264 cl shrink     2663 lits rem       4597 time: 0.03
970.31/121.50	c asymm  cl-useful: 3/2905/79833 lits-rem:9 time: 0.34
970.31/121.51	c calculated reachability. Time: 0.00
970.31/121.51	c  N dy  2933    537286      1023     79830     34638     42264    310380    405310      9.61   no data
1002.33/125.54	c  N dy  3045    557399      1023     79830     34646     62124    310380    883041      9.61     10.19
1035.06/129.67	c  N dy  3180    577514      1023     79830     34648     45468    310380    439309      9.63     10.26
1067.03/133.67	c  N dy  3290    597556      1023     79830     34649     65211    310380    924178      9.63     10.15
1090.26/136.57	c Following stats are for *FIRST FINISHED THREAD ONLY*
1090.26/136.57	c num threads              : 8          
1090.26/136.57	c restarts                 : 3755       
1090.26/136.57	c dynamic restarts         : 3731       
1090.26/136.57	c static restarts          : 24         
1090.26/136.57	c full restarts            : 3          
1090.26/136.57	c total simplify time      : 0.01       
1090.26/136.57	c learnts DL2              : 0          
1090.26/136.57	c learnts size 2           : 82044      
1090.26/136.57	c learnts size 1           : 1           (0.10      % of vars)
1090.26/136.57	c filedLit time            : 0.77        (0.57      % time)
1090.26/136.57	c v-elim SatELite          : 0           (0.00      % vars)
1090.26/136.57	c SatELite time            : 0.83        (0.61      % time)
1090.26/136.57	c v-elim xor               : 0           (0.00      % vars)
1090.26/136.57	c xor elim time            : 0.02        (0.01      % time)
1090.26/136.57	c num binary xor trees     : 0          
1090.26/136.57	c binxor trees' crown      : 0           (nan       leafs/tree)
1090.26/136.57	c bin xor find time        : 0.00       
1090.26/136.57	c OTF clause improved      : 9569        (0.01      clauses/conflict)
1090.26/136.57	c OTF impr. size diff      : 12785       (1.34       lits/clause)
1090.26/136.57	c OTF cl watch-shrink      : 392904      (0.59      clauses/conflict)
1090.26/136.57	c OTF cl watch-sh-lit      : 1921838     (4.89       lits/clause)
1090.26/136.57	c tried to recurMin cls    : 226980      (33.94      % of conflicts)
1090.26/136.57	c updated cache            : 3271        (0.01       lits/tried recurMin)
1090.26/136.57	c unit cls recevied        : 0           (0.00      % of units)
1090.26/136.57	c unit cls sent            : 0           (0.00      % of units)
1090.26/136.57	c bin cls recevied         : 6224       
1090.26/136.57	c bin cls sent             : 300        
1090.26/136.57	c clauses over max glue    : 0           (0.00      % of all clauses)
1090.26/136.57	c conflicts                : 668775      (4904.61   / sec)
1090.26/136.57	c decisions                : 1479194     (0.29      % random)
1090.26/136.57	c bogo-props               : 8054365874  (59068540.63 / sec)
1090.26/136.57	c conflict literals        : 16377791    (57.13     % deleted)
1090.26/136.57	c Memory used              : 841.70      MB
1090.26/136.57	c single-thread CPU time   : 136.36      s
1090.26/136.57	c all-threads sum CPU time : 1089.88     s
1090.26/136.57	s SATISFIABLE
1090.26/136.57	v -1 -2 -3 -4 -5 -6 7 -8 -9 -10 -11 -12 -13 -14 -15 -16 -17 -18 -19 -20 -21 -22 -23 -24 -25 -26 -27 -28 -29 -30 -31 -32 -33 -34 -35 -36 -37 -38 -39 -40 -41 -42 -43 -44 -45 -46 -47 -48 -49 50 -51 -52 -53 -54 -55 -56 -57 -58 -59 -60 -61 -62 -63 -64 -65 -66 67 -68 -69 -70 -71 -72 -73 -74 -75 -76 -77 -78 -79 -80 -81 -82 -83 -84 -85 -86 -87 -88 -89 -90 -91 -92 -93 -94 -95 -96 -97 -98 -99 -100 -101 -102 -103 -104 -105 -106 -107 -108 -109 -110 -111 -112 -113 -114 -115 -116 -117 -118 -119 -120 -121 -122 123 -124 -125 -126 -127 -128 -129 -130 -131 -132 -133 -134 -135 -136 -137 -138 -139 -140 -141 -142 -143 -144 -145 -146 -147 -148 -149 -150 -151 -152 -153 154 -155 -156 -157 -158 -159 -160 -161 -162 -163 -164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 -178 -179 180 -181 -182 -183 -184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 -195 -196 -197 -198 -199 -200 -201 -202 -203 -204 -205 -206 -207 -208 209 -210 -211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 228 -229 -230 -231 -232 -233 -234 -235 -236 -237 -238 -239 -240 -241 -242 -243 -244 -245 -246 -247 -248 -249 -250 -251 -252 -253 -254 -255 -256 -257 -258 -259 -260 -261 -262 -263 -264 -265 -266 -267 -268 269 -270 -271 -272 -273 -274 -275 -276 -277 -278 -279 -280 -281 -282 -283 -284 -285 -286 -287 -288 289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 -305 -306 -307 -308 -309 -310 -311 -312 -313 -314 -315 -316 -317 -318 -319 -320 -321 322 -323 -324 -325 -326 -327 -328 -329 -330 -331 -332 -333 -334 -335 -336 -337 -338 -339 -340 -341 -342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 -355 -356 -357 -358 -359 -360 -361 -362 363 -364 -365 -366 -367 -368 -369 -370 -371 -372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 -385 -386 -387 -388 -389 -390 -391 -392 393 -394 -395 -396 -397 -398 -399 -400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 -414 -415 -416 -417 -418 -419 -420 -421 -422 -423 -424 -425 -426 -427 -428 -429 -430 -431 -432 -433 -434 -435 -436 -437 -438 -439 -440 -441 -442 -443 -444 -445 446 -447 -448 -449 -450 -451 -452 -453 -454 -455 -456 -457 -458 -459 -460 -461 -462 -463 -464 -465 -466 -467 -468 -469 470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 -487 -488 -489 -490 -491 -492 -493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504 505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 -516 517 -518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 -532 -533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 -554 -555 -556 -557 -558 -559 -560 -561 -562 -563 -564 -565 -566 567 -568 -569 -570 -571 -572 -573 -574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 -597 -598 -599 -600 -601 -602 -603 -604 605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 622 -623 -624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 -639 -640 -641 -642 -643 -644 -645 -646 -647 -648 -649 -650 -651 -652 -653 -654 -655 -656 -657 -658 659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 -672 -673 -674 -675 -676 -677 -678 -679 -680 -681 682 -683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 -713 -714 -715 716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 -730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 -757 -758 -759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 -772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 -799 -800 -801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 816 -817 -818 -819 -820 -821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 -835 -836 -837 -838 -839 -840 -841 -842 -843 -844 -845 -846 -847 -848 -849 -850 -851 -852 853 -854 -855 -856 -857 -858 -859 -860 -861 -862 -863 -864 -865 -866 -867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 888 -889 -890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 -912 -913 -914 -915 -916 -917 -918 -919 -920 -921 -922 -923 924 -925 -926 -927 -928 -929 -930 -931 -932 -933 -934 -935 -936 -937 -938 -939 -940 -941 -942 -943 -944 -945 -946 -947 -948 -949 -950 -951 -952 -953 -954 -955 -956 -957 -958 959 -960 -961 -962 -963 -964 -965 966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977 -978 -979 -980 -981 -982 -983 -984 -985 -986 -987 -988 -989 -990 -991 -992 -993 -994 -995 -996 -997 -998 -999 -1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 -1018 -1019 -1020 -1021 -1022 -1023 1024 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3321255-1304342082/watcher-3321255-1304342082 -o /tmp/evaluation-result-3321255-1304342082/solver-3321255-1304342082 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321255-1304342082.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.77 7.81 7.09 1/205 17744
/proc/meminfo: memFree=21248460/32951124 swapFree=67111444/67111528
[pid=17744] ppid=17742 vsize=92188 CPUtime=0.02 cores=0-7
/proc/17744/stat : 17744 (strangenight2-m) R 17742 17744 16908 0 -1 4202496 412 0 0 0 2 0 0 0 20 0 8 0 545806213 94400512 352 33554432000 4194304 4627427 140734269109248 18446744073709551615 47772655790002 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17744/statm: 23047 352 299 106 0 18018 0
[pid=17744/tid=17745] ppid=17742 vsize=92188 CPUtime=0 cores=0-7
/proc/17744/task/17745/stat : 17745 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 8 0 545806213 94400512 352 33554432000 4194304 4627427 140734269109248 18446744073709551615 47772655790002 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=92188 CPUtime=0 cores=0-7
/proc/17744/task/17746/stat : 17746 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 545806213 94400512 352 33554432000 4194304 4627427 140734269109248 18446744073709551615 47772655790002 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=92188 CPUtime=0 cores=0-7
/proc/17744/task/17747/stat : 17747 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 0 0 0 0 0 0 0 0 21 0 8 0 545806213 94400512 352 33554432000 4194304 4627427 140734269109248 18446744073709551615 47772655789996 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17748] ppid=17742 vsize=92188 CPUtime=0 cores=0-7
/proc/17744/task/17748/stat : 17748 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 545806213 94400512 352 33554432000 4194304 4627427 140734269109248 18446744073709551615 47772655789996 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17744/tid=17749] ppid=17742 vsize=92188 CPUtime=0 cores=0-7
/proc/17744/task/17749/stat : 17749 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 545806213 94400512 352 33554432000 4194304 4627427 140734269109248 18446744073709551615 228122770417 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17750] ppid=17742 vsize=92188 CPUtime=0 cores=0-7
/proc/17744/task/17750/stat : 17750 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 545806213 94400512 352 33554432000 4194304 4627427 140734269109248 18446744073709551615 228122770417 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17751] ppid=17742 vsize=92188 CPUtime=0 cores=0-7
/proc/17744/task/17751/stat : 17751 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 545806213 94400512 352 33554432000 4194304 4627427 140734269109248 18446744073709551615 228122770417 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.027125 s]
/proc/loadavg: 7.77 7.81 7.09 1/205 17744
/proc/meminfo: memFree=21248460/32951124 swapFree=67111444/67111528
[pid=17744] ppid=17742 vsize=92188 CPUtime=0.12 cores=0-7
/proc/17744/stat : 17744 (strangenight2-m) R 17742 17744 16908 0 -1 4202496 412 0 0 0 12 0 0 0 21 0 8 0 545806213 94400512 352 33554432000 4194304 4627427 140734269109248 18446744073709551615 47772655790002 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17744/statm: 23047 352 299 106 0 18018 0
[pid=17744/tid=17745] ppid=17742 vsize=92188 CPUtime=0.02 cores=0-7
/proc/17744/task/17745/stat : 17745 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 8 0 545806213 94400512 352 33554432000 4194304 4627427 140734269109248 18446744073709551615 47772655789996 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=92188 CPUtime=0.02 cores=0-7
/proc/17744/task/17746/stat : 17746 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 8 0 545806213 94400512 352 33554432000 4194304 4627427 140734269109248 18446744073709551615 47772655790002 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=92188 CPUtime=0.02 cores=0-7
/proc/17744/task/17747/stat : 17747 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 0 0 0 0 2 0 0 0 21 0 8 0 545806213 94400512 352 33554432000 4194304 4627427 140734269109248 18446744073709551615 47772655789996 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17748] ppid=17742 vsize=92188 CPUtime=0.02 cores=0-7
/proc/17744/task/17748/stat : 17748 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 8 0 545806213 94400512 352 33554432000 4194304 4627427 140734269109248 18446744073709551615 47772655790000 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17744/tid=17749] ppid=17742 vsize=92188 CPUtime=0.01 cores=0-7
/proc/17744/task/17749/stat : 17749 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 0 0 0 0 1 0 0 0 22 0 8 0 545806213 94400512 352 33554432000 4194304 4627427 140734269109248 18446744073709551615 47772655790002 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17750] ppid=17742 vsize=92188 CPUtime=0 cores=0-7
/proc/17744/task/17750/stat : 17750 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 545806213 94400512 352 33554432000 4194304 4627427 140734269109248 18446744073709551615 228122770417 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17751] ppid=17742 vsize=92188 CPUtime=0 cores=0-7
/proc/17744/task/17751/stat : 17751 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 8 0 545806213 94400512 352 33554432000 4194304 4627427 140734269109248 18446744073709551615 228122770417 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 92188

[startup+0.101187 s]
/proc/loadavg: 7.77 7.81 7.09 1/205 17744
/proc/meminfo: memFree=21248460/32951124 swapFree=67111444/67111528
[pid=17744] ppid=17742 vsize=559988 CPUtime=0.47 cores=0-7
/proc/17744/stat : 17744 (strangenight2-m) S 17742 17744 16908 0 -1 4202496 10743 0 0 0 37 10 0 0 17 0 8 0 545806213 573427712 10657 33554432000 4194304 4627427 140734269109248 18446744073709551615 228122819054 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17744/statm: 140030 10735 339 106 0 135001 0
[pid=17744/tid=17745] ppid=17742 vsize=560120 CPUtime=0.06 cores=0-7
/proc/17744/task/17745/stat : 17745 (strangenight2-m) D 17742 17744 16908 0 -1 4202560 1135 0 0 0 5 1 0 0 17 0 8 0 545806213 573562880 10757 33554432000 4194304 4627427 140734269109248 18446744073709551615 228122374853 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=560120 CPUtime=0.07 cores=0-7
/proc/17744/task/17746/stat : 17746 (strangenight2-m) S 17742 17744 16908 0 -1 4202560 1799 0 0 0 6 1 0 0 17 0 8 0 545806213 573562880 10784 33554432000 4194304 4627427 140734269109248 18446744073709551615 228122819054 0 0 4096 2 18446604453955554048 0 0 -1 4 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=560120 CPUtime=0.06 cores=0-7
/proc/17744/task/17747/stat : 17747 (strangenight2-m) D 17742 17744 16908 0 -1 4202560 1773 0 0 0 6 0 0 0 18 0 8 0 545806213 573562880 10798 33554432000 4194304 4627427 140734269109248 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17748] ppid=17742 vsize=560120 CPUtime=0.07 cores=0-7
/proc/17744/task/17748/stat : 17748 (strangenight2-m) D 17742 17744 16908 0 -1 4202560 1731 0 0 0 6 1 0 0 18 0 8 0 545806213 573562880 10832 33554432000 4194304 4627427 140734269109248 18446744073709551615 228122375201 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17744/tid=17749] ppid=17742 vsize=560120 CPUtime=0.05 cores=0-7
/proc/17744/task/17749/stat : 17749 (strangenight2-m) S 17742 17744 16908 0 -1 4202560 850 0 0 0 4 1 0 0 17 0 8 0 545806213 573562880 10839 33554432000 4194304 4627427 140734269109248 18446744073709551615 228122819054 0 0 4096 2 18446604453955554048 0 0 -1 2 0 0 0
[pid=17744/tid=17750] ppid=17742 vsize=560120 CPUtime=0.03 cores=0-7
/proc/17744/task/17750/stat : 17750 (strangenight2-m) D 17742 17744 16908 0 -1 4202560 1399 0 0 0 2 1 0 0 17 0 8 0 545806213 573562880 10913 33554432000 4194304 4627427 140734269109248 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17744/tid=17751] ppid=17742 vsize=560120 CPUtime=0.03 cores=0-7
/proc/17744/task/17751/stat : 17751 (strangenight2-m) S 17742 17744 16908 0 -1 4202560 863 0 0 0 2 1 0 0 17 0 8 0 545806213 573562880 10913 33554432000 4194304 4627427 140734269109248 18446744073709551615 228122819054 0 0 4096 2 18446604453955554048 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 559988

[startup+0.400021 s]
/proc/loadavg: 7.77 7.81 7.09 1/205 17744
/proc/meminfo: memFree=21248460/32951124 swapFree=67111444/67111528
[pid=17744] ppid=17742 vsize=570228 CPUtime=2.6 cores=0-7
/proc/17744/stat : 17744 (strangenight2-m) R 17742 17744 16908 0 -1 4202496 20975 0 0 0 240 20 0 0 17 0 8 0 545806213 583913472 20889 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308275 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17744/statm: 142557 20889 364 106 0 137528 0
[pid=17744/tid=17745] ppid=17742 vsize=570228 CPUtime=0.32 cores=0-7
/proc/17744/task/17745/stat : 17745 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 2621 0 0 0 30 2 0 0 17 0 8 0 545806213 583913472 20889 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=570228 CPUtime=0.34 cores=0-7
/proc/17744/task/17746/stat : 17746 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 2749 0 0 0 32 2 0 0 18 0 8 0 545806213 583913472 20889 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=570228 CPUtime=0.34 cores=0-7
/proc/17744/task/17747/stat : 17747 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 2743 0 0 0 33 1 0 0 18 0 8 0 545806213 583913472 20889 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308368 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17748] ppid=17742 vsize=570228 CPUtime=0.34 cores=0-7
/proc/17744/task/17748/stat : 17748 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 2735 0 0 0 32 2 0 0 18 0 8 0 545806213 583913472 20889 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17744/tid=17749] ppid=17742 vsize=570228 CPUtime=0.31 cores=0-7
/proc/17744/task/17749/stat : 17749 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 2320 0 0 0 29 2 0 0 17 0 8 0 545806213 583913472 20889 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17750] ppid=17742 vsize=570228 CPUtime=0.31 cores=0-7
/proc/17744/task/17750/stat : 17750 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 2674 0 0 0 29 2 0 0 18 0 8 0 545806213 583913472 20889 33554432000 4194304 4627427 140734269109248 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17744/tid=17751] ppid=17742 vsize=570228 CPUtime=0.28 cores=0-7
/proc/17744/task/17751/stat : 17751 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 2316 0 0 0 25 3 0 0 17 0 8 0 545806213 583913472 20889 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 570228

[startup+0.700968 s]
/proc/loadavg: 7.77 7.81 7.09 1/205 17744
/proc/meminfo: memFree=21248460/32951124 swapFree=67111444/67111528
[pid=17744] ppid=17742 vsize=570228 CPUtime=5.01 cores=0-7
/proc/17744/stat : 17744 (strangenight2-m) R 17742 17744 16908 0 -1 4202496 21041 0 0 0 481 20 0 0 18 0 8 0 545806213 583913472 20955 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308282 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17744/statm: 142557 20955 365 106 0 137528 0
[pid=17744/tid=17745] ppid=17742 vsize=570228 CPUtime=0.63 cores=0-7
/proc/17744/task/17745/stat : 17745 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 2621 0 0 0 61 2 0 0 18 0 8 0 545806213 583913472 20955 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308282 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=570228 CPUtime=0.64 cores=0-7
/proc/17744/task/17746/stat : 17746 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 2749 0 0 0 62 2 0 0 18 0 8 0 545806213 583913472 20955 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=570228 CPUtime=0.64 cores=0-7
/proc/17744/task/17747/stat : 17747 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 2743 0 0 0 63 1 0 0 18 0 8 0 545806213 583913472 20955 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308285 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17748] ppid=17742 vsize=570228 CPUtime=0.64 cores=0-7
/proc/17744/task/17748/stat : 17748 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 2735 0 0 0 62 2 0 0 18 0 8 0 545806213 583913472 20955 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308317 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17744/tid=17749] ppid=17742 vsize=570228 CPUtime=0.61 cores=0-7
/proc/17744/task/17749/stat : 17749 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 2320 0 0 0 59 2 0 0 18 0 8 0 545806213 583913472 20955 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17750] ppid=17742 vsize=570228 CPUtime=0.61 cores=0-7
/proc/17744/task/17750/stat : 17750 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 2674 0 0 0 59 2 0 0 18 0 8 0 545806213 583913472 20955 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17744/tid=17751] ppid=17742 vsize=570228 CPUtime=0.58 cores=0-7
/proc/17744/task/17751/stat : 17751 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 2382 0 0 0 55 3 0 0 18 0 8 0 545806213 583913472 20955 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.01
Current children cumulated vsize (KiB) 570228

[startup+1.50083 s]
/proc/loadavg: 7.95 7.85 7.11 9/213 17752
/proc/meminfo: memFree=21089304/32951124 swapFree=67111444/67111528
[pid=17744] ppid=17742 vsize=613700 CPUtime=11.08 cores=0-7
/proc/17744/stat : 17744 (strangenight2-m) R 17742 17744 16908 0 -1 4202496 50429 0 0 0 1069 39 0 0 18 0 8 0 545806213 628428800 39878 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308712 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17744/statm: 153425 39878 385 106 0 148396 0
[pid=17744/tid=17745] ppid=17742 vsize=613700 CPUtime=1.37 cores=0-7
/proc/17744/task/17745/stat : 17745 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 6804 0 0 0 132 5 0 0 18 0 8 0 545806213 628428800 39878 33554432000 4194304 4627427 140734269109248 18446744073709551615 4327687 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=613700 CPUtime=1.41 cores=0-7
/proc/17744/task/17746/stat : 17746 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 6902 0 0 0 137 4 0 0 18 0 8 0 545806213 628428800 39878 33554432000 4194304 4627427 140734269109248 18446744073709551615 4305824 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=613700 CPUtime=1.4 cores=0-7
/proc/17744/task/17747/stat : 17747 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 6887 0 0 0 136 4 0 0 18 0 8 0 545806213 628428800 39878 33554432000 4194304 4627427 140734269109248 18446744073709551615 4327583 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17748] ppid=17742 vsize=613700 CPUtime=1.39 cores=0-7
/proc/17744/task/17748/stat : 17748 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 6962 0 0 0 134 5 0 0 18 0 8 0 545806213 628428800 39878 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17744/tid=17749] ppid=17742 vsize=613700 CPUtime=1.36 cores=0-7
/proc/17744/task/17749/stat : 17749 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 6664 0 0 0 131 5 0 0 18 0 8 0 545806213 628428800 39878 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17750] ppid=17742 vsize=613700 CPUtime=1.34 cores=0-7
/proc/17744/task/17750/stat : 17750 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 6812 0 0 0 130 4 0 0 18 0 8 0 545806213 628428800 39878 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17744/tid=17751] ppid=17742 vsize=613700 CPUtime=1.38 cores=0-7
/proc/17744/task/17751/stat : 17751 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 2523 0 0 0 135 3 0 0 18 0 8 0 545806213 628428800 39878 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.08
Current children cumulated vsize (KiB) 613700

[startup+3.10054 s]
/proc/loadavg: 7.95 7.85 7.11 9/213 17752
/proc/meminfo: memFree=21086948/32951124 swapFree=67111444/67111528
[pid=17744] ppid=17742 vsize=612908 CPUtime=23.87 cores=0-7
/proc/17744/stat : 17744 (strangenight2-m) R 17742 17744 16908 0 -1 4202496 52884 0 0 0 2347 40 0 0 20 0 8 0 545806213 627617792 42135 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308383 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17744/statm: 153227 42136 385 106 0 148198 0
[pid=17744/tid=17745] ppid=17742 vsize=612908 CPUtime=2.97 cores=0-7
/proc/17744/task/17745/stat : 17745 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 7083 0 0 0 292 5 0 0 21 0 8 0 545806213 627617792 42136 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=612908 CPUtime=3.01 cores=0-7
/proc/17744/task/17746/stat : 17746 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 7223 0 0 0 297 4 0 0 21 0 8 0 545806213 627617792 42136 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=612908 CPUtime=3 cores=0-7
/proc/17744/task/17747/stat : 17747 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 7233 0 0 0 296 4 0 0 21 0 8 0 545806213 627617792 42136 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17748] ppid=17742 vsize=612908 CPUtime=2.99 cores=0-7
/proc/17744/task/17748/stat : 17748 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 7308 0 0 0 294 5 0 0 21 0 8 0 545806213 627617792 42136 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17744/tid=17749] ppid=17742 vsize=612908 CPUtime=2.96 cores=0-7
/proc/17744/task/17749/stat : 17749 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 6956 0 0 0 291 5 0 0 21 0 8 0 545806213 627617792 42136 33554432000 4194304 4627427 140734269109248 18446744073709551615 4327552 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17750] ppid=17742 vsize=612908 CPUtime=2.93 cores=0-7
/proc/17744/task/17750/stat : 17750 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 7155 0 0 0 289 4 0 0 21 0 8 0 545806213 627617792 42136 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17744/tid=17751] ppid=17742 vsize=612908 CPUtime=2.98 cores=0-7
/proc/17744/task/17751/stat : 17751 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 2782 0 0 0 295 3 0 0 21 0 8 0 545806213 627617792 42136 33554432000 4194304 4627427 140734269109248 18446744073709551615 4324768 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 23.87
Current children cumulated vsize (KiB) 612908

[startup+6.30096 s]
/proc/loadavg: 7.95 7.85 7.11 9/213 17752
/proc/meminfo: memFree=21082368/32951124 swapFree=67111444/67111528
[pid=17744] ppid=17742 vsize=636436 CPUtime=49.45 cores=0-7
/proc/17744/stat : 17744 (strangenight2-m) R 17742 17744 16908 0 -1 4202496 63820 0 0 0 4903 42 0 0 25 0 8 0 545806213 651710464 43185 33554432000 4194304 4627427 140734269109248 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17744/statm: 159109 43185 387 106 0 154080 0
[pid=17744/tid=17745] ppid=17742 vsize=636436 CPUtime=6.18 cores=0-7
/proc/17744/task/17745/stat : 17745 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 8458 0 0 0 612 6 0 0 25 0 8 0 545806213 651710464 43185 33554432000 4194304 4627427 140734269109248 18446744073709551615 4299638 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=636436 CPUtime=6.21 cores=0-7
/proc/17744/task/17746/stat : 17746 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 8537 0 0 0 617 4 0 0 25 0 8 0 545806213 651710464 43185 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=636436 CPUtime=6.2 cores=0-7
/proc/17744/task/17747/stat : 17747 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 8587 0 0 0 616 4 0 0 25 0 8 0 545806213 651710464 43185 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308335 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17748] ppid=17742 vsize=636436 CPUtime=6.18 cores=0-7
/proc/17744/task/17748/stat : 17748 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 8702 0 0 0 613 5 0 0 25 0 8 0 545806213 651710464 43185 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17744/tid=17749] ppid=17742 vsize=636436 CPUtime=6.16 cores=0-7
/proc/17744/task/17749/stat : 17749 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 8383 0 0 0 611 5 0 0 25 0 8 0 545806213 651710464 43185 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17750] ppid=17742 vsize=636436 CPUtime=6.11 cores=0-7
/proc/17744/task/17750/stat : 17750 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 8494 0 0 0 606 5 0 0 25 0 8 0 545806213 651710464 43185 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17744/tid=17751] ppid=17742 vsize=636436 CPUtime=6.18 cores=0-7
/proc/17744/task/17751/stat : 17751 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 4167 0 0 0 614 4 0 0 25 0 8 0 545806213 651710464 43185 33554432000 4194304 4627427 140734269109248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0

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

/proc/17744/task/17748/stat : 17748 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 28887 0 0 0 10229 11 0 0 25 0 8 0 545806213 881577984 113641 33554432000 4194304 4627427 140734269109248 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17744/tid=17749] ppid=17742 vsize=860916 CPUtime=102.36 cores=0-7
/proc/17744/task/17749/stat : 17749 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 34482 0 0 0 10225 11 0 0 25 0 8 0 545806213 881577984 113641 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17750] ppid=17742 vsize=860916 CPUtime=101.7 cores=0-7
/proc/17744/task/17750/stat : 17750 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 29051 0 0 0 10161 9 0 0 25 0 8 0 545806213 881577984 113641 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17744/tid=17751] ppid=17742 vsize=860916 CPUtime=102.39 cores=0-7
/proc/17744/task/17751/stat : 17751 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 29248 0 0 0 10229 10 0 0 25 0 8 0 545806213 881577984 113641 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 818.48
Current children cumulated vsize (KiB) 860916

[startup+115.301 s]
/proc/loadavg: 7.99 7.89 7.20 9/213 17755
/proc/meminfo: memFree=20759608/32951124 swapFree=67111444/67111528
[pid=17744] ppid=17742 vsize=926664 CPUtime=920.76 cores=0-7
/proc/17744/stat : 17744 (strangenight2-m) R 17742 17744 16908 0 -1 4202496 255693 0 0 0 91989 87 0 0 25 0 8 0 545806213 948903936 116927 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17744/statm: 231666 116927 390 106 0 226637 0
[pid=17744/tid=17745] ppid=17742 vsize=926664 CPUtime=115.18 cores=0-7
/proc/17744/task/17745/stat : 17745 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 33939 0 0 0 11507 11 0 0 25 0 8 0 545806213 948903936 116927 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=926664 CPUtime=115.2 cores=0-7
/proc/17744/task/17746/stat : 17746 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 34491 0 0 0 11509 11 0 0 25 0 8 0 545806213 948903936 116927 33554432000 4194304 4627427 140734269109248 18446744073709551615 4327424 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=926664 CPUtime=115.2 cores=0-7
/proc/17744/task/17747/stat : 17747 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 29401 0 0 0 11512 8 0 0 25 0 8 0 545806213 948903936 116927 33554432000 4194304 4627427 140734269109248 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17748] ppid=17742 vsize=926664 CPUtime=115.19 cores=0-7
/proc/17744/task/17748/stat : 17748 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 31393 0 0 0 11508 11 0 0 25 0 8 0 545806213 948903936 116927 33554432000 4194304 4627427 140734269109248 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17744/tid=17749] ppid=17742 vsize=926664 CPUtime=115.15 cores=0-7
/proc/17744/task/17749/stat : 17749 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 35916 0 0 0 11504 11 0 0 25 0 8 0 545806213 948903936 116927 33554432000 4194304 4627427 140734269109248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17750] ppid=17742 vsize=926664 CPUtime=114.42 cores=0-7
/proc/17744/task/17750/stat : 17750 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 31432 0 0 0 11432 10 0 0 25 0 8 0 545806213 948903936 116927 33554432000 4194304 4627427 140734269109248 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17744/tid=17751] ppid=17742 vsize=926664 CPUtime=115.18 cores=0-7
/proc/17744/task/17751/stat : 17751 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 31072 0 0 0 11508 10 0 0 25 0 8 0 545806213 948903936 116927 33554432000 4194304 4627427 140734269109248 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 920.76
Current children cumulated vsize (KiB) 926664

[startup+128.101 s]
/proc/loadavg: 7.99 7.89 7.21 9/213 17755
/proc/meminfo: memFree=20788764/32951124 swapFree=67111444/67111528
[pid=17744] ppid=17742 vsize=861896 CPUtime=1023.07 cores=0-7
/proc/17744/stat : 17744 (strangenight2-m) R 17742 17744 16908 0 -1 4202496 272251 0 0 0 102216 91 0 0 25 0 8 0 545806213 882581504 117320 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308277 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17744/statm: 215474 117320 390 106 0 210445 0
[pid=17744/tid=17745] ppid=17742 vsize=861896 CPUtime=127.98 cores=0-7
/proc/17744/task/17745/stat : 17745 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 34948 0 0 0 12787 11 0 0 25 0 8 0 545806213 882581504 117320 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=861896 CPUtime=128.01 cores=0-7
/proc/17744/task/17746/stat : 17746 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 37021 0 0 0 12789 12 0 0 25 0 8 0 545806213 882581504 117320 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308291 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=861896 CPUtime=127.99 cores=0-7
/proc/17744/task/17747/stat : 17747 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 30847 0 0 0 12791 8 0 0 25 0 8 0 545806213 882581504 117320 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17748] ppid=17742 vsize=861896 CPUtime=127.99 cores=0-7
/proc/17744/task/17748/stat : 17748 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 32949 0 0 0 12788 11 0 0 25 0 8 0 545806213 882581504 117320 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17744/tid=17749] ppid=17742 vsize=861896 CPUtime=127.96 cores=0-7
/proc/17744/task/17749/stat : 17749 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 39329 0 0 0 12784 12 0 0 25 0 8 0 545806213 882581504 117320 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17750] ppid=17742 vsize=861896 CPUtime=127.13 cores=0-7
/proc/17744/task/17750/stat : 17750 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 33103 0 0 0 12703 10 0 0 25 0 8 0 545806213 882581504 117320 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17744/tid=17751] ppid=17742 vsize=861896 CPUtime=127.98 cores=0-7
/proc/17744/task/17751/stat : 17751 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 32937 0 0 0 12787 11 0 0 25 0 8 0 545806213 882581504 117320 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1023.07
Current children cumulated vsize (KiB) 861896

[startup+131.3 s]
/proc/loadavg: 7.99 7.90 7.22 9/213 17755
/proc/meminfo: memFree=20809472/32951124 swapFree=67111444/67111528
[pid=17744] ppid=17742 vsize=861896 CPUtime=1048.64 cores=0-7
/proc/17744/stat : 17744 (strangenight2-m) R 17742 17744 16908 0 -1 4202496 275545 0 0 0 104772 92 0 0 25 0 8 0 545806213 882581504 110929 33554432000 4194304 4627427 140734269109248 18446744073709551615 4327592 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17744/statm: 215474 110929 390 106 0 210445 0
[pid=17744/tid=17745] ppid=17742 vsize=861896 CPUtime=131.18 cores=0-7
/proc/17744/task/17745/stat : 17745 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 34948 0 0 0 13107 11 0 0 25 0 8 0 545806213 882581504 110929 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=861896 CPUtime=131.2 cores=0-7
/proc/17744/task/17746/stat : 17746 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 38200 0 0 0 13108 12 0 0 25 0 8 0 545806213 882581504 110929 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=861896 CPUtime=131.19 cores=0-7
/proc/17744/task/17747/stat : 17747 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 31267 0 0 0 13111 8 0 0 25 0 8 0 545806213 882581504 110929 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308335 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17748] ppid=17742 vsize=861896 CPUtime=131.18 cores=0-7
/proc/17744/task/17748/stat : 17748 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 33386 0 0 0 13107 11 0 0 25 0 8 0 545806213 882581504 110929 33554432000 4194304 4627427 140734269109248 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17744/tid=17749] ppid=17742 vsize=861896 CPUtime=131.16 cores=0-7
/proc/17744/task/17749/stat : 17749 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 39765 0 0 0 13104 12 0 0 25 0 8 0 545806213 882581504 110929 33554432000 4194304 4627427 140734269109248 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17750] ppid=17742 vsize=861896 CPUtime=130.31 cores=0-7
/proc/17744/task/17750/stat : 17750 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 33409 0 0 0 13021 10 0 0 25 0 8 0 545806213 882581504 110929 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17744/tid=17751] ppid=17742 vsize=861896 CPUtime=131.18 cores=0-7
/proc/17744/task/17751/stat : 17751 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 32992 0 0 0 13107 11 0 0 25 0 8 0 545806213 882581504 110929 33554432000 4194304 4627427 140734269109248 18446744073709551615 4332767 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1048.64
Current children cumulated vsize (KiB) 861896

[startup+134.501 s]
/proc/loadavg: 7.99 7.90 7.22 9/213 17756
/proc/meminfo: memFree=20798684/32951124 swapFree=67111444/67111528
[pid=17744] ppid=17742 vsize=861896 CPUtime=1074.22 cores=0-7
/proc/17744/stat : 17744 (strangenight2-m) R 17742 17744 16908 0 -1 4202496 280110 0 0 0 107329 93 0 0 25 0 8 0 545806213 882581504 113633 33554432000 4194304 4627427 140734269109248 18446744073709551615 4327616 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17744/statm: 215474 113633 390 106 0 210445 0
[pid=17744/tid=17745] ppid=17742 vsize=861896 CPUtime=134.38 cores=0-7
/proc/17744/task/17745/stat : 17745 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 34948 0 0 0 13427 11 0 0 25 0 8 0 545806213 882581504 113633 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=861896 CPUtime=134.41 cores=0-7
/proc/17744/task/17746/stat : 17746 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 38664 0 0 0 13428 13 0 0 25 0 8 0 545806213 882581504 113633 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=861896 CPUtime=134.39 cores=0-7
/proc/17744/task/17747/stat : 17747 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 32490 0 0 0 13431 8 0 0 25 0 8 0 545806213 882581504 113633 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17748] ppid=17742 vsize=861896 CPUtime=134.39 cores=0-7
/proc/17744/task/17748/stat : 17748 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 33487 0 0 0 13427 12 0 0 25 0 8 0 545806213 882581504 113634 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17744/tid=17749] ppid=17742 vsize=861896 CPUtime=134.36 cores=0-7
/proc/17744/task/17749/stat : 17749 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 40989 0 0 0 13424 12 0 0 25 0 8 0 545806213 882581504 113634 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17750] ppid=17742 vsize=861896 CPUtime=133.49 cores=0-7
/proc/17744/task/17750/stat : 17750 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 33409 0 0 0 13339 10 0 0 25 0 8 0 545806213 882581504 113634 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17744/tid=17751] ppid=17742 vsize=861896 CPUtime=134.38 cores=0-7
/proc/17744/task/17751/stat : 17751 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 33992 0 0 0 13427 11 0 0 25 0 8 0 545806213 882581504 113634 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1074.22
Current children cumulated vsize (KiB) 861896

[startup+135.301 s]
/proc/loadavg: 7.99 7.90 7.22 9/213 17756
/proc/meminfo: memFree=20798684/32951124 swapFree=67111444/67111528
[pid=17744] ppid=17742 vsize=861896 CPUtime=1080.63 cores=0-7
/proc/17744/stat : 17744 (strangenight2-m) R 17742 17744 16908 0 -1 4202496 280659 0 0 0 107969 94 0 0 25 0 8 0 545806213 882581504 114182 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308335 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17744/statm: 215474 114182 390 106 0 210445 0
[pid=17744/tid=17745] ppid=17742 vsize=861896 CPUtime=135.18 cores=0-7
/proc/17744/task/17745/stat : 17745 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 34948 0 0 0 13507 11 0 0 25 0 8 0 545806213 882581504 114182 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=861896 CPUtime=135.21 cores=0-7
/proc/17744/task/17746/stat : 17746 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 38768 0 0 0 13508 13 0 0 25 0 8 0 545806213 882581504 114182 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=861896 CPUtime=135.19 cores=0-7
/proc/17744/task/17747/stat : 17747 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 32597 0 0 0 13511 8 0 0 25 0 8 0 545806213 882581504 114182 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17748] ppid=17742 vsize=861896 CPUtime=135.19 cores=0-7
/proc/17744/task/17748/stat : 17748 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 33487 0 0 0 13507 12 0 0 25 0 8 0 545806213 882581504 114182 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17744/tid=17749] ppid=17742 vsize=861896 CPUtime=135.16 cores=0-7
/proc/17744/task/17749/stat : 17749 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 41108 0 0 0 13504 12 0 0 25 0 8 0 545806213 882581504 114182 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308438 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17750] ppid=17742 vsize=861896 CPUtime=134.29 cores=0-7
/proc/17744/task/17750/stat : 17750 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 33409 0 0 0 13419 10 0 0 25 0 8 0 545806213 882581504 114182 33554432000 4194304 4627427 140734269109248 18446744073709551615 4306360 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17744/tid=17751] ppid=17742 vsize=861896 CPUtime=135.18 cores=0-7
/proc/17744/task/17751/stat : 17751 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 34113 0 0 0 13507 11 0 0 25 0 8 0 545806213 882581504 114182 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1080.63
Current children cumulated vsize (KiB) 861896

[startup+136.101 s]
/proc/loadavg: 7.99 7.90 7.22 9/213 17756
/proc/meminfo: memFree=20795832/32951124 swapFree=67111444/67111528
[pid=17744] ppid=17742 vsize=861896 CPUtime=1087.02 cores=0-7
/proc/17744/stat : 17744 (strangenight2-m) R 17742 17744 16908 0 -1 4202496 281940 0 0 0 108608 94 0 0 25 0 8 0 545806213 882581504 111784 33554432000 4194304 4627427 140734269109248 18446744073709551615 4324759 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17744/statm: 215474 111784 390 106 0 210445 0
[pid=17744/tid=17745] ppid=17742 vsize=861896 CPUtime=135.98 cores=0-7
/proc/17744/task/17745/stat : 17745 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 34948 0 0 0 13587 11 0 0 25 0 8 0 545806213 882581504 111784 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=861896 CPUtime=136.01 cores=0-7
/proc/17744/task/17746/stat : 17746 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 38880 0 0 0 13588 13 0 0 25 0 8 0 545806213 882581504 111784 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308291 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=861896 CPUtime=135.99 cores=0-7
/proc/17744/task/17747/stat : 17747 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 32705 0 0 0 13591 8 0 0 25 0 8 0 545806213 882581504 111785 33554432000 4194304 4627427 140734269109248 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17748] ppid=17742 vsize=861896 CPUtime=135.99 cores=0-7
/proc/17744/task/17748/stat : 17748 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 33487 0 0 0 13587 12 0 0 25 0 8 0 545806213 882581504 111785 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17744/tid=17749] ppid=17742 vsize=861896 CPUtime=135.96 cores=0-7
/proc/17744/task/17749/stat : 17749 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 41223 0 0 0 13584 12 0 0 25 0 8 0 545806213 882581504 111785 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17750] ppid=17742 vsize=861896 CPUtime=135.08 cores=0-7
/proc/17744/task/17750/stat : 17750 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 33409 0 0 0 13498 10 0 0 25 0 8 0 545806213 882581504 111785 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308291 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17744/tid=17751] ppid=17742 vsize=861896 CPUtime=135.99 cores=0-7
/proc/17744/task/17751/stat : 17751 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 34220 0 0 0 13587 12 0 0 25 0 8 0 545806213 882581504 111785 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1087.02
Current children cumulated vsize (KiB) 861896

[startup+136.5 s]
/proc/loadavg: 7.99 7.90 7.22 9/213 17756
/proc/meminfo: memFree=20804388/32951124 swapFree=67111444/67111528
[pid=17744] ppid=17742 vsize=861896 CPUtime=1090.26 cores=0-7
/proc/17744/stat : 17744 (strangenight2-m) R 17742 17744 16908 0 -1 4202496 282230 0 0 0 108932 94 0 0 25 0 8 0 545806213 882581504 112074 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308304 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/17744/statm: 215474 112074 390 106 0 210445 0
[pid=17744/tid=17745] ppid=17742 vsize=861896 CPUtime=136.39 cores=0-7
/proc/17744/task/17745/stat : 17745 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 34948 0 0 0 13628 11 0 0 25 0 8 0 545806213 882581504 112074 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17744/tid=17746] ppid=17742 vsize=861896 CPUtime=136.41 cores=0-7
/proc/17744/task/17746/stat : 17746 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 38933 0 0 0 13628 13 0 0 25 0 8 0 545806213 882581504 112074 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17744/tid=17747] ppid=17742 vsize=861896 CPUtime=136.4 cores=0-7
/proc/17744/task/17747/stat : 17747 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 32764 0 0 0 13632 8 0 0 25 0 8 0 545806213 882581504 112074 33554432000 4194304 4627427 140734269109248 18446744073709551615 4332749 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17744/tid=17748] ppid=17742 vsize=861896 CPUtime=136.4 cores=0-7
/proc/17744/task/17748/stat : 17748 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 33487 0 0 0 13628 12 0 0 25 0 8 0 545806213 882581504 112074 33554432000 4194304 4627427 140734269109248 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17744/tid=17749] ppid=17742 vsize=861896 CPUtime=136.36 cores=0-7
/proc/17744/task/17749/stat : 17749 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 41281 0 0 0 13624 12 0 0 25 0 8 0 545806213 882581504 112074 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17744/tid=17750] ppid=17742 vsize=861896 CPUtime=135.48 cores=0-7
/proc/17744/task/17750/stat : 17750 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 33409 0 0 0 13538 10 0 0 25 0 8 0 545806213 882581504 112074 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17744/tid=17751] ppid=17742 vsize=861896 CPUtime=136.39 cores=0-7
/proc/17744/task/17751/stat : 17751 (strangenight2-m) R 17742 17744 16908 0 -1 4202560 34282 0 0 0 13627 12 0 0 25 0 8 0 545806213 882581504 112074 33554432000 4194304 4627427 140734269109248 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1090.26
Current children cumulated vsize (KiB) 861896

Child status: 10
Real time (s): 136.602
CPU time (s): 1090.85
CPU user time (s): 1089.88
CPU system time (s): 0.972852
CPU usage (%): 798.565
Max. virtual memory (cumulated for all children) (KiB): 992200

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1089.88
system time used= 0.972852
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282281
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= 48438
involuntary context switches= 4888

runsolver used 0.272958 second user time and 0.607907 second system time

The end

Launcher Data 

Begin job on node138 at 2011-05-02 15:14:42
IDJOB=3321255
IDBENCH=85975
IDSOLVER=1709
FILE ID=node138/3321255-1304342082
RUNJOBID= node138-1304332543-16922
PBS_JOBID= 13177703
Free space on /tmp= 73260 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT05/industrial/grieu05/vmpc/vmpc_32.renamed-as.sat05-1919.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321255-1304342082/watcher-3321255-1304342082 -o /tmp/evaluation-result-3321255-1304342082/solver-3321255-1304342082 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321255-1304342082.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 833432e05c2a1599e13dca28680b5df9
RANDOM SEED=1602577338

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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.854
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.854
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.80
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.854
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.854
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.854
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:      21248740 kB
Buffers:        731744 kB
Cached:        1794872 kB
SwapCached:         84 kB
Active:        9226952 kB
Inactive:      2045412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21248740 kB
SwapTotal:    67111528 kB
SwapFree:     67111444 kB
Dirty:            7792 kB
Writeback:           0 kB
AnonPages:     8745480 kB
Mapped:          21308 kB
Slab:           340824 kB
PageTables:      24300 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  9869876 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73256 MiB
End job on node138 at 2011-05-02 15:16:59