Trace number 3367140

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.21 1203.8

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F22.cnf
MD5SUM0b29cb9f2e17f3e05b66912497d8cb84
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark45.6781
Satisfiable
(Un)Satisfiability was proved
Number of variables13574
Number of clauses1301188
Sum of the clauses size11462079
Maximum clause length78
Minimum clause length1
Number of clauses of size 133
Number of clauses of size 236373
Number of clauses of size 329573
Number of clauses of size 422594
Number of clauses of size 573414
Number of clauses of size over 51139201

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3367140-1305415001.cnf'
0.00/0.01	c -- header says num vars:          13574
0.00/0.01	c -- header says num clauses:     1301188
2.42/0.65	c -- clauses added:            0 learnts,      1301188 normals,            0 xors
2.42/0.65	c -- vars added      13574
2.42/0.65	c Parsing time:  0.58 s
2.42/0.65	c  N st     0         0     13574   1264678     34486         0  11439771         0   no data   no data
3.91/1.02	c asymm  cl-useful: 0/6731/1263470 lits-rem:0 time: 0.30
20.24/5.18	c Flit:    23 Blit:      0 bXBeca:    0 bXProp:   88 Bins:      0 BRemL:      0 BRemN:      0 P: 138.2M T:  4.16
23.82/6.03	c Replacing       88 vars Replaced   886898 lits Time:     0.77 s 
25.73/6.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.73/6.61	c bin-w-bin subsume rem          764 bins  time:  0.00 s
31.64/8.02	c subs with bin:     7631  lits-rem:        12  v-fix:    0  time:  1.41 s
31.64/8.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1343 time:  0.02 s
31.64/8.07	c Removed useless bin:       0  fixed:     0  props:   3.63M  time:  0.03 s
1225.60/307.47	c lits-rem:         0  cl-subs:    25458  v-elim:   1006  v-fix:    0  time: 299.31 s
1225.60/307.49	c Finding binary XORs  T:     0.02 s  found:       1
1226.00/307.56	c Replacing        1 vars Replaced        9 lits Time:     0.07 s 
1374.33/344.71	c Finding non-binary XORs:    37.06 s (found:       0, avg size: nan)
1374.33/344.71	c calculated reachability. Time: 0.01
1374.33/344.80	c Calc default polars -  time:   0.09 s pos:     376 undec:    2150 neg:   11048
1374.33/344.80	c =========================================================================================
1374.33/344.80	c types(t): F = full restart, N = normal restart
1374.33/344.80	c types(t): S = simplification begin/end, E = solution found
1374.33/344.80	c restart types(rt): st = static, dy = dynamic
1374.33/344.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1374.33/344.80	c  B st     0         0     11424   1231617     29678         0  10448561         0   no data   no data
1389.49/348.52	c  N dy    20      4524     11421   1231617     29811      4333  10448561    178037     10.00     10.62
1399.86/351.18	c  N dy    44      8620     11419   1231617     30297      8260  10448561    336321      9.81     10.45
1403.47/352.07	c Finding binary XORs  T:     0.02 s  found:       0
1408.28/353.29	c  N dy    65     13010     11419   1231614     30360     12497  10448423    531020      9.60     10.14
1414.21/354.75	c  N dy    85     17027     11419   1231614     30456     16390  10448423    704702      9.53     11.15
1420.19/356.26	c  N dy   111     21089     11418   1231614     30683     10710  10448423    230532      9.63     10.57
1424.18/357.22	c  F st   137     25000     11418   1231614     31005     14500  10448423    394523      9.71      7.42
1425.39/357.59	c  N st   138     25250     11418   1231612     30994     14739  10448405    404655      9.71   no data
1427.76/358.12	c Finding binary XORs  T:     0.02 s  found:       0
1434.94/359.99	c  N dy   143     30001     11417   1231612     31084     19369  10448405    672551      9.71   no data
1434.94/359.99	c  S st   143     30001     11417   1231612     31084     19369  10448405    672551      9.71   no data
1440.93/361.42	c  S st   143     30502     11417   1231612     31437     19843  10448405    681983      9.71   no data
1440.93/361.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1476.83/370.45	c Flit:     4 Blit:      0 bXBeca:    0 bXProp:    1 Bins: 489912 BRemL: 235156 BRemN:      0 P: 200.0M T:  8.95
1477.23/370.58	c Replacing        1 vars Replaced      327 lits Time:     0.14 s 
1478.81/370.95	c blocked clauses removed:        0 vars:      0 tried:       11412 T: 0.01 s
1478.81/370.98	c bin-w-bin subsume rem           91 bins  time:  0.02 s
1484.00/372.24	c subs with bin:      903  lits-rem:     51389  v-fix:    0  time:  1.26 s
1484.00/372.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    264 time:  0.03 s
1484.40/372.30	c Removed useless bin:       8  fixed:     0  props:   1.40M  time:  0.02 s
2460.70/617.15	c lits-rem:         0  cl-subs:    43339  v-elim:    196  v-fix:    0  time: 244.78 s
2461.86/617.40	c subs with bin:       95  lits-rem:      5079  v-fix:    0  time:  0.23 s
3448.51/864.81	c lits-rem:         7  cl-subs:     1106  v-elim:      0  v-fix:    0  time: 247.13 s
3450.11/865.22	c asymm  cl-useful: 0/4996/1187050 lits-rem:0 time: 0.41
3450.11/865.28	c calculated reachability. Time: 0.01
3450.11/865.28	c  N dy   143     30502     11216   1187050    263483     11064  10074035    717424      9.71   no data
3450.51/865.31	c Finding binary XORs  T:     0.03 s  found:       0
3461.33/868.05	c  N dy   167     34690     11213   1187050    263503     15203  10074035    895954      9.69     10.35
3467.26/869.57	c Finding binary XORs  T:     0.03 s  found:       0
3471.65/870.68	c  N dy   197     38819     11210   1187046    508288     19063  10073879   1568608      9.82     10.39
3480.42/872.88	c  N dy   224     42892     11210   1187046    516451     12231  10073879   1189996      9.91     10.58
3487.65/874.66	c  S st   245     45753     11208   1187046    516465     15067  10073879   1347208      9.95   no data
3494.38/876.34	c  S st   245     46253     11208   1187046    516466     15566  10073879   1359926      9.95   no data
3494.78/876.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
3536.65/886.91	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:    2 Bins:  11548 BRemL: 318790 BRemN:      0 P: 200.0M T: 10.49
3537.05/887.05	c Replacing        2 vars Replaced     2329 lits Time:     0.14 s 
3538.65/887.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3538.65/887.45	c bin-w-bin subsume rem         2252 bins  time:  0.02 s
3539.05/887.55	c subs with bin:      286  lits-rem:       131  v-fix:    0  time:  0.10 s
3539.05/887.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1409 time:  0.04 s
3539.45/887.61	c Removed useless bin:       1  fixed:     0  props:   1.24M  time:  0.02 s
4493.38/1126.83	c lits-rem:         0  cl-subs:      201  v-elim:     20  v-fix:    0  time: 239.18 s
4494.98/1127.26	c subs with bin:      108  lits-rem:      1511  v-fix:    0  time:  0.40 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-3367140-1305415001/watcher-3367140-1305415001 -o /tmp/evaluation-result-3367140-1305415001/solver-3367140-1305415001 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367140-1305415001.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: 6.37 7.76 7.94 6/352 4261
/proc/meminfo: memFree=25931888/32951124 swapFree=53501236/67111528
[pid=4261] ppid=4259 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/4261/stat : 4261 (strangenight2-m) R 4259 4261 4220 0 -1 4202496 407 0 0 0 0 0 0 0 23 0 4 0 653102903 52396032 347 33554432000 4194304 4580107 140735642689024 18446744073709551615 47846455609266 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4261/statm: 12792 347 299 95 0 7774 0
[pid=4261/tid=4262] ppid=4259 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/4261/task/4262/stat : 4262 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 653102904 52396032 349 33554432000 4194304 4580107 140735642689024 18446744073709551615 216634571761 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4261/tid=4263] ppid=4259 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/4261/task/4263/stat : 4263 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 653102904 52396032 349 33554432000 4194304 4580107 140735642689024 18446744073709551615 47846455609266 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/4261/task/4264/stat : 4264 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 653102904 52396032 349 33554432000 4194304 4580107 140735642689024 18446744073709551615 47846455609266 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0958301 s]
/proc/loadavg: 6.37 7.76 7.94 6/352 4261
/proc/meminfo: memFree=25931888/32951124 swapFree=53501236/67111528
[pid=4261] ppid=4259 vsize=285696 CPUtime=0.33 cores=0,2,4,6
/proc/4261/stat : 4261 (strangenight2-m) R 4259 4261 4220 0 -1 4202496 10236 0 0 0 32 1 0 0 24 0 4 0 653102903 292552704 10147 33554432000 4194304 4580107 140735642689024 18446744073709551615 4489273 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4261/statm: 71424 10150 337 95 0 66406 0
[pid=4261/tid=4262] ppid=4259 vsize=285696 CPUtime=0.07 cores=0,2,4,6
/proc/4261/task/4262/stat : 4262 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 2417 0 0 0 7 0 0 0 25 0 4 0 653102904 292552704 10152 33554432000 4194304 4580107 140735642689024 18446744073709551615 4511053 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4261/tid=4263] ppid=4259 vsize=285696 CPUtime=0.07 cores=0,2,4,6
/proc/4261/task/4263/stat : 4263 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 2422 0 0 0 7 0 0 0 25 0 4 0 653102904 292552704 10154 33554432000 4194304 4580107 140735642689024 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=285696 CPUtime=0.07 cores=0,2,4,6
/proc/4261/task/4264/stat : 4264 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 2477 0 0 0 7 0 0 0 25 0 4 0 653102904 292552704 10156 33554432000 4194304 4580107 140735642689024 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 285696

