Trace number 3385980

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) 3906.69 1300.04

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf
MD5SUMcf96a8eea16f98b3cec72117cedd0285
Bench CategoryCRAFTED (crafted 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 variables120
Number of clauses48342
Sum of the clauses size483180
Maximum clause length10
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 548
Number of clauses of size over 548294

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-3385980-1305582154/watcher-3385980-1305582154 -o /tmp/evaluation-result-3385980-1305582154/solver-3385980-1305582154 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3385980-1305582154.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: 2.48 2.10 2.15 8/434 14178
/proc/meminfo: memFree=21570828/32951124 swapFree=44485784/67111528
[pid=14178] ppid=14176 vsize=21956 CPUtime=0.01 cores=1,3,5,7
/proc/14178/stat : 14178 (SArTagnan) R 14176 14178 14137 0 -1 4202496 1434 0 0 0 1 0 0 0 22 0 1 0 669815872 22482944 928 33554432000 4194304 4625164 140736546257120 18446744073709551615 4360561 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14178/statm: 5489 929 296 106 0 992 0

[startup+0.0546659 s]
/proc/loadavg: 2.48 2.10 2.15 8/434 14178
/proc/meminfo: memFree=21570828/32951124 swapFree=44485784/67111528
[pid=14178] ppid=14176 vsize=28060 CPUtime=0.05 cores=1,3,5,7
/proc/14178/stat : 14178 (SArTagnan) R 14176 14178 14137 0 -1 4202496 4313 0 0 0 5 0 0 0 22 0 1 0 669815872 28733440 2528 33554432000 4194304 4625164 140736546257120 18446744073709551615 244446945024 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/14178/statm: 7015 2529 312 106 0 2518 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 28060

[startup+0.100629 s]
/proc/loadavg: 2.48 2.10 2.15 8/434 14178
/proc/meminfo: memFree=21570828/32951124 swapFree=44485784/67111528
[pid=14178] ppid=14176 vsize=138344 CPUtime=0.17 cores=1,3,5,7
/proc/14178/stat : 14178 (SArTagnan) R 14176 14178 14137 0 -1 4202496 9509 0 0 0 17 0 0 0 23 0 4 0 669815872 141664256 7350 33554432000 4194304 4625164 140736546257120 18446744073709551615 4518211 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14178/statm: 34586 7350 429 106 0 30089 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 138344

[startup+0.300592 s]
/proc/loadavg: 2.48 2.10 2.15 8/434 14178
/proc/meminfo: memFree=21570828/32951124 swapFree=44485784/67111528
[pid=14178] ppid=14176 vsize=213704 CPUtime=0.77 cores=1,3,5,7
/proc/14178/stat : 14178 (SArTagnan) R 14176 14178 14137 0 -1 4202496 14221 0 0 0 76 1 0 0 24 0 4 0 669815872 218832896 9169 33554432000 4194304 4625164 140736546257120 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14178/statm: 53426 9169 399 106 0 48929 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 213704

[startup+0.700517 s]
/proc/loadavg: 2.48 2.10 2.15 8/434 14178
/proc/meminfo: memFree=21570828/32951124 swapFree=44485784/67111528
[pid=14178] ppid=14176 vsize=220268 CPUtime=1.97 cores=1,3,5,7
/proc/14178/stat : 14178 (SArTagnan) R 14176 14178 14137 0 -1 4202496 22097 0 0 0 196 1 0 0 25 0 4 0 669815872 225554432 10765 33554432000 4194304 4625164 140736546257120 18446744073709551615 4513185 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14178/statm: 55067 10766 398 106 0 50570 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 220268

[startup+1.50037 s]
/proc/loadavg: 2.48 2.10 2.15 12/438 14182
/proc/meminfo: memFree=21496776/32951124 swapFree=44485784/67111528
[pid=14178] ppid=14176 vsize=222020 CPUtime=4.35 cores=1,3,5,7
/proc/14178/stat : 14178 (SArTagnan) R 14176 14178 14137 0 -1 4202496 38558 0 0 0 431 4 0 0 25 0 4 0 669815872 227348480 11484 33554432000 4194304 4625164 140736546257120 18446744073709551615 4511892 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14178/statm: 55505 11484 373 106 0 51008 0
[pid=14178/tid=14180] ppid=14176 vsize=222020 CPUtime=0.72 cores=1,3,5,7
/proc/14178/task/14180/stat : 14180 (SArTagnan) R 14176 14178 14137 0 -1 4202560 2725 0 0 0 72 0 0 0 25 0 4 0 669815878 227348480 11484 33554432000 4194304 4625164 140736546257120 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14178/tid=14181] ppid=14176 vsize=222020 CPUtime=1.41 cores=1,3,5,7
/proc/14178/task/14181/stat : 14181 (SArTagnan) R 14176 14178 14137 0 -1 4202560 2049 0 0 0 141 0 0 0 25 0 4 0 669815878 227348480 11484 33554432000 4194304 4625164 140736546257120 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14178/tid=14182] ppid=14176 vsize=222020 CPUtime=1.43 cores=1,3,5,7
/proc/14178/task/14182/stat : 14182 (SArTagnan) R 14176 14178 14137 0 -1 4202560 24265 0 0 0 140 3 0 0 25 0 4 0 669815878 227348480 11484 33554432000 4194304 4625164 140736546257120 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.35
Current children cumulated vsize (KiB) 222020

