Trace number 3386341

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-05-15 (fixed)? (TO) 4800.55 1205.6

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf
MD5SUMa4c7dbdc89378b1335eea4904f9f5cb5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark117.78
Satisfiable
(Un)Satisfiability was proved
Number of variables156058
Number of clauses466691
Sum of the clauses size1088943
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2311126
Number of clauses of size 3155563
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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: 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-3386341-1305579874/watcher-3386341-1305579874 -o /tmp/evaluation-result-3386341-1305579874/solver-3386341-1305579874 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386341-1305579874.cnf -threads=4 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 7.97 8.08 8.08 6/530 12457
/proc/meminfo: memFree=11094116/32950928 swapFree=60199076/67111528
[pid=12457] ppid=12455 vsize=43160 CPUtime=0 cores=0,2,4,6
/proc/12457/stat : 12457 (SArTagnan) R 12455 12457 12217 0 -1 4202496 3408 0 0 0 0 0 0 0 25 0 1 0 669586267 44195840 3347 33554432000 4194304 4625164 140734717453200 18446744073709551615 268272386144 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/12457/statm: 10790 3347 296 106 0 6293 0

[startup+0.0796069 s]
/proc/loadavg: 7.97 8.08 8.08 6/530 12457
/proc/meminfo: memFree=11094116/32950928 swapFree=60199076/67111528
[pid=12457] ppid=12455 vsize=50572 CPUtime=0.07 cores=0,2,4,6
/proc/12457/stat : 12457 (SArTagnan) R 12455 12457 12217 0 -1 4202496 7714 0 0 0 6 1 0 0 25 0 1 0 669586267 51785728 5210 33554432000 4194304 4625164 140734717453200 18446744073709551615 4361099 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/12457/statm: 12643 5212 296 106 0 8146 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 50572

[startup+0.100602 s]
/proc/loadavg: 7.97 8.08 8.08 6/530 12457
/proc/meminfo: memFree=11094116/32950928 swapFree=60199076/67111528
[pid=12457] ppid=12455 vsize=52840 CPUtime=0.09 cores=0,2,4,6
/proc/12457/stat : 12457 (SArTagnan) R 12455 12457 12217 0 -1 4202496 9116 0 0 0 8 1 0 0 25 0 1 0 669586267 54108160 5777 33554432000 4194304 4625164 140734717453200 18446744073709551615 4361099 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/12457/statm: 13210 5777 296 106 0 8713 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 52840

[startup+0.30057 s]
/proc/loadavg: 7.97 8.08 8.08 6/530 12457
/proc/meminfo: memFree=11094116/32950928 swapFree=60199076/67111528
[pid=12457] ppid=12455 vsize=307936 CPUtime=0.45 cores=0,2,4,6
/proc/12457/stat : 12457 (SArTagnan) R 12455 12457 12217 0 -1 4202496 34188 0 0 0 41 4 0 0 25 0 4 0 669586267 315326464 27175 33554432000 4194304 4625164 140734717453200 18446744073709551615 4498980 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12457/statm: 76984 27175 332 106 0 72487 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 307936

[startup+0.7005 s]
/proc/loadavg: 7.97 8.08 8.08 6/530 12457
/proc/meminfo: memFree=11094116/32950928 swapFree=60199076/67111528
[pid=12457] ppid=12455 vsize=378336 CPUtime=2.05 cores=0,2,4,6
/proc/12457/stat : 12457 (SArTagnan) R 12455 12457 12217 0 -1 4202496 36042 0 0 0 201 4 0 0 25 0 4 0 669586267 387416064 28511 33554432000 4194304 4625164 140734717453200 18446744073709551615 4390623 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12457/statm: 94584 28511 336 106 0 90087 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 378336

[startup+1.50036 s]
/proc/loadavg: 7.97 8.08 8.08 9/534 12461
/proc/meminfo: memFree=10979268/32950928 swapFree=60199076/67111528
[pid=12457] ppid=12455 vsize=383248 CPUtime=5.23 cores=0,2,4,6
/proc/12457/stat : 12457 (SArTagnan) R 12455 12457 12217 0 -1 4202496 41995 0 0 0 518 5 0 0 25 0 4 0 669586267 392445952 29345 33554432000 4194304 4625164 140734717453200 18446744073709551615 4509246 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12457/statm: 95812 29345 342 106 0 91315 0
[pid=12457/tid=12459] ppid=12455 vsize=383248 CPUtime=1.25 cores=0,2,4,6
/proc/12457/task/12459/stat : 12459 (SArTagnan) R 12455 12457 12217 0 -1 4202560 1444 0 0 0 125 0 0 0 25 0 4 0 669586290 392445952 29345 33554432000 4194304 4625164 140734717453200 18446744073709551615 4288861 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12457/tid=12460] ppid=12455 vsize=383248 CPUtime=1.26 cores=0,2,4,6
/proc/12457/task/12460/stat : 12460 (SArTagnan) R 12455 12457 12217 0 -1 4202560 1481 0 0 0 126 0 0 0 25 0 4 0 669586290 392445952 29345 33554432000 4194304 4625164 140734717453200 18446744073709551615 4288883 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12457/tid=12461] ppid=12455 vsize=383248 CPUtime=1.25 cores=0,2,4,6
/proc/12457/task/12461/stat : 12461 (SArTagnan) R 12455 12457 12217 0 -1 4202560 6865 0 0 0 125 0 0 0 25 0 4 0 669586290 392445952 29345 33554432000 4194304 4625164 140734717453200 18446744073709551615 4552950 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.23
Current children cumulated vsize (KiB) 383248