[startup+0.100827 s]
/proc/loadavg: 6.37 7.76 7.94 6/352 4261
/proc/meminfo: memFree=25931888/32951124 swapFree=53501236/67111528
[pid=4261] ppid=4259 vsize=285828 CPUtime=0.36 cores=0,2,4,6
/proc/4261/stat : 4261 (strangenight2-m) R 4259 4261 4220 0 -1 4202496 10807 0 0 0 34 2 0 0 24 0 4 0 653102903 292687872 10718 33554432000 4194304 4580107 140735642689024 18446744073709551615 4489474 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4261/statm: 71457 10720 338 95 0 66439 0
[pid=4261/tid=4262] ppid=4259 vsize=285828 CPUtime=0.08 cores=0,2,4,6
/proc/4261/task/4262/stat : 4262 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 2551 0 0 0 8 0 0 0 25 0 4 0 653102904 292687872 10721 33554432000 4194304 4580107 140735642689024 18446744073709551615 4511029 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4261/tid=4263] ppid=4259 vsize=285828 CPUtime=0.08 cores=0,2,4,6
/proc/4261/task/4263/stat : 4263 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 2562 0 0 0 8 0 0 0 25 0 4 0 653102904 292687872 10724 33554432000 4194304 4580107 140735642689024 18446744073709551615 4355016 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=285828 CPUtime=0.08 cores=0,2,4,6
/proc/4261/task/4264/stat : 4264 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 2622 0 0 0 8 0 0 0 25 0 4 0 653102904 292687872 10728 33554432000 4194304 4580107 140735642689024 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 285828

