Trace number 3394678

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 45.1141 5.89634

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E05X15.cnf
MD5SUMe53b8f4e61e6411a209ad63833d35585
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4.66929
Satisfiable
(Un)Satisfiability was proved
Number of variables4740
Number of clauses41379
Sum of the clauses size183934
Maximum clause length45
Minimum clause length1
Number of clauses of size 17
Number of clauses of size 211966
Number of clauses of size 39700
Number of clauses of size 43195
Number of clauses of size 54425
Number of clauses of size over 512086

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 8 threads
0.00/0.05	c This is CryptoMiniSat 3.0.0
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c Reading file 'HOME/instance-3394678-1306102932.cnf'
0.00/0.05	c -- header says num vars:           4740
0.00/0.05	c -- header says num clauses:       41379
0.00/0.08	c -- clauses added:            0 learnts,        41379 normals,            0 xors
0.00/0.08	c -- vars added       4740
0.00/0.08	c Parsing time:  0.02 s
0.00/0.08	c  N st     0         0      4740     29396     11759         0    183338         0   no data   no data
0.00/0.44	c asymm  cl-useful: 0/12103/29291 lits-rem:0 time: 0.36
3.60/0.54	c Flit:    21 Blit:      0 bXBeca:    0 bXProp:   60 Bins:      0 BRemL:      0 BRemN:      0 P:  3.7M T:  0.10
3.60/0.55	c Replacing       60 vars Replaced    19728 lits Time:     0.00 s 
3.60/0.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3.60/0.56	c bin-w-bin subsume rem          129 bins  time:  0.00 s
3.60/0.56	c subs with bin:      314  lits-rem:        10  v-fix:    0  time:  0.00 s
4.36/0.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   4540 time:  0.01 s
4.36/0.57	c Removed useless bin:       0  fixed:     0  props:   0.74M  time:  0.01 s
4.36/0.64	c lits-rem:         0  cl-subs:        4  v-elim:    518  v-fix:    0  time:  0.06 s
4.36/0.64	c Finding binary XORs  T:     0.00 s  found:       0
4.36/0.65	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
4.36/0.65	c calculated reachability. Time: 0.00
4.36/0.65	c Calc default polars -  time:   0.00 s pos:     196 undec:     718 neg:    3826
4.36/0.65	c =========================================================================================
4.36/0.65	c types(t): F = full restart, N = normal restart
4.36/0.65	c types(t): S = simplification begin/end, E = solution found
4.36/0.65	c restart types(rt): st = static, dy = dynamic
4.36/0.65	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
4.36/0.65	c  B st     0         0      4022     29607      9878         0    188428         0   no data   no data
4.36/1.21	c  N dy    17      4145      4020     29607     10017      3953    188428    109278      7.74      8.27
4.36/1.21	c  N dy    40      8156      4019     29607     10365      5446    188428    128783      8.21      9.30
8.54/1.52	c  N dy    62     12169      4012     29607     11364      5254    188428     86511      8.27     12.36
12.36/1.62	c  N dy    90     16594      4012     29607     11417      9594    188428    215778      8.43      8.95
12.36/1.62	c Finding binary XORs  T:     0.00 s  found:       0
14.18/1.80	c  N dy   116     20679      4000     29587     11605      8051    188140    144941      8.49     12.12
15.79/2.09	c  N dy   144     24772      3997     29587     12055     12078    188140    263542      8.60      9.06
16.59/2.11	c  F st   145     25000      3997     29587     12055     12303    188140    268594      8.59      7.67
18.97/2.47	c  N dy   151     30000      3997     29584     12043     10614    188109    233798      8.59   no data
18.97/2.47	c  S st   151     30000      3997     29584     12043     10614    188109    233798      8.59   no data
19.77/2.54	c  S st   151     30502      3992     29584     12355     11094    188109    243284      8.59   no data
19.77/2.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
21.37/2.79	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  90232 BRemL:  79705 BRemN:      0 P:  7.0M T:  0.25
22.17/2.80	c blocked clauses removed:        0 vars:      0 tried:        3989 T: 0.00 s
22.17/2.80	c bin-w-bin subsume rem           94 bins  time:  0.00 s
22.17/2.81	c subs with bin:      695  lits-rem:       287  v-fix:    0  time:  0.01 s
22.17/2.82	c Subs w/ non-existent bins:      8 l-rem:     65 v-fix:     0 done:   3989 time:  0.01 s
22.17/2.82	c Removed useless bin:       0  fixed:     0  props:   0.31M  time:  0.00 s
22.17/2.84	c lits-rem:         0  cl-subs:      186  v-elim:     98  v-fix:    0  time:  0.02 s
22.17/2.86	c subs with bin:      224  lits-rem:      1359  v-fix:    0  time:  0.01 s
22.17/2.88	c lits-rem:       279  cl-subs:      427  v-elim:      0  v-fix:    0  time:  0.02 s
24.57/3.16	c asymm  cl-useful: 0/16796/28899 lits-rem:0 time: 0.28
24.57/3.17	c calculated reachability. Time: 0.00
24.57/3.17	c  N dy   151     30502      3891     28899     21951      5039    185409     88392      8.59   no data
24.57/3.17	c Finding binary XORs  T:     0.00 s  found:       0
26.27/3.41	c  N dy   164     34651      3891     28899     21959      9145    185409    206291      8.52      9.14
28.55/3.68	c  N dy   183     38701      3890     28899     22069      8074    185409    154301      8.48      8.97
30.95/3.99	c  N dy   199     42739      3877     28899     97970     12056    185409    422454      8.45     10.45
32.55/4.12	c Finding binary XORs  T:     0.00 s  found:       0
33.34/4.27	c  S st   220     45753      3874     28883     97544      7204    185207    250178      8.49      6.84
34.14/4.32	c  S st   220     46254      3874     28883     97545      7700    185206    262153      8.49   no data
34.14/4.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
35.87/4.52	c Flit:     2 Blit:      2 bXBeca:    0 bXProp:    1 Bins:   1970 BRemL:  75412 BRemN:      0 P:  6.3M T:  0.19
35.87/4.52	c Replacing        1 vars Replaced     1044 lits Time:     0.00 s 
35.87/4.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
35.87/4.53	c bin-w-bin subsume rem          819 bins  time:  0.00 s
35.87/4.54	c subs with bin:      387  lits-rem:       166  v-fix:    0  time:  0.01 s
35.87/4.54	c Subs w/ non-existent bins:      7 l-rem:     27 v-fix:     0 done:   3868 time:  0.01 s
35.87/4.55	c Removed useless bin:       2  fixed:     0  props:   0.32M  time:  0.00 s
35.87/4.56	c lits-rem:         0  cl-subs:       71  v-elim:     43  v-fix:    0  time:  0.02 s
35.87/4.58	c subs with bin:      270  lits-rem:       898  v-fix:    0  time:  0.01 s
35.87/4.59	c lits-rem:        91  cl-subs:      220  v-elim:      0  v-fix:    0  time:  0.01 s
36.53/4.60	c vivif2 --  cl tried    28466 cl shrink       41 lits rem         43 time: 0.01
36.53/4.60	c vivif2 --  cl tried     5257 cl shrink      424 lits rem        831 time: 0.00
39.73/5.01	c asymm  cl-useful: 15/9892/28466 lits-rem:19 time: 0.41
39.73/5.02	c calculated reachability. Time: 0.00
39.73/5.02	c  N dy   220     46254      3825     28466     22377      5257    182894     76164      8.49   no data
41.32/5.26	c  N dy   235     50264      3818     28466     24523      9203    182894    183512      8.43      9.53
42.92/5.46	c Finding binary XORs  T:     0.00 s  found:       4
44.92/5.88	c Following stats are for *FIRST FINISHED THREAD ONLY*
44.92/5.88	c num threads              : 8          
44.92/5.88	c restarts                 : 311        
44.92/5.88	c dynamic restarts         : 299        
44.92/5.88	c static restarts          : 12         
44.92/5.88	c full restarts            : 1          
44.92/5.88	c total simplify time      : 0.02       
44.92/5.88	c learnts DL2              : 0          
44.92/5.88	c learnts size 2           : 179352     
44.92/5.88	c learnts size 1           : 1018        (21.48     % of vars)
44.92/5.88	c filedLit time            : 0.34        (5.78      % time)
44.92/5.88	c v-elim SatELite          : 624         (13.16     % vars)
44.92/5.88	c SatELite time            : 0.09        (1.63      % time)
44.92/5.88	c v-elim xor               : 0           (0.00      % vars)
44.92/5.88	c xor elim time            : 0.00        (0.03      % time)
44.92/5.88	c num binary xor trees     : 60         
44.92/5.88	c binxor trees' crown      : 60          (1.00      leafs/tree)
44.92/5.88	c bin xor find time        : 0.02       
44.92/5.88	c OTF clause improved      : 590         (0.01      clauses/conflict)
44.92/5.88	c OTF impr. size diff      : 721         (1.22       lits/clause)
44.92/5.88	c OTF cl watch-shrink      : 37746       (0.62      clauses/conflict)
44.92/5.88	c OTF cl watch-sh-lit      : 113211      (3.00       lits/clause)
44.92/5.88	c tried to recurMin cls    : 22651       (37.06      % of conflicts)
44.92/5.88	c updated cache            : 0           (0.00       lits/tried recurMin)
44.92/5.88	c unit cls recevied        : 45          (4.42      % of units)
44.92/5.88	c unit cls sent            : 38          (3.73      % of units)
44.92/5.88	c bin cls recevied         : 79578      
44.92/5.88	c bin cls sent             : 2074       
44.92/5.88	c clauses over max glue    : 0           (0.00      % of all clauses)
44.92/5.88	c conflicts                : 61116       (10459.50  / sec)
44.92/5.88	c decisions                : 106591      (2.45      % random)
44.92/5.88	c bogo-props               : 335357867   (57393718.35 / sec)
44.92/5.88	c conflict literals        : 1621230     (35.13     % deleted)
44.92/5.88	c Memory used              : 634.18      MB
44.92/5.88	c single-thread CPU time   : 5.84        s
44.92/5.88	c all-threads sum CPU time : 44.89       s
44.92/5.88	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-3394678-1306102932/watcher-3394678-1306102932 -o /tmp/evaluation-result-3394678-1306102932/solver-3394678-1306102932 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394678-1306102932.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: 0.72 0.64 3.30 2/457 29860
/proc/meminfo: memFree=10105792/32950928 swapFree=62427732/67111528
[pid=29860] ppid=29858 vsize=92144 CPUtime=0.07 cores=0-7
/proc/29860/stat : 29860 (strangenight2-m) R 29858 29860 29799 0 -1 4202496 421 0 0 0 7 0 0 0 25 0 8 0 721893034 94355456 361 33554432000 4194304 4580107 140735006756688 18446744073709551615 47993339139600 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29860/statm: 23036 361 302 95 0 18018 0
[pid=29860/tid=29861] ppid=29858 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29860/task/29861/stat : 29861 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721893034 94355456 361 33554432000 4194304 4580107 140735006756688 18446744073709551615 47993339139603 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29860/tid=29862] ppid=29858 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29860/task/29862/stat : 29862 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721893034 94355456 361 33554432000 4194304 4580107 140735006756688 18446744073709551615 47993339139603 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29860/tid=29863] ppid=29858 vsize=92144 CPUtime=0 cores=0-7
/proc/29860/task/29863/stat : 29863 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 721893034 94355456 361 33554432000 4194304 4580107 140735006756688 18446744073709551615 47993339140018 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29860/tid=29864] ppid=29858 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29860/task/29864/stat : 29864 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721893034 94355456 361 33554432000 4194304 4580107 140735006756688 18446744073709551615 47993339139609 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29860/tid=29865] ppid=29858 vsize=92144 CPUtime=0 cores=0-7
/proc/29860/task/29865/stat : 29865 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 721893034 94355456 361 33554432000 4194304 4580107 140735006756688 18446744073709551615 47993339139607 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29860/tid=29866] ppid=29858 vsize=92144 CPUtime=0 cores=0-7
/proc/29860/task/29866/stat : 29866 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 721893034 94355456 361 33554432000 4194304 4580107 140735006756688 18446744073709551615 47993339139607 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29860/tid=29867] ppid=29858 vsize=92144 CPUtime=0.01 cores=0-7
/proc/29860/task/29867/stat : 29867 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 721893034 94355456 361 33554432000 4194304 4580107 140735006756688 18446744073709551615 47993339139609 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.462303 s]
/proc/loadavg: 0.72 0.64 3.30 2/457 29860
/proc/meminfo: memFree=10105792/32950928 swapFree=62427732/67111528
[pid=29860] ppid=29858 vsize=563988 CPUtime=3.6 cores=0-7
/proc/29860/stat : 29860 (strangenight2-m) D 29858 29860 29799 0 -1 4202496 13223 0 0 0 354 6 0 0 18 0 8 0 721893034 577523712 12492 33554432000 4194304 4580107 140735006756688 18446744073709551615 248089741495 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29860/statm: 140997 12597 361 95 0 135979 0
[pid=29860/tid=29861] ppid=29858 vsize=564120 CPUtime=0.45 cores=0-7
/proc/29860/task/29861/stat : 29861 (strangenight2-m) D 29858 29860 29799 0 -1 4202560 2027 0 0 0 45 0 0 0 18 0 8 0 721893034 577658880 12643 33554432000 4194304 4580107 140735006756688 18446744073709551615 248089359045 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29860/tid=29862] ppid=29858 vsize=564120 CPUtime=0.45 cores=0-7
/proc/29860/task/29862/stat : 29862 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 1366 0 0 0 45 0 0 0 18 0 8 0 721893034 577658880 12643 33554432000 4194304 4580107 140735006756688 18446744073709551615 4293280 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29860/tid=29863] ppid=29858 vsize=564120 CPUtime=0.39 cores=0-7
/proc/29860/task/29863/stat : 29863 (strangenight2-m) D 29858 29860 29799 0 -1 4202560 1577 0 0 0 39 0 0 0 18 0 8 0 721893034 577658880 12643 33554432000 4194304 4580107 140735006756688 18446744073709551615 248089741495 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29860/tid=29864] ppid=29858 vsize=564120 CPUtime=0.44 cores=0-7
/proc/29860/task/29864/stat : 29864 (strangenight2-m) D 29858 29860 29799 0 -1 4202560 1503 0 0 0 44 0 0 0 18 0 8 0 721893034 577658880 12643 33554432000 4194304 4580107 140735006756688 18446744073709551615 248089359393 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29860/tid=29865] ppid=29858 vsize=564120 CPUtime=0.44 cores=0-7
/proc/29860/task/29865/stat : 29865 (strangenight2-m) D 29858 29860 29799 0 -1 4202560 1695 0 0 0 44 0 0 0 18 0 8 0 721893034 577658880 12643 33554432000 4194304 4580107 140735006756688 18446744073709551615 248089741495 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29860/tid=29866] ppid=29858 vsize=564120 CPUtime=0.45 cores=0-7
/proc/29860/task/29866/stat : 29866 (strangenight2-m) D 29858 29860 29799 0 -1 4202560 1523 0 0 0 45 0 0 0 18 0 8 0 721893034 577658880 12643 33554432000 4194304 4580107 140735006756688 18446744073709551615 248089741495 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29860/tid=29867] ppid=29858 vsize=564120 CPUtime=0.44 cores=0-7
/proc/29860/task/29867/stat : 29867 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 1554 0 0 0 44 0 0 0 18 0 8 0 721893034 577658880 12643 33554432000 4194304 4580107 140735006756688 18446744073709551615 248089395392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 563988

