Trace number 3367283

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) 4800.44 1204.68

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E00N23.cnf
MD5SUM1a1f0dddf727883e0973677dd00e9269
Bench CategoryAPPLICATION (applications 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 variables15364
Number of clauses2210893
Sum of the clauses size20370578
Maximum clause length105
Minimum clause length1
Number of clauses of size 128
Number of clauses of size 241189
Number of clauses of size 336730
Number of clauses of size 432798
Number of clauses of size 5188784
Number of clauses of size over 51911364

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 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3367283-1305415060.cnf'
0.00/0.00	c -- header says num vars:          15364
0.00/0.00	c -- header says num clauses:     2210893
3.91/1.11	c -- clauses added:            0 learnts,      2210893 normals,            0 xors
3.91/1.11	c -- vars added      15364
3.91/1.11	c Parsing time:  0.99 s
3.91/1.11	c  N st     0         0     15364   2169520     39444         0  20327211         0   no data   no data
5.89/1.50	c asymm  cl-useful: 0/4577/2168587 lits-rem:0 time: 0.29
32.60/8.21	c Flit:    20 Blit:      0 bXBeca:    0 bXProp:  136 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T:  6.69
42.96/10.89	c Replacing      136 vars Replaced  1510727 lits Time:     2.66 s 
47.29/11.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.29/11.94	c bin-w-bin subsume rem          706 bins  time:  0.00 s
55.25/13.90	c subs with bin:     6661  lits-rem:       241  v-fix:    0  time:  1.96 s
55.25/13.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2881 time:  0.02 s
55.25/13.95	c Removed useless bin:       0  fixed:     0  props:   3.91M  time:  0.03 s
3431.60/861.12	c lits-rem:         0  cl-subs:    21348  v-elim:   1112  v-fix:    0  time: 846.95 s
3431.60/861.14	c Finding binary XORs  T:     0.02 s  found:       0
3432.00/861.24	c calculated reachability. Time: 0.00
3432.41/861.32	c Calc default polars -  time:   0.07 s pos:     430 undec:    2220 neg:   12714
3432.41/861.32	c =========================================================================================
3432.41/861.32	c types(t): F = full restart, N = normal restart
3432.41/861.32	c types(t): S = simplification begin/end, E = solution found
3432.41/861.32	c restart types(rt): st = static, dy = dynamic
3432.41/861.32	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3432.41/861.32	c  B st     0         0     13144   2141932     34626         0  19740814         0   no data   no data
3439.56/863.15	c  N dy    20      4199     13137   2141932     34720      4036  19740814    162281      9.09      9.67
3447.93/865.29	c  N dy    48      8270     13136   2141932     35626      7984  19740814    325814      9.42      9.93
3451.50/866.17	c Finding binary XORs  T:     0.02 s  found:       3
3454.75/866.99	c  N dy    69     12279     13131   2133537     35633     11861  19693741    483290      9.30     13.12
3461.07/868.50	c  N dy    94     16340     13130   2133537     35716     15811  19693741    663020      9.29     10.46
3469.84/870.70	c  N dy   119     20377     13130   2133537     35880     10069  19693741    207143      9.37      9.87
3474.63/871.95	c  N dy   151     24394     13129   2133537     36051     14000  19693741    366311      9.66     18.59
3475.83/872.25	c  F st   156     25000     13129   2133537     36056     14596  19693741    402323      9.67   no data
3476.67/872.42	c Replacing        3 vars Replaced      456 lits Time:     0.09 s 
3486.18/874.85	c  N dy   162     30001     13125   2133533     36096     19438  19693690    642067      9.67   no data
3486.18/874.85	c  S st   162     30001     13125   2133533     36096     19438  19693690    642067      9.67   no data
3494.55/876.94	c Finding binary XORs  T:     0.02 s  found:       0
3496.16/877.36	c  S st   162     30504     13121   2133529     36402     19849  19693650    651332      9.67   no data
3496.56/877.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
3534.40/886.95	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:    0 Bins: 411361 BRemL: 233103 BRemN:      0 P: 200.0M T:  9.49
3537.21/887.66	c blocked clauses removed:        0 vars:      0 tried:       13119 T: 0.01 s
3537.21/887.68	c bin-w-bin subsume rem          540 bins  time:  0.02 s
3568.74/895.56	c subs with bin:     7925  lits-rem:    138647  v-fix:    0  time:  7.88 s
3569.08/895.64	c Subs w/ non-existent bins:    861 l-rem:      0 v-fix:     0 done:    131 time:  0.07 s
3569.08/895.69	c Removed useless bin:      15  fixed:     0  props:   1.29M  time:  0.02 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3367283-1305415060/watcher-3367283-1305415060 -o /tmp/evaluation-result-3367283-1305415060/solver-3367283-1305415060 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367283-1305415060.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: 3.55 4.50 6.04 5/416 9119
/proc/meminfo: memFree=20903848/32950940 swapFree=67111356/67111528
[pid=9119] ppid=9117 vsize=208560 CPUtime=0 cores=0,2,4,6
/proc/9119/stat : 9119 (strangenight2-m) R 9117 9119 8585 0 -1 4202496 1714 0 0 0 0 0 0 0 24 0 4 0 731737096 213565440 1642 33554432000 4194304 4580107 140736765576384 18446744073709551615 4489474 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9119/statm: 52140 1653 336 95 0 47122 0
[pid=9119/tid=9120] ppid=9117 vsize=218004 CPUtime=0 cores=0,2,4,6
/proc/9119/task/9120/stat : 9120 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 561 0 0 0 0 0 0 0 25 0 4 0 731737096 223236096 2848 33554432000 4194304 4580107 140736765576384 18446744073709551615 215988697582 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9119/tid=9121] ppid=9117 vsize=218004 CPUtime=0 cores=0,2,4,6
/proc/9119/task/9121/stat : 9121 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 619 0 0 0 0 0 0 0 25 0 4 0 731737096 223236096 2850 33554432000 4194304 4580107 140736765576384 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9119/tid=9122] ppid=9117 vsize=218004 CPUtime=0 cores=0,2,4,6
/proc/9119/task/9122/stat : 9122 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 612 0 0 0 0 0 0 0 25 0 4 0 731737096 223236096 2852 33554432000 4194304 4580107 140736765576384 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0672461 s]
/proc/loadavg: 3.55 4.50 6.04 5/416 9119
/proc/meminfo: memFree=20903848/32950940 swapFree=67111356/67111528
[pid=9119] ppid=9117 vsize=220024 CPUtime=0.23 cores=0,2,4,6
/proc/9119/stat : 9119 (strangenight2-m) R 9117 9119 8585 0 -1 4202496 7505 0 0 0 22 1 0 0 24 0 4 0 731737096 225304576 7433 33554432000 4194304 4580107 140736765576384 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9119/statm: 55006 7435 337 95 0 49988 0
[pid=9119/tid=9120] ppid=9117 vsize=220024 CPUtime=0.05 cores=0,2,4,6
/proc/9119/task/9120/stat : 9120 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 1678 0 0 0 5 0 0 0 25 0 4 0 731737096 225304576 7436 33554432000 4194304 4580107 140736765576384 18446744073709551615 4253000 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9119/tid=9121] ppid=9117 vsize=220024 CPUtime=0.05 cores=0,2,4,6
/proc/9119/task/9121/stat : 9121 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 1744 0 0 0 5 0 0 0 25 0 4 0 731737096 225304576 7438 33554432000 4194304 4580107 140736765576384 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9119/tid=9122] ppid=9117 vsize=220024 CPUtime=0.05 cores=0,2,4,6
/proc/9119/task/9122/stat : 9122 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 1782 0 0 0 5 0 0 0 25 0 4 0 731737096 225304576 7439 33554432000 4194304 4580107 140736765576384 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 220024