[startup+0.305921 s]
/proc/loadavg: 6.37 7.76 7.94 6/352 4261
/proc/meminfo: memFree=25931888/32951124 swapFree=53501236/67111528
[pid=4261] ppid=4259 vsize=462772 CPUtime=1.15 cores=0,2,4,6
/proc/4261/stat : 4261 (strangenight2-m) R 4259 4261 4220 0 -1 4202496 48841 0 0 0 104 11 0 0 18 0 4 0 653102903 473878528 47667 33554432000 4194304 4580107 140735642689024 18446744073709551615 4354920 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4261/statm: 115693 47685 338 95 0 110675 0
[pid=4261/tid=4262] ppid=4259 vsize=462960 CPUtime=0.27 cores=0,2,4,6
/proc/4261/task/4262/stat : 4262 (strangenight2-m) S 4259 4261 4220 0 -1 4202560 12223 0 0 0 25 2 0 0 18 0 4 0 653102904 474071040 47835 33554432000 4194304 4580107 140735642689024 18446744073709551615 216634620398 0 0 4096 2 18446604441099383168 0 0 -1 6 0 0 0
[pid=4261/tid=4263] ppid=4259 vsize=462960 CPUtime=0.28 cores=0,2,4,6
/proc/4261/task/4263/stat : 4263 (strangenight2-m) S 4259 4261 4220 0 -1 4202560 11972 0 0 0 25 3 0 0 18 0 4 0 653102904 474071040 47861 33554432000 4194304 4580107 140735642689024 18446744073709551615 216634620398 0 0 4096 2 18446604441099383168 0 0 -1 0 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=465204 CPUtime=0.31 cores=0,2,4,6
/proc/4261/task/4264/stat : 4264 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 13313 0 0 0 28 3 0 0 18 0 4 0 653102904 476368896 52202 33554432000 4194304 4580107 140735642689024 18446744073709551615 4511023 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 462772

[startup+0.71625 s]
/proc/loadavg: 6.37 7.76 7.94 6/352 4261
/proc/meminfo: memFree=25931888/32951124 swapFree=53501236/67111528
[pid=4261] ppid=4259 vsize=1045192 CPUtime=2.76 cores=0,2,4,6
/proc/4261/stat : 4261 (strangenight2-m) R 4259 4261 4220 0 -1 4202496 107815 0 0 0 253 23 0 0 18 0 4 0 653102903 1070276608 106374 33554432000 4194304 4580107 140735642689024 18446744073709551615 216634620447 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4261/statm: 261298 106374 355 95 0 256280 0
[pid=4261/tid=4262] ppid=4259 vsize=1045192 CPUtime=0.68 cores=0,2,4,6
/proc/4261/task/4262/stat : 4262 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 27292 0 0 0 63 5 0 0 18 0 4 0 653102904 1070276608 106374 33554432000 4194304 4580107 140735642689024 18446744073709551615 216634620398 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4261/tid=4263] ppid=4259 vsize=1045192 CPUtime=0.68 cores=0,2,4,6
/proc/4261/task/4263/stat : 4263 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 26796 0 0 0 62 6 0 0 18 0 4 0 653102904 1070276608 106374 33554432000 4194304 4580107 140735642689024 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=1045192 CPUtime=0.67 cores=0,2,4,6
/proc/4261/task/4264/stat : 4264 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 26776 0 0 0 62 5 0 0 18 0 4 0 653102904 1070276608 106374 33554432000 4194304 4580107 140735642689024 18446744073709551615 4222880 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 1045192

