Trace number 3385955

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) 4090.01 1300.08

General information on the benchmark

NameCRAFTED/rbsat/crafted/forced/
rbsat-v945c61409gyes10.cnf
MD5SUM601a386973128161e9173e2bdf583672
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.58791
Satisfiable
(Un)Satisfiability was proved
Number of variables945
Number of clauses61409
Sum of the clauses size123673
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 261364
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 545

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-3385955-1305579022/watcher-3385955-1305579022 -o /tmp/evaluation-result-3385955-1305579022/solver-3385955-1305579022 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3385955-1305579022.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.16 10.13 10.09 7/421 10808
/proc/meminfo: memFree=23206156/32951124 swapFree=63649240/67111528
[pid=10808] ppid=10806 vsize=20488 CPUtime=0 cores=0,2,4,6
/proc/10808/stat : 10808 (SArTagnan) R 10806 10808 10575 0 -1 4202496 774 0 0 0 0 0 0 0 25 0 1 0 669500732 20979712 520 33554432000 4194304 4625164 140737317237184 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/10808/statm: 5122 520 296 106 0 625 0

[startup+0.0809589 s]
/proc/loadavg: 10.16 10.13 10.09 7/421 10808
/proc/meminfo: memFree=23206156/32951124 swapFree=63649240/67111528
[pid=10808] ppid=10806 vsize=251800 CPUtime=0.17 cores=0,2,4,6
/proc/10808/stat : 10808 (SArTagnan) D 10806 10808 10575 0 -1 4202496 1858 0 0 0 17 0 0 0 25 0 4 0 669500732 257843200 1301 33554432000 4194304 4625164 140737317237184 18446744073709551615 210204673130 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10808/statm: 62950 1301 333 106 0 58453 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 251800

[startup+0.129263 s]
/proc/loadavg: 10.16 10.13 10.09 7/421 10808
/proc/meminfo: memFree=23206156/32951124 swapFree=63649240/67111528
[pid=10808] ppid=10806 vsize=187108 CPUtime=0.31 cores=0,2,4,6
/proc/10808/stat : 10808 (SArTagnan) R 10806 10808 10575 0 -1 4202496 2614 0 0 0 31 0 0 0 25 0 4 0 669500732 191598592 2057 33554432000 4194304 4625164 140737317237184 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10808/statm: 46777 2057 345 106 0 42280 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 187108

[startup+0.300235 s]
/proc/loadavg: 10.16 10.13 10.09 7/421 10808
/proc/meminfo: memFree=23206156/32951124 swapFree=63649240/67111528
[pid=10808] ppid=10806 vsize=189464 CPUtime=0.83 cores=0,2,4,6
/proc/10808/stat : 10808 (SArTagnan) R 10806 10808 10575 0 -1 4202496 3552 0 0 0 83 0 0 0 25 0 4 0 669500732 194011136 2972 33554432000 4194304 4625164 140737317237184 18446744073709551615 210204344528 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10808/statm: 47366 2972 345 106 0 42869 0
Current children cumulated CPU time (s) 0.83
Current children cumulated vsize (KiB) 189464

[startup+1.1311 s]
/proc/loadavg: 10.16 10.13 10.09 7/421 10808
/proc/meminfo: memFree=23206156/32951124 swapFree=63649240/67111528
[pid=10808] ppid=10806 vsize=197064 CPUtime=3.32 cores=0,2,4,6
/proc/10808/stat : 10808 (SArTagnan) R 10806 10808 10575 0 -1 4202496 7379 0 0 0 331 1 0 0 19 0 4 0 669500732 201793536 5765 33554432000 4194304 4625164 140737317237184 18446744073709551615 4511874 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10808/statm: 49266 5765 345 106 0 44769 0
Current children cumulated CPU time (s) 3.32
Current children cumulated vsize (KiB) 197064

[startup+1.50104 s]
/proc/loadavg: 10.16 10.13 10.09 7/421 10808
/proc/meminfo: memFree=23206156/32951124 swapFree=63649240/67111528
[pid=10808] ppid=10806 vsize=199236 CPUtime=4.43 cores=0,2,4,6
/proc/10808/stat : 10808 (SArTagnan) R 10806 10808 10575 0 -1 4202496 8913 0 0 0 442 1 0 0 19 0 4 0 669500732 204017664 6215 33554432000 4194304 4625164 140737317237184 18446744073709551615 4512039 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10808/statm: 49809 6215 345 106 0 45312 0
Current children cumulated CPU time (s) 4.43
Current children cumulated vsize (KiB) 199236

