Trace number 3386368

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) 3913.38 1300.09

General information on the benchmark

NameSAT03/industrial/li/li-test4/
li-test4-100.shuffled-as.sat03-370.cnf
MD5SUM5e5606ae7367b9272c60adc115594912
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables36809
Number of clauses142491
Sum of the clauses size559708
Maximum clause length172
Minimum clause length1
Number of clauses of size 114
Number of clauses of size 224558
Number of clauses of size 367458
Number of clauses of size 449000
Number of clauses of size 51
Number of clauses of size over 51460

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-3386368-1305582562/watcher-3386368-1305582562 -o /tmp/evaluation-result-3386368-1305582562/solver-3386368-1305582562 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386368-1305582562.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: 10.22 10.16 10.10 7/515 10617
/proc/meminfo: memFree=12688352/32951124 swapFree=67111348/67111528
[pid=10617] ppid=10615 vsize=25984 CPUtime=0 cores=0,2,4,6
/proc/10617/stat : 10617 (SArTagnan) R 10615 10617 10092 0 -1 4202496 1415 0 0 0 0 0 0 0 25 0 1 0 669853988 26607616 1306 33554432000 4194304 4625164 140735214029712 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/10617/statm: 6496 1306 299 106 0 1999 0

[startup+0.0879779 s]
/proc/loadavg: 10.22 10.16 10.10 7/515 10617
/proc/meminfo: memFree=12688352/32951124 swapFree=67111348/67111528
[pid=10617] ppid=10615 vsize=33416 CPUtime=0.07 cores=0,2,4,6
/proc/10617/stat : 10617 (SArTagnan) R 10615 10617 10092 0 -1 4202496 5495 0 0 0 7 0 0 0 25 0 1 0 669853988 34217984 3502 33554432000 4194304 4625164 140735214029712 18446744073709551615 212687675136 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/10617/statm: 8354 3504 299 106 0 3857 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 33416

[startup+0.100947 s]
/proc/loadavg: 10.22 10.16 10.10 7/515 10617
/proc/meminfo: memFree=12688352/32951124 swapFree=67111348/67111528
[pid=10617] ppid=10615 vsize=35576 CPUtime=0.09 cores=0,2,4,6
/proc/10617/stat : 10617 (SArTagnan) R 10615 10617 10092 0 -1 4202496 6776 0 0 0 9 0 0 0 25 0 1 0 669853988 36429824 3701 33554432000 4194304 4625164 140735214029712 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/10617/statm: 8894 3701 299 106 0 4397 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35576

[startup+0.300871 s]
/proc/loadavg: 10.22 10.16 10.10 7/515 10617
/proc/meminfo: memFree=12688352/32951124 swapFree=67111348/67111528
[pid=10617] ppid=10615 vsize=318868 CPUtime=0.57 cores=0,2,4,6
/proc/10617/stat : 10617 (SArTagnan) R 10615 10617 10092 0 -1 4202496 22181 0 0 0 55 2 0 0 25 0 4 0 669853988 326520832 17220 33554432000 4194304 4625164 140735214029712 18446744073709551615 4364757 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10617/statm: 79717 17220 336 106 0 75220 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 318868

[startup+0.700799 s]
/proc/loadavg: 10.22 10.16 10.10 7/515 10617
/proc/meminfo: memFree=12688352/32951124 swapFree=67111348/67111528
[pid=10617] ppid=10615 vsize=318868 CPUtime=1.76 cores=0,2,4,6
/proc/10617/stat : 10617 (SArTagnan) R 10615 10617 10092 0 -1 4202496 25162 0 0 0 174 2 0 0 25 0 4 0 669853988 326520832 18292 33554432000 4194304 4625164 140735214029712 18446744073709551615 212687331285 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10617/statm: 79717 18292 342 106 0 75220 0
Current children cumulated CPU time (s) 1.76
Current children cumulated vsize (KiB) 318868

[startup+1.50065 s]
/proc/loadavg: 10.22 10.16 10.10 12/519 10621
/proc/meminfo: memFree=12609960/32951124 swapFree=67111348/67111528
[pid=10617] ppid=10615 vsize=315524 CPUtime=4.14 cores=0,2,4,6
/proc/10617/stat : 10617 (SArTagnan) R 10615 10617 10092 0 -1 4202496 31055 0 0 0 411 3 0 0 25 0 4 0 669853988 323096576 17838 33554432000 4194304 4625164 140735214029712 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10617/statm: 78881 17838 343 106 0 74384 0
[pid=10617/tid=10619] ppid=10615 vsize=315524 CPUtime=0.72 cores=0,2,4,6
/proc/10617/task/10619/stat : 10619 (SArTagnan) R 10615 10617 10092 0 -1 4202560 2103 0 0 0 72 0 0 0 25 0 4 0 669854003 323096576 17838 33554432000 4194304 4625164 140735214029712 18446744073709551615 4485329 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10617/tid=10620] ppid=10615 vsize=315524 CPUtime=1.21 cores=0,2,4,6
/proc/10617/task/10620/stat : 10620 (SArTagnan) R 10615 10617 10092 0 -1 4202560 1891 0 0 0 121 0 0 0 25 0 4 0 669854003 323096576 17838 33554432000 4194304 4625164 140735214029712 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10617/tid=10621] ppid=10615 vsize=315524 CPUtime=1.32 cores=0,2,4,6
/proc/10617/task/10621/stat : 10621 (SArTagnan) R 10615 10617 10092 0 -1 4202560 10481 0 0 0 131 1 0 0 25 0 4 0 669854003 323096576 17838 33554432000 4194304 4625164 140735214029712 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 315524

