Trace number 3369682

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.52 1203.13

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.01	c Outputting solution to console
0.00/0.01	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-3369682-1305414964.cnf'
0.00/0.01	c -- header says num vars:          15364
0.00/0.01	c -- header says num clauses:     2133873
4.36/1.18	c -- clauses added:            0 learnts,      2133873 normals,            0 xors
4.36/1.18	c -- vars added      15364
4.36/1.18	c Parsing time:  3.89 s
4.36/1.18	c  N st     0         0     15364   2092882     40002         0  18028837         0   no data   no data  --
7.46/1.99	c asymm  cl-useful: 0/5431/2092294 lits-rem:0 time: 1.11
29.00/7.34	c Flit:    84 Blit:      0 bXBeca:    0 bXProp:   92 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 21.84
35.39/8.98	c Replacing       92 vars Replaced  1174400 lits Time:     6.46 s 
39.74/10.07	c bin-w-bin subsume rem          404 bins  time:  0.02 s
52.90/13.31	c subs with bin:    11107  lits-rem:         0  v-fix:    0  time: 13.08 s
52.90/13.36	c Subs w/ non-existent bins:    211 l-rem:      0 v-fix:     0 done:   3818 time:  0.21 s
52.90/13.39	c Removed useless bin:       0  fixed:     0  props:   4.22M  time:  0.12 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-3369682-1305414964/watcher-3369682-1305414964 -o /tmp/evaluation-result-3369682-1305414964/solver-3369682-1305414964 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369682-1305414964.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: 6.87 7.73 7.49 6/298 21765
/proc/meminfo: memFree=27462224/32951124 swapFree=63649232/67111528
[pid=21765] ppid=21763 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/21765/stat : 21765 (strangenight1-m) R 21763 21765 21663 0 -1 4202496 411 0 0 0 0 0 0 0 22 0 4 0 653095229 52465664 352 33554432000 4194304 4650419 140735350405264 18446744073709551615 47463582439340 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21765/statm: 12809 352 303 112 0 7774 0
[pid=21765/tid=21766] ppid=21763 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/21765/task/21766/stat : 21766 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 653095229 52465664 352 33554432000 4194304 4650419 140735350405264 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21765/tid=21767] ppid=21763 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/21765/task/21767/stat : 21767 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 653095229 52465664 352 33554432000 4194304 4650419 140735350405264 18446744073709551615 47463582439350 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21765/tid=21768] ppid=21763 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/21765/task/21768/stat : 21768 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 653095229 52465664 352 33554432000 4194304 4650419 140735350405264 18446744073709551615 47463582439346 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0155839 s]
/proc/loadavg: 6.87 7.73 7.49 6/298 21765
/proc/meminfo: memFree=27462224/32951124 swapFree=63649232/67111528
[pid=21765] ppid=21763 vsize=282776 CPUtime=0.03 cores=1,3,5,7
/proc/21765/stat : 21765 (strangenight1-m) R 21763 21765 21663 0 -1 4202496 2412 0 0 0 3 0 0 0 18 0 4 0 653095229 289562624 2326 33554432000 4194304 4650419 140735350405264 18446744073709551615 4520322 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21765/statm: 70694 2330 343 112 0 65659 0
[pid=21765/tid=21766] ppid=21763 vsize=282776 CPUtime=0 cores=1,3,5,7
/proc/21765/task/21766/stat : 21766 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 494 0 0 0 0 0 0 0 24 0 4 0 653095229 289562624 2333 33554432000 4194304 4650419 140735350405264 18446744073709551615 4372550 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21765/tid=21767] ppid=21763 vsize=282776 CPUtime=0 cores=1,3,5,7
/proc/21765/task/21767/stat : 21767 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 497 0 0 0 0 0 0 0 24 0 4 0 653095229 289562624 2333 33554432000 4194304 4650419 140735350405264 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21765/tid=21768] ppid=21763 vsize=282776 CPUtime=0 cores=1,3,5,7
/proc/21765/task/21768/stat : 21768 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 512 0 0 0 0 0 0 0 18 0 4 0 653095229 289562624 2337 33554432000 4194304 4650419 140735350405264 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 282776

