Trace number 3394190

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-mt (fixed)UNSAT 2872.91 369.074

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf
MD5SUM36e8e2178d03f08fa4223da0e3d9beb5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark477.605
Satisfiable
(Un)Satisfiability was proved
Number of variables87884
Number of clauses1413816
Sum of the clauses size3227576
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 21364160
Number of clauses of size 33840
Number of clauses of size 417760
Number of clauses of size 57680
Number of clauses of size over 519680

Solver Data 

0.00/0.06	c Outputting solution to console
0.00/0.07	c Using 8 threads
0.00/0.08	c This is CryptoMiniSat 3.0.0
0.00/0.08	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.08	c Reading file 'HOME/instance-3394190-1306092662.cnf'
0.00/0.08	c -- header says num vars:          87884
0.00/0.08	c -- header says num clauses:     1413816
5.29/1.09	c -- clauses added:            0 learnts,      1413816 normals,            0 xors
5.29/1.09	c -- vars added      87884
5.29/1.09	c Parsing time:  0.43 s
5.29/1.09	c  N st     0         0     87884     37242   1002916         0   2379025         0   no data   no data
8.89/1.52	c asymm  cl-useful: 340/925/31008 lits-rem:13381 time: 0.41
75.21/9.90	c Flit:   272 Blit:   9075 bXBeca:    0 bXProp:  503 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T:  8.38
76.08/9.92	c Cleaning up after failed var search:     0.03 s 
76.08/9.96	c Replacing      503 vars Replaced    29211 lits Time:     0.03 s 
76.74/10.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
76.74/10.05	c bin-w-bin subsume rem          734 bins  time:  0.04 s
77.54/10.18	c subs with bin:       33  lits-rem:       151  v-fix:    0  time:  0.13 s
95.88/12.43	c Subs w/ non-existent bins:     29 l-rem:    686 v-fix:   384 done:  33612 time:  2.23 s
96.69/12.58	c Removed useless bin:    9772  fixed:     0  props:  20.01M  time:  0.15 s
98.29/12.75	c lits-rem:         0  cl-subs:       80  v-elim:     13  v-fix:    0  time:  0.17 s
98.29/12.78	c Finding binary XORs  T:     0.02 s  found:     218
99.10/12.81	c Replacing      218 vars Replaced    17256 lits Time:     0.03 s 
99.10/12.84	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
99.10/12.84	c calculated reachability. Time: 0.00
99.10/12.85	c Calc default polars -  time:   0.01 s pos:    1621 undec:   44954 neg:   41309
99.10/12.85	c =========================================================================================
99.10/12.85	c types(t): F = full restart, N = normal restart
99.10/12.85	c types(t): S = simplification begin/end, E = solution found
99.10/12.85	c restart types(rt): st = static, dy = dynamic
99.10/12.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
99.10/12.85	c  B st     0         0     42936     25852    552092         0   1334424         0   no data   no data
136.65/17.57	c  N dy    11      4233     42926     25852    552175      4110   1334424   2463740     25.85     27.44
171.77/21.91	c  N dy    28      8412     42874     25852    552840      5178   1334424   1540521     24.49     27.26
210.06/26.73	c  N dy    41     12504     42864     25852    553674      9167   1334424   3479693     23.11     24.81
249.19/31.68	c  N dy    65     16607     42735     25852    553730      8155   1334424   2210525     26.05     27.60
287.50/36.42	c  N dy    85     20793     42649     25852    554453     12245   1334424   4230182     26.95     29.68
333.02/42.15	c  N dy   102     24824     42620     25852    554497      9676   1334424   2196785     28.82     30.54
334.61/42.32	c  F st   104     25001     42606     25852    555255      9849   1334424   2256559     28.79   no data
400.12/50.51	c  N dy   110     30000     42493     25594    546468     14694   1313752   5871506     28.79   no data
400.12/50.52	c  S st   110     30000     42493     25594    546468     14694   1313752   5871506     28.79   no data
404.08/51.07	c  S st   110     30500     42478     25594    546480     15181   1313752   5997440     28.79   no data
404.87/51.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
530.23/66.87	c Flit:   530 Blit:   1456 bXBeca:    0 bXProp:  149 Bins: 695144 BRemL:  18551 BRemN:   1118 P: 200.0M T: 15.62
531.03/66.93	c Cleaning up after failed var search:     0.05 s 
532.75/67.19	c Replacing      149 vars Replaced    54616 lits Time:     0.26 s 
533.41/67.23	c blocked clauses removed:        0 vars:      0 tried:       40079 T: 0.02 s
534.21/67.33	c bin-w-bin subsume rem         6735 bins  time:  0.10 s
535.81/67.53	c subs with bin:       17  lits-rem:        16  v-fix:    0  time:  0.20 s
557.38/70.20	c Subs w/ non-existent bins:     11 l-rem:    501 v-fix:    68 done:  35638 time:  2.68 s
558.22/70.41	c Removed useless bin:   14070  fixed:     0  props:  20.00M  time:  0.20 s
560.57/70.62	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.21 s
575.77/72.61	c subs with bin:        8  lits-rem:      1116  v-fix:    0  time:  1.48 s
590.89/74.45	c lits-rem:      2986  cl-subs:      733  v-elim:      0  v-fix:    0  time:  1.82 s
594.88/74.92	c asymm  cl-useful: 174/672/24601 lits-rem:2362 time: 0.47
596.47/75.19	c calculated reachability. Time: 0.24
596.47/75.19	c  N dy   110     30500     40010     24601   1070241     14036   1195590   6485562     28.79   no data
603.66/76.00	c Finding binary XORs  T:     0.81 s  found:      80
665.45/83.85	c  N dy   122     35194     39921     24601   1071940     11029   1195590   3226950     27.21     29.48
710.96/89.51	c  N dy   133     39303     39875     24601   1105112     15008   1195590   5651765     26.52     28.02
744.49/93.76	c Finding binary XORs  T:     0.84 s  found:      40
764.42/96.20	c  N dy   138     43381     39873     24501   1091412     10189   1189626   1936996     25.10     27.34
817.12/102.82	c  S st   141     45750     39855     24501   1091842     12485   1189626   2834413     24.53     18.98
822.71/103.50	c  S st   141     46250     39855     24501   1091871     12955   1189626   2945241     24.53   no data
822.71/103.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
920.61/115.80	c Flit:   245 Blit:    285 bXBeca:    0 bXProp:   30 Bins: 672273 BRemL:   3352 BRemN:   2724 P: 200.0M T: 12.11
920.61/115.84	c Cleaning up after failed var search:     0.04 s 
921.41/115.98	c Replacing      150 vars Replaced    42044 lits Time:     0.13 s 
922.21/116.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
923.81/116.20	c bin-w-bin subsume rem        22786 bins  time:  0.18 s
925.41/116.51	c subs with bin:        3  lits-rem:         6  v-fix:    0  time:  0.31 s
950.16/119.56	c Subs w/ non-existent bins:      7 l-rem:    276 v-fix:    29 done:  36230 time:  3.05 s
952.60/119.82	c Removed useless bin:   33972  fixed:     0  props:  20.00M  time:  0.26 s
954.14/120.06	c lits-rem:         0  cl-subs:       14  v-elim:     39  v-fix:    0  time:  0.24 s
966.89/121.63	c subs with bin:        6  lits-rem:       619  v-fix:    0  time:  1.47 s
971.01/122.13	c lits-rem:       762  cl-subs:      284  v-elim:      0  v-fix:    0  time:  0.48 s
971.01/122.18	c vivif2 --  cl tried    24302 cl shrink       84 lits rem        538 time: 0.05
972.48/122.38	c vivif2 --  cl tried    12601 cl shrink     6356 lits rem     296190 time: 0.19
976.48/122.89	c asymm  cl-useful: 71/573/24300 lits-rem:736 time: 0.50
979.80/123.29	c calculated reachability. Time: 0.37
979.80/123.29	c  N dy   141     46250     39117     24300   1637369     11866   1093479   3749039     24.53   no data
990.05/124.53	c Finding binary XORs  T:     1.24 s  found:      51
1072.87/134.97	c  N dy   147     52935     39113     24300   1864044     18343   1093479   7252066     22.99     25.50
1083.26/136.25	c Finding binary XORs  T:     1.24 s  found:     123
1138.04/143.10	c Finding binary XORs  T:     1.25 s  found:      81
1235.37/155.35	c  N dy   153     61075     38137     23745   1874467     16935   1058051   9421786     21.24     22.43
1296.04/162.92	c  N dy   160     65308     38070     23745   1878851     21046   1058051  12663207     20.75     21.93
1345.56/169.12	c  S st   165     69375     37997     23745   1879724     15290   1058051   5279416     20.20      6.04
1350.35/169.76	c  S st   165     69878     37997     23745   1879761     15755   1058051   5327028     20.20   no data
1351.14/169.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1455.74/182.91	c Flit:   142 Blit:     70 bXBeca:    0 bXProp:   20 Bins: 306769 BRemL:   8884 BRemN:    234 P: 200.0M T: 13.00
1455.74/182.91	c Cleaning up after failed var search:     0.00 s 
1457.34/183.13	c Replacing      275 vars Replaced   156469 lits Time:     0.22 s 
1457.34/183.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1460.54/183.59	c bin-w-bin subsume rem        99586 bins  time:  0.42 s
1463.72/183.98	c subs with bin:       26  lits-rem:       158  v-fix:    0  time:  0.39 s
1487.72/186.98	c Subs w/ non-existent bins:      1 l-rem:    114 v-fix:     1 done:  37410 time:  3.00 s
1490.06/187.22	c Removed useless bin:   13887  fixed:     0  props:  20.00M  time:  0.24 s
1491.67/187.48	c lits-rem:         1  cl-subs:       23  v-elim:     22  v-fix:    0  time:  0.26 s
1504.45/189.06	c subs with bin:       65  lits-rem:       347  v-fix:    0  time:  1.45 s
1512.43/190.00	c lits-rem:       978  cl-subs:      225  v-elim:      0  v-fix:    0  time:  0.93 s
1512.43/190.07	c vivif2 --  cl tried    23605 cl shrink       25 lits rem        145 time: 0.07
1514.95/190.34	c vivif2 --  cl tried    15322 cl shrink     4639 lits rem     463554 time: 0.27
1518.82/190.89	c asymm  cl-useful: 26/553/23603 lits-rem:209 time: 0.55
1522.86/191.39	c calculated reachability. Time: 0.45
1522.86/191.39	c  N dy   165     69878     37532     23600   2013771     14840   1016675   5089443     20.20   no data
1536.38/193.00	c Finding binary XORs  T:     1.61 s  found:      22
1637.03/205.69	c Finding binary XORs  T:     1.61 s  found:      19
1638.57/205.90	c  N dy   166     76953     37429     23539   2330534     21747   1012932   7522667     19.08     20.10
1697.26/213.26	c  N dy   170     82192     37429     23539   2330634     16526   1012932   5278247     18.41     20.33
1730.79/217.47	c Finding binary XORs  T:     1.62 s  found:      24
1776.30/223.21	c  N dy   178     87476     37357     23491   2595143     21629   1009967   7450031     17.99     19.80
1777.15/223.25	c  F st   179     87500     37357     23491   2595143     21653   1009967   7461073     17.99   no data
1778.69/223.49	c Replacing       65 vars Replaced    37611 lits Time:     0.20 s 
1928.80/242.27	c  N dy   186     97048     37282     23488   2595735     19643   1009674   6071611     17.53     18.48
2023.06/254.08	c  N dy   190    103415     37277     23488   2596431     25887   1009674   8176975     16.92     18.58
2045.37/256.83	c  S st   191    104819     37274     23488   2596916     27254   1009674   8718321     16.83     14.39
2051.76/257.65	c  S st   191    105320     37184     23488   2596930     27740   1009674   8831858     16.83   no data
2052.56/257.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
2158.75/271.06	c Flit:    99 Blit:     53 bXBeca:    0 bXProp:    2 Bins: 370711 BRemL:  11698 BRemN:      4 P: 200.0M T: 13.26
2158.75/271.06	c Cleaning up after failed var search:     0.00 s 
2160.34/271.24	c Replacing        3 vars Replaced     1357 lits Time:     0.18 s 
2160.34/271.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2162.75/271.59	c bin-w-bin subsume rem        20272 bins  time:  0.30 s
2167.53/272.18	c subs with bin:       27  lits-rem:        63  v-fix:    0  time:  0.59 s
2192.28/275.22	c Subs w/ non-existent bins:      2 l-rem:     93 v-fix:     1 done:  37025 time:  3.04 s
2193.88/275.47	c Removed useless bin:    9636  fixed:     0  props:  20.00M  time:  0.26 s
2196.28/275.77	c lits-rem:         3  cl-subs:       14  v-elim:     16  v-fix:    0  time:  0.30 s
2211.45/277.66	c subs with bin:       14  lits-rem:       224  v-fix:    0  time:  1.62 s
2237.62/280.96	c lits-rem:      3729  cl-subs:      444  v-elim:      0  v-fix:    0  time:  3.29 s
2238.42/281.04	c vivif2 --  cl tried    23398 cl shrink       14 lits rem         55 time: 0.08
2243.34/281.65	c vivif2 --  cl tried    26654 cl shrink     7709 lits rem     834926 time: 0.61
2248.80/282.34	c asymm  cl-useful: 12/432/23396 lits-rem:48 time: 0.69
2253.59/282.96	c calculated reachability. Time: 0.55
2253.59/282.96	c  N dy   191    105320     37008     23396   2860065     26341    983371   8253130     16.83   no data
2268.82/284.91	c Finding binary XORs  T:     1.96 s  found:      11
2362.98/296.66	c Finding binary XORs  T:     1.95 s  found:      13
2434.04/305.59	c  N dy   198    115842     36883     23346   3124542     24676    980289   7351139     16.16     17.20
2466.77/309.69	c Finding binary XORs  T:     1.96 s  found:      13
2689.53/337.55	c  N dy   200    131814     36706     23296   3550304     27059    976820   8729998     15.26     16.10
2849.35/357.55	c  E dy   205    141948     36301     23019   3384650     32757    963308  10654888     14.79      3.97
2872.50/368.72	c Following stats are for *FIRST FINISHED THREAD ONLY*
2872.50/368.72	c num threads              : 8          
2872.50/368.72	c restarts                 : 205        
2872.50/368.72	c dynamic restarts         : 187        
2872.50/368.72	c static restarts          : 18         
2872.50/368.72	c full restarts            : 2          
2872.50/368.72	c total simplify time      : 16.55      
2872.50/368.72	c learnts DL2              : 0          
2872.50/368.72	c learnts size 2           : 4927994    
2872.50/368.72	c learnts size 1           : 61966       (70.51     % of vars)
2872.50/368.72	c filedLit time            : 62.50       (17.03     % time)
2872.50/368.72	c v-elim SatELite          : 91          (0.10      % vars)
2872.50/368.72	c SatELite time            : 20.81       (5.67      % time)
2872.50/368.72	c v-elim xor               : 0           (0.00      % vars)
2872.50/368.72	c xor elim time            : 0.19        (0.05      % time)
2872.50/368.72	c num binary xor trees     : 1312       
2872.50/368.72	c binxor trees' crown      : 1400        (1.07      leafs/tree)
2872.50/368.72	c bin xor find time        : 16.11      
2872.50/368.72	c OTF clause improved      : 734         (0.01      clauses/conflict)
2872.50/368.72	c OTF impr. size diff      : 2864        (3.90       lits/clause)
2872.50/368.72	c OTF cl watch-shrink      : 115456      (0.81      clauses/conflict)
2872.50/368.72	c OTF cl watch-sh-lit      : 7659239     (66.34      lits/clause)
2872.50/368.72	c tried to recurMin cls    : 82285       (57.97      % of conflicts)
2872.50/368.72	c updated cache            : 30517       (0.37       lits/tried recurMin)
2872.50/368.72	c unit cls recevied        : 1618        (2.61      % of units)
2872.50/368.72	c unit cls sent            : 2704        (4.36      % of units)
2872.50/368.72	c bin cls recevied         : 1873646    
2872.50/368.72	c bin cls sent             : 2060463    
2872.50/368.72	c clauses over max glue    : 0           (0.00      % of all clauses)
2872.50/368.72	c conflicts                : 141948      (386.90    / sec)
2872.50/368.72	c decisions                : 728310      (0.26      % random)
2872.50/368.72	c bogo-props               : 4663114843  (12710079.19 / sec)
2872.50/368.72	c conflict literals        : 62543108    (33.32     % deleted)
2872.50/368.72	c Memory used              : 8986.64     MB
2872.50/368.72	c single-thread CPU time   : 366.88      s
2872.50/368.72	c all-threads sum CPU time : 2864.36     s
2872.50/368.72	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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3394190-1306092662/watcher-3394190-1306092662 -o /tmp/evaluation-result-3394190-1306092662/solver-3394190-1306092662 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394190-1306092662.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: 9.43 5.42 3.06 1/453 3747
/proc/meminfo: memFree=28940668/32951124 swapFree=61375152/67111528
[pid=3747] ppid=3745 vsize=644 CPUtime=0 cores=0-7
/proc/3747/stat : 3747 (strangenight2-m) D 3745 3747 3669 0 -1 4194304 82 0 0 0 0 0 0 0 21 0 1 0 720864497 659456 39 33554432000 4194304 4580107 140735099126416 18446744073709551615 232330968711 0 0 4096 0 18446744071562154983 0 0 17 4 0 0 0
/proc/3747/statm: 161 39 32 95 0 22 0