[startup+3.10036 s]
/proc/loadavg: 10.22 10.16 10.10 12/519 10621
/proc/meminfo: memFree=12612440/32951124 swapFree=67111348/67111528
[pid=10617] ppid=10615 vsize=317956 CPUtime=8.93 cores=0,2,4,6
/proc/10617/stat : 10617 (SArTagnan) R 10615 10617 10092 0 -1 4202496 41231 0 0 0 888 5 0 0 25 0 4 0 669853988 325586944 18832 33554432000 4194304 4625164 140735214029712 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10617/statm: 79489 18832 343 106 0 74992 0
[pid=10617/tid=10619] ppid=10615 vsize=317956 CPUtime=1.45 cores=0,2,4,6
/proc/10617/task/10619/stat : 10619 (SArTagnan) R 10615 10617 10092 0 -1 4202560 2276 0 0 0 145 0 0 0 25 0 4 0 669854003 325586944 18832 33554432000 4194304 4625164 140735214029712 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10617/tid=10620] ppid=10615 vsize=317956 CPUtime=2.81 cores=0,2,4,6
/proc/10617/task/10620/stat : 10620 (SArTagnan) R 10615 10617 10092 0 -1 4202560 2077 0 0 0 281 0 0 0 25 0 4 0 669854003 325586944 18832 33554432000 4194304 4625164 140735214029712 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10617/tid=10621] ppid=10615 vsize=317956 CPUtime=2.89 cores=0,2,4,6
/proc/10617/task/10621/stat : 10621 (SArTagnan) R 10615 10617 10092 0 -1 4202560 19002 0 0 0 287 2 0 0 25 0 4 0 669854003 325586944 18832 33554432000 4194304 4625164 140735214029712 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.93
Current children cumulated vsize (KiB) 317956

[startup+6.30078 s]
/proc/loadavg: 10.20 10.16 10.10 11/519 10621
/proc/meminfo: memFree=12537980/32951124 swapFree=67111348/67111528
[pid=10617] ppid=10615 vsize=397104 CPUtime=18.46 cores=0,2,4,6
/proc/10617/stat : 10617 (SArTagnan) R 10615 10617 10092 0 -1 4202496 94407 0 0 0 1833 13 0 0 25 0 4 0 669853988 406634496 36269 33554432000 4194304 4625164 140735214029712 18446744073709551615 4327866 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10617/statm: 99276 36269 346 106 0 94779 0
[pid=10617/tid=10619] ppid=10615 vsize=397104 CPUtime=3.02 cores=0,2,4,6
/proc/10617/task/10619/stat : 10619 (SArTagnan) R 10615 10617 10092 0 -1 4202560 11863 0 0 0 301 1 0 0 25 0 4 0 669854003 406634496 36269 33554432000 4194304 4625164 140735214029712 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10617/tid=10620] ppid=10615 vsize=397104 CPUtime=5.95 cores=0,2,4,6
/proc/10617/task/10620/stat : 10620 (SArTagnan) R 10615 10617 10092 0 -1 4202560 11715 0 0 0 594 1 0 0 25 0 4 0 669854003 406634496 36270 33554432000 4194304 4625164 140735214029712 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10617/tid=10621] ppid=10615 vsize=397104 CPUtime=4.71 cores=0,2,4,6
/proc/10617/task/10621/stat : 10621 (SArTagnan) R 10615 10617 10092 0 -1 4202560 34679 0 0 0 467 4 0 0 25 0 4 0 669854003 406634496 36270 33554432000 4194304 4625164 140735214029712 18446744073709551615 4340066 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 18.46
Current children cumulated vsize (KiB) 397104

[startup+12.7006 s]
/proc/loadavg: 10.18 10.16 10.10 12/519 10621
/proc/meminfo: memFree=12527332/32951124 swapFree=67111348/67111528
[pid=10617] ppid=10615 vsize=397104 CPUtime=37.55 cores=0,2,4,6
/proc/10617/stat : 10617 (SArTagnan) R 10615 10617 10092 0 -1 4202496 112728 0 0 0 3739 16 0 0 25 0 4 0 669853988 406634496 37935 33554432000 4194304 4625164 140735214029712 18446744073709551615 4498958 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10617/statm: 99276 37935 346 106 0 94779 0
[pid=10617/tid=10619] ppid=10615 vsize=397104 CPUtime=6.12 cores=0,2,4,6
/proc/10617/task/10619/stat : 10619 (SArTagnan) R 10615 10617 10092 0 -1 4202560 11871 0 0 0 611 1 0 0 25 0 4 0 669854003 406634496 37935 33554432000 4194304 4625164 140735214029712 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10617/tid=10620] ppid=10615 vsize=397104 CPUtime=12.35 cores=0,2,4,6
/proc/10617/task/10620/stat : 10620 (SArTagnan) R 10615 10617 10092 0 -1 4202560 11813 0 0 0 1234 1 0 0 25 0 4 0 669854003 406634496 37935 33554432000 4194304 4625164 140735214029712 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10617/tid=10621] ppid=10615 vsize=397104 CPUtime=8.21 cores=0,2,4,6
/proc/10617/task/10621/stat : 10621 (SArTagnan) R 10615 10617 10092 0 -1 4202560 52352 0 0 0 814 7 0 0 25 0 4 0 669854003 406634496 37935 33554432000 4194304 4625164 140735214029712 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 37.55
Current children cumulated vsize (KiB) 397104

