Trace number 3281378

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt? (TO) 4800.58 1224.15

General information on the benchmark

Nameindustrial/vliw_sat_4.0/
9vliw_m_9stages_iq3_C1_bug5.cnf
MD5SUMc77a56af24208a6401c763e11a38de01
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark6.82496
Satisfiable
(Un)Satisfiability was proved
Number of variables520770
Number of clauses13380350
Sum of the clauses size39210884
Maximum clause length6689
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 28710587
Number of clauses of size 34215482
Number of clauses of size 425225
Number of clauses of size 515593
Number of clauses of size over 5413462

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3281378-1304032493.cnf'
0.00/0.00	c -- header says num vars:         520770
0.00/0.00	c -- header says num clauses:    13380350
20.20/5.63	c -- clauses added:            0 learnts,     13380350 normals,            0 xors
20.20/5.63	c -- vars added     520770
20.20/5.63	c Parsing time: 17.04 s
20.20/5.65	c  N st     0         0    520770   4669762   8710587         0  39210883         0   no data   no data  --
22.57/6.23	c asymm  cl-useful: 2/118/4669758 lits-rem:5 time: 1.89
64.82/16.82	c Flit:     5 Blit:  17865 bXBeca:    0 bXProp:   10 Bins:      0 BRemL:      0 BRemN:      0 P: 200.5M T: 39.58
66.42/17.23	c Cleaning up after failed var search:     1.62 s 
73.20/18.90	c Replacing       10 vars Replaced   213772 lits Time:     6.60 s 
90.94/23.54	c bin-w-bin subsume rem          592 bins  time:  6.64 s
96.53/24.97	c subs with bin:      685  lits-rem:     14886  v-fix:    0  time:  5.71 s
136.41/34.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3310 time: 39.57 s
138.81/35.56	c Removed useless bin:     425  fixed:     0  props:  20.01M  time:  2.57 s
1872.70/481.94	c lits-rem:       387  cl-subs:    15865  v-elim:  14643  v-fix:    0  time: 1510.47 s
1873.49/482.19	c Finding binary XORs  T:     0.98 s  found:      64
1876.17/482.84	c Replacing       64 vars Replaced    33709 lits Time:     2.35 s 
1878.79/483.52	c Calc default polars -  time:   1.13 s pos:   28520 undec:   32824 neg:  459426
1878.79/483.52	c =========================================================================================
1878.79/483.52	c types(t): F = full restart, N = normal restart
1878.79/483.52	c types(t): S = simplification begin/end, E = solution found
1878.79/483.52	c restart types(rt): st = static, dy = dynamic
1878.79/483.52	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1878.79/483.52	c  B st     0         0    488177   4657934   8336003         0  38907363         0   no data   no data  --
1937.77/500.04	c  N dy    10      4025    488177   4657934   8336185      3778  38907350    211162     17.11     18.60  --
1991.84/514.91	c  N dy    34      8181    485473   4657934   8338853      7718  38907344    373447     17.17     18.16  --
2062.97/534.56	c  N dy    65     12270    485470   4657934   8339460     11624  38907340    561554     18.88     25.74  --
2119.86/549.00	c  N dy    87     16294    485470   4657934   8339565     15506  38907336    735973     18.80     20.33  --
2167.22/560.92	c  N dy   105     20338    485467   4657934   8339962      9849  38907331    215201     18.25     29.27  --
2227.17/576.20	c  N dy   138     24414    485466   4657934   8340036     13807  38907322    411428     19.10     21.47  --
2233.86/577.86	c  F st   144     25000    485466   4657934   8341649     14354  38907320    455974     19.28   no data  --
2282.20/590.66	c  N dy   150     30001    485466   4652765   8297602     19195  38760471    757546     19.28   no data  --
2282.20/590.66	c  S st   150     30001    485466   4652765   8297602     19195  38760471    757546     19.28   no data  --
2294.16/594.05	c  S st   150     30502    485452   4652765   8297679     19603  38760471    763436     19.28   no data  --
2295.68/594.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   1.48
4593.50/1171.99	c Flit:    73 Blit:  13907 bXBeca:    0 bXProp:   25 Bins:  18104 BRemL:      1 BRemN:     51 P: 200.3M T: 2281.14
4595.10/1172.33	c Cleaning up after failed var search:     1.29 s 
4598.69/1173.29	c Replacing       25 vars Replaced   194276 lits Time:     3.33 s 
4611.38/1176.48	c bin-w-bin subsume rem         2218 bins  time:  4.68 s
4616.97/1177.83	c subs with bin:       53  lits-rem:      5800  v-fix:    0  time:  5.27 s
4626.95/1180.33	c Subs w/ non-existent bins:     68 l-rem:    806 v-fix:     1 done:  13893 time:  9.46 s
4629.35/1180.90	c Removed useless bin:       0  fixed:     0  props:  20.09M  time:  2.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: 935)

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-3281378-1304032493/watcher-3281378-1304032493 -o /tmp/evaluation-result-3281378-1304032493/solver-3281378-1304032493 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3281378-1304032493.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.55 6.84 7.47 6/180 19265
/proc/meminfo: memFree=12489284/32951124 swapFree=67111528/67111528
[pid=19265] ppid=19263 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19265/stat : 19265 (strangenight1-m) R 19263 19265 18832 0 -1 4202496 413 0 0 0 0 0 0 0 21 0 4 0 514851149 52465664 352 33554432000 4194304 4650419 140736532931424 18446744073709551615 47274852399026 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19265/statm: 12809 352 303 112 0 7774 0
[pid=19265/tid=19266] ppid=19263 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19265/task/19266/stat : 19266 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 514851149 52465664 352 33554432000 4194304 4650419 140736532931424 18446744073709551615 47274852399026 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19265/tid=19267] ppid=19263 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19265/task/19267/stat : 19267 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 514851149 52465664 352 33554432000 4194304 4650419 140736532931424 18446744073709551615 47274852399026 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19265/tid=19268] ppid=19263 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/19265/task/19268/stat : 19268 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 514851149 52465664 352 33554432000 4194304 4650419 140736532931424 18446744073709551615 270613167089 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0182499 s]
/proc/loadavg: 4.55 6.84 7.47 6/180 19265
/proc/meminfo: memFree=12489284/32951124 swapFree=67111528/67111528
[pid=19265] ppid=19263 vsize=341656 CPUtime=0.04 cores=0,2,4,6
/proc/19265/stat : 19265 (strangenight1-m) S 19263 19265 18832 0 -1 4202496 3228 0 0 0 3 1 0 0 18 0 4 0 514851149 349855744 3039 33554432000 4194304 4650419 140736532931424 18446744073709551615 270613215726 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19265/statm: 85414 3116 343 112 0 80379 0
[pid=19265/tid=19266] ppid=19263 vsize=341656 CPUtime=0 cores=0,2,4,6
/proc/19265/task/19266/stat : 19266 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 735 0 0 0 0 0 0 0 18 0 4 0 514851149 349855744 3122 33554432000 4194304 4650419 140736532931424 18446744073709551615 270612807435 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19265/tid=19267] ppid=19263 vsize=341656 CPUtime=0 cores=0,2,4,6
/proc/19265/task/19267/stat : 19267 (strangenight1-m) S 19263 19265 18832 0 -1 4202560 750 0 0 0 0 0 0 0 18 0 4 0 514851149 349855744 3153 33554432000 4194304 4650419 140736532931424 18446744073709551615 270613215726 0 0 4096 2 18446604453611039424 0 0 -1 0 0 0 0
[pid=19265/tid=19268] ppid=19263 vsize=341656 CPUtime=0 cores=0,2,4,6
/proc/19265/task/19268/stat : 19268 (strangenight1-m) S 19263 19265 18832 0 -1 4202560 797 0 0 0 0 0 0 0 18 0 4 0 514851149 349855744 3211 33554432000 4194304 4650419 140736532931424 18446744073709551615 270613215726 0 0 4096 2 18446604453611039424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 341656

