Trace number 3394682

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)? (TO) 40000.4 5010.36

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E00X23.cnf
MD5SUM9cec6483d4ca03e8555377ba059b61ae
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2417.94
Satisfiable
(Un)Satisfiability was proved
Number of variables15364
Number of clauses2133873
Sum of the clauses size18060684
Maximum clause length91
Minimum clause length1
Number of clauses of size 116
Number of clauses of size 240913
Number of clauses of size 337518
Number of clauses of size 422333
Number of clauses of size 5147683
Number of clauses of size over 51885410

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.02	c Using 8 threads
0.00/0.04	c This is CryptoMiniSat 3.0.0
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c Reading file 'HOME/instance-3394682-1306102935.cnf'
0.00/0.04	c -- header says num vars:          15364
0.00/0.04	c -- header says num clauses:     2133873
7.82/1.18	c -- clauses added:            0 learnts,      2133873 normals,            0 xors
7.82/1.18	c -- vars added      15364
7.82/1.18	c Parsing time:  0.90 s
7.82/1.18	c  N st     0         0     15364   2092882     40002         0  18028837         0   no data   no data
12.47/1.75	c asymm  cl-useful: 0/5431/2092294 lits-rem:0 time: 0.38
81.90/10.47	c Flit:    84 Blit:      0 bXBeca:    0 bXProp:   92 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T:  8.65
96.73/12.33	c Replacing       92 vars Replaced  1174400 lits Time:     1.84 s 
113.98/14.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
113.98/14.52	c bin-w-bin subsume rem          404 bins  time:  0.00 s
240.06/30.34	c subs with bin:    20077  lits-rem:        20  v-fix:    0  time: 15.82 s
240.06/30.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3818 time:  0.05 s
240.86/30.43	c Removed useless bin:       0  fixed:     0  props:   4.22M  time:  0.04 s
7922.50/992.51	c lits-rem:         0  cl-subs:     1287  v-elim:   1150  v-fix:    0  time: 961.75 s
7922.50/992.55	c Finding binary XORs  T:     0.04 s  found:       0
7923.30/992.67	c calculated reachability. Time: 0.01
7924.10/992.79	c Calc default polars -  time:   0.12 s pos:     466 undec:    1833 neg:   13065
7924.10/992.79	c =========================================================================================
7924.10/992.79	c types(t): F = full restart, N = normal restart
7924.10/992.79	c types(t): S = simplification begin/end, E = solution found
7924.10/992.79	c restart types(rt): st = static, dy = dynamic
7924.10/992.79	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
7924.10/992.79	c  B st     0         0     13531   2050179     35387         0  17652550         0   no data   no data
7940.05/994.71	c  N dy    19      4090     13526   2050179     35561      3838  17652550    152995      8.59      9.33
7967.95/998.23	c Finding binary XORs  T:     0.04 s  found:       6
7972.05/998.74	c  N dy    48      8433     13201   1962665     38668      6954  16852603    309918      9.43      9.94
7991.10/1001.11	c  N dy    78     12563     13201   1962665     38724     10973  16852602    466926     10.11     10.68
8012.66/1003.89	c  N dy   104     16630     13200   1962665     38848     14942  16852602    632390     10.33     14.37
8038.21/1007.04	c  N dy   126     20645     13199   1962665     39051      9745  16852602    215788     10.36     16.50
8070.15/1011.07	c  N dy   151     24758     13199   1962665     39112     13766  16852602    408629     10.39     11.52
8071.75/1011.23	c  F st   154     25002     13199   1962665     39229     14008  16852602    421884     10.40   no data
8074.15/1011.53	c Replacing        6 vars Replaced       83 lits Time:     0.16 s 
8083.73/1012.77	c Finding binary XORs  T:     0.04 s  found:       2
8101.29/1014.98	c  N dy   160     30001     13189   1962659     39215     18946  16852516    789527     10.40   no data
8101.29/1014.98	c  S st   160     30001     13189   1962659     39215     18946  16852516    789527     10.40   no data
8130.14/1018.60	c  S st   160     30502     13189   1962659     39235     19427  16852516    804691     10.40   no data
8131.63/1018.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
8260.19/1034.86	c Flit:    15 Blit:      8 bXBeca:    0 bXProp:    7 Bins: 581463 BRemL: 102592 BRemN:      0 P: 200.0M T: 16.09
8268.17/1035.81	c Replacing        9 vars Replaced    40045 lits Time:     0.95 s 
8280.95/1037.43	c blocked clauses removed:        0 vars:      0 tried:       13157 T: 0.01 s
8280.95/1037.48	c bin-w-bin subsume rem          323 bins  time:  0.05 s
8466.18/1060.62	c subs with bin:    31051  lits-rem:     89621  v-fix:    0  time: 23.15 s
8509.29/1066.09	c Subs w/ non-existent bins:   3947 l-rem:      1 v-fix:     0 done:    174 time:  5.47 s
8511.69/1066.34	c Removed useless bin:      20  fixed:     0  props:   1.35M  time:  0.05 s
15791.18/1978.01	c lits-rem:         0  cl-subs:    61905  v-elim:    174  v-fix:    0  time: 911.62 s
15796.77/1978.73	c subs with bin:      109  lits-rem:      8500  v-fix:    0  time:  0.61 s
22919.41/2870.98	c lits-rem:         4  cl-subs:     5667  v-elim:      0  v-fix:    0  time: 890.81 s
22926.50/2871.89	c asymm  cl-useful: 0/1012/1859132 lits-rem:0 time: 0.91
22928.20/2872.02	c calculated reachability. Time: 0.02
22928.20/2872.02	c  N dy   160     30502     12983   1859132    482908     12114  16068710   1307050     10.40   no data
22928.20/2872.08	c Finding binary XORs  T:     0.06 s  found:       0
22947.25/2874.48	c Finding binary XORs  T:     0.07 s  found:      13
22964.15/2876.55	c  N dy   177     34554     12806   1830117    699917     15880  15792489   1927133     10.27     10.95
22996.77/2880.69	c  N dy   201     38628     12805   1830117    700732     19921  15792489   2132234     10.33     11.05
23027.90/2884.59	c  N dy   222     42640     12805   1830117    700743     12402  15792488   1531231     10.36     12.02
23046.25/2886.81	c  S st   242     45753     12804   1830117    700761     15488  15792488   1686375     10.41      9.94
23074.21/2890.33	c  S st   242     46256     12804   1830117    700765     15986  15792488   1699091     10.41   no data
23075.80/2890.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.24
23217.13/2908.31	c Flit:     7 Blit:      6 bXBeca:    0 bXProp:    5 Bins:  26356 BRemL:  58189 BRemN:      0 P: 200.0M T: 17.74
23232.29/2910.14	c Replacing       18 vars Replaced    92154 lits Time:     1.83 s 
23243.47/2911.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
23244.36/2911.66	c bin-w-bin subsume rem         7991 bins  time:  0.07 s
23445.46/2936.87	c subs with bin:    30055  lits-rem:     10138  v-fix:    0  time: 25.21 s
23446.35/2936.95	c Subs w/ non-existent bins:     37 l-rem:      1 v-fix:     0 done:    827 time:  0.08 s
23451.06/2937.58	c Removed useless bin:       6  fixed:     0  props:   1.03M  time:  0.04 s
30244.49/3788.32	c lits-rem:         0  cl-subs:    12124  v-elim:    148  v-fix:    0  time: 850.68 s
30250.77/3789.13	c subs with bin:      209  lits-rem:      3962  v-fix:    0  time:  0.73 s
36590.57/4583.13	c lits-rem:         4  cl-subs:      471  v-elim:      0  v-fix:    0  time: 792.52 s
36599.35/4584.25	c vivif2 --  cl tried   967373 cl shrink    19495 lits rem      23065 time: 1.12
36600.15/4584.31	c vivif2 --  cl tried    12441 cl shrink     1960 lits rem       5516 time: 0.06
36602.55/4584.71	c asymm  cl-useful: 0/391/1786812 lits-rem:0 time: 0.40
36604.27/4584.84	c calculated reachability. Time: 0.03
36604.27/4584.84	c  N dy   242     46256     12618   1786812    633414     12413  15341599   1431895     10.41   no data
36604.94/4584.92	c Finding binary XORs  T:     0.08 s  found:       0
36632.87/4588.46	c  N dy   259     50355     12595   1786812    703657     16463  15341599   1908272     10.35     10.93
36638.57/4589.18	c Finding binary XORs  T:     0.06 s  found:      13
36662.42/4592.11	c  N dy   287     54593     12356   1765079    636017     20284  15119775   1969212     10.43     11.11
36683.96/4594.88	c  N dy   305     58617     12356   1765079    636651     24289  15119775   2260138     10.41     11.04
36707.93/4597.88	c  N dy   331     62629     12356   1765079    636679     28265  15119773   2453676     10.48     11.04
36731.08/4600.72	c  N dy   342     66679     12355   1765079    636683     17347  15119772   1646751     10.43     11.00
36746.24/4602.68	c  S st   355     69385     12353   1765079    636692     20035  15119772   1775157     10.40     10.24
36767.00/4605.25	c  S st   355     69886     12353   1765079    636696     20530  15119772   1788847     10.40   no data
36768.61/4605.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
36874.01/4618.61	c Flit:     7 Blit:      2 bXBeca:    0 bXProp:    2 Bins:  19265 BRemL: 146883 BRemN:     13 P: 200.0M T: 13.21
36879.59/4619.39	c Replacing       15 vars Replaced    24531 lits Time:     0.79 s 
36890.77/4620.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
36890.77/4620.77	c bin-w-bin subsume rem         1668 bins  time:  0.05 s
37018.52/4636.75	c subs with bin:    54963  lits-rem:     31267  v-fix:    0  time: 15.98 s
37162.24/4654.74	c Subs w/ non-existent bins:  23541 l-rem:      8 v-fix:     0 done:     57 time: 17.99 s
37162.24/4654.77	c Removed useless bin:      27  fixed:     0  props:   0.94M  time:  0.03 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3394682-1306102935/watcher-3394682-1306102935 -o /tmp/evaluation-result-3394682-1306102935/solver-3394682-1306102935 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3394682-1306102935.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.00 0.27 2.69 2/429 15364
/proc/meminfo: memFree=7849120/32951124 swapFree=63308224/67111528
[pid=15364] ppid=15362 vsize=92144 CPUtime=0.04 cores=0-7
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15270 0 -1 4202496 412 0 0 0 4 0 0 0 23 0 8 0 721891651 94355456 352 33554432000 4194304 4580107 140733825942272 18446744073709551615 47119994677170 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15364/statm: 23036 352 299 95 0 18018 0
[pid=15364/tid=15365] ppid=15362 vsize=92144 CPUtime=0.01 cores=0-7
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 8 0 721891651 94355456 352 33554432000 4194304 4580107 140733825942272 18446744073709551615 47119994677170 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=92144 CPUtime=0.01 cores=0-7
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 0 0 0 0 1 0 0 0 24 0 8 0 721891651 94355456 352 33554432000 4194304 4580107 140733825942272 18446744073709551615 47119994677164 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=92144 CPUtime=0.01 cores=0-7
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 0 0 0 0 1 0 0 0 24 0 8 0 721891651 94355456 352 33554432000 4194304 4580107 140733825942272 18446744073709551615 47119994677170 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15364/tid=15368] ppid=15362 vsize=92144 CPUtime=0 cores=0-7
/proc/15364/task/15368/stat : 15368 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 721891651 94355456 352 33554432000 4194304 4580107 140733825942272 18446744073709551615 255377357809 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15364/tid=15369] ppid=15362 vsize=92144 CPUtime=0 cores=0-7
/proc/15364/task/15369/stat : 15369 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 721891651 94355456 352 33554432000 4194304 4580107 140733825942272 18446744073709551615 255389099062 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15364/tid=15370] ppid=15362 vsize=92144 CPUtime=0 cores=0-7
/proc/15364/task/15370/stat : 15370 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 8 0 721891651 94355456 352 33554432000 4194304 4580107 140733825942272 18446744073709551615 47119994677170 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15364/tid=15371] ppid=15362 vsize=92144 CPUtime=0.01 cores=0-7
/proc/15364/task/15371/stat : 15371 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 0 0 0 0 1 0 0 0 24 0 8 0 721891651 94355456 352 33554432000 4194304 4580107 140733825942272 18446744073709551615 47119994677170 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0836881 s]
/proc/loadavg: 0.00 0.27 2.69 2/429 15364
/proc/meminfo: memFree=7849120/32951124 swapFree=63308224/67111528
[pid=15364] ppid=15362 vsize=555948 CPUtime=0.5 cores=0-7
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15270 0 -1 4202496 9640 0 0 0 46 4 0 0 17 0 8 0 721891651 569290752 9545 33554432000 4194304 4580107 140733825942272 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15364/statm: 138987 9552 337 95 0 133969 0
[pid=15364/tid=15365] ppid=15362 vsize=555948 CPUtime=0.07 cores=0-7
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 1408 0 0 0 7 0 0 0 18 0 8 0 721891651 569290752 9560 33554432000 4194304 4580107 140733825942272 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=555948 CPUtime=0.06 cores=0-7
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 1274 0 0 0 6 0 0 0 18 0 8 0 721891651 569290752 9567 33554432000 4194304 4580107 140733825942272 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=555948 CPUtime=0.03 cores=0-7
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 729 0 0 0 3 0 0 0 17 0 8 0 721891651 569290752 9574 33554432000 4194304 4580107 140733825942272 18446744073709551615 4355016 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15364/tid=15368] ppid=15362 vsize=555948 CPUtime=0.03 cores=0-7
/proc/15364/task/15368/stat : 15368 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 1054 0 0 0 3 0 0 0 17 0 8 0 721891651 569290752 9577 33554432000 4194304 4580107 140733825942272 18446744073709551615 255377406446 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15364/tid=15369] ppid=15362 vsize=555948 CPUtime=0.05 cores=0-7
/proc/15364/task/15369/stat : 15369 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 1168 0 0 0 5 0 0 0 18 0 8 0 721891651 569290752 9582 33554432000 4194304 4580107 140733825942272 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15364/tid=15370] ppid=15362 vsize=555948 CPUtime=0.05 cores=0-7
/proc/15364/task/15370/stat : 15370 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 1320 0 0 0 5 0 0 0 18 0 8 0 721891651 569290752 9585 33554432000 4194304 4580107 140733825942272 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15364/tid=15371] ppid=15362 vsize=555948 CPUtime=0.06 cores=0-7
/proc/15364/task/15371/stat : 15371 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 1168 0 0 0 6 0 0 0 17 0 8 0 721891651 569290752 9590 33554432000 4194304 4580107 140733825942272 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 555948