[startup+0.100571 s]
/proc/loadavg: 6.87 7.73 7.49 6/298 21765
/proc/meminfo: memFree=27462224/32951124 swapFree=63649232/67111528
[pid=21765] ppid=21763 vsize=286544 CPUtime=0.37 cores=1,3,5,7
/proc/21765/stat : 21765 (strangenight1-m) R 21763 21765 21663 0 -1 4202496 10940 0 0 0 35 2 0 0 18 0 4 0 653095229 293421056 10854 33554432000 4194304 4650419 140735350405264 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21765/statm: 71636 10860 344 112 0 66601 0
[pid=21765/tid=21766] ppid=21763 vsize=286544 CPUtime=0.07 cores=1,3,5,7
/proc/21765/task/21766/stat : 21766 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 2624 0 0 0 7 0 0 0 24 0 4 0 653095229 293421056 10863 33554432000 4194304 4650419 140735350405264 18446744073709551615 4263632 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21765/tid=21767] ppid=21763 vsize=286544 CPUtime=0.08 cores=1,3,5,7
/proc/21765/task/21767/stat : 21767 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 2631 0 0 0 8 0 0 0 24 0 4 0 653095229 293421056 10866 33554432000 4194304 4650419 140735350405264 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21765/tid=21768] ppid=21763 vsize=286544 CPUtime=0.09 cores=1,3,5,7
/proc/21765/task/21768/stat : 21768 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 2645 0 0 0 9 0 0 0 18 0 4 0 653095229 293421056 10866 33554432000 4194304 4650419 140735350405264 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 286544

[startup+0.300539 s]
/proc/loadavg: 6.87 7.73 7.49 6/298 21765
/proc/meminfo: memFree=27462224/32951124 swapFree=63649232/67111528
[pid=21765] ppid=21763 vsize=458440 CPUtime=1.16 cores=1,3,5,7
/proc/21765/stat : 21765 (strangenight1-m) R 21763 21765 21663 0 -1 4202496 45584 0 0 0 107 9 0 0 18 0 4 0 653095229 469442560 44520 33554432000 4194304 4650419 140735350405264 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21765/statm: 114610 44543 345 112 0 109575 0
[pid=21765/tid=21766] ppid=21763 vsize=458440 CPUtime=0.27 cores=1,3,5,7
/proc/21765/task/21766/stat : 21766 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 11373 0 0 0 25 2 0 0 25 0 4 0 653095229 469442560 44549 33554432000 4194304 4650419 140735350405264 18446744073709551615 4306748 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21765/tid=21767] ppid=21763 vsize=458440 CPUtime=0.28 cores=1,3,5,7
/proc/21765/task/21767/stat : 21767 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 11228 0 0 0 26 2 0 0 18 0 4 0 653095229 469442560 44551 33554432000 4194304 4650419 140735350405264 18446744073709551615 4372293 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21765/tid=21768] ppid=21763 vsize=458440 CPUtime=0.29 cores=1,3,5,7
/proc/21765/task/21768/stat : 21768 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 11365 0 0 0 27 2 0 0 18 0 4 0 653095229 469442560 44563 33554432000 4194304 4650419 140735350405264 18446744073709551615 210204690615 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 458440

[startup+0.700472 s]
/proc/loadavg: 6.87 7.73 7.49 6/298 21765
/proc/meminfo: memFree=27462224/32951124 swapFree=63649232/67111528
[pid=21765] ppid=21763 vsize=789016 CPUtime=2.74 cores=1,3,5,7
/proc/21765/stat : 21765 (strangenight1-m) R 21763 21765 21663 0 -1 4202496 107465 0 0 0 250 24 0 0 18 0 4 0 653095229 807952384 106400 33554432000 4194304 4650419 140735350405264 18446744073709551615 4307238 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21765/statm: 197254 106404 345 112 0 192219 0
[pid=21765/tid=21766] ppid=21763 vsize=789016 CPUtime=0.67 cores=1,3,5,7
/proc/21765/task/21766/stat : 21766 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 26785 0 0 0 61 6 0 0 25 0 4 0 653095229 807952384 106405 33554432000 4194304 4650419 140735350405264 18446744073709551615 4545805 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21765/tid=21767] ppid=21763 vsize=789016 CPUtime=0.68 cores=1,3,5,7
/proc/21765/task/21767/stat : 21767 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 26788 0 0 0 62 6 0 0 18 0 4 0 653095229 807952384 106408 33554432000 4194304 4650419 140735350405264 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21765/tid=21768] ppid=21763 vsize=789016 CPUtime=0.68 cores=1,3,5,7
/proc/21765/task/21768/stat : 21768 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 26719 0 0 0 63 5 0 0 18 0 4 0 653095229 807952384 106408 33554432000 4194304 4650419 140735350405264 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 789016

