Trace number 3369573

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)UNSAT 1214.43 304.212

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UCG-15-10p0.cnf
MD5SUMbcbcc9a4e4a7e3ebed9eeaa393ebdc32
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark187.595
Satisfiable
(Un)Satisfiability was proved
Number of variables199304
Number of clauses1005834
Sum of the clauses size2392967
Maximum clause length10
Minimum clause length1
Number of clauses of size 110249
Number of clauses of size 2756917
Number of clauses of size 3187708
Number of clauses of size 45660
Number of clauses of size 522640
Number of clauses of size over 522660

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3369573-1307634883.cnf'
0.00/0.00	c -- header says num vars:         199304
0.00/0.00	c -- header says num clauses:     1005834
2.14/0.64	c -- clauses added:            0 learnts,      1005834 normals,            0 xors
2.14/0.64	c -- vars added     199304
2.14/0.64	c Parsing time:  1.74 s
2.14/0.64	c  N st     0         0    199304    238668    756167         0   2381218         0   no data   no data  --
3.31/0.94	c asymm  cl-useful: 11/1975/201402 lits-rem:44 time: 1.14
42.46/10.77	c Flit:  1222 Blit:   1522 bXBeca:    0 bXProp: 1178 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 39.10
42.86/10.81	c Cleaning up after failed var search:     0.15 s 
42.86/10.87	c Replacing     1178 vars Replaced    34467 lits Time:     0.22 s 
43.66/11.02	c bin-w-bin subsume rem        27898 bins  time:  0.18 s
44.07/11.11	c subs with bin:     3718  lits-rem:     34814  v-fix:    0  time:  0.35 s
60.43/15.29	c Subs w/ non-existent bins:     38 l-rem:      0 v-fix:  7124 done:  23538 time: 16.68 s
61.65/15.58	c Removed useless bin:     724  fixed:     0  props:  20.00M  time:  1.16 s
65.22/16.48	c lits-rem:      2370  cl-subs:     6269  v-elim:  47670  v-fix:    0  time:  3.60 s
65.63/16.53	c Finding binary XORs  T:     0.17 s  found:     649
65.63/16.58	c Replacing      649 vars Replaced    16059 lits Time:     0.21 s 
66.41/16.71	c Finding non-binary XORs:     0.35 s (found:       0, avg size: nan)
66.41/16.71	c Calc default polars -  time:   0.09 s pos:   18584 undec:  111802 neg:   68918
66.41/16.71	c =========================================================================================
66.41/16.71	c types(t): F = full restart, N = normal restart
66.41/16.71	c types(t): S = simplification begin/end, E = solution found
66.41/16.71	c restart types(rt): st = static, dy = dynamic
66.41/16.71	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
66.41/16.71	c  B st     0         0     87569    197648    323918         0   1432944         0   no data   no data  --
81.60/20.59	c  N dy    13      4637     81211    190699    295886      4204   1326030    667221     20.96     22.55  --
95.58/24.03	c Finding binary XORs  T:     0.16 s  found:    1761
95.98/24.12	c Replacing     1761 vars Replaced    91363 lits Time:     0.37 s 
116.74/29.30	c  N dy    31      9651     72476    174255    265341      8984   1184801   2452925     17.95     19.24  --
145.50/36.51	c  N dy    41     13748     69279    167667    254493     12878   1124538   3884046     16.23     18.57  --
189.83/47.66	c Finding binary XORs  T:     0.15 s  found:     556
191.04/47.91	c  N dy    47     20514     68888    165900    254394      9977   1113282   1889960     14.81     15.65  --
222.60/55.83	c  F st    49     25003     68888    165900    254400     14422   1113282   3524722     13.88     12.03  --
223.00/55.93	c Replacing      556 vars Replaced    38501 lits Time:     0.38 s 
223.80/56.12	c  N st    49     25003     68332    165814    251827     14419   1108185   3524134     13.88     12.03  --
258.15/64.79	c  N dy    55     30000     68225    165814    252120     19323   1108184   5061690     13.88   no data  --
258.15/64.79	c  S st    55     30000     68225    165814    252120     19323   1108184   5061690     13.88   no data  --
262.14/65.78	c  S st    55     30501     67629    164121    249703     19682   1094128   5119387     13.88   no data  --
262.54/65.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.19
325.27/81.59	c Flit:  1085 Blit:   3490 bXBeca:    0 bXProp:  702 Bins:  21263 BRemL:    106 BRemN:     75 P: 200.0M T: 62.75
325.65/81.64	c Cleaning up after failed var search:     0.22 s 
326.45/81.88	c Replacing      703 vars Replaced   149792 lits Time:     0.91 s 
328.45/82.39	c bin-w-bin subsume rem         3908 bins  time:  0.11 s
336.83/84.45	c subs with bin:     1743  lits-rem:      9486  v-fix:    0  time:  8.19 s
350.82/87.96	c Subs w/ non-existent bins:   2446 l-rem:    532 v-fix:     1 done:  21534 time: 14.00 s
352.01/88.22	c Removed useless bin:    5920  fixed:     0  props:  20.00M  time:  1.02 s
398.75/99.98	c lits-rem:       617  cl-subs:    24936  v-elim:   4969  v-fix:    0  time: 46.66 s
400.34/100.32	c asymm  cl-useful: 411/1314/129833 lits-rem:764 time: 1.33
401.14/100.54	c calculated reachability. Time: 0.84
401.14/100.54	c  N dy    55     30501     56745    129833    225740      5243    907160    445199     13.88   no data  --
404.36/101.35	c Finding binary XORs  T:     3.19 s  found:      75
432.30/108.31	c  N dy    56     35613     56243    129833    226455     10222    907160   2316643     12.71     13.57  --
499.41/125.14	c  N dy    58     45751     56243    129833    226492     20243    907160   4743385     11.49      8.50  --
499.41/125.14	c  S st    58     45751     56243    129833    226492     20243    907160   4743385     11.49      8.50  --
502.61/125.92	c Finding binary XORs  T:     2.84 s  found:     453
505.79/126.77	c  S st    58     46255     54716    119957    229560     20515    857544   4669749     11.49   no data  --
506.19/126.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
506.19/126.86	c Cache  BProp: 3186 Set: 2 BXProp: 0 T: 0.19
547.74/137.25	c Flit:   471 Blit:   1550 bXBeca:    0 bXProp:  654 Bins:  11924 BRemL:     36 BRemN:     63 P: 200.0M T: 41.38
547.74/137.29	c Cleaning up after failed var search:     0.19 s 
548.94/137.55	c Replacing     1182 vars Replaced   168028 lits Time:     0.99 s 
550.53/137.94	c bin-w-bin subsume rem         3395 bins  time:  0.10 s
558.92/140.02	c subs with bin:      217  lits-rem:       999  v-fix:    0  time:  8.31 s
560.13/140.33	c Subs w/ non-existent bins:    226 l-rem:    707 v-fix:     0 done:   1729 time:  1.23 s
560.93/140.58	c Removed useless bin:    7608  fixed:     0  props:  20.00M  time:  1.01 s
630.03/157.80	c lits-rem:       239  cl-subs:    23005  v-elim:   2502  v-fix:    0  time: 68.70 s
631.63/158.25	c vivif2 --  cl tried   104125 cl shrink     9263 lits rem      11830 time: 1.83
632.03/158.33	c vivif2 --  cl tried     5073 cl shrink     1349 lits rem      15846 time: 0.32
633.62/158.70	c asymm  cl-useful: 142/3234/101628 lits-rem:234 time: 1.47
634.82/159.03	c calculated reachability. Time: 1.26
634.82/159.03	c  N dy    58     46255     48606    101628    212916      4894    744334    234003     11.49   no data  --
639.61/160.23	c Finding binary XORs  T:     4.76 s  found:      18
674.77/169.01	c Finding binary XORs  T:     4.02 s  found:      76
687.94/172.39	c  N dy    59     56356     48414    101235    222134     14829    741380   2774406     10.78     11.37  --
725.49/181.79	c  N dy    64     64574     48405    101235    222868     22868    741380   4490684     10.36     10.91  --
744.27/186.46	c  N dy    66     68831     48404    101235    222900     27024    741380   5022879     10.15     10.69  --
747.46/187.26	c  S st    67     69382     48404    101235    222900     27568    741380   5096679     10.11      6.26  --
750.66/188.00	c  S st    67     69885     48395    101235    222951     27996    741380   5168331     10.11   no data  --
750.66/188.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.19
751.07/188.12	c Cache  BProp: 3683 Set: 0 BXProp: 0 T: 0.29
792.60/198.56	c Flit:   511 Blit:   1133 bXBeca:    0 bXProp:  417 Bins:  10875 BRemL:     16 BRemN:     29 P: 200.0M T: 41.56
793.00/198.60	c Cleaning up after failed var search:     0.19 s 
793.80/198.84	c Replacing      512 vars Replaced    42747 lits Time:     0.90 s 
795.42/199.26	c bin-w-bin subsume rem         1281 bins  time:  0.10 s
803.79/201.37	c subs with bin:      229  lits-rem:      2487  v-fix:    0  time:  8.46 s
811.38/203.27	c Subs w/ non-existent bins:    811 l-rem:    858 v-fix:     1 done:  15601 time:  7.59 s
812.58/203.58	c Removed useless bin:    6247  fixed:    15  props:  20.00M  time:  1.21 s
896.07/224.48	c lits-rem:        48  cl-subs:    25721  v-elim:   2600  v-fix:    0  time: 83.44 s
898.05/224.98	c vivif2 --  cl tried    91688 cl shrink     4323 lits rem       5783 time: 2.00
898.45/225.09	c vivif2 --  cl tried     6770 cl shrink      757 lits rem       6859 time: 0.43
900.46/225.50	c asymm  cl-useful: 120/967/90731 lits-rem:132 time: 1.65
901.65/225.84	c calculated reachability. Time: 1.30
901.65/225.84	c  N dy    67     69885     43367     90729    211325      6728    664968    282103     10.11   no data  --
906.84/227.10	c Finding binary XORs  T:     5.03 s  found:      15
925.61/231.80	c  N dy    69     74955     42808     88844    223364     11649    655144   1015796      9.91     10.52  --
930.01/232.90	c Finding binary XORs  T:     4.31 s  found:      63
959.57/240.31	c  N dy    73     82120     42798     88819    223403     18681    655057   2087160      9.68     10.23  --
981.53/245.88	c  F st    80     87500     42797     88819    223923     23994    655057   3040168      9.54      8.19  --
981.94/245.97	c Replacing       78 vars Replaced     2950 lits Time:     0.22 s 
982.74/246.15	c  N st    80     87500     42719     88646    223709     23711    654248   3031757      9.54      8.19  --
1006.33/252.09	c  N dy    87     93333     42718     88646    223768     16393    654248   1656163      9.52     10.04  --
1033.06/258.73	c  N dy    91     99391     42705     88646    223887     22291    654248   2266560      9.37     11.54  --
1055.82/264.45	c  S st    96    104827     42700     88646    223904     27650    654248   3249705      9.27      6.53  --
1058.64/265.17	c  S st    96    105331     42700     88646    223930     28113    654248   3367003      9.27   no data  --
1059.05/265.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
1059.05/265.29	c Cache  BProp: 2619 Set: 43 BXProp: 0 T: 0.31
1099.76/275.45	c Flit:   718 Blit:    383 bXBeca:    0 bXProp:  696 Bins:  10062 BRemL:    134 BRemN:     28 P: 200.0M T: 40.47
1099.76/275.48	c Cleaning up after failed var search:     0.13 s 
1100.16/275.58	c Replacing      697 vars Replaced    42176 lits Time:     0.37 s 
1101.37/275.84	c bin-w-bin subsume rem         1335 bins  time:  0.10 s
1109.36/277.83	c subs with bin:      127  lits-rem:       613  v-fix:    0  time:  7.94 s
1110.16/278.04	c Subs w/ non-existent bins:     61 l-rem:    682 v-fix:     0 done:   1387 time:  0.86 s
1111.37/278.32	c Removed useless bin:    5816  fixed:     0  props:  19.82M  time:  1.10 s
1167.28/292.35	c lits-rem:        85  cl-subs:    25070  v-elim:   2400  v-fix:    0  time: 56.02 s
1169.28/292.88	c vivif2 --  cl tried    82619 cl shrink     4478 lits rem       6020 time: 2.10
1170.08/293.02	c vivif2 --  cl tried     9780 cl shrink     1208 lits rem       9360 time: 0.54
1171.68/293.45	c asymm  cl-useful: 90/879/81693 lits-rem:109 time: 1.72
1172.88/293.80	c calculated reachability. Time: 1.36
1172.88/293.80	c  N dy    96    105331     38228     81689    213438      9748    591932    356911      9.27   no data  --
1178.46/295.12	c Finding binary XORs  T:     5.29 s  found:       1
1201.23/300.86	c  N dy   102    112114     36611     75570    211736      9847    552695    494133      9.13      9.77  --
1208.03/302.53	c Finding binary XORs  T:     4.53 s  found:     204
1214.02/304.06	c Following stats are for *FIRST FINISHED THREAD ONLY*
1214.02/304.06	c num threads              : 4          
1214.02/304.06	c restarts                 : 191        
1214.02/304.06	c dynamic restarts         : 173        
1214.02/304.06	c static restarts          : 18         
1214.02/304.06	c full restarts            : 2          
1214.02/304.06	c total simplify time      : 44.83      
1214.02/304.06	c learnts DL2              : 0          
1214.02/304.06	c learnts size 2           : 967440     
1214.02/304.06	c learnts size 1           : 107639      (54.01     % of vars)
1214.02/304.06	c filedLit time            : 155.04      (12.80     % time)
1214.02/304.06	c v-elim SatELite          : 55490       (27.84     % vars)
1214.02/304.06	c SatELite time            : 97.56       (8.05      % time)
1214.02/304.06	c v-elim xor               : 0           (0.00      % vars)
1214.02/304.06	c xor elim time            : 0.31        (0.03      % time)
1214.02/304.06	c num binary xor trees     : 4765       
1214.02/304.06	c binxor trees' crown      : 7229        (1.52      leafs/tree)
1214.02/304.06	c bin xor find time        : 41.45      
1214.02/304.06	c OTF clause improved      : 3802        (0.02      clauses/conflict)
1214.02/304.06	c OTF impr. size diff      : 8117        (2.13       lits/clause)
1214.02/304.06	c OTF cl watch-shrink      : 61574       (0.35      clauses/conflict)
1214.02/304.06	c OTF cl watch-sh-lit      : 521203      (8.46       lits/clause)
1214.02/304.06	c tried to recurMin cls    : 86200       (49.56      % of conflicts)
1214.02/304.06	c updated cache            : 10844       (0.13       lits/tried recurMin)
1214.02/304.06	c unit cls received        : 5103        (4.74      % of units)
1214.02/304.06	c unit cls sent            : 6904        (6.41      % of units)
1214.02/304.06	c bin cls received         : 81752      
1214.02/304.06	c bin cls sent             : 34953      
1214.02/304.06	c clauses over max glue    : 0           (0.00      % of all clauses)
1214.02/304.06	c conflicts                : 173922      (143.58    / sec)
1214.02/304.06	c decisions                : 384374      (1.96      % random)
1214.02/304.06	c bogo-props               : 6903828314  (5699454.61 / sec)
1214.02/304.06	c conflict literals        : 22474907    (48.61     % deleted)
1214.02/304.06	c Memory used              : 4077.68     MB
1214.02/304.06	c single-thread CPU time   : 1211.31     s
1214.02/304.06	c all-threads sum CPU time : 1211.32     s
1214.02/304.06	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3369573-1307634883/watcher-3369573-1307634883 -o /tmp/evaluation-result-3369573-1307634883/solver-3369573-1307634883 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369573-1307634883.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: 7.29 7.83 6.51 5/180 571
/proc/meminfo: memFree=31706292/32951124 swapFree=67056684/67111528
[pid=571] ppid=569 vsize=20420 CPUtime=0 cores=0,2,4,6
/proc/571/stat : 571 (strangenight1-m) R 569 571 32675 0 -1 4194304 243 0 0 0 0 0 0 0 23 0 1 0 875089165 20910080 194 33554432000 4194304 4650419 140737379284784 18446744073709551615 222916814312 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/571/statm: 5105 195 162 112 0 57 0
[pid=571/tid=572] ppid=569 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/571/task/572/stat : 572 (strangenight1-m) R 569 571 32675 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 875089166 52465664 353 33554432000 4194304 4650419 140737379284784 18446744073709551615 222921833457 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=571/tid=573] ppid=569 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/571/task/573/stat : 573 (strangenight1-m) R 569 571 32675 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 875089166 52465664 353 33554432000 4194304 4650419 140737379284784 18446744073709551615 47984728418226 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=571/tid=574] ppid=569 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/571/task/574/stat : 574 (strangenight1-m) R 569 571 32675 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 875089166 52465664 353 33554432000 4194304 4650419 140737379284784 18446744073709551615 47984728418224 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.10482 s]
/proc/loadavg: 7.29 7.83 6.51 5/180 571
/proc/meminfo: memFree=31706292/32951124 swapFree=67056684/67111528
[pid=571] ppid=569 vsize=433176 CPUtime=0.36 cores=0,2,4,6
/proc/571/stat : 571 (strangenight1-m) R 569 571 32675 0 -1 4202496 64523 0 0 0 25 11 0 0 24 0 4 0 875089165 443572224 47583 33554432000 4194304 4650419 140737379284784 18446744073709551615 4520007 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/571/statm: 108294 47583 346 112 0 103259 0
[pid=571/tid=572] ppid=569 vsize=433176 CPUtime=0.08 cores=0,2,4,6
/proc/571/task/572/stat : 572 (strangenight1-m) R 569 571 32675 0 -1 4202560 16328 0 0 0 6 2 0 0 25 0 4 0 875089166 443572224 47583 33554432000 4194304 4650419 140737379284784 18446744073709551615 4353027 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=571/tid=573] ppid=569 vsize=433176 CPUtime=0.07 cores=0,2,4,6
/proc/571/task/573/stat : 573 (strangenight1-m) R 569 571 32675 0 -1 4202560 14842 0 0 0 5 2 0 0 18 0 4 0 875089166 443572224 47584 33554432000 4194304 4650419 140737379284784 18446744073709551615 4520109 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=571/tid=574] ppid=569 vsize=433176 CPUtime=0.08 cores=0,2,4,6
/proc/571/task/574/stat : 574 (strangenight1-m) R 569 571 32675 0 -1 4202560 16441 0 0 0 5 3 0 0 25 0 4 0 875089166 443572224 47584 33554432000 4194304 4650419 140737379284784 18446744073709551615 4373856 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 433176