[startup+3.10107 s]
/proc/loadavg: 7.97 8.08 8.08 9/534 12461
/proc/meminfo: memFree=10974920/32950928 swapFree=60199076/67111528
[pid=12457] ppid=12455 vsize=388156 CPUtime=11.62 cores=0,2,4,6
/proc/12457/stat : 12457 (SArTagnan) R 12455 12457 12217 0 -1 4202496 53772 0 0 0 1155 7 0 0 25 0 4 0 669586267 397471744 31046 33554432000 4194304 4625164 140734717453200 18446744073709551615 4511795 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12457/statm: 97039 31046 342 106 0 92542 0
[pid=12457/tid=12459] ppid=12455 vsize=388156 CPUtime=2.85 cores=0,2,4,6
/proc/12457/task/12459/stat : 12459 (SArTagnan) R 12455 12457 12217 0 -1 4202560 3170 0 0 0 285 0 0 0 25 0 4 0 669586290 397471744 31046 33554432000 4194304 4625164 140734717453200 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12457/tid=12460] ppid=12455 vsize=388156 CPUtime=2.86 cores=0,2,4,6
/proc/12457/task/12460/stat : 12460 (SArTagnan) R 12455 12457 12217 0 -1 4202560 3039 0 0 0 286 0 0 0 25 0 4 0 669586290 397471744 31046 33554432000 4194304 4625164 140734717453200 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12457/tid=12461] ppid=12455 vsize=388156 CPUtime=2.86 cores=0,2,4,6
/proc/12457/task/12461/stat : 12461 (SArTagnan) R 12455 12457 12217 0 -1 4202560 14827 0 0 0 284 2 0 0 25 0 4 0 669586290 397471744 31046 33554432000 4194304 4625164 140734717453200 18446744073709551615 268272338130 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.62
Current children cumulated vsize (KiB) 388156

[startup+6.3005 s]
/proc/loadavg: 7.97 8.08 8.08 9/534 12461
/proc/meminfo: memFree=10600688/32950928 swapFree=60199076/67111528
[pid=12457] ppid=12455 vsize=1108636 CPUtime=24.35 cores=0,2,4,6
/proc/12457/stat : 12457 (SArTagnan) R 12455 12457 12217 0 -1 4202496 325764 0 0 0 2392 43 0 0 25 0 4 0 669586267 1135243264 191829 33554432000 4194304 4625164 140734717453200 18446744073709551615 4337546 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12457/statm: 277159 191829 373 106 0 272662 0
[pid=12457/tid=12459] ppid=12455 vsize=1108636 CPUtime=6.05 cores=0,2,4,6
/proc/12457/task/12459/stat : 12459 (SArTagnan) R 12455 12457 12217 0 -1 4202560 43396 0 0 0 600 5 0 0 25 0 4 0 669586290 1135243264 191829 33554432000 4194304 4625164 140734717453200 18446744073709551615 4278680 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12457/tid=12460] ppid=12455 vsize=1108636 CPUtime=6.05 cores=0,2,4,6
/proc/12457/task/12460/stat : 12460 (SArTagnan) R 12455 12457 12217 0 -1 4202560 42367 0 0 0 601 4 0 0 25 0 4 0 669586290 1135243264 191829 33554432000 4194304 4625164 140734717453200 18446744073709551615 268272356314 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12457/tid=12461] ppid=12455 vsize=1108636 CPUtime=6.05 cores=0,2,4,6
/proc/12457/task/12461/stat : 12461 (SArTagnan) R 12455 12457 12217 0 -1 4202560 68791 0 0 0 597 8 0 0 25 0 4 0 669586290 1135243264 191829 33554432000 4194304 4625164 140734717453200 18446744073709551615 4278271 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.35
Current children cumulated vsize (KiB) 1108636

[startup+12.7004 s]
/proc/loadavg: 8.06 8.09 8.08 5/529 12462
/proc/meminfo: memFree=11714580/32950928 swapFree=60199076/67111528
[pid=12457] ppid=12455 vsize=1156800 CPUtime=49.82 cores=0,2,4,6
/proc/12457/stat : 12457 (SArTagnan) R 12455 12457 12217 0 -1 4202496 371542 0 0 0 4933 49 0 0 25 0 4 0 669586267 1184563200 201344 33554432000 4194304 4625164 140734717453200 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12457/statm: 289200 201344 369 106 0 284703 0
[pid=12457/tid=12459] ppid=12455 vsize=1156800 CPUtime=12.44 cores=0,2,4,6
/proc/12457/task/12459/stat : 12459 (SArTagnan) R 12455 12457 12217 0 -1 4202560 58067 0 0 0 1238 6 0 0 25 0 4 0 669586290 1184563200 201344 33554432000 4194304 4625164 140734717453200 18446744073709551615 4353109 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12457/tid=12460] ppid=12455 vsize=1156800 CPUtime=12.46 cores=0,2,4,6
/proc/12457/task/12460/stat : 12460 (SArTagnan) R 12455 12457 12217 0 -1 4202560 44041 0 0 0 1241 5 0 0 25 0 4 0 669586290 1184563200 201344 33554432000 4194304 4625164 140734717453200 18446744073709551615 4352223 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12457/tid=12461] ppid=12455 vsize=1156800 CPUtime=12.45 cores=0,2,4,6
/proc/12457/task/12461/stat : 12461 (SArTagnan) R 12455 12457 12217 0 -1 4202560 80180 0 0 0 1236 9 0 0 25 0 4 0 669586290 1184563200 201344 33554432000 4194304 4625164 140734717453200 18446744073709551615 4547807 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.82
Current children cumulated vsize (KiB) 1156800