[startup+1.50059 s]
/proc/loadavg: 6.37 7.76 7.94 9/356 4265
/proc/meminfo: memFree=25265384/32951124 swapFree=53501236/67111528
[pid=4261] ppid=4259 vsize=1062836 CPUtime=5.88 cores=0,2,4,6
/proc/4261/stat : 4261 (strangenight2-m) R 4259 4261 4220 0 -1 4202496 120758 0 0 0 562 26 0 0 19 0 4 0 653102903 1088344064 119317 33554432000 4194304 4580107 140735642689024 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4261/statm: 265709 119321 360 95 0 260691 0
[pid=4261/tid=4262] ppid=4259 vsize=1062836 CPUtime=1.44 cores=0,2,4,6
/proc/4261/task/4262/stat : 4262 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 30884 0 0 0 139 5 0 0 19 0 4 0 653102904 1088344064 119323 33554432000 4194304 4580107 140735642689024 18446744073709551615 4295706 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4261/tid=4263] ppid=4259 vsize=1062836 CPUtime=1.46 cores=0,2,4,6
/proc/4261/task/4263/stat : 4263 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 29591 0 0 0 139 7 0 0 19 0 4 0 653102904 1088344064 119323 33554432000 4194304 4580107 140735642689024 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=1062836 CPUtime=1.46 cores=0,2,4,6
/proc/4261/task/4264/stat : 4264 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 30562 0 0 0 139 7 0 0 19 0 4 0 653102904 1088344064 119323 33554432000 4194304 4580107 140735642689024 18446744073709551615 216634212455 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.88
Current children cumulated vsize (KiB) 1062836

[startup+3.10031 s]
/proc/loadavg: 6.37 7.76 7.94 10/356 4265
/proc/meminfo: memFree=25130348/32951124 swapFree=53501236/67111528
[pid=4261] ppid=4259 vsize=1072932 CPUtime=12.25 cores=0,2,4,6
/proc/4261/stat : 4261 (strangenight2-m) R 4259 4261 4220 0 -1 4202496 130248 0 0 0 1196 29 0 0 22 0 4 0 653102903 1098682368 128807 33554432000 4194304 4580107 140735642689024 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4261/statm: 268233 128807 361 95 0 263215 0
[pid=4261/tid=4262] ppid=4259 vsize=1072932 CPUtime=3.04 cores=0,2,4,6
/proc/4261/task/4262/stat : 4262 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 33348 0 0 0 298 6 0 0 24 0 4 0 653102904 1098682368 128807 33554432000 4194304 4580107 140735642689024 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4261/tid=4263] ppid=4259 vsize=1072932 CPUtime=3.06 cores=0,2,4,6
/proc/4261/task/4263/stat : 4263 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 31757 0 0 0 298 8 0 0 22 0 4 0 653102904 1098682368 128807 33554432000 4194304 4580107 140735642689024 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=1072932 CPUtime=3.05 cores=0,2,4,6
/proc/4261/task/4264/stat : 4264 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 33334 0 0 0 297 8 0 0 24 0 4 0 653102904 1098682368 128807 33554432000 4194304 4580107 140735642689024 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 1072932

[startup+6.30074 s]
/proc/loadavg: 6.50 7.76 7.94 9/356 4265
/proc/meminfo: memFree=25053988/32951124 swapFree=53501236/67111528
[pid=4261] ppid=4259 vsize=1365260 CPUtime=25 cores=0,2,4,6
/proc/4261/stat : 4261 (strangenight2-m) R 4259 4261 4220 0 -1 4202496 169464 0 0 0 2460 40 0 0 18 0 4 0 653102903 1398026240 168021 33554432000 4194304 4580107 140735642689024 18446744073709551615 216634620447 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4261/statm: 341315 168047 366 95 0 336297 0
[pid=4261/tid=4262] ppid=4259 vsize=1365260 CPUtime=6.2 cores=0,2,4,6
/proc/4261/task/4262/stat : 4262 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 36215 0 0 0 614 6 0 0 25 0 4 0 653102904 1398026240 168054 33554432000 4194304 4580107 140735642689024 18446744073709551615 216634558647 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4261/tid=4263] ppid=4259 vsize=1365260 CPUtime=6.25 cores=0,2,4,6
/proc/4261/task/4263/stat : 4263 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 41316 0 0 0 615 10 0 0 18 0 4 0 653102904 1398026240 168070 33554432000 4194304 4580107 140735642689024 18446744073709551615 4401482 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=1365260 CPUtime=6.24 cores=0,2,4,6
/proc/4261/task/4264/stat : 4264 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 34819 0 0 0 614 10 0 0 25 0 4 0 653102904 1398026240 168083 33554432000 4194304 4580107 140735642689024 18446744073709551615 4294400 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25
Current children cumulated vsize (KiB) 1365260

[startup+12.7006 s]
/proc/loadavg: 6.62 7.77 7.94 9/356 4265
/proc/meminfo: memFree=24117512/32951124 swapFree=53501236/67111528
[pid=4261] ppid=4259 vsize=2129104 CPUtime=50.39 cores=0,2,4,6
/proc/4261/stat : 4261 (strangenight2-m) R 4259 4261 4220 0 -1 4202496 365145 0 0 0 4964 75 0 0 25 0 4 0 653102903 2180202496 363319 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451708 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4261/statm: 532276 363319 375 95 0 527258 0
[pid=4261/tid=4262] ppid=4259 vsize=2129104 CPUtime=12.47 cores=0,2,4,6
/proc/4261/task/4262/stat : 4262 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 99788 0 0 0 1230 17 0 0 25 0 4 0 653102904 2180202496 363319 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451663 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4261/tid=4263] ppid=4259 vsize=2129104 CPUtime=12.59 cores=0,2,4,6
/proc/4261/task/4263/stat : 4263 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 119745 0 0 0 1235 24 0 0 25 0 4 0 653102904 2180202496 363319 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=2129104 CPUtime=12.62 cores=0,2,4,6
/proc/4261/task/4264/stat : 4264 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 36716 0 0 0 1251 11 0 0 25 0 4 0 653102904 2180202496 363319 33554432000 4194304 4580107 140735642689024 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.39
Current children cumulated vsize (KiB) 2129104