[startup+0.201079 s]
/proc/loadavg: 7.29 7.83 6.51 5/180 571
/proc/meminfo: memFree=31706292/32951124 swapFree=67056684/67111528
[pid=571] ppid=569 vsize=436872 CPUtime=0.72 cores=0,2,4,6
/proc/571/stat : 571 (strangenight1-m) R 569 571 32675 0 -1 4202496 68086 0 0 0 57 15 0 0 25 0 4 0 875089165 447356928 51146 33554432000 4194304 4650419 140737379284784 18446744073709551615 4547312 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/571/statm: 109218 51176 346 112 0 104183 0
[pid=571/tid=572] ppid=569 vsize=436872 CPUtime=0.17 cores=0,2,4,6
/proc/571/task/572/stat : 572 (strangenight1-m) R 569 571 32675 0 -1 4202560 17251 0 0 0 14 3 0 0 18 0 4 0 875089166 447356928 51182 33554432000 4194304 4650419 140737379284784 18446744073709551615 222921882094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=571/tid=573] ppid=569 vsize=437004 CPUtime=0.17 cores=0,2,4,6
/proc/571/task/573/stat : 573 (strangenight1-m) R 569 571 32675 0 -1 4202560 15749 0 0 0 13 4 0 0 18 0 4 0 875089166 447492096 51251 33554432000 4194304 4650419 140737379284784 18446744073709551615 222921445617 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=571/tid=574] ppid=569 vsize=437004 CPUtime=0.18 cores=0,2,4,6
/proc/571/task/574/stat : 574 (strangenight1-m) R 569 571 32675 0 -1 4202560 17351 0 0 0 14 4 0 0 18 0 4 0 875089166 447492096 51270 33554432000 4194304 4650419 140737379284784 18446744073709551615 4373792 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 436872