[startup+3.10077 s]
/proc/loadavg: 10.15 10.13 10.09 11/425 10813
/proc/meminfo: memFree=23169052/32951124 swapFree=63649240/67111528
[pid=10808] ppid=10806 vsize=206164 CPUtime=9.19 cores=0,2,4,6
/proc/10808/stat : 10808 (SArTagnan) R 10806 10808 10575 0 -1 4202496 23173 0 0 0 915 4 0 0 21 0 4 0 669500732 211111936 9247 33554432000 4194304 4625164 140737317237184 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10808/statm: 51541 9247 345 106 0 47044 0
[pid=10808/tid=10810] ppid=10806 vsize=206164 CPUtime=0.85 cores=0,2,4,6
/proc/10808/task/10810/stat : 10810 (SArTagnan) R 10806 10808 10575 0 -1 4202560 1440 0 0 0 85 0 0 0 25 0 4 0 669500733 211111936 9247 33554432000 4194304 4625164 140737317237184 18446744073709551615 4352728 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10808/tid=10811] ppid=10806 vsize=206164 CPUtime=2.86 cores=0,2,4,6
/proc/10808/task/10811/stat : 10811 (SArTagnan) R 10806 10808 10575 0 -1 4202560 4488 0 0 0 285 1 0 0 25 0 4 0 669500733 211111936 9247 33554432000 4194304 4625164 140737317237184 18446744073709551615 4467683 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10808/tid=10812] ppid=10806 vsize=206164 CPUtime=3.04 cores=0,2,4,6
/proc/10808/task/10812/stat : 10812 (SArTagnan) R 10806 10808 10575 0 -1 4202560 13099 0 0 0 302 2 0 0 24 0 4 0 669500733 211111936 9247 33554432000 4194304 4625164 140737317237184 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.19
Current children cumulated vsize (KiB) 206164

[startup+6.30123 s]
/proc/loadavg: 10.15 10.13 10.09 11/425 10813
/proc/meminfo: memFree=23151900/32951124 swapFree=63649240/67111528
[pid=10808] ppid=10806 vsize=214200 CPUtime=18.75 cores=0,2,4,6
/proc/10808/stat : 10808 (SArTagnan) R 10806 10808 10575 0 -1 4202496 58552 0 0 0 1866 9 0 0 25 0 4 0 669500732 219340800 13875 33554432000 4194304 4625164 140737317237184 18446744073709551615 4512023 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10808/statm: 53550 13875 346 106 0 49053 0
[pid=10808/tid=10810] ppid=10806 vsize=214200 CPUtime=2.34 cores=0,2,4,6
/proc/10808/task/10810/stat : 10810 (SArTagnan) R 10806 10808 10575 0 -1 4202560 2311 0 0 0 234 0 0 0 25 0 4 0 669500733 219340800 13875 33554432000 4194304 4625164 140737317237184 18446744073709551615 4465251 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10808/tid=10811] ppid=10806 vsize=214200 CPUtime=6.06 cores=0,2,4,6
/proc/10808/task/10811/stat : 10811 (SArTagnan) R 10806 10808 10575 0 -1 4202560 7452 0 0 0 604 2 0 0 25 0 4 0 669500733 219340800 13875 33554432000 4194304 4625164 140737317237184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10808/tid=10812] ppid=10806 vsize=214200 CPUtime=6.19 cores=0,2,4,6
/proc/10808/task/10812/stat : 10812 (SArTagnan) R 10806 10808 10575 0 -1 4202560 43930 0 0 0 614 5 0 0 25 0 4 0 669500733 219340800 13875 33554432000 4194304 4625164 140737317237184 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 18.75
Current children cumulated vsize (KiB) 214200

[startup+12.7012 s]
/proc/loadavg: 10.20 10.14 10.10 11/425 10813
/proc/meminfo: memFree=23120792/32951124 swapFree=63649240/67111528
[pid=10808] ppid=10806 vsize=228208 CPUtime=37.88 cores=0,2,4,6
/proc/10808/stat : 10808 (SArTagnan) R 10806 10808 10575 0 -1 4202496 108762 0 0 0 3771 17 0 0 25 0 4 0 669500732 233684992 20334 33554432000 4194304 4625164 140737317237184 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10808/statm: 57052 20334 378 106 0 52555 0
[pid=10808/tid=10810] ppid=10806 vsize=228208 CPUtime=6.54 cores=0,2,4,6
/proc/10808/task/10810/stat : 10810 (SArTagnan) R 10806 10808 10575 0 -1 4202560 4941 0 0 0 654 0 0 0 25 0 4 0 669500733 233684992 20335 33554432000 4194304 4625164 140737317237184 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10808/tid=10811] ppid=10806 vsize=228208 CPUtime=11.47 cores=0,2,4,6
/proc/10808/task/10811/stat : 10811 (SArTagnan) R 10806 10808 10575 0 -1 4202560 10973 0 0 0 1144 3 0 0 25 0 4 0 669500733 233684992 20335 33554432000 4194304 4625164 140737317237184 18446744073709551615 210204306208 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10808/tid=10812] ppid=10806 vsize=228208 CPUtime=11.2 cores=0,2,4,6
/proc/10808/task/10812/stat : 10812 (SArTagnan) R 10806 10808 10575 0 -1 4202560 87504 0 0 0 1109 11 0 0 25 0 4 0 669500733 233684992 20335 33554432000 4194304 4625164 140737317237184 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 37.88
Current children cumulated vsize (KiB) 228208