[startup+25.5003 s]
/proc/loadavg: 10.14 10.15 10.09 11/519 10621
/proc/meminfo: memFree=12496416/32951124 swapFree=67111348/67111528
[pid=10617] ppid=10615 vsize=402576 CPUtime=75.72 cores=0,2,4,6
/proc/10617/stat : 10617 (SArTagnan) R 10615 10617 10092 0 -1 4202496 172585 0 0 0 7546 26 0 0 25 0 4 0 669853988 412237824 42592 33554432000 4194304 4625164 140735214029712 18446744073709551615 4289357 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10617/statm: 100644 42592 346 106 0 96147 0
[pid=10617/tid=10619] ppid=10615 vsize=402576 CPUtime=12.52 cores=0,2,4,6
/proc/10617/task/10619/stat : 10619 (SArTagnan) R 10615 10617 10092 0 -1 4202560 11871 0 0 0 1250 2 0 0 25 0 4 0 669854003 412237824 42592 33554432000 4194304 4625164 140735214029712 18446744073709551615 4353016 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10617/tid=10620] ppid=10615 vsize=402576 CPUtime=25.16 cores=0,2,4,6
/proc/10617/task/10620/stat : 10620 (SArTagnan) R 10615 10617 10092 0 -1 4202560 13506 0 0 0 2513 3 0 0 25 0 4 0 669854003 412237824 42592 33554432000 4194304 4625164 140735214029712 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10617/tid=10621] ppid=10615 vsize=402576 CPUtime=20.78 cores=0,2,4,6
/proc/10617/task/10621/stat : 10621 (SArTagnan) R 10615 10617 10092 0 -1 4202560 110426 0 0 0 2063 15 0 0 25 0 4 0 669854003 412237824 42592 33554432000 4194304 4625164 140735214029712 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 75.72
Current children cumulated vsize (KiB) 402576

[startup+51.1006 s]
/proc/loadavg: 10.29 10.18 10.11 11/519 10622
/proc/meminfo: memFree=12413444/32951124 swapFree=67111348/67111528
[pid=10617] ppid=10615 vsize=412084 CPUtime=152.08 cores=0,2,4,6
/proc/10617/stat : 10617 (SArTagnan) R 10615 10617 10092 0 -1 4202496 243486 0 0 0 15167 41 0 0 25 0 4 0 669853988 421974016 55995 33554432000 4194304 4625164 140735214029712 18446744073709551615 4393110 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10617/statm: 103021 55995 347 106 0 98524 0
[pid=10617/tid=10619] ppid=10615 vsize=412084 CPUtime=35.13 cores=0,2,4,6
/proc/10617/task/10619/stat : 10619 (SArTagnan) R 10615 10617 10092 0 -1 4202560 14654 0 0 0 3511 2 0 0 25 0 4 0 669854003 421974016 55995 33554432000 4194304 4625164 140735214029712 18446744073709551615 4288783 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10617/tid=10620] ppid=10615 vsize=412084 CPUtime=44.43 cores=0,2,4,6
/proc/10617/task/10620/stat : 10620 (SArTagnan) R 10615 10617 10092 0 -1 4202560 19077 0 0 0 4434 9 0 0 25 0 4 0 669854003 421974016 55995 33554432000 4194304 4625164 140735214029712 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10617/tid=10621] ppid=10615 vsize=412084 CPUtime=36.39 cores=0,2,4,6
/proc/10617/task/10621/stat : 10621 (SArTagnan) R 10615 10617 10092 0 -1 4202560 171899 0 0 0 3616 23 0 0 25 0 4 0 669854003 421974016 55995 33554432000 4194304 4625164 140735214029712 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 152.08
Current children cumulated vsize (KiB) 412084

[startup+102.319 s]
/proc/loadavg: 10.18 10.17 10.10 11/519 10623
/proc/meminfo: memFree=12192588/32951124 swapFree=67111348/67111528
[pid=10617] ppid=10615 vsize=571940 CPUtime=304.76 cores=0,2,4,6
/proc/10617/stat : 10617 (SArTagnan) R 10615 10617 10092 0 -1 4202496 414203 0 0 0 30398 78 0 0 25 0 4 0 669853988 585666560 104981 33554432000 4194304 4625164 140735214029712 18446744073709551615 4396555 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10617/statm: 142985 104981 347 106 0 138488 0
[pid=10617/tid=10619] ppid=10615 vsize=571940 CPUtime=80.61 cores=0,2,4,6
/proc/10617/task/10619/stat : 10619 (SArTagnan) R 10615 10617 10092 0 -1 4202560 42014 0 0 0 8049 12 0 0 25 0 4 0 669854003 585666560 104981 33554432000 4194304 4625164 140735214029712 18446744073709551615 4351998 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10617/tid=10620] ppid=10615 vsize=571940 CPUtime=75.33 cores=0,2,4,6
/proc/10617/task/10620/stat : 10620 (SArTagnan) R 10615 10617 10092 0 -1 4202560 35594 0 0 0 7516 17 0 0 25 0 4 0 669854003 585666560 104981 33554432000 4194304 4625164 140735214029712 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10617/tid=10621] ppid=10615 vsize=571940 CPUtime=63.19 cores=0,2,4,6
/proc/10617/task/10621/stat : 10621 (SArTagnan) R 10615 10617 10092 0 -1 4202560 292286 0 0 0 6278 41 0 0 25 0 4 0 669854003 585666560 104981 33554432000 4194304 4625164 140735214029712 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 304.76
Current children cumulated vsize (KiB) 571940