[startup+0.318781 s]
/proc/loadavg: 7.29 7.83 6.51 5/180 571
/proc/meminfo: memFree=31706292/32951124 swapFree=67056684/67111528
[pid=571] ppid=569 vsize=507032 CPUtime=1.15 cores=0,2,4,6
/proc/571/stat : 571 (strangenight1-m) R 569 571 32675 0 -1 4202496 73525 0 0 0 88 27 0 0 18 0 4 0 875089165 519200768 56585 33554432000 4194304 4650419 140737379284784 18446744073709551615 222921437893 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/571/statm: 126758 56603 346 112 0 121723 0
[pid=571/tid=572] ppid=569 vsize=507032 CPUtime=0.27 cores=0,2,4,6
/proc/571/task/572/stat : 572 (strangenight1-m) S 569 571 32675 0 -1 4202560 18579 0 0 0 21 6 0 0 18 0 4 0 875089166 519200768 56618 33554432000 4194304 4650419 140737379284784 18446744073709551615 222921882094 0 0 4096 2 18446604451693270080 0 0 -1 6 0 0 0
[pid=571/tid=573] ppid=569 vsize=507032 CPUtime=0.28 cores=0,2,4,6
/proc/571/task/573/stat : 573 (strangenight1-m) S 569 571 32675 0 -1 4202560 17210 0 0 0 21 7 0 0 18 0 4 0 875089166 519200768 56661 33554432000 4194304 4650419 140737379284784 18446744073709551615 222921882094 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=571/tid=574] ppid=569 vsize=507164 CPUtime=0.28 cores=0,2,4,6
/proc/571/task/574/stat : 574 (strangenight1-m) R 569 571 32675 0 -1 4202560 18654 0 0 0 22 6 0 0 18 0 4 0 875089166 519335936 56688 33554432000 4194304 4650419 140737379284784 18446744073709551615 222921882094 0 0 4096 2 18446604451693270080 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 507032

