Trace number 3421599

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.8 5011.33

General information on the benchmark

Namecrafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-5_4231.cnf
MD5SUMa52d60bf6e72caa628ad712a5fe0fb7a
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables4229
Number of clauses100397
Sum of the clauses size411595
Maximum clause length5
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 490390
Number of clauses of size 510007
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.02	c Using 8 threads
0.00/0.02	c This is CryptoMiniSat 3.0.0
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c Reading file 'HOME/instance-3421599-1306678737.cnf'
0.00/0.03	c -- header says num vars:           4229
0.00/0.03	c -- header says num clauses:      100397
0.53/0.15	c -- clauses added:            0 learnts,       100397 normals,            0 xors
0.53/0.15	c -- vars added       4229
0.53/0.15	c Parsing time:  0.05 s
0.53/0.15	c  N st     0         0      4229    100397         0         0    411595         0   no data   no data
4.31/0.69	c asymm  cl-useful: 0/82578/100397 lits-rem:0 time: 0.52
5.10/0.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
5.61/0.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5.61/0.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.61/0.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.61/0.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   4229 time:  0.00 s
5.61/0.88	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
7.14/1.06	c lits-rem:         0  cl-subs:        0  v-elim:     10  v-fix:    0  time:  0.15 s
7.14/1.07	c Finding binary XORs  T:     0.00 s  found:       0
7.14/1.11	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
7.14/1.11	c calculated reachability. Time: 0.00
7.14/1.11	c Calc default polars -  time:   0.00 s pos:    4219 undec:      10 neg:       0
7.14/1.11	c =========================================================================================
7.14/1.11	c types(t): F = full restart, N = normal restart
7.14/1.11	c types(t): S = simplification begin/end, E = solution found
7.14/1.11	c restart types(rt): st = static, dy = dynamic
7.14/1.11	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
7.14/1.11	c  B st     0         0      4219    100330         0         0    412392         0   no data   no data
7.94/1.19	c Decided on static restart strategy
9.39/1.32	c  N st     8      4918      4219    100330         0      4851    412392    333918   no data   no data
11.79/1.67	c  N st    10     11301      4219    100330         0     11119    412392    741057   no data   no data
15.00/2.08	c  N st    11     17045      4219    100330         0     16726    412392   1100570   no data   no data
19.77/2.65	c  F st    12     25003      4219    100330         0     14728    412392    766504   no data   no data
19.77/2.67	c Found part        1 vars:       2120 clauses:     51317 lits size:    211022
19.77/2.67	c Found part        9 vars:       2099 clauses:     49013 lits size:    201370
19.77/2.67	c Found parts:          2 time: 0.02 s
19.77/2.67	c Solving part 9
20.57/2.74	c  N st     0         0      2099     49013         0     14728    201370    766504   no data   no data
22.17/2.91	c asymm  cl-useful: 0/49013/49013 lits-rem:0 time: 0.17
22.17/2.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
22.17/2.93	c Finding binary XORs  T:     0.00 s  found:       0
22.17/2.95	c Finding non-binary XORs:     0.02 s (found:       0, avg size: nan)
22.17/2.95	c calculated reachability. Time: 0.00
22.17/2.95	c Calc default polars -  time:   0.00 s pos:    2099 undec:    2130 neg:       0
22.17/2.95	c =========================================================================================
22.17/2.95	c types(t): F = full restart, N = normal restart
22.17/2.95	c types(t): S = simplification begin/end, E = solution found
22.17/2.95	c restart types(rt): st = static, dy = dynamic
22.17/2.95	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
22.17/2.95	c  B st     0         0      2099     49013         0     14728    201370    766504   no data   no data
22.97/3.07	c Decided on static restart strategy
24.69/3.28	c  N st     8      4926      2099     49013         0     19595    201370   1077355   no data   no data
28.54/3.78	c  N st    10     11311      2099     49013         0     14468    201370    724219   no data   no data
32.55/4.27	c  N st    11     17054      2099     49013         0     20103    201370   1126111   no data   no data
37.32/4.85	c  F st    12     25000      2099     49013         0     17773    201370    912017   no data   no data
37.32/4.85	c  N st    12     25000      2099     49013         0     17773    201370    912017   no data   no data
40.53/5.22	c Decided on static restart strategy
40.53/5.22	c  N st    18     30194      2099     49013         0     12801    201370    691074   no data   no data
46.11/5.91	c  N st    20     37304      2099     49013         0     19884    201370   1629454   no data   no data
49.30/6.33	c  N st    21     43704      2099     49013         0     15608    201370    883617   no data   no data
57.29/7.34	c  N st    22     53303      2099     49013         0     13845    201370    773909   no data   no data
65.26/8.36	c  N st    23     67700      2099     49013         0     15860    201370    713115   no data   no data
77.37/9.87	c  F st    24     87501      2099     49013         0     22347    201370   1179883   no data   no data
77.37/9.87	c  N st    24     87501      2099     49013         0     22347    201370   1179883   no data   no data
80.42/10.23	c Decided on static restart strategy
82.02/10.41	c  N st    31     95542      2099     49013         0     16219    201370    590011   no data   no data
88.41/11.23	c  N st    33    106209      2099     49013         0     26695    201370   1339846   no data   no data
95.74/12.19	c  N st    34    115807      2099     49013         0     21261    201370   1529082   no data   no data
110.77/14.00	c  N st    35    130204      2099     49013         0     19531    201370   1132303   no data   no data
125.93/15.92	c  N st    36    151799      2099     49013         0     23714    201370   1254785   no data   no data
166.64/21.09	c  N st    37    184192      2099     49013         0     19041    201370    742488   no data   no data
210.53/26.54	c  N st    38    232780      2099     49013         0     26000    201370   1158406   no data   no data
276.81/34.86	c  N st    39    305663      2099     49013         0     29284    201370   1268380   no data   no data
277.61/34.91	c  F st    40    306251      2099     49013         0     29860    201370   1309384   no data   no data
280.78/35.32	c Decided on static restart strategy
298.35/37.56	c  N st    50    334559      2099     49013         0     32949    201370   1395778   no data   no data
330.29/41.52	c  N st    52    370553      2099     49013         0     42613    201370   2011002   no data   no data
364.61/45.83	c  N st    53    402946      2099     49013         0     47656    201370   2444956   no data   no data
411.05/51.69	c  N st    54    451534      2099     49013         0     39069    201370   1651582   no data   no data
497.95/62.58	c  N st    55    524418      2099     49013         0     50091    201370   2436077   no data   no data
650.39/81.63	c  N st    56    633741      2099     49013         0     60718    201370   5400194   no data   no data
860.35/107.98	c  N st    57    797725      2099     49013         0     38858    201370   1084923   no data   no data
1427.11/178.92	c  N st    58   1043702      2099     49013         0     74461    201370   6225868   no data   no data
1463.03/183.47	c  F st    59   1071875      2099     49013         0     57375    201370   2740676   no data   no data
1463.03/183.47	c  N st    59   1071875      2099     49013         0     57375    201370   2740676   no data   no data
1467.02/183.97	c Decided on static restart strategy
1490.18/186.82	c  N st    69   1100180      2099     49013         0     85190    201370   4723531   no data   no data
1530.90/191.95	c  N st    71   1136173      2099     49013         0     74684    201370   3278967   no data   no data
1581.99/198.39	c  N st    72   1168565      2099     49013         0     60354    201370   3540943   no data   no data
1635.46/205.09	c  N st    73   1217153      2099     49013         0     60831    201370   2610126   no data   no data
1776.77/222.78	c  N st    74   1290042      2099     49013         0     84645    201370   6915846   no data   no data
1958.79/245.59	c  N st    75   1399367      2099     49013         0     92123    201370   6094031   no data   no data
2338.78/293.14	c  N st    76   1563351      2099     49013         0     97169    201370   8973499   no data   no data
3031.74/379.94	c  N st    77   1809327      2099     49013         0    116585    201370  11622841   no data   no data
4182.06/524.06	c  N st    78   2178291      2099     49013         0    115555    201370  10456807   no data   no data
5668.44/710.24	c  N st    79   2731738      2099     49013         0    119128    201370   9986751   no data   no data
8824.82/1105.68	c  N st    80   3561907      2099     49013         0     89997    201370   3322085   no data   no data
9302.99/1165.57	c  F st    81   3751562      2099     49013         0    109078    201370   4326895   no data   no data
9302.99/1165.57	c  N st    81   3751562      2099     49013         0    109078    201370   4326895   no data   no data
9309.38/1166.34	c Decided on static restart strategy
9336.53/1169.74	c  N st    91   3779871      2099     49013         0    136897    201370   6270239   no data   no data
9394.14/1176.93	c  N st    93   3815863      2099     49013         0     87403    201370   2575624   no data   no data
9492.18/1189.27	c  N st    94   3848257      2099     49013         0    119652    201370   8245270   no data   no data
9574.40/1199.51	c  N st    95   3896845      2099     49013         0    167911    201370  13663013   no data   no data
9854.58/1234.69	c  N st    96   3969730      2099     49013         0    154354    201370  14626196   no data   no data
10277.66/1287.69	c  N st    97   4079053      2099     49013         0    175539    201370  17378909   no data   no data
10734.28/1344.80	c  N st    98   4243038      2099     49013         0    159763    201370  11724431   no data   no data
11197.27/1402.82	c  N st    99   4489015      2099     49013         0    129487    201370   7241788   no data   no data
12648.50/1584.60	c  N st   100   4857979      2099     49013         0    116730    201370   5598535   no data   no data
14058.98/1761.38	c  N st   101   5411426      2099     49013         0    168301    201370   9949032   no data   no data
18113.51/2269.27	c  N st   102   6241595      2099     49013         0    146165    201370   9762253   no data   no data
22640.20/2836.43	c  N st   103   7486850      2099     49013         0    233674    201370  20970770   no data   no data
32109.11/4022.64	c  N st   104   9354729      2099     49013         0    180062    201370  11211612   no data   no data

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

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

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