[startup+0.100685 s]
/proc/loadavg: 0.00 0.27 2.69 2/429 15364
/proc/meminfo: memFree=7849120/32951124 swapFree=63308224/67111528
[pid=15364] ppid=15362 vsize=557908 CPUtime=0.6 cores=0-7
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15270 0 -1 4202496 12662 0 0 0 56 4 0 0 18 0 8 0 721891651 571297792 12567 33554432000 4194304 4580107 140733825942272 18446744073709551615 4489474 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15364/statm: 139477 12574 337 95 0 134459 0
[pid=15364/tid=15365] ppid=15362 vsize=557908 CPUtime=0.07 cores=0-7
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 1520 0 0 0 7 0 0 0 18 0 8 0 721891651 571297792 12580 33554432000 4194304 4580107 140733825942272 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=557908 CPUtime=0.08 cores=0-7
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 1720 0 0 0 8 0 0 0 18 0 8 0 721891651 571297792 12580 33554432000 4194304 4580107 140733825942272 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=557908 CPUtime=0.04 cores=0-7
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 1038 0 0 0 4 0 0 0 17 0 8 0 721891651 571297792 12587 33554432000 4194304 4580107 140733825942272 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15368] ppid=15362 vsize=557908 CPUtime=0.05 cores=0-7
/proc/15364/task/15368/stat : 15368 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 1454 0 0 0 5 0 0 0 17 0 8 0 721891651 571297792 12587 33554432000 4194304 4580107 140733825942272 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15364/tid=15369] ppid=15362 vsize=557908 CPUtime=0.07 cores=0-7
/proc/15364/task/15369/stat : 15369 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 1620 0 0 0 7 0 0 0 18 0 8 0 721891651 571297792 12594 33554432000 4194304 4580107 140733825942272 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15364/tid=15370] ppid=15362 vsize=557908 CPUtime=0.07 cores=0-7
/proc/15364/task/15370/stat : 15370 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 1752 0 0 0 7 0 0 0 18 0 8 0 721891651 571297792 12594 33554432000 4194304 4580107 140733825942272 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15364/tid=15371] ppid=15362 vsize=557908 CPUtime=0.08 cores=0-7
/proc/15364/task/15371/stat : 15371 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 1593 0 0 0 8 0 0 0 17 0 8 0 721891651 571297792 12603 33554432000 4194304 4580107 140733825942272 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 557908