[startup+0.707424 s]
/proc/loadavg: 7.29 7.83 6.51 5/180 571
/proc/meminfo: memFree=31706292/32951124 swapFree=67056684/67111528
[pid=571] ppid=569 vsize=527608 CPUtime=2.53 cores=0,2,4,6
/proc/571/stat : 571 (strangenight1-m) R 569 571 32675 0 -1 4202496 101456 0 0 0 199 54 0 0 18 0 4 0 875089165 540270592 84341 33554432000 4194304 4650419 140737379284784 18446744073709551615 4370329 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/571/statm: 131902 84341 367 112 0 126867 0
[pid=571/tid=572] ppid=569 vsize=527608 CPUtime=0.62 cores=0,2,4,6
/proc/571/task/572/stat : 572 (strangenight1-m) R 569 571 32675 0 -1 4202560 24871 0 0 0 49 13 0 0 18 0 4 0 875089166 540270592 84341 33554432000 4194304 4650419 140737379284784 18446744073709551615 222921882094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=571/tid=573] ppid=569 vsize=527608 CPUtime=0.62 cores=0,2,4,6
/proc/571/task/573/stat : 573 (strangenight1-m) R 569 571 32675 0 -1 4202560 23780 0 0 0 48 14 0 0 18 0 4 0 875089166 540270592 84341 33554432000 4194304 4650419 140737379284784 18446744073709551615 222921882143 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=571/tid=574] ppid=569 vsize=527608 CPUtime=0.63 cores=0,2,4,6
/proc/571/task/574/stat : 574 (strangenight1-m) R 569 571 32675 0 -1 4202560 26538 0 0 0 51 12 0 0 18 0 4 0 875089166 540270592 84341 33554432000 4194304 4650419 140737379284784 18446744073709551615 4528513 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 527608

[startup+1.50057 s]
/proc/loadavg: 7.29 7.83 6.51 9/184 575
/proc/meminfo: memFree=31347660/32951124 swapFree=67056684/67111528
[pid=571] ppid=569 vsize=554524 CPUtime=5.7 cores=0,2,4,6
/proc/571/stat : 571 (strangenight1-m) R 569 571 32675 0 -1 4202496 111448 0 0 0 514 56 0 0 19 0 4 0 875089165 567832576 89684 33554432000 4194304 4650419 140737379284784 18446744073709551615 4369373 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/571/statm: 138631 89684 373 112 0 133596 0
[pid=571/tid=572] ppid=569 vsize=554524 CPUtime=1.41 cores=0,2,4,6
/proc/571/task/572/stat : 572 (strangenight1-m) R 569 571 32675 0 -1 4202560 28019 0 0 0 127 14 0 0 19 0 4 0 875089166 567832576 89684 33554432000 4194304 4650419 140737379284784 18446744073709551615 4370744 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=571/tid=573] ppid=569 vsize=554524 CPUtime=1.42 cores=0,2,4,6
/proc/571/task/573/stat : 573 (strangenight1-m) R 569 571 32675 0 -1 4202560 27000 0 0 0 127 15 0 0 19 0 4 0 875089166 567832576 89684 33554432000 4194304 4650419 140737379284784 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=571/tid=574] ppid=569 vsize=554524 CPUtime=1.42 cores=0,2,4,6
/proc/571/task/574/stat : 574 (strangenight1-m) R 569 571 32675 0 -1 4202560 27081 0 0 0 130 12 0 0 19 0 4 0 875089166 567832576 89684 33554432000 4194304 4650419 140737379284784 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.7
Current children cumulated vsize (KiB) 554524