[startup+0.102193 s]
/proc/loadavg: 4.55 6.84 7.47 6/180 19265
/proc/meminfo: memFree=12489284/32951124 swapFree=67111528/67111528
[pid=19265] ppid=19263 vsize=363096 CPUtime=0.33 cores=0,2,4,6
/proc/19265/stat : 19265 (strangenight1-m) S 19263 19265 18832 0 -1 4202496 15933 0 0 0 25 8 0 0 18 0 4 0 514851149 371810304 13856 33554432000 4194304 4650419 140736532931424 18446744073709551615 270613215726 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19265/statm: 90774 13876 344 112 0 85739 0
[pid=19265/tid=19266] ppid=19263 vsize=363096 CPUtime=0.07 cores=0,2,4,6
/proc/19265/task/19266/stat : 19266 (strangenight1-m) S 19263 19265 18832 0 -1 4202560 3657 0 0 0 6 1 0 0 18 0 4 0 514851149 371810304 13876 33554432000 4194304 4650419 140736532931424 18446744073709551615 270613215726 0 0 4096 2 18446604453611039424 0 0 -1 2 0 0 0
[pid=19265/tid=19267] ppid=19263 vsize=363576 CPUtime=0.07 cores=0,2,4,6
/proc/19265/task/19267/stat : 19267 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 3914 0 0 0 6 1 0 0 18 0 4 0 514851149 372301824 13889 33554432000 4194304 4650419 140736532931424 18446744073709551615 270612807791 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19265/tid=19268] ppid=19263 vsize=363576 CPUtime=0.07 cores=0,2,4,6
/proc/19265/task/19268/stat : 19268 (strangenight1-m) S 19263 19265 18832 0 -1 4202560 4278 0 0 0 5 2 0 0 18 0 4 0 514851149 372301824 13903 33554432000 4194304 4650419 140736532931424 18446744073709551615 270613215726 0 0 4096 2 18446604453611039424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 363096

[startup+0.30551 s]
/proc/loadavg: 4.55 6.84 7.47 6/180 19265
/proc/meminfo: memFree=12489284/32951124 swapFree=67111528/67111528
[pid=19265] ppid=19263 vsize=396956 CPUtime=1.06 cores=0,2,4,6
/proc/19265/stat : 19265 (strangenight1-m) S 19263 19265 18832 0 -1 4202496 38484 0 0 0 85 21 0 0 18 0 4 0 514851149 406482944 34225 33554432000 4194304 4650419 140736532931424 18446744073709551615 270613215726 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19265/statm: 99239 34268 344 112 0 94204 0
[pid=19265/tid=19266] ppid=19263 vsize=396956 CPUtime=0.26 cores=0,2,4,6
/proc/19265/task/19266/stat : 19266 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 9205 0 0 0 21 5 0 0 18 0 4 0 514851149 406482944 34285 33554432000 4194304 4650419 140736532931424 18446744073709551615 270612807791 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19265/tid=19267] ppid=19263 vsize=396956 CPUtime=0.25 cores=0,2,4,6
/proc/19265/task/19267/stat : 19267 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 9826 0 0 0 21 4 0 0 18 0 4 0 514851149 406482944 34308 33554432000 4194304 4650419 140736532931424 18446744073709551615 270612807880 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19265/tid=19268] ppid=19263 vsize=396956 CPUtime=0.25 cores=0,2,4,6
/proc/19265/task/19268/stat : 19268 (strangenight1-m) S 19263 19265 18832 0 -1 4202560 9907 0 0 0 19 6 0 0 18 0 4 0 514851149 406482944 34329 33554432000 4194304 4650419 140736532931424 18446744073709551615 270613215726 0 0 4096 2 18446604453611039424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 396956