[startup+0.0927841 s]
/proc/loadavg: 9.43 5.42 3.06 1/453 3747
/proc/meminfo: memFree=28940668/32951124 swapFree=61375152/67111528
[pid=3747] ppid=3745 vsize=492868 CPUtime=0.13 cores=0-7
/proc/3747/stat : 3747 (strangenight2-m) R 3745 3747 3669 0 -1 4202496 6228 0 6 0 12 1 0 0 17 0 8 0 720864497 504696832 5519 33554432000 4194304 4580107 140735099126416 18446744073709551615 232335589495 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 5
/proc/3747/statm: 123808 6527 338 95 0 118790 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 492868

[startup+0.112064 s]
/proc/loadavg: 9.43 5.42 3.06 1/453 3747
/proc/meminfo: memFree=28940668/32951124 swapFree=61375152/67111528
[pid=3747] ppid=3745 vsize=505736 CPUtime=0.31 cores=0-7
/proc/3747/stat : 3747 (strangenight2-m) R 3745 3747 3669 0 -1 4202496 12068 0 6 0 28 3 0 0 17 0 8 0 720864497 517873664 10251 33554432000 4194304 4580107 140735099126416 18446744073709551615 4341152 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 5
/proc/3747/statm: 126488 10251 338 95 0 121470 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 505736