[startup+3.10028 s]
/proc/loadavg: 7.29 7.83 6.51 9/184 575
/proc/meminfo: memFree=31344436/32951124 swapFree=67056684/67111528
[pid=571] ppid=569 vsize=554524 CPUtime=12.1 cores=0,2,4,6
/proc/571/stat : 571 (strangenight1-m) R 569 571 32675 0 -1 4202496 112223 0 0 0 1153 57 0 0 22 0 4 0 875089165 567832576 90459 33554432000 4194304 4650419 140737379284784 18446744073709551615 4369954 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/571/statm: 138631 90459 373 112 0 133596 0
[pid=571/tid=572] ppid=569 vsize=554524 CPUtime=3 cores=0,2,4,6
/proc/571/task/572/stat : 572 (strangenight1-m) R 569 571 32675 0 -1 4202560 28038 0 0 0 286 14 0 0 22 0 4 0 875089166 567832576 90459 33554432000 4194304 4650419 140737379284784 18446744073709551615 4370261 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=571/tid=573] ppid=569 vsize=554524 CPUtime=3.02 cores=0,2,4,6
/proc/571/task/573/stat : 573 (strangenight1-m) R 569 571 32675 0 -1 4202560 27001 0 0 0 287 15 0 0 22 0 4 0 875089166 567832576 90459 33554432000 4194304 4650419 140737379284784 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=571/tid=574] ppid=569 vsize=554524 CPUtime=3.02 cores=0,2,4,6
/proc/571/task/574/stat : 574 (strangenight1-m) R 569 571 32675 0 -1 4202560 27832 0 0 0 290 12 0 0 22 0 4 0 875089166 567832576 90459 33554432000 4194304 4650419 140737379284784 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.1
Current children cumulated vsize (KiB) 554524

[startup+6.30069 s]
/proc/loadavg: 7.35 7.83 6.52 9/184 575
/proc/meminfo: memFree=31334768/32951124 swapFree=67056684/67111528
[pid=571] ppid=569 vsize=563868 CPUtime=24.88 cores=0,2,4,6
/proc/571/stat : 571 (strangenight1-m) R 569 571 32675 0 -1 4202496 116283 0 0 0 2430 58 0 0 25 0 4 0 875089165 577400832 94519 33554432000 4194304 4650419 140737379284784 18446744073709551615 4369226 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/571/statm: 140967 94519 374 112 0 135932 0
[pid=571/tid=572] ppid=569 vsize=563868 CPUtime=6.19 cores=0,2,4,6
/proc/571/task/572/stat : 572 (strangenight1-m) R 569 571 32675 0 -1 4202560 28074 0 0 0 605 14 0 0 25 0 4 0 875089166 577400832 94519 33554432000 4194304 4650419 140737379284784 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=571/tid=573] ppid=569 vsize=563868 CPUtime=6.22 cores=0,2,4,6
/proc/571/task/573/stat : 573 (strangenight1-m) R 569 571 32675 0 -1 4202560 27030 0 0 0 607 15 0 0 25 0 4 0 875089166 577400832 94519 33554432000 4194304 4650419 140737379284784 18446744073709551615 4369860 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=571/tid=574] ppid=569 vsize=563868 CPUtime=6.22 cores=0,2,4,6
/proc/571/task/574/stat : 574 (strangenight1-m) R 569 571 32675 0 -1 4202560 31789 0 0 0 609 13 0 0 25 0 4 0 875089166 577400832 94519 33554432000 4194304 4650419 140737379284784 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.88
Current children cumulated vsize (KiB) 563868

[startup+12.7005 s]
/proc/loadavg: 7.40 7.83 6.53 9/184 576
/proc/meminfo: memFree=31229740/32951124 swapFree=67056684/67111528
[pid=571] ppid=569 vsize=693180 CPUtime=50.44 cores=0,2,4,6
/proc/571/stat : 571 (strangenight1-m) R 569 571 32675 0 -1 4202496 143990 0 0 0 4982 62 0 0 25 0 4 0 875089165 709816320 122151 33554432000 4194304 4650419 140737379284784 18446744073709551615 4550278 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/571/statm: 173295 122151 385 112 0 168260 0
[pid=571/tid=572] ppid=569 vsize=693180 CPUtime=12.55 cores=0,2,4,6
/proc/571/task/572/stat : 572 (strangenight1-m) R 569 571 32675 0 -1 4202560 36463 0 0 0 1240 15 0 0 25 0 4 0 875089166 709816320 122151 33554432000 4194304 4650419 140737379284784 18446744073709551615 4550167 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=571/tid=573] ppid=569 vsize=693180 CPUtime=12.62 cores=0,2,4,6
/proc/571/task/573/stat : 573 (strangenight1-m) R 569 571 32675 0 -1 4202560 36074 0 0 0 1246 16 0 0 25 0 4 0 875089166 709816320 122151 33554432000 4194304 4650419 140737379284784 18446744073709551615 4446450 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=571/tid=574] ppid=569 vsize=693180 CPUtime=12.62 cores=0,2,4,6
/proc/571/task/574/stat : 574 (strangenight1-m) R 569 571 32675 0 -1 4202560 34200 0 0 0 1248 14 0 0 25 0 4 0 875089166 709816320 122151 33554432000 4194304 4650419 140737379284784 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.44
Current children cumulated vsize (KiB) 693180

[startup+25.5012 s]
/proc/loadavg: 7.53 7.84 6.55 9/184 576
/proc/meminfo: memFree=31109560/32951124 swapFree=67056684/67111528
[pid=571] ppid=569 vsize=975876 CPUtime=101.56 cores=0,2,4,6
/proc/571/stat : 571 (strangenight1-m) R 569 571 32675 0 -1 4202496 184984 0 0 0 10084 72 0 0 25 0 4 0 875089165 999297024 150066 33554432000 4194304 4650419 140737379284784 18446744073709551615 4333753 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/571/statm: 243969 150066 391 112 0 238934 0
[pid=571/tid=572] ppid=569 vsize=975876 CPUtime=25.28 cores=0,2,4,6
/proc/571/task/572/stat : 572 (strangenight1-m) R 569 571 32675 0 -1 4202560 46726 0 0 0 2511 17 0 0 25 0 4 0 875089166 999297024 150066 33554432000 4194304 4650419 140737379284784 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=571/tid=573] ppid=569 vsize=975876 CPUtime=25.42 cores=0,2,4,6
/proc/571/task/573/stat : 573 (strangenight1-m) R 569 571 32675 0 -1 4202560 49968 0 0 0 2522 20 0 0 25 0 4 0 875089166 999297024 150066 33554432000 4194304 4650419 140737379284784 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=571/tid=574] ppid=569 vsize=975876 CPUtime=25.42 cores=0,2,4,6
/proc/571/task/574/stat : 574 (strangenight1-m) R 569 571 32675 0 -1 4202560 36796 0 0 0 2527 15 0 0 25 0 4 0 875089166 999297024 150066 33554432000 4194304 4650419 140737379284784 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 975876

