Trace number 3290990

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? (TO) 4800.34 1202.14

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E00X23.cnf
MD5SUM9cec6483d4ca03e8555377ba059b61ae
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 clauses2133873
Sum of the clauses size18060684
Maximum clause length91
Minimum clause length1
Number of clauses of size 116
Number of clauses of size 240913
Number of clauses of size 337518
Number of clauses of size 422333
Number of clauses of size 5147683
Number of clauses of size over 51885410

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.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-3290990-1304124698.cnf'
0.00/0.00	c -- header says num vars:          15364
0.00/0.00	c -- header says num clauses:     2133873
4.31/1.13	c -- clauses added:            0 learnts,      2133873 normals,            0 xors
4.31/1.13	c -- vars added      15364
4.31/1.13	c Parsing time:  0.96 s
4.31/1.13	c  N st     0         0     15364   2092882     40002         0  18028837         0   no data   no data
5.50/1.49	c asymm  cl-useful: 0/5431/2092294 lits-rem:0 time: 0.31
28.26/7.19	c Flit:    84 Blit:      0 bXBeca:    0 bXProp:   92 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T:  5.68
36.65/9.25	c Replacing       92 vars Replaced  1174400 lits Time:     2.05 s 
40.60/10.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
40.60/10.23	c bin-w-bin subsume rem          404 bins  time:  0.01 s
70.18/17.65	c subs with bin:    20077  lits-rem:        20  v-fix:    0  time:  7.42 s
70.18/17.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   3818 time:  0.02 s
70.58/17.71	c Removed useless bin:       0  fixed:     0  props:   4.22M  time:  0.03 s
1605.63/402.03	c lits-rem:         0  cl-subs:     1287  v-elim:   1150  v-fix:    0  time: 384.25 s
1605.63/402.06	c Finding binary XORs  T:     0.02 s  found:       0
1606.03/402.15	c calculated reachability. Time: 0.01
1606.43/402.21	c Calc default polars -  time:   0.06 s pos:     466 undec:    1833 neg:   13065
1606.43/402.21	c =========================================================================================
1606.43/402.21	c types(t): F = full restart, N = normal restart
1606.43/402.21	c types(t): S = simplification begin/end, E = solution found
1606.43/402.21	c restart types(rt): st = static, dy = dynamic
1606.43/402.21	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1606.43/402.21	c  B st     0         0     13531   2050179     35387         0  17652550         0   no data   no data
1611.61/403.52	c  N dy    19      4090     13526   2050179     35561      3838  17652550    152995      8.59      9.33
1616.82/404.88	c  N dy    39      8094     13522   2050179     36118      7589  17652550    304711      8.67      9.29
1623.59/406.50	c  N dy    67     12213     13517   2050179     36238     11536  17652550    462356      8.91      9.53
1627.98/407.68	c Finding binary XORs  T:     0.02 s  found:       4
1630.39/408.25	c  N dy    92     16237     13513   2049295     36408     15363  17648204    623135      9.11      9.65
1635.96/409.67	c  N dy   116     20246     13464   2049295     36796      9742  17648204    195190      9.27     12.00
1643.17/411.42	c  N dy   144     24311     13463   2049295     36873     13693  17648204    372986      9.36     14.57
1644.35/411.75	c  F st   148     25001     13463   2049295     37128     14359  17648204    401847      9.37      7.30
1647.58/412.57	c Replacing        4 vars Replaced     8801 lits Time:     0.11 s 
1655.14/414.42	c  N dy   154     30000     13454   2019976     36970     18871  17395976    647518      9.37   no data
1655.14/414.42	c  S st   154     30000     13454   2019976     36970     18871  17395976    647518      9.37   no data
1659.53/415.52	c Finding binary XORs  T:     0.02 s  found:       2
1662.33/416.25	c  S st   154     30503     13453   2019972     36973     19322  17395934    657171      9.37   no data
1662.74/416.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1697.05/424.90	c Flit:    41 Blit:     14 bXBeca:    0 bXProp:    5 Bins: 669406 BRemL: 134492 BRemN:      0 P: 200.0M T:  8.55
1699.85/425.67	c Replacing        7 vars Replaced    29778 lits Time:     0.77 s 
1702.24/426.26	c blocked clauses removed:        0 vars:      0 tried:       13391 T: 0.01 s
1702.64/426.33	c bin-w-bin subsume rem          202 bins  time:  0.07 s
1749.38/438.01	c subs with bin:    32423  lits-rem:     66341  v-fix:    0  time: 11.68 s
1749.78/438.10	c Subs w/ non-existent bins:     37 l-rem:      0 v-fix:     0 done:    197 time:  0.09 s
1749.78/438.18	c Removed useless bin:       8  fixed:     0  props:   1.47M  time:  0.04 s
3228.76/808.65	c lits-rem:         0  cl-subs:    42151  v-elim:    130  v-fix:    0  time: 369.45 s
3231.15/809.24	c subs with bin:      422  lits-rem:      9356  v-fix:    0  time:  0.56 s
4709.90/1179.48	c lits-rem:     11424  cl-subs:     5175  v-elim:      0  v-fix:    0  time: 369.86 s
4711.90/1179.91	c asymm  cl-useful: 0/1238/1940808 lits-rem:0 time: 0.42
4712.30/1180.01	c calculated reachability. Time: 0.01
4712.30/1180.01	c  N dy   154     30503     13261   1940808    536891     12090  16786019   1306514      9.37   no data
4712.30/1180.04	c Finding binary XORs  T:     0.03 s  found:       0
4720.28/1182.08	c Finding binary XORs  T:     0.03 s  found:       7
4721.49/1182.35	c  N dy   171     34852     13133   1909104    681329     15905  16515347   1779893      9.25      9.87
4728.67/1184.12	c  N dy   195     39011     13124   1909104    688741     19988  16515345   1967060      9.30     10.30
4733.87/1185.49	c  N dy   217     43026     13101   1909104    688761     12388  16515344   1495000      9.29     13.84
4738.26/1186.59	c  S st   239     45755     13100   1909104    688804     15075  16515344   1624853      9.37      8.81
4745.04/1188.27	c  S st   239     46257     13100   1909104    688805     15576  16515344   1637205      9.37   no data
4745.44/1188.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
4779.00/1196.78	c Flit:     4 Blit:      0 bXBeca:    0 bXProp:    5 Bins:  22863 BRemL: 162322 BRemN:      0 P: 200.1M T:  8.43
4780.60/1197.16	c Replacing       12 vars Replaced    22951 lits Time:     0.38 s 
4783.00/1197.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4783.00/1197.79	c bin-w-bin subsume rem         1779 bins  time:  0.06 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3290990-1304124698/watcher-3290990-1304124698 -o /tmp/evaluation-result-3290990-1304124698/solver-3290990-1304124698 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3290990-1304124698.cnf 