[startup+0 s]
/proc/loadavg: 7.52 7.95 7.99 2/491 32053
/proc/meminfo: memFree=27033880/32951124 swapFree=53876548/67111528
[pid=32053] ppid=32051 vsize=92144 CPUtime=0.07 cores=0-7
/proc/32053/stat : 32053 (strangenight2-m) R 32051 32053 32027 0 -1 4202496 420 0 0 0 7 0 0 0 25 0 8 0 779474644 94355456 360 33554432000 4194304 4580107 140735005502240 18446744073709551615 47635732764594 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32053/statm: 23036 360 302 95 0 18018 0
[pid=32053/tid=32054] ppid=32051 vsize=92144 CPUtime=0.01 cores=0-7
/proc/32053/task/32054/stat : 32054 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 4 0 0 0 1 0 0 0 25 0 8 0 779474644 94355456 360 33554432000 4194304 4580107 140735005502240 18446744073709551615 47635732764185 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32053/tid=32055] ppid=32051 vsize=92144 CPUtime=0 cores=0-7
/proc/32053/task/32055/stat : 32055 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 8 0 779474644 94355456 360 33554432000 4194304 4580107 140735005502240 18446744073709551615 47635732764598 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32053/tid=32056] ppid=32051 vsize=92144 CPUtime=0.01 cores=0-7
/proc/32053/task/32056/stat : 32056 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 779474644 94355456 360 33554432000 4194304 4580107 140735005502240 18446744073709551615 47635732764179 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32053/tid=32057] ppid=32051 vsize=92144 CPUtime=0.01 cores=0-7
/proc/32053/task/32057/stat : 32057 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 779474644 94355456 360 33554432000 4194304 4580107 140735005502240 18446744073709551615 47635732764185 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32053/tid=32058] ppid=32051 vsize=92144 CPUtime=0 cores=0-7
/proc/32053/task/32058/stat : 32058 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 779474644 94355456 360 33554432000 4194304 4580107 140735005502240 18446744073709551615 47635732764185 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32053/tid=32059] ppid=32051 vsize=92144 CPUtime=0 cores=0-7
/proc/32053/task/32059/stat : 32059 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 8 0 779474644 94355456 360 33554432000 4194304 4580107 140735005502240 18446744073709551615 47635732764185 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32053/tid=32060] ppid=32051 vsize=92144 CPUtime=0.01 cores=0-7
/proc/32053/task/32060/stat : 32060 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 8 0 779474644 94355456 360 33554432000 4194304 4580107 140735005502240 18446744073709551615 47635732764185 0 0 4096 2 0 0 0 -1 6 0 0 0