[startup+51.1005 s]
/proc/loadavg: 7.82 7.88 6.60 9/184 577
/proc/meminfo: memFree=31089632/32951124 swapFree=67056684/67111528
[pid=571] ppid=569 vsize=1032612 CPUtime=203.82 cores=0,2,4,6
/proc/571/stat : 571 (strangenight1-m) R 569 571 32675 0 -1 4202496 213410 0 0 0 20299 83 0 0 25 0 4 0 875089165 1057394688 157023 33554432000 4194304 4650419 140737379284784 18446744073709551615 4364883 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/571/statm: 258153 157023 394 112 0 253118 0
[pid=571/tid=572] ppid=569 vsize=1032612 CPUtime=50.73 cores=0,2,4,6
/proc/571/task/572/stat : 572 (strangenight1-m) R 569 571 32675 0 -1 4202560 51870 0 0 0 5054 19 0 0 25 0 4 0 875089166 1057394688 157023 33554432000 4194304 4650419 140737379284784 18446744073709551615 4363592 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=571/tid=573] ppid=569 vsize=1032612 CPUtime=51.02 cores=0,2,4,6
/proc/571/task/573/stat : 573 (strangenight1-m) R 569 571 32675 0 -1 4202560 58104 0 0 0 5078 24 0 0 25 0 4 0 875089166 1057394688 157023 33554432000 4194304 4650419 140737379284784 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=571/tid=574] ppid=569 vsize=1032612 CPUtime=51.02 cores=0,2,4,6
/proc/571/task/574/stat : 574 (strangenight1-m) R 569 571 32675 0 -1 4202560 43557 0 0 0 5085 17 0 0 25 0 4 0 875089166 1057394688 157023 33554432000 4194304 4650419 140737379284784 18446744073709551615 4315464 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.82
Current children cumulated vsize (KiB) 1032612

[startup+102.301 s]
/proc/loadavg: 7.92 7.90 6.67 9/184 578
/proc/meminfo: memFree=30000916/32951124 swapFree=67056684/67111528
[pid=571] ppid=569 vsize=2221796 CPUtime=408.34 cores=0,2,4,6
/proc/571/stat : 571 (strangenight1-m) R 569 571 32675 0 -1 4202496 572852 0 0 0 40674 160 0 0 25 0 4 0 875089165 2275119104 426716 33554432000 4194304 4650419 140737379284784 18446744073709551615 4331364 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/571/statm: 555449 426716 421 112 0 550414 0
[pid=571/tid=572] ppid=569 vsize=2221796 CPUtime=101.66 cores=0,2,4,6
/proc/571/task/572/stat : 572 (strangenight1-m) R 569 571 32675 0 -1 4202560 162497 0 0 0 10125 41 0 0 25 0 4 0 875089166 2275119104 426717 33554432000 4194304 4650419 140737379284784 18446744073709551615 4266318 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=571/tid=573] ppid=569 vsize=2221796 CPUtime=102.23 cores=0,2,4,6
/proc/571/task/573/stat : 573 (strangenight1-m) R 569 571 32675 0 -1 4202560 156227 0 0 0 10176 47 0 0 25 0 4 0 875089166 2275119104 426717 33554432000 4194304 4650419 140737379284784 18446744073709551615 4436168 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=571/tid=574] ppid=569 vsize=2221796 CPUtime=102.23 cores=0,2,4,6
/proc/571/task/574/stat : 574 (strangenight1-m) R 569 571 32675 0 -1 4202560 76122 0 0 0 10197 26 0 0 25 0 4 0 875089166 2275119104 426717 33554432000 4194304 4650419 140737379284784 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.34
Current children cumulated vsize (KiB) 2221796

[startup+162.301 s]
/proc/loadavg: 7.97 7.91 6.75 9/184 580
/proc/meminfo: memFree=29285508/32951124 swapFree=67056684/67111528
[pid=571] ppid=569 vsize=3023544 CPUtime=648 cores=0,2,4,6
/proc/571/stat : 571 (strangenight1-m) R 569 571 32675 0 -1 4202496 793199 0 0 0 64590 210 0 0 25 0 4 0 875089165 3096109056 607046 33554432000 4194304 4650419 140737379284784 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/571/statm: 755886 607046 424 112 0 750851 0
[pid=571/tid=572] ppid=569 vsize=3023544 CPUtime=161.33 cores=0,2,4,6
/proc/571/task/572/stat : 572 (strangenight1-m) R 569 571 32675 0 -1 4202560 203531 0 0 0 16083 50 0 0 25 0 4 0 875089166 3096109056 607046 33554432000 4194304 4650419 140737379284784 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=571/tid=573] ppid=569 vsize=3023544 CPUtime=162.22 cores=0,2,4,6
/proc/571/task/573/stat : 573 (strangenight1-m) R 569 571 32675 0 -1 4202560 170861 0 0 0 16171 51 0 0 25 0 4 0 875089166 3096109056 607046 33554432000 4194304 4650419 140737379284784 18446744073709551615 4363314 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=571/tid=574] ppid=569 vsize=3023544 CPUtime=162.22 cores=0,2,4,6
/proc/571/task/574/stat : 574 (strangenight1-m) R 569 571 32675 0 -1 4202560 174146 0 0 0 16175 47 0 0 25 0 4 0 875089166 3096109056 607046 33554432000 4194304 4650419 140737379284784 18446744073709551615 4364944 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 648
Current children cumulated vsize (KiB) 3023544

[startup+222.307 s]
/proc/loadavg: 7.99 7.93 6.83 9/184 581
/proc/meminfo: memFree=28745552/32951124 swapFree=67056684/67111528
[pid=571] ppid=569 vsize=3739576 CPUtime=887.69 cores=0,2,4,6
/proc/571/stat : 571 (strangenight1-m) R 569 571 32675 0 -1 4202496 984631 0 0 0 88518 251 0 0 25 0 4 0 875089165 3829325824 743710 33554432000 4194304 4650419 140737379284784 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/571/statm: 934894 743710 423 112 0 929859 0
[pid=571/tid=572] ppid=569 vsize=3739576 CPUtime=221.01 cores=0,2,4,6
/proc/571/task/572/stat : 572 (strangenight1-m) R 569 571 32675 0 -1 4202560 258625 0 0 0 22039 62 0 0 25 0 4 0 875089166 3829325824 743710 33554432000 4194304 4650419 140737379284784 18446744073709551615 4333767 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=571/tid=573] ppid=569 vsize=3739576 CPUtime=222.22 cores=0,2,4,6
/proc/571/task/573/stat : 573 (strangenight1-m) R 569 571 32675 0 -1 4202560 226761 0 0 0 22158 64 0 0 25 0 4 0 875089166 3829325824 743710 33554432000 4194304 4650419 140737379284784 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=571/tid=574] ppid=569 vsize=3739576 CPUtime=222.22 cores=0,2,4,6
/proc/571/task/574/stat : 574 (strangenight1-m) R 569 571 32675 0 -1 4202560 210949 0 0 0 22169 53 0 0 25 0 4 0 875089166 3829325824 743710 33554432000 4194304 4650419 140737379284784 18446744073709551615 4331074 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 887.69
Current children cumulated vsize (KiB) 3739576