running on 4 cores: 1,3,5,7

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: 7.21 7.86 7.94 5/180 19637
/proc/meminfo: memFree=30578420/32950928 swapFree=67111448/67111528
[pid=19637] ppid=19635 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/19637/stat : 19637 (strangenight2-m) R 19635 19637 19209 0 -1 4202496 408 0 0 0 0 0 0 0 23 0 4 0 524068756 52441088 348 33554432000 4194304 4627427 140733693951392 18446744073709551615 47217644799922 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19637/statm: 12803 348 299 106 0 7774 0
[pid=19637/tid=19638] ppid=19635 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/19637/task/19638/stat : 19638 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 524068756 52441088 348 33554432000 4194304 4627427 140733693951392 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19637/tid=19639] ppid=19635 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/19637/task/19639/stat : 19639 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 524068756 52441088 348 33554432000 4194304 4627427 140733693951392 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=19637/tid=19640] ppid=19635 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/19637/task/19640/stat : 19640 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 524068756 52441088 348 33554432000 4194304 4627427 140733693951392 18446744073709551615 47217644799922 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.107465 s]
/proc/loadavg: 7.21 7.86 7.94 5/180 19637
/proc/meminfo: memFree=30578420/32950928 swapFree=67111448/67111528
[pid=19637] ppid=19635 vsize=353216 CPUtime=0.4 cores=1,3,5,7
/proc/19637/stat : 19637 (strangenight2-m) R 19635 19637 19209 0 -1 4202496 12045 0 0 0 37 3 0 0 25 0 4 0 524068756 361693184 11953 33554432000 4194304 4627427 140733693951392 18446744073709551615 251814298026 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19637/statm: 88304 11953 339 106 0 83275 0
[pid=19637/tid=19638] ppid=19635 vsize=353216 CPUtime=0.09 cores=1,3,5,7
/proc/19637/task/19638/stat : 19638 (strangenight2-m) D 19635 19637 19209 0 -1 4202560 2961 0 0 0 9 0 0 0 18 0 4 0 524068756 361693184 11953 33554432000 4194304 4627427 140733693951392 18446744073709551615 4504795 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19637/tid=19639] ppid=19635 vsize=353216 CPUtime=0.09 cores=1,3,5,7
/proc/19637/task/19639/stat : 19639 (strangenight2-m) D 19635 19637 19209 0 -1 4202560 2936 0 0 0 9 0 0 0 25 0 4 0 524068756 361693184 11953 33554432000 4194304 4627427 140733693951392 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19637/tid=19640] ppid=19635 vsize=353576 CPUtime=0.09 cores=1,3,5,7
/proc/19637/task/19640/stat : 19640 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 2859 0 0 0 9 0 0 0 18 0 4 0 524068756 362061824 11967 33554432000 4194304 4627427 140733693951392 18446744073709551615 251814298026 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 353216

[startup+0.23781 s]
/proc/loadavg: 7.21 7.86 7.94 5/180 19637
/proc/meminfo: memFree=30578420/32950928 swapFree=67111448/67111528
[pid=19637] ppid=19635 vsize=512472 CPUtime=0.9 cores=1,3,5,7
/proc/19637/stat : 19637 (strangenight2-m) R 19635 19637 19209 0 -1 4202496 33968 0 0 0 82 8 0 0 18 0 4 0 524068756 524771328 32931 33554432000 4194304 4627427 140733693951392 18446744073709551615 251814298026 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19637/statm: 128504 35303 341 106 0 123475 0
[pid=19637/tid=19638] ppid=19635 vsize=514016 CPUtime=0.23 cores=1,3,5,7
/proc/19637/task/19638/stat : 19638 (strangenight2-m) D 19635 19637 19209 0 -1 4202560 8924 0 0 0 21 2 0 0 18 0 4 0 524068756 526352384 35303 33554432000 4194304 4627427 140733693951392 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19637/tid=19639] ppid=19635 vsize=515232 CPUtime=0.23 cores=1,3,5,7
/proc/19637/task/19639/stat : 19639 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 9117 0 0 0 21 2 0 0 18 0 4 0 524068756 527597568 35303 33554432000 4194304 4627427 140733693951392 18446744073709551615 251814298026 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19637/tid=19640] ppid=19635 vsize=517108 CPUtime=0.23 cores=1,3,5,7
/proc/19637/task/19640/stat : 19640 (strangenight2-m) D 19635 19637 19209 0 -1 4202560 9086 0 0 0 21 2 0 0 18 0 4 0 524068756 529518592 35908 33554432000 4194304 4627427 140733693951392 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 512472