[startup+1.50034 s]
/proc/loadavg: 6.87 7.73 7.49 9/302 21769
/proc/meminfo: memFree=26851864/32951124 swapFree=63649232/67111528
[pid=21765] ppid=21763 vsize=1280552 CPUtime=5.92 cores=1,3,5,7
/proc/21765/stat : 21765 (strangenight1-m) R 21763 21765 21663 0 -1 4202496 192313 0 0 0 548 44 0 0 18 0 4 0 653095229 1311285248 185242 33554432000 4194304 4650419 140735350405264 18446744073709551615 210204344970 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21765/statm: 320138 185281 370 112 0 315103 0
[pid=21765/tid=21766] ppid=21763 vsize=1280552 CPUtime=1.46 cores=1,3,5,7
/proc/21765/task/21766/stat : 21766 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 48070 0 0 0 136 10 0 0 18 0 4 0 653095229 1311285248 185299 33554432000 4194304 4650419 140735350405264 18446744073709551615 4516030 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21765/tid=21767] ppid=21763 vsize=1280552 CPUtime=1.48 cores=1,3,5,7
/proc/21765/task/21767/stat : 21767 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 48940 0 0 0 136 12 0 0 18 0 4 0 653095229 1311285248 185321 33554432000 4194304 4650419 140735350405264 18446744073709551615 210204344970 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21765/tid=21768] ppid=21763 vsize=1280552 CPUtime=1.47 cores=1,3,5,7
/proc/21765/task/21768/stat : 21768 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 45433 0 0 0 138 9 0 0 18 0 4 0 653095229 1311285248 185345 33554432000 4194304 4650419 140735350405264 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 1280552

[startup+3.10107 s]
/proc/loadavg: 6.87 7.73 7.49 9/302 21769
/proc/meminfo: memFree=26665384/32951124 swapFree=63649232/67111528
[pid=21765] ppid=21763 vsize=1151356 CPUtime=12.25 cores=1,3,5,7
/proc/21765/stat : 21765 (strangenight1-m) R 21763 21765 21663 0 -1 4202496 315554 0 0 0 1162 63 0 0 21 0 4 0 653095229 1178988544 203252 33554432000 4194304 4650419 140735350405264 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21765/statm: 287839 203252 374 112 0 282804 0
[pid=21765/tid=21766] ppid=21763 vsize=1151356 CPUtime=3.03 cores=1,3,5,7
/proc/21765/task/21766/stat : 21766 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 88096 0 0 0 287 16 0 0 20 0 4 0 653095229 1178988544 203252 33554432000 4194304 4650419 140735350405264 18446744073709551615 4370697 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21765/tid=21767] ppid=21763 vsize=1151356 CPUtime=3.07 cores=1,3,5,7
/proc/21765/task/21767/stat : 21767 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 88645 0 0 0 290 17 0 0 20 0 4 0 653095229 1178988544 203252 33554432000 4194304 4650419 140735350405264 18446744073709551615 4370649 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21765/tid=21768] ppid=21763 vsize=1151356 CPUtime=3.06 cores=1,3,5,7
/proc/21765/task/21768/stat : 21768 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 49876 0 0 0 296 10 0 0 21 0 4 0 653095229 1178988544 203252 33554432000 4194304 4650419 140735350405264 18446744073709551615 4315277 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 1151356

[startup+6.30054 s]
/proc/loadavg: 6.96 7.74 7.49 9/302 21769
/proc/meminfo: memFree=26591688/32951124 swapFree=63649232/67111528
[pid=21765] ppid=21763 vsize=1169900 CPUtime=25.02 cores=1,3,5,7
/proc/21765/stat : 21765 (strangenight1-m) R 21763 21765 21663 0 -1 4202496 330813 0 0 0 2435 67 0 0 18 0 4 0 653095229 1197977600 218511 33554432000 4194304 4650419 140735350405264 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21765/statm: 292475 218511 374 112 0 287440 0
[pid=21765/tid=21766] ppid=21763 vsize=1169900 CPUtime=6.21 cores=1,3,5,7
/proc/21765/task/21766/stat : 21766 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 92332 0 0 0 604 17 0 0 25 0 4 0 653095229 1197977600 218511 33554432000 4194304 4650419 140735350405264 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21765/tid=21767] ppid=21763 vsize=1169900 CPUtime=6.26 cores=1,3,5,7
/proc/21765/task/21767/stat : 21767 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 92939 0 0 0 608 18 0 0 25 0 4 0 653095229 1197977600 218511 33554432000 4194304 4650419 140735350405264 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21765/tid=21768] ppid=21763 vsize=1169900 CPUtime=6.26 cores=1,3,5,7
/proc/21765/task/21768/stat : 21768 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 52289 0 0 0 616 10 0 0 25 0 4 0 653095229 1197977600 218511 33554432000 4194304 4650419 140735350405264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.02
Current children cumulated vsize (KiB) 1169900