[startup+25.5011 s]
/proc/loadavg: 7.77 8.02 8.06 9/534 12493
/proc/meminfo: memFree=10796372/32950928 swapFree=60199076/67111528
[pid=12457] ppid=12455 vsize=1156800 CPUtime=100.79 cores=0,2,4,6
/proc/12457/stat : 12457 (SArTagnan) R 12455 12457 12217 0 -1 4202496 372930 0 0 0 10029 50 0 0 25 0 4 0 669586267 1184563200 202732 33554432000 4194304 4625164 140734717453200 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12457/statm: 289200 202732 371 106 0 284703 0
[pid=12457/tid=12459] ppid=12455 vsize=1156800 CPUtime=25.25 cores=0,2,4,6
/proc/12457/task/12459/stat : 12459 (SArTagnan) R 12455 12457 12217 0 -1 4202560 58086 0 0 0 2518 7 0 0 25 0 4 0 669586290 1184563200 202732 33554432000 4194304 4625164 140734717453200 18446744073709551615 4353019 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12457/tid=12460] ppid=12455 vsize=1156800 CPUtime=25.26 cores=0,2,4,6
/proc/12457/task/12460/stat : 12460 (SArTagnan) R 12455 12457 12217 0 -1 4202560 44119 0 0 0 2521 5 0 0 25 0 4 0 669586290 1184563200 202732 33554432000 4194304 4625164 140734717453200 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12457/tid=12461] ppid=12455 vsize=1156800 CPUtime=25.25 cores=0,2,4,6
/proc/12457/task/12461/stat : 12461 (SArTagnan) R 12455 12457 12217 0 -1 4202560 80199 0 0 0 2516 9 0 0 25 0 4 0 669586290 1184563200 202732 33554432000 4194304 4625164 140734717453200 18446744073709551615 4547431 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.79
Current children cumulated vsize (KiB) 1156800

[startup+51.1005 s]
/proc/loadavg: 7.93 8.04 8.06 9/534 12493
/proc/meminfo: memFree=10721004/32950928 swapFree=60199076/67111528
[pid=12457] ppid=12455 vsize=1192920 CPUtime=202.75 cores=0,2,4,6
/proc/12457/stat : 12457 (SArTagnan) R 12455 12457 12217 0 -1 4202496 393767 0 0 0 20222 53 0 0 25 0 4 0 669586267 1221550080 205507 33554432000 4194304 4625164 140734717453200 18446744073709551615 4509099 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12457/statm: 298230 205507 371 106 0 293733 0
[pid=12457/tid=12459] ppid=12455 vsize=1192920 CPUtime=50.85 cores=0,2,4,6
/proc/12457/task/12459/stat : 12459 (SArTagnan) R 12455 12457 12217 0 -1 4202560 58257 0 0 0 5078 7 0 0 25 0 4 0 669586290 1221550080 205507 33554432000 4194304 4625164 140734717453200 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12457/tid=12460] ppid=12455 vsize=1192920 CPUtime=50.86 cores=0,2,4,6
/proc/12457/task/12460/stat : 12460 (SArTagnan) R 12455 12457 12217 0 -1 4202560 44903 0 0 0 5081 5 0 0 25 0 4 0 669586290 1221550080 205507 33554432000 4194304 4625164 140734717453200 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12457/tid=12461] ppid=12455 vsize=1192920 CPUtime=50.85 cores=0,2,4,6
/proc/12457/task/12461/stat : 12461 (SArTagnan) R 12455 12457 12217 0 -1 4202560 80304 0 0 0 5076 9 0 0 25 0 4 0 669586290 1221550080 205507 33554432000 4194304 4625164 140734717453200 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 202.75
Current children cumulated vsize (KiB) 1192920

[startup+102.32 s]
/proc/loadavg: 8.01 8.04 8.06 9/534 12495
/proc/meminfo: memFree=10652256/32950928 swapFree=60199076/67111528
[pid=12457] ppid=12455 vsize=1217040 CPUtime=406.73 cores=0,2,4,6
/proc/12457/stat : 12457 (SArTagnan) R 12455 12457 12217 0 -1 4202496 411002 0 0 0 40616 57 0 0 25 0 4 0 669586267 1246248960 210660 33554432000 4194304 4625164 140734717453200 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12457/statm: 304260 210660 371 106 0 299763 0
[pid=12457/tid=12459] ppid=12455 vsize=1217040 CPUtime=102.07 cores=0,2,4,6
/proc/12457/task/12459/stat : 12459 (SArTagnan) R 12455 12457 12217 0 -1 4202560 59201 0 0 0 10200 7 0 0 25 0 4 0 669586290 1246248960 210660 33554432000 4194304 4625164 140734717453200 18446744073709551615 4486983 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12457/tid=12460] ppid=12455 vsize=1217040 CPUtime=102.07 cores=0,2,4,6
/proc/12457/task/12460/stat : 12460 (SArTagnan) R 12455 12457 12217 0 -1 4202560 58674 0 0 0 10200 7 0 0 25 0 4 0 669586290 1246248960 210660 33554432000 4194304 4625164 140734717453200 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12457/tid=12461] ppid=12455 vsize=1217040 CPUtime=102.07 cores=0,2,4,6
/proc/12457/task/12461/stat : 12461 (SArTagnan) R 12455 12457 12217 0 -1 4202560 80451 0 0 0 10198 9 0 0 25 0 4 0 669586290 1246248960 210660 33554432000 4194304 4625164 140734717453200 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 406.73
Current children cumulated vsize (KiB) 1217040