[startup+0.30065 s]
/proc/loadavg: 0.00 0.27 2.69 2/429 15364
/proc/meminfo: memFree=7849120/32951124 swapFree=63308224/67111528
[pid=15364] ppid=15362 vsize=866132 CPUtime=1.75 cores=0-7
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15270 0 -1 4202496 57050 0 0 0 155 20 0 0 17 0 8 0 721891651 886919168 56167 33554432000 4194304 4580107 140733825942272 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15364/statm: 216533 56180 338 95 0 211515 0
[pid=15364/tid=15365] ppid=15362 vsize=866132 CPUtime=0.15 cores=0-7
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 3710 0 0 0 13 2 0 0 17 0 8 0 721891651 886919168 56182 33554432000 4194304 4580107 140733825942272 18446744073709551615 255377406446 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=866132 CPUtime=0.24 cores=0-7
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 8045 0 0 0 22 2 0 0 18 0 8 0 721891651 886919168 56190 33554432000 4194304 4580107 140733825942272 18446744073709551615 4298990 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=866132 CPUtime=0.19 cores=0-7
/proc/15364/task/15367/stat : 15367 (strangenight2-m) D 15362 15364 15270 0 -1 4202560 6948 0 0 0 17 2 0 0 17 0 8 0 721891651 886919168 56192 33554432000 4194304 4580107 140733825942272 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15364/tid=15368] ppid=15362 vsize=866132 CPUtime=0.2 cores=0-7
/proc/15364/task/15368/stat : 15368 (strangenight2-m) D 15362 15364 15270 0 -1 4202560 7704 0 0 0 18 2 0 0 17 0 8 0 721891651 886919168 56192 33554432000 4194304 4580107 140733825942272 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15369] ppid=15362 vsize=866132 CPUtime=0.24 cores=0-7
/proc/15364/task/15369/stat : 15369 (strangenight2-m) D 15362 15364 15270 0 -1 4202560 7902 0 0 0 21 3 0 0 18 0 8 0 721891651 886919168 56192 33554432000 4194304 4580107 140733825942272 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15364/tid=15370] ppid=15362 vsize=866940 CPUtime=0.25 cores=0-7
/proc/15364/task/15370/stat : 15370 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 8261 0 0 0 22 3 0 0 18 0 8 0 721891651 887746560 56197 33554432000 4194304 4580107 140733825942272 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15364/tid=15371] ppid=15362 vsize=866940 CPUtime=0.22 cores=0-7
/proc/15364/task/15371/stat : 15371 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 6844 0 0 0 20 2 0 0 17 0 8 0 721891651 887746560 56203 33554432000 4194304 4580107 140733825942272 18446744073709551615 4487413 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.75
Current children cumulated vsize (KiB) 866132

