Trace number 3251002

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
SArTagnan 2011-03-24? (TO) 4800.42 1202.13

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf
MD5SUM002a4cb53ea02f66e0c3418dc8834f7c
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.82957
Satisfiable
(Un)Satisfiability was proved
Number of variables2561
Number of clauses490309
Sum of the clauses size983079
Maximum clause length52
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2490259
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 550

Solver Data


Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

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

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: 4.35 6.89 7.53 7/180 4883
/proc/meminfo: memFree=28464504/32950928 swapFree=67111352/67111528
[pid=4883] ppid=4881 vsize=30520 CPUtime=0 cores=1,3,5,7
/proc/4883/stat : 4883 (SArTagnan) R 4881 4883 4254 0 -1 4202496 606 0 0 0 0 0 0 0 21 0 1 0 602259297 31252480 507 33554432000 4194304 4623224 140734107081536 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4883/statm: 7630 507 297 105 0 3134 0

[startup+0.0885621 s]
/proc/loadavg: 4.35 6.89 7.53 7/180 4883
/proc/meminfo: memFree=28464504/32950928 swapFree=67111352/67111528
[pid=4883] ppid=4881 vsize=35768 CPUtime=0.08 cores=1,3,5,7
/proc/4883/stat : 4883 (SArTagnan) R 4881 4883 4254 0 -1 4202496 4412 0 0 0 8 0 0 0 21 0 1 0 602259297 36626432 1686 33554432000 4194304 4623224 140734107081536 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4883/statm: 8942 1687 297 105 0 4446 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 35768

[startup+0.100562 s]
/proc/loadavg: 4.35 6.89 7.53 7/180 4883
/proc/meminfo: memFree=28464504/32950928 swapFree=67111352/67111528
[pid=4883] ppid=4881 vsize=43968 CPUtime=0.09 cores=1,3,5,7
/proc/4883/stat : 4883 (SArTagnan) R 4881 4883 4254 0 -1 4202496 5379 0 0 0 9 0 0 0 21 0 1 0 602259297 45023232 2653 33554432000 4194304 4623224 140734107081536 18446744073709551615 251367244245 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/4883/statm: 10992 2670 297 105 0 6496 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43968

[startup+0.300459 s]
/proc/loadavg: 4.35 6.89 7.53 7/180 4883
/proc/meminfo: memFree=28464504/32950928 swapFree=67111352/67111528
[pid=4883] ppid=4881 vsize=235440 CPUtime=0.81 cores=1,3,5,7
/proc/4883/stat : 4883 (SArTagnan) R 4881 4883 4254 0 -1 4202496 16402 0 0 0 79 2 0 0 23 0 4 0 602259297 241090560 11318 33554432000 4194304 4623224 140734107081536 18446744073709551615 4498345 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4883/statm: 58860 11318 353 105 0 54364 0
Current children cumulated CPU time (s) 0.81
Current children cumulated vsize (KiB) 235440

[startup+0.700386 s]
/proc/loadavg: 4.35 6.89 7.53 7/180 4883
/proc/meminfo: memFree=28464504/32950928 swapFree=67111352/67111528
[pid=4883] ppid=4881 vsize=246076 CPUtime=2.41 cores=1,3,5,7
/proc/4883/stat : 4883 (SArTagnan) R 4881 4883 4254 0 -1 4202496 20590 0 0 0 238 3 0 0 25 0 4 0 602259297 251981824 15483 33554432000 4194304 4623224 140734107081536 18446744073709551615 4510127 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4883/statm: 61519 15483 343 105 0 57023 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 246076

[startup+1.50024 s]
/proc/loadavg: 4.35 6.89 7.53 9/184 4887
/proc/meminfo: memFree=28375200/32950928 swapFree=67111352/67111528
[pid=4883] ppid=4881 vsize=251188 CPUtime=5.6 cores=1,3,5,7
/proc/4883/stat : 4883 (SArTagnan) R 4881 4883 4254 0 -1 4202496 26783 0 0 0 556 4 0 0 25 0 4 0 602259297 257216512 20771 33554432000 4194304 4623224 140734107081536 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4883/statm: 62797 20771 352 105 0 58301 0
[pid=4883/tid=4885] ppid=4881 vsize=251188 CPUtime=1.36 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (SArTagnan) R 4881 4883 4254 0 -1 4202560 2613 0 0 0 136 0 0 0 25 0 4 0 602259309 257216512 20771 33554432000 4194304 4623224 140734107081536 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=251188 CPUtime=1.36 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (SArTagnan) R 4881 4883 4254 0 -1 4202560 3321 0 0 0 135 1 0 0 25 0 4 0 602259309 257216512 20771 33554432000 4194304 4623224 140734107081536 18446744073709551615 4462989 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=251188 CPUtime=1.37 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (SArTagnan) R 4881 4883 4254 0 -1 4202560 3180 0 0 0 137 0 0 0 25 0 4 0 602259309 257216512 20771 33554432000 4194304 4623224 140734107081536 18446744073709551615 4363762 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 251188

