Trace number 3369540

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.33 1203.9

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.00	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369540-1305414945.cnf'
0.00/0.01	c -- header says num vars:          13574
0.00/0.01	c -- header says num clauses:     1301188
2.53/0.70	c -- clauses added:            0 learnts,      1301188 normals,            0 xors
2.53/0.70	c -- vars added      13574
2.53/0.70	c Parsing time:  2.46 s
2.53/0.70	c  N st     0         0     13574   1264678     34486         0  11439771         0   no data   no data  --
3.93/1.06	c asymm  cl-useful: 0/6731/1263470 lits-rem:0 time: 1.17
21.04/5.39	c Flit:    23 Blit:      0 bXBeca:    0 bXProp:   88 Bins:      0 BRemL:      0 BRemN:      0 P: 138.2M T: 16.28
25.04/6.32	c Replacing       88 vars Replaced   886898 lits Time:     2.93 s 
27.63/7.06	c bin-w-bin subsume rem          764 bins  time:  0.02 s
33.21/8.41	c subs with bin:     7631  lits-rem:        12  v-fix:    0  time:  5.34 s
33.21/8.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1343 time:  0.08 s
33.21/8.46	c Removed useless bin:       0  fixed:     0  props:   3.63M  time:  0.11 s
4251.44/1066.22	c lits-rem:         0  cl-subs:    25458  v-elim:   1509  v-fix:    0  time: 4207.08 s
4251.44/1066.24	c Finding binary XORs  T:     0.08 s  found:       2
4251.44/1066.29	c Replacing        2 vars Replaced       26 lits Time:     0.21 s 
4333.61/1086.90	c Finding non-binary XORs:    81.85 s (found:       0, avg size: nan)
4333.61/1086.90	c calculated reachability. Time: 0.02
4334.04/1086.94	c Calc default polars -  time:   0.16 s pos:     376 undec:    2654 neg:   10544
4334.04/1086.94	c =========================================================================================
4334.04/1086.94	c types(t): F = full restart, N = normal restart
4334.04/1086.94	c types(t): S = simplification begin/end, E = solution found
4334.04/1086.94	c restart types(rt): st = static, dy = dynamic
4334.04/1086.94	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
4334.04/1086.94	c  B st     0         0     10920   1233502     28296         0  10491420         0   no data   no data  --
4341.18/1088.75	c  N dy    20      4041     10918   1233502     28404      3882  10491420    133995      8.95     10.40  --
4346.78/1090.14	c Finding binary XORs  T:     0.06 s  found:      14
4348.75/1090.61	c  N dy    48      8428     10901   1233489     56030      8191  10490855    369920     10.06     10.79  --
4355.98/1092.47	c  N dy    66     12517     10900   1233489     56045     12244  10490854    561077      9.69     10.40  --
4363.10/1094.29	c  N dy    91     16567     10900   1233489     56052     16260  10490854    747676      9.83     12.54  --
4369.13/1095.76	c  N dy   117     20576     10900   1233489     56061     10410  10490854    317189     10.02     10.64  --
4375.85/1097.41	c  N dy   144     24615     10900   1233489     56071     14414  10490852    498647     10.18     11.04  --
4376.25/1097.52	c  F st   148     25002     10900   1233489     56071     14796  10490852    513812     10.23   no data  --
4376.65/1097.62	c Replacing       14 vars Replaced      662 lits Time:     0.19 s 
4384.24/1099.57	c  N dy   154     30002     10886   1233475     56022     19737  10490774    711377     10.23   no data  --
4384.24/1099.57	c  S st   154     30002     10886   1233475     56022     19737  10490774    711377     10.23   no data  --
4388.22/1100.50	c  S st   154     30504     10886   1233475     56036     20236  10490774    726007     10.23   no data  --
4388.22/1100.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
4388.22/1100.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4417.37/1107.87	c Flit:     5 Blit:      2 bXBeca:    0 bXProp:    8 Bins:   2841 BRemL:   1309 BRemN:      8 P: 200.0M T: 28.81
4417.72/1107.97	c Replacing        8 vars Replaced     1076 lits Time:     0.40 s 
4419.32/1108.37	c bin-w-bin subsume rem          125 bins  time:  0.03 s
4427.29/1110.37	c subs with bin:     4816  lits-rem:     45433  v-fix:    0  time:  7.95 s
4427.29/1110.39	c Subs w/ non-existent bins:     10 l-rem:     43 v-fix:     0 done:    158 time:  0.10 s
4427.69/1110.41	c Removed useless bin:       8  fixed:     0  props:   1.54M  time:  0.07 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-3369540-1305414945/watcher-3369540-1305414945 -o /tmp/evaluation-result-3369540-1305414945/solver-3369540-1305414945 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369540-1305414945.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.40 7.69 7.78 5/367 16503
/proc/meminfo: memFree=22922112/32950928 swapFree=65730864/67111528
[pid=16503] ppid=16501 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/16503/stat : 16503 (strangenight1-m) R 16501 16503 16432 0 -1 4202496 412 0 0 0 1 0 0 0 24 0 4 0 731725333 52465664 352 33554432000 4194304 4650419 140735774160432 18446744073709551615 46930632927154 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/16503/statm: 12809 352 303 112 0 7774 0
[pid=16503/tid=16504] ppid=16501 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/16503/task/16504/stat : 16504 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 731725333 52465664 357 33554432000 4194304 4650419 140735774160432 18446744073709551615 46930632926745 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16503/tid=16505] ppid=16501 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/16503/task/16505/stat : 16505 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 731725333 52465664 357 33554432000 4194304 4650419 140735774160432 18446744073709551615 46930632926739 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16503/tid=16506] ppid=16501 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/16503/task/16506/stat : 16506 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 731725333 52465664 357 33554432000 4194304 4650419 140735774160432 18446744073709551615 46930632926745 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.094755 s]
/proc/loadavg: 6.40 7.69 7.78 5/367 16503
/proc/meminfo: memFree=22922112/32950928 swapFree=65730864/67111528
[pid=16503] ppid=16501 vsize=286484 CPUtime=0.35 cores=0,2,4,6
/proc/16503/stat : 16503 (strangenight1-m) R 16501 16503 16432 0 -1 4202496 9571 0 0 0 33 2 0 0 25 0 4 0 731725333 293359616 9489 33554432000 4194304 4650419 140735774160432 18446744073709551615 260905055265 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16503/statm: 71621 9492 344 112 0 66586 0
[pid=16503/tid=16504] ppid=16501 vsize=286484 CPUtime=0.08 cores=0,2,4,6
/proc/16503/task/16504/stat : 16504 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 2289 0 0 0 8 0 0 0 25 0 4 0 731725333 293359616 9492 33554432000 4194304 4650419 140735774160432 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16503/tid=16505] ppid=16501 vsize=286484 CPUtime=0.08 cores=0,2,4,6
/proc/16503/task/16505/stat : 16505 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 2291 0 0 0 8 0 0 0 25 0 4 0 731725333 293359616 9495 33554432000 4194304 4650419 140735774160432 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16503/tid=16506] ppid=16501 vsize=286484 CPUtime=0.08 cores=0,2,4,6
/proc/16503/task/16506/stat : 16506 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 2275 0 0 0 8 0 0 0 25 0 4 0 731725333 293359616 9495 33554432000 4194304 4650419 140735774160432 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 286484