[startup+0.0812109 s]
/proc/loadavg: 7.52 7.95 7.99 2/491 32053
/proc/meminfo: memFree=27033880/32951124 swapFree=53876548/67111528
[pid=32053] ppid=32051 vsize=494728 CPUtime=0.42 cores=0-7
/proc/32053/stat : 32053 (strangenight2-m) S 32051 32053 32027 0 -1 4202496 8702 0 0 0 29 13 0 0 17 0 8 0 779474644 506601472 8375 33554432000 4194304 4580107 140735005502240 18446744073709551615 270613215726 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/32053/statm: 123682 8382 337 95 0 118664 0
[pid=32053/tid=32054] ppid=32051 vsize=494728 CPUtime=0.05 cores=0-7
/proc/32053/task/32054/stat : 32054 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 969 0 0 0 4 1 0 0 17 0 8 0 779474644 506601472 8386 33554432000 4194304 4580107 140735005502240 18446744073709551615 270613215726 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32053/tid=32055] ppid=32051 vsize=494728 CPUtime=0.02 cores=0-7
/proc/32053/task/32055/stat : 32055 (strangenight2-m) S 32051 32053 32027 0 -1 4202560 1041 0 0 0 1 1 0 0 17 0 8 0 779474644 506601472 8402 33554432000 4194304 4580107 140735005502240 18446744073709551615 270613215726 0 0 4096 2 18446604442320318784 0 0 -1 5 0 0 0
[pid=32053/tid=32056] ppid=32051 vsize=494728 CPUtime=0.04 cores=0-7
/proc/32053/task/32056/stat : 32056 (strangenight2-m) S 32051 32053 32027 0 -1 4202560 1073 0 0 0 3 1 0 0 17 0 8 0 779474644 506601472 8409 33554432000 4194304 4580107 140735005502240 18446744073709551615 270613215726 0 0 4096 2 18446604442320318784 0 0 -1 4 0 0 0
[pid=32053/tid=32057] ppid=32051 vsize=494728 CPUtime=0.05 cores=0-7
/proc/32053/task/32057/stat : 32057 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1126 0 0 0 4 1 0 0 17 0 8 0 779474644 506601472 8417 33554432000 4194304 4580107 140735005502240 18446744073709551615 270613215775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32053/tid=32058] ppid=32051 vsize=494728 CPUtime=0.04 cores=0-7
/proc/32053/task/32058/stat : 32058 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 959 0 0 0 3 1 0 0 17 0 8 0 779474644 506601472 8430 33554432000 4194304 4580107 140735005502240 18446744073709551615 270613215775 0 0 4096 2 18446604442320318784 0 0 -1 0 0 0 0
[pid=32053/tid=32059] ppid=32051 vsize=494728 CPUtime=0.04 cores=0-7
/proc/32053/task/32059/stat : 32059 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1082 0 0 0 3 1 0 0 17 0 8 0 779474644 506601472 8434 33554432000 4194304 4580107 140735005502240 18446744073709551615 270613153975 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32053/tid=32060] ppid=32051 vsize=494728 CPUtime=0.04 cores=0-7
/proc/32053/task/32060/stat : 32060 (strangenight2-m) D 32051 32053 32027 0 -1 4202560 1046 0 0 0 3 1 0 0 17 0 8 0 779474644 506601472 8440 33554432000 4194304 4580107 140735005502240 18446744073709551615 270612771873 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 494728

[startup+0.102186 s]
/proc/loadavg: 7.52 7.95 7.99 2/491 32053
/proc/meminfo: memFree=27033880/32951124 swapFree=53876548/67111528
[pid=32053] ppid=32051 vsize=497756 CPUtime=0.53 cores=0-7
/proc/32053/stat : 32053 (strangenight2-m) S 32051 32053 32027 0 -1 4202496 11296 0 0 0 37 16 0 0 17 0 8 0 779474644 509702144 10961 33554432000 4194304 4580107 140735005502240 18446744073709551615 270613215726 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/32053/statm: 124439 10991 337 95 0 119421 0
[pid=32053/tid=32054] ppid=32051 vsize=497756 CPUtime=0.07 cores=0-7
/proc/32053/task/32054/stat : 32054 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1322 0 0 0 5 2 0 0 17 0 8 0 779474644 509702144 11023 33554432000 4194304 4580107 140735005502240 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32053/tid=32055] ppid=32051 vsize=497756 CPUtime=0.04 cores=0-7
/proc/32053/task/32055/stat : 32055 (strangenight2-m) S 32051 32053 32027 0 -1 4202560 1373 0 0 0 2 2 0 0 17 0 8 0 779474644 509702144 11043 33554432000 4194304 4580107 140735005502240 18446744073709551615 270613215726 0 0 4096 2 18446604442320318784 0 0 -1 5 0 0 0
[pid=32053/tid=32056] ppid=32051 vsize=497756 CPUtime=0.05 cores=0-7
/proc/32053/task/32056/stat : 32056 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1394 0 0 0 4 1 0 0 17 0 8 0 779474644 509702144 11057 33554432000 4194304 4580107 140735005502240 18446744073709551615 270613215775 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32053/tid=32057] ppid=32051 vsize=497756 CPUtime=0.07 cores=0-7
/proc/32053/task/32057/stat : 32057 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1447 0 0 0 5 2 0 0 17 0 8 0 779474644 509702144 11074 33554432000 4194304 4580107 140735005502240 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32053/tid=32058] ppid=32051 vsize=497756 CPUtime=0.05 cores=0-7
/proc/32053/task/32058/stat : 32058 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1267 0 0 0 4 1 0 0 17 0 8 0 779474644 509702144 11106 33554432000 4194304 4580107 140735005502240 18446744073709551615 270613215775 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32053/tid=32059] ppid=32051 vsize=497756 CPUtime=0.06 cores=0-7
/proc/32053/task/32059/stat : 32059 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1415 0 0 0 5 1 0 0 17 0 8 0 779474644 509702144 11129 33554432000 4194304 4580107 140735005502240 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32053/tid=32060] ppid=32051 vsize=497876 CPUtime=0.06 cores=0-7
/proc/32053/task/32060/stat : 32060 (strangenight2-m) S 32051 32053 32027 0 -1 4202560 1425 0 0 0 4 2 0 0 17 0 8 0 779474644 509825024 11138 33554432000 4194304 4580107 140735005502240 18446744073709551615 270613215726 0 0 4096 2 18446604442320318784 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 497756