[startup+282.301 s]
/proc/loadavg: 7.99 7.94 6.90 9/184 583
/proc/meminfo: memFree=28304316/32951124 swapFree=67056684/67111528
[pid=571] ppid=569 vsize=4107708 CPUtime=1127.34 cores=0,2,4,6
/proc/571/stat : 571 (strangenight1-m) R 569 571 32675 0 -1 4202496 1161635 0 0 0 112442 292 0 0 25 0 4 0 875089165 4206292992 852275 33554432000 4194304 4650419 140737379284784 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/571/statm: 1026927 852275 423 112 0 1021892 0
[pid=571/tid=572] ppid=569 vsize=4107708 CPUtime=280.67 cores=0,2,4,6
/proc/571/task/572/stat : 572 (strangenight1-m) R 569 571 32675 0 -1 4202560 293326 0 0 0 27997 70 0 0 25 0 4 0 875089166 4206292992 852275 33554432000 4194304 4650419 140737379284784 18446744073709551615 4528981 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=571/tid=573] ppid=569 vsize=4107708 CPUtime=282.22 cores=0,2,4,6
/proc/571/task/573/stat : 573 (strangenight1-m) R 569 571 32675 0 -1 4202560 233820 0 0 0 28156 66 0 0 25 0 4 0 875089166 4206292992 852275 33554432000 4194304 4650419 140737379284784 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=571/tid=574] ppid=569 vsize=4107708 CPUtime=282.21 cores=0,2,4,6
/proc/571/task/574/stat : 574 (strangenight1-m) R 569 571 32675 0 -1 4202560 274778 0 0 0 28152 69 0 0 25 0 4 0 875089166 4206292992 852275 33554432000 4194304 4650419 140737379284784 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1127.34
Current children cumulated vsize (KiB) 4107708

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

[startup+294.401 s]
/proc/loadavg: 7.99 7.94 6.91 9/184 583
/proc/meminfo: memFree=28299592/32951124 swapFree=67056684/67111528
[pid=571] ppid=569 vsize=4110000 CPUtime=1175.67 cores=0,2,4,6
/proc/571/stat : 571 (strangenight1-m) R 569 571 32675 0 -1 4202496 1168238 0 0 0 117272 295 0 0 25 0 4 0 875089165 4208640000 855757 33554432000 4194304 4650419 140737379284784 18446744073709551615 4528981 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/571/statm: 1027500 855757 423 112 0 1022465 0
[pid=571/tid=572] ppid=569 vsize=4110000 CPUtime=292.71 cores=0,2,4,6
/proc/571/task/572/stat : 572 (strangenight1-m) R 569 571 32675 0 -1 4202560 294385 0 0 0 29200 71 0 0 25 0 4 0 875089166 4208640000 855757 33554432000 4194304 4650419 140737379284784 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=571/tid=573] ppid=569 vsize=4110000 CPUtime=294.32 cores=0,2,4,6
/proc/571/task/573/stat : 573 (strangenight1-m) R 569 571 32675 0 -1 4202560 234356 0 0 0 29365 67 0 0 25 0 4 0 875089166 4208640000 855757 33554432000 4194304 4650419 140737379284784 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=571/tid=574] ppid=569 vsize=4110000 CPUtime=294.32 cores=0,2,4,6
/proc/571/task/574/stat : 574 (strangenight1-m) R 569 571 32675 0 -1 4202560 276054 0 0 0 29361 71 0 0 25 0 4 0 875089166 4208640000 855757 33554432000 4194304 4650419 140737379284784 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1175.67
Current children cumulated vsize (KiB) 4110000

[startup+300.801 s]
/proc/loadavg: 7.99 7.94 6.92 9/184 583
/proc/meminfo: memFree=28290536/32951124 swapFree=67056684/67111528
[pid=571] ppid=569 vsize=4175544 CPUtime=1201.23 cores=0,2,4,6
/proc/571/stat : 571 (strangenight1-m) R 569 571 32675 0 -1 4202496 1171492 0 0 0 119827 296 0 0 25 0 4 0 875089165 4275757056 858854 33554432000 4194304 4650419 140737379284784 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/571/statm: 1043886 858854 423 112 0 1038851 0
[pid=571/tid=572] ppid=569 vsize=4175544 CPUtime=299.08 cores=0,2,4,6
/proc/571/task/572/stat : 572 (strangenight1-m) R 569 571 32675 0 -1 4202560 294746 0 0 0 29836 72 0 0 25 0 4 0 875089166 4275757056 858854 33554432000 4194304 4650419 140737379284784 18446744073709551615 4363762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=571/tid=573] ppid=569 vsize=4175544 CPUtime=300.72 cores=0,2,4,6
/proc/571/task/573/stat : 573 (strangenight1-m) R 569 571 32675 0 -1 4202560 235926 0 0 0 30005 67 0 0 25 0 4 0 875089166 4275757056 858854 33554432000 4194304 4650419 140737379284784 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=571/tid=574] ppid=569 vsize=4175544 CPUtime=300.71 cores=0,2,4,6
/proc/571/task/574/stat : 574 (strangenight1-m) R 569 571 32675 0 -1 4202560 276447 0 0 0 30000 71 0 0 25 0 4 0 875089166 4275757056 858854 33554432000 4194304 4650419 140737379284784 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1201.23
Current children cumulated vsize (KiB) 4175544

[startup+302.4 s]
/proc/loadavg: 7.99 7.94 6.92 9/184 583
/proc/meminfo: memFree=28288304/32951124 swapFree=67056684/67111528
[pid=571] ppid=569 vsize=4175544 CPUtime=1207.62 cores=0,2,4,6
/proc/571/stat : 571 (strangenight1-m) R 569 571 32675 0 -1 4202496 1171834 0 0 0 120466 296 0 0 25 0 4 0 875089165 4275757056 859196 33554432000 4194304 4650419 140737379284784 18446744073709551615 4528981 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/571/statm: 1043886 859196 423 112 0 1038851 0
[pid=571/tid=572] ppid=569 vsize=4175544 CPUtime=300.67 cores=0,2,4,6
/proc/571/task/572/stat : 572 (strangenight1-m) R 569 571 32675 0 -1 4202560 294823 0 0 0 29995 72 0 0 25 0 4 0 875089166 4275757056 859196 33554432000 4194304 4650419 140737379284784 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=571/tid=573] ppid=569 vsize=4175544 CPUtime=302.32 cores=0,2,4,6
/proc/571/task/573/stat : 573 (strangenight1-m) R 569 571 32675 0 -1 4202560 236013 0 0 0 30165 67 0 0 25 0 4 0 875089166 4275757056 859196 33554432000 4194304 4650419 140737379284784 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=571/tid=574] ppid=569 vsize=4175544 CPUtime=302.31 cores=0,2,4,6
/proc/571/task/574/stat : 574 (strangenight1-m) R 569 571 32675 0 -1 4202560 276559 0 0 0 30160 71 0 0 25 0 4 0 875089166 4275757056 859196 33554432000 4194304 4650419 140737379284784 18446744073709551615 4333403 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1207.62
Current children cumulated vsize (KiB) 4175544