[startup+3.10107 s]
/proc/loadavg: 2.48 2.10 2.15 11/438 14182
/proc/meminfo: memFree=21484500/32951124 swapFree=44485784/67111528
[pid=14178] ppid=14176 vsize=226956 CPUtime=9.14 cores=1,3,5,7
/proc/14178/stat : 14178 (SArTagnan) R 14176 14178 14137 0 -1 4202496 67045 0 0 0 905 9 0 0 25 0 4 0 669815872 232402944 13661 33554432000 4194304 4625164 140736546257120 18446744073709551615 4512046 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14178/statm: 56739 13661 369 106 0 52242 0
[pid=14178/tid=14180] ppid=14176 vsize=226956 CPUtime=1.52 cores=1,3,5,7
/proc/14178/task/14180/stat : 14180 (SArTagnan) R 14176 14178 14137 0 -1 4202560 2918 0 0 0 152 0 0 0 25 0 4 0 669815878 232402944 13661 33554432000 4194304 4625164 140736546257120 18446744073709551615 4353478 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14178/tid=14181] ppid=14176 vsize=226956 CPUtime=2.99 cores=1,3,5,7
/proc/14178/task/14181/stat : 14181 (SArTagnan) R 14176 14178 14137 0 -1 4202560 4326 0 0 0 299 0 0 0 25 0 4 0 669815878 232402944 13661 33554432000 4194304 4625164 140736546257120 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14178/tid=14182] ppid=14176 vsize=226956 CPUtime=3.03 cores=1,3,5,7
/proc/14178/task/14182/stat : 14182 (SArTagnan) R 14176 14178 14137 0 -1 4202560 50115 0 0 0 296 7 0 0 25 0 4 0 669815878 232402944 13661 33554432000 4194304 4625164 140736546257120 18446744073709551615 4335264 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 9.14
Current children cumulated vsize (KiB) 226956

[startup+6.30048 s]
/proc/loadavg: 3.16 2.25 2.20 11/438 14183
/proc/meminfo: memFree=21458768/32951124 swapFree=44485784/67111528
[pid=14178] ppid=14176 vsize=235968 CPUtime=18.68 cores=1,3,5,7
/proc/14178/stat : 14178 (SArTagnan) R 14176 14178 14137 0 -1 4202496 94522 0 0 0 1855 13 0 0 25 0 4 0 669815872 241631232 16220 33554432000 4194304 4625164 140736546257120 18446744073709551615 4512736 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14178/statm: 58992 16220 365 106 0 54495 0
[pid=14178/tid=14180] ppid=14176 vsize=235968 CPUtime=4.69 cores=1,3,5,7
/proc/14178/task/14180/stat : 14180 (SArTagnan) R 14176 14178 14137 0 -1 4202560 4806 0 0 0 469 0 0 0 25 0 4 0 669815878 241631232 16220 33554432000 4194304 4625164 140736546257120 18446744073709551615 4339600 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14178/tid=14181] ppid=14176 vsize=235968 CPUtime=6.19 cores=1,3,5,7
/proc/14178/task/14181/stat : 14181 (SArTagnan) R 14176 14178 14137 0 -1 4202560 7716 0 0 0 618 1 0 0 25 0 4 0 669815878 241631232 16220 33554432000 4194304 4625164 140736546257120 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14178/tid=14182] ppid=14176 vsize=235968 CPUtime=4.61 cores=1,3,5,7
/proc/14178/task/14182/stat : 14182 (SArTagnan) R 14176 14178 14137 0 -1 4202560 70704 0 0 0 451 10 0 0 25 0 4 0 669815878 241631232 16220 33554432000 4194304 4625164 140736546257120 18446744073709551615 4547807 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 18.68
Current children cumulated vsize (KiB) 235968

[startup+12.7003 s]
/proc/loadavg: 3.79 2.39 2.24 11/438 14183
/proc/meminfo: memFree=21394960/32951124 swapFree=44485784/67111528
[pid=14178] ppid=14176 vsize=235848 CPUtime=37.78 cores=1,3,5,7
/proc/14178/stat : 14178 (SArTagnan) R 14176 14178 14137 0 -1 4202496 139466 0 0 0 3759 19 0 0 25 0 4 0 669815872 241508352 19746 33554432000 4194304 4625164 140736546257120 18446744073709551615 4519369 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14178/statm: 58962 19746 366 106 0 54465 0
[pid=14178/tid=14180] ppid=14176 vsize=235848 CPUtime=8.01 cores=1,3,5,7
/proc/14178/task/14180/stat : 14180 (SArTagnan) R 14176 14178 14137 0 -1 4202560 7184 0 0 0 800 1 0 0 25 0 4 0 669815878 241508352 19746 33554432000 4194304 4625164 140736546257120 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14178/tid=14181] ppid=14176 vsize=235848 CPUtime=12.5 cores=1,3,5,7
/proc/14178/task/14181/stat : 14181 (SArTagnan) R 14176 14178 14137 0 -1 4202560 11800 0 0 0 1248 2 0 0 25 0 4 0 669815878 241508352 19746 33554432000 4194304 4625164 140736546257120 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14178/tid=14182] ppid=14176 vsize=235848 CPUtime=7.99 cores=1,3,5,7
/proc/14178/task/14182/stat : 14182 (SArTagnan) R 14176 14178 14137 0 -1 4202560 108643 0 0 0 785 14 0 0 25 0 4 0 669815878 241508352 19746 33554432000 4194304 4625164 140736546257120 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 37.78
Current children cumulated vsize (KiB) 235848