[startup+0.300649 s]
/proc/loadavg: 9.43 5.42 3.06 1/453 3747
/proc/meminfo: memFree=28940668/32951124 swapFree=61375152/67111528
[pid=3747] ppid=3745 vsize=618292 CPUtime=1.42 cores=0-7
/proc/3747/stat : 3747 (strangenight2-m) S 3745 3747 3669 0 -1 4202496 36805 0 6 0 101 41 0 0 17 0 8 0 720864497 633131008 28642 33554432000 4194304 4580107 140735099126416 18446744073709551615 232335997422 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 5
/proc/3747/statm: 154573 28644 338 95 0 149555 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 618292

[startup+0.700573 s]
/proc/loadavg: 9.43 5.42 3.06 1/453 3747
/proc/meminfo: memFree=28940668/32951124 swapFree=61375152/67111528
[pid=3747] ppid=3745 vsize=712576 CPUtime=3.6 cores=0-7
/proc/3747/stat : 3747 (strangenight2-m) R 3745 3747 3669 0 -1 4202496 72935 0 6 0 228 132 0 0 16 0 8 0 720864497 729677824 64468 33554432000 4194304 4580107 140735099126416 18446744073709551615 232335997422 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 5
/proc/3747/statm: 178144 64477 338 95 0 173126 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 712576

[startup+1.50042 s]
/proc/loadavg: 9.43 5.42 3.06 9/461 3755
/proc/meminfo: memFree=28583288/32951124 swapFree=61375152/67111528
[pid=3747] ppid=3745 vsize=777552 CPUtime=8.89 cores=0-7
/proc/3747/stat : 3747 (strangenight2-m) R 3745 3747 3669 0 -1 4202496 117689 0 6 0 667 222 0 0 16 0 8 0 720864497 796213248 100621 33554432000 4194304 4580107 140735099126416 18446744073709551615 4293292 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 5
/proc/3747/statm: 194388 100621 359 95 0 189370 0
[pid=3747/tid=3749] ppid=3745 vsize=777552 CPUtime=1.1 cores=0-7
/proc/3747/task/3749/stat : 3749 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 14910 0 0 0 82 28 0 0 16 0 8 0 720864503 796213248 100621 33554432000 4194304 4580107 140735099126416 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3747/tid=3750] ppid=3745 vsize=777552 CPUtime=1.1 cores=0-7
/proc/3747/task/3750/stat : 3750 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 15396 0 0 0 81 29 0 0 16 0 8 0 720864503 796213248 100621 33554432000 4194304 4580107 140735099126416 18446744073709551615 232335997471 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3747/tid=3751] ppid=3745 vsize=777552 CPUtime=1.09 cores=0-7
/proc/3747/task/3751/stat : 3751 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 14337 0 0 0 80 29 0 0 16 0 8 0 720864503 796213248 100621 33554432000 4194304 4580107 140735099126416 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3747/tid=3752] ppid=3745 vsize=777552 CPUtime=1.11 cores=0-7
/proc/3747/task/3752/stat : 3752 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 14504 0 0 0 85 26 0 0 16 0 8 0 720864503 796213248 100621 33554432000 4194304 4580107 140735099126416 18446744073709551615 4294160 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3747/tid=3753] ppid=3745 vsize=777552 CPUtime=1.09 cores=0-7
/proc/3747/task/3753/stat : 3753 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 15097 0 0 0 81 28 0 0 16 0 8 0 720864503 796213248 100621 33554432000 4194304 4580107 140735099126416 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3747/tid=3754] ppid=3745 vsize=777552 CPUtime=1.1 cores=0-7
/proc/3747/task/3754/stat : 3754 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 13805 0 0 0 85 25 0 0 16 0 8 0 720864503 796213248 100621 33554432000 4194304 4580107 140735099126416 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3747/tid=3755] ppid=3745 vsize=777552 CPUtime=1.12 cores=0-7
/proc/3747/task/3755/stat : 3755 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 15411 0 0 0 86 26 0 0 16 0 8 0 720864503 796213248 100621 33554432000 4194304 4580107 140735099126416 18446744073709551615 4317485 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 8.89
Current children cumulated vsize (KiB) 777552