[startup+3.10094 s]
/proc/loadavg: 4.35 6.89 7.53 9/184 4887
/proc/meminfo: memFree=28335768/32950928 swapFree=67111352/67111528
[pid=4883] ppid=4881 vsize=260700 CPUtime=12 cores=1,3,5,7
/proc/4883/stat : 4883 (SArTagnan) R 4881 4883 4254 0 -1 4202496 40920 0 0 0 1194 6 0 0 25 0 4 0 602259297 266956800 31177 33554432000 4194304 4623224 140734107081536 18446744073709551615 4510186 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4883/statm: 65175 31177 361 105 0 60679 0
[pid=4883/tid=4885] ppid=4881 vsize=260700 CPUtime=2.95 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (SArTagnan) R 4881 4883 4254 0 -1 4202560 5262 0 0 0 294 1 0 0 25 0 4 0 602259309 266956800 31177 33554432000 4194304 4623224 140734107081536 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=260700 CPUtime=2.96 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (SArTagnan) R 4881 4883 4254 0 -1 4202560 6510 0 0 0 295 1 0 0 25 0 4 0 602259309 266956800 31177 33554432000 4194304 4623224 140734107081536 18446744073709551615 4376846 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=260700 CPUtime=2.96 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (SArTagnan) R 4881 4883 4254 0 -1 4202560 7652 0 0 0 296 0 0 0 25 0 4 0 602259309 266956800 31177 33554432000 4194304 4623224 140734107081536 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12
Current children cumulated vsize (KiB) 260700

[startup+6.30035 s]
/proc/loadavg: 4.64 6.91 7.54 9/184 4887
/proc/meminfo: memFree=28250956/32950928 swapFree=67111352/67111528
[pid=4883] ppid=4881 vsize=302600 CPUtime=24.78 cores=1,3,5,7
/proc/4883/stat : 4883 (SArTagnan) R 4881 4883 4254 0 -1 4202496 62885 0 0 0 2468 10 0 0 25 0 4 0 602259297 309862400 43987 33554432000 4194304 4623224 140734107081536 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4883/statm: 75650 43987 373 105 0 71154 0
[pid=4883/tid=4885] ppid=4881 vsize=302600 CPUtime=6.13 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (SArTagnan) R 4881 4883 4254 0 -1 4202560 8155 0 0 0 612 1 0 0 25 0 4 0 602259309 309862400 43987 33554432000 4194304 4623224 140734107081536 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=302600 CPUtime=6.16 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (SArTagnan) R 4881 4883 4254 0 -1 4202560 9962 0 0 0 614 2 0 0 25 0 4 0 602259309 309862400 43987 33554432000 4194304 4623224 140734107081536 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=302600 CPUtime=6.16 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (SArTagnan) R 4881 4883 4254 0 -1 4202560 19167 0 0 0 614 2 0 0 25 0 4 0 602259309 309862400 43987 33554432000 4194304 4623224 140734107081536 18446744073709551615 4363742 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.78
Current children cumulated vsize (KiB) 302600

[startup+12.7012 s]
/proc/loadavg: 4.99 6.95 7.54 9/184 4887
/proc/meminfo: memFree=28116080/32950928 swapFree=67111352/67111528
[pid=4883] ppid=4881 vsize=411308 CPUtime=50.34 cores=1,3,5,7
/proc/4883/stat : 4883 (SArTagnan) R 4881 4883 4254 0 -1 4202496 122706 0 0 0 5011 23 0 0 25 0 4 0 602259297 421179392 66456 33554432000 4194304 4623224 140734107081536 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4883/statm: 102827 66456 456 105 0 98331 0
[pid=4883/tid=4885] ppid=4881 vsize=411308 CPUtime=12.49 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (SArTagnan) R 4881 4883 4254 0 -1 4202560 13929 0 0 0 1246 3 0 0 25 0 4 0 602259309 421179392 66456 33554432000 4194304 4623224 140734107081536 18446744073709551615 4357390 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=411308 CPUtime=12.56 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (SArTagnan) R 4881 4883 4254 0 -1 4202560 18301 0 0 0 1251 5 0 0 25 0 4 0 602259309 421179392 66456 33554432000 4194304 4623224 140734107081536 18446744073709551615 4377144 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=411308 CPUtime=12.56 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (SArTagnan) R 4881 4883 4254 0 -1 4202560 56165 0 0 0 1247 9 0 0 25 0 4 0 602259309 421179392 66456 33554432000 4194304 4623224 140734107081536 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.34
Current children cumulated vsize (KiB) 411308