[startup+12.7005 s]
/proc/loadavg: 7.05 7.74 7.50 9/302 21769
/proc/meminfo: memFree=25371684/32951124 swapFree=63649232/67111528
[pid=21765] ppid=21763 vsize=2376076 CPUtime=50.51 cores=1,3,5,7
/proc/21765/stat : 21765 (strangenight1-m) R 21763 21765 21663 0 -1 4202496 629039 0 0 0 4935 116 0 0 25 0 4 0 653095229 2433101824 516731 33554432000 4194304 4650419 140735350405264 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21765/statm: 594019 516731 386 112 0 588984 0
[pid=21765/tid=21766] ppid=21763 vsize=2376076 CPUtime=12.56 cores=1,3,5,7
/proc/21765/task/21766/stat : 21766 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 191179 0 0 0 1224 32 0 0 25 0 4 0 653095229 2433101824 516731 33554432000 4194304 4650419 140735350405264 18446744073709551615 4432396 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21765/tid=21767] ppid=21763 vsize=2376076 CPUtime=12.62 cores=1,3,5,7
/proc/21765/task/21767/stat : 21767 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 192063 0 0 0 1226 36 0 0 25 0 4 0 653095229 2433101824 516731 33554432000 4194304 4650419 140735350405264 18446744073709551615 4433824 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21765/tid=21768] ppid=21763 vsize=2376076 CPUtime=12.66 cores=1,3,5,7
/proc/21765/task/21768/stat : 21768 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 53932 0 0 0 1255 11 0 0 25 0 4 0 653095229 2433101824 516731 33554432000 4194304 4650419 140735350405264 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.51
Current children cumulated vsize (KiB) 2376076

[startup+25.5003 s]
/proc/loadavg: 7.26 7.75 7.50 9/302 21769
/proc/meminfo: memFree=25204372/32951124 swapFree=63649232/67111528
[pid=21765] ppid=21763 vsize=2546984 CPUtime=101.6 cores=1,3,5,7
/proc/21765/stat : 21765 (strangenight1-m) R 21763 21765 21663 0 -1 4202496 659855 0 0 0 10039 121 0 0 25 0 4 0 653095229 2608111616 547049 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21765/statm: 636746 547049 657 112 0 631711 0
[pid=21765/tid=21766] ppid=21763 vsize=2546984 CPUtime=25.37 cores=1,3,5,7
/proc/21765/task/21766/stat : 21766 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 200104 0 0 0 2503 34 0 0 25 0 4 0 653095229 2608111616 547049 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21765/tid=21767] ppid=21763 vsize=2546984 CPUtime=25.29 cores=1,3,5,7
/proc/21765/task/21767/stat : 21767 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 201085 0 0 0 2493 36 0 0 25 0 4 0 653095229 2608111616 547049 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21765/tid=21768] ppid=21763 vsize=2546984 CPUtime=25.47 cores=1,3,5,7
/proc/21765/task/21768/stat : 21768 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 57775 0 0 0 2534 13 0 0 25 0 4 0 653095229 2608111616 547049 33554432000 4194304 4650419 140735350405264 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.6
Current children cumulated vsize (KiB) 2546984

[startup+51.1011 s]
/proc/loadavg: 7.58 7.79 7.52 9/302 21770
/proc/meminfo: memFree=24734028/32951124 swapFree=63649232/67111528
[pid=21765] ppid=21763 vsize=3086800 CPUtime=203.73 cores=1,3,5,7
/proc/21765/stat : 21765 (strangenight1-m) R 21763 21765 21663 0 -1 4202496 1310488 0 0 0 20172 201 0 0 25 0 4 0 653095229 3160883200 655745 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21765/statm: 771700 655745 392 112 0 766665 0
[pid=21765/tid=21766] ppid=21763 vsize=3086800 CPUtime=50.95 cores=1,3,5,7
/proc/21765/task/21766/stat : 21766 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 412319 0 0 0 5036 59 0 0 25 0 4 0 653095229 3160883200 655745 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21765/tid=21767] ppid=21763 vsize=3086800 CPUtime=50.67 cores=1,3,5,7
/proc/21765/task/21767/stat : 21767 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 362493 0 0 0 5012 55 0 0 25 0 4 0 653095229 3160883200 655745 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21765/tid=21768] ppid=21763 vsize=3086800 CPUtime=51.06 cores=1,3,5,7
/proc/21765/task/21768/stat : 21768 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 170161 0 0 0 5080 26 0 0 25 0 4 0 653095229 3160883200 655745 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.73
Current children cumulated vsize (KiB) 3086800