[startup+0.511956 s]
/proc/loadavg: 0.72 0.64 3.30 2/457 29860
/proc/meminfo: memFree=10105792/32950928 swapFree=62427732/67111528
[pid=29860] ppid=29858 vsize=640628 CPUtime=4.36 cores=0-7
/proc/29860/stat : 29860 (strangenight2-m) R 29858 29860 29799 0 -1 4202496 20664 0 0 0 428 8 0 0 18 0 8 0 721893034 656003072 19820 33554432000 4194304 4580107 140735006756688 18446744073709551615 4292103 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29860/statm: 160157 19832 375 95 0 155139 0
[pid=29860/tid=29861] ppid=29858 vsize=640628 CPUtime=0.55 cores=0-7
/proc/29860/task/29861/stat : 29861 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 3797 0 0 0 54 1 0 0 18 0 8 0 721893034 656003072 19841 33554432000 4194304 4580107 140735006756688 18446744073709551615 4415773 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29860/tid=29862] ppid=29858 vsize=640628 CPUtime=0.54 cores=0-7
/proc/29860/task/29862/stat : 29862 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 1942 0 0 0 53 1 0 0 18 0 8 0 721893034 656003072 19849 33554432000 4194304 4580107 140735006756688 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29860/tid=29863] ppid=29858 vsize=640628 CPUtime=0.49 cores=0-7
/proc/29860/task/29863/stat : 29863 (strangenight2-m) S 29858 29860 29799 0 -1 4202560 2073 0 0 0 48 1 0 0 18 0 8 0 721893034 656003072 19857 33554432000 4194304 4580107 140735006756688 18446744073709551615 248089803246 0 0 4096 2 18446604464924174400 0 0 -1 7 0 0 0
[pid=29860/tid=29864] ppid=29858 vsize=640628 CPUtime=0.55 cores=0-7
/proc/29860/task/29864/stat : 29864 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 1982 0 0 0 54 1 0 0 18 0 8 0 721893034 656003072 19866 33554432000 4194304 4580107 140735006756688 18446744073709551615 4304234 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29860/tid=29865] ppid=29858 vsize=640628 CPUtime=0.54 cores=0-7
/proc/29860/task/29865/stat : 29865 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 3130 0 0 0 53 1 0 0 18 0 8 0 721893034 656003072 19889 33554432000 4194304 4580107 140735006756688 18446744073709551615 4413316 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29860/tid=29866] ppid=29858 vsize=641088 CPUtime=0.55 cores=0-7
/proc/29860/task/29866/stat : 29866 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 2889 0 0 0 54 1 0 0 18 0 8 0 721893034 656474112 20085 33554432000 4194304 4580107 140735006756688 18446744073709551615 248089756074 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29860/tid=29867] ppid=29858 vsize=642052 CPUtime=0.54 cores=0-7
/proc/29860/task/29867/stat : 29867 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 1629 0 0 0 54 0 0 0 18 0 8 0 721893034 657461248 20323 33554432000 4194304 4580107 140735006756688 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 640628