[startup+3.10113 s]
/proc/loadavg: 9.43 5.42 3.06 10/461 3755
/proc/meminfo: memFree=28522776/32951124 swapFree=61375152/67111528
[pid=3747] ppid=3745 vsize=780108 CPUtime=21.67 cores=0-7
/proc/3747/stat : 3747 (strangenight2-m) R 3745 3747 3669 0 -1 4202496 122790 0 6 0 1944 223 0 0 18 0 8 0 720864497 798830592 105509 33554432000 4194304 4580107 140735099126416 18446744073709551615 4292966 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 5
/proc/3747/statm: 195027 105509 360 95 0 190009 0
[pid=3747/tid=3749] ppid=3745 vsize=780108 CPUtime=2.71 cores=0-7
/proc/3747/task/3749/stat : 3749 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 15409 0 0 0 242 29 0 0 18 0 8 0 720864503 798830592 105509 33554432000 4194304 4580107 140735099126416 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3747/tid=3750] ppid=3745 vsize=780108 CPUtime=2.7 cores=0-7
/proc/3747/task/3750/stat : 3750 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 15922 0 0 0 241 29 0 0 18 0 8 0 720864503 798830592 105509 33554432000 4194304 4580107 140735099126416 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3747/tid=3751] ppid=3745 vsize=780108 CPUtime=2.69 cores=0-7
/proc/3747/task/3751/stat : 3751 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 14864 0 0 0 240 29 0 0 18 0 8 0 720864503 798830592 105509 33554432000 4194304 4580107 140735099126416 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3747/tid=3752] ppid=3745 vsize=780108 CPUtime=2.71 cores=0-7
/proc/3747/task/3752/stat : 3752 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 15030 0 0 0 245 26 0 0 18 0 8 0 720864503 798830592 105509 33554432000 4194304 4580107 140735099126416 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3747/tid=3753] ppid=3745 vsize=780108 CPUtime=2.67 cores=0-7
/proc/3747/task/3753/stat : 3753 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 15623 0 0 0 239 28 0 0 18 0 8 0 720864503 798830592 105509 33554432000 4194304 4580107 140735099126416 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3747/tid=3754] ppid=3745 vsize=780108 CPUtime=2.7 cores=0-7
/proc/3747/task/3754/stat : 3754 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 14333 0 0 0 245 25 0 0 18 0 8 0 720864503 798830592 105509 33554432000 4194304 4580107 140735099126416 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3747/tid=3755] ppid=3745 vsize=780108 CPUtime=2.72 cores=0-7
/proc/3747/task/3755/stat : 3755 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 16853 0 0 0 245 27 0 0 18 0 8 0 720864503 798830592 105509 33554432000 4194304 4580107 140735099126416 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 21.67
Current children cumulated vsize (KiB) 780108

[startup+6.30056 s]
/proc/loadavg: 9.31 5.47 3.09 9/460 3755
/proc/meminfo: memFree=28514592/32951124 swapFree=61375152/67111528
[pid=3747] ppid=3745 vsize=813056 CPUtime=47.21 cores=0-7
/proc/3747/stat : 3747 (strangenight2-m) R 3745 3747 3669 0 -1 4202496 124949 0 6 0 4497 224 0 0 25 0 8 0 720864497 832569344 107405 33554432000 4194304 4580107 140735099126416 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 5
/proc/3747/statm: 203264 107405 361 95 0 198246 0
[pid=3747/tid=3749] ppid=3745 vsize=813056 CPUtime=5.9 cores=0-7
/proc/3747/task/3749/stat : 3749 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 15409 0 0 0 561 29 0 0 25 0 8 0 720864503 832569344 107405 33554432000 4194304 4580107 140735099126416 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3747/tid=3750] ppid=3745 vsize=813056 CPUtime=5.9 cores=0-7
/proc/3747/task/3750/stat : 3750 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 15922 0 0 0 561 29 0 0 25 0 8 0 720864503 832569344 107405 33554432000 4194304 4580107 140735099126416 18446744073709551615 4293053 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3747/tid=3751] ppid=3745 vsize=813056 CPUtime=5.89 cores=0-7
/proc/3747/task/3751/stat : 3751 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 14864 0 0 0 560 29 0 0 25 0 8 0 720864503 832569344 107405 33554432000 4194304 4580107 140735099126416 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3747/tid=3752] ppid=3745 vsize=813056 CPUtime=5.91 cores=0-7
/proc/3747/task/3752/stat : 3752 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 15030 0 0 0 565 26 0 0 25 0 8 0 720864503 832569344 107405 33554432000 4194304 4580107 140735099126416 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3747/tid=3753] ppid=3745 vsize=813056 CPUtime=5.81 cores=0-7
/proc/3747/task/3753/stat : 3753 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 15623 0 0 0 553 28 0 0 25 0 8 0 720864503 832569344 107405 33554432000 4194304 4580107 140735099126416 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3747/tid=3754] ppid=3745 vsize=813056 CPUtime=5.9 cores=0-7
/proc/3747/task/3754/stat : 3754 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 14333 0 0 0 565 25 0 0 25 0 8 0 720864503 832569344 107405 33554432000 4194304 4580107 140735099126416 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3747/tid=3755] ppid=3745 vsize=813056 CPUtime=5.92 cores=0-7
/proc/3747/task/3755/stat : 3755 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 19012 0 0 0 565 27 0 0 25 0 8 0 720864503 832569344 107405 33554432000 4194304 4580107 140735099126416 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 47.21
Current children cumulated vsize (KiB) 813056