[startup+0.100241 s]
/proc/loadavg: 3.55 4.50 6.04 5/416 9119
/proc/meminfo: memFree=20903848/32950940 swapFree=67111356/67111528
[pid=9119] ppid=9117 vsize=221200 CPUtime=0.37 cores=0,2,4,6
/proc/9119/stat : 9119 (strangenight2-m) R 9117 9119 8585 0 -1 4202496 10554 0 0 0 35 2 0 0 24 0 4 0 731737096 226508800 10482 33554432000 4194304 4580107 140736765576384 18446744073709551615 215988592443 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9119/statm: 55300 10484 337 95 0 50282 0
[pid=9119/tid=9120] ppid=9117 vsize=221200 CPUtime=0.08 cores=0,2,4,6
/proc/9119/task/9120/stat : 9120 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 2446 0 0 0 8 0 0 0 25 0 4 0 731737096 226508800 10485 33554432000 4194304 4580107 140736765576384 18446744073709551615 4253214 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9119/tid=9121] ppid=9117 vsize=221200 CPUtime=0.08 cores=0,2,4,6
/proc/9119/task/9121/stat : 9121 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 2499 0 0 0 8 0 0 0 25 0 4 0 731737096 226508800 10486 33554432000 4194304 4580107 140736765576384 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9119/tid=9122] ppid=9117 vsize=221200 CPUtime=0.08 cores=0,2,4,6
/proc/9119/task/9122/stat : 9122 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 2539 0 0 0 8 0 0 0 25 0 4 0 731737096 226508800 10487 33554432000 4194304 4580107 140736765576384 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 221200