[startup+0.700543 s]
/proc/loadavg: 0.00 0.27 2.69 2/429 15364
/proc/meminfo: memFree=7849120/32951124 swapFree=63308224/67111528
[pid=15364] ppid=15362 vsize=2051304 CPUtime=4.63 cores=0-7
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15270 0 -1 4202496 183165 0 0 0 408 55 0 0 18 0 8 0 721891651 2100535296 182230 33554432000 4194304 4580107 140733825942272 18446744073709551615 4489273 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15364/statm: 512826 182242 338 95 0 507808 0
[pid=15364/tid=15365] ppid=15362 vsize=2051304 CPUtime=0.49 cores=0-7
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 20305 0 0 0 43 6 0 0 18 0 8 0 721891651 2100535296 182249 33554432000 4194304 4580107 140733825942272 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=2051304 CPUtime=0.61 cores=0-7
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 24003 0 0 0 54 7 0 0 18 0 8 0 721891651 2100535296 182254 33554432000 4194304 4580107 140733825942272 18446744073709551615 4489289 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=2051304 CPUtime=0.55 cores=0-7
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 22522 0 0 0 49 6 0 0 18 0 8 0 721891651 2100535296 182259 33554432000 4194304 4580107 140733825942272 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15364/tid=15368] ppid=15362 vsize=2051304 CPUtime=0.56 cores=0-7
/proc/15364/task/15368/stat : 15368 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 23297 0 0 0 50 6 0 0 18 0 8 0 721891651 2100535296 182267 33554432000 4194304 4580107 140733825942272 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15369] ppid=15362 vsize=2051304 CPUtime=0.6 cores=0-7
/proc/15364/task/15369/stat : 15369 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 23442 0 0 0 53 7 0 0 18 0 8 0 721891651 2100535296 182271 33554432000 4194304 4580107 140733825942272 18446744073709551615 4299055 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15364/tid=15370] ppid=15362 vsize=2051304 CPUtime=0.62 cores=0-7
/proc/15364/task/15370/stat : 15370 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 24438 0 0 0 55 7 0 0 18 0 8 0 721891651 2100535296 182277 33554432000 4194304 4580107 140733825942272 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15364/tid=15371] ppid=15362 vsize=2051304 CPUtime=0.56 cores=0-7
/proc/15364/task/15371/stat : 15371 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 22240 0 0 0 50 6 0 0 18 0 8 0 721891651 2100535296 182285 33554432000 4194304 4580107 140733825942272 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.63
Current children cumulated vsize (KiB) 2051304

[startup+1.50039 s]
/proc/loadavg: 0.00 0.27 2.69 9/437 15372
/proc/meminfo: memFree=6755624/32951124 swapFree=63308224/67111528
[pid=15364] ppid=15362 vsize=2316204 CPUtime=10.88 cores=0-7
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15270 0 -1 4202496 348142 0 0 0 991 97 0 0 19 0 8 0 721891651 2371792896 347207 33554432000 4194304 4580107 140733825942272 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15364/statm: 579051 347208 359 95 0 574033 0
[pid=15364/tid=15365] ppid=15362 vsize=2316204 CPUtime=1.27 cores=0-7
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 43927 0 0 0 114 13 0 0 19 0 8 0 721891651 2371792896 347208 33554432000 4194304 4580107 140733825942272 18446744073709551615 4294620 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=2316204 CPUtime=1.38 cores=0-7
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 44097 0 0 0 126 12 0 0 18 0 8 0 721891651 2371792896 347210 33554432000 4194304 4580107 140733825942272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=2316472 CPUtime=1.33 cores=0-7
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 43224 0 0 0 121 12 0 0 18 0 8 0 721891651 2372067328 347213 33554432000 4194304 4580107 140733825942272 18446744073709551615 4294620 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15364/tid=15368] ppid=15362 vsize=2316472 CPUtime=1.34 cores=0-7
/proc/15364/task/15368/stat : 15368 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 43569 0 0 0 122 12 0 0 18 0 8 0 721891651 2372067328 347221 33554432000 4194304 4580107 140733825942272 18446744073709551615 255376998592 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15369] ppid=15362 vsize=2316472 CPUtime=1.38 cores=0-7
/proc/15364/task/15369/stat : 15369 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 43424 0 0 0 127 11 0 0 18 0 8 0 721891651 2372067328 347231 33554432000 4194304 4580107 140733825942272 18446744073709551615 255377406495 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15364/tid=15370] ppid=15362 vsize=2316472 CPUtime=1.4 cores=0-7
/proc/15364/task/15370/stat : 15370 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 44001 0 0 0 129 11 0 0 19 0 8 0 721891651 2372067328 347235 33554432000 4194304 4580107 140733825942272 18446744073709551615 4293244 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15364/tid=15371] ppid=15362 vsize=2316472 CPUtime=1.34 cores=0-7
/proc/15364/task/15371/stat : 15371 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 42581 0 0 0 123 11 0 0 18 0 8 0 721891651 2372067328 347237 33554432000 4194304 4580107 140733825942272 18446744073709551615 255377406495 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.88
Current children cumulated vsize (KiB) 2316204