[startup+162.3 s]
/proc/loadavg: 10.16 10.16 10.10 12/519 10625
/proc/meminfo: memFree=11932420/32951124 swapFree=67111348/67111528
[pid=10617] ppid=10615 vsize=874432 CPUtime=483.2 cores=0,2,4,6
/proc/10617/stat : 10617 (SArTagnan) R 10615 10617 10092 0 -1 4202496 611107 0 0 0 48187 133 0 0 25 0 4 0 669853988 895418368 163919 33554432000 4194304 4625164 140735214029712 18446744073709551615 4512125 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10617/statm: 218608 163919 347 106 0 214111 0
[pid=10617/tid=10619] ppid=10615 vsize=874432 CPUtime=120.03 cores=0,2,4,6
/proc/10617/task/10619/stat : 10619 (SArTagnan) R 10615 10617 10092 0 -1 4202560 76463 0 0 0 11973 30 0 0 23 0 4 0 669854003 895418368 163919 33554432000 4194304 4625164 140735214029712 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10617/tid=10620] ppid=10615 vsize=874432 CPUtime=118.32 cores=0,2,4,6
/proc/10617/task/10620/stat : 10620 (SArTagnan) R 10615 10617 10092 0 -1 4202560 52529 0 0 0 11801 31 0 0 25 0 4 0 669854003 895418368 163919 33554432000 4194304 4625164 140735214029712 18446744073709551615 4464328 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10617/tid=10621] ppid=10615 vsize=874432 CPUtime=104.59 cores=0,2,4,6
/proc/10617/task/10621/stat : 10621 (SArTagnan) R 10615 10617 10092 0 -1 4202560 425158 0 0 0 10397 62 0 0 25 0 4 0 669854003 895418368 163919 33554432000 4194304 4625164 140735214029712 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 483.2
Current children cumulated vsize (KiB) 874432

[startup+222.3 s]
/proc/loadavg: 10.26 10.19 10.11 11/519 10627
/proc/meminfo: memFree=11650424/32951124 swapFree=67111348/67111528
[pid=10617] ppid=10615 vsize=1086492 CPUtime=661.37 cores=0,2,4,6
/proc/10617/stat : 10617 (SArTagnan) R 10615 10617 10092 0 -1 4202496 788805 0 0 0 65947 190 0 0 25 0 4 0 669853988 1112567808 225553 33554432000 4194304 4625164 140735214029712 18446744073709551615 4338055 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10617/statm: 271623 225553 347 106 0 267126 0
[pid=10617/tid=10619] ppid=10615 vsize=1086492 CPUtime=165.69 cores=0,2,4,6
/proc/10617/task/10619/stat : 10619 (SArTagnan) R 10615 10617 10092 0 -1 4202560 116312 0 0 0 16519 50 0 0 25 0 4 0 669854003 1112567808 225553 33554432000 4194304 4625164 140735214029712 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10617/tid=10620] ppid=10615 vsize=1086492 CPUtime=163.62 cores=0,2,4,6
/proc/10617/task/10620/stat : 10620 (SArTagnan) R 10615 10617 10092 0 -1 4202560 86078 0 0 0 16311 51 0 0 25 0 4 0 669854003 1112567808 225553 33554432000 4194304 4625164 140735214029712 18446744073709551615 4464310 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10617/tid=10621] ppid=10615 vsize=1086492 CPUtime=135.47 cores=0,2,4,6
/proc/10617/task/10621/stat : 10621 (SArTagnan) R 10615 10617 10092 0 -1 4202560 526631 0 0 0 13470 77 0 0 25 0 4 0 669854003 1112567808 225553 33554432000 4194304 4625164 140735214029712 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 661.37
Current children cumulated vsize (KiB) 1086492

[startup+282.3 s]

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