[startup+0.664967 s]
/proc/loadavg: 0.72 0.64 3.30 2/457 29860
/proc/meminfo: memFree=10105792/32950928 swapFree=62427732/67111528
[pid=29860] ppid=29858 vsize=660608 CPUtime=8.54 cores=0-7
/proc/29860/stat : 29860 (strangenight2-m) R 29858 29860 29799 0 -1 4202496 32558 0 0 0 842 12 0 0 18 0 8 0 721893034 676462592 27363 33554432000 4194304 4580107 140735006756688 18446744073709551615 4294627 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29860/statm: 165205 27196 378 95 0 160187 0
[pid=29860/tid=29861] ppid=29858 vsize=660820 CPUtime=1.45 cores=0-7
/proc/29860/task/29861/stat : 29861 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 4906 0 0 0 144 1 0 0 18 0 8 0 721893034 676679680 27196 33554432000 4194304 4580107 140735006756688 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29860/tid=29862] ppid=29858 vsize=660820 CPUtime=1.44 cores=0-7
/proc/29860/task/29862/stat : 29862 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 4629 0 0 0 142 2 0 0 19 0 8 0 721893034 676679680 27197 33554432000 4194304 4580107 140735006756688 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29860/tid=29863] ppid=29858 vsize=660820 CPUtime=1.39 cores=0-7
/proc/29860/task/29863/stat : 29863 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 4725 0 0 0 138 1 0 0 19 0 8 0 721893034 676679680 27198 33554432000 4194304 4580107 140735006756688 18446744073709551615 4321056 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29860/tid=29864] ppid=29858 vsize=660820 CPUtime=1.44 cores=0-7
/proc/29860/task/29864/stat : 29864 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 4682 0 0 0 143 1 0 0 19 0 8 0 721893034 676679680 27198 33554432000 4194304 4580107 140735006756688 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29860/tid=29865] ppid=29858 vsize=660820 CPUtime=1.43 cores=0-7
/proc/29860/task/29865/stat : 29865 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 5177 0 0 0 142 1 0 0 19 0 8 0 721893034 676679680 27198 33554432000 4194304 4580107 140735006756688 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29860/tid=29866] ppid=29858 vsize=660820 CPUtime=1.44 cores=0-7
/proc/29860/task/29866/stat : 29866 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 4718 0 0 0 143 1 0 0 18 0 8 0 721893034 676679680 27198 33554432000 4194304 4580107 140735006756688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29860/tid=29867] ppid=29858 vsize=660820 CPUtime=1.44 cores=0-7
/proc/29860/task/29867/stat : 29867 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 2823 0 0 0 143 1 0 0 19 0 8 0 721893034 676679680 27198 33554432000 4194304 4580107 140735006756688 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.54
Current children cumulated vsize (KiB) 660608