[startup+25.5009 s]
/proc/loadavg: 5.16 2.76 2.37 11/438 14183
/proc/meminfo: memFree=21291808/32951124 swapFree=44485784/67111528
[pid=14178] ppid=14176 vsize=241548 CPUtime=76 cores=1,3,5,7
/proc/14178/stat : 14178 (SArTagnan) R 14176 14178 14137 0 -1 4202496 204854 0 0 0 7571 29 0 0 25 0 4 0 669815872 247345152 24317 33554432000 4194304 4625164 140736546257120 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14178/statm: 60387 24317 371 106 0 55890 0
[pid=14178/tid=14180] ppid=14176 vsize=241548 CPUtime=14.01 cores=1,3,5,7
/proc/14178/task/14180/stat : 14180 (SArTagnan) R 14176 14178 14137 0 -1 4202560 7393 0 0 0 1400 1 0 0 25 0 4 0 669815878 247345152 24317 33554432000 4194304 4625164 140736546257120 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14178/tid=14181] ppid=14176 vsize=241548 CPUtime=25.3 cores=1,3,5,7
/proc/14178/task/14181/stat : 14181 (SArTagnan) R 14176 14178 14137 0 -1 4202560 18743 0 0 0 2527 3 0 0 25 0 4 0 669815878 247345152 24317 33554432000 4194304 4625164 140736546257120 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14178/tid=14182] ppid=14176 vsize=241548 CPUtime=14.79 cores=1,3,5,7
/proc/14178/task/14182/stat : 14182 (SArTagnan) R 14176 14178 14137 0 -1 4202560 163937 0 0 0 1457 22 0 0 25 0 4 0 669815878 247345152 24317 33554432000 4194304 4625164 140736546257120 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 76
Current children cumulated vsize (KiB) 241548

[startup+51.1011 s]
/proc/loadavg: 6.81 3.34 2.57 11/438 14184
/proc/meminfo: memFree=21113152/32951124 swapFree=44485784/67111528
[pid=14178] ppid=14176 vsize=261528 CPUtime=152.43 cores=1,3,5,7
/proc/14178/stat : 14178 (SArTagnan) R 14176 14178 14137 0 -1 4202496 341399 0 0 0 15193 50 0 0 25 0 4 0 669815872 267804672 34151 33554432000 4194304 4625164 140736546257120 18446744073709551615 4337534 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14178/statm: 65382 34151 652 106 0 60885 0
[pid=14178/tid=14180] ppid=14176 vsize=261528 CPUtime=30.57 cores=1,3,5,7
/proc/14178/task/14180/stat : 14180 (SArTagnan) R 14176 14178 14137 0 -1 4202560 11326 0 0 0 3056 1 0 0 25 0 4 0 669815878 267804672 34151 33554432000 4194304 4625164 140736546257120 18446744073709551615 4351975 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14178/tid=14181] ppid=14176 vsize=261528 CPUtime=45.39 cores=1,3,5,7
/proc/14178/task/14181/stat : 14181 (SArTagnan) R 14176 14178 14137 0 -1 4202560 28837 0 0 0 4534 5 0 0 25 0 4 0 669815878 267804672 34151 33554432000 4194304 4625164 140736546257120 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14178/tid=14182] ppid=14176 vsize=261528 CPUtime=29.34 cores=1,3,5,7
/proc/14178/task/14182/stat : 14182 (SArTagnan) R 14176 14178 14137 0 -1 4202560 286402 0 0 0 2893 41 0 0 25 0 4 0 669815878 267804672 34151 33554432000 4194304 4625164 140736546257120 18446744073709551615 4547807 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 152.43
Current children cumulated vsize (KiB) 261528

[startup+102.317 s]
/proc/loadavg: 8.70 4.40 2.97 11/438 14185
/proc/meminfo: memFree=20823840/32951124 swapFree=44485784/67111528
[pid=14178] ppid=14176 vsize=283908 CPUtime=305.34 cores=1,3,5,7
/proc/14178/stat : 14178 (SArTagnan) R 14176 14178 14137 0 -1 4202496 475680 0 0 0 30463 71 0 0 25 0 4 0 669815872 290721792 45907 33554432000 4194304 4625164 140736546257120 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14178/statm: 70977 45907 479 106 0 66480 0
[pid=14178/tid=14180] ppid=14176 vsize=283908 CPUtime=55.7 cores=1,3,5,7
/proc/14178/task/14180/stat : 14180 (SArTagnan) R 14176 14178 14137 0 -1 4202560 12663 0 0 0 5568 2 0 0 25 0 4 0 669815878 290721792 45907 33554432000 4194304 4625164 140736546257120 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14178/tid=14181] ppid=14176 vsize=283908 CPUtime=71.49 cores=1,3,5,7
/proc/14178/task/14181/stat : 14181 (SArTagnan) R 14176 14178 14137 0 -1 4202560 32167 0 0 0 7143 6 0 0 25 0 4 0 669815878 290721792 45907 33554432000 4194304 4625164 140736546257120 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14178/tid=14182] ppid=14176 vsize=283908 CPUtime=80.55 cores=1,3,5,7
/proc/14178/task/14182/stat : 14182 (SArTagnan) R 14176 14178 14137 0 -1 4202560 415307 0 0 0 7995 60 0 0 25 0 4 0 669815878 290721792 45907 33554432000 4194304 4625164 140736546257120 18446744073709551615 4352072 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 305.34
Current children cumulated vsize (KiB) 283908