[pid=10617] ppid=10615 vsize=1608532 CPUtime=2130.41 cores=0,2,4,6
/proc/10617/stat : 10617 (SArTagnan) R 10615 10617 10092 0 -1 4202496 1529545 0 0 0 212697 344 0 0 25 0 4 0 669853988 1647136768 338286 33554432000 4194304 4625164 140735214029712 18446744073709551615 4512818 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10617/statm: 402133 338286 348 106 0 397636 0
[pid=10617/tid=10619] ppid=10615 vsize=1608532 CPUtime=564.1 cores=0,2,4,6
/proc/10617/task/10619/stat : 10619 (SArTagnan) R 10615 10617 10092 0 -1 4202560 145440 0 0 0 56348 62 0 0 25 0 4 0 669854003 1647136768 338286 33554432000 4194304 4625164 140735214029712 18446744073709551615 4330528 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10617/tid=10620] ppid=10615 vsize=1608532 CPUtime=527.33 cores=0,2,4,6
/proc/10617/task/10620/stat : 10620 (SArTagnan) R 10615 10617 10092 0 -1 4202560 133996 0 0 0 52644 89 0 0 25 0 4 0 669854003 1647136768 338286 33554432000 4194304 4625164 140735214029712 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10617/tid=10621] ppid=10615 vsize=1608532 CPUtime=420.01 cores=0,2,4,6
/proc/10617/task/10621/stat : 10621 (SArTagnan) R 10615 10617 10092 0 -1 4202560 1133056 0 0 0 41829 172 0 0 25 0 4 0 669854003 1647136768 338286 33554432000 4194304 4625164 140735214029712 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2130.41
Current children cumulated vsize (KiB) 1608532

[startup+762.32 s]
/proc/loadavg: 10.13 10.15 10.09 11/519 10681
/proc/meminfo: memFree=11825828/32951124 swapFree=67111348/67111528
[pid=10617] ppid=10615 vsize=1608532 CPUtime=2309.43 cores=0,2,4,6
/proc/10617/stat : 10617 (SArTagnan) R 10615 10617 10092 0 -1 4202496 1591129 0 0 0 230588 355 0 0 25 0 4 0 669853988 1647136768 341608 33554432000 4194304 4625164 140735214029712 18446744073709551615 4396555 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10617/statm: 402133 341608 347 106 0 397636 0
[pid=10617/tid=10619] ppid=10615 vsize=1608532 CPUtime=624.12 cores=0,2,4,6
/proc/10617/task/10619/stat : 10619 (SArTagnan) R 10615 10617 10092 0 -1 4202560 145463 0 0 0 62350 62 0 0 25 0 4 0 669854003 1647136768 341608 33554432000 4194304 4625164 140735214029712 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10617/tid=10620] ppid=10615 vsize=1608532 CPUtime=586.31 cores=0,2,4,6
/proc/10617/task/10620/stat : 10620 (SArTagnan) R 10615 10617 10092 0 -1 4202560 134116 0 0 0 58542 89 0 0 25 0 4 0 669854003 1647136768 341608 33554432000 4194304 4625164 140735214029712 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10617/tid=10621] ppid=10615 vsize=1608532 CPUtime=450.03 cores=0,2,4,6
/proc/10617/task/10621/stat : 10621 (SArTagnan) R 10615 10617 10092 0 -1 4202560 1193583 0 0 0 44820 183 0 0 25 0 4 0 669854003 1647136768 341608 33554432000 4194304 4625164 140735214029712 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2309.43
Current children cumulated vsize (KiB) 1608532

[startup+822.301 s]
/proc/loadavg: 10.09 10.14 10.09 11/519 10683
/proc/meminfo: memFree=11726484/32951124 swapFree=67111348/67111528
[pid=10617] ppid=10615 vsize=1608532 CPUtime=2488.36 cores=0,2,4,6
/proc/10617/stat : 10617 (SArTagnan) R 10615 10617 10092 0 -1 4202496 1712266 0 0 0 248460 376 0 0 25 0 4 0 669853988 1647136768 345306 33554432000 4194304 4625164 140735214029712 18446744073709551615 4511795 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10617/statm: 402133 345306 347 106 0 397636 0
[pid=10617/tid=10619] ppid=10615 vsize=1608532 CPUtime=684.1 cores=0,2,4,6
/proc/10617/task/10619/stat : 10619 (SArTagnan) R 10615 10617 10092 0 -1 4202560 145487 0 0 0 68348 62 0 0 25 0 4 0 669854003 1647136768 345306 33554432000 4194304 4625164 140735214029712 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10617/tid=10620] ppid=10615 vsize=1608532 CPUtime=645.26 cores=0,2,4,6
/proc/10617/task/10620/stat : 10620 (SArTagnan) R 10615 10617 10092 0 -1 4202560 134199 0 0 0 64437 89 0 0 25 0 4 0 669854003 1647136768 345306 33554432000 4194304 4625164 140735214029712 18446744073709551615 4488054 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10617/tid=10621] ppid=10615 vsize=1608532 CPUtime=480.03 cores=0,2,4,6
/proc/10617/task/10621/stat : 10621 (SArTagnan) R 10615 10617 10092 0 -1 4202560 1313965 0 0 0 47800 203 0 0 25 0 4 0 669854003 1647136768 345306 33554432000 4194304 4625164 140735214029712 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2488.36
Current children cumulated vsize (KiB) 1608532