[startup+162.301 s]
/proc/loadavg: 8.20 8.09 8.08 9/534 12496
/proc/meminfo: memFree=10604992/32950928 swapFree=60199076/67111528
[pid=12457] ppid=12455 vsize=1220392 CPUtime=645.63 cores=0,2,4,6
/proc/12457/stat : 12457 (SArTagnan) R 12455 12457 12217 0 -1 4202496 419101 0 0 0 64503 60 0 0 25 0 4 0 669586267 1249681408 218672 33554432000 4194304 4625164 140734717453200 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12457/statm: 305098 218672 386 106 0 300601 0
[pid=12457/tid=12459] ppid=12455 vsize=1220392 CPUtime=162.04 cores=0,2,4,6
/proc/12457/task/12459/stat : 12459 (SArTagnan) R 12455 12457 12217 0 -1 4202560 60332 0 0 0 16197 7 0 0 25 0 4 0 669586290 1249681408 218672 33554432000 4194304 4625164 140734717453200 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12457/tid=12460] ppid=12455 vsize=1220392 CPUtime=162.06 cores=0,2,4,6
/proc/12457/task/12460/stat : 12460 (SArTagnan) R 12455 12457 12217 0 -1 4202560 63565 0 0 0 16198 8 0 0 25 0 4 0 669586290 1249681408 218672 33554432000 4194304 4625164 140734717453200 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12457/tid=12461] ppid=12455 vsize=1220392 CPUtime=162.05 cores=0,2,4,6
/proc/12457/task/12461/stat : 12461 (SArTagnan) R 12455 12457 12217 0 -1 4202560 80610 0 0 0 16196 9 0 0 25 0 4 0 669586290 1249681408 218672 33554432000 4194304 4625164 140734717453200 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 645.63
Current children cumulated vsize (KiB) 1220392

[startup+222.301 s]
/proc/loadavg: 8.26 8.12 8.09 9/534 12498
/proc/meminfo: memFree=10544212/32950928 swapFree=60199076/67111528
[pid=12457] ppid=12455 vsize=1220392 CPUtime=884.59 cores=0,2,4,6
/proc/12457/stat : 12457 (SArTagnan) R 12455 12457 12217 0 -1 4202496 423446 0 0 0 88397 62 0 0 25 0 4 0 669586267 1249681408 222987 33554432000 4194304 4625164 140734717453200 18446744073709551615 4511973 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12457/statm: 305098 222987 370 106 0 300601 0
[pid=12457/tid=12459] ppid=12455 vsize=1220392 CPUtime=222.05 cores=0,2,4,6
/proc/12457/task/12459/stat : 12459 (SArTagnan) R 12455 12457 12217 0 -1 4202560 61558 0 0 0 22197 8 0 0 25 0 4 0 669586290 1249681408 222987 33554432000 4194304 4625164 140734717453200 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12457/tid=12460] ppid=12455 vsize=1220392 CPUtime=222.06 cores=0,2,4,6
/proc/12457/task/12460/stat : 12460 (SArTagnan) R 12455 12457 12217 0 -1 4202560 65846 0 0 0 22196 10 0 0 25 0 4 0 669586290 1249681408 222987 33554432000 4194304 4625164 140734717453200 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12457/tid=12461] ppid=12455 vsize=1220392 CPUtime=222.05 cores=0,2,4,6
/proc/12457/task/12461/stat : 12461 (SArTagnan) R 12455 12457 12217 0 -1 4202560 80634 0 0 0 22196 9 0 0 25 0 4 0 669586290 1249681408 222987 33554432000 4194304 4625164 140734717453200 18446744073709551615 4335165 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 884.59
Current children cumulated vsize (KiB) 1220392

[startup+282.3 s]

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