[startup+1.57235 s]
/proc/loadavg: 0.72 0.64 3.30 2/457 29860
/proc/meminfo: memFree=10105792/32950928 swapFree=62427732/67111528
[pid=29860] ppid=29858 vsize=660820 CPUtime=12.36 cores=0-7
/proc/29860/stat : 29860 (strangenight2-m) R 29858 29860 29799 0 -1 4202496 37221 0 0 0 1223 13 0 0 19 0 8 0 721893034 676679680 27609 33554432000 4194304 4580107 140735006756688 18446744073709551615 4306033 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29860/statm: 165205 27609 378 95 0 160187 0
[pid=29860/tid=29861] ppid=29858 vsize=660820 CPUtime=1.55 cores=0-7
/proc/29860/task/29861/stat : 29861 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 4952 0 0 0 154 1 0 0 19 0 8 0 721893034 676679680 27609 33554432000 4194304 4580107 140735006756688 18446744073709551615 4318731 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29860/tid=29862] ppid=29858 vsize=660820 CPUtime=1.54 cores=0-7
/proc/29860/task/29862/stat : 29862 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 4679 0 0 0 152 2 0 0 19 0 8 0 721893034 676679680 27609 33554432000 4194304 4580107 140735006756688 18446744073709551615 4293251 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29860/tid=29863] ppid=29858 vsize=660820 CPUtime=1.49 cores=0-7
/proc/29860/task/29863/stat : 29863 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 4764 0 0 0 147 2 0 0 19 0 8 0 721893034 676679680 27609 33554432000 4194304 4580107 140735006756688 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29860/tid=29864] ppid=29858 vsize=660820 CPUtime=1.54 cores=0-7
/proc/29860/task/29864/stat : 29864 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 4734 0 0 0 153 1 0 0 19 0 8 0 721893034 676679680 27609 33554432000 4194304 4580107 140735006756688 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29860/tid=29865] ppid=29858 vsize=660820 CPUtime=1.53 cores=0-7
/proc/29860/task/29865/stat : 29865 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 5227 0 0 0 152 1 0 0 19 0 8 0 721893034 676679680 27609 33554432000 4194304 4580107 140735006756688 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29860/tid=29866] ppid=29858 vsize=660820 CPUtime=1.54 cores=0-7
/proc/29860/task/29866/stat : 29866 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 4763 0 0 0 153 1 0 0 19 0 8 0 721893034 676679680 27610 33554432000 4194304 4580107 140735006756688 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29860/tid=29867] ppid=29858 vsize=660820 CPUtime=1.54 cores=0-7
/proc/29860/task/29867/stat : 29867 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 2902 0 0 0 153 1 0 0 20 0 8 0 721893034 676679680 27610 33554432000 4194304 4580107 140735006756688 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 660820