[startup+882.3 s]
/proc/loadavg: 10.09 10.12 10.09 11/519 10684
/proc/meminfo: memFree=11694596/32951124 swapFree=67111348/67111528
[pid=10617] ppid=10615 vsize=1608956 CPUtime=2667.31 cores=0,2,4,6
/proc/10617/stat : 10617 (SArTagnan) R 10615 10617 10092 0 -1 4202496 1819192 0 0 0 266339 392 0 0 25 0 4 0 669853988 1647570944 351044 33554432000 4194304 4625164 140735214029712 18446744073709551615 4396555 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10617/statm: 402239 351044 347 106 0 397742 0
[pid=10617/tid=10619] ppid=10615 vsize=1608956 CPUtime=744.1 cores=0,2,4,6
/proc/10617/task/10619/stat : 10619 (SArTagnan) R 10615 10617 10092 0 -1 4202560 145507 0 0 0 74348 62 0 0 25 0 4 0 669854003 1647570944 351044 33554432000 4194304 4625164 140735214029712 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10617/tid=10620] ppid=10615 vsize=1608956 CPUtime=704.22 cores=0,2,4,6
/proc/10617/task/10620/stat : 10620 (SArTagnan) R 10615 10617 10092 0 -1 4202560 134302 0 0 0 70333 89 0 0 25 0 4 0 669854003 1647570944 351044 33554432000 4194304 4625164 140735214029712 18446744073709551615 4488046 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10617/tid=10621] ppid=10615 vsize=1608956 CPUtime=510.02 cores=0,2,4,6
/proc/10617/task/10621/stat : 10621 (SArTagnan) R 10615 10617 10092 0 -1 4202560 1419623 0 0 0 50783 219 0 0 25 0 4 0 669854003 1647570944 351044 33554432000 4194304 4625164 140735214029712 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2667.31
Current children cumulated vsize (KiB) 1608956

[startup+942.3 s]
/proc/loadavg: 10.41 10.21 10.12 11/519 10690
/proc/meminfo: memFree=11617120/32951124 swapFree=67111348/67111528
[pid=10617] ppid=10615 vsize=1679512 CPUtime=2846.28 cores=0,2,4,6
/proc/10617/stat : 10617 (SArTagnan) R 10615 10617 10092 0 -1 4202496 1925315 0 0 0 284220 408 0 0 25 0 4 0 669853988 1719820288 356276 33554432000 4194304 4625164 140735214029712 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10617/statm: 419878 356276 347 106 0 415381 0
[pid=10617/tid=10619] ppid=10615 vsize=1679512 CPUtime=804.1 cores=0,2,4,6
/proc/10617/task/10619/stat : 10619 (SArTagnan) R 10615 10617 10092 0 -1 4202560 145564 0 0 0 80348 62 0 0 25 0 4 0 669854003 1719820288 356276 33554432000 4194304 4625164 140735214029712 18446744073709551615 4330822 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10617/tid=10620] ppid=10615 vsize=1679512 CPUtime=763.2 cores=0,2,4,6
/proc/10617/task/10620/stat : 10620 (SArTagnan) R 10615 10617 10092 0 -1 4202560 134346 0 0 0 76230 90 0 0 25 0 4 0 669854003 1719820288 356276 33554432000 4194304 4625164 140735214029712 18446744073709551615 4487518 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10617/tid=10621] ppid=10615 vsize=1679512 CPUtime=540.01 cores=0,2,4,6
/proc/10617/task/10621/stat : 10621 (SArTagnan) R 10615 10617 10092 0 -1 4202560 1524515 0 0 0 53767 234 0 0 25 0 4 0 669854003 1719820288 356276 33554432000 4194304 4625164 140735214029712 18446744073709551615 4579358 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2846.28
Current children cumulated vsize (KiB) 1679512

[startup+1002.3 s]
/proc/loadavg: 10.28 10.20 10.12 11/519 10691
/proc/meminfo: memFree=11589172/32951124 swapFree=67111348/67111528
[pid=10617] ppid=10615 vsize=1679512 CPUtime=3025.25 cores=0,2,4,6
/proc/10617/stat : 10617 (SArTagnan) R 10615 10617 10092 0 -1 4202496 2037065 0 0 0 302099 426 0 0 25 0 4 0 669853988 1719820288 361024 33554432000 4194304 4625164 140735214029712 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10617/statm: 419878 361024 347 106 0 415381 0
[pid=10617/tid=10619] ppid=10615 vsize=1679512 CPUtime=864.1 cores=0,2,4,6
/proc/10617/task/10619/stat : 10619 (SArTagnan) R 10615 10617 10092 0 -1 4202560 145613 0 0 0 86348 62 0 0 25 0 4 0 669854003 1719820288 361024 33554432000 4194304 4625164 140735214029712 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10617/tid=10620] ppid=10615 vsize=1679512 CPUtime=822.16 cores=0,2,4,6
/proc/10617/task/10620/stat : 10620 (SArTagnan) R 10615 10617 10092 0 -1 4202560 134395 0 0 0 82126 90 0 0 25 0 4 0 669854003 1719820288 361024 33554432000 4194304 4625164 140735214029712 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10617/tid=10621] ppid=10615 vsize=1679512 CPUtime=570.01 cores=0,2,4,6
/proc/10617/task/10621/stat : 10621 (SArTagnan) R 10615 10617 10092 0 -1 4202560 1635458 0 0 0 56750 251 0 0 25 0 4 0 669854003 1719820288 361024 33554432000 4194304 4625164 140735214029712 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3025.25
Current children cumulated vsize (KiB) 1679512