[startup+0.101114 s]
/proc/loadavg: 6.40 7.69 7.78 5/367 16503
/proc/meminfo: memFree=22922112/32950928 swapFree=65730864/67111528
[pid=16503] ppid=16501 vsize=286484 CPUtime=0.37 cores=0,2,4,6
/proc/16503/stat : 16503 (strangenight1-m) R 16501 16503 16432 0 -1 4202496 10321 0 0 0 35 2 0 0 25 0 4 0 731725333 293359616 10239 33554432000 4194304 4650419 140735774160432 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16503/statm: 71621 10239 345 112 0 66586 0
[pid=16503/tid=16504] ppid=16501 vsize=286484 CPUtime=0.08 cores=0,2,4,6
/proc/16503/task/16504/stat : 16504 (strangenight1-m) D 16501 16503 16432 0 -1 4202560 2472 0 0 0 8 0 0 0 25 0 4 0 731725333 293359616 10239 33554432000 4194304 4650419 140735774160432 18446744073709551615 260905437367 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16503/tid=16505] ppid=16501 vsize=286484 CPUtime=0.08 cores=0,2,4,6
/proc/16503/task/16505/stat : 16505 (strangenight1-m) D 16501 16503 16432 0 -1 4202560 2478 0 0 0 8 0 0 0 25 0 4 0 731725333 293359616 10239 33554432000 4194304 4650419 140735774160432 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16503/tid=16506] ppid=16501 vsize=286484 CPUtime=0.09 cores=0,2,4,6
/proc/16503/task/16506/stat : 16506 (strangenight1-m) D 16501 16503 16432 0 -1 4202560 2463 0 0 0 9 0 0 0 25 0 4 0 731725333 293359616 10239 33554432000 4194304 4650419 140735774160432 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 286484

[startup+0.322987 s]
/proc/loadavg: 6.40 7.69 7.78 5/367 16503
/proc/meminfo: memFree=22922112/32950928 swapFree=65730864/67111528
[pid=16503] ppid=16501 vsize=466936 CPUtime=1.37 cores=0,2,4,6
/proc/16503/stat : 16503 (strangenight1-m) D 16501 16503 16432 0 -1 4202496 52843 0 0 0 126 11 0 0 18 0 4 0 731725333 478142464 51862 33554432000 4194304 4650419 140735774160432 18446744073709551615 4373896 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16503/statm: 116734 51862 345 112 0 111699 0
[pid=16503/tid=16504] ppid=16501 vsize=467848 CPUtime=0.33 cores=0,2,4,6
/proc/16503/task/16504/stat : 16504 (strangenight1-m) D 16501 16503 16432 0 -1 4202560 13073 0 0 0 30 3 0 0 25 0 4 0 731725333 479076352 51862 33554432000 4194304 4650419 140735774160432 18446744073709551615 260905451946 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16503/tid=16505] ppid=16501 vsize=467848 CPUtime=0.34 cores=0,2,4,6
/proc/16503/task/16505/stat : 16505 (strangenight1-m) D 16501 16503 16432 0 -1 4202560 13329 0 0 0 31 3 0 0 18 0 4 0 731725333 479076352 51862 33554432000 4194304 4650419 140735774160432 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16503/tid=16506] ppid=16501 vsize=467848 CPUtime=0.33 cores=0,2,4,6
/proc/16503/task/16506/stat : 16506 (strangenight1-m) D 16501 16503 16432 0 -1 4202560 12914 0 0 0 31 2 0 0 18 0 4 0 731725333 479076352 51862 33554432000 4194304 4650419 140735774160432 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 466936