[startup+25.501 s]
/proc/loadavg: 10.17 10.14 10.09 11/425 10813
/proc/meminfo: memFree=23075036/32951124 swapFree=63649240/67111528
[pid=10808] ppid=10806 vsize=240664 CPUtime=76.07 cores=0,2,4,6
/proc/10808/stat : 10808 (SArTagnan) R 10806 10808 10575 0 -1 4202496 172765 0 0 0 7580 27 0 0 25 0 4 0 669500732 246439936 30469 33554432000 4194304 4625164 140737317237184 18446744073709551615 4508984 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10808/statm: 60166 30469 353 106 0 55669 0
[pid=10808/tid=10810] ppid=10806 vsize=240664 CPUtime=17.53 cores=0,2,4,6
/proc/10808/task/10810/stat : 10810 (SArTagnan) R 10806 10808 10575 0 -1 4202560 11094 0 0 0 1752 1 0 0 25 0 4 0 669500733 246439936 30469 33554432000 4194304 4625164 140737317237184 18446744073709551615 4339628 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10808/tid=10811] ppid=10806 vsize=240664 CPUtime=20.36 cores=0,2,4,6
/proc/10808/task/10811/stat : 10811 (SArTagnan) R 10806 10808 10575 0 -1 4202560 14713 0 0 0 2032 4 0 0 25 0 4 0 669500733 246439936 30469 33554432000 4194304 4625164 140737317237184 18446744073709551615 4352077 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10808/tid=10812] ppid=10806 vsize=240664 CPUtime=19.08 cores=0,2,4,6
/proc/10808/task/10812/stat : 10812 (SArTagnan) R 10806 10808 10575 0 -1 4202560 138269 0 0 0 1889 19 0 0 25 0 4 0 669500733 246439936 30469 33554432000 4194304 4625164 140737317237184 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 76.07
Current children cumulated vsize (KiB) 240664

[startup+51.1007 s]
/proc/loadavg: 10.25 10.16 10.10 11/425 10814
/proc/meminfo: memFree=22995648/32951124 swapFree=63649240/67111528
[pid=10808] ppid=10806 vsize=299428 CPUtime=152.52 cores=0,2,4,6
/proc/10808/stat : 10808 (SArTagnan) R 10806 10808 10575 0 -1 4202496 221198 0 0 0 15214 38 0 0 25 0 4 0 669500732 306614272 47405 33554432000 4194304 4625164 140737317237184 18446744073709551615 4512312 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10808/statm: 74857 47405 410 106 0 70360 0
[pid=10808/tid=10810] ppid=10806 vsize=299428 CPUtime=40.19 cores=0,2,4,6
/proc/10808/task/10810/stat : 10810 (SArTagnan) R 10806 10808 10575 0 -1 4202560 18007 0 0 0 4015 4 0 0 25 0 4 0 669500733 306614272 47405 33554432000 4194304 4625164 140737317237184 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10808/tid=10811] ppid=10806 vsize=299428 CPUtime=35.91 cores=0,2,4,6
/proc/10808/task/10811/stat : 10811 (SArTagnan) R 10806 10808 10575 0 -1 4202560 20584 0 0 0 3585 6 0 0 25 0 4 0 669500733 306614272 47405 33554432000 4194304 4625164 140737317237184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10808/tid=10812] ppid=10806 vsize=299428 CPUtime=34.96 cores=0,2,4,6
/proc/10808/task/10812/stat : 10812 (SArTagnan) R 10806 10808 10575 0 -1 4202560 166789 0 0 0 3472 24 0 0 25 0 4 0 669500733 306614272 47405 33554432000 4194304 4625164 140737317237184 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 152.52
Current children cumulated vsize (KiB) 299428

[startup+102.301 s]
/proc/loadavg: 10.28 10.17 10.10 11/425 10815
/proc/meminfo: memFree=22873352/32951124 swapFree=63649240/67111528
[pid=10808] ppid=10806 vsize=483620 CPUtime=305.41 cores=0,2,4,6
/proc/10808/stat : 10808 (SArTagnan) R 10806 10808 10575 0 -1 4202496 441932 0 0 0 30466 75 0 0 25 0 4 0 669500732 495226880 73191 33554432000 4194304 4625164 140737317237184 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10808/statm: 120905 73191 353 106 0 116408 0
[pid=10808/tid=10810] ppid=10806 vsize=483620 CPUtime=91.38 cores=0,2,4,6
/proc/10808/task/10810/stat : 10810 (SArTagnan) R 10806 10808 10575 0 -1 4202560 29314 0 0 0 9130 8 0 0 25 0 4 0 669500733 495226880 73191 33554432000 4194304 4625164 140737317237184 18446744073709551615 4351818 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10808/tid=10811] ppid=10806 vsize=483620 CPUtime=74.04 cores=0,2,4,6
/proc/10808/task/10811/stat : 10811 (SArTagnan) R 10806 10808 10575 0 -1 4202560 32154 0 0 0 7394 10 0 0 25 0 4 0 669500733 495226880 73191 33554432000 4194304 4625164 140737317237184 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10808/tid=10812] ppid=10806 vsize=483620 CPUtime=67.43 cores=0,2,4,6
/proc/10808/task/10812/stat : 10812 (SArTagnan) R 10806 10808 10575 0 -1 4202560 346151 0 0 0 6692 51 0 0 25 0 4 0 669500733 495226880 73191 33554432000 4194304 4625164 140737317237184 18446744073709551615 4351996 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 305.41
Current children cumulated vsize (KiB) 483620