[startup+1.67234 s]
/proc/loadavg: 0.72 0.64 3.30 2/457 29860
/proc/meminfo: memFree=10105792/32950928 swapFree=62427732/67111528
[pid=29860] ppid=29858 vsize=661212 CPUtime=13.15 cores=0-7
/proc/29860/stat : 29860 (strangenight2-m) R 29858 29860 29799 0 -1 4202496 39706 0 0 0 1302 13 0 0 19 0 8 0 721893034 677081088 26883 33554432000 4194304 4580107 140735006756688 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29860/statm: 165303 26883 379 95 0 160285 0
[pid=29860/tid=29861] ppid=29858 vsize=661212 CPUtime=1.64 cores=0-7
/proc/29860/task/29861/stat : 29861 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 5375 0 0 0 163 1 0 0 19 0 8 0 721893034 677081088 26883 33554432000 4194304 4580107 140735006756688 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29860/tid=29862] ppid=29858 vsize=661212 CPUtime=1.64 cores=0-7
/proc/29860/task/29862/stat : 29862 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 5080 0 0 0 162 2 0 0 19 0 8 0 721893034 677081088 26883 33554432000 4194304 4580107 140735006756688 18446744073709551615 4298669 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29860/tid=29863] ppid=29858 vsize=661212 CPUtime=1.59 cores=0-7
/proc/29860/task/29863/stat : 29863 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 5181 0 0 0 157 2 0 0 19 0 8 0 721893034 677081088 26884 33554432000 4194304 4580107 140735006756688 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29860/tid=29864] ppid=29858 vsize=661212 CPUtime=1.64 cores=0-7
/proc/29860/task/29864/stat : 29864 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 5113 0 0 0 163 1 0 0 19 0 8 0 721893034 677081088 26884 33554432000 4194304 4580107 140735006756688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29860/tid=29865] ppid=29858 vsize=661212 CPUtime=1.63 cores=0-7
/proc/29860/task/29865/stat : 29865 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 5267 0 0 0 162 1 0 0 19 0 8 0 721893034 677081088 26884 33554432000 4194304 4580107 140735006756688 18446744073709551615 4318855 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29860/tid=29866] ppid=29858 vsize=661212 CPUtime=1.64 cores=0-7
/proc/29860/task/29866/stat : 29866 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 5140 0 0 0 163 1 0 0 19 0 8 0 721893034 677081088 26885 33554432000 4194304 4580107 140735006756688 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29860/tid=29867] ppid=29858 vsize=661212 CPUtime=1.64 cores=0-7
/proc/29860/task/29867/stat : 29867 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 2952 0 0 0 163 1 0 0 20 0 8 0 721893034 677081088 26885 33554432000 4194304 4580107 140735006756688 18446744073709551615 4305310 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 13.15
Current children cumulated vsize (KiB) 661212

[startup+3.10108 s]
/proc/loadavg: 0.72 0.64 3.30 9/465 29868
/proc/meminfo: memFree=9994128/32950928 swapFree=62427732/67111528
[pid=29860] ppid=29858 vsize=664480 CPUtime=24.57 cores=0-7
/proc/29860/stat : 29860 (strangenight2-m) R 29858 29860 29799 0 -1 4202496 52215 0 0 0 2441 16 0 0 22 0 8 0 721893034 680427520 29428 33554432000 4194304 4580107 140735006756688 18446744073709551615 4293292 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29860/statm: 166120 29429 380 95 0 161102 0
[pid=29860/tid=29861] ppid=29858 vsize=664480 CPUtime=3.08 cores=0-7
/proc/29860/task/29861/stat : 29861 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 6835 0 0 0 306 2 0 0 22 0 8 0 721893034 680427520 29429 33554432000 4194304 4580107 140735006756688 18446744073709551615 248089359393 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29860/tid=29862] ppid=29858 vsize=664480 CPUtime=3.07 cores=0-7
/proc/29860/task/29862/stat : 29862 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 6607 0 0 0 305 2 0 0 22 0 8 0 721893034 680427520 29429 33554432000 4194304 4580107 140735006756688 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29860/tid=29863] ppid=29858 vsize=664480 CPUtime=3 cores=0-7
/proc/29860/task/29863/stat : 29863 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 6634 0 0 0 298 2 0 0 22 0 8 0 721893034 680427520 29429 33554432000 4194304 4580107 140735006756688 18446744073709551615 4306513 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29860/tid=29864] ppid=29858 vsize=664480 CPUtime=3.07 cores=0-7
/proc/29860/task/29864/stat : 29864 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 6550 0 0 0 306 1 0 0 22 0 8 0 721893034 680427520 29429 33554432000 4194304 4580107 140735006756688 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29860/tid=29865] ppid=29858 vsize=664480 CPUtime=3.06 cores=0-7
/proc/29860/task/29865/stat : 29865 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 6991 0 0 0 304 2 0 0 22 0 8 0 721893034 680427520 29429 33554432000 4194304 4580107 140735006756688 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29860/tid=29866] ppid=29858 vsize=664480 CPUtime=3.06 cores=0-7
/proc/29860/task/29866/stat : 29866 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 6610 0 0 0 305 1 0 0 22 0 8 0 721893034 680427520 29429 33554432000 4194304 4580107 140735006756688 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29860/tid=29867] ppid=29858 vsize=664480 CPUtime=3.07 cores=0-7
/proc/29860/task/29867/stat : 29867 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 4386 0 0 0 306 1 0 0 24 0 8 0 721893034 680427520 29429 33554432000 4194304 4580107 140735006756688 18446744073709551615 4325394 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.57
Current children cumulated vsize (KiB) 664480

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