[pid=12457] ppid=12455 vsize=1539864 CPUtime=2796.28 cores=0,2,4,6
/proc/12457/stat : 12457 (SArTagnan) R 12455 12457 12217 0 -1 4202496 1198585 0 0 0 279443 185 0 0 25 0 4 0 669586267 1576820736 287229 33554432000 4194304 4625164 140734717453200 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12457/statm: 384966 287229 347 106 0 380469 0
[pid=12457/tid=12459] ppid=12455 vsize=1539864 CPUtime=702.06 cores=0,2,4,6
/proc/12457/task/12459/stat : 12459 (SArTagnan) R 12455 12457 12217 0 -1 4202560 133576 0 0 0 70179 27 0 0 25 0 4 0 669586290 1576820736 287229 33554432000 4194304 4625164 140734717453200 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12457/tid=12460] ppid=12455 vsize=1539864 CPUtime=702.07 cores=0,2,4,6
/proc/12457/task/12460/stat : 12460 (SArTagnan) R 12455 12457 12217 0 -1 4202560 73473 0 0 0 70193 14 0 0 25 0 4 0 669586290 1576820736 287229 33554432000 4194304 4625164 140734717453200 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12457/tid=12461] ppid=12455 vsize=1539864 CPUtime=702.07 cores=0,2,4,6
/proc/12457/task/12461/stat : 12461 (SArTagnan) R 12455 12457 12217 0 -1 4202560 747677 0 0 0 70103 104 0 0 25 0 4 0 669586290 1576820736 287229 33554432000 4194304 4625164 140734717453200 18446744073709551615 4334273 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2796.28
Current children cumulated vsize (KiB) 1539864

[startup+762.32 s]
/proc/loadavg: 8.19 8.15 8.10 9/534 12512
/proc/meminfo: memFree=9876572/32950928 swapFree=60199076/67111528
[pid=12457] ppid=12455 vsize=1546060 CPUtime=3035.31 cores=0,2,4,6
/proc/12457/stat : 12457 (SArTagnan) R 12455 12457 12217 0 -1 4202496 1399449 0 0 0 303317 214 0 0 25 0 4 0 669586267 1583165440 288875 33554432000 4194304 4625164 140734717453200 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12457/statm: 386515 288875 347 106 0 382018 0
[pid=12457/tid=12459] ppid=12455 vsize=1546060 CPUtime=762.08 cores=0,2,4,6
/proc/12457/task/12459/stat : 12459 (SArTagnan) R 12455 12457 12217 0 -1 4202560 134014 0 0 0 76181 27 0 0 25 0 4 0 669586290 1583165440 288875 33554432000 4194304 4625164 140734717453200 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12457/tid=12460] ppid=12455 vsize=1546060 CPUtime=762.09 cores=0,2,4,6
/proc/12457/task/12460/stat : 12460 (SArTagnan) R 12455 12457 12217 0 -1 4202560 73772 0 0 0 76195 14 0 0 25 0 4 0 669586290 1583165440 288875 33554432000 4194304 4625164 140734717453200 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12457/tid=12461] ppid=12455 vsize=1546060 CPUtime=762.09 cores=0,2,4,6
/proc/12457/task/12461/stat : 12461 (SArTagnan) R 12455 12457 12217 0 -1 4202560 947358 0 0 0 76077 132 0 0 25 0 4 0 669586290 1583165440 288875 33554432000 4194304 4625164 140734717453200 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3035.31
Current children cumulated vsize (KiB) 1546060

[startup+822.3 s]
/proc/loadavg: 8.14 8.15 8.10 9/534 12514
/proc/meminfo: memFree=9807104/32950928 swapFree=60199076/67111528
[pid=12457] ppid=12455 vsize=1548500 CPUtime=3274.2 cores=0,2,4,6
/proc/12457/stat : 12457 (SArTagnan) R 12455 12457 12217 0 -1 4202496 1744547 0 0 0 327157 263 0 0 25 0 4 0 669586267 1585664000 296299 33554432000 4194304 4625164 140734717453200 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12457/statm: 387125 296299 347 106 0 382628 0
[pid=12457/tid=12459] ppid=12455 vsize=1548500 CPUtime=822.07 cores=0,2,4,6
/proc/12457/task/12459/stat : 12459 (SArTagnan) R 12455 12457 12217 0 -1 4202560 135673 0 0 0 82179 28 0 0 25 0 4 0 669586290 1585664000 296299 33554432000 4194304 4625164 140734717453200 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12457/tid=12460] ppid=12455 vsize=1548500 CPUtime=822.07 cores=0,2,4,6
/proc/12457/task/12460/stat : 12460 (SArTagnan) R 12455 12457 12217 0 -1 4202560 73974 0 0 0 82193 14 0 0 25 0 4 0 669586290 1585664000 296299 33554432000 4194304 4625164 140734717453200 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12457/tid=12461] ppid=12455 vsize=1548500 CPUtime=822.06 cores=0,2,4,6
/proc/12457/task/12461/stat : 12461 (SArTagnan) R 12455 12457 12217 0 -1 4202560 1289715 0 0 0 82027 179 0 0 25 0 4 0 669586290 1585664000 296299 33554432000 4194304 4625164 140734717453200 18446744073709551615 4335165 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3274.2
Current children cumulated vsize (KiB) 1548500