[startup+0.334077 s]
/proc/loadavg: 7.21 7.86 7.94 5/180 19637
/proc/meminfo: memFree=30578420/32950928 swapFree=67111448/67111528
[pid=19637] ppid=19635 vsize=533032 CPUtime=1.29 cores=1,3,5,7
/proc/19637/stat : 19637 (strangenight2-m) D 19635 19637 19209 0 -1 4202496 51353 0 0 0 117 12 0 0 18 0 4 0 524068756 545824768 50316 33554432000 4194304 4627427 140733693951392 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19637/statm: 133258 50579 341 106 0 128229 0
[pid=19637/tid=19638] ppid=19635 vsize=533032 CPUtime=0.31 cores=1,3,5,7
/proc/19637/task/19638/stat : 19638 (strangenight2-m) D 19635 19637 19209 0 -1 4202560 12802 0 0 0 28 3 0 0 18 0 4 0 524068756 545824768 50579 33554432000 4194304 4627427 140733693951392 18446744073709551615 251814298026 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19637/tid=19639] ppid=19635 vsize=533032 CPUtime=0.31 cores=1,3,5,7
/proc/19637/task/19639/stat : 19639 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 12897 0 0 0 29 2 0 0 18 0 4 0 524068756 545824768 50579 33554432000 4194304 4627427 140733693951392 18446744073709551615 251814298026 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19637/tid=19640] ppid=19635 vsize=533032 CPUtime=0.32 cores=1,3,5,7
/proc/19637/task/19640/stat : 19640 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 12657 0 0 0 29 3 0 0 18 0 4 0 524068756 545824768 50579 33554432000 4194304 4627427 140733693951392 18446744073709551615 251814240059 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 533032

[startup+0.725383 s]
/proc/loadavg: 7.21 7.86 7.94 5/180 19637
/proc/meminfo: memFree=30578420/32950928 swapFree=67111448/67111528
[pid=19637] ppid=19635 vsize=1114920 CPUtime=2.83 cores=1,3,5,7
/proc/19637/stat : 19637 (strangenight2-m) D 19635 19637 19209 0 -1 4202496 111512 0 0 0 256 27 0 0 18 0 4 0 524068756 1141678080 110475 33554432000 4194304 4627427 140733693951392 18446744073709551615 251813936907 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19637/statm: 278730 110655 341 106 0 273701 0
[pid=19637/tid=19638] ppid=19635 vsize=1114920 CPUtime=0.71 cores=1,3,5,7
/proc/19637/task/19638/stat : 19638 (strangenight2-m) D 19635 19637 19209 0 -1 4202560 28218 0 0 0 65 6 0 0 18 0 4 0 524068756 1141678080 113409 33554432000 4194304 4627427 140733693951392 18446744073709551615 251814298026 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19637/tid=19639] ppid=19635 vsize=1116744 CPUtime=0.73 cores=1,3,5,7
/proc/19637/task/19639/stat : 19639 (strangenight2-m) D 19635 19637 19209 0 -1 4202560 28418 0 0 0 66 7 0 0 18 0 4 0 524068756 1143545856 113409 33554432000 4194304 4627427 140733693951392 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19637/tid=19640] ppid=19635 vsize=1116744 CPUtime=0.73 cores=1,3,5,7
/proc/19637/task/19640/stat : 19640 (strangenight2-m) D 19635 19637 19209 0 -1 4202560 28975 0 0 0 66 7 0 0 18 0 4 0 524068756 1143545856 113409 33554432000 4194304 4627427 140733693951392 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 1114920

[startup+1.5008 s]
/proc/loadavg: 7.44 7.89 7.95 10/184 19641
/proc/meminfo: memFree=29904732/32950928 swapFree=67111448/67111528
[pid=19637] ppid=19635 vsize=1178140 CPUtime=5.9 cores=1,3,5,7
/proc/19637/stat : 19637 (strangenight2-m) R 19635 19637 19209 0 -1 4202496 177955 0 0 0 547 43 0 0 18 0 4 0 524068756 1206415360 176918 33554432000 4194304 4627427 140733693951392 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19637/statm: 294535 176918 367 106 0 289506 0
[pid=19637/tid=19638] ppid=19635 vsize=1178140 CPUtime=1.46 cores=1,3,5,7
/proc/19637/task/19638/stat : 19638 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 44498 0 0 0 136 10 0 0 18 0 4 0 524068756 1206415360 176918 33554432000 4194304 4627427 140733693951392 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19637/tid=19639] ppid=19635 vsize=1178140 CPUtime=1.47 cores=1,3,5,7
/proc/19637/task/19639/stat : 19639 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 44414 0 0 0 137 10 0 0 18 0 4 0 524068756 1206415360 176918 33554432000 4194304 4627427 140733693951392 18446744073709551615 251813896199 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19637/tid=19640] ppid=19635 vsize=1178140 CPUtime=1.47 cores=1,3,5,7
/proc/19637/task/19640/stat : 19640 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 45221 0 0 0 136 11 0 0 18 0 4 0 524068756 1206415360 176918 33554432000 4194304 4627427 140733693951392 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 1178140