[startup+25.5008 s]
/proc/loadavg: 5.66 7.00 7.55 9/184 4888
/proc/meminfo: memFree=27905516/32950928 swapFree=67111352/67111528
[pid=4883] ppid=4881 vsize=616152 CPUtime=101.47 cores=1,3,5,7
/proc/4883/stat : 4883 (SArTagnan) R 4881 4883 4254 0 -1 4202496 250339 0 0 0 10100 47 0 0 25 0 4 0 602259297 630939648 103032 33554432000 4194304 4623224 140734107081536 18446744073709551615 4414993 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4883/statm: 154038 103032 467 105 0 149542 0
[pid=4883/tid=4885] ppid=4881 vsize=616152 CPUtime=25.22 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (SArTagnan) R 4881 4883 4254 0 -1 4202560 25379 0 0 0 2515 7 0 0 25 0 4 0 602259309 630939648 103032 33554432000 4194304 4623224 140734107081536 18446744073709551615 4376649 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=616152 CPUtime=25.36 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (SArTagnan) R 4881 4883 4254 0 -1 4202560 33445 0 0 0 2524 12 0 0 25 0 4 0 602259309 630939648 103032 33554432000 4194304 4623224 140734107081536 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=616152 CPUtime=25.36 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (SArTagnan) R 4881 4883 4254 0 -1 4202560 114435 0 0 0 2520 16 0 0 25 0 4 0 602259309 630939648 103032 33554432000 4194304 4623224 140734107081536 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 616152

[startup+51.1011 s]
/proc/loadavg: 6.46 7.08 7.56 9/184 4890
/proc/meminfo: memFree=27542028/32950928 swapFree=67111352/67111528
[pid=4883] ppid=4881 vsize=893264 CPUtime=203.72 cores=1,3,5,7
/proc/4883/stat : 4883 (SArTagnan) R 4881 4883 4254 0 -1 4202496 542516 0 0 0 20278 94 0 0 25 0 4 0 602259297 914702336 166319 33554432000 4194304 4623224 140734107081536 18446744073709551615 4415028 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4883/statm: 223316 166319 389 105 0 218820 0
[pid=4883/tid=4885] ppid=4881 vsize=893264 CPUtime=50.68 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (SArTagnan) R 4881 4883 4254 0 -1 4202560 36859 0 0 0 5059 9 0 0 25 0 4 0 602259309 914702336 166320 33554432000 4194304 4623224 140734107081536 18446744073709551615 4376666 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=893264 CPUtime=50.96 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (SArTagnan) R 4881 4883 4254 0 -1 4202560 52764 0 0 0 5075 21 0 0 25 0 4 0 602259309 914702336 166320 33554432000 4194304 4623224 140734107081536 18446744073709551615 251367207621 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=893264 CPUtime=50.96 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (SArTagnan) R 4881 4883 4254 0 -1 4202560 281783 0 0 0 5055 41 0 0 25 0 4 0 602259309 914702336 166320 33554432000 4194304 4623224 140734107081536 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.72
Current children cumulated vsize (KiB) 893264