[startup+25.5004 s]
/proc/loadavg: 6.93 7.78 7.94 9/356 4266
/proc/meminfo: memFree=23996124/32951124 swapFree=53501236/67111528
[pid=4261] ppid=4259 vsize=2131812 CPUtime=101.41 cores=0,2,4,6
/proc/4261/stat : 4261 (strangenight2-m) R 4259 4261 4220 0 -1 4202496 366696 0 0 0 10065 76 0 0 25 0 4 0 653102903 2182975488 364710 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4261/statm: 532953 364710 376 95 0 527935 0
[pid=4261/tid=4262] ppid=4259 vsize=2131812 CPUtime=25.11 cores=0,2,4,6
/proc/4261/task/4262/stat : 4262 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 99788 0 0 0 2494 17 0 0 25 0 4 0 653102904 2182975488 364710 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4261/tid=4263] ppid=4259 vsize=2131812 CPUtime=25.39 cores=0,2,4,6
/proc/4261/task/4263/stat : 4263 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 119745 0 0 0 2515 24 0 0 25 0 4 0 653102904 2182975488 364710 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=2131812 CPUtime=25.43 cores=0,2,4,6
/proc/4261/task/4264/stat : 4264 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 38267 0 0 0 2530 13 0 0 25 0 4 0 653102904 2182975488 364710 33554432000 4194304 4580107 140735642689024 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.41
Current children cumulated vsize (KiB) 2131812

[startup+51.1009 s]
/proc/loadavg: 7.29 7.80 7.94 9/356 4266
/proc/meminfo: memFree=23714940/32951124 swapFree=53501236/67111528
[pid=4261] ppid=4259 vsize=2491920 CPUtime=203.52 cores=0,2,4,6
/proc/4261/stat : 4261 (strangenight2-m) R 4259 4261 4220 0 -1 4202496 444975 0 0 0 20261 91 0 0 25 0 4 0 653102903 2551726080 439603 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4261/statm: 622980 439603 376 95 0 617962 0
[pid=4261/tid=4262] ppid=4259 vsize=2491920 CPUtime=50.41 cores=0,2,4,6
/proc/4261/task/4262/stat : 4262 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 99788 0 0 0 5024 17 0 0 25 0 4 0 653102904 2551726080 439603 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4261/tid=4263] ppid=4259 vsize=2491920 CPUtime=50.99 cores=0,2,4,6
/proc/4261/task/4263/stat : 4263 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 119745 0 0 0 5075 24 0 0 25 0 4 0 653102904 2551726080 439603 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451672 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=2491920 CPUtime=51.02 cores=0,2,4,6
/proc/4261/task/4264/stat : 4264 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 116546 0 0 0 5075 27 0 0 25 0 4 0 653102904 2551726080 439603 33554432000 4194304 4580107 140735642689024 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.52
Current children cumulated vsize (KiB) 2491920

[startup+102.301 s]
/proc/loadavg: 7.77 7.85 7.95 9/356 4268
/proc/meminfo: memFree=23618456/32951124 swapFree=53501236/67111528
[pid=4261] ppid=4259 vsize=2491920 CPUtime=407.72 cores=0,2,4,6
/proc/4261/stat : 4261 (strangenight2-m) R 4259 4261 4220 0 -1 4202496 444975 0 0 0 40681 91 0 0 25 0 4 0 653102903 2551726080 439603 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4261/statm: 622980 439603 376 95 0 617962 0
[pid=4261/tid=4262] ppid=4259 vsize=2491920 CPUtime=101.01 cores=0,2,4,6
/proc/4261/task/4262/stat : 4262 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 99788 0 0 0 10084 17 0 0 25 0 4 0 653102904 2551726080 439603 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4261/tid=4263] ppid=4259 vsize=2491920 CPUtime=102.21 cores=0,2,4,6
/proc/4261/task/4263/stat : 4263 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 119745 0 0 0 10196 25 0 0 25 0 4 0 653102904 2551726080 439603 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=2491920 CPUtime=102.24 cores=0,2,4,6
/proc/4261/task/4264/stat : 4264 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 116546 0 0 0 10197 27 0 0 25 0 4 0 653102904 2551726080 439603 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 407.72
Current children cumulated vsize (KiB) 2491920

[startup+162.3 s]

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

[pid=4261] ppid=4259 vsize=2688512 CPUtime=2800.45 cores=0,2,4,6
/proc/4261/stat : 4261 (strangenight2-m) R 4259 4261 4220 0 -1 4202496 610100 0 0 0 279909 136 0 0 25 0 4 0 653102903 2753036288 490952 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4261/statm: 672128 490952 395 95 0 667110 0
[pid=4261/tid=4262] ppid=4259 vsize=2688512 CPUtime=693.88 cores=0,2,4,6
/proc/4261/task/4262/stat : 4262 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 142279 0 0 0 69359 29 0 0 25 0 4 0 653102904 2753036288 490952 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451678 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4261/tid=4263] ppid=4259 vsize=2688512 CPUtime=702.17 cores=0,2,4,6
/proc/4261/task/4263/stat : 4263 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 160924 0 0 0 70181 36 0 0 25 0 4 0 653102904 2753036288 490952 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=2688512 CPUtime=702.23 cores=0,2,4,6
/proc/4261/task/4264/stat : 4264 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 157782 0 0 0 70185 38 0 0 25 0 4 0 653102904 2753036288 490952 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2800.45
Current children cumulated vsize (KiB) 2688512