[startup+3.10054 s]
/proc/loadavg: 7.44 7.89 7.95 9/184 19641
/proc/meminfo: memFree=29816568/32950928 swapFree=67111448/67111528
[pid=19637] ppid=19635 vsize=1257828 CPUtime=12.28 cores=1,3,5,7
/proc/19637/stat : 19637 (strangenight2-m) R 19635 19637 19209 0 -1 4202496 191316 0 0 0 1182 46 0 0 21 0 4 0 524068756 1288015872 190279 33554432000 4194304 4627427 140733693951392 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19637/statm: 314457 190279 367 106 0 309428 0
[pid=19637/tid=19638] ppid=19635 vsize=1257828 CPUtime=3.05 cores=1,3,5,7
/proc/19637/task/19638/stat : 19638 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 47781 0 0 0 294 11 0 0 21 0 4 0 524068756 1288015872 190279 33554432000 4194304 4627427 140733693951392 18446744073709551615 4299657 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19637/tid=19639] ppid=19635 vsize=1257828 CPUtime=3.07 cores=1,3,5,7
/proc/19637/task/19639/stat : 19639 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 48053 0 0 0 296 11 0 0 21 0 4 0 524068756 1288015872 190279 33554432000 4194304 4627427 140733693951392 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19637/tid=19640] ppid=19635 vsize=1257828 CPUtime=3.07 cores=1,3,5,7
/proc/19637/task/19640/stat : 19640 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 48580 0 0 0 295 12 0 0 21 0 4 0 524068756 1288015872 190279 33554432000 4194304 4627427 140733693951392 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 1257828

[startup+6.301 s]
/proc/loadavg: 7.48 7.89 7.95 9/184 19641
/proc/meminfo: memFree=29749996/32950928 swapFree=67111448/67111528
[pid=19637] ppid=19635 vsize=1344596 CPUtime=25.07 cores=1,3,5,7
/proc/19637/stat : 19637 (strangenight2-m) R 19635 19637 19209 0 -1 4202496 205651 0 0 0 2456 51 0 0 20 0 4 0 524068756 1376866304 204614 33554432000 4194304 4627427 140733693951392 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19637/statm: 336149 204614 368 106 0 331120 0
[pid=19637/tid=19638] ppid=19635 vsize=1344596 CPUtime=6.23 cores=1,3,5,7
/proc/19637/task/19638/stat : 19638 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 51512 0 0 0 611 12 0 0 25 0 4 0 524068756 1376866304 204614 33554432000 4194304 4627427 140733693951392 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19637/tid=19639] ppid=19635 vsize=1344596 CPUtime=6.27 cores=1,3,5,7
/proc/19637/task/19639/stat : 19639 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 51689 0 0 0 615 12 0 0 25 0 4 0 524068756 1376866304 204614 33554432000 4194304 4627427 140733693951392 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19637/tid=19640] ppid=19635 vsize=1344596 CPUtime=6.26 cores=1,3,5,7
/proc/19637/task/19640/stat : 19640 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 51547 0 0 0 613 13 0 0 25 0 4 0 524068756 1376866304 204614 33554432000 4194304 4627427 140733693951392 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.07
Current children cumulated vsize (KiB) 1344596

[startup+12.7009 s]
/proc/loadavg: 7.52 7.89 7.95 9/184 19641
/proc/meminfo: memFree=28526008/32950928 swapFree=67111448/67111528
[pid=19637] ppid=19635 vsize=2561592 CPUtime=50.58 cores=1,3,5,7
/proc/19637/stat : 19637 (strangenight2-m) R 19635 19637 19209 0 -1 4202496 502350 0 0 0 4951 107 0 0 22 0 4 0 524068756 2623070208 501312 33554432000 4194304 4627427 140733693951392 18446744073709551615 4420164 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19637/statm: 640398 501312 379 106 0 635369 0
[pid=19637/tid=19638] ppid=19635 vsize=2561592 CPUtime=12.59 cores=1,3,5,7
/proc/19637/task/19638/stat : 19638 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 149927 0 0 0 1229 30 0 0 23 0 4 0 524068756 2623070208 501312 33554432000 4194304 4627427 140733693951392 18446744073709551615 4420161 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19637/tid=19639] ppid=19635 vsize=2561592 CPUtime=12.66 cores=1,3,5,7
/proc/19637/task/19639/stat : 19639 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 150248 0 0 0 1236 30 0 0 22 0 4 0 524068756 2623070208 501312 33554432000 4194304 4627427 140733693951392 18446744073709551615 4420146 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19637/tid=19640] ppid=19635 vsize=2561592 CPUtime=12.66 cores=1,3,5,7
/proc/19637/task/19640/stat : 19640 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 53217 0 0 0 1252 14 0 0 25 0 4 0 524068756 2623070208 501312 33554432000 4194304 4627427 140733693951392 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 2561592