[startup+0.700892 s]
/proc/loadavg: 4.55 6.84 7.47 6/180 19265
/proc/meminfo: memFree=12489284/32951124 swapFree=67111528/67111528
[pid=19265] ppid=19263 vsize=457276 CPUtime=2.45 cores=0,2,4,6
/proc/19265/stat : 19265 (strangenight1-m) R 19263 19265 18832 0 -1 4202496 78350 0 0 0 197 48 0 0 17 0 4 0 514851149 468250624 69658 33554432000 4194304 4650419 140736532931424 18446744073709551615 270613215775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19265/statm: 114319 69660 344 112 0 109284 0
[pid=19265/tid=19266] ppid=19263 vsize=457276 CPUtime=0.61 cores=0,2,4,6
/proc/19265/task/19266/stat : 19266 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 19601 0 0 0 50 11 0 0 17 0 4 0 514851149 468250624 69661 33554432000 4194304 4650419 140736532931424 18446744073709551615 270613215726 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19265/tid=19267] ppid=19263 vsize=457276 CPUtime=0.6 cores=0,2,4,6
/proc/19265/task/19267/stat : 19267 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 19797 0 0 0 49 11 0 0 17 0 4 0 514851149 468250624 69662 33554432000 4194304 4650419 140736532931424 18446744073709551615 270613153975 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19265/tid=19268] ppid=19263 vsize=457276 CPUtime=0.6 cores=0,2,4,6
/proc/19265/task/19268/stat : 19268 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 20082 0 0 0 48 12 0 0 17 0 4 0 514851149 468250624 69665 33554432000 4194304 4650419 140736532931424 18446744073709551615 4317229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 457276

[startup+1.8017 s]
/proc/loadavg: 4.55 6.84 7.47 6/180 19265
/proc/meminfo: memFree=12489284/32951124 swapFree=67111528/67111528
[pid=19265] ppid=19263 vsize=1010576 CPUtime=6.34 cores=0,2,4,6
/proc/19265/stat : 19265 (strangenight1-m) R 19263 19265 18832 0 -1 4202496 189118 0 0 0 512 122 0 0 18 0 4 0 514851149 1034829824 171269 33554432000 4194304 4650419 140736532931424 18446744073709551615 270613215775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19265/statm: 252644 171269 344 112 0 247609 0
[pid=19265/tid=19266] ppid=19263 vsize=1010576 CPUtime=1.58 cores=0,2,4,6
/proc/19265/task/19266/stat : 19266 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 46732 0 0 0 131 27 0 0 18 0 4 0 514851149 1034829824 171272 33554432000 4194304 4650419 140736532931424 18446744073709551615 4305878 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19265/tid=19267] ppid=19263 vsize=1010576 CPUtime=1.57 cores=0,2,4,6
/proc/19265/task/19267/stat : 19267 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 47496 0 0 0 126 31 0 0 18 0 4 0 514851149 1034829824 171272 33554432000 4194304 4650419 140736532931424 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19265/tid=19268] ppid=19263 vsize=1010576 CPUtime=1.59 cores=0,2,4,6
/proc/19265/task/19268/stat : 19268 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 48246 0 0 0 128 31 0 0 18 0 4 0 514851149 1034829824 171275 33554432000 4194304 4650419 140736532931424 18446744073709551615 4545872 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 6.34
Current children cumulated vsize (KiB) 1010576

[startup+3.10047 s]
/proc/loadavg: 5.06 6.91 7.49 7/184 19270
/proc/meminfo: memFree=11258552/32951124 swapFree=67111528/67111528
[pid=19265] ppid=19263 vsize=1470384 CPUtime=11.2 cores=0,2,4,6
/proc/19265/stat : 19265 (strangenight1-m) R 19263 19265 18832 0 -1 4202496 343014 0 0 0 939 181 0 0 17 0 4 0 514851149 1505673216 307249 33554432000 4194304 4650419 140736532931424 18446744073709551615 4305880 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19265/statm: 367596 307251 344 112 0 362561 0
[pid=19265/tid=19266] ppid=19263 vsize=1470384 CPUtime=2.78 cores=0,2,4,6
/proc/19265/task/19266/stat : 19266 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 85503 0 0 0 239 39 0 0 17 0 4 0 514851149 1505673216 307268 33554432000 4194304 4650419 140736532931424 18446744073709551615 4546832 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19265/tid=19267] ppid=19263 vsize=1470384 CPUtime=2.78 cores=0,2,4,6
/proc/19265/task/19267/stat : 19267 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 85759 0 0 0 232 46 0 0 17 0 4 0 514851149 1505673216 307270 33554432000 4194304 4650419 140736532931424 18446744073709551615 270612771873 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19265/tid=19268] ppid=19263 vsize=1470384 CPUtime=2.8 cores=0,2,4,6
/proc/19265/task/19268/stat : 19268 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 86665 0 0 0 234 46 0 0 18 0 4 0 514851149 1505673216 307271 33554432000 4194304 4650419 140736532931424 18446744073709551615 270613215775 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.2
Current children cumulated vsize (KiB) 1470384