[startup+102.311 s]
/proc/loadavg: 7.90 7.84 7.55 9/302 21771
/proc/meminfo: memFree=24645840/32951124 swapFree=63649232/67111528
[pid=21765] ppid=21763 vsize=3049480 CPUtime=408.1 cores=1,3,5,7
/proc/21765/stat : 21765 (strangenight1-m) R 21763 21765 21663 0 -1 4202496 1945300 0 0 0 40531 279 0 0 25 0 4 0 653095229 3122667520 660871 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/21765/statm: 762370 660871 392 112 0 757335 0
[pid=21765/tid=21766] ppid=21763 vsize=3049480 CPUtime=102.16 cores=1,3,5,7
/proc/21765/task/21766/stat : 21766 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 484116 0 0 0 10148 68 0 0 25 0 4 0 653095229 3122667520 660871 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21765/tid=21767] ppid=21763 vsize=3049480 CPUtime=101.41 cores=1,3,5,7
/proc/21765/task/21767/stat : 21767 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 443855 0 0 0 10075 66 0 0 25 0 4 0 653095229 3122667520 660871 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21765/tid=21768] ppid=21763 vsize=3049480 CPUtime=102.27 cores=1,3,5,7
/proc/21765/task/21768/stat : 21768 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 393700 0 0 0 10175 52 0 0 25 0 4 0 653095229 3122667520 660871 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.1
Current children cumulated vsize (KiB) 3049480

[startup+162.3 s]

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

Current children cumulated CPU time (s) 2563
Current children cumulated vsize (KiB) 3103140

[startup+702.3 s]
/proc/loadavg: 8.04 8.00 7.76 9/302 21787
/proc/meminfo: memFree=24346828/32951124 swapFree=63649232/67111528
[pid=21765] ppid=21763 vsize=3086728 CPUtime=2802.43 cores=1,3,5,7
/proc/21765/stat : 21765 (strangenight1-m) R 21763 21765 21663 0 -1 4202496 5109733 0 0 0 279561 682 0 0 25 0 4 0 653095229 3160809472 661896 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21765/statm: 771682 661896 392 112 0 766647 0
[pid=21765/tid=21766] ppid=21763 vsize=3086728 CPUtime=701.9 cores=1,3,5,7
/proc/21765/task/21766/stat : 21766 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 1238702 0 0 0 70022 168 0 0 25 0 4 0 653095229 3160809472 661896 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21765/tid=21767] ppid=21763 vsize=3086728 CPUtime=701.23 cores=1,3,5,7
/proc/21765/task/21767/stat : 21767 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 1458186 0 0 0 69928 195 0 0 25 0 4 0 653095229 3160809472 661896 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21765/tid=21768] ppid=21763 vsize=3086728 CPUtime=702.27 cores=1,3,5,7
/proc/21765/task/21768/stat : 21768 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 1139625 0 0 0 70088 139 0 0 25 0 4 0 653095229 3160809472 661896 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2802.43
Current children cumulated vsize (KiB) 3086728

[startup+762.311 s]
/proc/loadavg: 8.05 8.01 7.78 9/302 21789
/proc/meminfo: memFree=24382344/32951124 swapFree=63649232/67111528
[pid=21765] ppid=21763 vsize=3044080 CPUtime=3041.92 cores=1,3,5,7
/proc/21765/stat : 21765 (strangenight1-m) R 21763 21765 21663 0 -1 4202496 5215008 0 0 0 303497 695 0 0 25 0 4 0 653095229 3117137920 662215 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21765/statm: 761020 662215 392 112 0 755985 0
[pid=21765/tid=21766] ppid=21763 vsize=3044080 CPUtime=761.92 cores=1,3,5,7
/proc/21765/task/21766/stat : 21766 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 1242790 0 0 0 76023 169 0 0 25 0 4 0 653095229 3117137920 662215 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21765/tid=21767] ppid=21763 vsize=3044080 CPUtime=761.23 cores=1,3,5,7
/proc/21765/task/21767/stat : 21767 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 1550124 0 0 0 75917 206 0 0 25 0 4 0 653095229 3117137920 662215 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21765/tid=21768] ppid=21763 vsize=3044080 CPUtime=762.28 cores=1,3,5,7
/proc/21765/task/21768/stat : 21768 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 1147653 0 0 0 76088 140 0 0 25 0 4 0 653095229 3117137920 662215 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3041.92
Current children cumulated vsize (KiB) 3044080