[startup+162.301 s]
/proc/loadavg: 10.14 10.15 10.10 11/425 10817
/proc/meminfo: memFree=22762820/32951124 swapFree=63649240/67111528
[pid=10808] ppid=10806 vsize=555944 CPUtime=484.6 cores=0,2,4,6
/proc/10808/stat : 10808 (SArTagnan) R 10806 10808 10575 0 -1 4202496 717054 0 0 0 48341 119 0 0 25 0 4 0 669500732 569286656 93398 33554432000 4194304 4625164 140737317237184 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10808/statm: 138986 93398 346 106 0 134489 0
[pid=10808/tid=10810] ppid=10806 vsize=555944 CPUtime=123.92 cores=0,2,4,6
/proc/10808/task/10810/stat : 10810 (SArTagnan) R 10806 10808 10575 0 -1 4202560 41521 0 0 0 12382 10 0 0 25 0 4 0 669500733 569286656 93400 33554432000 4194304 4625164 140737317237184 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10808/tid=10811] ppid=10806 vsize=555944 CPUtime=117.87 cores=0,2,4,6
/proc/10808/task/10811/stat : 10811 (SArTagnan) R 10806 10808 10575 0 -1 4202560 45849 0 0 0 11773 14 0 0 25 0 4 0 669500733 569286656 93400 33554432000 4194304 4625164 140737317237184 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10808/tid=10812] ppid=10806 vsize=555944 CPUtime=113.55 cores=0,2,4,6
/proc/10808/task/10812/stat : 10812 (SArTagnan) R 10806 10808 10575 0 -1 4202560 578669 0 0 0 11268 87 0 0 25 0 4 0 669500733 569286656 93400 33554432000 4194304 4625164 140737317237184 18446744073709551615 4546837 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 484.6
Current children cumulated vsize (KiB) 555944

[startup+222.301 s]
/proc/loadavg: 10.09 10.14 10.09 11/425 10818
/proc/meminfo: memFree=22644368/32951124 swapFree=63649240/67111528
[pid=10808] ppid=10806 vsize=650088 CPUtime=663.73 cores=0,2,4,6
/proc/10808/stat : 10808 (SArTagnan) R 10806 10808 10575 0 -1 4202496 928400 0 0 0 66222 151 0 0 25 0 4 0 669500732 665690112 116952 33554432000 4194304 4625164 140737317237184 18446744073709551615 4519559 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10808/statm: 162522 116952 363 106 0 158025 0
[pid=10808/tid=10810] ppid=10806 vsize=650088 CPUtime=168.21 cores=0,2,4,6
/proc/10808/task/10810/stat : 10810 (SArTagnan) R 10806 10808 10575 0 -1 4202560 44334 0 0 0 16810 11 0 0 25 0 4 0 669500733 665690112 116952 33554432000 4194304 4625164 140737317237184 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10808/tid=10811] ppid=10806 vsize=650088 CPUtime=158.2 cores=0,2,4,6
/proc/10808/task/10811/stat : 10811 (SArTagnan) R 10806 10808 10575 0 -1 4202560 61434 0 0 0 15803 17 0 0 25 0 4 0 669500733 665690112 116952 33554432000 4194304 4625164 140737317237184 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10808/tid=10812] ppid=10806 vsize=650088 CPUtime=148.88 cores=0,2,4,6
/proc/10808/task/10812/stat : 10812 (SArTagnan) R 10806 10808 10575 0 -1 4202560 748648 0 0 0 14776 112 0 0 25 0 4 0 669500733 665690112 116952 33554432000 4194304 4625164 140737317237184 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 663.73
Current children cumulated vsize (KiB) 650088

[startup+282.316 s]
/proc/loadavg: 10.06 10.12 10.09 11/425 10820
/proc/meminfo: memFree=22571172/32951124 swapFree=63649240/67111528
[pid=10808] ppid=10806 vsize=732568 CPUtime=842.95 cores=0,2,4,6
/proc/10808/stat : 10808 (SArTagnan) R 10806 10808 10575 0 -1 4202496 1081312 0 0 0 84116 179 0 0 25 0 4 0 669500732 750149632 129974 33554432000 4194304 4625164 140737317237184 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/10808/statm: 183142 129974 361 106 0 178645 0
[pid=10808/tid=10810] ppid=10806 vsize=732568 CPUtime=228.23 cores=0,2,4,6

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

[pid=10808] ppid=10806 vsize=1184396 CPUtime=2418.73 cores=0,2,4,6
/proc/10808/stat : 10808 (SArTagnan) R 10806 10808 10575 0 -1 4202496 3773722 0 0 0 241276 597 0 0 25 0 4 0 669500732 1212821504 241099 33554432000 4194304 4625164 140737317237184 18446744073709551615 4393124 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10808/statm: 296099 241099 431 106 0 291602 0
[pid=10808/tid=10810] ppid=10806 vsize=1184396 CPUtime=643.74 cores=0,2,4,6
/proc/10808/task/10810/stat : 10810 (SArTagnan) R 10806 10808 10575 0 -1 4202560 95546 0 0 0 64346 28 0 0 25 0 4 0 669500733 1212821504 241099 33554432000 4194304 4625164 140737317237184 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10808/tid=10811] ppid=10806 vsize=1184396 CPUtime=580.68 cores=0,2,4,6
/proc/10808/task/10811/stat : 10811 (SArTagnan) R 10806 10808 10575 0 -1 4202560 93714 0 0 0 58044 24 0 0 25 0 4 0 669500733 1212821504 241099 33554432000 4194304 4625164 140737317237184 18446744073709551615 4345240 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10808/tid=10812] ppid=10806 vsize=1184396 CPUtime=597.04 cores=0,2,4,6
/proc/10808/task/10812/stat : 10812 (SArTagnan) R 10806 10808 10575 0 -1 4202560 3415492 0 0 0 59186 518 0 0 25 0 4 0 669500733 1212821504 241099 33554432000 4194304 4625164 140737317237184 18446744073709551615 4334728 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2418.73
Current children cumulated vsize (KiB) 1184396