[startup+6.30091 s]
/proc/loadavg: 5.06 6.91 7.49 9/184 19270
/proc/meminfo: memFree=10142932/32951124 swapFree=67111528/67111528
[pid=19265] ppid=19263 vsize=3561676 CPUtime=22.97 cores=0,2,4,6
/proc/19265/stat : 19265 (strangenight1-m) R 19263 19265 18832 0 -1 4202496 695123 0 0 0 1961 336 0 0 18 0 4 0 514851149 3647156224 653989 33554432000 4194304 4650419 140736532931424 18446744073709551615 270613154151 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19265/statm: 890419 653997 369 112 0 885384 0
[pid=19265/tid=19266] ppid=19263 vsize=3561676 CPUtime=5.73 cores=0,2,4,6
/proc/19265/task/19266/stat : 19266 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 175618 0 0 0 498 75 0 0 18 0 4 0 514851149 3647156224 654003 33554432000 4194304 4650419 140736532931424 18446744073709551615 4515973 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19265/tid=19267] ppid=19263 vsize=3561676 CPUtime=5.73 cores=0,2,4,6
/proc/19265/task/19267/stat : 19267 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 174537 0 0 0 488 85 0 0 18 0 4 0 514851149 3647156224 653497 33554432000 4194304 4650419 140736532931424 18446744073709551615 4516030 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19265/tid=19268] ppid=19263 vsize=3561676 CPUtime=5.73 cores=0,2,4,6
/proc/19265/task/19268/stat : 19268 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 167933 0 0 0 490 83 0 0 18 0 4 0 514851149 3647156224 653503 33554432000 4194304 4650419 140736532931424 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 22.97
Current children cumulated vsize (KiB) 3561676

[startup+12.7008 s]
/proc/loadavg: 5.52 6.95 7.50 9/184 19270
/proc/meminfo: memFree=9263648/32951124 swapFree=67111528/67111528
[pid=19265] ppid=19263 vsize=3200556 CPUtime=48.43 cores=0,2,4,6
/proc/19265/stat : 19265 (strangenight1-m) R 19263 19265 18832 0 -1 4202496 932097 0 0 0 4461 382 0 0 25 0 4 0 514851149 3277369344 684503 33554432000 4194304 4650419 140736532931424 18446744073709551615 4369376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19265/statm: 800139 684503 373 112 0 795104 0
[pid=19265/tid=19266] ppid=19263 vsize=3200556 CPUtime=12.11 cores=0,2,4,6
/proc/19265/task/19266/stat : 19266 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 257805 0 0 0 1121 90 0 0 25 0 4 0 514851149 3277369344 684503 33554432000 4194304 4650419 140736532931424 18446744073709551615 4369075 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19265/tid=19267] ppid=19263 vsize=3200556 CPUtime=12.08 cores=0,2,4,6
/proc/19265/task/19267/stat : 19267 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 245550 0 0 0 1110 98 0 0 25 0 4 0 514851149 3277369344 684503 33554432000 4194304 4650419 140736532931424 18446744073709551615 4369394 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19265/tid=19268] ppid=19263 vsize=3200556 CPUtime=12.09 cores=0,2,4,6
/proc/19265/task/19268/stat : 19268 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 170849 0 0 0 1124 85 0 0 25 0 4 0 514851149 3277369344 684503 33554432000 4194304 4650419 140736532931424 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 48.43
Current children cumulated vsize (KiB) 3200556

[startup+25.5005 s]
/proc/loadavg: 5.97 7.00 7.51 9/184 19270
/proc/meminfo: memFree=7540964/32951124 swapFree=67111528/67111528
[pid=19265] ppid=19263 vsize=4968232 CPUtime=98.93 cores=0,2,4,6
/proc/19265/stat : 19265 (strangenight1-m) R 19263 19265 18832 0 -1 4202496 1357877 0 0 0 9383 510 0 0 25 0 4 0 514851149 5087469568 1110280 33554432000 4194304 4650419 140736532931424 18446744073709551615 4470506 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19265/statm: 1242058 1110280 384 112 0 1237023 0
[pid=19265/tid=19266] ppid=19263 vsize=4968232 CPUtime=24.7 cores=0,2,4,6
/proc/19265/task/19266/stat : 19266 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 399497 0 0 0 2335 135 0 0 25 0 4 0 514851149 5087469568 1110280 33554432000 4194304 4650419 140736532931424 18446744073709551615 4470766 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19265/tid=19267] ppid=19263 vsize=4968232 CPUtime=24.62 cores=0,2,4,6
/proc/19265/task/19267/stat : 19267 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 389735 0 0 0 2321 141 0 0 25 0 4 0 514851149 5087469568 1110280 33554432000 4194304 4650419 140736532931424 18446744073709551615 4449568 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19265/tid=19268] ppid=19263 vsize=4968232 CPUtime=24.84 cores=0,2,4,6
/proc/19265/task/19268/stat : 19268 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 171946 0 0 0 2399 85 0 0 25 0 4 0 514851149 5087469568 1110280 33554432000 4194304 4650419 140736532931424 18446744073709551615 4367518 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 98.93
Current children cumulated vsize (KiB) 4968232