[startup+0.373127 s]
/proc/loadavg: 7.52 7.95 7.99 2/491 32053
/proc/meminfo: memFree=27033880/32951124 swapFree=53876548/67111528
[pid=32053] ppid=32051 vsize=511000 CPUtime=2.49 cores=0-7
/proc/32053/stat : 32053 (strangenight2-m) R 32051 32053 32027 0 -1 4202496 20573 0 0 0 216 33 0 0 17 0 8 0 779474644 523264000 19709 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/32053/statm: 127750 19709 360 95 0 122732 0
[pid=32053/tid=32054] ppid=32051 vsize=511000 CPUtime=0.3 cores=0-7
/proc/32053/task/32054/stat : 32054 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 2464 0 0 0 26 4 0 0 17 0 8 0 779474644 523264000 19710 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32053/tid=32055] ppid=32051 vsize=511000 CPUtime=0.28 cores=0-7
/proc/32053/task/32055/stat : 32055 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 2501 0 0 0 24 4 0 0 17 0 8 0 779474644 523264000 19710 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32053/tid=32056] ppid=32051 vsize=511000 CPUtime=0.31 cores=0-7
/proc/32053/task/32056/stat : 32056 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 2505 0 0 0 27 4 0 0 17 0 8 0 779474644 523264000 19710 33554432000 4194304 4580107 140735005502240 18446744073709551615 270612771873 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32053/tid=32057] ppid=32051 vsize=511000 CPUtime=0.31 cores=0-7
/proc/32053/task/32057/stat : 32057 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 2509 0 0 0 27 4 0 0 17 0 8 0 779474644 523264000 19710 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32053/tid=32058] ppid=32051 vsize=511000 CPUtime=0.3 cores=0-7
/proc/32053/task/32058/stat : 32058 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 2398 0 0 0 27 3 0 0 17 0 8 0 779474644 523264000 19710 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32053/tid=32059] ppid=32051 vsize=511000 CPUtime=0.31 cores=0-7
/proc/32053/task/32059/stat : 32059 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 2525 0 0 0 28 3 0 0 17 0 8 0 779474644 523264000 19710 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32053/tid=32060] ppid=32051 vsize=511000 CPUtime=0.31 cores=0-7
/proc/32053/task/32060/stat : 32060 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 2778 0 0 0 27 4 0 0 17 0 8 0 779474644 523264000 19710 33554432000 4194304 4580107 140735005502240 18446744073709551615 4320987 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.49
Current children cumulated vsize (KiB) 511000

[startup+0.701067 s]
/proc/loadavg: 7.52 7.95 7.99 2/491 32053
/proc/meminfo: memFree=27033880/32951124 swapFree=53876548/67111528
[pid=32053] ppid=32051 vsize=518252 CPUtime=5.1 cores=0-7
/proc/32053/stat : 32053 (strangenight2-m) R 32051 32053 32027 0 -1 4202496 23165 0 0 0 476 34 0 0 18 0 8 0 779474644 530690048 22301 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/32053/statm: 129563 22306 366 95 0 124545 0
[pid=32053/tid=32054] ppid=32051 vsize=518252 CPUtime=0.62 cores=0-7
/proc/32053/task/32054/stat : 32054 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 3224 0 0 0 58 4 0 0 18 0 8 0 779474644 530690048 22309 33554432000 4194304 4580107 140735005502240 18446744073709551615 270612771873 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32053/tid=32055] ppid=32051 vsize=518252 CPUtime=0.61 cores=0-7
/proc/32053/task/32055/stat : 32055 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 2528 0 0 0 57 4 0 0 18 0 8 0 779474644 530690048 22314 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32053/tid=32056] ppid=32051 vsize=518252 CPUtime=0.64 cores=0-7
/proc/32053/task/32056/stat : 32056 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 3601 0 0 0 59 5 0 0 18 0 8 0 779474644 530690048 22319 33554432000 4194304 4580107 140735005502240 18446744073709551615 270612771873 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32053/tid=32057] ppid=32051 vsize=518252 CPUtime=0.64 cores=0-7
/proc/32053/task/32057/stat : 32057 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 2559 0 0 0 60 4 0 0 18 0 8 0 779474644 530690048 22322 33554432000 4194304 4580107 140735005502240 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32053/tid=32058] ppid=32051 vsize=518252 CPUtime=0.62 cores=0-7
/proc/32053/task/32058/stat : 32058 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 2442 0 0 0 59 3 0 0 18 0 8 0 779474644 530690048 22324 33554432000 4194304 4580107 140735005502240 18446744073709551615 4439214 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32053/tid=32059] ppid=32051 vsize=518252 CPUtime=0.64 cores=0-7
/proc/32053/task/32059/stat : 32059 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 2574 0 0 0 61 3 0 0 18 0 8 0 779474644 530690048 22328 33554432000 4194304 4580107 140735005502240 18446744073709551615 270612779355 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32053/tid=32060] ppid=32051 vsize=518252 CPUtime=0.64 cores=0-7
/proc/32053/task/32060/stat : 32060 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 3312 0 0 0 60 4 0 0 18 0 8 0 779474644 530690048 22333 33554432000 4194304 4580107 140735005502240 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.1
Current children cumulated vsize (KiB) 518252