[startup+822.301 s]
/proc/loadavg: 10.13 10.13 10.09 11/425 10935
/proc/meminfo: memFree=22877848/32951124 swapFree=63649240/67111528
[pid=10808] ppid=10806 vsize=1258884 CPUtime=2598.73 cores=0,2,4,6
/proc/10808/stat : 10808 (SArTagnan) R 10806 10808 10575 0 -1 4202496 3857517 0 0 0 259264 609 0 0 25 0 4 0 669500732 1289097216 252428 33554432000 4194304 4625164 140737317237184 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10808/statm: 314721 252428 346 106 0 310224 0
[pid=10808/tid=10810] ppid=10806 vsize=1258884 CPUtime=702.04 cores=0,2,4,6
/proc/10808/task/10810/stat : 10810 (SArTagnan) R 10806 10808 10575 0 -1 4202560 97101 0 0 0 70175 29 0 0 25 0 4 0 669500733 1289097216 252429 33554432000 4194304 4625164 140737317237184 18446744073709551615 4339639 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10808/tid=10811] ppid=10806 vsize=1258884 CPUtime=624.1 cores=0,2,4,6
/proc/10808/task/10811/stat : 10811 (SArTagnan) R 10806 10808 10575 0 -1 4202560 121904 0 0 0 62382 28 0 0 25 0 4 0 669500733 1289097216 252429 33554432000 4194304 4625164 140737317237184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10808/tid=10812] ppid=10806 vsize=1258884 CPUtime=644.75 cores=0,2,4,6
/proc/10808/task/10812/stat : 10812 (SArTagnan) R 10806 10808 10575 0 -1 4202560 3465762 0 0 0 63950 525 0 0 25 0 4 0 669500733 1289097216 252429 33554432000 4194304 4625164 140737317237184 18446744073709551615 4334595 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2598.73
Current children cumulated vsize (KiB) 1258884

[startup+882.301 s]
/proc/loadavg: 10.44 10.22 10.12 11/425 10940
/proc/meminfo: memFree=22801444/32951124 swapFree=63649240/67111528
[pid=10808] ppid=10806 vsize=1259232 CPUtime=2778.7 cores=0,2,4,6
/proc/10808/stat : 10808 (SArTagnan) R 10806 10808 10575 0 -1 4202496 3862656 0 0 0 277259 611 0 0 25 0 4 0 669500732 1289453568 256506 33554432000 4194304 4625164 140737317237184 18446744073709551615 4329142 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10808/statm: 314808 256506 346 106 0 310311 0
[pid=10808/tid=10810] ppid=10806 vsize=1259232 CPUtime=762.02 cores=0,2,4,6
/proc/10808/task/10810/stat : 10810 (SArTagnan) R 10806 10808 10575 0 -1 4202560 98353 0 0 0 76172 30 0 0 25 0 4 0 669500733 1289453568 256506 33554432000 4194304 4625164 140737317237184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10808/tid=10811] ppid=10806 vsize=1259232 CPUtime=653.79 cores=0,2,4,6
/proc/10808/task/10811/stat : 10811 (SArTagnan) R 10806 10808 10575 0 -1 4202560 121904 0 0 0 65351 28 0 0 25 0 4 0 669500733 1289453568 256506 33554432000 4194304 4625164 140737317237184 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10808/tid=10812] ppid=10806 vsize=1259232 CPUtime=704.74 cores=0,2,4,6
/proc/10808/task/10812/stat : 10812 (SArTagnan) R 10806 10808 10575 0 -1 4202560 3466892 0 0 0 69948 526 0 0 25 0 4 0 669500733 1289453568 256506 33554432000 4194304 4625164 140737317237184 18446744073709551615 4334499 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2778.7
Current children cumulated vsize (KiB) 1259232