[startup+822.3 s]
/proc/loadavg: 8.05 8.02 7.79 9/302 21880
/proc/meminfo: memFree=24377308/32951124 swapFree=63649232/67111528
[pid=21765] ppid=21763 vsize=3086840 CPUtime=3281.33 cores=1,3,5,7
/proc/21765/stat : 21765 (strangenight1-m) R 21763 21765 21663 0 -1 4202496 5422061 0 0 0 327414 719 0 0 25 0 4 0 653095229 3160924160 660417 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21765/statm: 771710 660417 392 112 0 766675 0
[pid=21765/tid=21766] ppid=21763 vsize=3086840 CPUtime=821.91 cores=1,3,5,7
/proc/21765/task/21766/stat : 21766 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 1263023 0 0 0 82020 171 0 0 25 0 4 0 653095229 3160924160 660417 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21765/tid=21767] ppid=21763 vsize=3086840 CPUtime=821.22 cores=1,3,5,7
/proc/21765/task/21767/stat : 21767 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 1690829 0 0 0 81899 223 0 0 25 0 4 0 653095229 3160924160 660417 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21765/tid=21768] ppid=21763 vsize=3086840 CPUtime=822.26 cores=1,3,5,7
/proc/21765/task/21768/stat : 21768 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 1175595 0 0 0 82083 143 0 0 25 0 4 0 653095229 3160924160 660417 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3281.33
Current children cumulated vsize (KiB) 3086840

[startup+882.3 s]
/proc/loadavg: 8.10 8.03 7.81 9/302 21912
/proc/meminfo: memFree=24873944/32951124 swapFree=63649232/67111528
[pid=21765] ppid=21763 vsize=3023172 CPUtime=3520.75 cores=1,3,5,7
/proc/21765/stat : 21765 (strangenight1-m) R 21763 21765 21663 0 -1 4202496 12645454 0 0 0 350364 1711 0 0 25 0 4 0 653095229 3095728128 640332 33554432000 4194304 4650419 140735350405264 18446744073709551615 210204344512 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21765/statm: 755793 640332 392 112 0 750758 0
[pid=21765/tid=21766] ppid=21763 vsize=3023172 CPUtime=881.91 cores=1,3,5,7
/proc/21765/task/21766/stat : 21766 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 1293207 0 0 0 88016 175 0 0 25 0 4 0 653095229 3095728128 640332 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21765/tid=21767] ppid=21763 vsize=3023172 CPUtime=881.23 cores=1,3,5,7
/proc/21765/task/21767/stat : 21767 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 2740086 0 0 0 87767 356 0 0 25 0 4 0 653095229 3095728128 640332 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21765/tid=21768] ppid=21763 vsize=3023172 CPUtime=882.26 cores=1,3,5,7
/proc/21765/task/21768/stat : 21768 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 4546522 0 0 0 87622 604 0 0 25 0 4 0 653095229 3095728128 640332 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3520.75
Current children cumulated vsize (KiB) 3023172

[startup+942.3 s]
/proc/loadavg: 8.07 8.04 7.82 9/302 21914
/proc/meminfo: memFree=24793808/32951124 swapFree=63649232/67111528
[pid=21765] ppid=21763 vsize=2958248 CPUtime=3760.16 cores=1,3,5,7
/proc/21765/stat : 21765 (strangenight1-m) R 21763 21765 21663 0 -1 4202496 13214207 0 0 0 374216 1800 0 0 25 0 4 0 653095229 3029245952 641729 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21765/statm: 739562 641729 392 112 0 734527 0
[pid=21765/tid=21766] ppid=21763 vsize=2958248 CPUtime=941.91 cores=1,3,5,7
/proc/21765/task/21766/stat : 21766 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 1293652 0 0 0 94016 175 0 0 25 0 4 0 653095229 3029245952 641729 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21765/tid=21767] ppid=21763 vsize=2958248 CPUtime=941.22 cores=1,3,5,7
/proc/21765/task/21767/stat : 21767 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 2866535 0 0 0 93745 377 0 0 25 0 4 0 653095229 3029245952 641729 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21765/tid=21768] ppid=21763 vsize=2958248 CPUtime=942.26 cores=1,3,5,7
/proc/21765/task/21768/stat : 21768 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 4649072 0 0 0 93607 619 0 0 25 0 4 0 653095229 3029245952 641729 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3760.16
Current children cumulated vsize (KiB) 2958248