[startup+102.307 s]
/proc/loadavg: 7.50 7.27 7.60 9/184 4893
/proc/meminfo: memFree=26952860/32950928 swapFree=67111352/67111528
[pid=4883] ppid=4881 vsize=1321636 CPUtime=407.48 cores=1,3,5,7
/proc/4883/stat : 4883 (SArTagnan) R 4881 4883 4254 0 -1 4202496 1039566 0 0 0 40570 178 0 0 25 0 4 0 602259297 1353355264 261640 33554432000 4194304 4623224 140734107081536 18446744073709551615 4414880 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4883/statm: 330409 261640 342 105 0 325913 0
[pid=4883/tid=4885] ppid=4881 vsize=1321636 CPUtime=101.6 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (SArTagnan) R 4881 4883 4254 0 -1 4202560 57821 0 0 0 10140 20 0 0 25 0 4 0 602259309 1353355264 261640 33554432000 4194304 4623224 140734107081536 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=1321636 CPUtime=101.41 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (SArTagnan) R 4881 4883 4254 0 -1 4202560 81689 0 0 0 10113 28 0 0 25 0 4 0 602259309 1353355264 261640 33554432000 4194304 4623224 140734107081536 18446744073709551615 4376835 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=1321636 CPUtime=102.15 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (SArTagnan) R 4881 4883 4254 0 -1 4202560 549697 0 0 0 10131 84 0 0 25 0 4 0 602259309 1353355264 261640 33554432000 4194304 4623224 140734107081536 18446744073709551615 4550519 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.48
Current children cumulated vsize (KiB) 1321636

[startup+162.301 s]
/proc/loadavg: 7.81 7.40 7.62 9/184 4894
/proc/meminfo: memFree=26359476/32950928 swapFree=67111352/67111528
[pid=4883] ppid=4881 vsize=1719340 CPUtime=647.13 cores=1,3,5,7
/proc/4883/stat : 4883 (SArTagnan) R 4881 4883 4254 0 -1 4202496 1611277 0 0 0 64441 272 0 0 25 0 4 0 602259297 1760604160 333358 33554432000 4194304 4623224 140734107081536 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4883/statm: 429835 333358 521 105 0 425339 0
[pid=4883/tid=4885] ppid=4881 vsize=1719340 CPUtime=161.27 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (SArTagnan) R 4881 4883 4254 0 -1 4202560 59649 0 0 0 16106 21 0 0 25 0 4 0 602259309 1760604160 333358 33554432000 4194304 4623224 140734107081536 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=1719340 CPUtime=161.4 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (SArTagnan) R 4881 4883 4254 0 -1 4202560 104519 0 0 0 16108 32 0 0 25 0 4 0 602259309 1760604160 333358 33554432000 4194304 4623224 140734107081536 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=1719340 CPUtime=162.14 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (SArTagnan) R 4881 4883 4254 0 -1 4202560 929071 0 0 0 16068 146 0 0 25 0 4 0 602259309 1760604160 333358 33554432000 4194304 4623224 140734107081536 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 647.13
Current children cumulated vsize (KiB) 1719340

[startup+222.3 s]
/proc/loadavg: 8.03 7.54 7.65 9/184 4896
/proc/meminfo: memFree=25840236/32950928 swapFree=67111352/67111528
[pid=4883] ppid=4881 vsize=1878468 CPUtime=886.81 cores=1,3,5,7
/proc/4883/stat : 4883 (SArTagnan) R 4881 4883 4254 0 -1 4202496 1939309 0 0 0 88349 332 0 0 25 0 4 0 602259297 1923551232 353253 33554432000 4194304 4623224 140734107081536 18446744073709551615 4510108 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4883/statm: 469617 353253 454 105 0 465121 0
[pid=4883/tid=4885] ppid=4881 vsize=1878468 CPUtime=220.94 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (SArTagnan) R 4881 4883 4254 0 -1 4202560 60082 0 0 0 22073 21 0 0 25 0 4 0 602259309 1923551232 353253 33554432000 4194304 4623224 140734107081536 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=1878468 CPUtime=221.41 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (SArTagnan) R 4881 4883 4254 0 -1 4202560 105904 0 0 0 22108 33 0 0 25 0 4 0 602259309 1923551232 353253 33554432000 4194304 4623224 140734107081536 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=1878468 CPUtime=222.14 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (SArTagnan) R 4881 4883 4254 0 -1 4202560 1208040 0 0 0 22020 194 0 0 25 0 4 0 602259309 1923551232 353253 33554432000 4194304 4623224 140734107081536 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 886.81
Current children cumulated vsize (KiB) 1878468

[startup+282.3 s]

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