[startup+3.1011 s]
/proc/loadavg: 0.64 0.39 2.72 9/437 15372
/proc/meminfo: memFree=6368752/32951124 swapFree=63308224/67111528
[pid=15364] ppid=15362 vsize=2534200 CPUtime=23.63 cores=0-7
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15270 0 -1 4202496 376849 0 0 0 2258 105 0 0 22 0 8 0 721891651 2595020800 375914 33554432000 4194304 4580107 140733825942272 18446744073709551615 4234870 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15364/statm: 633550 375915 360 95 0 628532 0
[pid=15364/tid=15365] ppid=15362 vsize=2534200 CPUtime=2.87 cores=0-7
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 47723 0 0 0 274 13 0 0 21 0 8 0 721891651 2595020800 375915 33554432000 4194304 4580107 140733825942272 18446744073709551615 255376962245 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=2534200 CPUtime=2.96 cores=0-7
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 47846 0 0 0 283 13 0 0 21 0 8 0 721891651 2595020800 375915 33554432000 4194304 4580107 140733825942272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=2534200 CPUtime=2.93 cores=0-7
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 46564 0 0 0 280 13 0 0 21 0 8 0 721891651 2595020800 375916 33554432000 4194304 4580107 140733825942272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15364/tid=15368] ppid=15362 vsize=2534200 CPUtime=2.94 cores=0-7
/proc/15364/task/15368/stat : 15368 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 47108 0 0 0 281 13 0 0 21 0 8 0 721891651 2595020800 375916 33554432000 4194304 4580107 140733825942272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15364/tid=15369] ppid=15362 vsize=2534200 CPUtime=2.98 cores=0-7
/proc/15364/task/15369/stat : 15369 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 47123 0 0 0 286 12 0 0 21 0 8 0 721891651 2595020800 375916 33554432000 4194304 4580107 140733825942272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15364/tid=15370] ppid=15362 vsize=2534200 CPUtime=2.99 cores=0-7
/proc/15364/task/15370/stat : 15370 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 47262 0 0 0 288 11 0 0 22 0 8 0 721891651 2595020800 375917 33554432000 4194304 4580107 140733825942272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15364/tid=15371] ppid=15362 vsize=2534200 CPUtime=2.94 cores=0-7
/proc/15364/task/15371/stat : 15371 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 46484 0 0 0 281 13 0 0 21 0 8 0 721891651 2595020800 375917 33554432000 4194304 4580107 140733825942272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.63
Current children cumulated vsize (KiB) 2534200

[startup+6.30051 s]
/proc/loadavg: 0.64 0.39 2.72 9/437 15372
/proc/meminfo: memFree=6284456/32951124 swapFree=63308224/67111528
[pid=15364] ppid=15362 vsize=2550100 CPUtime=49.17 cores=0-7
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15270 0 -1 4202496 398492 0 0 0 4802 115 0 0 25 0 8 0 721891651 2611302400 397557 33554432000 4194304 4580107 140733825942272 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/15364/statm: 637525 397558 361 95 0 632507 0
[pid=15364/tid=15365] ppid=15362 vsize=2550100 CPUtime=6.07 cores=0-7
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 50508 0 0 0 593 14 0 0 25 0 8 0 721891651 2611302400 397559 33554432000 4194304 4580107 140733825942272 18446744073709551615 4293121 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=2550100 CPUtime=6.11 cores=0-7
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 50655 0 0 0 597 14 0 0 25 0 8 0 721891651 2611302400 397559 33554432000 4194304 4580107 140733825942272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=2550100 CPUtime=6.13 cores=0-7
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 48798 0 0 0 599 14 0 0 25 0 8 0 721891651 2611302400 397559 33554432000 4194304 4580107 140733825942272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=15364/tid=15368] ppid=15362 vsize=2550100 CPUtime=6.14 cores=0-7
/proc/15364/task/15368/stat : 15368 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 49521 0 0 0 600 14 0 0 25 0 8 0 721891651 2611302400 397559 33554432000 4194304 4580107 140733825942272 18446744073709551615 255376962593 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15364/tid=15369] ppid=15362 vsize=2550100 CPUtime=6.18 cores=0-7
/proc/15364/task/15369/stat : 15369 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 49787 0 0 0 605 13 0 0 25 0 8 0 721891651 2611302400 397560 33554432000 4194304 4580107 140733825942272 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15364/tid=15370] ppid=15362 vsize=2550100 CPUtime=6.19 cores=0-7
/proc/15364/task/15370/stat : 15370 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 50021 0 0 0 607 12 0 0 25 0 8 0 721891651 2611302400 397560 33554432000 4194304 4580107 140733825942272 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15364/tid=15371] ppid=15362 vsize=2550100 CPUtime=6.14 cores=0-7
/proc/15364/task/15371/stat : 15371 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 49784 0 0 0 600 14 0 0 25 0 8 0 721891651 2611302400 397560 33554432000 4194304 4580107 140733825942272 18446744073709551615 4339027 0 0 4096 2 0 0 0 -1 0 0 0 0

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

Current children cumulated vsize (KiB) 6775524