[startup+51.101 s]
/proc/loadavg: 6.66 7.08 7.52 9/184 19271
/proc/meminfo: memFree=7037548/32951124 swapFree=67111528/67111528
[pid=19265] ppid=19263 vsize=5550104 CPUtime=199.97 cores=0,2,4,6
/proc/19265/stat : 19265 (strangenight1-m) R 19263 19265 18832 0 -1 4202496 1810062 0 0 0 19376 621 0 0 25 0 4 0 514851149 5683306496 1201737 33554432000 4194304 4650419 140736532931424 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19265/statm: 1387526 1201737 389 112 0 1382491 0
[pid=19265/tid=19266] ppid=19263 vsize=5550104 CPUtime=50.2 cores=0,2,4,6
/proc/19265/task/19266/stat : 19266 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 561705 0 0 0 4847 173 0 0 25 0 4 0 514851149 5683306496 1201737 33554432000 4194304 4650419 140736532931424 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19265/tid=19267] ppid=19263 vsize=5550104 CPUtime=50.2 cores=0,2,4,6
/proc/19265/task/19267/stat : 19267 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 459197 0 0 0 4861 159 0 0 25 0 4 0 514851149 5683306496 1201737 33554432000 4194304 4650419 140736532931424 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19265/tid=19268] ppid=19263 vsize=5550104 CPUtime=49.39 cores=0,2,4,6
/proc/19265/task/19268/stat : 19268 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 178998 0 0 0 4851 88 0 0 25 0 4 0 514851149 5683306496 1201737 33554432000 4194304 4650419 140736532931424 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 199.97
Current children cumulated vsize (KiB) 5550104

[startup+102.301 s]
/proc/loadavg: 7.40 7.21 7.54 9/184 19272
/proc/meminfo: memFree=7029188/32951124 swapFree=67111528/67111528
[pid=19265] ppid=19263 vsize=5436704 CPUtime=395.92 cores=0,2,4,6
/proc/19265/stat : 19265 (strangenight1-m) R 19263 19265 18832 0 -1 4202496 5222247 0 0 0 38025 1567 0 0 20 0 4 0 514851149 5567184896 1201663 33554432000 4194304 4650419 140736532931424 18446744073709551615 4441871 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19265/statm: 1359176 1201663 400 112 0 1354141 0
[pid=19265/tid=19266] ppid=19263 vsize=5436704 CPUtime=99.81 cores=0,2,4,6
/proc/19265/task/19266/stat : 19266 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 2020261 0 0 0 9420 561 0 0 19 0 4 0 514851149 5567184896 1201663 33554432000 4194304 4650419 140736532931424 18446744073709551615 270612808144 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19265/tid=19267] ppid=19263 vsize=5436704 CPUtime=99.62 cores=0,2,4,6
/proc/19265/task/19267/stat : 19267 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 1872197 0 0 0 9392 570 0 0 19 0 4 0 514851149 5567184896 1201663 33554432000 4194304 4650419 140736532931424 18446744073709551615 4441444 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=19265/tid=19268] ppid=19263 vsize=5436704 CPUtime=95.28 cores=0,2,4,6
/proc/19265/task/19268/stat : 19268 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 179977 0 0 0 9439 89 0 0 16 0 4 0 514851149 5567184896 1201663 33554432000 4194304 4650419 140736532931424 18446744073709551615 4363435 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 395.92
Current children cumulated vsize (KiB) 5436704

[startup+162.3 s]

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

[pid=19265/tid=19268] ppid=19263 vsize=6971920 CPUtime=679.75 cores=0,2,4,6
/proc/19265/task/19268/stat : 19268 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 23118858 0 0 0 63687 4288 0 0 25 0 4 0 514851149 7139246080 1553920 33554432000 4194304 4650419 140736532931424 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2717.74
Current children cumulated vsize (KiB) 6971920

[startup+762.301 s]
/proc/loadavg: 8.04 7.89 7.76 9/184 19290
/proc/meminfo: memFree=4668740/32951124 swapFree=67111528/67111528
[pid=19265] ppid=19263 vsize=7244636 CPUtime=2957.41 cores=0,2,4,6
/proc/19265/stat : 19265 (strangenight1-m) R 19263 19265 18832 0 -1 4202496 105399795 0 0 0 270672 25069 0 0 25 0 4 0 514851149 7418507264 1592838 33554432000 4194304 4650419 140736532931424 18446744073709551615 4230798 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19265/statm: 1811159 1592838 510 112 0 1806124 0
[pid=19265/tid=19266] ppid=19263 vsize=7244636 CPUtime=733.28 cores=0,2,4,6
/proc/19265/task/19266/stat : 19266 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 18272939 0 0 0 68661 4667 0 0 25 0 4 0 514851149 7418507264 1592838 33554432000 4194304 4650419 140736532931424 18446744073709551615 4236891 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19265/tid=19267] ppid=19263 vsize=7244636 CPUtime=739.18 cores=0,2,4,6
/proc/19265/task/19267/stat : 19267 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 38528774 0 0 0 64176 9742 0 0 25 0 4 0 514851149 7418507264 1592838 33554432000 4194304 4650419 140736532931424 18446744073709551615 4231031 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19265/tid=19268] ppid=19263 vsize=7244636 CPUtime=739.75 cores=0,2,4,6
/proc/19265/task/19268/stat : 19268 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 23272798 0 0 0 69671 4304 0 0 25 0 4 0 514851149 7418507264 1592838 33554432000 4194304 4650419 140736532931424 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2957.41
Current children cumulated vsize (KiB) 7244636