[startup+0.302249 s]
/proc/loadavg: 3.55 4.50 6.04 5/416 9119
/proc/meminfo: memFree=20903848/32950940 swapFree=67111356/67111528
[pid=9119] ppid=9117 vsize=462928 CPUtime=1.15 cores=0,2,4,6
/proc/9119/stat : 9119 (strangenight2-m) R 9117 9119 8585 0 -1 4202496 44723 0 0 0 105 10 0 0 18 0 4 0 731737096 474038272 43894 33554432000 4194304 4580107 140736765576384 18446744073709551615 4355016 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9119/statm: 116238 46509 338 95 0 111220 0
[pid=9119/tid=9120] ppid=9117 vsize=464952 CPUtime=0.29 cores=0,2,4,6
/proc/9119/task/9120/stat : 9120 (strangenight2-m) D 9117 9119 8585 0 -1 4202560 11539 0 0 0 27 2 0 0 18 0 4 0 731737096 476110848 46509 33554432000 4194304 4580107 140736765576384 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9119/tid=9121] ppid=9117 vsize=464952 CPUtime=0.29 cores=0,2,4,6
/proc/9119/task/9121/stat : 9121 (strangenight2-m) D 9117 9119 8585 0 -1 4202560 11817 0 0 0 27 2 0 0 25 0 4 0 731737096 476110848 46509 33554432000 4194304 4580107 140736765576384 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9119/tid=9122] ppid=9117 vsize=464952 CPUtime=0.3 cores=0,2,4,6
/proc/9119/task/9122/stat : 9122 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 11590 0 0 0 28 2 0 0 18 0 4 0 731737096 476110848 46509 33554432000 4194304 4580107 140736765576384 18446744073709551615 215988650410 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 462928

[startup+0.705385 s]
/proc/loadavg: 3.55 4.50 6.04 5/416 9119
/proc/meminfo: memFree=20903848/32950940 swapFree=67111356/67111528
[pid=9119] ppid=9117 vsize=1064200 CPUtime=2.76 cores=0,2,4,6
/proc/9119/stat : 9119 (strangenight2-m) S 9117 9119 8585 0 -1 4202496 109826 0 0 0 252 24 0 0 18 0 4 0 731737096 1089740800 108879 33554432000 4194304 4580107 140736765576384 18446744073709551615 215988697582 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9119/statm: 266098 108928 338 95 0 261080 0
[pid=9119/tid=9120] ppid=9117 vsize=1064392 CPUtime=0.67 cores=0,2,4,6
/proc/9119/task/9120/stat : 9120 (strangenight2-m) S 9117 9119 8585 0 -1 4202560 27446 0 0 0 63 4 0 0 18 0 4 0 731737096 1089937408 108939 33554432000 4194304 4580107 140736765576384 18446744073709551615 215988697582 0 0 4096 2 18446604442424669504 0 0 -1 6 0 0 0
[pid=9119/tid=9121] ppid=9117 vsize=1064580 CPUtime=0.68 cores=0,2,4,6
/proc/9119/task/9121/stat : 9121 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 27467 0 0 0 63 5 0 0 25 0 4 0 731737096 1090129920 108970 33554432000 4194304 4580107 140736765576384 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9119/tid=9122] ppid=9117 vsize=1064580 CPUtime=0.68 cores=0,2,4,6
/proc/9119/task/9122/stat : 9122 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 27106 0 0 0 63 5 0 0 18 0 4 0 731737096 1090129920 108990 33554432000 4194304 4580107 140736765576384 18446744073709551615 215988253729 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 1064200

[startup+1.501 s]
/proc/loadavg: 3.55 4.50 6.04 9/420 9123
/proc/meminfo: memFree=19982992/32950940 swapFree=67111356/67111528
[pid=9119] ppid=9117 vsize=1284800 CPUtime=5.89 cores=0,2,4,6
/proc/9119/stat : 9119 (strangenight2-m) R 9117 9119 8585 0 -1 4202496 190213 0 0 0 550 39 0 0 19 0 4 0 731737096 1315635200 189266 33554432000 4194304 4580107 140736765576384 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9119/statm: 321200 189266 359 95 0 316182 0
[pid=9119/tid=9120] ppid=9117 vsize=1284800 CPUtime=1.45 cores=0,2,4,6
/proc/9119/task/9120/stat : 9120 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 47602 0 0 0 137 8 0 0 19 0 4 0 731737096 1315635200 189266 33554432000 4194304 4580107 140736765576384 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9119/tid=9121] ppid=9117 vsize=1284800 CPUtime=1.47 cores=0,2,4,6
/proc/9119/task/9121/stat : 9121 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 46785 0 0 0 138 9 0 0 25 0 4 0 731737096 1315635200 189266 33554432000 4194304 4580107 140736765576384 18446744073709551615 4293292 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9119/tid=9122] ppid=9117 vsize=1284800 CPUtime=1.47 cores=0,2,4,6
/proc/9119/task/9122/stat : 9122 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 48165 0 0 0 138 9 0 0 19 0 4 0 731737096 1315635200 189266 33554432000 4194304 4580107 140736765576384 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 1284800