[startup+1.50093 s]
/proc/loadavg: 7.52 7.95 7.99 9/499 32061
/proc/meminfo: memFree=26846080/32951124 swapFree=53876548/67111528
[pid=32053] ppid=32051 vsize=562000 CPUtime=10.99 cores=0-7
/proc/32053/stat : 32053 (strangenight2-m) R 32051 32053 32027 0 -1 4202496 65460 0 0 0 1035 64 0 0 18 0 8 0 779474644 575488000 48251 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/32053/statm: 140500 48253 378 95 0 135482 0
[pid=32053/tid=32054] ppid=32051 vsize=562000 CPUtime=1.36 cores=0-7
/proc/32053/task/32054/stat : 32054 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 8501 0 0 0 128 8 0 0 18 0 8 0 779474644 575488000 48253 33554432000 4194304 4580107 140735005502240 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32053/tid=32055] ppid=32051 vsize=562000 CPUtime=1.32 cores=0-7
/proc/32053/task/32055/stat : 32055 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 8313 0 0 0 123 9 0 0 18 0 8 0 779474644 575488000 48254 33554432000 4194304 4580107 140735005502240 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32053/tid=32056] ppid=32051 vsize=562000 CPUtime=1.4 cores=0-7
/proc/32053/task/32056/stat : 32056 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 8844 0 0 0 132 8 0 0 18 0 8 0 779474644 575488000 48255 33554432000 4194304 4580107 140735005502240 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32053/tid=32057] ppid=32051 vsize=562000 CPUtime=1.36 cores=0-7
/proc/32053/task/32057/stat : 32057 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 8228 0 0 0 128 8 0 0 18 0 8 0 779474644 575488000 48256 33554432000 4194304 4580107 140735005502240 18446744073709551615 4293975 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32053/tid=32058] ppid=32051 vsize=562000 CPUtime=1.35 cores=0-7
/proc/32053/task/32058/stat : 32058 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 8655 0 0 0 129 6 0 0 18 0 8 0 779474644 575488000 48256 33554432000 4194304 4580107 140735005502240 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32053/tid=32059] ppid=32051 vsize=562000 CPUtime=1.38 cores=0-7
/proc/32053/task/32059/stat : 32059 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 8960 0 0 0 130 8 0 0 18 0 8 0 779474644 575488000 48256 33554432000 4194304 4580107 140735005502240 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32053/tid=32060] ppid=32051 vsize=562000 CPUtime=1.42 cores=0-7
/proc/32053/task/32060/stat : 32060 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 5273 0 0 0 138 4 0 0 18 0 8 0 779474644 575488000 48256 33554432000 4194304 4580107 140735005502240 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 10.99
Current children cumulated vsize (KiB) 562000

[startup+3.10064 s]
/proc/loadavg: 7.52 7.95 7.99 9/499 32061
/proc/meminfo: memFree=26813096/32951124 swapFree=53876548/67111528
[pid=32053] ppid=32051 vsize=625092 CPUtime=23.77 cores=0-7
/proc/32053/stat : 32053 (strangenight2-m) R 32051 32053 32027 0 -1 4202496 104867 0 0 0 2305 72 0 0 18 0 8 0 779474644 640094208 70526 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/32053/statm: 156273 70526 379 95 0 151255 0
[pid=32053/tid=32054] ppid=32051 vsize=625092 CPUtime=2.96 cores=0-7
/proc/32053/task/32054/stat : 32054 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 13399 0 0 0 287 9 0 0 18 0 8 0 779474644 640094208 70526 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32053/tid=32055] ppid=32051 vsize=625092 CPUtime=2.92 cores=0-7
/proc/32053/task/32055/stat : 32055 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 13389 0 0 0 282 10 0 0 20 0 8 0 779474644 640094208 70527 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32053/tid=32056] ppid=32051 vsize=625092 CPUtime=3 cores=0-7
/proc/32053/task/32056/stat : 32056 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 13927 0 0 0 291 9 0 0 21 0 8 0 779474644 640094208 70527 33554432000 4194304 4580107 140735005502240 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32053/tid=32057] ppid=32051 vsize=625092 CPUtime=2.96 cores=0-7
/proc/32053/task/32057/stat : 32057 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 13393 0 0 0 287 9 0 0 18 0 8 0 779474644 640094208 70528 33554432000 4194304 4580107 140735005502240 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32053/tid=32058] ppid=32051 vsize=625092 CPUtime=2.96 cores=0-7
/proc/32053/task/32058/stat : 32058 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 13681 0 0 0 289 7 0 0 18 0 8 0 779474644 640094208 70528 33554432000 4194304 4580107 140735005502240 18446744073709551615 4322556 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32053/tid=32059] ppid=32051 vsize=625092 CPUtime=2.97 cores=0-7
/proc/32053/task/32059/stat : 32059 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 14227 0 0 0 288 9 0 0 21 0 8 0 779474644 640094208 70528 33554432000 4194304 4580107 140735005502240 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32053/tid=32060] ppid=32051 vsize=625092 CPUtime=3.02 cores=0-7
/proc/32053/task/32060/stat : 32060 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 9857 0 0 0 297 5 0 0 21 0 8 0 779474644 640094208 70528 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 23.77
Current children cumulated vsize (KiB) 625092

[startup+6.30108 s]
/proc/loadavg: 7.56 7.95 7.99 9/499 32062
/proc/meminfo: memFree=26684880/32951124 swapFree=53876548/67111528
[pid=32053] ppid=32051 vsize=767464 CPUtime=49.3 cores=0-7
/proc/32053/stat : 32053 (strangenight2-m) R 32051 32053 32027 0 -1 4202496 150089 0 0 0 4850 80 0 0 25 0 8 0 779474644 785883136 90569 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/32053/statm: 191866 90570 379 95 0 186848 0
[pid=32053/tid=32054] ppid=32051 vsize=767464 CPUtime=6.16 cores=0-7
/proc/32053/task/32054/stat : 32054 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 18215 0 0 0 606 10 0 0 25 0 8 0 779474644 785883136 90571 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32053/tid=32055] ppid=32051 vsize=767464 CPUtime=6.13 cores=0-7
/proc/32053/task/32055/stat : 32055 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 19029 0 0 0 602 11 0 0 25 0 8 0 779474644 785883136 90571 33554432000 4194304 4580107 140735005502240 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32053/tid=32056] ppid=32051 vsize=767464 CPUtime=6.19 cores=0-7
/proc/32053/task/32056/stat : 32056 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 20802 0 0 0 609 10 0 0 25 0 8 0 779474644 785883136 90571 33554432000 4194304 4580107 140735005502240 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32053/tid=32057] ppid=32051 vsize=767464 CPUtime=6.16 cores=0-7
/proc/32053/task/32057/stat : 32057 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 18190 0 0 0 605 11 0 0 25 0 8 0 779474644 785883136 90571 33554432000 4194304 4580107 140735005502240 18446744073709551615 4292956 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32053/tid=32058] ppid=32051 vsize=767464 CPUtime=6.15 cores=0-7
/proc/32053/task/32058/stat : 32058 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 19226 0 0 0 607 8 0 0 25 0 8 0 779474644 785883136 90571 33554432000 4194304 4580107 140735005502240 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32053/tid=32059] ppid=32051 vsize=767464 CPUtime=6.17 cores=0-7
/proc/32053/task/32059/stat : 32059 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 19252 0 0 0 607 10 0 0 25 0 8 0 779474644 785883136 90571 33554432000 4194304 4580107 140735005502240 18446744073709551615 4321030 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32053/tid=32060] ppid=32051 vsize=767464 CPUtime=6.22 cores=0-7
/proc/32053/task/32060/stat : 32060 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 17297 0 0 0 617 5 0 0 25 0 8 0 779474644 785883136 90571 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0

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