[startup+4722.32 s]
/proc/loadavg: 8.18 8.15 8.09 9/437 15510
/proc/meminfo: memFree=2255308/32951124 swapFree=63308224/67111528
[pid=15364] ppid=15362 vsize=7185028 CPUtime=37702.1 cores=0-7
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15270 0 -1 4202496 2776906 0 0 0 3769259 953 0 0 25 0 8 0 721891651 7357468672 1397364 33554432000 4194304 4580107 140733825942272 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 1796257 1397364 377 95 0 1791239 0
[pid=15364/tid=15365] ppid=15362 vsize=7185028 CPUtime=4722.15 cores=0-7
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 349825 0 0 0 472124 91 0 0 25 0 8 0 721891651 7357468672 1397364 33554432000 4194304 4580107 140733825942272 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=7185028 CPUtime=4721.54 cores=0-7
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 274865 0 0 0 472067 87 0 0 25 0 8 0 721891651 7357468672 1397365 33554432000 4194304 4580107 140733825942272 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=7185028 CPUtime=4706.96 cores=0-7
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 374747 0 0 0 470578 118 0 0 25 0 8 0 721891651 7357468672 1397365 33554432000 4194304 4580107 140733825942272 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15364/tid=15368] ppid=15362 vsize=7185028 CPUtime=4665.98 cores=0-7
/proc/15364/task/15368/stat : 15368 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 377023 0 0 0 466471 127 0 0 25 0 8 0 721891651 7357468672 1397365 33554432000 4194304 4580107 140733825942272 18446744073709551615 4316638 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15364/tid=15369] ppid=15362 vsize=7185028 CPUtime=4721.22 cores=0-7
/proc/15364/task/15369/stat : 15369 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 343063 0 0 0 471994 128 0 0 25 0 8 0 721891651 7357468672 1397365 33554432000 4194304 4580107 140733825942272 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15364/tid=15370] ppid=15362 vsize=7185028 CPUtime=4721.59 cores=0-7
/proc/15364/task/15370/stat : 15370 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 290294 0 0 0 472054 105 0 0 25 0 8 0 721891651 7357468672 1397365 33554432000 4194304 4580107 140733825942272 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15364/tid=15371] ppid=15362 vsize=7185028 CPUtime=4720.87 cores=0-7
/proc/15364/task/15371/stat : 15371 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 487384 0 0 0 471895 192 0 0 25 0 8 0 721891651 7357468672 1397365 33554432000 4194304 4580107 140733825942272 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 37702.1
Current children cumulated vsize (KiB) 7185028

[startup+4782.3 s]
/proc/loadavg: 8.32 8.18 8.10 9/437 15512
/proc/meminfo: memFree=2294180/32951124 swapFree=63308224/67111528
[pid=15364] ppid=15362 vsize=6661940 CPUtime=38181.1 cores=0-7
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15270 0 -1 4202496 2850872 0 0 0 3817129 976 0 0 25 0 8 0 721891651 6821826560 1387685 33554432000 4194304 4580107 140733825942272 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 1665485 1387685 377 95 0 1660467 0
[pid=15364/tid=15365] ppid=15362 vsize=6661940 CPUtime=4782.13 cores=0-7
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 349825 0 0 0 478122 91 0 0 25 0 8 0 721891651 6821826560 1387685 33554432000 4194304 4580107 140733825942272 18446744073709551615 4451672 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=6661940 CPUtime=4781.53 cores=0-7
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 277036 0 0 0 478063 90 0 0 25 0 8 0 721891651 6821826560 1387685 33554432000 4194304 4580107 140733825942272 18446744073709551615 4406385 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=6661940 CPUtime=4766.95 cores=0-7
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 374747 0 0 0 476577 118 0 0 25 0 8 0 721891651 6821826560 1387685 33554432000 4194304 4580107 140733825942272 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15364/tid=15368] ppid=15362 vsize=6661940 CPUtime=4725.96 cores=0-7
/proc/15364/task/15368/stat : 15368 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 400556 0 0 0 472461 135 0 0 25 0 8 0 721891651 6821826560 1387685 33554432000 4194304 4580107 140733825942272 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15364/tid=15369] ppid=15362 vsize=6661940 CPUtime=4781.2 cores=0-7
/proc/15364/task/15369/stat : 15369 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 343543 0 0 0 477992 128 0 0 25 0 8 0 721891651 6821826560 1387685 33554432000 4194304 4580107 140733825942272 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15364/tid=15370] ppid=15362 vsize=6661940 CPUtime=4781.55 cores=0-7
/proc/15364/task/15370/stat : 15370 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 313632 0 0 0 478043 112 0 0 25 0 8 0 721891651 6821826560 1387685 33554432000 4194304 4580107 140733825942272 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15364/tid=15371] ppid=15362 vsize=6661940 CPUtime=4779.95 cores=0-7
/proc/15364/task/15371/stat : 15371 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 511827 0 0 0 477796 199 0 0 25 0 8 0 721891651 6821826560 1387685 33554432000 4194304 4580107 140733825942272 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 38181.1
Current children cumulated vsize (KiB) 6661940

[startup+4842.3 s]
/proc/loadavg: 8.17 8.16 8.10 9/437 15513
/proc/meminfo: memFree=2141304/32951124 swapFree=63308224/67111528
[pid=15364] ppid=15362 vsize=6842444 CPUtime=38660.1 cores=0-7
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15270 0 -1 4202496 2900252 0 0 0 3865018 994 0 0 25 0 8 0 721891651 7006662656 1426182 33554432000 4194304 4580107 140733825942272 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 1710611 1426182 828 95 0 1705593 0
[pid=15364/tid=15365] ppid=15362 vsize=6842444 CPUtime=4842.13 cores=0-7
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 349825 0 0 0 484122 91 0 0 25 0 8 0 721891651 7006662656 1426182 33554432000 4194304 4580107 140733825942272 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=6842444 CPUtime=4841.52 cores=0-7
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 292485 0 0 0 484057 95 0 0 25 0 8 0 721891651 7006662656 1426182 33554432000 4194304 4580107 140733825942272 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=6842444 CPUtime=4826.95 cores=0-7
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 374747 0 0 0 482577 118 0 0 25 0 8 0 721891651 7006662656 1426182 33554432000 4194304 4580107 140733825942272 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15364/tid=15368] ppid=15362 vsize=6842444 CPUtime=4785.97 cores=0-7
/proc/15364/task/15368/stat : 15368 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 403839 0 0 0 478459 138 0 0 25 0 8 0 721891651 7006662656 1426182 33554432000 4194304 4580107 140733825942272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15364/tid=15369] ppid=15362 vsize=6842444 CPUtime=4841.19 cores=0-7
/proc/15364/task/15369/stat : 15369 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 358589 0 0 0 483987 132 0 0 25 0 8 0 721891651 7006662656 1426182 33554432000 4194304 4580107 140733825942272 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15364/tid=15370] ppid=15362 vsize=6842444 CPUtime=4841.54 cores=0-7
/proc/15364/task/15370/stat : 15370 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 315737 0 0 0 484040 114 0 0 25 0 8 0 721891651 7006662656 1426182 33554432000 4194304 4580107 140733825942272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15364/tid=15371] ppid=15362 vsize=6842444 CPUtime=4839.01 cores=0-7
/proc/15364/task/15371/stat : 15371 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 525324 0 0 0 483700 201 0 0 25 0 8 0 721891651 7006662656 1426182 33554432000 4194304 4580107 140733825942272 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 38660.1
Current children cumulated vsize (KiB) 6842444