[startup+3.10072 s]
/proc/loadavg: 4.07 4.59 6.06 9/420 9123
/proc/meminfo: memFree=19877324/32950940 swapFree=67111356/67111528
[pid=9119] ppid=9117 vsize=1305588 CPUtime=12.27 cores=0,2,4,6
/proc/9119/stat : 9119 (strangenight2-m) R 9117 9119 8585 0 -1 4202496 207223 0 0 0 1183 44 0 0 23 0 4 0 731737096 1336922112 206276 33554432000 4194304 4580107 140736765576384 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9119/statm: 326397 206276 360 95 0 321379 0
[pid=9119/tid=9120] ppid=9117 vsize=1305588 CPUtime=3.03 cores=0,2,4,6
/proc/9119/task/9120/stat : 9120 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 52151 0 0 0 295 8 0 0 18 0 4 0 731737096 1336922112 206276 33554432000 4194304 4580107 140736765576384 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9119/tid=9121] ppid=9117 vsize=1305588 CPUtime=3.06 cores=0,2,4,6
/proc/9119/task/9121/stat : 9121 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 51337 0 0 0 295 11 0 0 25 0 4 0 731737096 1336922112 206276 33554432000 4194304 4580107 140736765576384 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9119/tid=9122] ppid=9117 vsize=1305588 CPUtime=3.07 cores=0,2,4,6
/proc/9119/task/9122/stat : 9122 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 51477 0 0 0 296 11 0 0 23 0 4 0 731737096 1336922112 206276 33554432000 4194304 4580107 140736765576384 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 1305588

[startup+6.30116 s]
/proc/loadavg: 4.07 4.59 6.06 9/420 9123
/proc/meminfo: memFree=19829000/32950940 swapFree=67111356/67111528
[pid=9119] ppid=9117 vsize=1311952 CPUtime=25.03 cores=0,2,4,6
/proc/9119/stat : 9119 (strangenight2-m) R 9117 9119 8585 0 -1 4202496 214639 0 0 0 2456 47 0 0 25 0 4 0 731737096 1343438848 213692 33554432000 4194304 4580107 140736765576384 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9119/statm: 327988 213694 361 95 0 322970 0
[pid=9119/tid=9120] ppid=9117 vsize=1311952 CPUtime=6.19 cores=0,2,4,6
/proc/9119/task/9120/stat : 9120 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 53739 0 0 0 610 9 0 0 25 0 4 0 731737096 1343438848 213694 33554432000 4194304 4580107 140736765576384 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9119/tid=9121] ppid=9117 vsize=1311952 CPUtime=6.27 cores=0,2,4,6
/proc/9119/task/9121/stat : 9121 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 53145 0 0 0 614 13 0 0 25 0 4 0 731737096 1343438848 213694 33554432000 4194304 4580107 140736765576384 18446744073709551615 215988289728 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9119/tid=9122] ppid=9117 vsize=1311952 CPUtime=6.27 cores=0,2,4,6
/proc/9119/task/9122/stat : 9122 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 53163 0 0 0 616 11 0 0 25 0 4 0 731737096 1343438848 213694 33554432000 4194304 4580107 140736765576384 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.03
Current children cumulated vsize (KiB) 1311952

[startup+12.701 s]
/proc/loadavg: 4.67 4.70 6.09 10/420 9124
/proc/meminfo: memFree=18411460/32950940 swapFree=67111356/67111528
[pid=9119] ppid=9117 vsize=2816484 CPUtime=50.46 cores=0,2,4,6
/proc/9119/stat : 9119 (strangenight2-m) R 9117 9119 8585 0 -1 4202496 570619 0 0 0 4933 113 0 0 19 0 4 0 731737096 2884079616 569594 33554432000 4194304 4580107 140736765576384 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9119/statm: 704121 569594 372 95 0 699103 0
[pid=9119/tid=9120] ppid=9117 vsize=2816484 CPUtime=12.5 cores=0,2,4,6
/proc/9119/task/9120/stat : 9120 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 172120 0 0 0 1219 31 0 0 19 0 4 0 731737096 2884079616 569594 33554432000 4194304 4580107 140736765576384 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9119/tid=9121] ppid=9117 vsize=2816484 CPUtime=12.64 cores=0,2,4,6
/proc/9119/task/9121/stat : 9121 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 171116 0 0 0 1232 32 0 0 19 0 4 0 731737096 2884079616 569594 33554432000 4194304 4580107 140736765576384 18446744073709551615 4406443 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9119/tid=9122] ppid=9117 vsize=2816484 CPUtime=12.63 cores=0,2,4,6
/proc/9119/task/9122/stat : 9122 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 54657 0 0 0 1251 12 0 0 18 0 4 0 731737096 2884079616 569594 33554432000 4194304 4580107 140736765576384 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.46
Current children cumulated vsize (KiB) 2816484

[startup+25.5008 s]
/proc/loadavg: 5.18 4.81 6.11 9/420 9124
/proc/meminfo: memFree=18124656/32950940 swapFree=67111356/67111528
[pid=9119] ppid=9117 vsize=2982588 CPUtime=101.47 cores=0,2,4,6
/proc/9119/stat : 9119 (strangenight2-m) R 9117 9119 8585 0 -1 4202496 611275 0 0 0 10026 121 0 0 25 0 4 0 731737096 3054170112 609848 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9119/statm: 745647 609848 376 95 0 740629 0
[pid=9119/tid=9120] ppid=9117 vsize=2982588 CPUtime=25.3 cores=0,2,4,6
/proc/9119/task/9120/stat : 9120 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 184960 0 0 0 2497 33 0 0 25 0 4 0 731737096 3054170112 609848 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9119/tid=9121] ppid=9117 vsize=2982588 CPUtime=25.45 cores=0,2,4,6
/proc/9119/task/9121/stat : 9121 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 183939 0 0 0 2510 35 0 0 25 0 4 0 731737096 3054170112 609848 33554432000 4194304 4580107 140736765576384 18446744073709551615 4452185 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9119/tid=9122] ppid=9117 vsize=2982588 CPUtime=25.23 cores=0,2,4,6
/proc/9119/task/9122/stat : 9122 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 56851 0 0 0 2510 13 0 0 25 0 4 0 731737096 3054170112 609848 33554432000 4194304 4580107 140736765576384 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 2982588