[startup+162.3 s]
/proc/loadavg: 9.64 5.46 3.42 11/438 14187
/proc/meminfo: memFree=20525100/32951124 swapFree=44485784/67111528
[pid=14178] ppid=14176 vsize=395504 CPUtime=484.46 cores=1,3,5,7
/proc/14178/stat : 14178 (SArTagnan) R 14176 14178 14137 0 -1 4202496 586892 0 0 0 48359 87 0 0 25 0 4 0 669815872 404996096 60617 33554432000 4194304 4625164 140736546257120 18446744073709551615 4511892 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14178/statm: 98876 60617 1060 106 0 94379 0
[pid=14178/tid=14180] ppid=14176 vsize=395504 CPUtime=113.18 cores=1,3,5,7
/proc/14178/task/14180/stat : 14180 (SArTagnan) R 14176 14178 14137 0 -1 4202560 16982 0 0 0 11316 2 0 0 25 0 4 0 669815878 404996096 60617 33554432000 4194304 4625164 140736546257120 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14178/tid=14181] ppid=14176 vsize=395504 CPUtime=101.49 cores=1,3,5,7
/proc/14178/task/14181/stat : 14181 (SArTagnan) R 14176 14178 14137 0 -1 4202560 45285 0 0 0 10141 8 0 0 25 0 4 0 669815878 404996096 60617 33554432000 4194304 4625164 140736546257120 18446744073709551615 4352014 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14178/tid=14182] ppid=14176 vsize=395504 CPUtime=113.04 cores=1,3,5,7
/proc/14178/task/14182/stat : 14182 (SArTagnan) R 14176 14178 14137 0 -1 4202560 502104 0 0 0 11232 72 0 0 25 0 4 0 669815878 404996096 60617 33554432000 4194304 4625164 140736546257120 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 484.46
Current children cumulated vsize (KiB) 395504

[startup+222.3 s]
/proc/loadavg: 9.98 6.32 3.84 11/438 14188
/proc/meminfo: memFree=20303604/32951124 swapFree=44485784/67111528
[pid=14178] ppid=14176 vsize=445668 CPUtime=663.59 cores=1,3,5,7
/proc/14178/stat : 14178 (SArTagnan) R 14176 14178 14137 0 -1 4202496 634269 0 0 0 66264 95 0 0 25 0 4 0 669815872 456364032 74833 33554432000 4194304 4625164 140736546257120 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14178/statm: 111417 74833 1136 106 0 106920 0
[pid=14178/tid=14180] ppid=14176 vsize=445668 CPUtime=173.19 cores=1,3,5,7
/proc/14178/task/14180/stat : 14180 (SArTagnan) R 14176 14178 14137 0 -1 4202560 17389 0 0 0 17316 3 0 0 25 0 4 0 669815878 456364032 74833 33554432000 4194304 4625164 140736546257120 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14178/tid=14181] ppid=14176 vsize=445668 CPUtime=131.36 cores=1,3,5,7
/proc/14178/task/14181/stat : 14181 (SArTagnan) R 14176 14178 14137 0 -1 4202560 45871 0 0 0 13128 8 0 0 25 0 4 0 669815878 456364032 74833 33554432000 4194304 4625164 140736546257120 18446744073709551615 4352296 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14178/tid=14182] ppid=14176 vsize=445668 CPUtime=143.17 cores=1,3,5,7
/proc/14178/task/14182/stat : 14182 (SArTagnan) R 14176 14178 14137 0 -1 4202560 528645 0 0 0 14241 76 0 0 25 0 4 0 669815878 456364032 74833 33554432000 4194304 4625164 140736546257120 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 663.59
Current children cumulated vsize (KiB) 445668

[startup+282.301 s]

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