[startup+4902.3 s]
/proc/loadavg: 8.24 8.18 8.10 9/437 15515
/proc/meminfo: memFree=2131728/32951124 swapFree=63308224/67111528
[pid=15364] ppid=15362 vsize=7342132 CPUtime=39139.2 cores=0-7
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15270 0 -1 4202496 2908899 0 0 0 3912920 1004 0 0 25 0 8 0 721891651 7518343168 1428711 33554432000 4194304 4580107 140733825942272 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 1835533 1428711 828 95 0 1830515 0
[pid=15364/tid=15365] ppid=15362 vsize=7342132 CPUtime=4902.13 cores=0-7
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 352640 0 0 0 490119 94 0 0 25 0 8 0 721891651 7518343168 1428711 33554432000 4194304 4580107 140733825942272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=7342132 CPUtime=4901.52 cores=0-7
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 292491 0 0 0 490057 95 0 0 25 0 8 0 721891651 7518343168 1428711 33554432000 4194304 4580107 140733825942272 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=7342132 CPUtime=4886.95 cores=0-7
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 374747 0 0 0 488577 118 0 0 25 0 8 0 721891651 7518343168 1428711 33554432000 4194304 4580107 140733825942272 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15364/tid=15368] ppid=15362 vsize=7342132 CPUtime=4845.96 cores=0-7
/proc/15364/task/15368/stat : 15368 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 407241 0 0 0 484454 142 0 0 25 0 8 0 721891651 7518343168 1428711 33554432000 4194304 4580107 140733825942272 18446744073709551615 4294160 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15364/tid=15369] ppid=15362 vsize=7342132 CPUtime=4901.2 cores=0-7
/proc/15364/task/15369/stat : 15369 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 358589 0 0 0 489988 132 0 0 25 0 8 0 721891651 7518343168 1428711 33554432000 4194304 4580107 140733825942272 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15364/tid=15370] ppid=15362 vsize=7342132 CPUtime=4901.52 cores=0-7
/proc/15364/task/15370/stat : 15370 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 318161 0 0 0 490036 116 0 0 25 0 8 0 721891651 7518343168 1428711 33554432000 4194304 4580107 140733825942272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15364/tid=15371] ppid=15362 vsize=7342132 CPUtime=4898.12 cores=0-7
/proc/15364/task/15371/stat : 15371 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 525324 0 0 0 489611 201 0 0 25 0 8 0 721891651 7518343168 1428711 33554432000 4194304 4580107 140733825942272 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 39139.2
Current children cumulated vsize (KiB) 7342132