[startup+25.5008 s]
/proc/loadavg: 7.63 7.90 7.95 9/184 19641
/proc/meminfo: memFree=28363108/32950928 swapFree=67111448/67111528
[pid=19637] ppid=19635 vsize=2793712 CPUtime=101.69 cores=1,3,5,7
/proc/19637/stat : 19637 (strangenight2-m) R 19635 19637 19209 0 -1 4202496 541315 0 0 0 10055 114 0 0 25 0 4 0 524068756 2860761088 539848 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19637/statm: 698428 539848 383 106 0 693399 0
[pid=19637/tid=19638] ppid=19635 vsize=2793712 CPUtime=25.31 cores=1,3,5,7
/proc/19637/task/19638/stat : 19638 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 162179 0 0 0 2500 31 0 0 25 0 4 0 524068756 2860761088 539848 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19637/tid=19639] ppid=19635 vsize=2793712 CPUtime=25.45 cores=1,3,5,7
/proc/19637/task/19639/stat : 19639 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 162552 0 0 0 2512 33 0 0 25 0 4 0 524068756 2860761088 539848 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19637/tid=19640] ppid=19635 vsize=2793712 CPUtime=25.45 cores=1,3,5,7
/proc/19637/task/19640/stat : 19640 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 55340 0 0 0 2530 15 0 0 25 0 4 0 524068756 2860761088 539848 33554432000 4194304 4627427 140733693951392 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 2793712

[startup+51.1005 s]
/proc/loadavg: 7.75 7.91 7.95 9/184 19642
/proc/meminfo: memFree=27929564/32950928 swapFree=67111448/67111528
[pid=19637] ppid=19635 vsize=3200184 CPUtime=203.95 cores=1,3,5,7
/proc/19637/stat : 19637 (strangenight2-m) R 19635 19637 19209 0 -1 4202496 638641 0 0 0 20263 132 0 0 25 0 4 0 524068756 3276988416 636578 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19637/statm: 800046 636578 386 106 0 795017 0
[pid=19637/tid=19638] ppid=19635 vsize=3200184 CPUtime=50.77 cores=1,3,5,7
/proc/19637/task/19638/stat : 19638 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 162179 0 0 0 5046 31 0 0 25 0 4 0 524068756 3276988416 636578 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19637/tid=19639] ppid=19635 vsize=3200184 CPUtime=51.05 cores=1,3,5,7
/proc/19637/task/19639/stat : 19639 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 162552 0 0 0 5072 33 0 0 25 0 4 0 524068756 3276988416 636578 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19637/tid=19640] ppid=19635 vsize=3200184 CPUtime=51.05 cores=1,3,5,7
/proc/19637/task/19640/stat : 19640 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 152666 0 0 0 5072 33 0 0 25 0 4 0 524068756 3276988416 636578 33554432000 4194304 4627427 140733693951392 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.95
Current children cumulated vsize (KiB) 3200184

[startup+102.301 s]
/proc/loadavg: 7.89 7.92 7.95 9/184 19644
/proc/meminfo: memFree=27862996/32950928 swapFree=67111448/67111528
[pid=19637] ppid=19635 vsize=3255552 CPUtime=408.5 cores=1,3,5,7
/proc/19637/stat : 19637 (strangenight2-m) R 19635 19637 19209 0 -1 4202496 651098 0 0 0 40716 134 0 0 25 0 4 0 524068756 3333685248 648700 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19637/statm: 813888 648700 386 106 0 808859 0
[pid=19637/tid=19638] ppid=19635 vsize=3255552 CPUtime=101.7 cores=1,3,5,7
/proc/19637/task/19638/stat : 19638 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 162179 0 0 0 10139 31 0 0 25 0 4 0 524068756 3333685248 648700 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19637/tid=19639] ppid=19635 vsize=3255552 CPUtime=102.25 cores=1,3,5,7
/proc/19637/task/19639/stat : 19639 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 162552 0 0 0 10192 33 0 0 25 0 4 0 524068756 3333685248 648700 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19637/tid=19640] ppid=19635 vsize=3255552 CPUtime=102.26 cores=1,3,5,7
/proc/19637/task/19640/stat : 19640 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 165123 0 0 0 10191 35 0 0 25 0 4 0 524068756 3333685248 648700 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.5
Current children cumulated vsize (KiB) 3255552

[startup+162.301 s]

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


[startup+702.301 s]
/proc/loadavg: 8.08 8.08 8.01 9/184 19698
/proc/meminfo: memFree=27792452/32950928 swapFree=67111448/67111528
[pid=19637] ppid=19635 vsize=3441840 CPUtime=2805.11 cores=1,3,5,7
/proc/19637/stat : 19637 (strangenight2-m) R 19635 19637 19209 0 -1 4202496 791371 0 0 0 280342 169 0 0 25 0 4 0 524068756 3524444160 681545 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19637/statm: 860460 681545 388 106 0 855431 0
[pid=19637/tid=19638] ppid=19635 vsize=3441840 CPUtime=698.43 cores=1,3,5,7
/proc/19637/task/19638/stat : 19638 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 200600 0 0 0 69803 40 0 0 25 0 4 0 524068756 3524444160 681545 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19637/tid=19639] ppid=19635 vsize=3441840 CPUtime=702.17 cores=1,3,5,7
/proc/19637/task/19639/stat : 19639 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 203058 0 0 0 70172 45 0 0 25 0 4 0 524068756 3524444160 681545 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19637/tid=19640] ppid=19635 vsize=3441840 CPUtime=702.26 cores=1,3,5,7
/proc/19637/task/19640/stat : 19640 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 189828 0 0 0 70187 39 0 0 25 0 4 0 524068756 3524444160 681545 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.11
Current children cumulated vsize (KiB) 3441840