[startup+12.7004 s]
/proc/loadavg: 9.21 5.51 3.11 9/459 3755
/proc/meminfo: memFree=28413576/32951124 swapFree=61375152/67111528
[pid=3747] ppid=3745 vsize=935240 CPUtime=98.29 cores=0-7
/proc/3747/stat : 3747 (strangenight2-m) R 3745 3747 3669 0 -1 4202496 156336 0 6 0 9596 233 0 0 22 0 8 0 720864497 957685760 133776 33554432000 4194304 4580107 140735099126416 18446744073709551615 232335559715 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 5
/proc/3747/statm: 233810 133776 378 95 0 228792 0
[pid=3747/tid=3749] ppid=3745 vsize=935240 CPUtime=12.3 cores=0-7
/proc/3747/task/3749/stat : 3749 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 19858 0 0 0 1200 30 0 0 25 0 8 0 720864503 957685760 133776 33554432000 4194304 4580107 140735099126416 18446744073709551615 4289347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3747/tid=3750] ppid=3745 vsize=935240 CPUtime=12.29 cores=0-7
/proc/3747/task/3750/stat : 3750 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 19141 0 0 0 1199 30 0 0 22 0 8 0 720864503 957685760 133776 33554432000 4194304 4580107 140735099126416 18446744073709551615 4417803 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3747/tid=3751] ppid=3745 vsize=935240 CPUtime=12.29 cores=0-7
/proc/3747/task/3751/stat : 3751 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 18533 0 0 0 1199 30 0 0 25 0 8 0 720864503 957685760 133776 33554432000 4194304 4580107 140735099126416 18446744073709551615 4479072 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3747/tid=3752] ppid=3745 vsize=935240 CPUtime=12.31 cores=0-7
/proc/3747/task/3752/stat : 3752 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 18775 0 0 0 1204 27 0 0 25 0 8 0 720864503 957685760 133776 33554432000 4194304 4580107 140735099126416 18446744073709551615 4399787 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3747/tid=3753] ppid=3745 vsize=935240 CPUtime=12.11 cores=0-7
/proc/3747/task/3753/stat : 3753 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 18787 0 0 0 1182 29 0 0 25 0 8 0 720864503 957685760 133776 33554432000 4194304 4580107 140735099126416 18446744073709551615 4515332 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3747/tid=3754] ppid=3745 vsize=935240 CPUtime=12.3 cores=0-7
/proc/3747/task/3754/stat : 3754 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 17307 0 0 0 1204 26 0 0 25 0 8 0 720864503 957685760 133776 33554432000 4194304 4580107 140735099126416 18446744073709551615 4222880 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3747/tid=3755] ppid=3745 vsize=935240 CPUtime=12.33 cores=0-7
/proc/3747/task/3755/stat : 3755 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 25296 0 0 0 1204 29 0 0 25 0 8 0 720864503 957685760 133776 33554432000 4194304 4580107 140735099126416 18446744073709551615 4306112 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 98.29
Current children cumulated vsize (KiB) 935240

[startup+25.5011 s]
/proc/loadavg: 9.10 5.66 3.20 9/459 3755
/proc/meminfo: memFree=28337516/32951124 swapFree=61375152/67111528
[pid=3747] ppid=3745 vsize=1115948 CPUtime=200.47 cores=0-7
/proc/3747/stat : 3747 (strangenight2-m) R 3745 3747 3669 0 -1 4202496 210713 0 6 0 19799 248 0 0 25 0 8 0 720864497 1142730752 153572 33554432000 4194304 4580107 140735099126416 18446744073709551615 4342192 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 5
/proc/3747/statm: 278987 153572 378 95 0 273969 0
[pid=3747/tid=3749] ppid=3745 vsize=1115948 CPUtime=25.1 cores=0-7
/proc/3747/task/3749/stat : 3749 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 26362 0 0 0 2478 32 0 0 25 0 8 0 720864503 1142730752 153572 33554432000 4194304 4580107 140735099126416 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3747/tid=3750] ppid=3745 vsize=1115948 CPUtime=25.09 cores=0-7
/proc/3747/task/3750/stat : 3750 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 26598 0 0 0 2477 32 0 0 25 0 8 0 720864503 1142730752 153572 33554432000 4194304 4580107 140735099126416 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3747/tid=3751] ppid=3745 vsize=1115948 CPUtime=25.09 cores=0-7
/proc/3747/task/3751/stat : 3751 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 25298 0 0 0 2477 32 0 0 25 0 8 0 720864503 1142730752 153572 33554432000 4194304 4580107 140735099126416 18446744073709551615 4294160 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3747/tid=3752] ppid=3745 vsize=1115948 CPUtime=25.11 cores=0-7
/proc/3747/task/3752/stat : 3752 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 25825 0 0 0 2481 30 0 0 25 0 8 0 720864503 1142730752 153572 33554432000 4194304 4580107 140735099126416 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3747/tid=3753] ppid=3745 vsize=1115948 CPUtime=24.71 cores=0-7
/proc/3747/task/3753/stat : 3753 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 25507 0 0 0 2440 31 0 0 25 0 8 0 720864503 1142730752 153572 33554432000 4194304 4580107 140735099126416 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3747/tid=3754] ppid=3745 vsize=1115948 CPUtime=25.09 cores=0-7
/proc/3747/task/3754/stat : 3754 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 24781 0 0 0 2481 28 0 0 25 0 8 0 720864503 1142730752 153572 33554432000 4194304 4580107 140735099126416 18446744073709551615 4322409 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3747/tid=3755] ppid=3745 vsize=1115948 CPUtime=25.12 cores=0-7
/proc/3747/task/3755/stat : 3755 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 31145 0 0 0 2482 30 0 0 25 0 8 0 720864503 1142730752 153572 33554432000 4194304 4580107 140735099126416 18446744073709551615 4317025 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 200.47
Current children cumulated vsize (KiB) 1115948

[startup+51.1006 s]
/proc/loadavg: 8.72 5.85 3.33 9/459 3756
/proc/meminfo: memFree=28212844/32951124 swapFree=61375152/67111528
[pid=3747] ppid=3745 vsize=1369784 CPUtime=404.87 cores=0-7
/proc/3747/stat : 3747 (strangenight2-m) R 3745 3747 3669 0 -1 4202496 310308 0 6 0 40210 277 0 0 25 0 8 0 720864497 1402658816 185675 33554432000 4194304 4580107 140735099126416 18446744073709551615 4456388 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 5
/proc/3747/statm: 342446 185675 380 95 0 337428 0
[pid=3747/tid=3749] ppid=3745 vsize=1369784 CPUtime=50.7 cores=0-7
/proc/3747/task/3749/stat : 3749 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 39311 0 0 0 5034 36 0 0 25 0 8 0 720864503 1402658816 185675 33554432000 4194304 4580107 140735099126416 18446744073709551615 4317443 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3747/tid=3750] ppid=3745 vsize=1369784 CPUtime=50.69 cores=0-7
/proc/3747/task/3750/stat : 3750 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 37137 0 0 0 5033 36 0 0 25 0 8 0 720864503 1402658816 185675 33554432000 4194304 4580107 140735099126416 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3747/tid=3751] ppid=3745 vsize=1369784 CPUtime=50.69 cores=0-7
/proc/3747/task/3751/stat : 3751 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 35643 0 0 0 5033 36 0 0 25 0 8 0 720864503 1402658816 185675 33554432000 4194304 4580107 140735099126416 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3747/tid=3752] ppid=3745 vsize=1369784 CPUtime=50.72 cores=0-7
/proc/3747/task/3752/stat : 3752 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 40330 0 0 0 5038 34 0 0 25 0 8 0 720864503 1402658816 185675 33554432000 4194304 4580107 140735099126416 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3747/tid=3753] ppid=3745 vsize=1369784 CPUtime=49.92 cores=0-7
/proc/3747/task/3753/stat : 3753 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 37026 0 0 0 4957 35 0 0 25 0 8 0 720864503 1402658816 185675 33554432000 4194304 4580107 140735099126416 18446744073709551615 4316428 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3747/tid=3754] ppid=3745 vsize=1369784 CPUtime=50.69 cores=0-7
/proc/3747/task/3754/stat : 3754 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 39148 0 0 0 5037 32 0 0 25 0 8 0 720864503 1402658816 185675 33554432000 4194304 4580107 140735099126416 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3747/tid=3755] ppid=3745 vsize=1369784 CPUtime=50.73 cores=0-7
/proc/3747/task/3755/stat : 3755 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 44254 0 0 0 5039 34 0 0 25 0 8 0 720864503 1402658816 185675 33554432000 4194304 4580107 140735099126416 18446744073709551615 4316487 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 404.87

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