[pid=14178] ppid=14176 vsize=561516 CPUtime=2117.87 cores=1,3,5,7
/proc/14178/stat : 14178 (SArTagnan) R 14176 14178 14137 0 -1 4202496 1598022 0 0 0 211534 253 0 0 25 0 4 0 669815872 574992384 98112 33554432000 4194304 4625164 140736546257120 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14178/statm: 140379 98112 511 106 0 135882 0
[pid=14178/tid=14180] ppid=14176 vsize=561516 CPUtime=499.62 cores=1,3,5,7
/proc/14178/task/14180/stat : 14180 (SArTagnan) R 14176 14178 14137 0 -1 4202560 26207 0 0 0 49958 4 0 0 25 0 4 0 669815878 574992384 98112 33554432000 4194304 4625164 140736546257120 18446744073709551615 4464688 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14178/tid=14181] ppid=14176 vsize=561516 CPUtime=384.35 cores=1,3,5,7
/proc/14178/task/14181/stat : 14181 (SArTagnan) R 14176 14178 14137 0 -1 4202560 49994 0 0 0 38425 10 0 0 25 0 4 0 669815878 574992384 98112 33554432000 4194304 4625164 140736546257120 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14178/tid=14182] ppid=14176 vsize=561516 CPUtime=570.48 cores=1,3,5,7
/proc/14178/task/14182/stat : 14182 (SArTagnan) R 14176 14178 14137 0 -1 4202560 1405003 0 0 0 56833 215 0 0 25 0 4 0 669815878 574992384 98112 33554432000 4194304 4625164 140736546257120 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2117.87
Current children cumulated vsize (KiB) 561516

[startup+762.317 s]
/proc/loadavg: 10.22 9.55 6.63 11/438 14203
/proc/meminfo: memFree=19889092/32951124 swapFree=44485784/67111528
[pid=14178] ppid=14176 vsize=618436 CPUtime=2301.35 cores=1,3,5,7
/proc/14178/stat : 14178 (SArTagnan) R 14176 14178 14137 0 -1 4202496 1726524 0 0 0 229862 273 0 0 25 0 4 0 669815872 633278464 103527 33554432000 4194304 4625164 140736546257120 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14178/statm: 154609 103527 447 106 0 150112 0
[pid=14178/tid=14180] ppid=14176 vsize=618436 CPUtime=529.53 cores=1,3,5,7
/proc/14178/task/14180/stat : 14180 (SArTagnan) R 14176 14178 14137 0 -1 4202560 26307 0 0 0 52949 4 0 0 25 0 4 0 669815878 633278464 103527 33554432000 4194304 4625164 140736546257120 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14178/tid=14181] ppid=14176 vsize=618436 CPUtime=418.74 cores=1,3,5,7
/proc/14178/task/14181/stat : 14181 (SArTagnan) R 14176 14178 14137 0 -1 4202560 68276 0 0 0 41862 12 0 0 25 0 4 0 669815878 633278464 103527 33554432000 4194304 4625164 140736546257120 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14178/tid=14182] ppid=14176 vsize=618436 CPUtime=630.49 cores=1,3,5,7
/proc/14178/task/14182/stat : 14182 (SArTagnan) R 14176 14178 14137 0 -1 4202560 1502262 0 0 0 62819 230 0 0 25 0 4 0 669815878 633278464 103527 33554432000 4194304 4625164 140736546257120 18446744073709551615 4552608 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2301.35
Current children cumulated vsize (KiB) 618436

[startup+822.301 s]
/proc/loadavg: 10.22 9.68 6.85 11/438 14204
/proc/meminfo: memFree=19845780/32951124 swapFree=44485784/67111528
[pid=14178] ppid=14176 vsize=618436 CPUtime=2480.44 cores=1,3,5,7
/proc/14178/stat : 14178 (SArTagnan) R 14176 14178 14137 0 -1 4202496 1909206 0 0 0 247744 300 0 0 25 0 4 0 669815872 633278464 108097 33554432000 4194304 4625164 140736546257120 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14178/statm: 154609 108097 463 106 0 150112 0
[pid=14178/tid=14180] ppid=14176 vsize=618436 CPUtime=559.52 cores=1,3,5,7
/proc/14178/task/14180/stat : 14180 (SArTagnan) R 14176 14178 14137 0 -1 4202560 26504 0 0 0 55948 4 0 0 25 0 4 0 669815878 633278464 108097 33554432000 4194304 4625164 140736546257120 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14178/tid=14181] ppid=14176 vsize=618436 CPUtime=467.13 cores=1,3,5,7
/proc/14178/task/14181/stat : 14181 (SArTagnan) R 14176 14178 14137 0 -1 4202560 68575 0 0 0 46701 12 0 0 25 0 4 0 669815878 633278464 108097 33554432000 4194304 4625164 140736546257120 18446744073709551615 4351769 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14178/tid=14182] ppid=14176 vsize=618436 CPUtime=672.1 cores=1,3,5,7
/proc/14178/task/14182/stat : 14182 (SArTagnan) R 14176 14178 14137 0 -1 4202560 1682123 0 0 0 66953 257 0 0 25 0 4 0 669815878 633278464 108097 33554432000 4194304 4625164 140736546257120 18446744073709551615 4352035 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2480.44
Current children cumulated vsize (KiB) 618436