[startup+822.3 s]
/proc/loadavg: 8.10 7.94 7.78 9/184 19291
/proc/meminfo: memFree=4192948/32951124 swapFree=67111528/67111528
[pid=19265] ppid=19263 vsize=7443080 CPUtime=3197.08 cores=0,2,4,6
/proc/19265/stat : 19265 (strangenight1-m) R 19263 19265 18832 0 -1 4202496 105446741 0 0 0 294630 25078 0 0 25 0 4 0 514851149 7621713920 1638071 33554432000 4194304 4650419 140736532931424 18446744073709551615 4230557 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19265/statm: 1860770 1638071 510 112 0 1855735 0
[pid=19265/tid=19266] ppid=19263 vsize=7443080 CPUtime=793.28 cores=0,2,4,6
/proc/19265/task/19266/stat : 19266 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 18280146 0 0 0 74660 4668 0 0 25 0 4 0 514851149 7621713920 1638071 33554432000 4194304 4650419 140736532931424 18446744073709551615 4230684 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19265/tid=19267] ppid=19263 vsize=7443080 CPUtime=798.85 cores=0,2,4,6
/proc/19265/task/19267/stat : 19267 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 38535466 0 0 0 70142 9743 0 0 25 0 4 0 514851149 7621713920 1638071 33554432000 4194304 4650419 140736532931424 18446744073709551615 4230784 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19265/tid=19268] ppid=19263 vsize=7443080 CPUtime=799.75 cores=0,2,4,6
/proc/19265/task/19268/stat : 19268 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 23295719 0 0 0 75666 4309 0 0 25 0 4 0 514851149 7621713920 1638071 33554432000 4194304 4650419 140736532931424 18446744073709551615 4364433 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3197.08
Current children cumulated vsize (KiB) 7443080

[startup+882.301 s]
/proc/loadavg: 8.09 7.96 7.80 9/184 19293
/proc/meminfo: memFree=3991732/32951124 swapFree=67111528/67111528
[pid=19265] ppid=19263 vsize=7608972 CPUtime=3436.77 cores=0,2,4,6
/proc/19265/stat : 19265 (strangenight1-m) R 19263 19265 18832 0 -1 4202496 105484126 0 0 0 318594 25083 0 0 25 0 4 0 514851149 7791587328 1671235 33554432000 4194304 4650419 140736532931424 18446744073709551615 4236872 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19265/statm: 1902243 1671235 510 112 0 1897208 0
[pid=19265/tid=19266] ppid=19263 vsize=7608972 CPUtime=853.28 cores=0,2,4,6
/proc/19265/task/19266/stat : 19266 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 18288454 0 0 0 80658 4670 0 0 25 0 4 0 514851149 7791587328 1671235 33554432000 4194304 4650419 140736532931424 18446744073709551615 4236872 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19265/tid=19267] ppid=19263 vsize=7608972 CPUtime=858.54 cores=0,2,4,6
/proc/19265/task/19267/stat : 19267 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 38541219 0 0 0 76110 9744 0 0 25 0 4 0 514851149 7791587328 1671235 33554432000 4194304 4650419 140736532931424 18446744073709551615 4231022 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19265/tid=19268] ppid=19263 vsize=7608972 CPUtime=859.75 cores=0,2,4,6
/proc/19265/task/19268/stat : 19268 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 23314779 0 0 0 81664 4311 0 0 25 0 4 0 514851149 7791587328 1671235 33554432000 4194304 4650419 140736532931424 18446744073709551615 4230580 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3436.77
Current children cumulated vsize (KiB) 7608972

[startup+942.301 s]
/proc/loadavg: 8.07 7.98 7.82 9/184 19295
/proc/meminfo: memFree=3928232/32951124 swapFree=67111528/67111528
[pid=19265] ppid=19263 vsize=7543436 CPUtime=3676.49 cores=0,2,4,6
/proc/19265/stat : 19265 (strangenight1-m) R 19263 19265 18832 0 -1 4202496 105500169 0 0 0 342562 25087 0 0 25 0 4 0 514851149 7724478464 1673369 33554432000 4194304 4650419 140736532931424 18446744073709551615 4230557 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19265/statm: 1885859 1673369 510 112 0 1880824 0
[pid=19265/tid=19266] ppid=19263 vsize=7543436 CPUtime=913.27 cores=0,2,4,6
/proc/19265/task/19266/stat : 19266 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 18291216 0 0 0 86657 4670 0 0 25 0 4 0 514851149 7724478464 1673369 33554432000 4194304 4650419 140736532931424 18446744073709551615 4236891 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19265/tid=19267] ppid=19263 vsize=7543436 CPUtime=918.26 cores=0,2,4,6
/proc/19265/task/19267/stat : 19267 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 38548782 0 0 0 82081 9745 0 0 25 0 4 0 514851149 7724478464 1673369 33554432000 4194304 4650419 140736532931424 18446744073709551615 4236891 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19265/tid=19268] ppid=19263 vsize=7543436 CPUtime=919.75 cores=0,2,4,6
/proc/19265/task/19268/stat : 19268 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 23318649 0 0 0 87663 4312 0 0 25 0 4 0 514851149 7724478464 1673369 33554432000 4194304 4650419 140736532931424 18446744073709551615 4231007 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3676.49
Current children cumulated vsize (KiB) 7543436