[pid=3747/tid=3753] ppid=3745 vsize=9095588 CPUtime=336.6 cores=0-7
/proc/3747/task/3753/stat : 3753 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 275728 0 0 0 33563 97 0 0 25 0 8 0 720864503 9313882112 1815569 33554432000 4194304 4580107 140735099126416 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3747/tid=3754] ppid=3745 vsize=9095588 CPUtime=341.33 cores=0-7
/proc/3747/task/3754/stat : 3754 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 243700 0 0 0 34049 84 0 0 25 0 8 0 720864503 9313882112 1815569 33554432000 4194304 4580107 140735099126416 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3747/tid=3755] ppid=3745 vsize=9095588 CPUtime=341.52 cores=0-7
/proc/3747/task/3755/stat : 3755 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 235137 0 0 0 34068 84 0 0 25 0 8 0 720864503 9313882112 1815569 33554432000 4194304 4580107 140735099126416 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2727.85
Current children cumulated vsize (KiB) 9095588

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

[startup+345.501 s]
/proc/loadavg: 8.16 7.29 4.63 9/459 3764
/proc/meminfo: memFree=21653788/32951124 swapFree=61375152/67111528
[pid=3747] ppid=3745 vsize=9095588 CPUtime=2753.41 cores=0-7
/proc/3747/stat : 3747 (strangenight2-m) R 3745 3747 3669 0 -1 4202496 2295346 0 6 0 274536 805 0 0 25 0 8 0 720864497 9313882112 1820040 33554432000 4194304 4580107 140735099126416 18446744073709551615 4294821 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 5
/proc/3747/statm: 2273897 1820040 380 95 0 2268879 0
[pid=3747/tid=3749] ppid=3745 vsize=9095588 CPUtime=344.84 cores=0-7
/proc/3747/task/3749/stat : 3749 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 329564 0 0 0 34368 116 0 0 25 0 8 0 720864503 9313882112 1820040 33554432000 4194304 4580107 140735099126416 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3747/tid=3750] ppid=3745 vsize=9095588 CPUtime=345.06 cores=0-7
/proc/3747/task/3750/stat : 3750 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 250073 0 0 0 34416 90 0 0 25 0 8 0 720864503 9313882112 1820040 33554432000 4194304 4580107 140735099126416 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3747/tid=3751] ppid=3745 vsize=9095588 CPUtime=344.74 cores=0-7
/proc/3747/task/3751/stat : 3751 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 305349 0 0 0 34357 117 0 0 25 0 8 0 720864503 9313882112 1820040 33554432000 4194304 4580107 140735099126416 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3747/tid=3752] ppid=3745 vsize=9095588 CPUtime=344.97 cores=0-7
/proc/3747/task/3752/stat : 3752 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 282003 0 0 0 34392 105 0 0 25 0 8 0 720864503 9313882112 1820040 33554432000 4194304 4580107 140735099126416 18446744073709551615 4316651 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3747/tid=3753] ppid=3745 vsize=9095588 CPUtime=339.75 cores=0-7
/proc/3747/task/3753/stat : 3753 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 276520 0 0 0 33878 97 0 0 25 0 8 0 720864503 9313882112 1820040 33554432000 4194304 4580107 140735099126416 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3747/tid=3754] ppid=3745 vsize=9095588 CPUtime=344.52 cores=0-7
/proc/3747/task/3754/stat : 3754 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 244357 0 0 0 34368 84 0 0 25 0 8 0 720864503 9313882112 1820041 33554432000 4194304 4580107 140735099126416 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=3747/tid=3755] ppid=3745 vsize=9095588 CPUtime=344.72 cores=0-7
/proc/3747/task/3755/stat : 3755 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 235639 0 0 0 34387 85 0 0 25 0 8 0 720864503 9313882112 1820041 33554432000 4194304 4580107 140735099126416 18446744073709551615 4321874 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2753.41
Current children cumulated vsize (KiB) 9095588

[startup+358.301 s]
/proc/loadavg: 8.12 7.33 4.69 10/459 3764
/proc/meminfo: memFree=21493948/32951124 swapFree=61375152/67111528
[pid=3747] ppid=3745 vsize=9202320 CPUtime=2851.7 cores=0-7
/proc/3747/stat : 3747 (strangenight2-m) R 3745 3747 3669 0 -1 4202496 2343809 0 6 0 284352 818 0 0 25 0 8 0 720864497 9423175680 1861457 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574736068 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 5
/proc/3747/statm: 2300580 1861457 380 95 0 2295562 0
[pid=3747/tid=3749] ppid=3745 vsize=9202320 CPUtime=356.99 cores=0-7
/proc/3747/task/3749/stat : 3749 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 332110 0 0 0 35582 117 0 0 25 0 8 0 720864503 9423175680 1861457 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 6 0 0 0
[pid=3747/tid=3750] ppid=3745 vsize=9202320 CPUtime=357.2 cores=0-7
/proc/3747/task/3750/stat : 3750 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 251931 0 0 0 35630 90 0 0 25 0 8 0 720864503 9423175680 1861457 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 3 0 0 0
[pid=3747/tid=3751] ppid=3745 vsize=9202320 CPUtime=356.9 cores=0-7
/proc/3747/task/3751/stat : 3751 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 307737 0 0 0 35571 119 0 0 25 0 8 0 720864503 9423175680 1861457 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 5 0 0 0
[pid=3747/tid=3752] ppid=3745 vsize=9202320 CPUtime=357.11 cores=0-7
/proc/3747/task/3752/stat : 3752 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 284107 0 0 0 35605 106 0 0 25 0 8 0 720864503 9423175680 1861457 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 1 0 0 0
[pid=3747/tid=3753] ppid=3745 vsize=9202320 CPUtime=352.36 cores=0-7
/proc/3747/task/3753/stat : 3753 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 310233 0 0 0 35131 105 0 0 25 0 8 0 720864503 9423175680 1861457 33554432000 4194304 4580107 140735099126416 18446744073709551615 4507443 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=3747/tid=3754] ppid=3745 vsize=9202320 CPUtime=356.67 cores=0-7
/proc/3747/task/3754/stat : 3754 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 247276 0 0 0 35582 85 0 0 25 0 8 0 720864503 9423175680 1861457 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 0 0 0 0
[pid=3747/tid=3755] ppid=3745 vsize=9202320 CPUtime=356.87 cores=0-7
/proc/3747/task/3755/stat : 3755 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 237173 0 0 0 35602 85 0 0 25 0 8 0 720864503 9423175680 1861457 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2851.7
Current children cumulated vsize (KiB) 9202320