[pid=32053/tid=32056] ppid=32051 vsize=3319116 CPUtime=4661.04 cores=0-7
/proc/32053/task/32056/stat : 32056 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1817860 0 0 0 465543 561 0 0 25 0 8 0 779474644 3398774784 551557 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32053/tid=32057] ppid=32051 vsize=3319116 CPUtime=4650.42 cores=0-7
/proc/32053/task/32057/stat : 32057 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1455881 0 0 0 464482 560 0 0 25 0 8 0 779474644 3398774784 551557 33554432000 4194304 4580107 140735005502240 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32053/tid=32058] ppid=32051 vsize=3319116 CPUtime=4661.33 cores=0-7
/proc/32053/task/32058/stat : 32058 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1672716 0 0 0 465567 566 0 0 25 0 8 0 779474644 3398774784 551557 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32053/tid=32059] ppid=32051 vsize=3319116 CPUtime=4635.14 cores=0-7
/proc/32053/task/32059/stat : 32059 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1266703 0 0 0 463029 485 0 0 25 0 8 0 779474644 3398774784 551557 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32053/tid=32060] ppid=32051 vsize=3319116 CPUtime=4661.05 cores=0-7
/proc/32053/task/32060/stat : 32060 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1624321 0 0 0 465595 510 0 0 25 0 8 0 779474644 3398774784 551557 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 37215.4
Current children cumulated vsize (KiB) 3319116

[startup+4722.32 s]
/proc/loadavg: 8.07 8.07 8.00 9/499 32199
/proc/meminfo: memFree=24968976/32951124 swapFree=53876548/67111528
[pid=32053] ppid=32051 vsize=3157500 CPUtime=37694.5 cores=0-7
/proc/32053/stat : 32053 (strangenight2-m) R 32051 32053 32027 0 -1 4202496 12793467 0 0 0 3765006 4445 0 0 25 0 8 0 779474644 3233280000 515773 33554432000 4194304 4580107 140735005502240 18446744073709551615 4293216 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32053/statm: 789375 515773 379 95 0 784357 0
[pid=32053/tid=32054] ppid=32051 vsize=3157500 CPUtime=4721.3 cores=0-7
/proc/32053/task/32054/stat : 32054 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1651752 0 0 0 471623 507 0 0 25 0 8 0 779474644 3233280000 515773 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32053/tid=32055] ppid=32051 vsize=3157500 CPUtime=4721.71 cores=0-7
/proc/32053/task/32055/stat : 32055 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1725669 0 0 0 471532 639 0 0 25 0 8 0 779474644 3233280000 515773 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32053/tid=32056] ppid=32051 vsize=3157500 CPUtime=4721.04 cores=0-7
/proc/32053/task/32056/stat : 32056 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1839534 0 0 0 471536 568 0 0 25 0 8 0 779474644 3233280000 515773 33554432000 4194304 4580107 140735005502240 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32053/tid=32057] ppid=32051 vsize=3157500 CPUtime=4710.43 cores=0-7
/proc/32053/task/32057/stat : 32057 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1467881 0 0 0 470478 565 0 0 25 0 8 0 779474644 3233280000 515773 33554432000 4194304 4580107 140735005502240 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32053/tid=32058] ppid=32051 vsize=3157500 CPUtime=4721.33 cores=0-7
/proc/32053/task/32058/stat : 32058 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1686502 0 0 0 471562 571 0 0 25 0 8 0 779474644 3233280000 515773 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32053/tid=32059] ppid=32051 vsize=3157500 CPUtime=4694.16 cores=0-7
/proc/32053/task/32059/stat : 32059 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1275186 0 0 0 468928 488 0 0 25 0 8 0 779474644 3233280000 515773 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32053/tid=32060] ppid=32051 vsize=3157500 CPUtime=4721.07 cores=0-7
/proc/32053/task/32060/stat : 32060 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1636137 0 0 0 471593 514 0 0 25 0 8 0 779474644 3233280000 515773 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 37694.5
Current children cumulated vsize (KiB) 3157500

[startup+4782.3 s]
/proc/loadavg: 8.03 8.05 8.00 9/499 32201
/proc/meminfo: memFree=25047452/32951124 swapFree=53876548/67111528
[pid=32053] ppid=32051 vsize=3229392 CPUtime=38173.3 cores=0-7
/proc/32053/stat : 32053 (strangenight2-m) R 32051 32053 32027 0 -1 4202496 12936981 0 0 0 3812831 4500 0 0 25 0 8 0 779474644 3306897408 497988 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32053/statm: 807348 497988 379 95 0 802330 0
[pid=32053/tid=32054] ppid=32051 vsize=3229392 CPUtime=4781.27 cores=0-7
/proc/32053/task/32054/stat : 32054 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1674412 0 0 0 477612 515 0 0 25 0 8 0 779474644 3306897408 497988 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32053/tid=32055] ppid=32051 vsize=3229392 CPUtime=4781.69 cores=0-7
/proc/32053/task/32055/stat : 32055 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1736705 0 0 0 477524 645 0 0 25 0 8 0 779474644 3306897408 497988 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32053/tid=32056] ppid=32051 vsize=3229392 CPUtime=4781 cores=0-7
/proc/32053/task/32056/stat : 32056 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1859427 0 0 0 477526 574 0 0 25 0 8 0 779474644 3306897408 497988 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32053/tid=32057] ppid=32051 vsize=3229392 CPUtime=4770.41 cores=0-7
/proc/32053/task/32057/stat : 32057 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1483645 0 0 0 476468 573 0 0 25 0 8 0 779474644 3306897408 497988 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32053/tid=32058] ppid=32051 vsize=3229392 CPUtime=4781.3 cores=0-7
/proc/32053/task/32058/stat : 32058 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1707763 0 0 0 477552 578 0 0 25 0 8 0 779474644 3306897408 497988 33554432000 4194304 4580107 140735005502240 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32053/tid=32059] ppid=32051 vsize=3229392 CPUtime=4753.16 cores=0-7
/proc/32053/task/32059/stat : 32059 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1293498 0 0 0 474821 495 0 0 25 0 8 0 779474644 3306897408 497988 33554432000 4194304 4580107 140735005502240 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32053/tid=32060] ppid=32051 vsize=3229392 CPUtime=4781.04 cores=0-7
/proc/32053/task/32060/stat : 32060 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1658920 0 0 0 477582 522 0 0 25 0 8 0 779474644 3306897408 497988 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 38173.3
Current children cumulated vsize (KiB) 3229392