[startup+762.301 s]
/proc/loadavg: 8.15 8.10 8.02 11/185 19703
/proc/meminfo: memFree=27767324/32950928 swapFree=67111448/67111528
[pid=19637] ppid=19635 vsize=3441840 CPUtime=3044.62 cores=1,3,5,7
/proc/19637/stat : 19637 (strangenight2-m) R 19635 19637 19209 0 -1 4202496 791385 0 0 0 304293 169 0 0 25 0 4 0 524068756 3524444160 681559 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19637/statm: 860460 681559 388 106 0 855431 0
[pid=19637/tid=19638] ppid=19635 vsize=3441840 CPUtime=758.11 cores=1,3,5,7
/proc/19637/task/19638/stat : 19638 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 200604 0 0 0 75771 40 0 0 25 0 4 0 524068756 3524444160 681559 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19637/tid=19639] ppid=19635 vsize=3441840 CPUtime=762.17 cores=1,3,5,7
/proc/19637/task/19639/stat : 19639 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 203068 0 0 0 76172 45 0 0 25 0 4 0 524068756 3524444160 681559 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467823 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19637/tid=19640] ppid=19635 vsize=3441840 CPUtime=762.27 cores=1,3,5,7
/proc/19637/task/19640/stat : 19640 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 189828 0 0 0 76188 39 0 0 25 0 4 0 524068756 3524444160 681559 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.62
Current children cumulated vsize (KiB) 3441840

[startup+822.301 s]
/proc/loadavg: 8.29 8.16 8.04 9/184 19705
/proc/meminfo: memFree=27730876/32950928 swapFree=67111448/67111528
[pid=19637] ppid=19635 vsize=3433592 CPUtime=3283.47 cores=1,3,5,7
/proc/19637/stat : 19637 (strangenight2-m) R 19635 19637 19209 0 -1 4202496 859425 0 0 0 328165 182 0 0 25 0 4 0 524068756 3515998208 689804 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19637/statm: 858398 689804 388 106 0 853369 0
[pid=19637/tid=19638] ppid=19635 vsize=3433592 CPUtime=817.85 cores=1,3,5,7
/proc/19637/task/19638/stat : 19638 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 217268 0 0 0 81742 43 0 0 25 0 4 0 524068756 3515998208 689804 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19637/tid=19639] ppid=19635 vsize=3433592 CPUtime=822.16 cores=1,3,5,7
/proc/19637/task/19639/stat : 19639 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 222972 0 0 0 82168 48 0 0 25 0 4 0 524068756 3515998208 689804 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19637/tid=19640] ppid=19635 vsize=3433592 CPUtime=822.18 cores=1,3,5,7
/proc/19637/task/19640/stat : 19640 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 193967 0 0 0 82176 42 0 0 25 0 4 0 524068756 3515998208 689804 33554432000 4194304 4627427 140733693951392 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3283.47
Current children cumulated vsize (KiB) 3433592

[startup+882.307 s]
/proc/loadavg: 8.16 8.14 8.04 9/184 19707
/proc/meminfo: memFree=27629904/32950928 swapFree=67111448/67111528
[pid=19637] ppid=19635 vsize=3490000 CPUtime=3523.16 cores=1,3,5,7
/proc/19637/stat : 19637 (strangenight2-m) R 19635 19637 19209 0 -1 4202496 880718 0 0 0 352129 187 0 0 25 0 4 0 524068756 3573760000 707979 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467838 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19637/statm: 872500 707979 388 106 0 867471 0
[pid=19637/tid=19638] ppid=19635 vsize=3490000 CPUtime=877.85 cores=1,3,5,7
/proc/19637/task/19638/stat : 19638 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 217268 0 0 0 87742 43 0 0 25 0 4 0 524068756 3573760000 707979 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19637/tid=19639] ppid=19635 vsize=3490000 CPUtime=882.16 cores=1,3,5,7
/proc/19637/task/19639/stat : 19639 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 222972 0 0 0 88168 48 0 0 25 0 4 0 524068756 3573760000 707979 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19637/tid=19640] ppid=19635 vsize=3490000 CPUtime=881.85 cores=1,3,5,7
/proc/19637/task/19640/stat : 19640 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 215260 0 0 0 88138 47 0 0 25 0 4 0 524068756 3573760000 707979 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3523.16
Current children cumulated vsize (KiB) 3490000