[startup+364.701 s]
/proc/loadavg: 7.63 7.24 4.67 3/459 3764
/proc/meminfo: memFree=21475220/32951124 swapFree=61375152/67111528
[pid=3747] ppid=3745 vsize=9202320 CPUtime=2864.5 cores=0-7
/proc/3747/stat : 3747 (strangenight2-m) R 3745 3747 3669 0 -1 4202496 2348033 0 6 0 285631 819 0 0 25 0 8 0 720864497 9423175680 1864809 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574735915 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 5
/proc/3747/statm: 2300580 1864809 380 95 0 2295562 0
[pid=3747/tid=3749] ppid=3745 vsize=9202320 CPUtime=356.99 cores=0-7
/proc/3747/task/3749/stat : 3749 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 332110 0 0 0 35582 117 0 0 25 0 8 0 720864503 9423175680 1864809 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 6 0 0 0
[pid=3747/tid=3750] ppid=3745 vsize=9202320 CPUtime=357.2 cores=0-7
/proc/3747/task/3750/stat : 3750 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 251931 0 0 0 35630 90 0 0 25 0 8 0 720864503 9423175680 1864809 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 3 0 0 0
[pid=3747/tid=3751] ppid=3745 vsize=9202320 CPUtime=356.9 cores=0-7
/proc/3747/task/3751/stat : 3751 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 307737 0 0 0 35571 119 0 0 25 0 8 0 720864503 9423175680 1864809 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 5 0 0 0
[pid=3747/tid=3752] ppid=3745 vsize=9202320 CPUtime=357.11 cores=0-7
/proc/3747/task/3752/stat : 3752 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 284107 0 0 0 35605 106 0 0 25 0 8 0 720864503 9423175680 1864809 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 1 0 0 0
[pid=3747/tid=3753] ppid=3745 vsize=9202320 CPUtime=358.76 cores=0-7
/proc/3747/task/3753/stat : 3753 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 314457 0 0 0 35770 106 0 0 25 0 8 0 720864503 9423175680 1864809 33554432000 4194304 4580107 140735099126416 18446744073709551615 4417015 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3747/tid=3754] ppid=3745 vsize=9202320 CPUtime=356.67 cores=0-7
/proc/3747/task/3754/stat : 3754 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 247276 0 0 0 35582 85 0 0 25 0 8 0 720864503 9423175680 1864809 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 0 0 0 0
[pid=3747/tid=3755] ppid=3745 vsize=9202320 CPUtime=356.87 cores=0-7
/proc/3747/task/3755/stat : 3755 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 237173 0 0 0 35602 85 0 0 25 0 8 0 720864503 9423175680 1864809 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2864.5
Current children cumulated vsize (KiB) 9202320

[startup+366.318 s]
/proc/loadavg: 7.63 7.24 4.67 3/459 3764
/proc/meminfo: memFree=21472612/32951124 swapFree=61375152/67111528
[pid=3747] ppid=3745 vsize=9202320 CPUtime=2867.73 cores=0-7
/proc/3747/stat : 3747 (strangenight2-m) R 3745 3747 3669 0 -1 4202496 2348033 0 6 0 285954 819 0 0 25 0 8 0 720864497 9423175680 1864809 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574736068 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 5
/proc/3747/statm: 2300580 1864809 380 95 0 2295562 0
[pid=3747/tid=3749] ppid=3745 vsize=9202320 CPUtime=356.99 cores=0-7
/proc/3747/task/3749/stat : 3749 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 332110 0 0 0 35582 117 0 0 25 0 8 0 720864503 9423175680 1864809 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 6 0 0 0
[pid=3747/tid=3750] ppid=3745 vsize=9202320 CPUtime=357.2 cores=0-7
/proc/3747/task/3750/stat : 3750 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 251931 0 0 0 35630 90 0 0 25 0 8 0 720864503 9423175680 1864809 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 3 0 0 0
[pid=3747/tid=3751] ppid=3745 vsize=9202320 CPUtime=356.9 cores=0-7
/proc/3747/task/3751/stat : 3751 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 307737 0 0 0 35571 119 0 0 25 0 8 0 720864503 9423175680 1864809 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 5 0 0 0
[pid=3747/tid=3752] ppid=3745 vsize=9202320 CPUtime=357.11 cores=0-7
/proc/3747/task/3752/stat : 3752 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 284107 0 0 0 35605 106 0 0 25 0 8 0 720864503 9423175680 1864809 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 1 0 0 0
[pid=3747/tid=3753] ppid=3745 vsize=9202320 CPUtime=360.37 cores=0-7
/proc/3747/task/3753/stat : 3753 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 314457 0 0 0 35931 106 0 0 25 0 8 0 720864503 9423175680 1864809 33554432000 4194304 4580107 140735099126416 18446744073709551615 4416732 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3747/tid=3754] ppid=3745 vsize=9202320 CPUtime=356.67 cores=0-7
/proc/3747/task/3754/stat : 3754 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 247276 0 0 0 35582 85 0 0 25 0 8 0 720864503 9423175680 1864809 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 0 0 0 0
[pid=3747/tid=3755] ppid=3745 vsize=9202320 CPUtime=356.87 cores=0-7
/proc/3747/task/3755/stat : 3755 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 237173 0 0 0 35602 85 0 0 25 0 8 0 720864503 9423175680 1864809 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2867.73
Current children cumulated vsize (KiB) 9202320

[startup+367.901 s]
/proc/loadavg: 7.18 7.15 4.66 3/459 3764
/proc/meminfo: memFree=21473728/32951124 swapFree=61375152/67111528
[pid=3747] ppid=3745 vsize=9202320 CPUtime=2870.9 cores=0-7
/proc/3747/stat : 3747 (strangenight2-m) R 3745 3747 3669 0 -1 4202496 2349821 0 6 0 286271 819 0 0 25 0 8 0 720864497 9423175680 1866039 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574736068 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 5
/proc/3747/statm: 2300580 1866041 380 95 0 2295562 0
[pid=3747/tid=3749] ppid=3745 vsize=9202320 CPUtime=356.99 cores=0-7
/proc/3747/task/3749/stat : 3749 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 332110 0 0 0 35582 117 0 0 25 0 8 0 720864503 9423175680 1866041 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 6 0 0 0
[pid=3747/tid=3750] ppid=3745 vsize=9202320 CPUtime=357.2 cores=0-7
/proc/3747/task/3750/stat : 3750 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 251931 0 0 0 35630 90 0 0 25 0 8 0 720864503 9423175680 1866041 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 3 0 0 0
[pid=3747/tid=3751] ppid=3745 vsize=9202320 CPUtime=356.9 cores=0-7
/proc/3747/task/3751/stat : 3751 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 307737 0 0 0 35571 119 0 0 25 0 8 0 720864503 9423175680 1866041 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 5 0 0 0
[pid=3747/tid=3752] ppid=3745 vsize=9202320 CPUtime=357.11 cores=0-7
/proc/3747/task/3752/stat : 3752 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 284107 0 0 0 35605 106 0 0 25 0 8 0 720864503 9423175680 1866041 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 1 0 0 0
[pid=3747/tid=3753] ppid=3745 vsize=9202320 CPUtime=361.95 cores=0-7
/proc/3747/task/3753/stat : 3753 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 316248 0 0 0 36089 106 0 0 25 0 8 0 720864503 9423175680 1866042 33554432000 4194304 4580107 140735099126416 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3747/tid=3754] ppid=3745 vsize=9202320 CPUtime=356.67 cores=0-7
/proc/3747/task/3754/stat : 3754 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 247276 0 0 0 35582 85 0 0 25 0 8 0 720864503 9423175680 1866042 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 0 0 0 0
[pid=3747/tid=3755] ppid=3745 vsize=9202320 CPUtime=356.87 cores=0-7
/proc/3747/task/3755/stat : 3755 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 237173 0 0 0 35602 85 0 0 25 0 8 0 720864503 9423175680 1866042 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2870.9
Current children cumulated vsize (KiB) 9202320