[startup+942.316 s]
/proc/loadavg: 10.28 10.21 10.12 11/425 10941
/proc/meminfo: memFree=22744616/32951124 swapFree=63649240/67111528
[pid=10808] ppid=10806 vsize=1259364 CPUtime=2958.73 cores=0,2,4,6
/proc/10808/stat : 10808 (SArTagnan) R 10806 10808 10575 0 -1 4202496 3865904 0 0 0 295261 612 0 0 25 0 4 0 669500732 1289588736 259173 33554432000 4194304 4625164 140737317237184 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10808/statm: 314841 259173 346 106 0 310344 0
[pid=10808/tid=10810] ppid=10806 vsize=1259364 CPUtime=822.01 cores=0,2,4,6
/proc/10808/task/10810/stat : 10810 (SArTagnan) R 10806 10808 10575 0 -1 4202560 98822 0 0 0 82171 30 0 0 25 0 4 0 669500733 1289588736 259173 33554432000 4194304 4625164 140737317237184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10808/tid=10811] ppid=10806 vsize=1259364 CPUtime=683.81 cores=0,2,4,6
/proc/10808/task/10811/stat : 10811 (SArTagnan) R 10806 10808 10575 0 -1 4202560 121904 0 0 0 68353 28 0 0 25 0 4 0 669500733 1289588736 259173 33554432000 4194304 4625164 140737317237184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10808/tid=10812] ppid=10806 vsize=1259364 CPUtime=764.76 cores=0,2,4,6
/proc/10808/task/10812/stat : 10812 (SArTagnan) R 10806 10808 10575 0 -1 4202560 3467414 0 0 0 75950 526 0 0 25 0 4 0 669500733 1289588736 259173 33554432000 4194304 4625164 140737317237184 18446744073709551615 4547257 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2958.73
Current children cumulated vsize (KiB) 1259364

[startup+1002.3 s]
/proc/loadavg: 10.15 10.18 10.12 11/425 10943
/proc/meminfo: memFree=22564144/32951124 swapFree=63649240/67111528
[pid=10808] ppid=10806 vsize=1259712 CPUtime=3138.67 cores=0,2,4,6
/proc/10808/stat : 10808 (SArTagnan) R 10806 10808 10575 0 -1 4202496 3878774 0 0 0 313253 614 0 0 25 0 4 0 669500732 1289945088 263597 33554432000 4194304 4625164 140737317237184 18446744073709551615 4512193 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10808/statm: 314928 263597 346 106 0 310431 0
[pid=10808/tid=10810] ppid=10806 vsize=1259712 CPUtime=881.99 cores=0,2,4,6
/proc/10808/task/10810/stat : 10810 (SArTagnan) R 10806 10808 10575 0 -1 4202560 100458 0 0 0 88168 31 0 0 25 0 4 0 669500733 1289945088 263597 33554432000 4194304 4625164 140737317237184 18446744073709551615 4351881 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10808/tid=10811] ppid=10806 vsize=1259712 CPUtime=713.81 cores=0,2,4,6
/proc/10808/task/10811/stat : 10811 (SArTagnan) R 10806 10808 10575 0 -1 4202560 121904 0 0 0 71353 28 0 0 25 0 4 0 669500733 1289945088 263597 33554432000 4194304 4625164 140737317237184 18446744073709551615 4351901 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10808/tid=10812] ppid=10806 vsize=1259712 CPUtime=824.75 cores=0,2,4,6
/proc/10808/task/10812/stat : 10812 (SArTagnan) R 10806 10808 10575 0 -1 4202560 3472196 0 0 0 81948 527 0 0 25 0 4 0 669500733 1289945088 263597 33554432000 4194304 4625164 140737317237184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3138.67
Current children cumulated vsize (KiB) 1259712

[startup+1062.3 s]
/proc/loadavg: 10.21 10.19 10.12 11/425 10945
/proc/meminfo: memFree=22497756/32951124 swapFree=63649240/67111528
[pid=10808] ppid=10806 vsize=1373956 CPUtime=3318.67 cores=0,2,4,6
/proc/10808/stat : 10808 (SArTagnan) R 10806 10808 10575 0 -1 4202496 3951109 0 0 0 331242 625 0 0 25 0 4 0 669500732 1406930944 274311 33554432000 4194304 4625164 140737317237184 18446744073709551615 4512869 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10808/statm: 343489 274311 346 106 0 338992 0
[pid=10808/tid=10810] ppid=10806 vsize=1373956 CPUtime=941.97 cores=0,2,4,6
/proc/10808/task/10810/stat : 10810 (SArTagnan) R 10806 10808 10575 0 -1 4202560 101556 0 0 0 94166 31 0 0 25 0 4 0 669500733 1406930944 274311 33554432000 4194304 4625164 140737317237184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10808/tid=10811] ppid=10806 vsize=1373956 CPUtime=743.81 cores=0,2,4,6
/proc/10808/task/10811/stat : 10811 (SArTagnan) R 10806 10808 10575 0 -1 4202560 121904 0 0 0 74353 28 0 0 25 0 4 0 669500733 1406930944 274311 33554432000 4194304 4625164 140737317237184 18446744073709551615 4352002 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10808/tid=10812] ppid=10806 vsize=1373956 CPUtime=884.74 cores=0,2,4,6
/proc/10808/task/10812/stat : 10812 (SArTagnan) R 10806 10808 10575 0 -1 4202560 3472597 0 0 0 87947 527 0 0 25 0 4 0 669500733 1406930944 274311 33554432000 4194304 4625164 140737317237184 18446744073709551615 4334542 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3318.67
Current children cumulated vsize (KiB) 1373956