[startup+702.301 s]
/proc/loadavg: 8.26 8.05 7.85 9/184 4909
/proc/meminfo: memFree=23216304/32950928 swapFree=67111352/67111528
[pid=4883] ppid=4881 vsize=2315184 CPUtime=2804.23 cores=1,3,5,7
/proc/4883/stat : 4883 (SArTagnan) R 4881 4883 4254 0 -1 4202496 5084761 0 0 0 279533 890 0 0 25 0 4 0 602259297 2370748416 476070 33554432000 4194304 4623224 140734107081536 18446744073709551615 4415014 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4883/statm: 578796 476070 342 105 0 574300 0
[pid=4883/tid=4885] ppid=4881 vsize=2315184 CPUtime=698.34 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (SArTagnan) R 4881 4883 4254 0 -1 4202560 76971 0 0 0 69809 25 0 0 25 0 4 0 602259309 2370748416 476070 33554432000 4194304 4623224 140734107081536 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=2315184 CPUtime=701.42 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (SArTagnan) R 4881 4883 4254 0 -1 4202560 108778 0 0 0 70108 34 0 0 25 0 4 0 602259309 2370748416 476070 33554432000 4194304 4623224 140734107081536 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=2315184 CPUtime=702.13 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (SArTagnan) R 4881 4883 4254 0 -1 4202560 3963041 0 0 0 69530 683 0 0 25 0 4 0 602259309 2370748416 476070 33554432000 4194304 4623224 140734107081536 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2804.23
Current children cumulated vsize (KiB) 2315184

[startup+762.307 s]
/proc/loadavg: 8.23 8.07 7.86 9/184 4910
/proc/meminfo: memFree=22708968/32950928 swapFree=67111352/67111528
[pid=4883] ppid=4881 vsize=2425432 CPUtime=3043.93 cores=1,3,5,7
/proc/4883/stat : 4883 (SArTagnan) R 4881 4883 4254 0 -1 4202496 5590614 0 0 0 303414 979 0 0 25 0 4 0 602259297 2483642368 492506 33554432000 4194304 4623224 140734107081536 18446744073709551615 4414993 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4883/statm: 606358 492506 342 105 0 601862 0
[pid=4883/tid=4885] ppid=4881 vsize=2425432 CPUtime=758.01 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (SArTagnan) R 4881 4883 4254 0 -1 4202560 77466 0 0 0 75776 25 0 0 25 0 4 0 602259309 2483642368 492506 33554432000 4194304 4623224 140734107081536 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=2425432 CPUtime=761.43 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (SArTagnan) R 4881 4883 4254 0 -1 4202560 109077 0 0 0 76109 34 0 0 25 0 4 0 602259309 2483642368 492506 33554432000 4194304 4623224 140734107081536 18446744073709551615 4357655 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=2425432 CPUtime=762.13 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (SArTagnan) R 4881 4883 4254 0 -1 4202560 4441079 0 0 0 75446 767 0 0 25 0 4 0 602259309 2483642368 492506 33554432000 4194304 4623224 140734107081536 18446744073709551615 4363742 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3043.93
Current children cumulated vsize (KiB) 2425432

[startup+822.301 s]
/proc/loadavg: 8.21 8.09 7.88 9/184 4912
/proc/meminfo: memFree=22175596/32950928 swapFree=67111352/67111528
[pid=4883] ppid=4881 vsize=2491740 CPUtime=3283.59 cores=1,3,5,7
/proc/4883/stat : 4883 (SArTagnan) R 4881 4883 4254 0 -1 4202496 6074619 0 0 0 327297 1062 0 0 25 0 4 0 602259297 2551541760 503440 33554432000 4194304 4623224 140734107081536 18446744073709551615 4414984 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4883/statm: 622935 503442 342 105 0 618439 0
[pid=4883/tid=4885] ppid=4881 vsize=2491740 CPUtime=817.69 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (SArTagnan) R 4881 4883 4254 0 -1 4202560 77779 0 0 0 81744 25 0 0 25 0 4 0 602259309 2551541760 503442 33554432000 4194304 4623224 140734107081536 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=2491740 CPUtime=821.43 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (SArTagnan) R 4881 4883 4254 0 -1 4202560 109869 0 0 0 82108 35 0 0 25 0 4 0 602259309 2551541760 503443 33554432000 4194304 4623224 140734107081536 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=2491740 CPUtime=822.14 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (SArTagnan) R 4881 4883 4254 0 -1 4202560 4918821 0 0 0 81365 849 0 0 25 0 4 0 602259309 2551541760 503443 33554432000 4194304 4623224 140734107081536 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3283.59
Current children cumulated vsize (KiB) 2491740