[startup+0.783743 s]
/proc/loadavg: 6.40 7.69 7.78 5/367 16503
/proc/meminfo: memFree=22922112/32950928 swapFree=65730864/67111528
[pid=16503] ppid=16501 vsize=790740 CPUtime=3.15 cores=0,2,4,6
/proc/16503/stat : 16503 (strangenight1-m) S 16501 16503 16432 0 -1 4202496 109131 0 0 0 289 26 0 0 18 0 4 0 731725333 809717760 107972 33554432000 4194304 4650419 140735774160432 18446744073709551615 260905499118 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16503/statm: 198520 110954 368 112 0 193485 0
[pid=16503/tid=16504] ppid=16501 vsize=794080 CPUtime=0.87 cores=0,2,4,6
/proc/16503/task/16504/stat : 16504 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 27488 0 0 0 82 5 0 0 25 0 4 0 731725333 813137920 110962 33554432000 4194304 4650419 140735774160432 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16503/tid=16505] ppid=16501 vsize=794080 CPUtime=0.88 cores=0,2,4,6
/proc/16503/task/16505/stat : 16505 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 27946 0 0 0 81 7 0 0 19 0 4 0 731725333 813137920 110964 33554432000 4194304 4650419 140735774160432 18446744073709551615 4370727 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16503/tid=16506] ppid=16501 vsize=794080 CPUtime=0.88 cores=0,2,4,6
/proc/16503/task/16506/stat : 16506 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 28475 0 0 0 82 6 0 0 18 0 4 0 731725333 813137920 110964 33554432000 4194304 4650419 140735774160432 18446744073709551615 4366900 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 790740

[startup+1.50105 s]
/proc/loadavg: 6.40 7.69 7.78 9/371 16507
/proc/meminfo: memFree=22420748/32950928 swapFree=65730864/67111528
[pid=16503] ppid=16501 vsize=874644 CPUtime=5.9 cores=0,2,4,6
/proc/16503/stat : 16503 (strangenight1-m) R 16501 16503 16432 0 -1 4202496 206999 0 0 0 548 42 0 0 19 0 4 0 731725333 895635456 127049 33554432000 4194304 4650419 140735774160432 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16503/statm: 218661 127049 373 112 0 213626 0
[pid=16503/tid=16504] ppid=16501 vsize=874644 CPUtime=1.47 cores=0,2,4,6
/proc/16503/task/16504/stat : 16504 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 59237 0 0 0 137 10 0 0 18 0 4 0 731725333 895635456 127049 33554432000 4194304 4650419 140735774160432 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16503/tid=16505] ppid=16501 vsize=874644 CPUtime=1.46 cores=0,2,4,6
/proc/16503/task/16505/stat : 16505 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 58681 0 0 0 134 12 0 0 19 0 4 0 731725333 895635456 127049 33554432000 4194304 4650419 140735774160432 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16503/tid=16506] ppid=16501 vsize=874644 CPUtime=1.47 cores=0,2,4,6
/proc/16503/task/16506/stat : 16506 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 30390 0 0 0 140 7 0 0 19 0 4 0 731725333 895635456 127049 33554432000 4194304 4650419 140735774160432 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 874644

[startup+3.10075 s]
/proc/loadavg: 6.40 7.69 7.78 9/371 16507
/proc/meminfo: memFree=22392848/32950928 swapFree=65730864/67111528
[pid=16503] ppid=16501 vsize=885348 CPUtime=12.27 cores=0,2,4,6
/proc/16503/stat : 16503 (strangenight1-m) R 16501 16503 16432 0 -1 4202496 214102 0 0 0 1184 43 0 0 25 0 4 0 731725333 906596352 134152 33554432000 4194304 4650419 140735774160432 18446744073709551615 260905055265 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16503/statm: 221337 134152 373 112 0 216302 0
[pid=16503/tid=16504] ppid=16501 vsize=885348 CPUtime=3.06 cores=0,2,4,6
/proc/16503/task/16504/stat : 16504 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 60011 0 0 0 296 10 0 0 21 0 4 0 731725333 906596352 134153 33554432000 4194304 4650419 140735774160432 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16503/tid=16505] ppid=16501 vsize=885348 CPUtime=3.04 cores=0,2,4,6
/proc/16503/task/16505/stat : 16505 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 60425 0 0 0 291 13 0 0 25 0 4 0 731725333 906596352 134153 33554432000 4194304 4650419 140735774160432 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16503/tid=16506] ppid=16501 vsize=885348 CPUtime=3.08 cores=0,2,4,6
/proc/16503/task/16506/stat : 16506 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 33308 0 0 0 300 8 0 0 22 0 4 0 731725333 906596352 134153 33554432000 4194304 4650419 140735774160432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 885348