[startup+1122.3 s]
/proc/loadavg: 10.03 10.15 10.11 11/425 10976
/proc/meminfo: memFree=22926508/32951124 swapFree=63649240/67111528
[pid=10808] ppid=10806 vsize=1374340 CPUtime=3514.62 cores=0,2,4,6
/proc/10808/stat : 10808 (SArTagnan) R 10806 10808 10575 0 -1 4202496 4082646 0 0 0 350818 644 0 0 25 0 4 0 669500732 1407324160 279001 33554432000 4194304 4625164 140737317237184 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10808/statm: 343585 279001 350 106 0 339088 0
[pid=10808/tid=10810] ppid=10806 vsize=1374340 CPUtime=1001.96 cores=0,2,4,6
/proc/10808/task/10810/stat : 10810 (SArTagnan) R 10806 10808 10575 0 -1 4202560 102276 0 0 0 100164 32 0 0 25 0 4 0 669500733 1407324160 279001 33554432000 4194304 4625164 140737317237184 18446744073709551615 4351777 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10808/tid=10811] ppid=10806 vsize=1374340 CPUtime=781.77 cores=0,2,4,6
/proc/10808/task/10811/stat : 10811 (SArTagnan) R 10806 10808 10575 0 -1 4202560 121904 0 0 0 78149 28 0 0 25 0 4 0 669500733 1407324160 279001 33554432000 4194304 4625164 140737317237184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10808/tid=10812] ppid=10806 vsize=1374340 CPUtime=944.75 cores=0,2,4,6
/proc/10808/task/10812/stat : 10812 (SArTagnan) R 10806 10808 10575 0 -1 4202560 3596465 0 0 0 93930 545 0 0 25 0 4 0 669500733 1407324160 279001 33554432000 4194304 4625164 140737317237184 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3514.62
Current children cumulated vsize (KiB) 1374340

[startup+1182.3 s]
/proc/loadavg: 10.09 10.14 10.10 11/425 10978
/proc/meminfo: memFree=22842416/32951124 swapFree=63649240/67111528
[pid=10808] ppid=10806 vsize=1426204 CPUtime=3705.54 cores=0,2,4,6
/proc/10808/stat : 10808 (SArTagnan) R 10806 10808 10575 0 -1 4202496 4226017 0 0 0 369890 664 0 0 25 0 4 0 669500732 1460432896 282994 33554432000 4194304 4625164 140737317237184 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10808/statm: 356551 282994 346 106 0 352054 0
[pid=10808/tid=10810] ppid=10806 vsize=1426204 CPUtime=1061.95 cores=0,2,4,6
/proc/10808/task/10810/stat : 10810 (SArTagnan) R 10806 10808 10575 0 -1 4202560 131246 0 0 0 106160 35 0 0 25 0 4 0 669500733 1460432896 282994 33554432000 4194304 4625164 140737317237184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10808/tid=10811] ppid=10806 vsize=1426204 CPUtime=815.19 cores=0,2,4,6
/proc/10808/task/10811/stat : 10811 (SArTagnan) R 10806 10808 10575 0 -1 4202560 121927 0 0 0 81491 28 0 0 25 0 4 0 669500733 1460432896 282994 33554432000 4194304 4625164 140737317237184 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10808/tid=10812] ppid=10806 vsize=1426204 CPUtime=982.25 cores=0,2,4,6
/proc/10808/task/10812/stat : 10812 (SArTagnan) R 10806 10808 10575 0 -1 4202560 3702348 0 0 0 97666 559 0 0 25 0 4 0 669500733 1460432896 282994 33554432000 4194304 4625164 140737317237184 18446744073709551615 4552423 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3705.54
Current children cumulated vsize (KiB) 1426204