[startup+4.30087 s]
/proc/loadavg: 0.72 0.64 3.30 9/465 29868
/proc/meminfo: memFree=9985980/32950928 swapFree=62427732/67111528
[pid=29860] ppid=29858 vsize=659216 CPUtime=34.14 cores=0-7
/proc/29860/stat : 29860 (strangenight2-m) R 29858 29860 29799 0 -1 4202496 65286 0 0 0 3396 18 0 0 25 0 8 0 721893034 675037184 36296 33554432000 4194304 4580107 140735006756688 18446744073709551615 4293849 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29860/statm: 164804 36296 380 95 0 159786 0
[pid=29860/tid=29861] ppid=29858 vsize=659216 CPUtime=4.28 cores=0-7
/proc/29860/task/29861/stat : 29861 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 8961 0 0 0 426 2 0 0 25 0 8 0 721893034 675037184 36296 33554432000 4194304 4580107 140735006756688 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29860/tid=29862] ppid=29858 vsize=659216 CPUtime=4.27 cores=0-7
/proc/29860/task/29862/stat : 29862 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 8522 0 0 0 425 2 0 0 18 0 8 0 721893034 675037184 36296 33554432000 4194304 4580107 140735006756688 18446744073709551615 4294248 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29860/tid=29863] ppid=29858 vsize=659216 CPUtime=4.18 cores=0-7
/proc/29860/task/29863/stat : 29863 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 8066 0 0 0 416 2 0 0 18 0 8 0 721893034 675037184 36296 33554432000 4194304 4580107 140735006756688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29860/tid=29864] ppid=29858 vsize=659216 CPUtime=4.27 cores=0-7
/proc/29860/task/29864/stat : 29864 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 7859 0 0 0 425 2 0 0 25 0 8 0 721893034 675037184 36296 33554432000 4194304 4580107 140735006756688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29860/tid=29865] ppid=29858 vsize=659216 CPUtime=4.26 cores=0-7
/proc/29860/task/29865/stat : 29865 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 8541 0 0 0 424 2 0 0 25 0 8 0 721893034 675037184 36296 33554432000 4194304 4580107 140735006756688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29860/tid=29866] ppid=29858 vsize=659216 CPUtime=4.27 cores=0-7
/proc/29860/task/29866/stat : 29866 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 8554 0 0 0 425 2 0 0 25 0 8 0 721893034 675037184 36296 33554432000 4194304 4580107 140735006756688 18446744073709551615 4321364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29860/tid=29867] ppid=29858 vsize=659216 CPUtime=4.27 cores=0-7
/proc/29860/task/29867/stat : 29867 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 5937 0 0 0 426 1 0 0 25 0 8 0 721893034 675037184 36296 33554432000 4194304 4580107 140735006756688 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 34.14
Current children cumulated vsize (KiB) 659216

[startup+5.10073 s]
/proc/loadavg: 1.30 0.76 3.33 9/465 29869
/proc/meminfo: memFree=9960808/32950928 swapFree=62427732/67111528
[pid=29860] ppid=29858 vsize=649548 CPUtime=40.53 cores=0-7
/proc/29860/stat : 29860 (strangenight2-m) R 29858 29860 29799 0 -1 4202496 70689 0 0 0 4033 20 0 0 25 0 8 0 721893034 665137152 37304 33554432000 4194304 4580107 140735006756688 18446744073709551615 4295727 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29860/statm: 162387 37304 380 95 0 157369 0
[pid=29860/tid=29861] ppid=29858 vsize=649548 CPUtime=5.08 cores=0-7
/proc/29860/task/29861/stat : 29861 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 9241 0 0 0 506 2 0 0 25 0 8 0 721893034 665137152 37304 33554432000 4194304 4580107 140735006756688 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29860/tid=29862] ppid=29858 vsize=649548 CPUtime=5.07 cores=0-7
/proc/29860/task/29862/stat : 29862 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 9324 0 0 0 505 2 0 0 19 0 8 0 721893034 665137152 37304 33554432000 4194304 4580107 140735006756688 18446744073709551615 4324533 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29860/tid=29863] ppid=29858 vsize=649548 CPUtime=4.96 cores=0-7
/proc/29860/task/29863/stat : 29863 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 8886 0 0 0 494 2 0 0 19 0 8 0 721893034 665137152 37304 33554432000 4194304 4580107 140735006756688 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29860/tid=29864] ppid=29858 vsize=649548 CPUtime=5.07 cores=0-7
/proc/29860/task/29864/stat : 29864 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 9006 0 0 0 505 2 0 0 25 0 8 0 721893034 665137152 37304 33554432000 4194304 4580107 140735006756688 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29860/tid=29865] ppid=29858 vsize=649548 CPUtime=5.06 cores=0-7
/proc/29860/task/29865/stat : 29865 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 9191 0 0 0 504 2 0 0 25 0 8 0 721893034 665137152 37304 33554432000 4194304 4580107 140735006756688 18446744073709551615 4222176 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29860/tid=29866] ppid=29858 vsize=649548 CPUtime=5.07 cores=0-7
/proc/29860/task/29866/stat : 29866 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 9214 0 0 0 505 2 0 0 25 0 8 0 721893034 665137152 37304 33554432000 4194304 4580107 140735006756688 18446744073709551615 4292966 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29860/tid=29867] ppid=29858 vsize=649548 CPUtime=5.07 cores=0-7
/proc/29860/task/29867/stat : 29867 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 6607 0 0 0 506 1 0 0 25 0 8 0 721893034 665137152 37304 33554432000 4194304 4580107 140735006756688 18446744073709551615 4316754 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 40.53
Current children cumulated vsize (KiB) 649548