[startup+51.1013 s]
/proc/loadavg: 6.14 5.07 6.15 9/420 9125
/proc/meminfo: memFree=17578292/32950940 swapFree=67111356/67111528
[pid=9119] ppid=9117 vsize=3515364 CPUtime=203.5 cores=0,2,4,6
/proc/9119/stat : 9119 (strangenight2-m) R 9117 9119 8585 0 -1 4202496 736809 0 0 0 20207 143 0 0 25 0 4 0 731737096 3599732736 734452 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9119/statm: 878841 734452 376 95 0 873823 0
[pid=9119/tid=9120] ppid=9117 vsize=3515364 CPUtime=50.9 cores=0,2,4,6
/proc/9119/task/9120/stat : 9120 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 184960 0 0 0 5057 33 0 0 25 0 4 0 731737096 3599732736 734452 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9119/tid=9121] ppid=9117 vsize=3515364 CPUtime=51.05 cores=0,2,4,6
/proc/9119/task/9121/stat : 9121 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 183939 0 0 0 5070 35 0 0 25 0 4 0 731737096 3599732736 734452 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451672 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9119/tid=9122] ppid=9117 vsize=3515364 CPUtime=50.47 cores=0,2,4,6
/proc/9119/task/9122/stat : 9122 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 182374 0 0 0 5012 35 0 0 25 0 4 0 731737096 3599732736 734452 33554432000 4194304 4580107 140736765576384 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.5
Current children cumulated vsize (KiB) 3515364

[startup+102.301 s]
/proc/loadavg: 7.29 5.57 6.26 9/420 9126
/proc/meminfo: memFree=17531304/32950940 swapFree=67111356/67111528
[pid=9119] ppid=9117 vsize=3515364 CPUtime=407.57 cores=0,2,4,6
/proc/9119/stat : 9119 (strangenight2-m) R 9117 9119 8585 0 -1 4202496 736809 0 0 0 40614 143 0 0 25 0 4 0 731737096 3599732736 734452 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9119/statm: 878841 734452 376 95 0 873823 0
[pid=9119/tid=9120] ppid=9117 vsize=3515364 CPUtime=102.12 cores=0,2,4,6
/proc/9119/task/9120/stat : 9120 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 184960 0 0 0 10179 33 0 0 25 0 4 0 731737096 3599732736 734452 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9119/tid=9121] ppid=9117 vsize=3515364 CPUtime=102.26 cores=0,2,4,6
/proc/9119/task/9121/stat : 9121 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 183939 0 0 0 10191 35 0 0 25 0 4 0 731737096 3599732736 734452 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9119/tid=9122] ppid=9117 vsize=3515364 CPUtime=100.93 cores=0,2,4,6
/proc/9119/task/9122/stat : 9122 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 182374 0 0 0 10058 35 0 0 25 0 4 0 731737096 3599732736 734452 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.57
Current children cumulated vsize (KiB) 3515364

[startup+162.301 s]

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


[startup+702.301 s]
/proc/loadavg: 8.19 7.78 7.12 9/420 9172
/proc/meminfo: memFree=17709104/32950940 swapFree=67111356/67111528
[pid=9119] ppid=9117 vsize=3515364 CPUtime=2798.73 cores=0,2,4,6
/proc/9119/stat : 9119 (strangenight2-m) R 9117 9119 8585 0 -1 4202496 736816 0 0 0 279728 145 0 0 25 0 4 0 731737096 3599732736 734459 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9119/statm: 878841 734459 376 95 0 873823 0
[pid=9119/tid=9120] ppid=9117 vsize=3515364 CPUtime=702.12 cores=0,2,4,6
/proc/9119/task/9120/stat : 9120 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 184960 0 0 0 70178 34 0 0 25 0 4 0 731737096 3599732736 734459 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9119/tid=9121] ppid=9117 vsize=3515364 CPUtime=702.26 cores=0,2,4,6
/proc/9119/task/9121/stat : 9121 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 183939 0 0 0 70190 36 0 0 25 0 4 0 731737096 3599732736 734459 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9119/tid=9122] ppid=9117 vsize=3515364 CPUtime=692.22 cores=0,2,4,6
/proc/9119/task/9122/stat : 9122 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 182374 0 0 0 69186 36 0 0 25 0 4 0 731737096 3599732736 734459 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2798.73
Current children cumulated vsize (KiB) 3515364