[startup+1062.3 s]
/proc/loadavg: 10.22 10.19 10.11 11/519 10693
/proc/meminfo: memFree=11563504/32951124 swapFree=67111348/67111528
[pid=10617] ppid=10615 vsize=1679512 CPUtime=3204.23 cores=0,2,4,6
/proc/10617/stat : 10617 (SArTagnan) R 10615 10617 10092 0 -1 4202496 2149498 0 0 0 319981 442 0 0 25 0 4 0 669853988 1719820288 365284 33554432000 4194304 4625164 140735214029712 18446744073709551615 4396555 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10617/statm: 419878 365284 347 106 0 415381 0
[pid=10617/tid=10619] ppid=10615 vsize=1679512 CPUtime=924.11 cores=0,2,4,6
/proc/10617/task/10619/stat : 10619 (SArTagnan) R 10615 10617 10092 0 -1 4202560 145666 0 0 0 92349 62 0 0 25 0 4 0 669854003 1719820288 365284 33554432000 4194304 4625164 140735214029712 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10617/tid=10620] ppid=10615 vsize=1679512 CPUtime=881.13 cores=0,2,4,6
/proc/10617/task/10620/stat : 10620 (SArTagnan) R 10615 10617 10092 0 -1 4202560 134433 0 0 0 88023 90 0 0 25 0 4 0 669854003 1719820288 365284 33554432000 4194304 4625164 140735214029712 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10617/tid=10621] ppid=10615 vsize=1679512 CPUtime=600 cores=0,2,4,6
/proc/10617/task/10621/stat : 10621 (SArTagnan) R 10615 10617 10092 0 -1 4202560 1746974 0 0 0 59733 267 0 0 25 0 4 0 669854003 1719820288 365284 33554432000 4194304 4625164 140735214029712 18446744073709551615 4547283 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3204.23
Current children cumulated vsize (KiB) 1679512

[startup+1122.3 s]
/proc/loadavg: 10.18 10.18 10.11 11/519 10695
/proc/meminfo: memFree=11538200/32951124 swapFree=67111348/67111528
[pid=10617] ppid=10615 vsize=1679512 CPUtime=3383.18 cores=0,2,4,6
/proc/10617/stat : 10617 (SArTagnan) R 10615 10617 10092 0 -1 4202496 2263483 0 0 0 337859 459 0 0 25 0 4 0 669853988 1719820288 369965 33554432000 4194304 4625164 140735214029712 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10617/statm: 419878 369965 347 106 0 415381 0
[pid=10617/tid=10619] ppid=10615 vsize=1679512 CPUtime=984.11 cores=0,2,4,6
/proc/10617/task/10619/stat : 10619 (SArTagnan) R 10615 10617 10092 0 -1 4202560 145688 0 0 0 98349 62 0 0 25 0 4 0 669854003 1719820288 369965 33554432000 4194304 4625164 140735214029712 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10617/tid=10620] ppid=10615 vsize=1679512 CPUtime=940.09 cores=0,2,4,6
/proc/10617/task/10620/stat : 10620 (SArTagnan) R 10615 10617 10092 0 -1 4202560 134471 0 0 0 93919 90 0 0 25 0 4 0 669854003 1719820288 369965 33554432000 4194304 4625164 140735214029712 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10617/tid=10621] ppid=10615 vsize=1679512 CPUtime=629.94 cores=0,2,4,6
/proc/10617/task/10621/stat : 10621 (SArTagnan) R 10615 10617 10092 0 -1 4202560 1859970 0 0 0 62710 284 0 0 25 0 4 0 669854003 1719820288 369965 33554432000 4194304 4625164 140735214029712 18446744073709551615 4579358 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3383.18
Current children cumulated vsize (KiB) 1679512

[startup+1182.3 s]
/proc/loadavg: 10.11 10.16 10.11 11/519 10696
/proc/meminfo: memFree=11510776/32951124 swapFree=67111348/67111528
[pid=10617] ppid=10615 vsize=1679512 CPUtime=3562.16 cores=0,2,4,6
/proc/10617/stat : 10617 (SArTagnan) R 10615 10617 10092 0 -1 4202496 2378592 0 0 0 355739 477 0 0 25 0 4 0 669853988 1719820288 373822 33554432000 4194304 4625164 140735214029712 18446744073709551615 4356341 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10617/statm: 419878 373822 347 106 0 415381 0
[pid=10617/tid=10619] ppid=10615 vsize=1679512 CPUtime=1044.11 cores=0,2,4,6
/proc/10617/task/10619/stat : 10619 (SArTagnan) R 10615 10617 10092 0 -1 4202560 145708 0 0 0 104349 62 0 0 25 0 4 0 669854003 1719820288 373822 33554432000 4194304 4625164 140735214029712 18446744073709551615 4330822 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10617/tid=10620] ppid=10615 vsize=1679512 CPUtime=999.07 cores=0,2,4,6
/proc/10617/task/10620/stat : 10620 (SArTagnan) R 10615 10617 10092 0 -1 4202560 134769 0 0 0 99817 90 0 0 25 0 4 0 669854003 1719820288 373822 33554432000 4194304 4625164 140735214029712 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10617/tid=10621] ppid=10615 vsize=1679512 CPUtime=660.04 cores=0,2,4,6
/proc/10617/task/10621/stat : 10621 (SArTagnan) R 10615 10617 10092 0 -1 4202560 1973747 0 0 0 65702 302 0 0 25 0 4 0 669854003 1719820288 373822 33554432000 4194304 4625164 140735214029712 18446744073709551615 212687324248 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3562.16
Current children cumulated vsize (KiB) 1679512