[startup+882.3 s]
/proc/loadavg: 8.07 8.07 7.89 10/184 4943
/proc/meminfo: memFree=26218504/32950928 swapFree=67111352/67111528
[pid=4883] ppid=4881 vsize=2492432 CPUtime=3523.27 cores=1,3,5,7
/proc/4883/stat : 4883 (SArTagnan) R 4881 4883 4254 0 -1 4202496 6575015 0 0 0 351186 1141 0 0 25 0 4 0 602259297 2552250368 515579 33554432000 4194304 4623224 140734107081536 18446744073709551615 4414978 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4883/statm: 623108 515579 342 105 0 618612 0
[pid=4883/tid=4885] ppid=4881 vsize=2492432 CPUtime=877.36 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (SArTagnan) R 4881 4883 4254 0 -1 4202560 78240 0 0 0 87710 26 0 0 25 0 4 0 602259309 2552250368 515579 33554432000 4194304 4623224 140734107081536 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=2492432 CPUtime=881.43 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (SArTagnan) R 4881 4883 4254 0 -1 4202560 110289 0 0 0 88108 35 0 0 25 0 4 0 602259309 2552250368 515579 33554432000 4194304 4623224 140734107081536 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=2492432 CPUtime=882.14 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (SArTagnan) R 4881 4883 4254 0 -1 4202560 5412752 0 0 0 87288 926 0 0 25 0 4 0 602259309 2552250368 515579 33554432000 4194304 4623224 140734107081536 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3523.27
Current children cumulated vsize (KiB) 2492432

[startup+942.3 s]
/proc/loadavg: 8.07 8.07 7.90 10/184 4945
/proc/meminfo: memFree=25971920/32950928 swapFree=67111352/67111528
[pid=4883] ppid=4881 vsize=2562708 CPUtime=3762.95 cores=1,3,5,7
/proc/4883/stat : 4883 (SArTagnan) R 4881 4883 4254 0 -1 4202496 7055069 0 0 0 375070 1225 0 0 25 0 4 0 602259297 2624212992 525570 33554432000 4194304 4623224 140734107081536 18446744073709551615 4414965 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4883/statm: 640677 525571 342 105 0 636181 0
[pid=4883/tid=4885] ppid=4881 vsize=2562708 CPUtime=937.04 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (SArTagnan) R 4881 4883 4254 0 -1 4202560 78702 0 0 0 93678 26 0 0 25 0 4 0 602259309 2624212992 525571 33554432000 4194304 4623224 140734107081536 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=2562708 CPUtime=941.43 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (SArTagnan) R 4881 4883 4254 0 -1 4202560 110562 0 0 0 94108 35 0 0 25 0 4 0 602259309 2624212992 525573 33554432000 4194304 4623224 140734107081536 18446744073709551615 4357410 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=2562708 CPUtime=942.14 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (SArTagnan) R 4881 4883 4254 0 -1 4202560 5886416 0 0 0 93206 1008 0 0 25 0 4 0 602259309 2624212992 525573 33554432000 4194304 4623224 140734107081536 18446744073709551615 4577678 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3762.95
Current children cumulated vsize (KiB) 2562708

[startup+1002.3 s]
/proc/loadavg: 8.07 8.07 7.91 9/184 4947
/proc/meminfo: memFree=25795664/32950928 swapFree=67111352/67111528
[pid=4883] ppid=4881 vsize=2562708 CPUtime=4002.63 cores=1,3,5,7
/proc/4883/stat : 4883 (SArTagnan) R 4881 4883 4254 0 -1 4202496 7584714 0 0 0 398950 1313 0 0 25 0 4 0 602259297 2624212992 536266 33554432000 4194304 4623224 140734107081536 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4883/statm: 640677 536266 342 105 0 636181 0
[pid=4883/tid=4885] ppid=4881 vsize=2562708 CPUtime=996.71 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (SArTagnan) R 4881 4883 4254 0 -1 4202560 78910 0 0 0 99645 26 0 0 25 0 4 0 602259309 2624212992 536266 33554432000 4194304 4623224 140734107081536 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=2562708 CPUtime=1001.43 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (SArTagnan) R 4881 4883 4254 0 -1 4202560 110806 0 0 0 100108 35 0 0 25 0 4 0 602259309 2624212992 536266 33554432000 4194304 4623224 140734107081536 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=2562708 CPUtime=1002.14 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (SArTagnan) R 4881 4883 4254 0 -1 4202560 6410202 0 0 0 99119 1095 0 0 25 0 4 0 602259309 2624212992 536266 33554432000 4194304 4623224 140734107081536 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4002.63
Current children cumulated vsize (KiB) 2562708