[startup+762.301 s]
/proc/loadavg: 8.16 8.08 8.00 9/356 4315
/proc/meminfo: memFree=23681444/32951124 swapFree=53501236/67111528
[pid=4261] ppid=4259 vsize=2688512 CPUtime=3039.76 cores=0,2,4,6
/proc/4261/stat : 4261 (strangenight2-m) R 4259 4261 4220 0 -1 4202496 610100 0 0 0 303840 136 0 0 25 0 4 0 653102903 2753036288 490952 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4261/statm: 672128 490952 395 95 0 667110 0
[pid=4261/tid=4262] ppid=4259 vsize=2688512 CPUtime=753.18 cores=0,2,4,6
/proc/4261/task/4262/stat : 4262 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 142279 0 0 0 75289 29 0 0 25 0 4 0 653102904 2753036288 490952 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4261/tid=4263] ppid=4259 vsize=2688512 CPUtime=762.19 cores=0,2,4,6
/proc/4261/task/4263/stat : 4263 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 160924 0 0 0 76183 36 0 0 25 0 4 0 653102904 2753036288 490952 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=2688512 CPUtime=762.24 cores=0,2,4,6
/proc/4261/task/4264/stat : 4264 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 157782 0 0 0 76186 38 0 0 25 0 4 0 653102904 2753036288 490952 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3039.76
Current children cumulated vsize (KiB) 2688512

[startup+822.3 s]
/proc/loadavg: 8.11 8.08 8.00 9/356 4317
/proc/meminfo: memFree=23640360/32951124 swapFree=53501236/67111528
[pid=4261] ppid=4259 vsize=2688512 CPUtime=3279.02 cores=0,2,4,6
/proc/4261/stat : 4261 (strangenight2-m) R 4259 4261 4220 0 -1 4202496 610100 0 0 0 327766 136 0 0 25 0 4 0 653102903 2753036288 490952 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4261/statm: 672128 490952 395 95 0 667110 0
[pid=4261/tid=4262] ppid=4259 vsize=2688512 CPUtime=812.47 cores=0,2,4,6
/proc/4261/task/4262/stat : 4262 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 142279 0 0 0 81218 29 0 0 25 0 4 0 653102904 2753036288 490952 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4261/tid=4263] ppid=4259 vsize=2688512 CPUtime=822.17 cores=0,2,4,6
/proc/4261/task/4263/stat : 4263 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 160924 0 0 0 82181 36 0 0 25 0 4 0 653102904 2753036288 490952 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451663 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=2688512 CPUtime=822.23 cores=0,2,4,6
/proc/4261/task/4264/stat : 4264 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 157782 0 0 0 82185 38 0 0 25 0 4 0 653102904 2753036288 490952 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3279.02
Current children cumulated vsize (KiB) 2688512

[startup+882.314 s]
/proc/loadavg: 8.13 8.09 8.01 9/356 4319
/proc/meminfo: memFree=23632020/32951124 swapFree=53501236/67111528
[pid=4261] ppid=4259 vsize=2688512 CPUtime=3518.35 cores=0,2,4,6
/proc/4261/stat : 4261 (strangenight2-m) R 4259 4261 4220 0 -1 4202496 611212 0 0 0 351698 137 0 0 25 0 4 0 653102903 2753036288 492064 33554432000 4194304 4580107 140735642689024 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4261/statm: 672128 492064 395 95 0 667110 0
[pid=4261/tid=4262] ppid=4259 vsize=2688512 CPUtime=871.77 cores=0,2,4,6
/proc/4261/task/4262/stat : 4262 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 142279 0 0 0 87148 29 0 0 25 0 4 0 653102904 2753036288 492064 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4261/tid=4263] ppid=4259 vsize=2688512 CPUtime=882.18 cores=0,2,4,6
/proc/4261/task/4263/stat : 4263 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 160924 0 0 0 88182 36 0 0 25 0 4 0 653102904 2753036288 492064 33554432000 4194304 4580107 140735642689024 18446744073709551615 4415779 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=2688512 CPUtime=882.25 cores=0,2,4,6
/proc/4261/task/4264/stat : 4264 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 157782 0 0 0 88187 38 0 0 25 0 4 0 653102904 2753036288 492064 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451692 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3518.35
Current children cumulated vsize (KiB) 2688512