[startup+4842.3 s]
/proc/loadavg: 8.01 8.04 8.00 9/499 32203
/proc/meminfo: memFree=24770800/32951124 swapFree=53876548/67111528
[pid=32053] ppid=32051 vsize=3213420 CPUtime=38652.2 cores=0-7
/proc/32053/stat : 32053 (strangenight2-m) R 32051 32053 32027 0 -1 4202496 13073505 0 0 0 3860674 4550 0 0 25 0 8 0 779474644 3290542080 532738 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32053/statm: 803355 532738 379 95 0 798337 0
[pid=32053/tid=32054] ppid=32051 vsize=3213420 CPUtime=4841.26 cores=0-7
/proc/32053/task/32054/stat : 32054 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1692130 0 0 0 483604 522 0 0 25 0 8 0 779474644 3290542080 532738 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32053/tid=32055] ppid=32051 vsize=3213420 CPUtime=4841.67 cores=0-7
/proc/32053/task/32055/stat : 32055 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1753887 0 0 0 483515 652 0 0 25 0 8 0 779474644 3290542080 532738 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32053/tid=32056] ppid=32051 vsize=3213420 CPUtime=4840.97 cores=0-7
/proc/32053/task/32056/stat : 32056 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1879751 0 0 0 483516 581 0 0 25 0 8 0 779474644 3290542080 532738 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32053/tid=32057] ppid=32051 vsize=3213420 CPUtime=4830.4 cores=0-7
/proc/32053/task/32057/stat : 32057 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1504729 0 0 0 482460 580 0 0 25 0 8 0 779474644 3290542080 532738 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32053/tid=32058] ppid=32051 vsize=3213420 CPUtime=4841.29 cores=0-7
/proc/32053/task/32058/stat : 32058 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1723156 0 0 0 483545 584 0 0 25 0 8 0 779474644 3290542080 532738 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32053/tid=32059] ppid=32051 vsize=3213420 CPUtime=4812.18 cores=0-7
/proc/32053/task/32059/stat : 32059 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1306595 0 0 0 480718 500 0 0 25 0 8 0 779474644 3290542080 532738 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32053/tid=32060] ppid=32051 vsize=3213420 CPUtime=4841.04 cores=0-7
/proc/32053/task/32060/stat : 32060 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1671333 0 0 0 483577 527 0 0 25 0 8 0 779474644 3290542080 532739 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 38652.2
Current children cumulated vsize (KiB) 3213420

[startup+4902.3 s]
/proc/loadavg: 8.05 8.05 8.00 9/499 32204
/proc/meminfo: memFree=24927648/32951124 swapFree=53876548/67111528
[pid=32053] ppid=32051 vsize=3368408 CPUtime=39131.2 cores=0-7
/proc/32053/stat : 32053 (strangenight2-m) R 32051 32053 32027 0 -1 4202496 13205369 0 0 0 3908522 4600 0 0 25 0 8 0 779474644 3449249792 527305 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32053/statm: 842102 527305 379 95 0 837084 0
[pid=32053/tid=32054] ppid=32051 vsize=3368408 CPUtime=4901.26 cores=0-7
/proc/32053/task/32054/stat : 32054 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1716785 0 0 0 489598 528 0 0 25 0 8 0 779474644 3449249792 527305 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294551 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32053/tid=32055] ppid=32051 vsize=3368408 CPUtime=4900.69 cores=0-7
/proc/32053/task/32055/stat : 32055 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1773047 0 0 0 489408 661 0 0 25 0 8 0 779474644 3449249792 527305 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32053/tid=32056] ppid=32051 vsize=3368408 CPUtime=4900.95 cores=0-7
/proc/32053/task/32056/stat : 32056 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1900280 0 0 0 489507 588 0 0 25 0 8 0 779474644 3449249792 527305 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32053/tid=32057] ppid=32051 vsize=3368408 CPUtime=4890.39 cores=0-7
/proc/32053/task/32057/stat : 32057 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1519433 0 0 0 488453 586 0 0 25 0 8 0 779474644 3449249792 527305 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32053/tid=32058] ppid=32051 vsize=3368408 CPUtime=4901.29 cores=0-7
/proc/32053/task/32058/stat : 32058 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1740212 0 0 0 489540 589 0 0 25 0 8 0 779474644 3449249792 527305 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32053/tid=32059] ppid=32051 vsize=3368408 CPUtime=4872.17 cores=0-7
/proc/32053/task/32059/stat : 32059 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1317576 0 0 0 486712 505 0 0 25 0 8 0 779474644 3449249792 527305 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32053/tid=32060] ppid=32051 vsize=3368408 CPUtime=4901.03 cores=0-7
/proc/32053/task/32060/stat : 32060 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1686344 0 0 0 489571 532 0 0 25 0 8 0 779474644 3449249792 527305 33554432000 4194304 4580107 140735005502240 18446744073709551615 4342192 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 39131.2
Current children cumulated vsize (KiB) 3368408