[startup+882.301 s]
/proc/loadavg: 10.12 9.75 7.05 11/438 14206
/proc/meminfo: memFree=19815360/32951124 swapFree=44485784/67111528
[pid=14178] ppid=14176 vsize=649532 CPUtime=2659.56 cores=1,3,5,7
/proc/14178/stat : 14178 (SArTagnan) R 14176 14178 14137 0 -1 4202496 2286947 0 0 0 265597 359 0 0 25 0 4 0 669815872 665120768 110194 33554432000 4194304 4625164 140736546257120 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14178/statm: 162383 110194 459 106 0 157886 0
[pid=14178/tid=14180] ppid=14176 vsize=649532 CPUtime=589.62 cores=1,3,5,7
/proc/14178/task/14180/stat : 14180 (SArTagnan) R 14176 14178 14137 0 -1 4202560 26648 0 0 0 58958 4 0 0 25 0 4 0 669815878 665120768 110194 33554432000 4194304 4625164 140736546257120 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14178/tid=14181] ppid=14176 vsize=649532 CPUtime=513.63 cores=1,3,5,7
/proc/14178/task/14181/stat : 14181 (SArTagnan) R 14176 14178 14137 0 -1 4202560 68615 0 0 0 51351 12 0 0 25 0 4 0 669815878 665120768 110194 33554432000 4194304 4625164 140736546257120 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14178/tid=14182] ppid=14176 vsize=649532 CPUtime=715.49 cores=1,3,5,7
/proc/14178/task/14182/stat : 14182 (SArTagnan) R 14176 14178 14137 0 -1 4202560 1950474 0 0 0 71252 297 0 0 25 0 4 0 669815878 665120768 110194 33554432000 4194304 4625164 140736546257120 18446744073709551615 4579413 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2659.56
Current children cumulated vsize (KiB) 649532

[startup+942.3 s]
/proc/loadavg: 10.04 9.79 7.23 11/438 14207
/proc/meminfo: memFree=19778372/32951124 swapFree=44485784/67111528
[pid=14178] ppid=14176 vsize=651252 CPUtime=2838.71 cores=1,3,5,7
/proc/14178/stat : 14178 (SArTagnan) R 14176 14178 14137 0 -1 4202496 2720785 0 0 0 283441 430 0 0 25 0 4 0 669815872 666882048 114385 33554432000 4194304 4625164 140736546257120 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14178/statm: 162813 114385 453 106 0 158316 0
[pid=14178/tid=14180] ppid=14176 vsize=651252 CPUtime=619.54 cores=1,3,5,7
/proc/14178/task/14180/stat : 14180 (SArTagnan) R 14176 14178 14137 0 -1 4202560 27352 0 0 0 61949 5 0 0 25 0 4 0 669815878 666882048 114385 33554432000 4194304 4625164 140736546257120 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14178/tid=14181] ppid=14176 vsize=651252 CPUtime=543.72 cores=1,3,5,7
/proc/14178/task/14181/stat : 14181 (SArTagnan) R 14176 14178 14137 0 -1 4202560 68966 0 0 0 54359 13 0 0 25 0 4 0 669815878 666882048 114385 33554432000 4194304 4625164 140736546257120 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14178/tid=14182] ppid=14176 vsize=651252 CPUtime=775.49 cores=1,3,5,7
/proc/14178/task/14182/stat : 14182 (SArTagnan) R 14176 14178 14137 0 -1 4202560 2204455 0 0 0 77215 334 0 0 25 0 4 0 669815878 666882048 114385 33554432000 4194304 4625164 140736546257120 18446744073709551615 4552388 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2838.71
Current children cumulated vsize (KiB) 651252

[startup+1002.3 s]
/proc/loadavg: 10.01 9.83 7.40 11/438 14209
/proc/meminfo: memFree=19751296/32951124 swapFree=44485784/67111528
[pid=14178] ppid=14176 vsize=652500 CPUtime=3017.83 cores=1,3,5,7
/proc/14178/stat : 14178 (SArTagnan) R 14176 14178 14137 0 -1 4202496 2909177 0 0 0 301319 464 0 0 25 0 4 0 669815872 668160000 115697 33554432000 4194304 4625164 140736546257120 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14178/statm: 163125 115697 403 106 0 158628 0
[pid=14178/tid=14180] ppid=14176 vsize=652500 CPUtime=675.54 cores=1,3,5,7
/proc/14178/task/14180/stat : 14180 (SArTagnan) R 14176 14178 14137 0 -1 4202560 27645 0 0 0 67549 5 0 0 25 0 4 0 669815878 668160000 115697 33554432000 4194304 4625164 140736546257120 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14178/tid=14181] ppid=14176 vsize=652500 CPUtime=573.92 cores=1,3,5,7
/proc/14178/task/14181/stat : 14181 (SArTagnan) R 14176 14178 14137 0 -1 4202560 68966 0 0 0 57379 13 0 0 25 0 4 0 669815878 668160000 115697 33554432000 4194304 4625164 140736546257120 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14178/tid=14182] ppid=14176 vsize=652500 CPUtime=809.29 cores=1,3,5,7
/proc/14178/task/14182/stat : 14182 (SArTagnan) R 14176 14178 14137 0 -1 4202560 2310689 0 0 0 80576 353 0 0 25 0 4 0 669815878 668160000 115697 33554432000 4194304 4625164 140736546257120 18446744073709551615 4552354 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3017.83
Current children cumulated vsize (KiB) 652500