[startup+6.30117 s]
/proc/loadavg: 6.61 7.71 7.79 9/371 16507
/proc/meminfo: memFree=22351412/32950928 swapFree=65730864/67111528
[pid=16503] ppid=16501 vsize=986480 CPUtime=25.04 cores=0,2,4,6
/proc/16503/stat : 16503 (strangenight1-m) R 16501 16503 16432 0 -1 4202496 223530 0 0 0 2457 47 0 0 25 0 4 0 731725333 1010155520 143580 33554432000 4194304 4650419 140735774160432 18446744073709551615 4313339 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/16503/statm: 246620 143580 377 112 0 241585 0
[pid=16503/tid=16504] ppid=16501 vsize=986480 CPUtime=6.26 cores=0,2,4,6
/proc/16503/task/16504/stat : 16504 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 62325 0 0 0 616 10 0 0 25 0 4 0 731725333 1010155520 143580 33554432000 4194304 4650419 140735774160432 18446744073709551615 4457430 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16503/tid=16505] ppid=16501 vsize=986480 CPUtime=6.2 cores=0,2,4,6
/proc/16503/task/16505/stat : 16505 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 63017 0 0 0 605 15 0 0 25 0 4 0 731725333 1010155520 143580 33554432000 4194304 4650419 140735774160432 18446744073709551615 4306687 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=16503/tid=16506] ppid=16501 vsize=986480 CPUtime=6.27 cores=0,2,4,6
/proc/16503/task/16506/stat : 16506 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 35679 0 0 0 619 8 0 0 25 0 4 0 731725333 1010155520 143580 33554432000 4194304 4650419 140735774160432 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.04
Current children cumulated vsize (KiB) 986480

[startup+12.701 s]
/proc/loadavg: 6.72 7.71 7.79 9/371 16507
/proc/meminfo: memFree=21395800/32950928 swapFree=65730864/67111528
[pid=16503] ppid=16501 vsize=1919932 CPUtime=50.36 cores=0,2,4,6
/proc/16503/stat : 16503 (strangenight1-m) R 16501 16503 16432 0 -1 4202496 460630 0 0 0 4955 81 0 0 25 0 4 0 731725333 1966010368 372702 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16503/statm: 479983 372702 391 112 0 474948 0
[pid=16503/tid=16504] ppid=16501 vsize=1919932 CPUtime=12.61 cores=0,2,4,6
/proc/16503/task/16504/stat : 16504 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 150915 0 0 0 1238 23 0 0 25 0 4 0 731725333 1966010368 372702 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16503/tid=16505] ppid=16501 vsize=1919932 CPUtime=12.59 cores=0,2,4,6
/proc/16503/task/16505/stat : 16505 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 142361 0 0 0 1233 26 0 0 25 0 4 0 731725333 1966010368 372702 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16503/tid=16506] ppid=16501 vsize=1919932 CPUtime=12.64 cores=0,2,4,6
/proc/16503/task/16506/stat : 16506 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 37379 0 0 0 1255 9 0 0 25 0 4 0 731725333 1966010368 372702 33554432000 4194304 4650419 140735774160432 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.36
Current children cumulated vsize (KiB) 1919932

[startup+25.5006 s]
/proc/loadavg: 7.00 7.73 7.79 9/371 16508
/proc/meminfo: memFree=21355832/32950928 swapFree=65730864/67111528
[pid=16503] ppid=16501 vsize=1919932 CPUtime=101.4 cores=0,2,4,6
/proc/16503/stat : 16503 (strangenight1-m) R 16501 16503 16432 0 -1 4202496 462623 0 0 0 10058 82 0 0 25 0 4 0 731725333 1966010368 374695 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16503/statm: 479983 374695 392 112 0 474948 0
[pid=16503/tid=16504] ppid=16501 vsize=1919932 CPUtime=25.4 cores=0,2,4,6
/proc/16503/task/16504/stat : 16504 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 150915 0 0 0 2517 23 0 0 25 0 4 0 731725333 1966010368 374695 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16503/tid=16505] ppid=16501 vsize=1919932 CPUtime=25.39 cores=0,2,4,6
/proc/16503/task/16505/stat : 16505 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 142361 0 0 0 2513 26 0 0 25 0 4 0 731725333 1966010368 374695 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16503/tid=16506] ppid=16501 vsize=1919932 CPUtime=25.44 cores=0,2,4,6
/proc/16503/task/16506/stat : 16506 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 39372 0 0 0 2534 10 0 0 25 0 4 0 731725333 1966010368 374695 33554432000 4194304 4650419 140735774160432 18446744073709551615 4370570 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 1919932