[startup+942.301 s]
/proc/loadavg: 8.18 8.15 8.05 9/184 19708
/proc/meminfo: memFree=27607168/32950928 swapFree=67111448/67111528
[pid=19637] ppid=19635 vsize=3490000 CPUtime=3762.81 cores=1,3,5,7
/proc/19637/stat : 19637 (strangenight2-m) R 19635 19637 19209 0 -1 4202496 880718 0 0 0 376094 187 0 0 25 0 4 0 524068756 3573760000 707979 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19637/statm: 872500 707979 388 106 0 867471 0
[pid=19637/tid=19638] ppid=19635 vsize=3490000 CPUtime=937.85 cores=1,3,5,7
/proc/19637/task/19638/stat : 19638 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 217268 0 0 0 93742 43 0 0 25 0 4 0 524068756 3573760000 707979 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19637/tid=19639] ppid=19635 vsize=3490000 CPUtime=942.15 cores=1,3,5,7
/proc/19637/task/19639/stat : 19639 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 222972 0 0 0 94167 48 0 0 25 0 4 0 524068756 3573760000 707979 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19637/tid=19640] ppid=19635 vsize=3490000 CPUtime=941.52 cores=1,3,5,7
/proc/19637/task/19640/stat : 19640 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 215260 0 0 0 94105 47 0 0 25 0 4 0 524068756 3573760000 707979 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3762.81
Current children cumulated vsize (KiB) 3490000

[startup+1002.3 s]
/proc/loadavg: 8.11 8.13 8.05 9/184 19709
/proc/meminfo: memFree=27591732/32950928 swapFree=67111448/67111528
[pid=19637] ppid=19635 vsize=3490000 CPUtime=4002.48 cores=1,3,5,7
/proc/19637/stat : 19637 (strangenight2-m) R 19635 19637 19209 0 -1 4202496 880718 0 0 0 400061 187 0 0 25 0 4 0 524068756 3573760000 707979 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19637/statm: 872500 707979 388 106 0 867471 0
[pid=19637/tid=19638] ppid=19635 vsize=3490000 CPUtime=997.85 cores=1,3,5,7
/proc/19637/task/19638/stat : 19638 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 217268 0 0 0 99742 43 0 0 25 0 4 0 524068756 3573760000 707979 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19637/tid=19639] ppid=19635 vsize=3490000 CPUtime=1002.15 cores=1,3,5,7
/proc/19637/task/19639/stat : 19639 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 222972 0 0 0 100167 48 0 0 25 0 4 0 524068756 3573760000 707979 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19637/tid=19640] ppid=19635 vsize=3490000 CPUtime=1001.2 cores=1,3,5,7
/proc/19637/task/19640/stat : 19640 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 215260 0 0 0 100073 47 0 0 25 0 4 0 524068756 3573760000 707979 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4002.48
Current children cumulated vsize (KiB) 3490000

[startup+1062.3 s]
/proc/loadavg: 8.10 8.12 8.05 9/184 19711
/proc/meminfo: memFree=27604572/32950928 swapFree=67111448/67111528
[pid=19637] ppid=19635 vsize=3490000 CPUtime=4242.15 cores=1,3,5,7
/proc/19637/stat : 19637 (strangenight2-m) R 19635 19637 19209 0 -1 4202496 880718 0 0 0 424028 187 0 0 25 0 4 0 524068756 3573760000 707979 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19637/statm: 872500 707979 388 106 0 867471 0
[pid=19637/tid=19638] ppid=19635 vsize=3490000 CPUtime=1057.85 cores=1,3,5,7
/proc/19637/task/19638/stat : 19638 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 217268 0 0 0 105742 43 0 0 25 0 4 0 524068756 3573760000 707979 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467852 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19637/tid=19639] ppid=19635 vsize=3490000 CPUtime=1062.14 cores=1,3,5,7
/proc/19637/task/19639/stat : 19639 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 222972 0 0 0 106166 48 0 0 25 0 4 0 524068756 3573760000 707979 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19637/tid=19640] ppid=19635 vsize=3490000 CPUtime=1060.87 cores=1,3,5,7
/proc/19637/task/19640/stat : 19640 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 215260 0 0 0 106040 47 0 0 25 0 4 0 524068756 3573760000 707979 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.15
Current children cumulated vsize (KiB) 3490000

[startup+1122.3 s]
/proc/loadavg: 8.04 8.10 8.04 9/184 19713
/proc/meminfo: memFree=27586688/32950928 swapFree=67111448/67111528
[pid=19637] ppid=19635 vsize=3490000 CPUtime=4481.82 cores=1,3,5,7
/proc/19637/stat : 19637 (strangenight2-m) R 19635 19637 19209 0 -1 4202496 880718 0 0 0 447995 187 0 0 25 0 4 0 524068756 3573760000 707979 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19637/statm: 872500 707979 388 106 0 867471 0
[pid=19637/tid=19638] ppid=19635 vsize=3490000 CPUtime=1117.85 cores=1,3,5,7
/proc/19637/task/19638/stat : 19638 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 217268 0 0 0 111742 43 0 0 25 0 4 0 524068756 3573760000 707979 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19637/tid=19639] ppid=19635 vsize=3490000 CPUtime=1122.14 cores=1,3,5,7
/proc/19637/task/19639/stat : 19639 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 222972 0 0 0 112166 48 0 0 25 0 4 0 524068756 3573760000 707979 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19637/tid=19640] ppid=19635 vsize=3490000 CPUtime=1120.54 cores=1,3,5,7
/proc/19637/task/19640/stat : 19640 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 215260 0 0 0 112007 47 0 0 25 0 4 0 524068756 3573760000 707979 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4481.82
Current children cumulated vsize (KiB) 3490000