[startup+762.301 s]
/proc/loadavg: 8.23 7.87 7.19 9/420 9174
/proc/meminfo: memFree=17690876/32950940 swapFree=67111356/67111528
[pid=9119] ppid=9117 vsize=3515364 CPUtime=3037.88 cores=0,2,4,6
/proc/9119/stat : 9119 (strangenight2-m) R 9117 9119 8585 0 -1 4202496 736816 0 0 0 303643 145 0 0 25 0 4 0 731737096 3599732736 734459 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9119/statm: 878841 734459 376 95 0 873823 0
[pid=9119/tid=9120] ppid=9117 vsize=3515364 CPUtime=762.13 cores=0,2,4,6
/proc/9119/task/9120/stat : 9120 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 184960 0 0 0 76179 34 0 0 25 0 4 0 731737096 3599732736 734459 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9119/tid=9121] ppid=9117 vsize=3515364 CPUtime=762.28 cores=0,2,4,6
/proc/9119/task/9121/stat : 9121 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 183939 0 0 0 76192 36 0 0 25 0 4 0 731737096 3599732736 734459 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9119/tid=9122] ppid=9117 vsize=3515364 CPUtime=751.36 cores=0,2,4,6
/proc/9119/task/9122/stat : 9122 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 182374 0 0 0 75100 36 0 0 25 0 4 0 731737096 3599732736 734459 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3037.88
Current children cumulated vsize (KiB) 3515364

[startup+822.3 s]
/proc/loadavg: 8.16 7.90 7.24 9/420 9175
/proc/meminfo: memFree=17679112/32950940 swapFree=67111356/67111528
[pid=9119] ppid=9117 vsize=3515364 CPUtime=3276.96 cores=0,2,4,6
/proc/9119/stat : 9119 (strangenight2-m) R 9117 9119 8585 0 -1 4202496 736816 0 0 0 327551 145 0 0 25 0 4 0 731737096 3599732736 734459 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9119/statm: 878841 734459 376 95 0 873823 0
[pid=9119/tid=9120] ppid=9117 vsize=3515364 CPUtime=822.12 cores=0,2,4,6
/proc/9119/task/9120/stat : 9120 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 184960 0 0 0 82178 34 0 0 25 0 4 0 731737096 3599732736 734459 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451708 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9119/tid=9121] ppid=9117 vsize=3515364 CPUtime=822.26 cores=0,2,4,6
/proc/9119/task/9121/stat : 9121 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 183939 0 0 0 82190 36 0 0 25 0 4 0 731737096 3599732736 734459 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9119/tid=9122] ppid=9117 vsize=3515364 CPUtime=810.48 cores=0,2,4,6
/proc/9119/task/9122/stat : 9122 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 182374 0 0 0 81012 36 0 0 25 0 4 0 731737096 3599732736 734459 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3276.96
Current children cumulated vsize (KiB) 3515364

[startup+882.316 s]
/proc/loadavg: 8.11 7.94 7.29 9/420 9177
/proc/meminfo: memFree=17711768/32950940 swapFree=67111356/67111528
[pid=9119] ppid=9117 vsize=3478116 CPUtime=3516.14 cores=0,2,4,6
/proc/9119/stat : 9119 (strangenight2-m) R 9117 9119 8585 0 -1 4202496 793946 0 0 0 351451 163 0 0 25 0 4 0 731737096 3561590784 710793 33554432000 4194304 4580107 140736765576384 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9119/statm: 869529 710793 377 95 0 864511 0
[pid=9119/tid=9120] ppid=9117 vsize=3478116 CPUtime=882.13 cores=0,2,4,6
/proc/9119/task/9120/stat : 9120 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 203518 0 0 0 88173 40 0 0 25 0 4 0 731737096 3561590784 710793 33554432000 4194304 4580107 140736765576384 18446744073709551615 4292952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9119/tid=9121] ppid=9117 vsize=3478116 CPUtime=882.26 cores=0,2,4,6
/proc/9119/task/9121/stat : 9121 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 205753 0 0 0 88183 43 0 0 25 0 4 0 731737096 3561590784 710793 33554432000 4194304 4580107 140736765576384 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9119/tid=9122] ppid=9117 vsize=3478116 CPUtime=869.64 cores=0,2,4,6
/proc/9119/task/9122/stat : 9122 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 182374 0 0 0 86928 36 0 0 25 0 4 0 731737096 3561590784 710793 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451807 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3516.14
Current children cumulated vsize (KiB) 3478116

[startup+942.3 s]
/proc/loadavg: 8.16 7.98 7.34 9/420 9178
/proc/meminfo: memFree=17467064/32950940 swapFree=67111356/67111528
[pid=9119] ppid=9117 vsize=3637928 CPUtime=3755.22 cores=0,2,4,6
/proc/9119/stat : 9119 (strangenight2-m) R 9117 9119 8585 0 -1 4202496 873573 0 0 0 375346 176 0 0 25 0 4 0 731737096 3725238272 757538 33554432000 4194304 4580107 140736765576384 18446744073709551615 4406440 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9119/statm: 909482 757538 377 95 0 904464 0
[pid=9119/tid=9120] ppid=9117 vsize=3637928 CPUtime=942.1 cores=0,2,4,6
/proc/9119/task/9120/stat : 9120 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 220846 0 0 0 94168 42 0 0 25 0 4 0 731737096 3725238272 757538 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9119/tid=9121] ppid=9117 vsize=3637928 CPUtime=942.23 cores=0,2,4,6
/proc/9119/task/9121/stat : 9121 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 220943 0 0 0 94177 46 0 0 25 0 4 0 731737096 3725238272 757538 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9119/tid=9122] ppid=9117 vsize=3637928 CPUtime=928.79 cores=0,2,4,6
/proc/9119/task/9122/stat : 9122 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 214097 0 0 0 92837 42 0 0 25 0 4 0 731737096 3725238272 757538 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451678 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3755.22
Current children cumulated vsize (KiB) 3637928