[startup+303.2 s]
/proc/loadavg: 7.99 7.94 6.92 9/184 583
/proc/meminfo: memFree=28286320/32951124 swapFree=67056684/67111528
[pid=571] ppid=569 vsize=4175544 CPUtime=1210.82 cores=0,2,4,6
/proc/571/stat : 571 (strangenight1-m) R 569 571 32675 0 -1 4202496 1172065 0 0 0 120786 296 0 0 25 0 4 0 875089165 4275757056 859427 33554432000 4194304 4650419 140737379284784 18446744073709551615 4364883 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/571/statm: 1043886 859427 423 112 0 1038851 0
[pid=571/tid=572] ppid=569 vsize=4175544 CPUtime=301.47 cores=0,2,4,6
/proc/571/task/572/stat : 572 (strangenight1-m) R 569 571 32675 0 -1 4202560 294866 0 0 0 30075 72 0 0 25 0 4 0 875089166 4275757056 859427 33554432000 4194304 4650419 140737379284784 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=571/tid=573] ppid=569 vsize=4175544 CPUtime=303.12 cores=0,2,4,6
/proc/571/task/573/stat : 573 (strangenight1-m) R 569 571 32675 0 -1 4202560 236051 0 0 0 30245 67 0 0 25 0 4 0 875089166 4275757056 859427 33554432000 4194304 4650419 140737379284784 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=571/tid=574] ppid=569 vsize=4175544 CPUtime=303.11 cores=0,2,4,6
/proc/571/task/574/stat : 574 (strangenight1-m) R 569 571 32675 0 -1 4202560 276620 0 0 0 30240 71 0 0 25 0 4 0 875089166 4275757056 859427 33554432000 4194304 4650419 140737379284784 18446744073709551615 4303950 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1210.82
Current children cumulated vsize (KiB) 4175544

[startup+304.001 s]
/proc/loadavg: 7.99 7.94 6.92 9/184 583
/proc/meminfo: memFree=28284080/32951124 swapFree=67056684/67111528
[pid=571] ppid=569 vsize=4175544 CPUtime=1214.02 cores=0,2,4,6
/proc/571/stat : 571 (strangenight1-m) R 569 571 32675 0 -1 4202496 1172257 0 0 0 121105 297 0 0 25 0 4 0 875089165 4275757056 859619 33554432000 4194304 4650419 140737379284784 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/571/statm: 1043886 859619 423 112 0 1038851 0
[pid=571/tid=572] ppid=569 vsize=4175544 CPUtime=302.26 cores=0,2,4,6
/proc/571/task/572/stat : 572 (strangenight1-m) R 569 571 32675 0 -1 4202560 294894 0 0 0 30154 72 0 0 25 0 4 0 875089166 4275757056 859619 33554432000 4194304 4650419 140737379284784 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=571/tid=573] ppid=569 vsize=4175544 CPUtime=303.92 cores=0,2,4,6
/proc/571/task/573/stat : 573 (strangenight1-m) R 569 571 32675 0 -1 4202560 236077 0 0 0 30325 67 0 0 25 0 4 0 875089166 4275757056 859619 33554432000 4194304 4650419 140737379284784 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=571/tid=574] ppid=569 vsize=4175544 CPUtime=303.91 cores=0,2,4,6
/proc/571/task/574/stat : 574 (strangenight1-m) R 569 571 32675 0 -1 4202560 276679 0 0 0 30320 71 0 0 25 0 4 0 875089166 4275757056 859619 33554432000 4194304 4650419 140737379284784 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1214.02
Current children cumulated vsize (KiB) 4175544

[startup+304.201 s]
/proc/loadavg: 7.99 7.94 6.92 9/184 583
/proc/meminfo: memFree=28284080/32951124 swapFree=67056684/67111528
[pid=571] ppid=569 vsize=0 CPUtime=1214.41 cores=0,2,4,6
/proc/571/stat : 571 (strangenight1-m) Z 569 571 32675 0 -1 4203548 1172271 0 0 0 121131 310 0 0 25 0 2 0 875089165 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/571/statm: 0 0 0 0 0 0 0
[pid=571/tid=574] ppid=569 vsize=0 CPUtime=304.12 cores=0,2,4,6
/proc/571/task/574/stat : 574 (strangenight1-m) R 569 571 32675 0 -1 4203588 276682 0 0 0 30327 85 0 0 25 0 2 0 875089166 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1214.41
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 304.212
CPU time (s): 1214.43
CPU user time (s): 1211.32
CPU system time (s): 3.11553
CPU usage (%): 399.206
Max. virtual memory (cumulated for all children) (KiB): 4175544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1211.32
system time used= 3.11553
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1172271
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= 56978
involuntary context switches= 8980

runsolver used 0.462929 second user time and 1.21081 second system time

The end

Launcher Data 

Begin job on node109 at 2011-06-09 17:54:44
IDJOB=3369573
IDBENCH=71039
IDSOLVER=1846
FILE ID=node109/3369573-1307634883
RUNJOBID= node109-1307633277-32693
PBS_JOBID= 13549382
Free space on /tmp= 74176 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UCG-15-10p0.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369573-1307634883/watcher-3369573-1307634883 -o /tmp/evaluation-result-3369573-1307634883/solver-3369573-1307634883 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369573-1307634883.cnf

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

MD5SUM BENCH= bcbcc9a4e4a7e3ebed9eeaa393ebdc32
RANDOM SEED=1715957042

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.809
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.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31706464 kB
Buffers:        227560 kB
Cached:         385564 kB
SwapCached:       8608 kB
Active:         746964 kB
Inactive:       271248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31706464 kB
SwapTotal:    67111528 kB
SwapFree:     67056684 kB
Dirty:           24472 kB
Writeback:           0 kB
AnonPages:      402068 kB
Mapped:          13700 kB
Slab:           161864 kB
PageTables:       5676 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   706376 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= 74172 MiB
End job on node109 at 2011-06-09 17:59:48