[startup+4962.3 s]
/proc/loadavg: 8.09 8.06 8.01 9/499 32206
/proc/meminfo: memFree=24963168/32951124 swapFree=53876548/67111528
[pid=32053] ppid=32051 vsize=3341468 CPUtime=39610.2 cores=0-7
/proc/32053/stat : 32053 (strangenight2-m) R 32051 32053 32027 0 -1 4202496 13331235 0 0 0 3956365 4651 0 0 25 0 8 0 779474644 3421663232 517822 33554432000 4194304 4580107 140735005502240 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32053/statm: 835367 517822 379 95 0 830349 0
[pid=32053/tid=32054] ppid=32051 vsize=3341468 CPUtime=4961.26 cores=0-7
/proc/32053/task/32054/stat : 32054 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1739844 0 0 0 495590 536 0 0 25 0 8 0 779474644 3421663232 517822 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32053/tid=32055] ppid=32051 vsize=3341468 CPUtime=4959.71 cores=0-7
/proc/32053/task/32055/stat : 32055 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1786427 0 0 0 495303 668 0 0 25 0 8 0 779474644 3421663232 517822 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32053/tid=32056] ppid=32051 vsize=3341468 CPUtime=4960.93 cores=0-7
/proc/32053/task/32056/stat : 32056 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1914287 0 0 0 495500 593 0 0 25 0 8 0 779474644 3421663232 517822 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32053/tid=32057] ppid=32051 vsize=3341468 CPUtime=4950.38 cores=0-7
/proc/32053/task/32057/stat : 32057 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1534349 0 0 0 494445 593 0 0 25 0 8 0 779474644 3421663232 517823 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32053/tid=32058] ppid=32051 vsize=3341468 CPUtime=4961.28 cores=0-7
/proc/32053/task/32058/stat : 32058 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1758927 0 0 0 495533 595 0 0 25 0 8 0 779474644 3421663232 517823 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32053/tid=32059] ppid=32051 vsize=3341468 CPUtime=4932.15 cores=0-7
/proc/32053/task/32059/stat : 32059 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1333072 0 0 0 492703 512 0 0 25 0 8 0 779474644 3421663232 517823 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32053/tid=32060] ppid=32051 vsize=3341468 CPUtime=4961.03 cores=0-7
/proc/32053/task/32060/stat : 32060 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1699214 0 0 0 495565 538 0 0 25 0 8 0 779474644 3421663232 517823 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 39610.2
Current children cumulated vsize (KiB) 3341468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5011.2 s]
/proc/loadavg: 8.09 8.07 8.01 9/499 32207
/proc/meminfo: memFree=24839772/32951124 swapFree=53876548/67111528
[pid=32053] ppid=32051 vsize=3308088 CPUtime=40000.6 cores=0-7
/proc/32053/stat : 32053 (strangenight2-m) R 32051 32053 32027 0 -1 4202496 13443853 0 0 0 3995370 4695 0 0 25 0 8 0 779474644 3387482112 547980 33554432000 4194304 4580107 140735005502240 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32053/statm: 827022 547980 379 95 0 822004 0
[pid=32053/tid=32054] ppid=32051 vsize=3308088 CPUtime=5010.17 cores=0-7
/proc/32053/task/32054/stat : 32054 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1751687 0 0 0 500478 539 0 0 25 0 8 0 779474644 3387482112 547980 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32053/tid=32055] ppid=32051 vsize=3308088 CPUtime=5007.81 cores=0-7
/proc/32053/task/32055/stat : 32055 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1804670 0 0 0 500106 675 0 0 25 0 8 0 779474644 3387482112 547980 33554432000 4194304 4580107 140735005502240 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32053/tid=32056] ppid=32051 vsize=3308088 CPUtime=5009.84 cores=0-7
/proc/32053/task/32056/stat : 32056 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1932203 0 0 0 500385 599 0 0 25 0 8 0 779474644 3387482112 547980 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32053/tid=32057] ppid=32051 vsize=3308088 CPUtime=4999.29 cores=0-7
/proc/32053/task/32057/stat : 32057 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1544150 0 0 0 499331 598 0 0 25 0 8 0 779474644 3387482112 547980 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32053/tid=32058] ppid=32051 vsize=3308088 CPUtime=5010.2 cores=0-7
/proc/32053/task/32058/stat : 32058 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1770795 0 0 0 500419 601 0 0 25 0 8 0 779474644 3387482112 547980 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=32053/tid=32059] ppid=32051 vsize=3308088 CPUtime=4981.07 cores=0-7
/proc/32053/task/32059/stat : 32059 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1354531 0 0 0 497586 521 0 0 25 0 8 0 779474644 3387482112 547980 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32053/tid=32060] ppid=32051 vsize=3308088 CPUtime=5009.94 cores=0-7
/proc/32053/task/32060/stat : 32060 (strangenight2-m) R 32051 32053 32027 0 -1 4202560 1710019 0 0 0 500452 542 0 0 25 0 8 0 779474644 3387482112 547980 33554432000 4194304 4580107 140735005502240 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 40000.6
Current children cumulated vsize (KiB) 3308088

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

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

[startup+5011.32 s]
/proc/loadavg: 8.09 8.07 8.01 9/499 32207
/proc/meminfo: memFree=24839772/32951124 swapFree=53876548/67111528
[pid=32053] ppid=32051 vsize=0 CPUtime=40000.8 cores=0-7
/proc/32053/stat : 32053 (strangenight2-m) Z 32051 32053 32027 0 -1 4203548 13443861 0 0 0 3995375 4705 0 0 25 0 2 0 779474644 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32053/statm: 0 0 0 0 0 0 0
[pid=32053/tid=32055] ppid=32051 vsize=0 CPUtime=5007.91 cores=0-7
/proc/32053/task/32055/stat : 32055 (strangenight2-m) R 32051 32053 32027 0 -1 4203588 1804672 0 0 0 500106 685 0 0 25 0 2 0 779474644 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.8
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5011.33
CPU time (s): 40000.8
CPU user time (s): 39953.8
CPU system time (s): 47.0648
CPU usage (%): 798.207
Max. virtual memory (cumulated for all children) (KiB): 3498692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39953.8
system time used= 47.0648
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13443861
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= 97869
involuntary context switches= 164469

runsolver used 23.3924 second user time and 58.6371 second system time

The end

Launcher Data 

Begin job on node108 at 2011-05-29 16:18:57
IDJOB=3421599
IDBENCH=83248
IDSOLVER=1878
FILE ID=node108/3421599-1306678737
RUNJOBID= node108-1306678737-32041
PBS_JOBID= 13471815
Free space on /tmp= 73424 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-4-5_4231.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3421599-1306678737/watcher-3421599-1306678737 -o /tmp/evaluation-result-3421599-1306678737/solver-3421599-1306678737 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3421599-1306678737.cnf

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

MD5SUM BENCH= a52d60bf6e72caa628ad712a5fe0fb7a
RANDOM SEED=750767358

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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.820
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.75
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.820
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:     32951124 kB
MemFree:      27034160 kB
Buffers:        241156 kB
Cached:        4430188 kB
SwapCached:      16500 kB
Active:        1497768 kB
Inactive:      4167812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27034160 kB
SwapTotal:    67111528 kB
SwapFree:     53876548 kB
Dirty:            7820 kB
Writeback:           0 kB
AnonPages:      988276 kB
Mapped:          11408 kB
Slab:           113892 kB
PageTables:      65156 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 134535156 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= 73416 MiB
End job on node108 at 2011-05-29 17:42:30