[startup+1062.3 s]
/proc/loadavg: 8.13 8.08 7.92 9/184 4948
/proc/meminfo: memFree=25356040/32950928 swapFree=67111352/67111528
[pid=4883] ppid=4881 vsize=3224216 CPUtime=4242.22 cores=1,3,5,7
/proc/4883/stat : 4883 (SArTagnan) R 4881 4883 4254 0 -1 4202496 8453701 0 0 0 422766 1456 0 0 25 0 4 0 602259297 3301597184 610144 33554432000 4194304 4623224 140734107081536 18446744073709551615 4517548 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4883/statm: 806054 610145 342 105 0 801558 0
[pid=4883/tid=4885] ppid=4881 vsize=3224216 CPUtime=1056.39 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (SArTagnan) R 4881 4883 4254 0 -1 4202560 79751 0 0 0 105613 26 0 0 25 0 4 0 602259309 3301597184 610145 33554432000 4194304 4623224 140734107081536 18446744073709551615 4357768 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=3224216 CPUtime=1061.38 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (SArTagnan) R 4881 4883 4254 0 -1 4202560 148346 0 0 0 106083 55 0 0 25 0 4 0 602259309 3301597184 610146 33554432000 4194304 4623224 140734107081536 18446744073709551615 4373048 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=3224216 CPUtime=1062.1 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (SArTagnan) R 4881 4883 4254 0 -1 4202560 6940703 0 0 0 105032 1178 0 0 25 0 4 0 602259309 3301597184 610146 33554432000 4194304 4623224 140734107081536 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4242.22
Current children cumulated vsize (KiB) 3224216

[startup+1122.3 s]
/proc/loadavg: 8.08 8.08 7.93 10/184 4950
/proc/meminfo: memFree=25071044/32950928 swapFree=67111352/67111528
[pid=4883] ppid=4881 vsize=3289752 CPUtime=4481.88 cores=1,3,5,7
/proc/4883/stat : 4883 (SArTagnan) R 4881 4883 4254 0 -1 4202496 9056828 0 0 0 446619 1569 0 0 25 0 4 0 602259297 3368706048 654028 33554432000 4194304 4623224 140734107081536 18446744073709551615 4414984 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4883/statm: 822438 654028 342 105 0 817942 0
[pid=4883/tid=4885] ppid=4881 vsize=3289752 CPUtime=1116.06 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (SArTagnan) R 4881 4883 4254 0 -1 4202560 80221 0 0 0 111580 26 0 0 25 0 4 0 602259309 3368706048 654028 33554432000 4194304 4623224 140734107081536 18446744073709551615 4357576 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=3289752 CPUtime=1121.38 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (SArTagnan) R 4881 4883 4254 0 -1 4202560 173404 0 0 0 112061 77 0 0 25 0 4 0 602259309 3368706048 654028 33554432000 4194304 4623224 140734107081536 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=3289752 CPUtime=1122.1 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (SArTagnan) R 4881 4883 4254 0 -1 4202560 7500594 0 0 0 110944 1266 0 0 25 0 4 0 602259309 3368706048 654028 33554432000 4194304 4623224 140734107081536 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4481.88
Current children cumulated vsize (KiB) 3289752