[startup+5.50066 s]
/proc/loadavg: 1.30 0.76 3.33 9/465 29869
/proc/meminfo: memFree=9954236/32950928 swapFree=62427732/67111528
[pid=29860] ppid=29858 vsize=649392 CPUtime=43.84 cores=0-7
/proc/29860/stat : 29860 (strangenight2-m) R 29858 29860 29799 0 -1 4202496 72982 0 0 0 4363 21 0 0 25 0 8 0 721893034 664977408 38251 33554432000 4194304 4580107 140735006756688 18446744073709551615 47993339139603 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29860/statm: 162348 38251 380 95 0 157330 0
[pid=29860/tid=29861] ppid=29858 vsize=649392 CPUtime=5.49 cores=0-7
/proc/29860/task/29861/stat : 29861 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 9719 0 0 0 547 2 0 0 25 0 8 0 721893034 664977408 38251 33554432000 4194304 4580107 140735006756688 18446744073709551615 47993339115204 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29860/tid=29862] ppid=29858 vsize=649392 CPUtime=5.48 cores=0-7
/proc/29860/task/29862/stat : 29862 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 9916 0 0 0 546 2 0 0 20 0 8 0 721893034 664977408 38251 33554432000 4194304 4580107 140735006756688 18446744073709551615 47993339139613 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29860/tid=29863] ppid=29858 vsize=649392 CPUtime=5.37 cores=0-7
/proc/29860/task/29863/stat : 29863 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 9364 0 0 0 534 3 0 0 20 0 8 0 721893034 664977408 38251 33554432000 4194304 4580107 140735006756688 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29860/tid=29864] ppid=29858 vsize=649392 CPUtime=5.48 cores=0-7
/proc/29860/task/29864/stat : 29864 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 9197 0 0 0 546 2 0 0 25 0 8 0 721893034 664977408 38251 33554432000 4194304 4580107 140735006756688 18446744073709551615 47993339139609 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29860/tid=29865] ppid=29858 vsize=649392 CPUtime=5.47 cores=0-7
/proc/29860/task/29865/stat : 29865 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 9324 0 0 0 545 2 0 0 25 0 8 0 721893034 664977408 38251 33554432000 4194304 4580107 140735006756688 18446744073709551615 47993339139607 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29860/tid=29866] ppid=29858 vsize=649392 CPUtime=5.49 cores=0-7
/proc/29860/task/29866/stat : 29866 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 9315 0 0 0 547 2 0 0 25 0 8 0 721893034 664977408 38251 33554432000 4194304 4580107 140735006756688 18446744073709551615 248089722775 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29860/tid=29867] ppid=29858 vsize=649392 CPUtime=5.48 cores=0-7
/proc/29860/task/29867/stat : 29867 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 6724 0 0 0 547 1 0 0 25 0 8 0 721893034 664977408 38251 33554432000 4194304 4580107 140735006756688 18446744073709551615 47993339139600 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 43.84
Current children cumulated vsize (KiB) 649392

[startup+5.70062 s]
/proc/loadavg: 1.30 0.76 3.33 9/465 29869
/proc/meminfo: memFree=9954236/32950928 swapFree=62427732/67111528
[pid=29860] ppid=29858 vsize=649392 CPUtime=44.72 cores=0-7
/proc/29860/stat : 29860 (strangenight2-m) S 29858 29860 29799 0 -1 4202496 73532 0 0 0 4451 21 0 0 25 0 8 0 721893034 664977408 38533 33554432000 4194304 4580107 140735006756688 18446744073709551615 47993339139636 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29860/statm: 162348 38533 380 95 0 157330 0
[pid=29860/tid=29861] ppid=29858 vsize=649392 CPUtime=5.67 cores=0-7
/proc/29860/task/29861/stat : 29861 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 9719 0 0 0 565 2 0 0 25 0 8 0 721893034 664977408 38533 33554432000 4194304 4580107 140735006756688 18446744073709551615 4219847 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29860/tid=29862] ppid=29858 vsize=649392 CPUtime=5.57 cores=0-7
/proc/29860/task/29862/stat : 29862 (strangenight2-m) S 29858 29860 29799 0 -1 4202560 9916 0 0 0 555 2 0 0 20 0 8 0 721893034 664977408 38533 33554432000 4194304 4580107 140735006756688 18446744073709551615 47993339139636 0 0 4096 2 18446604464924174400 0 0 -1 4 0 0 0
[pid=29860/tid=29863] ppid=29858 vsize=649392 CPUtime=5.47 cores=0-7
/proc/29860/task/29863/stat : 29863 (strangenight2-m) S 29858 29860 29799 0 -1 4202560 9364 0 0 0 544 3 0 0 20 0 8 0 721893034 664977408 38533 33554432000 4194304 4580107 140735006756688 18446744073709551615 47993339139636 0 0 4096 2 18446604464924174400 0 0 -1 7 0 0 0
[pid=29860/tid=29864] ppid=29858 vsize=649392 CPUtime=5.57 cores=0-7
/proc/29860/task/29864/stat : 29864 (strangenight2-m) S 29858 29860 29799 0 -1 4202560 9197 0 0 0 555 2 0 0 25 0 8 0 721893034 664977408 38533 33554432000 4194304 4580107 140735006756688 18446744073709551615 47993339139636 0 0 4096 2 18446604464924174400 0 0 -1 1 0 0 0
[pid=29860/tid=29865] ppid=29858 vsize=649392 CPUtime=5.56 cores=0-7
/proc/29860/task/29865/stat : 29865 (strangenight2-m) S 29858 29860 29799 0 -1 4202560 9324 0 0 0 554 2 0 0 25 0 8 0 721893034 664977408 38533 33554432000 4194304 4580107 140735006756688 18446744073709551615 47993339139636 0 0 4096 2 18446604464924174400 0 0 -1 5 0 0 0
[pid=29860/tid=29866] ppid=29858 vsize=649392 CPUtime=5.67 cores=0-7
/proc/29860/task/29866/stat : 29866 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 9865 0 0 0 565 2 0 0 25 0 8 0 721893034 664977408 38533 33554432000 4194304 4580107 140735006756688 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29860/tid=29867] ppid=29858 vsize=649392 CPUtime=5.57 cores=0-7
/proc/29860/task/29867/stat : 29867 (strangenight2-m) S 29858 29860 29799 0 -1 4202560 6724 0 0 0 556 1 0 0 25 0 8 0 721893034 664977408 38533 33554432000 4194304 4580107 140735006756688 18446744073709551615 47993339139636 0 0 4096 2 18446604464924174400 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 44.72
Current children cumulated vsize (KiB) 649392