[startup+1002.3 s]
/proc/loadavg: 8.15 8.01 7.39 9/420 9180
/proc/meminfo: memFree=17510920/32950940 swapFree=67111356/67111528
[pid=9119] ppid=9117 vsize=3637928 CPUtime=3994.33 cores=0,2,4,6
/proc/9119/stat : 9119 (strangenight2-m) R 9117 9119 8585 0 -1 4202496 873637 0 0 0 399256 177 0 0 25 0 4 0 731737096 3725238272 757602 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9119/statm: 909482 757602 377 95 0 904464 0
[pid=9119/tid=9120] ppid=9117 vsize=3637928 CPUtime=1002.11 cores=0,2,4,6
/proc/9119/task/9120/stat : 9120 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 220863 0 0 0 100169 42 0 0 25 0 4 0 731737096 3725238272 757602 33554432000 4194304 4580107 140736765576384 18446744073709551615 4406400 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9119/tid=9121] ppid=9117 vsize=3637928 CPUtime=1002.23 cores=0,2,4,6
/proc/9119/task/9121/stat : 9121 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 220990 0 0 0 100177 46 0 0 25 0 4 0 731737096 3725238272 757602 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9119/tid=9122] ppid=9117 vsize=3637928 CPUtime=987.92 cores=0,2,4,6
/proc/9119/task/9122/stat : 9122 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 214097 0 0 0 98750 42 0 0 25 0 4 0 731737096 3725238272 757602 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451678 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3994.33
Current children cumulated vsize (KiB) 3637928

[startup+1062.3 s]
/proc/loadavg: 8.11 8.02 7.43 9/420 9182
/proc/meminfo: memFree=17511868/32950940 swapFree=67111356/67111528
[pid=9119] ppid=9117 vsize=3637928 CPUtime=4233.46 cores=0,2,4,6
/proc/9119/stat : 9119 (strangenight2-m) R 9117 9119 8585 0 -1 4202496 873651 0 0 0 423169 177 0 0 25 0 4 0 731737096 3725238272 757616 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9119/statm: 909482 757616 377 95 0 904464 0
[pid=9119/tid=9120] ppid=9117 vsize=3637928 CPUtime=1062.11 cores=0,2,4,6
/proc/9119/task/9120/stat : 9120 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 220870 0 0 0 106168 43 0 0 25 0 4 0 731737096 3725238272 757616 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9119/tid=9121] ppid=9117 vsize=3637928 CPUtime=1062.23 cores=0,2,4,6
/proc/9119/task/9121/stat : 9121 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 220997 0 0 0 106177 46 0 0 25 0 4 0 731737096 3725238272 757616 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9119/tid=9122] ppid=9117 vsize=3637928 CPUtime=1047.05 cores=0,2,4,6
/proc/9119/task/9122/stat : 9122 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 214097 0 0 0 104663 42 0 0 25 0 4 0 731737096 3725238272 757616 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4233.46
Current children cumulated vsize (KiB) 3637928

[startup+1122.3 s]
/proc/loadavg: 8.04 8.01 7.47 9/420 9183
/proc/meminfo: memFree=17498320/32950940 swapFree=67111356/67111528
[pid=9119] ppid=9117 vsize=3637928 CPUtime=4472.57 cores=0,2,4,6
/proc/9119/stat : 9119 (strangenight2-m) R 9117 9119 8585 0 -1 4202496 873660 0 0 0 447080 177 0 0 25 0 4 0 731737096 3725238272 757625 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9119/statm: 909482 757625 377 95 0 904464 0
[pid=9119/tid=9120] ppid=9117 vsize=3637928 CPUtime=1122.11 cores=0,2,4,6
/proc/9119/task/9120/stat : 9120 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 220873 0 0 0 112168 43 0 0 25 0 4 0 731737096 3725238272 757625 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9119/tid=9121] ppid=9117 vsize=3637928 CPUtime=1122.23 cores=0,2,4,6
/proc/9119/task/9121/stat : 9121 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 221003 0 0 0 112177 46 0 0 25 0 4 0 731737096 3725238272 757625 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9119/tid=9122] ppid=9117 vsize=3637928 CPUtime=1106.18 cores=0,2,4,6
/proc/9119/task/9122/stat : 9122 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 214097 0 0 0 110576 42 0 0 25 0 4 0 731737096 3725238272 757625 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4472.57
Current children cumulated vsize (KiB) 3637928