[startup+1002.3 s]
/proc/loadavg: 8.15 8.06 7.84 9/302 21915
/proc/meminfo: memFree=24712920/32951124 swapFree=63649232/67111528
[pid=21765] ppid=21763 vsize=3030020 CPUtime=3999.56 cores=1,3,5,7
/proc/21765/stat : 21765 (strangenight1-m) R 21763 21765 21663 0 -1 4202496 13961645 0 0 0 398030 1926 0 0 25 0 4 0 653095229 3102740480 647413 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21765/statm: 757505 647413 392 112 0 752470 0
[pid=21765/tid=21766] ppid=21763 vsize=3030020 CPUtime=1001.91 cores=1,3,5,7
/proc/21765/task/21766/stat : 21766 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 1293944 0 0 0 100016 175 0 0 25 0 4 0 653095229 3102740480 647413 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21765/tid=21767] ppid=21763 vsize=3030020 CPUtime=1001.23 cores=1,3,5,7
/proc/21765/task/21767/stat : 21767 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 3042319 0 0 0 99716 407 0 0 25 0 4 0 653095229 3102740480 647413 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21765/tid=21768] ppid=21763 vsize=3030020 CPUtime=1002.26 cores=1,3,5,7
/proc/21765/task/21768/stat : 21768 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 5054617 0 0 0 99539 687 0 0 25 0 4 0 653095229 3102740480 647413 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3999.56
Current children cumulated vsize (KiB) 3030020

[startup+1062.3 s]
/proc/loadavg: 8.09 8.06 7.85 9/302 21917
/proc/meminfo: memFree=24588004/32951124 swapFree=63649232/67111528
[pid=21765] ppid=21763 vsize=3118964 CPUtime=4238.96 cores=1,3,5,7
/proc/21765/stat : 21765 (strangenight1-m) R 21763 21765 21663 0 -1 4202496 14553064 0 0 0 421870 2026 0 0 25 0 4 0 653095229 3193819136 667135 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21765/statm: 779741 667018 998 112 0 774706 0
[pid=21765/tid=21766] ppid=21763 vsize=3118964 CPUtime=1061.9 cores=1,3,5,7
/proc/21765/task/21766/stat : 21766 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 1297427 0 0 0 106015 175 0 0 25 0 4 0 653095229 3193819136 667018 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21765/tid=21767] ppid=21763 vsize=3118964 CPUtime=1061.23 cores=1,3,5,7
/proc/21765/task/21767/stat : 21767 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 3190207 0 0 0 105691 432 0 0 25 0 4 0 653095229 3193819136 666506 33554432000 4194304 4650419 140735350405264 18446744073709551615 210204690791 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21765/tid=21768] ppid=21763 vsize=3118964 CPUtime=1062.26 cores=1,3,5,7
/proc/21765/task/21768/stat : 21768 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 5447064 0 0 0 105473 753 0 0 25 0 4 0 653095229 3193819136 666163 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4238.96
Current children cumulated vsize (KiB) 3118964

[startup+1122.3 s]
/proc/loadavg: 8.14 8.08 7.87 9/302 21918
/proc/meminfo: memFree=24606444/32951124 swapFree=63649232/67111528
[pid=21765] ppid=21763 vsize=3118964 CPUtime=4478.35 cores=1,3,5,7
/proc/21765/stat : 21765 (strangenight1-m) R 21763 21765 21663 0 -1 4202496 15560357 0 0 0 445641 2194 0 0 25 0 4 0 653095229 3193819136 663911 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21765/statm: 779741 663911 392 112 0 774706 0
[pid=21765/tid=21766] ppid=21763 vsize=3118964 CPUtime=1121.9 cores=1,3,5,7
/proc/21765/task/21766/stat : 21766 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 1297427 0 0 0 112015 175 0 0 25 0 4 0 653095229 3193819136 663911 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476297 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21765/tid=21767] ppid=21763 vsize=3118964 CPUtime=1121.22 cores=1,3,5,7
/proc/21765/task/21767/stat : 21767 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 3400441 0 0 0 111656 466 0 0 25 0 4 0 653095229 3193819136 663911 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21765/tid=21768] ppid=21763 vsize=3118964 CPUtime=1122.25 cores=1,3,5,7
/proc/21765/task/21768/stat : 21768 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 5716145 0 0 0 111423 802 0 0 25 0 4 0 653095229 3193819136 663911 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4478.35
Current children cumulated vsize (KiB) 3118964