[startup+882.301 s]
/proc/loadavg: 8.09 8.13 8.09 9/534 12515
/proc/meminfo: memFree=9754380/32950928 swapFree=60199076/67111528
[pid=12457] ppid=12455 vsize=1549172 CPUtime=3513.14 cores=0,2,4,6
/proc/12457/stat : 12457 (SArTagnan) R 12455 12457 12217 0 -1 4202496 2158954 0 0 0 350995 319 0 0 25 0 4 0 669586267 1586352128 300085 33554432000 4194304 4625164 140734717453200 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12457/statm: 387293 300085 347 106 0 382796 0
[pid=12457/tid=12459] ppid=12455 vsize=1549172 CPUtime=882.06 cores=0,2,4,6
/proc/12457/task/12459/stat : 12459 (SArTagnan) R 12455 12457 12217 0 -1 4202560 137142 0 0 0 88178 28 0 0 25 0 4 0 669586290 1586352128 300085 33554432000 4194304 4625164 140734717453200 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12457/tid=12460] ppid=12455 vsize=1549172 CPUtime=882.07 cores=0,2,4,6
/proc/12457/task/12460/stat : 12460 (SArTagnan) R 12455 12457 12217 0 -1 4202560 74287 0 0 0 88193 14 0 0 25 0 4 0 669586290 1586352128 300085 33554432000 4194304 4625164 140734717453200 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12457/tid=12461] ppid=12455 vsize=1549172 CPUtime=882.07 cores=0,2,4,6
/proc/12457/task/12461/stat : 12461 (SArTagnan) R 12455 12457 12217 0 -1 4202560 1701764 0 0 0 87972 235 0 0 25 0 4 0 669586290 1586352128 300085 33554432000 4194304 4625164 140734717453200 18446744073709551615 4335119 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3513.14
Current children cumulated vsize (KiB) 1549172

[startup+942.301 s]
/proc/loadavg: 8.03 8.11 8.09 9/534 12517
/proc/meminfo: memFree=9666812/32950928 swapFree=60199076/67111528
[pid=12457] ppid=12455 vsize=1570632 CPUtime=3752.12 cores=0,2,4,6
/proc/12457/stat : 12457 (SArTagnan) R 12455 12457 12217 0 -1 4202496 2204466 0 0 0 374884 328 0 0 25 0 4 0 669586267 1608327168 311658 33554432000 4194304 4625164 140734717453200 18446744073709551615 4512026 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12457/statm: 392658 311658 347 106 0 388161 0
[pid=12457/tid=12459] ppid=12455 vsize=1570632 CPUtime=942.07 cores=0,2,4,6
/proc/12457/task/12459/stat : 12459 (SArTagnan) R 12455 12457 12217 0 -1 4202560 138367 0 0 0 94178 29 0 0 25 0 4 0 669586290 1608327168 311658 33554432000 4194304 4625164 140734717453200 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12457/tid=12460] ppid=12455 vsize=1570632 CPUtime=942.08 cores=0,2,4,6
/proc/12457/task/12460/stat : 12460 (SArTagnan) R 12455 12457 12217 0 -1 4202560 78017 0 0 0 94192 16 0 0 25 0 4 0 669586290 1608327168 311658 33554432000 4194304 4625164 140734717453200 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12457/tid=12461] ppid=12455 vsize=1570632 CPUtime=942.07 cores=0,2,4,6
/proc/12457/task/12461/stat : 12461 (SArTagnan) R 12455 12457 12217 0 -1 4202560 1741763 0 0 0 93966 241 0 0 25 0 4 0 669586290 1608327168 311658 33554432000 4194304 4625164 140734717453200 18446744073709551615 4559744 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3752.12
Current children cumulated vsize (KiB) 1570632

[startup+1002.3 s]
/proc/loadavg: 8.05 8.10 8.09 9/534 12519
/proc/meminfo: memFree=9588548/32950928 swapFree=60199076/67111528
[pid=12457] ppid=12455 vsize=1648892 CPUtime=3991.06 cores=0,2,4,6
/proc/12457/stat : 12457 (SArTagnan) R 12455 12457 12217 0 -1 4202496 2768284 0 0 0 398698 408 0 0 25 0 4 0 669586267 1688465408 313429 33554432000 4194304 4625164 140734717453200 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12457/statm: 412223 313429 347 106 0 407726 0
[pid=12457/tid=12459] ppid=12455 vsize=1648892 CPUtime=1002.07 cores=0,2,4,6
/proc/12457/task/12459/stat : 12459 (SArTagnan) R 12455 12457 12217 0 -1 4202560 139919 0 0 0 100177 30 0 0 25 0 4 0 669586290 1688465408 313429 33554432000 4194304 4625164 140734717453200 18446744073709551615 4351987 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12457/tid=12460] ppid=12455 vsize=1648892 CPUtime=1002.07 cores=0,2,4,6
/proc/12457/task/12460/stat : 12460 (SArTagnan) R 12455 12457 12217 0 -1 4202560 79744 0 0 0 100191 16 0 0 25 0 4 0 669586290 1688465408 313429 33554432000 4194304 4625164 140734717453200 18446744073709551615 4352047 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12457/tid=12461] ppid=12455 vsize=1648892 CPUtime=1002.07 cores=0,2,4,6
/proc/12457/task/12461/stat : 12461 (SArTagnan) R 12455 12457 12217 0 -1 4202560 2274179 0 0 0 99891 316 0 0 25 0 4 0 669586290 1688465408 313429 33554432000 4194304 4625164 140734717453200 18446744073709551615 4469221 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3991.06
Current children cumulated vsize (KiB) 1648892