[startup+368.701 s]
/proc/loadavg: 7.18 7.15 4.66 3/459 3764
/proc/meminfo: memFree=21466040/32951124 swapFree=61375152/67111528
[pid=3747] ppid=3745 vsize=9202320 CPUtime=2872.5 cores=0-7
/proc/3747/stat : 3747 (strangenight2-m) R 3745 3747 3669 0 -1 4202496 2350203 0 6 0 286431 819 0 0 25 0 8 0 720864497 9423175680 1866421 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574735915 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 5
/proc/3747/statm: 2300580 1866421 380 95 0 2295562 0
[pid=3747/tid=3749] ppid=3745 vsize=9202320 CPUtime=356.99 cores=0-7
/proc/3747/task/3749/stat : 3749 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 332110 0 0 0 35582 117 0 0 25 0 8 0 720864503 9423175680 1866421 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 6 0 0 0
[pid=3747/tid=3750] ppid=3745 vsize=9202320 CPUtime=357.2 cores=0-7
/proc/3747/task/3750/stat : 3750 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 251931 0 0 0 35630 90 0 0 25 0 8 0 720864503 9423175680 1866421 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 3 0 0 0
[pid=3747/tid=3751] ppid=3745 vsize=9202320 CPUtime=356.9 cores=0-7
/proc/3747/task/3751/stat : 3751 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 307737 0 0 0 35571 119 0 0 25 0 8 0 720864503 9423175680 1866421 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 5 0 0 0
[pid=3747/tid=3752] ppid=3745 vsize=9202320 CPUtime=357.11 cores=0-7
/proc/3747/task/3752/stat : 3752 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 284107 0 0 0 35605 106 0 0 25 0 8 0 720864503 9423175680 1866421 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 1 0 0 0
[pid=3747/tid=3753] ppid=3745 vsize=9202320 CPUtime=362.75 cores=0-7
/proc/3747/task/3753/stat : 3753 (strangenight2-m) R 3745 3747 3669 0 -1 4202560 316627 0 0 0 36169 106 0 0 25 0 8 0 720864503 9423175680 1866421 33554432000 4194304 4580107 140735099126416 18446744073709551615 4290862 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=3747/tid=3754] ppid=3745 vsize=9202320 CPUtime=356.67 cores=0-7
/proc/3747/task/3754/stat : 3754 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 247276 0 0 0 35582 85 0 0 25 0 8 0 720864503 9423175680 1866421 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 0 0 0 0
[pid=3747/tid=3755] ppid=3745 vsize=9202320 CPUtime=356.87 cores=0-7
/proc/3747/task/3755/stat : 3755 (strangenight2-m) S 3745 3747 3669 0 -1 4202560 237173 0 0 0 35602 85 0 0 25 0 8 0 720864503 9423175680 1866421 33554432000 4194304 4580107 140735099126416 18446744073709551615 47864574760500 0 0 4096 2 18446604445562479872 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2872.5
Current children cumulated vsize (KiB) 9202320

[startup+368.901 s]
/proc/loadavg: 7.18 7.15 4.66 3/459 3764
/proc/meminfo: memFree=21466040/32951124 swapFree=61375152/67111528
[pid=3747] ppid=3745 vsize=0 CPUtime=2872.73 cores=0-7
/proc/3747/stat : 3747 (strangenight2-m) Z 3745 3747 3669 0 -1 4202524 2350205 0 7 0 286436 837 0 0 25 0 2 0 720864497 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 5
/proc/3747/statm: 0 0 0 0 0 0 0
[pid=3747/tid=3755] ppid=3745 vsize=0 CPUtime=357.05 cores=0-7
/proc/3747/task/3755/stat : 3755 (strangenight2-m) R 3745 3747 3669 0 -1 4203588 237173 0 0 0 35602 103 0 0 18 0 2 0 720864503 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2872.73
Current children cumulated vsize (KiB) 0

[startup+369.001 s]
/proc/loadavg: 7.18 7.15 4.66 3/459 3764
/proc/meminfo: memFree=21466040/32951124 swapFree=61375152/67111528
[pid=3747] ppid=3745 vsize=0 CPUtime=2872.83 cores=0-7
/proc/3747/stat : 3747 (strangenight2-m) Z 3745 3747 3669 0 -1 4202524 2350205 0 7 0 286436 847 0 0 25 0 2 0 720864497 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 5
/proc/3747/statm: 0 0 0 0 0 0 0
[pid=3747/tid=3755] ppid=3745 vsize=0 CPUtime=357.15 cores=0-7
/proc/3747/task/3755/stat : 3755 (strangenight2-m) R 3745 3747 3669 0 -1 4203588 237173 0 0 0 35602 113 0 0 18 0 2 0 720864503 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2872.83
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 369.074
CPU time (s): 2872.91
CPU user time (s): 2864.36
CPU system time (s): 8.5437
CPU usage (%): 778.409
Max. virtual memory (cumulated for all children) (KiB): 9253840

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2864.36
system time used= 8.5437
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2350205
page faults= 7
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 394726
involuntary context switches= 23976

runsolver used 1.60076 second user time and 4.06538 second system time

The end

Launcher Data 

Begin job on node132 at 2011-05-22 21:31:03
IDJOB=3394190
IDBENCH=82378
IDSOLVER=1878
FILE ID=node132/3394190-1306092662
RUNJOBID= node132-1306092445-3683
PBS_JOBID= 13387944
Free space on /tmp= 73244 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.040-NOTKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394190-1306092662/watcher-3394190-1306092662 -o /tmp/evaluation-result-3394190-1306092662/solver-3394190-1306092662 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394190-1306092662.cnf

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

MD5SUM BENCH= 36e8e2178d03f08fa4223da0e3d9beb5
RANDOM SEED=34810515

node132.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28941244 kB
Buffers:           612 kB
Cached:          66584 kB
SwapCached:      19528 kB
Active:          40512 kB
Inactive:      3785272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28941244 kB
SwapTotal:    67111528 kB
SwapFree:     61375152 kB
Dirty:           29100 kB
Writeback:           0 kB
AnonPages:     3746520 kB
Mapped:          24040 kB
Slab:            61760 kB
PageTables:      49620 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 109202132 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73240 MiB
End job on node132 at 2011-05-22 21:37:12