[startup+1182.3 s]
/proc/loadavg: 8.08 8.07 7.88 9/302 21920
/proc/meminfo: memFree=24532160/32951124 swapFree=63649232/67111528
[pid=21765] ppid=21763 vsize=3065732 CPUtime=4717.76 cores=1,3,5,7
/proc/21765/stat : 21765 (strangenight1-m) R 21763 21765 21663 0 -1 4202496 16317709 0 0 0 469452 2324 0 0 25 0 4 0 653095229 3139309568 664596 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21765/statm: 766433 664596 392 112 0 761398 0
[pid=21765/tid=21766] ppid=21763 vsize=3065732 CPUtime=1181.91 cores=1,3,5,7
/proc/21765/task/21766/stat : 21766 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 1298952 0 0 0 118015 176 0 0 25 0 4 0 653095229 3139309568 664596 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21765/tid=21767] ppid=21763 vsize=3065732 CPUtime=1181.23 cores=1,3,5,7
/proc/21765/task/21767/stat : 21767 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 3461789 0 0 0 117647 476 0 0 25 0 4 0 653095229 3139309568 664596 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21765/tid=21768] ppid=21763 vsize=3065732 CPUtime=1182.26 cores=1,3,5,7
/proc/21765/task/21768/stat : 21768 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 6082741 0 0 0 117359 867 0 0 25 0 4 0 653095229 3139309568 664596 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4717.76
Current children cumulated vsize (KiB) 3065732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203 s]
/proc/loadavg: 8.18 8.10 7.89 9/302 21921
/proc/meminfo: memFree=24495696/32951124 swapFree=63649232/67111528
[pid=21765] ppid=21763 vsize=3069684 CPUtime=4800.37 cores=1,3,5,7
/proc/21765/stat : 21765 (strangenight1-m) R 21763 21765 21663 0 -1 4202496 16510429 0 0 0 477679 2358 0 0 25 0 4 0 653095229 3143356416 665855 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/21765/statm: 767421 665855 392 112 0 762386 0
[pid=21765/tid=21766] ppid=21763 vsize=3069684 CPUtime=1202.62 cores=1,3,5,7
/proc/21765/task/21766/stat : 21766 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 1298954 0 0 0 120086 176 0 0 25 0 4 0 653095229 3143356416 665855 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476311 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21765/tid=21767] ppid=21763 vsize=3069684 CPUtime=1201.94 cores=1,3,5,7
/proc/21765/task/21767/stat : 21767 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 3462693 0 0 0 119718 476 0 0 25 0 4 0 653095229 3143356416 665855 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21765/tid=21768] ppid=21763 vsize=3069684 CPUtime=1202.97 cores=1,3,5,7
/proc/21765/task/21768/stat : 21768 (strangenight1-m) R 21763 21765 21663 0 -1 4202560 6187669 0 0 0 119412 885 0 0 25 0 4 0 653095229 3143356416 665855 33554432000 4194304 4650419 140735350405264 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 3069684

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

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

[startup+1203.12 s]
/proc/loadavg: 8.18 8.10 7.89 9/302 21921
/proc/meminfo: memFree=24495696/32951124 swapFree=63649232/67111528
[pid=21765] ppid=21763 vsize=0 CPUtime=4800.5 cores=1,3,5,7
/proc/21765/stat : 21765 (strangenight1-m) R 21763 21765 21663 0 -1 4203524 16510429 0 0 0 477682 2368 0 0 25 0 1 0 653095229 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21765/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4800.5
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.13
CPU time (s): 4800.52
CPU user time (s): 4776.83
CPU system time (s): 23.6964
CPU usage (%): 399.003
Max. virtual memory (cumulated for all children) (KiB): 3196804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4776.83
system time used= 23.6964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16510429
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= 12470
involuntary context switches= 33731

runsolver used 3.01554 second user time and 8.29074 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-15 01:16:07
IDJOB=3369682
IDBENCH=83463
IDSOLVER=1846
FILE ID=node130/3369682-1305414964
RUNJOBID= node130-1305414956-21682
PBS_JOBID= 13324556
Free space on /tmp= 73320 MiB

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

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

MD5SUM BENCH= 9cec6483d4ca03e8555377ba059b61ae
RANDOM SEED=1439190217

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27462504 kB
Buffers:        262576 kB
Cached:        3705756 kB
SwapCached:      10248 kB
Active:        1446944 kB
Inactive:      3767784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27462504 kB
SwapTotal:    67111528 kB
SwapFree:     63649232 kB
Dirty:          115572 kB
Writeback:           0 kB
AnonPages:     1243840 kB
Mapped:          13988 kB
Slab:           186332 kB
PageTables:      25680 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 51754600 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= 73316 MiB
End job on node130 at 2011-05-15 01:36:12