[startup+942.301 s]
/proc/loadavg: 8.09 8.08 8.01 9/356 4320
/proc/meminfo: memFree=23613392/32951124 swapFree=53501236/67111528
[pid=4261] ppid=4259 vsize=2688432 CPUtime=3757.59 cores=0,2,4,6
/proc/4261/stat : 4261 (strangenight2-m) R 4259 4261 4220 0 -1 4202496 629538 0 0 0 375617 142 0 0 25 0 4 0 653102903 2752954368 501002 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4261/statm: 672108 501002 380 95 0 667090 0
[pid=4261/tid=4262] ppid=4259 vsize=2688432 CPUtime=931.06 cores=0,2,4,6
/proc/4261/task/4262/stat : 4262 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 147213 0 0 0 93074 32 0 0 25 0 4 0 653102904 2752954368 501002 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4261/tid=4263] ppid=4259 vsize=2688432 CPUtime=942.18 cores=0,2,4,6
/proc/4261/task/4263/stat : 4263 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 172515 0 0 0 94179 39 0 0 25 0 4 0 653102904 2752954368 501002 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451678 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=2688432 CPUtime=942.23 cores=0,2,4,6
/proc/4261/task/4264/stat : 4264 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 158545 0 0 0 94185 38 0 0 25 0 4 0 653102904 2752954368 501002 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3757.59
Current children cumulated vsize (KiB) 2688432

[startup+1002.3 s]
/proc/loadavg: 8.10 8.10 8.01 9/356 4322
/proc/meminfo: memFree=23545648/32951124 swapFree=53501236/67111528
[pid=4261] ppid=4259 vsize=2688432 CPUtime=3996.87 cores=0,2,4,6
/proc/4261/stat : 4261 (strangenight2-m) R 4259 4261 4220 0 -1 4202496 629538 0 0 0 399544 143 0 0 25 0 4 0 653102903 2752954368 501002 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4261/statm: 672108 501002 380 95 0 667090 0
[pid=4261/tid=4262] ppid=4259 vsize=2688432 CPUtime=990.35 cores=0,2,4,6
/proc/4261/task/4262/stat : 4262 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 147213 0 0 0 99003 32 0 0 25 0 4 0 653102904 2752954368 501002 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4261/tid=4263] ppid=4259 vsize=2688432 CPUtime=1002.18 cores=0,2,4,6
/proc/4261/task/4263/stat : 4263 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 172515 0 0 0 100179 39 0 0 25 0 4 0 653102904 2752954368 501002 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=2688432 CPUtime=1002.24 cores=0,2,4,6
/proc/4261/task/4264/stat : 4264 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 158545 0 0 0 100185 39 0 0 25 0 4 0 653102904 2752954368 501002 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3996.87
Current children cumulated vsize (KiB) 2688432

[startup+1062.3 s]
/proc/loadavg: 8.11 8.10 8.02 9/356 4323
/proc/meminfo: memFree=23553560/32951124 swapFree=53501236/67111528
[pid=4261] ppid=4259 vsize=2688432 CPUtime=4236.16 cores=0,2,4,6
/proc/4261/stat : 4261 (strangenight2-m) R 4259 4261 4220 0 -1 4202496 629538 0 0 0 423473 143 0 0 25 0 4 0 653102903 2752954368 501002 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4261/statm: 672108 501002 380 95 0 667090 0
[pid=4261/tid=4262] ppid=4259 vsize=2688432 CPUtime=1049.65 cores=0,2,4,6
/proc/4261/task/4262/stat : 4262 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 147213 0 0 0 104933 32 0 0 25 0 4 0 653102904 2752954368 501002 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4261/tid=4263] ppid=4259 vsize=2688432 CPUtime=1062.18 cores=0,2,4,6
/proc/4261/task/4263/stat : 4263 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 172515 0 0 0 106179 39 0 0 25 0 4 0 653102904 2752954368 501002 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=2688432 CPUtime=1062.24 cores=0,2,4,6
/proc/4261/task/4264/stat : 4264 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 158545 0 0 0 106185 39 0 0 25 0 4 0 653102904 2752954368 501002 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4236.16
Current children cumulated vsize (KiB) 2688432

[startup+1122.3 s]
/proc/loadavg: 8.18 8.13 8.03 9/356 4325
/proc/meminfo: memFree=23474028/32951124 swapFree=53501236/67111528
[pid=4261] ppid=4259 vsize=2688432 CPUtime=4475.44 cores=0,2,4,6
/proc/4261/stat : 4261 (strangenight2-m) R 4259 4261 4220 0 -1 4202496 629538 0 0 0 447401 143 0 0 25 0 4 0 653102903 2752954368 501002 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4261/statm: 672108 501002 380 95 0 667090 0
[pid=4261/tid=4262] ppid=4259 vsize=2688432 CPUtime=1108.93 cores=0,2,4,6
/proc/4261/task/4262/stat : 4262 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 147213 0 0 0 110861 32 0 0 25 0 4 0 653102904 2752954368 501002 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4261/tid=4263] ppid=4259 vsize=2688432 CPUtime=1122.18 cores=0,2,4,6
/proc/4261/task/4263/stat : 4263 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 172515 0 0 0 112179 39 0 0 25 0 4 0 653102904 2752954368 501002 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=2688432 CPUtime=1122.24 cores=0,2,4,6
/proc/4261/task/4264/stat : 4264 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 158545 0 0 0 112185 39 0 0 25 0 4 0 653102904 2752954368 501002 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4475.44
Current children cumulated vsize (KiB) 2688432