[startup+1062.3 s]
/proc/loadavg: 10.08 9.88 7.57 11/438 14211
/proc/meminfo: memFree=19715540/32951124 swapFree=44485784/67111528
[pid=14178] ppid=14176 vsize=654356 CPUtime=3196.98 cores=1,3,5,7
/proc/14178/stat : 14178 (SArTagnan) R 14176 14178 14137 0 -1 4202496 2968057 0 0 0 319223 475 0 0 25 0 4 0 669815872 670060544 117937 33554432000 4194304 4625164 140736546257120 18446744073709551615 4512315 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14178/statm: 163589 117937 380 106 0 159092 0
[pid=14178/tid=14180] ppid=14176 vsize=654356 CPUtime=735.55 cores=1,3,5,7
/proc/14178/task/14180/stat : 14180 (SArTagnan) R 14176 14178 14137 0 -1 4202560 27980 0 0 0 73549 6 0 0 25 0 4 0 669815878 670060544 117937 33554432000 4194304 4625164 140736546257120 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14178/tid=14181] ppid=14176 vsize=654356 CPUtime=603.75 cores=1,3,5,7
/proc/14178/task/14181/stat : 14181 (SArTagnan) R 14176 14178 14137 0 -1 4202560 69064 0 0 0 60362 13 0 0 25 0 4 0 669815878 670060544 117937 33554432000 4194304 4625164 140736546257120 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14178/tid=14182] ppid=14176 vsize=654356 CPUtime=839.47 cores=1,3,5,7
/proc/14178/task/14182/stat : 14182 (SArTagnan) R 14176 14178 14137 0 -1 4202560 2368323 0 0 0 83584 363 0 0 25 0 4 0 669815878 670060544 117937 33554432000 4194304 4625164 140736546257120 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3196.98
Current children cumulated vsize (KiB) 654356

[startup+1122.3 s]
/proc/loadavg: 10.07 9.92 7.73 11/438 14221
/proc/meminfo: memFree=19664356/32951124 swapFree=44485784/67111528
[pid=14178] ppid=14176 vsize=721168 CPUtime=3376.08 cores=1,3,5,7
/proc/14178/stat : 14178 (SArTagnan) R 14176 14178 14137 0 -1 4202496 3206844 0 0 0 337101 507 0 0 25 0 4 0 669815872 738476032 121749 33554432000 4194304 4625164 140736546257120 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14178/statm: 180292 121749 392 106 0 175795 0
[pid=14178/tid=14180] ppid=14176 vsize=721168 CPUtime=795.53 cores=1,3,5,7
/proc/14178/task/14180/stat : 14180 (SArTagnan) R 14176 14178 14137 0 -1 4202560 28109 0 0 0 79547 6 0 0 25 0 4 0 669815878 738476032 121749 33554432000 4194304 4625164 140736546257120 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14178/tid=14181] ppid=14176 vsize=721168 CPUtime=633.75 cores=1,3,5,7
/proc/14178/task/14181/stat : 14181 (SArTagnan) R 14176 14178 14137 0 -1 4202560 69065 0 0 0 63362 13 0 0 25 0 4 0 669815878 738476032 121749 33554432000 4194304 4625164 140736546257120 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14178/tid=14182] ppid=14176 vsize=721168 CPUtime=869.47 cores=1,3,5,7
/proc/14178/task/14182/stat : 14182 (SArTagnan) R 14176 14178 14137 0 -1 4202560 2605777 0 0 0 86552 395 0 0 25 0 4 0 669815878 738476032 121749 33554432000 4194304 4625164 140736546257120 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3376.08
Current children cumulated vsize (KiB) 721168

[startup+1182.3 s]
/proc/loadavg: 10.06 9.94 7.87 11/438 14223
/proc/meminfo: memFree=19626608/32951124 swapFree=44485784/67111528
[pid=14178] ppid=14176 vsize=756520 CPUtime=3555.22 cores=1,3,5,7
/proc/14178/stat : 14178 (SArTagnan) R 14176 14178 14137 0 -1 4202496 3463589 0 0 0 354976 546 0 0 25 0 4 0 669815872 774676480 126734 33554432000 4194304 4625164 140736546257120 18446744073709551615 4512190 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14178/statm: 189130 126734 351 106 0 184633 0
[pid=14178/tid=14180] ppid=14176 vsize=756520 CPUtime=855.52 cores=1,3,5,7
/proc/14178/task/14180/stat : 14180 (SArTagnan) R 14176 14178 14137 0 -1 4202560 29112 0 0 0 85546 6 0 0 25 0 4 0 669815878 774676480 126734 33554432000 4194304 4625164 140736546257120 18446744073709551615 4352653 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14178/tid=14181] ppid=14176 vsize=756520 CPUtime=663.8 cores=1,3,5,7
/proc/14178/task/14181/stat : 14181 (SArTagnan) R 14176 14178 14137 0 -1 4202560 69247 0 0 0 66367 13 0 0 25 0 4 0 669815878 774676480 126734 33554432000 4194304 4625164 140736546257120 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14178/tid=14182] ppid=14176 vsize=756520 CPUtime=899.42 cores=1,3,5,7
/proc/14178/task/14182/stat : 14182 (SArTagnan) R 14176 14178 14137 0 -1 4202560 2763849 0 0 0 89524 418 0 0 25 0 4 0 669815878 774676480 126734 33554432000 4194304 4625164 140736546257120 18446744073709551615 4579376 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3555.22
Current children cumulated vsize (KiB) 756520