[startup+1062.3 s]
/proc/loadavg: 8.10 8.10 8.09 9/534 12520
/proc/meminfo: memFree=9500852/32950928 swapFree=60199076/67111528
[pid=12457] ppid=12455 vsize=1654648 CPUtime=4230.04 cores=0,2,4,6
/proc/12457/stat : 12457 (SArTagnan) R 12455 12457 12217 0 -1 4202496 3291445 0 0 0 422515 489 0 0 25 0 4 0 669586267 1694359552 320770 33554432000 4194304 4625164 140734717453200 18446744073709551615 4511874 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12457/statm: 413662 320770 348 106 0 409165 0
[pid=12457/tid=12459] ppid=12455 vsize=1654648 CPUtime=1062.07 cores=0,2,4,6
/proc/12457/task/12459/stat : 12459 (SArTagnan) R 12455 12457 12217 0 -1 4202560 140710 0 0 0 106177 30 0 0 25 0 4 0 669586290 1694359552 320770 33554432000 4194304 4625164 140734717453200 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12457/tid=12460] ppid=12455 vsize=1654648 CPUtime=1062.08 cores=0,2,4,6
/proc/12457/task/12460/stat : 12460 (SArTagnan) R 12455 12457 12217 0 -1 4202560 82808 0 0 0 106189 19 0 0 25 0 4 0 669586290 1694359552 320770 33554432000 4194304 4625164 140734717453200 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12457/tid=12461] ppid=12455 vsize=1654648 CPUtime=1062.07 cores=0,2,4,6
/proc/12457/task/12461/stat : 12461 (SArTagnan) R 12455 12457 12217 0 -1 4202560 2792931 0 0 0 105814 393 0 0 25 0 4 0 669586290 1694359552 320770 33554432000 4194304 4625164 140734717453200 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4230.04
Current children cumulated vsize (KiB) 1654648

[startup+1122.3 s]
/proc/loadavg: 8.07 8.09 8.08 9/534 12522
/proc/meminfo: memFree=9441428/32950928 swapFree=60199076/67111528
[pid=12457] ppid=12455 vsize=1654780 CPUtime=4468.99 cores=0,2,4,6
/proc/12457/stat : 12457 (SArTagnan) R 12455 12457 12217 0 -1 4202496 3677241 0 0 0 446356 543 0 0 25 0 4 0 669586267 1694494720 324367 33554432000 4194304 4625164 140734717453200 18446744073709551615 4511874 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12457/statm: 413695 324367 347 106 0 409198 0
[pid=12457/tid=12459] ppid=12455 vsize=1654780 CPUtime=1122.07 cores=0,2,4,6
/proc/12457/task/12459/stat : 12459 (SArTagnan) R 12455 12457 12217 0 -1 4202560 142306 0 0 0 112177 30 0 0 25 0 4 0 669586290 1694494720 324367 33554432000 4194304 4625164 140734717453200 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12457/tid=12460] ppid=12455 vsize=1654780 CPUtime=1122.08 cores=0,2,4,6
/proc/12457/task/12460/stat : 12460 (SArTagnan) R 12455 12457 12217 0 -1 4202560 83046 0 0 0 112189 19 0 0 25 0 4 0 669586290 1694494720 324367 33554432000 4194304 4625164 140734717453200 18446744073709551615 4462461 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12457/tid=12461] ppid=12455 vsize=1654780 CPUtime=1122.08 cores=0,2,4,6
/proc/12457/task/12461/stat : 12461 (SArTagnan) R 12455 12457 12217 0 -1 4202560 3176358 0 0 0 111760 448 0 0 25 0 4 0 669586290 1694494720 324367 33554432000 4194304 4625164 140734717453200 18446744073709551615 4547257 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4468.99
Current children cumulated vsize (KiB) 1654780