[startup+1002.3 s]
/proc/loadavg: 8.06 8.00 7.83 9/184 19296
/proc/meminfo: memFree=3587364/32951124 swapFree=67111528/67111528
[pid=19265] ppid=19263 vsize=7682072 CPUtime=3916.19 cores=0,2,4,6
/proc/19265/stat : 19265 (strangenight1-m) R 19263 19265 18832 0 -1 4202496 105511524 0 0 0 366531 25088 0 0 25 0 4 0 514851149 7866441728 1680631 33554432000 4194304 4650419 140736532931424 18446744073709551615 4236872 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19265/statm: 1920518 1680631 510 112 0 1915483 0
[pid=19265/tid=19266] ppid=19263 vsize=7682072 CPUtime=973.27 cores=0,2,4,6
/proc/19265/task/19266/stat : 19266 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 18294398 0 0 0 92656 4671 0 0 25 0 4 0 514851149 7866441728 1680631 33554432000 4194304 4650419 140736532931424 18446744073709551615 4230784 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19265/tid=19267] ppid=19263 vsize=7682072 CPUtime=977.97 cores=0,2,4,6
/proc/19265/task/19267/stat : 19267 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 38550695 0 0 0 88052 9745 0 0 25 0 4 0 514851149 7866441728 1680631 33554432000 4194304 4650419 140736532931424 18446744073709551615 4231019 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19265/tid=19268] ppid=19263 vsize=7682072 CPUtime=979.76 cores=0,2,4,6
/proc/19265/task/19268/stat : 19268 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 23323322 0 0 0 93663 4313 0 0 25 0 4 0 514851149 7866441728 1680631 33554432000 4194304 4650419 140736532931424 18446744073709551615 4230706 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3916.19
Current children cumulated vsize (KiB) 7682072

[startup+1062.3 s]
/proc/loadavg: 8.02 8.00 7.83 9/184 19298
/proc/meminfo: memFree=3535840/32951124 swapFree=67111528/67111528
[pid=19265] ppid=19263 vsize=7684252 CPUtime=4155.92 cores=0,2,4,6
/proc/19265/stat : 19265 (strangenight1-m) R 19263 19265 18832 0 -1 4202496 105516916 0 0 0 390503 25089 0 0 25 0 4 0 514851149 7868674048 1682509 33554432000 4194304 4650419 140736532931424 18446744073709551615 4230566 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19265/statm: 1921063 1682509 510 112 0 1916028 0
[pid=19265/tid=19266] ppid=19263 vsize=7684252 CPUtime=1033.27 cores=0,2,4,6
/proc/19265/task/19266/stat : 19266 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 18295409 0 0 0 98656 4671 0 0 25 0 4 0 514851149 7868674048 1682509 33554432000 4194304 4650419 140736532931424 18446744073709551615 4230586 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19265/tid=19267] ppid=19263 vsize=7684252 CPUtime=1037.68 cores=0,2,4,6
/proc/19265/task/19267/stat : 19267 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 38551623 0 0 0 94023 9745 0 0 25 0 4 0 514851149 7868674048 1682509 33554432000 4194304 4650419 140736532931424 18446744073709551615 4230555 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19265/tid=19268] ppid=19263 vsize=7684252 CPUtime=1039.76 cores=0,2,4,6
/proc/19265/task/19268/stat : 19268 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 23325523 0 0 0 99663 4313 0 0 25 0 4 0 514851149 7868674048 1682509 33554432000 4194304 4650419 140736532931424 18446744073709551615 4236891 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4155.92
Current children cumulated vsize (KiB) 7684252

[startup+1122.3 s]
/proc/loadavg: 8.05 8.01 7.85 9/184 19299
/proc/meminfo: memFree=3419512/32951124 swapFree=67111528/67111528
[pid=19265] ppid=19263 vsize=7815324 CPUtime=4395.59 cores=0,2,4,6
/proc/19265/stat : 19265 (strangenight1-m) R 19263 19265 18832 0 -1 4202496 106631998 0 0 0 414289 25270 0 0 25 0 4 0 514851149 8002891776 1704738 33554432000 4194304 4650419 140736532931424 18446744073709551615 4231019 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19265/statm: 1953831 1704738 510 112 0 1948796 0
[pid=19265/tid=19266] ppid=19263 vsize=7815324 CPUtime=1093.26 cores=0,2,4,6
/proc/19265/task/19266/stat : 19266 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 19404768 0 0 0 104475 4851 0 0 25 0 4 0 514851149 8002891776 1704738 33554432000 4194304 4650419 140736532931424 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19265/tid=19267] ppid=19263 vsize=7815324 CPUtime=1097.36 cores=0,2,4,6
/proc/19265/task/19267/stat : 19267 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 38556432 0 0 0 99990 9746 0 0 25 0 4 0 514851149 8002891776 1704738 33554432000 4194304 4650419 140736532931424 18446744073709551615 4231019 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19265/tid=19268] ppid=19263 vsize=7815324 CPUtime=1099.76 cores=0,2,4,6
/proc/19265/task/19268/stat : 19268 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 23325936 0 0 0 105663 4313 0 0 25 0 4 0 514851149 8002891776 1704738 33554432000 4194304 4650419 140736532931424 18446744073709551615 4230555 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4395.59
Current children cumulated vsize (KiB) 7815324