[startup+51.101 s]
/proc/loadavg: 7.34 7.75 7.80 9/371 16508
/proc/meminfo: memFree=21035592/32950928 swapFree=65730864/67111528
[pid=16503] ppid=16501 vsize=2242148 CPUtime=203.5 cores=0,2,4,6
/proc/16503/stat : 16503 (strangenight1-m) R 16501 16503 16432 0 -1 4202496 538107 0 0 0 20257 93 0 0 25 0 4 0 731725333 2295959552 448644 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16503/statm: 560537 448644 392 112 0 555502 0
[pid=16503/tid=16504] ppid=16501 vsize=2242148 CPUtime=51 cores=0,2,4,6
/proc/16503/task/16504/stat : 16504 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 150915 0 0 0 5077 23 0 0 25 0 4 0 731725333 2295959552 448644 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16503/tid=16505] ppid=16501 vsize=2242148 CPUtime=50.99 cores=0,2,4,6
/proc/16503/task/16505/stat : 16505 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 142361 0 0 0 5073 26 0 0 25 0 4 0 731725333 2295959552 448644 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16503/tid=16506] ppid=16501 vsize=2242148 CPUtime=51.04 cores=0,2,4,6
/proc/16503/task/16506/stat : 16506 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 114856 0 0 0 5083 21 0 0 25 0 4 0 731725333 2295959552 448644 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.5
Current children cumulated vsize (KiB) 2242148

[startup+102.301 s]
/proc/loadavg: 7.81 7.81 7.82 9/371 16510
/proc/meminfo: memFree=20885468/32950928 swapFree=65730864/67111528
[pid=16503] ppid=16501 vsize=2368596 CPUtime=407.71 cores=0,2,4,6
/proc/16503/stat : 16503 (strangenight1-m) R 16501 16503 16432 0 -1 4202496 860595 0 0 0 40639 132 0 0 25 0 4 0 731725333 2425442304 456368 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476331 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16503/statm: 592149 456368 392 112 0 587114 0
[pid=16503/tid=16504] ppid=16501 vsize=2368596 CPUtime=102.21 cores=0,2,4,6
/proc/16503/task/16504/stat : 16504 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 158072 0 0 0 10197 24 0 0 25 0 4 0 731725333 2425442304 456368 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16503/tid=16505] ppid=16501 vsize=2368596 CPUtime=102.2 cores=0,2,4,6
/proc/16503/task/16505/stat : 16505 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 431240 0 0 0 10159 61 0 0 25 0 4 0 731725333 2425442304 456368 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16503/tid=16506] ppid=16501 vsize=2368596 CPUtime=102.26 cores=0,2,4,6
/proc/16503/task/16506/stat : 16506 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 138691 0 0 0 10202 24 0 0 25 0 4 0 731725333 2425442304 456368 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 407.71
Current children cumulated vsize (KiB) 2368596

[startup+162.301 s]

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

[pid=16503] ppid=16501 vsize=2379664 CPUtime=2800.54 cores=0,2,4,6
/proc/16503/stat : 16503 (strangenight1-m) R 16501 16503 16432 0 -1 4202496 1607090 0 0 0 279831 223 0 0 25 0 4 0 731725333 2436775936 461232 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16503/statm: 594916 461232 396 112 0 589881 0
[pid=16503/tid=16504] ppid=16501 vsize=2379664 CPUtime=702.1 cores=0,2,4,6
/proc/16503/task/16504/stat : 16504 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 158286 0 0 0 70185 25 0 0 25 0 4 0 731725333 2436775936 461232 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16503/tid=16505] ppid=16501 vsize=2379664 CPUtime=702.21 cores=0,2,4,6
/proc/16503/task/16505/stat : 16505 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 768948 0 0 0 70119 102 0 0 25 0 4 0 731725333 2436775936 461232 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16503/tid=16506] ppid=16501 vsize=2379664 CPUtime=702.26 cores=0,2,4,6
/proc/16503/task/16506/stat : 16506 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 546305 0 0 0 70154 72 0 0 25 0 4 0 731725333 2436775936 461232 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2800.54
Current children cumulated vsize (KiB) 2379664

[startup+762.301 s]
/proc/loadavg: 8.15 8.07 7.94 9/371 16527
/proc/meminfo: memFree=20719800/32950928 swapFree=65730864/67111528
[pid=16503] ppid=16501 vsize=2379664 CPUtime=3039.82 cores=0,2,4,6
/proc/16503/stat : 16503 (strangenight1-m) R 16501 16503 16432 0 -1 4202496 5244548 0 0 0 303297 685 0 0 25 0 4 0 731725333 2436775936 462479 33554432000 4194304 4650419 140735774160432 18446744073709551615 260905091491 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16503/statm: 594916 462486 396 112 0 589881 0
[pid=16503/tid=16504] ppid=16501 vsize=2379664 CPUtime=762.1 cores=0,2,4,6
/proc/16503/task/16504/stat : 16504 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 395564 0 0 0 76155 55 0 0 25 0 4 0 731725333 2436775936 461441 33554432000 4194304 4650419 140735774160432 18446744073709551615 4441171 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16503/tid=16505] ppid=16501 vsize=2379664 CPUtime=762.21 cores=0,2,4,6
/proc/16503/task/16505/stat : 16505 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 1962095 0 0 0 75959 262 0 0 25 0 4 0 731725333 2436775936 461452 33554432000 4194304 4650419 140735774160432 18446744073709551615 4433074 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16503/tid=16506] ppid=16501 vsize=2379664 CPUtime=762.28 cores=0,2,4,6
/proc/16503/task/16506/stat : 16506 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 2754722 0 0 0 75884 344 0 0 25 0 4 0 731725333 2436775936 461461 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3039.82
Current children cumulated vsize (KiB) 2379664