[startup+1182.3 s]
/proc/loadavg: 8.06 8.08 7.93 10/184 4951
/proc/meminfo: memFree=24841240/32950928 swapFree=67111352/67111528
[pid=4883] ppid=4881 vsize=3321880 CPUtime=4721.56 cores=1,3,5,7
/proc/4883/stat : 4883 (SArTagnan) R 4881 4883 4254 0 -1 4202496 9673245 0 0 0 470486 1670 0 0 25 0 4 0 602259297 3401605120 691390 33554432000 4194304 4623224 140734107081536 18446744073709551615 4414990 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4883/statm: 830470 691390 342 105 0 825974 0
[pid=4883/tid=4885] ppid=4881 vsize=3321880 CPUtime=1175.74 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (SArTagnan) R 4881 4883 4254 0 -1 4202560 80859 0 0 0 117547 27 0 0 25 0 4 0 602259309 3401605120 691390 33554432000 4194304 4623224 140734107081536 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=3321880 CPUtime=1181.38 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (SArTagnan) R 4881 4883 4254 0 -1 4202560 181294 0 0 0 118054 84 0 0 25 0 4 0 602259309 3401605120 691390 33554432000 4194304 4623224 140734107081536 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=3321880 CPUtime=1182.09 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (SArTagnan) R 4881 4883 4254 0 -1 4202560 8078105 0 0 0 116855 1354 0 0 25 0 4 0 602259309 3401605120 691390 33554432000 4194304 4623224 140734107081536 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4721.56
Current children cumulated vsize (KiB) 3321880



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202 s]
/proc/loadavg: 8.11 8.09 7.94 10/184 4952
/proc/meminfo: memFree=24795228/32950928 swapFree=67111352/67111528
[pid=4883] ppid=4881 vsize=3321880 CPUtime=4800.27 cores=1,3,5,7
/proc/4883/stat : 4883 (SArTagnan) R 4881 4883 4254 0 -1 4202496 9874841 0 0 0 478324 1703 0 0 25 0 4 0 602259297 3401605120 697025 33554432000 4194304 4623224 140734107081536 18446744073709551615 4355951 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4883/statm: 830470 697025 342 105 0 825974 0
[pid=4883/tid=4885] ppid=4881 vsize=3321880 CPUtime=1195.34 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (SArTagnan) R 4881 4883 4254 0 -1 4202560 80980 0 0 0 119507 27 0 0 25 0 4 0 602259309 3401605120 697029 33554432000 4194304 4623224 140734107081536 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4883/tid=4886] ppid=4881 vsize=3321880 CPUtime=1201.08 cores=1,3,5,7
/proc/4883/task/4886/stat : 4886 (SArTagnan) R 4881 4883 4254 0 -1 4202560 181960 0 0 0 120024 84 0 0 25 0 4 0 602259309 3401605120 697029 33554432000 4194304 4623224 140734107081536 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4883/tid=4887] ppid=4881 vsize=3321880 CPUtime=1201.8 cores=1,3,5,7
/proc/4883/task/4887/stat : 4887 (SArTagnan) R 4881 4883 4254 0 -1 4202560 8271558 0 0 0 118794 1386 0 0 25 0 4 0 602259309 3401605120 697030 33554432000 4194304 4623224 140734107081536 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 3321880

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

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

[startup+1202.11 s]
/proc/loadavg: 8.11 8.09 7.94 10/184 4952
/proc/meminfo: memFree=24795228/32950928 swapFree=67111352/67111528
[pid=4883] ppid=4881 vsize=0 CPUtime=4800.39 cores=1,3,5,7
/proc/4883/stat : 4883 (SArTagnan) Z 4881 4883 4254 0 -1 4203548 9875219 0 0 0 478326 1713 0 0 25 0 2 0 602259297 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/4883/statm: 0 0 0 0 0 0 0
[pid=4883/tid=4885] ppid=4881 vsize=0 CPUtime=1195.44 cores=1,3,5,7
/proc/4883/task/4885/stat : 4885 (SArTagnan) R 4881 4883 4254 0 -1 4203588 80980 0 0 0 119507 37 0 0 25 0 2 0 602259309 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.13
CPU time (s): 4800.42
CPU user time (s): 4783.26
CPU system time (s): 17.1534
CPU usage (%): 399.327
Max. virtual memory (cumulated for all children) (KiB): 4109556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4783.26
system time used= 17.1534
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9875219
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= 4095
involuntary context switches= 32119

runsolver used 1.88271 second user time and 4.68629 second system time

The end

Launcher Data 

Begin job on node113 at 2011-04-30 01:38:06
IDJOB=3251002
IDBENCH=88207
IDSOLVER=1656
FILE ID=node113/3251002-1304120286
RUNJOBID= node113-1304120286-4861
PBS_JOBID= 13170715
Free space on /tmp= 71160 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m52-q1041.25-n50-p30-s30907550.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251002-1304120286/watcher-3251002-1304120286 -o /tmp/evaluation-result-3251002-1304120286/solver-3251002-1304120286 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3251002-1304120286.cnf -threads=4

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

MD5SUM BENCH= 002a4cb53ea02f66e0c3418dc8834f7c
RANDOM SEED=1967712565

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28464536 kB
Buffers:        730848 kB
Cached:        3163260 kB
SwapCached:         12 kB
Active:         168936 kB
Inactive:      3799668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28464536 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:            7868 kB
Writeback:           0 kB
AnonPages:       74476 kB
Mapped:          15260 kB
Slab:           453204 kB
PageTables:       4320 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   248368 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= 71160 MiB
End job on node113 at 2011-04-30 01:58:10