[startup+1182.3 s]
/proc/loadavg: 8.05 8.09 8.04 9/184 19715
/proc/meminfo: memFree=27600036/32950928 swapFree=67111448/67111528
[pid=19637] ppid=19635 vsize=3379264 CPUtime=4721.49 cores=1,3,5,7
/proc/19637/stat : 19637 (strangenight2-m) R 19635 19637 19209 0 -1 4202496 884056 0 0 0 471959 190 0 0 25 0 4 0 524068756 3460366336 688642 33554432000 4194304 4627427 140733693951392 18446744073709551615 4299705 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19637/statm: 844816 688642 388 106 0 839787 0
[pid=19637/tid=19638] ppid=19635 vsize=3379264 CPUtime=1177.85 cores=1,3,5,7
/proc/19637/task/19638/stat : 19638 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 217268 0 0 0 117742 43 0 0 25 0 4 0 524068756 3460366336 688642 33554432000 4194304 4627427 140733693951392 18446744073709551615 251814264727 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19637/tid=19639] ppid=19635 vsize=3379264 CPUtime=1182.12 cores=1,3,5,7
/proc/19637/task/19639/stat : 19639 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 225769 0 0 0 118162 50 0 0 25 0 4 0 524068756 3460366336 688642 33554432000 4194304 4627427 140733693951392 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19637/tid=19640] ppid=19635 vsize=3379264 CPUtime=1180.22 cores=1,3,5,7
/proc/19637/task/19640/stat : 19640 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 215260 0 0 0 117975 47 0 0 25 0 4 0 524068756 3460366336 688642 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4721.49
Current children cumulated vsize (KiB) 3379264



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202 s]
/proc/loadavg: 8.11 8.10 8.04 9/184 19715
/proc/meminfo: memFree=27631012/32950928 swapFree=67111448/67111528
[pid=19637] ppid=19635 vsize=3379264 CPUtime=4800.19 cores=1,3,5,7
/proc/19637/stat : 19637 (strangenight2-m) R 19635 19637 19209 0 -1 4202496 902265 0 0 0 479825 194 0 0 25 0 4 0 524068756 3460366336 691699 33554432000 4194304 4627427 140733693951392 18446744073709551615 4420243 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19637/statm: 844816 691699 388 106 0 839787 0
[pid=19637/tid=19638] ppid=19635 vsize=3379264 CPUtime=1197.56 cores=1,3,5,7
/proc/19637/task/19638/stat : 19638 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 219116 0 0 0 119712 44 0 0 25 0 4 0 524068756 3460366336 691699 33554432000 4194304 4627427 140733693951392 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=19637/tid=19639] ppid=19635 vsize=3379264 CPUtime=1201.84 cores=1,3,5,7
/proc/19637/task/19639/stat : 19639 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 227613 0 0 0 120132 52 0 0 25 0 4 0 524068756 3460366336 691699 33554432000 4194304 4627427 140733693951392 18446744073709551615 4324208 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19637/tid=19640] ppid=19635 vsize=3379264 CPUtime=1199.81 cores=1,3,5,7
/proc/19637/task/19640/stat : 19640 (strangenight2-m) R 19635 19637 19209 0 -1 4202560 229144 0 0 0 119933 48 0 0 25 0 4 0 524068756 3460366336 691699 33554432000 4194304 4627427 140733693951392 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 3379264

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

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

[startup+1202.11 s]
/proc/loadavg: 8.11 8.10 8.04 9/184 19715
/proc/meminfo: memFree=27631012/32950928 swapFree=67111448/67111528
[pid=19637] ppid=19635 vsize=0 CPUtime=4800.31 cores=1,3,5,7
/proc/19637/stat : 19637 (strangenight2-m) Z 19635 19637 19209 0 -1 4203548 902265 0 0 0 479827 204 0 0 25 0 2 0 524068756 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19637/statm: 0 0 0 0 0 0 0
[pid=19637/tid=19640] ppid=19635 vsize=0 CPUtime=1199.91 cores=1,3,5,7
/proc/19637/task/19640/stat : 19640 (strangenight2-m) R 19635 19637 19209 0 -1 4203588 229144 0 0 0 119933 58 0 0 25 0 2 0 524068756 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.14
CPU time (s): 4800.34
CPU user time (s): 4798.27
CPU system time (s): 2.06769
CPU usage (%): 399.317
Max. virtual memory (cumulated for all children) (KiB): 3490000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.27
system time used= 2.06768
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 902265
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= 13463
involuntary context switches= 22959

runsolver used 1.77373 second user time and 4.79927 second system time

The end

Launcher Data 

Begin job on node126 at 2011-04-30 02:51:41
IDJOB=3290990
IDBENCH=83463
IDSOLVER=1586
FILE ID=node126/3290990-1304124698
RUNJOBID= node126-1304124689-19555
PBS_JOBID= 13170739
Free space on /tmp= 71492 MiB

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

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

MD5SUM BENCH= 9cec6483d4ca03e8555377ba059b61ae
RANDOM SEED=86095829

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30578700 kB
Buffers:        269744 kB
Cached:        1532232 kB
SwapCached:         76 kB
Active:         435232 kB
Inactive:      1620816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30578700 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:          114280 kB
Writeback:           0 kB
AnonPages:      254104 kB
Mapped:          15572 kB
Slab:           253416 kB
PageTables:       5180 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   478648 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= 71488 MiB
End job on node126 at 2011-04-30 03:11:45