[startup+822.301 s]
/proc/loadavg: 8.01 8.04 7.94 9/371 16559
/proc/meminfo: memFree=21254112/32950928 swapFree=65730864/67111528
[pid=16503] ppid=16501 vsize=2379664 CPUtime=3279.03 cores=0,2,4,6
/proc/16503/stat : 16503 (strangenight1-m) R 16501 16503 16432 0 -1 4202496 6889788 0 0 0 326947 956 0 0 25 0 4 0 731725333 2436775936 459577 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16503/statm: 594916 459577 396 112 0 589881 0
[pid=16503/tid=16504] ppid=16501 vsize=2379664 CPUtime=822.08 cores=0,2,4,6
/proc/16503/task/16504/stat : 16504 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 744444 0 0 0 82099 109 0 0 25 0 4 0 731725333 2436775936 459577 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16503/tid=16505] ppid=16501 vsize=2379664 CPUtime=822.2 cores=0,2,4,6
/proc/16503/task/16505/stat : 16505 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 3097520 0 0 0 81767 453 0 0 25 0 4 0 731725333 2436775936 459577 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16503/tid=16506] ppid=16501 vsize=2379664 CPUtime=822.27 cores=0,2,4,6
/proc/16503/task/16506/stat : 16506 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 2914273 0 0 0 81856 371 0 0 25 0 4 0 731725333 2436775936 459577 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3279.03
Current children cumulated vsize (KiB) 2379664

[startup+882.315 s]
/proc/loadavg: 8.08 8.06 7.95 9/371 16560
/proc/meminfo: memFree=21194768/32950928 swapFree=65730864/67111528
[pid=16503] ppid=16501 vsize=2379664 CPUtime=3518.3 cores=0,2,4,6
/proc/16503/stat : 16503 (strangenight1-m) R 16501 16503 16432 0 -1 4202496 7192169 0 0 0 350824 1006 0 0 25 0 4 0 731725333 2436775936 461278 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16503/statm: 594916 461278 396 112 0 589881 0
[pid=16503/tid=16504] ppid=16501 vsize=2379664 CPUtime=882.08 cores=0,2,4,6
/proc/16503/task/16504/stat : 16504 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 796986 0 0 0 88090 118 0 0 25 0 4 0 731725333 2436775936 461278 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16503/tid=16505] ppid=16501 vsize=2379664 CPUtime=882.21 cores=0,2,4,6
/proc/16503/task/16505/stat : 16505 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 3130316 0 0 0 87764 457 0 0 25 0 4 0 731725333 2436775936 461278 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16503/tid=16506] ppid=16501 vsize=2379664 CPUtime=882.28 cores=0,2,4,6
/proc/16503/task/16506/stat : 16506 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 3131316 0 0 0 87821 407 0 0 25 0 4 0 731725333 2436775936 461278 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3518.3
Current children cumulated vsize (KiB) 2379664

[startup+942.301 s]
/proc/loadavg: 8.17 8.09 7.96 9/371 16562
/proc/meminfo: memFree=21148320/32950928 swapFree=65730864/67111528
[pid=16503] ppid=16501 vsize=2379664 CPUtime=3757.49 cores=0,2,4,6
/proc/16503/stat : 16503 (strangenight1-m) R 16501 16503 16432 0 -1 4202496 7490226 0 0 0 374692 1057 0 0 25 0 4 0 731725333 2436775936 466960 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16503/statm: 594916 466960 396 112 0 589881 0
[pid=16503/tid=16504] ppid=16501 vsize=2379664 CPUtime=942.05 cores=0,2,4,6
/proc/16503/task/16504/stat : 16504 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 878866 0 0 0 94073 132 0 0 25 0 4 0 731725333 2436775936 466960 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16503/tid=16505] ppid=16501 vsize=2379664 CPUtime=942.21 cores=0,2,4,6
/proc/16503/task/16505/stat : 16505 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 3131292 0 0 0 93763 458 0 0 25 0 4 0 731725333 2436775936 466960 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16503/tid=16506] ppid=16501 vsize=2379664 CPUtime=942.27 cores=0,2,4,6
/proc/16503/task/16506/stat : 16506 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 3346517 0 0 0 93784 443 0 0 25 0 4 0 731725333 2436775936 466960 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3757.49
Current children cumulated vsize (KiB) 2379664