[startup+1242.3 s]
/proc/loadavg: 10.20 10.00 8.02 11/438 14224
/proc/meminfo: memFree=19584288/32951124 swapFree=44485784/67111528
[pid=14178] ppid=14176 vsize=778276 CPUtime=3734.35 cores=1,3,5,7
/proc/14178/stat : 14178 (SArTagnan) R 14176 14178 14137 0 -1 4202496 3781298 0 0 0 372833 602 0 0 25 0 4 0 669815872 796954624 131703 33554432000 4194304 4625164 140736546257120 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14178/statm: 194569 131703 346 106 0 190072 0
[pid=14178/tid=14180] ppid=14176 vsize=778276 CPUtime=902.53 cores=1,3,5,7
/proc/14178/task/14180/stat : 14180 (SArTagnan) R 14176 14178 14137 0 -1 4202560 41548 0 0 0 90245 8 0 0 25 0 4 0 669815878 796954624 131703 33554432000 4194304 4625164 140736546257120 18446744073709551615 4339600 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14178/tid=14181] ppid=14176 vsize=778276 CPUtime=706.76 cores=1,3,5,7
/proc/14178/task/14181/stat : 14181 (SArTagnan) R 14176 14178 14137 0 -1 4202560 69344 0 0 0 70663 13 0 0 25 0 4 0 669815878 796954624 131703 33554432000 4194304 4625164 140736546257120 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14178/tid=14182] ppid=14176 vsize=778276 CPUtime=929.46 cores=1,3,5,7
/proc/14178/task/14182/stat : 14182 (SArTagnan) R 14176 14178 14137 0 -1 4202560 2883729 0 0 0 92509 437 0 0 25 0 4 0 669815878 796954624 131703 33554432000 4194304 4625164 140736546257120 18446744073709551615 4552391 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3734.35
Current children cumulated vsize (KiB) 778276



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 10.59 10.11 8.18 8/434 14230
/proc/meminfo: memFree=21015916/32951124 swapFree=44485784/67111528
[pid=14178] ppid=14176 vsize=778276 CPUtime=3906.64 cores=1,3,5,7
/proc/14178/stat : 14178 (SArTagnan) R 14176 14178 14137 0 -1 4202496 4068354 0 0 0 390016 648 0 0 25 0 4 0 669815872 796954624 134732 33554432000 4194304 4625164 140736546257120 18446744073709551615 4512891 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/14178/statm: 194569 134732 359 106 0 190072 0
[pid=14178/tid=14180] ppid=14176 vsize=778276 CPUtime=931.27 cores=1,3,5,7
/proc/14178/task/14180/stat : 14180 (SArTagnan) R 14176 14178 14137 0 -1 4202560 41601 0 0 0 93119 8 0 0 25 0 4 0 669815878 796954624 134733 33554432000 4194304 4625164 140736546257120 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14178/tid=14181] ppid=14176 vsize=778276 CPUtime=764.48 cores=1,3,5,7
/proc/14178/task/14181/stat : 14181 (SArTagnan) R 14176 14178 14137 0 -1 4202560 69475 0 0 0 76435 13 0 0 25 0 4 0 669815878 796954624 134733 33554432000 4194304 4625164 140736546257120 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=14178/tid=14182] ppid=14176 vsize=778276 CPUtime=958.42 cores=1,3,5,7
/proc/14178/task/14182/stat : 14182 (SArTagnan) R 14176 14178 14137 0 -1 4202560 3117560 0 0 0 95369 473 0 0 25 0 4 0 669815878 796954624 134733 33554432000 4194304 4625164 140736546257120 18446744073709551615 4579396 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3906.64
Current children cumulated vsize (KiB) 778276

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.04
CPU time (s): 3906.69
CPU user time (s): 3900.18
CPU system time (s): 6.50801
CPU usage (%): 300.505
Max. virtual memory (cumulated for all children) (KiB): 816796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3900.19
system time used= 6.50801
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4068359
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= 1102
involuntary context switches= 34444

runsolver used 4.91725 second user time and 13.9529 second system time

The end

Launcher Data 

Begin job on node105 at 2011-05-16 23:42:34
IDJOB=3385980
IDBENCH=83894
IDSOLVER=1871
FILE ID=node105/3385980-1305582154
RUNJOBID= node105-1305582154-14156
PBS_JOBID= 13350310
Free space on /tmp= 73516 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_60_24_40_2-log.shuffled-as.sat03-119.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3385980-1305582154/watcher-3385980-1305582154 -o /tmp/evaluation-result-3385980-1305582154/solver-3385980-1305582154 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3385980-1305582154.cnf -threads=4

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

MD5SUM BENCH= cf96a8eea16f98b3cec72117cedd0285
RANDOM SEED=1615407170

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21570868 kB
Buffers:        325624 kB
Cached:        7153188 kB
SwapCached:      39636 kB
Active:        3997436 kB
Inactive:      7088428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21570868 kB
SwapTotal:    67111528 kB
SwapFree:     44485784 kB
Dirty:            3516 kB
Writeback:           0 kB
AnonPages:     3575044 kB
Mapped:          19560 kB
Slab:           143968 kB
PageTables:      81948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 115561268 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= 73516 MiB
End job on node105 at 2011-05-17 00:04:16