[startup+1182.3 s]
/proc/loadavg: 8.09 8.09 8.08 9/534 12523
/proc/meminfo: memFree=9365512/32950928 swapFree=60199076/67111528
[pid=12457] ppid=12455 vsize=1706760 CPUtime=4707.95 cores=0,2,4,6
/proc/12457/stat : 12457 (SArTagnan) R 12455 12457 12217 0 -1 4202496 4104129 0 0 0 470188 607 0 0 25 0 4 0 669586267 1747722240 332977 33554432000 4194304 4625164 140734717453200 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12457/statm: 426690 332977 347 106 0 422193 0
[pid=12457/tid=12459] ppid=12455 vsize=1706760 CPUtime=1182.08 cores=0,2,4,6
/proc/12457/task/12459/stat : 12459 (SArTagnan) R 12455 12457 12217 0 -1 4202560 145452 0 0 0 118176 32 0 0 25 0 4 0 669586290 1747722240 332977 33554432000 4194304 4625164 140734717453200 18446744073709551615 4351672 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12457/tid=12460] ppid=12455 vsize=1706760 CPUtime=1182.08 cores=0,2,4,6
/proc/12457/task/12460/stat : 12460 (SArTagnan) R 12455 12457 12217 0 -1 4202560 83443 0 0 0 118188 20 0 0 25 0 4 0 669586290 1747722240 332977 33554432000 4194304 4625164 140734717453200 18446744073709551615 4375338 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12457/tid=12461] ppid=12455 vsize=1706760 CPUtime=1182.08 cores=0,2,4,6
/proc/12457/task/12461/stat : 12461 (SArTagnan) R 12455 12457 12217 0 -1 4202560 3576319 0 0 0 117702 506 0 0 25 0 4 0 669586290 1747722240 332977 33554432000 4194304 4625164 140734717453200 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4707.95
Current children cumulated vsize (KiB) 1706760



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1205.5 s]
/proc/loadavg: 8.12 8.09 8.09 10/534 12524
/proc/meminfo: memFree=9353980/32950928 swapFree=60199076/67111528
[pid=12457] ppid=12455 vsize=1774244 CPUtime=4800.46 cores=0,2,4,6
/proc/12457/stat : 12457 (SArTagnan) R 12455 12457 12217 0 -1 4202496 4272699 0 0 0 479413 633 0 0 25 0 4 0 669586267 1816825856 339823 33554432000 4194304 4625164 140734717453200 18446744073709551615 4509011 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12457/statm: 443561 339823 347 106 0 439064 0
[pid=12457/tid=12459] ppid=12455 vsize=1774244 CPUtime=1205.31 cores=0,2,4,6
/proc/12457/task/12459/stat : 12459 (SArTagnan) R 12455 12457 12217 0 -1 4202560 146112 0 0 0 120499 32 0 0 25 0 4 0 669586290 1816825856 339826 33554432000 4194304 4625164 140734717453200 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12457/tid=12460] ppid=12455 vsize=1774244 CPUtime=1205.32 cores=0,2,4,6
/proc/12457/task/12460/stat : 12460 (SArTagnan) R 12455 12457 12217 0 -1 4202560 83546 0 0 0 120512 20 0 0 25 0 4 0 669586290 1816825856 339826 33554432000 4194304 4625164 140734717453200 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12457/tid=12461] ppid=12455 vsize=1774244 CPUtime=1205.31 cores=0,2,4,6
/proc/12457/task/12461/stat : 12461 (SArTagnan) R 12455 12457 12217 0 -1 4202560 3739557 0 0 0 120001 530 0 0 25 0 4 0 669586290 1816825856 339826 33554432000 4194304 4625164 140734717453200 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.46
Current children cumulated vsize (KiB) 1774244

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

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

[startup+1205.5 s]
/proc/loadavg: 8.12 8.09 8.09 10/534 12524
/proc/meminfo: memFree=9353980/32950928 swapFree=60199076/67111528
[pid=12457] ppid=12455 vsize=1774244 CPUtime=4800.46 cores=0,2,4,6
/proc/12457/stat : 12457 (SArTagnan) R 12455 12457 12217 0 -1 4202496 4272699 0 0 0 479413 633 0 0 25 0 4 0 669586267 1816825856 339823 33554432000 4194304 4625164 140734717453200 18446744073709551615 4509011 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/12457/statm: 443561 339823 347 106 0 439064 0
[pid=12457/tid=12459] ppid=12455 vsize=1774244 CPUtime=1205.31 cores=0,2,4,6
/proc/12457/task/12459/stat : 12459 (SArTagnan) R 12455 12457 12217 0 -1 4202560 146112 0 0 0 120499 32 0 0 25 0 4 0 669586290 1816825856 339826 33554432000 4194304 4625164 140734717453200 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12457/tid=12460] ppid=12455 vsize=1774244 CPUtime=1205.32 cores=0,2,4,6
/proc/12457/task/12460/stat : 12460 (SArTagnan) R 12455 12457 12217 0 -1 4202560 83546 0 0 0 120512 20 0 0 25 0 4 0 669586290 1816825856 339826 33554432000 4194304 4625164 140734717453200 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12457/tid=12461] ppid=12455 vsize=1774244 CPUtime=1205.31 cores=0,2,4,6
/proc/12457/task/12461/stat : 12461 (SArTagnan) R 12455 12457 12217 0 -1 4202560 3739557 0 0 0 120001 530 0 0 25 0 4 0 669586290 1816825856 339826 33554432000 4194304 4625164 140734717453200 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.46
Current children cumulated vsize (KiB) 1774244

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1205.6
CPU time (s): 4800.55
CPU user time (s): 4794.17
CPU system time (s): 6.38303
CPU usage (%): 398.188
Max. virtual memory (cumulated for all children) (KiB): 1784460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.17
system time used= 6.38303
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4272705
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= 2331
involuntary context switches= 22181

runsolver used 5.8961 second user time and 15.1387 second system time

The end

Launcher Data 

Begin job on node122 at 2011-05-16 23:04:35
IDJOB=3386341
IDBENCH=82488
IDSOLVER=1871
FILE ID=node122/3386341-1305579874
RUNJOBID= node122-1305577459-12235
PBS_JOBID= 13350225
Free space on /tmp= 73372 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtvissoap1-tseitin.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386341-1305579874/watcher-3386341-1305579874 -o /tmp/evaluation-result-3386341-1305579874/solver-3386341-1305579874 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386341-1305579874.cnf -threads=4

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

MD5SUM BENCH= a4c7dbdc89378b1335eea4904f9f5cb5
RANDOM SEED=807772429

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      11094396 kB
Buffers:        333056 kB
Cached:        4392604 kB
SwapCached:      50104 kB
Active:       17090996 kB
Inactive:      4468764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      11094396 kB
SwapTotal:    67111528 kB
SwapFree:     60199076 kB
Dirty:            9900 kB
Writeback:           0 kB
AnonPages:    16794564 kB
Mapped:          31756 kB
Slab:           137620 kB
PageTables:      89632 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 162268168 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= 73360 MiB
End job on node122 at 2011-05-16 23:24:42