[startup+4962.3 s]
/proc/loadavg: 8.14 8.16 8.09 9/437 15516
/proc/meminfo: memFree=2160912/32951124 swapFree=63308224/67111528
[pid=15364] ppid=15362 vsize=7073352 CPUtime=39618.4 cores=0-7
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15270 0 -1 4202496 2964877 0 0 0 3960811 1024 0 0 25 0 8 0 721891651 7243112448 1421208 33554432000 4194304 4580107 140733825942272 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 1768338 1421208 828 95 0 1763320 0
[pid=15364/tid=15365] ppid=15362 vsize=7073352 CPUtime=4962.14 cores=0-7
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 374725 0 0 0 496113 101 0 0 25 0 8 0 721891651 7243112448 1421208 33554432000 4194304 4580107 140733825942272 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=7073352 CPUtime=4961.52 cores=0-7
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 292491 0 0 0 496057 95 0 0 25 0 8 0 721891651 7243112448 1421208 33554432000 4194304 4580107 140733825942272 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=7073352 CPUtime=4946.96 cores=0-7
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 384142 0 0 0 494576 120 0 0 25 0 8 0 721891651 7243112448 1421208 33554432000 4194304 4580107 140733825942272 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15364/tid=15368] ppid=15362 vsize=7073352 CPUtime=4905.97 cores=0-7
/proc/15364/task/15368/stat : 15368 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 429328 0 0 0 490447 150 0 0 25 0 8 0 721891651 7243112448 1421208 33554432000 4194304 4580107 140733825942272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15364/tid=15369] ppid=15362 vsize=7073352 CPUtime=4961.2 cores=0-7
/proc/15364/task/15369/stat : 15369 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 358589 0 0 0 495988 132 0 0 25 0 8 0 721891651 7243112448 1421208 33554432000 4194304 4580107 140733825942272 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15364/tid=15370] ppid=15362 vsize=7073352 CPUtime=4961.5 cores=0-7
/proc/15364/task/15370/stat : 15370 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 320572 0 0 0 496031 119 0 0 25 0 8 0 721891651 7243112448 1421208 33554432000 4194304 4580107 140733825942272 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15364/tid=15371] ppid=15362 vsize=7073352 CPUtime=4957.24 cores=0-7
/proc/15364/task/15371/stat : 15371 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 525324 0 0 0 495523 201 0 0 25 0 8 0 721891651 7243112448 1421208 33554432000 4194304 4580107 140733825942272 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 39618.3
Current children cumulated vsize (KiB) 7073352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5010.1 s]
/proc/loadavg: 8.19 8.17 8.10 9/437 15518
/proc/meminfo: memFree=2170772/32951124 swapFree=63308224/67111528
[pid=15364] ppid=15362 vsize=6811820 CPUtime=40000.1 cores=0-7
/proc/15364/stat : 15364 (strangenight2-m) R 15362 15364 15270 0 -1 4202496 2992772 0 0 0 3998979 1035 0 0 25 0 8 0 721891651 6975303680 1418806 33554432000 4194304 4580107 140733825942272 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 1702955 1418806 828 95 0 1697937 0
[pid=15364/tid=15365] ppid=15362 vsize=6811820 CPUtime=5009.95 cores=0-7
/proc/15364/task/15365/stat : 15365 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 377735 0 0 0 500891 104 0 0 25 0 8 0 721891651 6975303680 1418806 33554432000 4194304 4580107 140733825942272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15364/tid=15366] ppid=15362 vsize=6811820 CPUtime=5009.34 cores=0-7
/proc/15364/task/15366/stat : 15366 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 292491 0 0 0 500839 95 0 0 25 0 8 0 721891651 6975303680 1418806 33554432000 4194304 4580107 140733825942272 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15364/tid=15367] ppid=15362 vsize=6811820 CPUtime=4994.77 cores=0-7
/proc/15364/task/15367/stat : 15367 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 384142 0 0 0 499357 120 0 0 25 0 8 0 721891651 6975303680 1418806 33554432000 4194304 4580107 140733825942272 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15364/tid=15368] ppid=15362 vsize=6811820 CPUtime=4953.78 cores=0-7
/proc/15364/task/15368/stat : 15368 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 432257 0 0 0 495226 152 0 0 25 0 8 0 721891651 6975303680 1418806 33554432000 4194304 4580107 140733825942272 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15364/tid=15369] ppid=15362 vsize=6811820 CPUtime=5009.02 cores=0-7
/proc/15364/task/15369/stat : 15369 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 358589 0 0 0 500770 132 0 0 25 0 8 0 721891651 6975303680 1418806 33554432000 4194304 4580107 140733825942272 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=15364/tid=15370] ppid=15362 vsize=6811820 CPUtime=5009.31 cores=0-7
/proc/15364/task/15370/stat : 15370 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 342528 0 0 0 500805 126 0 0 25 0 8 0 721891651 6975303680 1418806 33554432000 4194304 4580107 140733825942272 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15364/tid=15371] ppid=15362 vsize=6811820 CPUtime=5004.35 cores=0-7
/proc/15364/task/15371/stat : 15371 (strangenight2-m) R 15362 15364 15270 0 -1 4202560 525324 0 0 0 500234 201 0 0 25 0 8 0 721891651 6975303680 1418806 33554432000 4194304 4580107 140733825942272 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 40000.1
Current children cumulated vsize (KiB) 6811820

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

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

[startup+5010.22 s]
/proc/loadavg: 8.19 8.17 8.10 9/437 15518
/proc/meminfo: memFree=2170772/32951124 swapFree=63308224/67111528
[pid=15364] ppid=15362 vsize=0 CPUtime=40000.3 cores=0-7
/proc/15364/stat : 15364 (strangenight2-m) Z 15362 15364 15270 0 -1 4203548 2992773 0 0 0 3998985 1045 0 0 25 0 2 0 721891651 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 0 0 0 0 0 0 0
[pid=15364/tid=15371] ppid=15362 vsize=0 CPUtime=5004.46 cores=0-7
/proc/15364/task/15371/stat : 15371 (strangenight2-m) R 15362 15364 15270 0 -1 4203588 525324 0 0 0 500235 211 0 0 25 0 2 0 721891651 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 40000.3
Current children cumulated vsize (KiB) 0

[startup+5010.3 s]
/proc/loadavg: 8.19 8.17 8.10 9/437 15518
/proc/meminfo: memFree=2170772/32951124 swapFree=63308224/67111528
[pid=15364] ppid=15362 vsize=0 CPUtime=40000.4 cores=0-7
/proc/15364/stat : 15364 (strangenight2-m) Z 15362 15364 15270 0 -1 4203548 2992773 0 0 0 3998985 1053 0 0 25 0 2 0 721891651 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/15364/statm: 0 0 0 0 0 0 0
[pid=15364/tid=15371] ppid=15362 vsize=0 CPUtime=5004.54 cores=0-7
/proc/15364/task/15371/stat : 15371 (strangenight2-m) R 15362 15364 15270 0 -1 4203588 525324 0 0 0 500235 219 0 0 25 0 2 0 721891651 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 40000.4
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5010.36
CPU time (s): 40000.4
CPU user time (s): 39989.9
CPU system time (s): 10.5924
CPU usage (%): 798.355
Max. virtual memory (cumulated for all children) (KiB): 7914808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39989.9
system time used= 10.5924
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2992773
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= 57973
involuntary context switches= 352592

runsolver used 20.01 second user time and 57.0443 second system time

The end

Launcher Data 

Begin job on node135 at 2011-05-23 00:22:18
IDJOB=3394682
IDBENCH=83463
IDSOLVER=1878
FILE ID=node135/3394682-1306102935
RUNJOBID= node135-1306102930-15284
PBS_JOBID= 13387998
Free space on /tmp= 73260 MiB

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

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

MD5SUM BENCH= 9cec6483d4ca03e8555377ba059b61ae
RANDOM SEED=180461068

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       7849772 kB
Buffers:        351408 kB
Cached:       10813516 kB
SwapCached:      18108 kB
Active:       13844840 kB
Inactive:     10951076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       7849772 kB
SwapTotal:    67111528 kB
SwapFree:     63308224 kB
Dirty:          106676 kB
Writeback:           0 kB
AnonPages:    13618060 kB
Mapped:          25700 kB
Slab:           171272 kB
PageTables:      65476 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 124371448 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= 73256 MiB
End job on node135 at 2011-05-23 01:45:50