[startup+5.8006 s]
/proc/loadavg: 1.30 0.76 3.33 9/465 29869
/proc/meminfo: memFree=9954236/32950928 swapFree=62427732/67111528
[pid=29860] ppid=29858 vsize=649392 CPUtime=44.92 cores=0-7
/proc/29860/stat : 29860 (strangenight2-m) S 29858 29860 29799 0 -1 4202496 73532 0 0 0 4471 21 0 0 25 0 8 0 721893034 664977408 38533 33554432000 4194304 4580107 140735006756688 18446744073709551615 47993339139636 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29860/statm: 162348 38533 380 95 0 157330 0
[pid=29860/tid=29861] ppid=29858 vsize=649392 CPUtime=5.77 cores=0-7
/proc/29860/task/29861/stat : 29861 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 9719 0 0 0 575 2 0 0 25 0 8 0 721893034 664977408 38533 33554432000 4194304 4580107 140735006756688 18446744073709551615 47993339115051 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=29860/tid=29862] ppid=29858 vsize=649392 CPUtime=5.57 cores=0-7
/proc/29860/task/29862/stat : 29862 (strangenight2-m) S 29858 29860 29799 0 -1 4202560 9916 0 0 0 555 2 0 0 20 0 8 0 721893034 664977408 38533 33554432000 4194304 4580107 140735006756688 18446744073709551615 47993339139636 0 0 4096 2 18446604464924174400 0 0 -1 4 0 0 0
[pid=29860/tid=29863] ppid=29858 vsize=649392 CPUtime=5.47 cores=0-7
/proc/29860/task/29863/stat : 29863 (strangenight2-m) S 29858 29860 29799 0 -1 4202560 9364 0 0 0 544 3 0 0 20 0 8 0 721893034 664977408 38533 33554432000 4194304 4580107 140735006756688 18446744073709551615 47993339139636 0 0 4096 2 18446604464924174400 0 0 -1 7 0 0 0
[pid=29860/tid=29864] ppid=29858 vsize=649392 CPUtime=5.57 cores=0-7
/proc/29860/task/29864/stat : 29864 (strangenight2-m) S 29858 29860 29799 0 -1 4202560 9197 0 0 0 555 2 0 0 25 0 8 0 721893034 664977408 38533 33554432000 4194304 4580107 140735006756688 18446744073709551615 47993339139636 0 0 4096 2 18446604464924174400 0 0 -1 1 0 0 0
[pid=29860/tid=29865] ppid=29858 vsize=649392 CPUtime=5.56 cores=0-7
/proc/29860/task/29865/stat : 29865 (strangenight2-m) S 29858 29860 29799 0 -1 4202560 9324 0 0 0 554 2 0 0 25 0 8 0 721893034 664977408 38533 33554432000 4194304 4580107 140735006756688 18446744073709551615 47993339139636 0 0 4096 2 18446604464924174400 0 0 -1 5 0 0 0
[pid=29860/tid=29866] ppid=29858 vsize=649392 CPUtime=5.77 cores=0-7
/proc/29860/task/29866/stat : 29866 (strangenight2-m) R 29858 29860 29799 0 -1 4202560 9865 0 0 0 575 2 0 0 25 0 8 0 721893034 664977408 38533 33554432000 4194304 4580107 140735006756688 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29860/tid=29867] ppid=29858 vsize=649392 CPUtime=5.57 cores=0-7
/proc/29860/task/29867/stat : 29867 (strangenight2-m) S 29858 29860 29799 0 -1 4202560 6724 0 0 0 556 1 0 0 25 0 8 0 721893034 664977408 38533 33554432000 4194304 4580107 140735006756688 18446744073709551615 47993339139636 0 0 4096 2 18446604464924174400 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 44.92
Current children cumulated vsize (KiB) 649392

Child status: 20
Real time (s): 5.89634
CPU time (s): 45.1141
CPU user time (s): 44.8942
CPU system time (s): 0.219966
CPU usage (%): 765.122
Max. virtual memory (cumulated for all children) (KiB): 669096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.8942
system time used= 0.219966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73535
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= 10486
involuntary context switches= 224

runsolver used 0.026995 second user time and 0.06299 second system time

The end

Launcher Data 

Begin job on node123 at 2011-05-23 00:22:12
IDJOB=3394678
IDBENCH=83454
IDSOLVER=1878
FILE ID=node123/3394678-1306102932
RUNJOBID= node123-1306102930-29814
PBS_JOBID= 13388002
Free space on /tmp= 73124 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E05X15.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3394678-1306102932/watcher-3394678-1306102932 -o /tmp/evaluation-result-3394678-1306102932/solver-3394678-1306102932 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3394678-1306102932.cnf

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

MD5SUM BENCH= e53b8f4e61e6411a209ad63833d35585
RANDOM SEED=1138343531

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      10106072 kB
Buffers:        185168 kB
Cached:        3571788 kB
SwapCached:      76116 kB
Active:        8187388 kB
Inactive:     14390788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      10106072 kB
SwapTotal:    67111528 kB
SwapFree:     62427732 kB
Dirty:            6628 kB
Writeback:           0 kB
AnonPages:    18753532 kB
Mapped:          30928 kB
Slab:           118660 kB
PageTables:      77576 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 133348184 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= 73120 MiB
End job on node123 at 2011-05-23 00:22:18