[startup+1182.3 s]
/proc/loadavg: 8.18 8.05 7.87 9/184 19301
/proc/meminfo: memFree=2917728/32951124 swapFree=67111528/67111528
[pid=19265] ppid=19263 vsize=8327284 CPUtime=4634.95 cores=0,2,4,6
/proc/19265/stat : 19265 (strangenight1-m) R 19263 19265 18832 0 -1 4202496 110889132 0 0 0 437486 26009 0 0 25 0 4 0 514851149 8527138816 1818381 33554432000 4194304 4650419 140736532931424 18446744073709551615 4450214 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19265/statm: 2081821 1818389 866 112 0 2076786 0
[pid=19265/tid=19266] ppid=19263 vsize=8327284 CPUtime=1153.26 cores=0,2,4,6
/proc/19265/task/19266/stat : 19266 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 23317524 0 0 0 109805 5521 0 0 25 0 4 0 514851149 8527138816 1818430 33554432000 4194304 4650419 140736532931424 18446744073709551615 4441171 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19265/tid=19267] ppid=19263 vsize=8327284 CPUtime=1156.91 cores=0,2,4,6
/proc/19265/task/19267/stat : 19267 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 38885879 0 0 0 105880 9811 0 0 25 0 4 0 514851149 8527138816 1818439 33554432000 4194304 4650419 140736532931424 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19265/tid=19268] ppid=19263 vsize=8327284 CPUtime=1159.68 cores=0,2,4,6
/proc/19265/task/19268/stat : 19268 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 23327270 0 0 0 111654 4314 0 0 25 0 4 0 514851149 8527138816 1818449 33554432000 4194304 4650419 140736532931424 18446744073709551615 4236872 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4634.95
Current children cumulated vsize (KiB) 8327284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1223.8 s]
/proc/loadavg: 8.21 8.07 7.88 9/184 19333
/proc/meminfo: memFree=5426576/32951124 swapFree=67111528/67111528
[pid=19265] ppid=19263 vsize=8503172 CPUtime=4800.2 cores=0,2,4,6
/proc/19265/stat : 19265 (strangenight1-m) R 19263 19265 18832 0 -1 4202496 117629010 0 0 0 452064 27956 0 0 18 0 4 0 514851149 8707248128 1857450 33554432000 4194304 4650419 140736532931424 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19265/statm: 2125793 1857450 1069 112 0 2120758 0
[pid=19265/tid=19266] ppid=19263 vsize=8503172 CPUtime=1194.61 cores=0,2,4,6
/proc/19265/task/19266/stat : 19266 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 27086908 0 0 0 112823 6638 0 0 21 0 4 0 514851149 8707248128 1857450 33554432000 4194304 4650419 140736532931424 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19265/tid=19267] ppid=19263 vsize=8503172 CPUtime=1198.02 cores=0,2,4,6
/proc/19265/task/19267/stat : 19267 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 40987470 0 0 0 109405 10397 0 0 25 0 4 0 514851149 8707248128 1857450 33554432000 4194304 4650419 140736532931424 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19265/tid=19268] ppid=19263 vsize=8503172 CPUtime=1201.03 cores=0,2,4,6
/proc/19265/task/19268/stat : 19268 (strangenight1-m) R 19263 19265 18832 0 -1 4202560 23327492 0 0 0 115789 4314 0 0 25 0 4 0 514851149 8707248128 1857450 33554432000 4194304 4650419 140736532931424 18446744073709551615 4230580 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 8503172

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

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

[startup+1224 s]
/proc/loadavg: 8.21 8.07 7.88 9/184 19333
/proc/meminfo: memFree=5426576/32951124 swapFree=67111528/67111528
[pid=19265] ppid=19263 vsize=0 CPUtime=4800.42 cores=0,2,4,6
/proc/19265/stat : 19265 (strangenight1-m) Z 19263 19265 18832 0 -1 4203548 117629010 0 0 0 452067 27975 0 0 18 0 2 0 514851149 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19265/statm: 0 0 0 0 0 0 0
[pid=19265/tid=19267] ppid=19263 vsize=0 CPUtime=1198.22 cores=0,2,4,6
/proc/19265/task/19267/stat : 19267 (strangenight1-m) R 19263 19265 18832 0 -1 4203588 40987470 0 0 0 109406 10416 0 0 25 0 2 0 514851149 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.42
Current children cumulated vsize (KiB) 0

[startup+1224.1 s]
/proc/loadavg: 8.21 8.07 7.88 7/183 19334
/proc/meminfo: memFree=11630304/32951124 swapFree=67111528/67111528
[pid=19265] ppid=19263 vsize=0 CPUtime=4800.53 cores=0,2,4,6
/proc/19265/stat : 19265 (strangenight1-m) Z 19263 19265 18832 0 -1 4203548 117629010 0 0 0 452067 27986 0 0 18 0 2 0 514851149 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/19265/statm: 0 0 0 0 0 0 0
[pid=19265/tid=19267] ppid=19263 vsize=0 CPUtime=1198.33 cores=0,2,4,6
/proc/19265/task/19267/stat : 19267 (strangenight1-m) R 19263 19265 18832 0 -1 4203588 40987470 0 0 0 109406 10427 0 0 25 0 2 0 514851149 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.53
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1224.15
CPU time (s): 4800.58
CPU user time (s): 4520.67
CPU system time (s): 279.909
CPU usage (%): 392.155
Max. virtual memory (cumulated for all children) (KiB): 8606584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4520.67
system time used= 279.909
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117629010
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= 578261
involuntary context switches= 23228

runsolver used 2.00469 second user time and 4.6323 second system time

The end

Launcher Data 

Begin job on node108 at 2011-04-29 01:15:02
IDJOB=3281378
IDBENCH=20582
IDSOLVER=1588
FILE ID=node108/3281378-1304032493
RUNJOBID= node108-1304032493-19242
PBS_JOBID= 13170344
Free space on /tmp= 71688 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT07/industrial/vliw_sat_4.0/9vliw_m_9stages_iq3_C1_bug5.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3281378-1304032493/watcher-3281378-1304032493 -o /tmp/evaluation-result-3281378-1304032493/solver-3281378-1304032493 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3281378-1304032493.cnf

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

MD5SUM BENCH= c77a56af24208a6401c763e11a38de01
RANDOM SEED=1473553948

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:      12489448 kB
Buffers:       2294780 kB
Cached:       16545972 kB
SwapCached:          0 kB
Active:       11689564 kB
Inactive:      8184452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12489448 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:          451532 kB
Writeback:           0 kB
AnonPages:     1032296 kB
Mapped:          15420 kB
Slab:           522880 kB
PageTables:       6700 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1353588 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= 71784 MiB
End job on node108 at 2011-04-29 01:35:28