[startup+1002.3 s]
/proc/loadavg: 8.25 8.12 7.98 9/371 16564
/proc/meminfo: memFree=21075328/32950928 swapFree=65730864/67111528
[pid=16503] ppid=16501 vsize=2379664 CPUtime=3996.71 cores=0,2,4,6
/proc/16503/stat : 16503 (strangenight1-m) R 16501 16503 16432 0 -1 4202496 7884939 0 0 0 398551 1120 0 0 25 0 4 0 731725333 2436775936 470632 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/16503/statm: 594916 470632 396 112 0 589881 0
[pid=16503/tid=16504] ppid=16501 vsize=2379664 CPUtime=1002.05 cores=0,2,4,6
/proc/16503/task/16504/stat : 16504 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 1117615 0 0 0 100034 171 0 0 25 0 4 0 731725333 2436775936 470632 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16503/tid=16505] ppid=16501 vsize=2379664 CPUtime=1002.21 cores=0,2,4,6
/proc/16503/task/16505/stat : 16505 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 3197045 0 0 0 99752 469 0 0 25 0 4 0 731725333 2436775936 470632 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16503/tid=16506] ppid=16501 vsize=2379664 CPUtime=1002.26 cores=0,2,4,6
/proc/16503/task/16506/stat : 16506 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 3436728 0 0 0 99770 456 0 0 25 0 4 0 731725333 2436775936 470632 33554432000 4194304 4650419 140735774160432 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3996.71
Current children cumulated vsize (KiB) 2379664

[startup+1062.3 s]
/proc/loadavg: 8.24 8.13 7.99 9/371 16565
/proc/meminfo: memFree=21082708/32950928 swapFree=65730864/67111528
[pid=16503] ppid=16501 vsize=2383304 CPUtime=4235.91 cores=0,2,4,6
/proc/16503/stat : 16503 (strangenight1-m) R 16501 16503 16432 0 -1 4202496 8262786 0 0 0 422410 1181 0 0 25 0 4 0 731725333 2440503296 468424 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16503/statm: 595826 468443 398 112 0 590791 0
[pid=16503/tid=16504] ppid=16501 vsize=2383304 CPUtime=1062.03 cores=0,2,4,6
/proc/16503/task/16504/stat : 16504 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 1385084 0 0 0 105991 212 0 0 25 0 4 0 731725333 2440503296 468452 33554432000 4194304 4650419 140735774160432 18446744073709551615 4313691 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16503/tid=16505] ppid=16501 vsize=2383304 CPUtime=1062.2 cores=0,2,4,6
/proc/16503/task/16505/stat : 16505 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 3284582 0 0 0 105737 483 0 0 25 0 4 0 731725333 2440503296 468462 33554432000 4194304 4650419 140735774160432 18446744073709551615 260905091541 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16503/tid=16506] ppid=16501 vsize=2383304 CPUtime=1061.88 cores=0,2,4,6
/proc/16503/task/16506/stat : 16506 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 3459607 0 0 0 105727 461 0 0 25 0 4 0 731725333 2440503296 468471 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4235.91
Current children cumulated vsize (KiB) 2383304

[startup+1122.3 s]
/proc/loadavg: 8.23 8.13 8.00 9/371 16567
/proc/meminfo: memFree=20983444/32950928 swapFree=65730864/67111528
[pid=16503] ppid=16501 vsize=2429564 CPUtime=4475.15 cores=0,2,4,6
/proc/16503/stat : 16503 (strangenight1-m) R 16501 16503 16432 0 -1 4202496 9584438 0 0 0 446165 1350 0 0 25 0 4 0 731725333 2487873536 487263 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16503/statm: 607391 487263 417 112 0 602356 0
[pid=16503/tid=16504] ppid=16501 vsize=2429564 CPUtime=1122.02 cores=0,2,4,6
/proc/16503/task/16504/stat : 16504 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 1715213 0 0 0 111944 258 0 0 25 0 4 0 731725333 2487873536 487263 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16503/tid=16505] ppid=16501 vsize=2429564 CPUtime=1122.2 cores=0,2,4,6
/proc/16503/task/16505/stat : 16505 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 3992964 0 0 0 111649 571 0 0 25 0 4 0 731725333 2487873536 487263 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16503/tid=16506] ppid=16501 vsize=2429564 CPUtime=1121.16 cores=0,2,4,6
/proc/16503/task/16506/stat : 16506 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 3529080 0 0 0 111646 470 0 0 25 0 4 0 731725333 2487873536 487263 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4475.15
Current children cumulated vsize (KiB) 2429564