[startup+1182.3 s]
/proc/loadavg: 8.21 8.13 8.03 9/356 4327
/proc/meminfo: memFree=23430364/32951124 swapFree=53501236/67111528
[pid=4261] ppid=4259 vsize=2622896 CPUtime=4714.72 cores=0,2,4,6
/proc/4261/stat : 4261 (strangenight2-m) R 4259 4261 4220 0 -1 4202496 632662 0 0 0 471328 144 0 0 25 0 4 0 653102903 2685845504 496797 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4261/statm: 655724 496797 380 95 0 650706 0
[pid=4261/tid=4262] ppid=4259 vsize=2622896 CPUtime=1168.23 cores=0,2,4,6
/proc/4261/task/4262/stat : 4262 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 147224 0 0 0 116791 32 0 0 25 0 4 0 653102904 2685845504 496797 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451663 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4261/tid=4263] ppid=4259 vsize=2622896 CPUtime=1182.18 cores=0,2,4,6
/proc/4261/task/4263/stat : 4263 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 172551 0 0 0 118179 39 0 0 25 0 4 0 653102904 2685845504 496797 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451678 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=2622896 CPUtime=1182.24 cores=0,2,4,6
/proc/4261/task/4264/stat : 4264 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 160207 0 0 0 118184 40 0 0 25 0 4 0 653102904 2685845504 496797 33554432000 4194304 4580107 140735642689024 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4714.72
Current children cumulated vsize (KiB) 2622896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 8.14 8.12 8.03 9/356 4327
/proc/meminfo: memFree=23453668/32951124 swapFree=53501236/67111528
[pid=4261] ppid=4259 vsize=2622896 CPUtime=4800.08 cores=0,2,4,6
/proc/4261/stat : 4261 (strangenight2-m) R 4259 4261 4220 0 -1 4202496 634785 0 0 0 479862 146 0 0 25 0 4 0 653102903 2685845504 498920 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4261/statm: 655724 498920 380 95 0 650706 0
[pid=4261/tid=4262] ppid=4259 vsize=2622896 CPUtime=1189.38 cores=0,2,4,6
/proc/4261/task/4262/stat : 4262 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 147224 0 0 0 118906 32 0 0 25 0 4 0 653102904 2685845504 498921 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4261/tid=4263] ppid=4259 vsize=2622896 CPUtime=1203.59 cores=0,2,4,6
/proc/4261/task/4263/stat : 4263 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 172551 0 0 0 120320 39 0 0 25 0 4 0 653102904 2685845504 498921 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=2622896 CPUtime=1203.66 cores=0,2,4,6
/proc/4261/task/4264/stat : 4264 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 162331 0 0 0 120324 42 0 0 25 0 4 0 653102904 2685845504 498921 33554432000 4194304 4580107 140735642689024 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 2622896

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

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

[startup+1203.7 s]
/proc/loadavg: 8.14 8.12 8.03 9/356 4327
/proc/meminfo: memFree=23453668/32951124 swapFree=53501236/67111528
[pid=4261] ppid=4259 vsize=2622896 CPUtime=4800.08 cores=0,2,4,6
/proc/4261/stat : 4261 (strangenight2-m) R 4259 4261 4220 0 -1 4202496 634785 0 0 0 479862 146 0 0 25 0 4 0 653102903 2685845504 498920 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4261/statm: 655724 498920 380 95 0 650706 0
[pid=4261/tid=4262] ppid=4259 vsize=2622896 CPUtime=1189.38 cores=0,2,4,6
/proc/4261/task/4262/stat : 4262 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 147224 0 0 0 118906 32 0 0 25 0 4 0 653102904 2685845504 498921 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4261/tid=4263] ppid=4259 vsize=2622896 CPUtime=1203.59 cores=0,2,4,6
/proc/4261/task/4263/stat : 4263 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 172551 0 0 0 120320 39 0 0 25 0 4 0 653102904 2685845504 498921 33554432000 4194304 4580107 140735642689024 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4261/tid=4264] ppid=4259 vsize=2622896 CPUtime=1203.66 cores=0,2,4,6
/proc/4261/task/4264/stat : 4264 (strangenight2-m) R 4259 4261 4220 0 -1 4202560 162331 0 0 0 120324 42 0 0 25 0 4 0 653102904 2685845504 498921 33554432000 4194304 4580107 140735642689024 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 2622896

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.8
CPU time (s): 4800.21
CPU user time (s): 4798.67
CPU system time (s): 1.54676
CPU usage (%): 398.755
Max. virtual memory (cumulated for all children) (KiB): 2737016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.67
system time used= 1.54676
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 634787
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= 16483
involuntary context switches= 22794

runsolver used 4.08838 second user time and 10.1954 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-15 01:16:43
IDJOB=3367140
IDBENCH=83447
IDSOLVER=1844
FILE ID=node103/3367140-1305415001
RUNJOBID= node103-1305415001-4238
PBS_JOBID= 13324557
Free space on /tmp= 72904 MiB

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

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

MD5SUM BENCH= 0b29cb9f2e17f3e05b66912497d8cb84
RANDOM SEED=1081946365

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25932292 kB
Buffers:        302816 kB
Cached:        3961600 kB
SwapCached:     340192 kB
Active:        1627540 kB
Inactive:      5118608 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25932292 kB
SwapTotal:    67111528 kB
SwapFree:     53501236 kB
Dirty:           97140 kB
Writeback:           0 kB
AnonPages:     2152156 kB
Mapped:          10592 kB
Slab:           153900 kB
PageTables:      52916 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78634276 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= 72916 MiB
End job on node103 at 2011-05-15 01:36:49