[startup+1182.3 s]
/proc/loadavg: 8.01 8.01 7.49 9/420 9185
/proc/meminfo: memFree=17464696/32950940 swapFree=67111356/67111528
[pid=9119] ppid=9117 vsize=3637928 CPUtime=4711.69 cores=0,2,4,6
/proc/9119/stat : 9119 (strangenight2-m) R 9117 9119 8585 0 -1 4202496 873727 0 0 0 470992 177 0 0 25 0 4 0 731737096 3725238272 757691 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9119/statm: 909482 757691 377 95 0 904464 0
[pid=9119/tid=9120] ppid=9117 vsize=3637928 CPUtime=1182.11 cores=0,2,4,6
/proc/9119/task/9120/stat : 9120 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 220936 0 0 0 118168 43 0 0 25 0 4 0 731737096 3725238272 757691 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9119/tid=9121] ppid=9117 vsize=3637928 CPUtime=1182.23 cores=0,2,4,6
/proc/9119/task/9121/stat : 9121 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 221007 0 0 0 118177 46 0 0 25 0 4 0 731737096 3725238272 757691 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9119/tid=9122] ppid=9117 vsize=3637928 CPUtime=1165.31 cores=0,2,4,6
/proc/9119/task/9122/stat : 9122 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 214097 0 0 0 116489 42 0 0 25 0 4 0 731737096 3725238272 757691 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4711.69
Current children cumulated vsize (KiB) 3637928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.5 s]
/proc/loadavg: 8.01 8.00 7.51 10/420 9185
/proc/meminfo: memFree=17426368/32950940 swapFree=67111356/67111528
[pid=9119] ppid=9117 vsize=3637928 CPUtime=4800.24 cores=0,2,4,6
/proc/9119/stat : 9119 (strangenight2-m) R 9117 9119 8585 0 -1 4202496 873727 0 0 0 479847 177 0 0 25 0 4 0 731737096 3725238272 757691 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9119/statm: 909482 757691 377 95 0 904464 0
[pid=9119/tid=9120] ppid=9117 vsize=3637928 CPUtime=1204.35 cores=0,2,4,6
/proc/9119/task/9120/stat : 9120 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 220936 0 0 0 120392 43 0 0 25 0 4 0 731737096 3725238272 757691 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9119/tid=9121] ppid=9117 vsize=3637928 CPUtime=1204.47 cores=0,2,4,6
/proc/9119/task/9121/stat : 9121 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 221007 0 0 0 120401 46 0 0 25 0 4 0 731737096 3725238272 757691 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9119/tid=9122] ppid=9117 vsize=3637928 CPUtime=1187.2 cores=0,2,4,6
/proc/9119/task/9122/stat : 9122 (strangenight2-m) R 9117 9119 8585 0 -1 4202560 214097 0 0 0 118678 42 0 0 25 0 4 0 731737096 3725238272 757691 33554432000 4194304 4580107 140736765576384 18446744073709551615 4451663 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 3637928

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

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

[startup+1204.64 s]
/proc/loadavg: 8.01 8.00 7.51 10/420 9185
/proc/meminfo: memFree=17426368/32950940 swapFree=67111356/67111528
[pid=9119] ppid=9117 vsize=0 CPUtime=4800.39 cores=0,2,4,6
/proc/9119/stat : 9119 (strangenight2-m) Z 9117 9119 8585 0 -1 4203548 873727 0 0 0 479852 187 0 0 25 0 2 0 731737096 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/9119/statm: 0 0 0 0 0 0 0
[pid=9119/tid=9122] ppid=9117 vsize=0 CPUtime=1187.3 cores=0,2,4,6
/proc/9119/task/9122/stat : 9122 (strangenight2-m) R 9117 9119 8585 0 -1 4203588 214097 0 0 0 118678 52 0 0 25 0 2 0 731737096 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1204.68
CPU time (s): 4800.44
CPU user time (s): 4798.52
CPU system time (s): 1.91971
CPU usage (%): 398.483
Max. virtual memory (cumulated for all children) (KiB): 3637928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.52
system time used= 1.91971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 873727
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= 14879
involuntary context switches= 25209

runsolver used 5.32919 second user time and 12.1472 second system time

The end

Launcher Data 

Begin job on node117 at 2011-05-15 01:17:43
IDJOB=3367283
IDBENCH=83466
IDSOLVER=1844
FILE ID=node117/3367283-1305415060
RUNJOBID= node117-1305415060-9036
PBS_JOBID= 13324528
Free space on /tmp= 73280 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E00N23.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367283-1305415060/watcher-3367283-1305415060 -o /tmp/evaluation-result-3367283-1305415060/solver-3367283-1305415060 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3367283-1305415060.cnf

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

MD5SUM BENCH= 1a1f0dddf727883e0973677dd00e9269
RANDOM SEED=329115959

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      20907352 kB
Buffers:        300868 kB
Cached:        3224916 kB
SwapCached:          0 kB
Active:        9803544 kB
Inactive:      1882328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      20907352 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:          145820 kB
Writeback:           0 kB
AnonPages:     8159344 kB
Mapped:          32480 kB
Slab:           247764 kB
PageTables:      44816 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 100846180 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= 73292 MiB
End job on node117 at 2011-05-15 01:37:50