[startup+1242.3 s]
/proc/loadavg: 10.12 10.14 10.10 11/425 10979
/proc/meminfo: memFree=22735116/32951124 swapFree=63649240/67111528
[pid=10808] ppid=10806 vsize=1474208 CPUtime=3896.19 cores=0,2,4,6
/proc/10808/stat : 10808 (SArTagnan) R 10806 10808 10575 0 -1 4202496 4243052 0 0 0 388952 667 0 0 25 0 4 0 669500732 1509588992 291728 33554432000 4194304 4625164 140737317237184 18446744073709551615 4393127 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10808/statm: 368552 291728 346 106 0 364055 0
[pid=10808/tid=10810] ppid=10806 vsize=1474208 CPUtime=1121.94 cores=0,2,4,6
/proc/10808/task/10810/stat : 10810 (SArTagnan) R 10806 10808 10575 0 -1 4202560 138197 0 0 0 112158 36 0 0 25 0 4 0 669500733 1509588992 291728 33554432000 4194304 4625164 140737317237184 18446744073709551615 4339541 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10808/tid=10811] ppid=10806 vsize=1474208 CPUtime=856.19 cores=0,2,4,6
/proc/10808/task/10811/stat : 10811 (SArTagnan) R 10806 10808 10575 0 -1 4202560 121930 0 0 0 85591 28 0 0 25 0 4 0 669500733 1509588992 291728 33554432000 4194304 4625164 140737317237184 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10808/tid=10812] ppid=10806 vsize=1474208 CPUtime=1021.71 cores=0,2,4,6
/proc/10808/task/10812/stat : 10812 (SArTagnan) R 10806 10808 10575 0 -1 4202560 3708433 0 0 0 101610 561 0 0 25 0 4 0 669500733 1509588992 291728 33554432000 4194304 4625164 140737317237184 18446744073709551615 4547291 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3896.19
Current children cumulated vsize (KiB) 1474208



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 10.16 10.15 10.10 11/425 10981
/proc/meminfo: memFree=22691200/32951124 swapFree=63649240/67111528
[pid=10808] ppid=10806 vsize=1476032 CPUtime=4089.9 cores=0,2,4,6
/proc/10808/stat : 10808 (SArTagnan) R 10806 10808 10575 0 -1 4202496 4276560 0 0 0 408318 672 0 0 25 0 4 0 669500732 1511456768 294771 33554432000 4194304 4625164 140737317237184 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10808/statm: 369008 294771 346 106 0 364511 0
[pid=10808/tid=10810] ppid=10806 vsize=1476032 CPUtime=1179.63 cores=0,2,4,6
/proc/10808/task/10810/stat : 10810 (SArTagnan) R 10806 10808 10575 0 -1 4202560 138841 0 0 0 117927 36 0 0 25 0 4 0 669500733 1511456768 294771 33554432000 4194304 4625164 140737317237184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10808/tid=10811] ppid=10806 vsize=1476032 CPUtime=910.8 cores=0,2,4,6
/proc/10808/task/10811/stat : 10811 (SArTagnan) R 10806 10808 10575 0 -1 4202560 122017 0 0 0 91052 28 0 0 25 0 4 0 669500733 1511456768 294771 33554432000 4194304 4625164 140737317237184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10808/tid=10812] ppid=10806 vsize=1476032 CPUtime=1071.41 cores=0,2,4,6
/proc/10808/task/10812/stat : 10812 (SArTagnan) R 10806 10808 10575 0 -1 4202560 3739428 0 0 0 106576 565 0 0 25 0 4 0 669500733 1511456768 294771 33554432000 4194304 4625164 140737317237184 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4089.9
Current children cumulated vsize (KiB) 1476032

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

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

[startup+1300 s]
/proc/loadavg: 10.16 10.15 10.10 11/425 10981
/proc/meminfo: memFree=22691200/32951124 swapFree=63649240/67111528
[pid=10808] ppid=10806 vsize=1476032 CPUtime=4089.9 cores=0,2,4,6
/proc/10808/stat : 10808 (SArTagnan) R 10806 10808 10575 0 -1 4202496 4276560 0 0 0 408318 672 0 0 25 0 4 0 669500732 1511456768 294771 33554432000 4194304 4625164 140737317237184 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/10808/statm: 369008 294771 346 106 0 364511 0
[pid=10808/tid=10810] ppid=10806 vsize=1476032 CPUtime=1179.63 cores=0,2,4,6
/proc/10808/task/10810/stat : 10810 (SArTagnan) R 10806 10808 10575 0 -1 4202560 138841 0 0 0 117927 36 0 0 25 0 4 0 669500733 1511456768 294771 33554432000 4194304 4625164 140737317237184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10808/tid=10811] ppid=10806 vsize=1476032 CPUtime=910.8 cores=0,2,4,6
/proc/10808/task/10811/stat : 10811 (SArTagnan) R 10806 10808 10575 0 -1 4202560 122017 0 0 0 91052 28 0 0 25 0 4 0 669500733 1511456768 294771 33554432000 4194304 4625164 140737317237184 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10808/tid=10812] ppid=10806 vsize=1476032 CPUtime=1071.41 cores=0,2,4,6
/proc/10808/task/10812/stat : 10812 (SArTagnan) R 10806 10808 10575 0 -1 4202560 3739428 0 0 0 106576 565 0 0 25 0 4 0 669500733 1511456768 294771 33554432000 4194304 4625164 140737317237184 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4089.9
Current children cumulated vsize (KiB) 1476032

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.08
CPU time (s): 4090.01
CPU user time (s): 4083.23
CPU system time (s): 6.78097
CPU usage (%): 314.598
Max. virtual memory (cumulated for all children) (KiB): 1548956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4083.23
system time used= 6.78097
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4276560
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= 1097
involuntary context switches= 26662

runsolver used 5.00624 second user time and 12.7381 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-16 22:50:22
IDJOB=3385955
IDBENCH=71570
IDSOLVER=1871
FILE ID=node130/3385955-1305579022
RUNJOBID= node130-1305576415-10593
PBS_JOBID= 13350203
Free space on /tmp= 73356 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT09/CRAFTED/rbsat/crafted/forced/rbsat-v945c61409gyes10.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3385955-1305579022/watcher-3385955-1305579022 -o /tmp/evaluation-result-3385955-1305579022/solver-3385955-1305579022 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3385955-1305579022.cnf -threads=4

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

MD5SUM BENCH= 601a386973128161e9173e2bdf583672
RANDOM SEED=863447938

node130.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23206444 kB
Buffers:        310120 kB
Cached:        4324204 kB
SwapCached:      10240 kB
Active:        5418772 kB
Inactive:      4022628 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23206444 kB
SwapTotal:    67111528 kB
SwapFree:     63649240 kB
Dirty:            1180 kB
Writeback:           0 kB
AnonPages:     4804256 kB
Mapped:          23776 kB
Slab:           190388 kB
PageTables:      46408 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 111618284 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= 73356 MiB
End job on node130 at 2011-05-16 23:12:04