[startup+1182.3 s]
/proc/loadavg: 8.15 8.12 8.00 9/371 16568
/proc/meminfo: memFree=20974204/32950928 swapFree=65730864/67111528
[pid=16503] ppid=16501 vsize=2495100 CPUtime=4714.45 cores=0,2,4,6
/proc/16503/stat : 16503 (strangenight1-m) R 16501 16503 16432 0 -1 4202496 9811187 0 0 0 470066 1379 0 0 25 0 4 0 731725333 2554982400 487800 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16503/statm: 623775 487800 417 112 0 618740 0
[pid=16503/tid=16504] ppid=16501 vsize=2495100 CPUtime=1182.01 cores=0,2,4,6
/proc/16503/task/16504/stat : 16504 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 1715213 0 0 0 117943 258 0 0 25 0 4 0 731725333 2554982400 487800 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16503/tid=16505] ppid=16501 vsize=2495100 CPUtime=1182.2 cores=0,2,4,6
/proc/16503/task/16505/stat : 16505 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 4034376 0 0 0 117643 577 0 0 25 0 4 0 731725333 2554982400 487800 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16503/tid=16506] ppid=16501 vsize=2495100 CPUtime=1180.45 cores=0,2,4,6
/proc/16503/task/16506/stat : 16506 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 3707061 0 0 0 117553 492 0 0 25 0 4 0 731725333 2554982400 487800 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4714.45
Current children cumulated vsize (KiB) 2495100



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.8 s]
/proc/loadavg: 8.10 8.11 8.00 9/371 16569
/proc/meminfo: memFree=20954460/32950928 swapFree=65730864/67111528
[pid=16503] ppid=16501 vsize=2495100 CPUtime=4800.2 cores=0,2,4,6
/proc/16503/stat : 16503 (strangenight1-m) R 16501 16503 16432 0 -1 4202496 9834742 0 0 0 478638 1382 0 0 25 0 4 0 731725333 2554982400 486366 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476311 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16503/statm: 623775 486366 416 112 0 618740 0
[pid=16503/tid=16504] ppid=16501 vsize=2495100 CPUtime=1203.52 cores=0,2,4,6
/proc/16503/task/16504/stat : 16504 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 1715213 0 0 0 120094 258 0 0 25 0 4 0 731725333 2554982400 486366 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16503/tid=16505] ppid=16501 vsize=2495100 CPUtime=1203.72 cores=0,2,4,6
/proc/16503/task/16505/stat : 16505 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 4034376 0 0 0 119795 577 0 0 25 0 4 0 731725333 2554982400 486366 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16503/tid=16506] ppid=16501 vsize=2495100 CPUtime=1201.7 cores=0,2,4,6
/proc/16503/task/16506/stat : 16506 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 3729390 0 0 0 119675 495 0 0 25 0 4 0 731725333 2554982400 486366 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 2495100

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

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

[startup+1203.8 s]
/proc/loadavg: 8.10 8.11 8.00 9/371 16569
/proc/meminfo: memFree=20954460/32950928 swapFree=65730864/67111528
[pid=16503] ppid=16501 vsize=2495100 CPUtime=4800.2 cores=0,2,4,6
/proc/16503/stat : 16503 (strangenight1-m) R 16501 16503 16432 0 -1 4202496 9834742 0 0 0 478638 1382 0 0 25 0 4 0 731725333 2554982400 486366 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476311 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/16503/statm: 623775 486366 416 112 0 618740 0
[pid=16503/tid=16504] ppid=16501 vsize=2495100 CPUtime=1203.52 cores=0,2,4,6
/proc/16503/task/16504/stat : 16504 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 1715213 0 0 0 120094 258 0 0 25 0 4 0 731725333 2554982400 486366 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=16503/tid=16505] ppid=16501 vsize=2495100 CPUtime=1203.72 cores=0,2,4,6
/proc/16503/task/16505/stat : 16505 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 4034376 0 0 0 119795 577 0 0 25 0 4 0 731725333 2554982400 486366 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=16503/tid=16506] ppid=16501 vsize=2495100 CPUtime=1201.7 cores=0,2,4,6
/proc/16503/task/16506/stat : 16506 (strangenight1-m) R 16501 16503 16432 0 -1 4202560 3729390 0 0 0 119675 495 0 0 25 0 4 0 731725333 2554982400 486366 33554432000 4194304 4650419 140735774160432 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 2495100

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.9
CPU time (s): 4800.33
CPU user time (s): 4786.43
CPU system time (s): 13.8999
CPU usage (%): 398.732
Max. virtual memory (cumulated for all children) (KiB): 2560636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4786.43
system time used= 13.8999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9834742
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= 13149
involuntary context switches= 23717

runsolver used 4.16137 second user time and 10.3714 second system time

The end

Launcher Data 

Begin job on node116 at 2011-05-15 01:15:47
IDJOB=3369540
IDBENCH=83447
IDSOLVER=1846
FILE ID=node116/3369540-1305414945
RUNJOBID= node116-1305414935-16450
PBS_JOBID= 13324555
Free space on /tmp= 73064 MiB

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

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

MD5SUM BENCH= 0b29cb9f2e17f3e05b66912497d8cb84
RANDOM SEED=1253423352

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
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:     32950928 kB
MemFree:      22922268 kB
Buffers:         49104 kB
Cached:         190252 kB
SwapCached:      12356 kB
Active:        9744424 kB
Inactive:        73112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22922268 kB
SwapTotal:    67111528 kB
SwapFree:     65730864 kB
Dirty:           83264 kB
Writeback:           0 kB
AnonPages:     9575720 kB
Mapped:          16440 kB
Slab:           100588 kB
PageTables:      44816 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 83138744 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= 73064 MiB
End job on node116 at 2011-05-15 01:35:52