[startup+1242.3 s]
/proc/loadavg: 10.16 10.17 10.11 11/519 10698
/proc/meminfo: memFree=11480744/32951124 swapFree=67111348/67111528
[pid=10617] ppid=10615 vsize=1775000 CPUtime=3741.13 cores=0,2,4,6
/proc/10617/stat : 10617 (SArTagnan) R 10615 10617 10092 0 -1 4202496 2507792 0 0 0 373615 498 0 0 25 0 4 0 669853988 1817600000 379102 33554432000 4194304 4625164 140735214029712 18446744073709551615 4336866 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10617/statm: 443750 379102 347 106 0 439253 0
[pid=10617/tid=10619] ppid=10615 vsize=1775000 CPUtime=1104.11 cores=0,2,4,6
/proc/10617/task/10619/stat : 10619 (SArTagnan) R 10615 10617 10092 0 -1 4202560 145737 0 0 0 110348 63 0 0 25 0 4 0 669854003 1817600000 379102 33554432000 4194304 4625164 140735214029712 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10617/tid=10620] ppid=10615 vsize=1775000 CPUtime=1058.02 cores=0,2,4,6
/proc/10617/task/10620/stat : 10620 (SArTagnan) R 10615 10617 10092 0 -1 4202560 134833 0 0 0 105712 90 0 0 25 0 4 0 669854003 1817600000 379102 33554432000 4194304 4625164 140735214029712 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10617/tid=10621] ppid=10615 vsize=1775000 CPUtime=690.05 cores=0,2,4,6
/proc/10617/task/10621/stat : 10621 (SArTagnan) R 10615 10617 10092 0 -1 4202560 2087251 0 0 0 68685 320 0 0 25 0 4 0 669854003 1817600000 379102 33554432000 4194304 4625164 140735214029712 18446744073709551615 4469320 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3741.13
Current children cumulated vsize (KiB) 1775000



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 10.15 10.17 10.11 11/519 10699
/proc/meminfo: memFree=11451228/32951124 swapFree=67111348/67111528
[pid=10617] ppid=10615 vsize=1781928 CPUtime=3913.26 cores=0,2,4,6
/proc/10617/stat : 10617 (SArTagnan) R 10615 10617 10092 0 -1 4202496 2548624 0 0 0 390822 504 0 0 25 0 4 0 669853988 1824694272 383361 33554432000 4194304 4625164 140735214029712 18446744073709551615 4512012 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10617/statm: 445482 383361 347 106 0 440985 0
[pid=10617/tid=10619] ppid=10615 vsize=1781928 CPUtime=1161.84 cores=0,2,4,6
/proc/10617/task/10619/stat : 10619 (SArTagnan) R 10615 10617 10092 0 -1 4202560 145757 0 0 0 116121 63 0 0 25 0 4 0 669854003 1824694272 383361 33554432000 4194304 4625164 140735214029712 18446744073709551615 4330841 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10617/tid=10620] ppid=10615 vsize=1781928 CPUtime=1114.74 cores=0,2,4,6
/proc/10617/task/10620/stat : 10620 (SArTagnan) R 10615 10617 10092 0 -1 4202560 134911 0 0 0 111384 90 0 0 25 0 4 0 669854003 1824694272 383361 33554432000 4194304 4625164 140735214029712 18446744073709551615 4331101 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10617/tid=10621] ppid=10615 vsize=1781928 CPUtime=718.98 cores=0,2,4,6
/proc/10617/task/10621/stat : 10621 (SArTagnan) R 10615 10617 10092 0 -1 4202560 2126530 0 0 0 71572 326 0 0 25 0 4 0 669854003 1824694272 383361 33554432000 4194304 4625164 140735214029712 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3913.26
Current children cumulated vsize (KiB) 1781928

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.09
CPU time (s): 3913.38
CPU user time (s): 3908.26
CPU system time (s): 5.11222
CPU usage (%): 301.007
Max. virtual memory (cumulated for all children) (KiB): 1830424

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3908.26
system time used= 5.11222
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2548624
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= 9477
involuntary context switches= 32356

runsolver used 6.37703 second user time and 15.9676 second system time

The end

Launcher Data 

Begin job on node139 at 2011-05-16 23:49:23
IDJOB=3386368
IDBENCH=84227
IDSOLVER=1871
FILE ID=node139/3386368-1305582562
RUNJOBID= node139-1305581710-10511
PBS_JOBID= 13350204
Free space on /tmp= 73268 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT03/industrial/li/li-test4/li-test4-100.shuffled-as.sat03-370.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386368-1305582562/watcher-3386368-1305582562 -o /tmp/evaluation-result-3386368-1305582562/solver-3386368-1305582562 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386368-1305582562.cnf -threads=4

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

MD5SUM BENCH= 5e5606ae7367b9272c60adc115594912
RANDOM SEED=915078303

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      12688392 kB
Buffers:        342408 kB
Cached:        3344720 kB
SwapCached:          0 kB
Active:       17720652 kB
Inactive:      2192492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12688392 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            3972 kB
Writeback:          28 kB
AnonPages:    16226484 kB
Mapped:          39476 kB
Slab:           209056 kB
PageTables:      72148 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 141781068 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= 73272 MiB
End job on node139 at 2011-05-17 00:11:05