Trace number 3386028

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) 3131.46 1300.07

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_505.cnf
MD5SUM8e7b614904543aa28491ea45c761cbd5
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark97.5682
Satisfiable
(Un)Satisfiability was proved
Number of variables253
Number of clauses34014
Sum of the clauses size150994
Maximum clause length23
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2336
Number of clauses of size 331196
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 52482

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-3386028-1305582131/watcher-3386028-1305582131 -o /tmp/evaluation-result-3386028-1305582131/solver-3386028-1305582131 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386028-1305582131.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: 4.00 4.00 4.20 11/469 8285
/proc/meminfo: memFree=22196068/32951124 swapFree=64205392/67111528
[pid=8285] ppid=8283 vsize=19676 CPUtime=0 cores=0,2,4,6
/proc/8285/stat : 8285 (SArTagnan) R 8283 8285 8244 0 -1 4202496 561 0 0 0 0 0 0 0 21 0 1 0 669811066 20148224 499 33554432000 4194304 4625164 140734226153136 18446744073709551615 4339447 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/8285/statm: 4919 500 296 106 0 422 0

[startup+0.0789759 s]
/proc/loadavg: 4.00 4.00 4.20 11/469 8285
/proc/meminfo: memFree=22196068/32951124 swapFree=64205392/67111528
[pid=8285] ppid=8283 vsize=168356 CPUtime=0.12 cores=0,2,4,6
/proc/8285/stat : 8285 (SArTagnan) R 8283 8285 8244 0 -1 4202496 3617 0 0 0 12 0 0 0 21 0 4 0 669811066 172396544 2478 33554432000 4194304 4625164 140734226153136 18446744073709551615 46937186940848 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/8285/statm: 42089 2478 316 106 0 37592 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 168356

[startup+0.879606 s]
/proc/loadavg: 4.00 4.00 4.20 11/469 8285
/proc/meminfo: memFree=22196068/32951124 swapFree=64205392/67111528
[pid=8285] ppid=8283 vsize=196132 CPUtime=2.5 cores=0,2,4,6
/proc/8285/stat : 8285 (SArTagnan) R 8283 8285 8244 0 -1 4202496 10416 0 0 0 249 1 0 0 22 0 4 0 669811066 200839168 4554 33554432000 4194304 4625164 140734226153136 18446744073709551615 4329147 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8285/statm: 49033 4554 338 106 0 44536 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 196132

[startup+0.900602 s]
/proc/loadavg: 4.00 4.00 4.20 11/469 8285
/proc/meminfo: memFree=22196068/32951124 swapFree=64205392/67111528
[pid=8285] ppid=8283 vsize=196132 CPUtime=2.56 cores=0,2,4,6
/proc/8285/stat : 8285 (SArTagnan) R 8283 8285 8244 0 -1 4202496 10709 0 0 0 255 1 0 0 22 0 4 0 669811066 200839168 4636 33554432000 4194304 4625164 140734226153136 18446744073709551615 4329147 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8285/statm: 49033 4636 338 106 0 44536 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 196132

[startup+1.00059 s]
/proc/loadavg: 4.00 4.00 4.20 11/469 8285
/proc/meminfo: memFree=22196068/32951124 swapFree=64205392/67111528
[pid=8285] ppid=8283 vsize=196132 CPUtime=2.85 cores=0,2,4,6
/proc/8285/stat : 8285 (SArTagnan) R 8283 8285 8244 0 -1 4202496 11451 0 0 0 284 1 0 0 22 0 4 0 669811066 200839168 4689 33554432000 4194304 4625164 140734226153136 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8285/statm: 49033 4689 338 106 0 44536 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 196132

[startup+1.5005 s]
/proc/loadavg: 4.00 4.00 4.20 11/469 8285
/proc/meminfo: memFree=22196068/32951124 swapFree=64205392/67111528
[pid=8285] ppid=8283 vsize=198136 CPUtime=4.36 cores=0,2,4,6
/proc/8285/stat : 8285 (SArTagnan) R 8283 8285 8244 0 -1 4202496 15177 0 0 0 435 1 0 0 23 0 4 0 669811066 202891264 5752 33554432000 4194304 4625164 140734226153136 18446744073709551615 4393061 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/8285/statm: 49534 5752 338 106 0 45037 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 198136

[startup+3.10022 s]
/proc/loadavg: 4.72 4.15 4.25 13/473 8289
/proc/meminfo: memFree=22147932/32951124 swapFree=64205392/67111528
[pid=8285] ppid=8283 vsize=198416 CPUtime=8.45 cores=0,2,4,6
/proc/8285/stat : 8285 (SArTagnan) R 8283 8285 8244 0 -1 4202496 24196 0 0 0 843 2 0 0 25 0 4 0 669811066 203177984 7800 33554432000 4194304 4625164 140734226153136 18446744073709551615 4393124 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8285/statm: 49604 7800 339 106 0 45107 0
[pid=8285/tid=8287] ppid=8283 vsize=198416 CPUtime=2.8 cores=0,2,4,6
/proc/8285/task/8287/stat : 8287 (SArTagnan) R 8283 8285 8244 0 -1 4202560 2783 0 0 0 280 0 0 0 23 0 4 0 669811068 203177984 7800 33554432000 4194304 4625164 140734226153136 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8285/tid=8288] ppid=8283 vsize=198416 CPUtime=2.71 cores=0,2,4,6
/proc/8285/task/8288/stat : 8288 (SArTagnan) R 8283 8285 8244 0 -1 4202560 2662 0 0 0 271 0 0 0 23 0 4 0 669811068 203177984 7800 33554432000 4194304 4625164 140734226153136 18446744073709551615 4352280 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8285/tid=8289] ppid=8283 vsize=198416 CPUtime=1.5 cores=0,2,4,6
/proc/8285/task/8289/stat : 8289 (SArTagnan) R 8283 8285 8244 0 -1 4202560 14726 0 0 0 149 1 0 0 25 0 4 0 669811068 203177984 7800 33554432000 4194304 4625164 140734226153136 18446744073709551615 4561081 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.45
Current children cumulated vsize (KiB) 198416

[startup+6.30066 s]
/proc/loadavg: 5.30 4.28 4.29 13/473 8289
/proc/meminfo: memFree=22121196/32951124 swapFree=64205392/67111528
[pid=8285] ppid=8283 vsize=203844 CPUtime=14.81 cores=0,2,4,6
/proc/8285/stat : 8285 (SArTagnan) R 8283 8285 8244 0 -1 4202496 40612 0 0 0 1475 6 0 0 25 0 4 0 669811066 208736256 10051 33554432000 4194304 4625164 140734226153136 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8285/statm: 50961 10051 342 106 0 46464 0
[pid=8285/tid=8287] ppid=8283 vsize=203844 CPUtime=4.33 cores=0,2,4,6
/proc/8285/task/8287/stat : 8287 (SArTagnan) R 8283 8285 8244 0 -1 4202560 4140 0 0 0 433 0 0 0 25 0 4 0 669811068 208736256 10051 33554432000 4194304 4625164 140734226153136 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8285/tid=8288] ppid=8283 vsize=203844 CPUtime=4.21 cores=0,2,4,6
/proc/8285/task/8288/stat : 8288 (SArTagnan) R 8283 8285 8244 0 -1 4202560 4144 0 0 0 421 0 0 0 25 0 4 0 669811068 208736256 10051 33554432000 4194304 4625164 140734226153136 18446744073709551615 4351897 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8285/tid=8289] ppid=8283 vsize=203844 CPUtime=3.12 cores=0,2,4,6
/proc/8285/task/8289/stat : 8289 (SArTagnan) R 8283 8285 8244 0 -1 4202560 28157 0 0 0 308 4 0 0 25 0 4 0 669811068 208736256 10051 33554432000 4194304 4625164 140734226153136 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 14.81
Current children cumulated vsize (KiB) 203844

[startup+12.7005 s]
/proc/loadavg: 5.84 4.41 4.33 13/473 8289
/proc/meminfo: memFree=22079524/32951124 swapFree=64205392/67111528
[pid=8285] ppid=8283 vsize=279528 CPUtime=28.08 cores=0,2,4,6
/proc/8285/stat : 8285 (SArTagnan) R 8283 8285 8244 0 -1 4202496 54316 0 0 0 2799 9 0 0 25 0 4 0 669811066 286236672 15265 33554432000 4194304 4625164 140734226153136 18446744073709551615 4511986 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8285/statm: 69882 15265 345 106 0 65385 0
[pid=8285/tid=8287] ppid=8283 vsize=279528 CPUtime=8.03 cores=0,2,4,6
/proc/8285/task/8287/stat : 8287 (SArTagnan) R 8283 8285 8244 0 -1 4202560 7296 0 0 0 802 1 0 0 25 0 4 0 669811068 286236672 15266 33554432000 4194304 4625164 140734226153136 18446744073709551615 4465039 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8285/tid=8288] ppid=8283 vsize=279528 CPUtime=7.42 cores=0,2,4,6
/proc/8285/task/8288/stat : 8288 (SArTagnan) R 8283 8285 8244 0 -1 4202560 5218 0 0 0 741 1 0 0 25 0 4 0 669811068 286236672 15266 33554432000 4194304 4625164 140734226153136 18446744073709551615 4351844 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8285/tid=8289] ppid=8283 vsize=279528 CPUtime=6.29 cores=0,2,4,6
/proc/8285/task/8289/stat : 8289 (SArTagnan) R 8283 8285 8244 0 -1 4202560 37064 0 0 0 624 5 0 0 25 0 4 0 669811068 286236672 15266 33554432000 4194304 4625164 140734226153136 18446744073709551615 4579376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 28.08
Current children cumulated vsize (KiB) 279528

[startup+25.5003 s]
/proc/loadavg: 6.79 4.66 4.41 13/473 8289
/proc/meminfo: memFree=22009824/32951124 swapFree=64205392/67111528
[pid=8285] ppid=8283 vsize=288740 CPUtime=59.56 cores=0,2,4,6
/proc/8285/stat : 8285 (SArTagnan) R 8283 8285 8244 0 -1 4202496 73506 0 0 0 5941 15 0 0 25 0 4 0 669811066 295669760 22736 33554432000 4194304 4625164 140734226153136 18446744073709551615 4356541 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8285/statm: 72185 22736 352 106 0 67688 0
[pid=8285/tid=8287] ppid=8283 vsize=288740 CPUtime=14.23 cores=0,2,4,6
/proc/8285/task/8287/stat : 8287 (SArTagnan) R 8283 8285 8244 0 -1 4202560 12517 0 0 0 1419 4 0 0 25 0 4 0 669811068 295669760 22736 33554432000 4194304 4625164 140734226153136 18446744073709551615 4352157 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8285/tid=8288] ppid=8283 vsize=288740 CPUtime=13.74 cores=0,2,4,6
/proc/8285/task/8288/stat : 8288 (SArTagnan) R 8283 8285 8244 0 -1 4202560 8286 0 0 0 1373 1 0 0 25 0 4 0 669811068 295669760 22736 33554432000 4194304 4625164 140734226153136 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8285/tid=8289] ppid=8283 vsize=288740 CPUtime=12.7 cores=0,2,4,6
/proc/8285/task/8289/stat : 8289 (SArTagnan) R 8283 8285 8244 0 -1 4202560 47158 0 0 0 1263 7 0 0 25 0 4 0 669811068 295669760 22736 33554432000 4194304 4625164 140734226153136 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 59.56
Current children cumulated vsize (KiB) 288740

[startup+51.1008 s]
/proc/loadavg: 8.56 5.25 4.61 13/473 8290
/proc/meminfo: memFree=21936256/32951124 swapFree=64205392/67111528
[pid=8285] ppid=8283 vsize=307204 CPUtime=112.03 cores=0,2,4,6
/proc/8285/stat : 8285 (SArTagnan) R 8283 8285 8244 0 -1 4202496 196589 0 0 0 11167 36 0 0 25 0 4 0 669811066 314576896 32469 33554432000 4194304 4625164 140734226153136 18446744073709551615 4512335 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/8285/statm: 76801 32469 351 106 0 72304 0
[pid=8285/tid=8287] ppid=8283 vsize=307204 CPUtime=27.02 cores=0,2,4,6
/proc/8285/task/8287/stat : 8287 (SArTagnan) R 8283 8285 8244 0 -1 4202560 20039 0 0 0 2694 8 0 0 25 0 4 0 669811068 314576896 32469 33554432000 4194304 4625164 140734226153136 18446744073709551615 4352145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8285/tid=8288] ppid=8283 vsize=307204 CPUtime=26.31 cores=0,2,4,6
/proc/8285/task/8288/stat : 8288 (SArTagnan) R 8283 8285 8244 0 -1 4202560 11856 0 0 0 2628 3 0 0 25 0 4 0 669811068 314576896 32470 33554432000 4194304 4625164 140734226153136 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8285/tid=8289] ppid=8283 vsize=307204 CPUtime=25.01 cores=0,2,4,6
/proc/8285/task/8289/stat : 8289 (SArTagnan) R 8283 8285 8244 0 -1 4202560 157661 0 0 0 2478 23 0 0 25 0 4 0 669811068 314576896 32470 33554432000 4194304 4625164 140734226153136 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 112.03
Current children cumulated vsize (KiB) 307204

[startup+102.301 s]
/proc/loadavg: 10.71 6.41 5.04 13/473 8291
/proc/meminfo: memFree=21779624/32951124 swapFree=64205392/67111528
[pid=8285] ppid=8283 vsize=331140 CPUtime=228.4 cores=0,2,4,6
/proc/8285/stat : 8285 (SArTagnan) R 8283 8285 8244 0 -1 4202496 254041 0 0 0 22792 48 0 0 25 0 4 0 669811066 339087360 53162 33554432000 4194304 4625164 140734226153136 18446744073709551615 4511967 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8285/statm: 82785 53162 638 106 0 78288 0
[pid=8285/tid=8287] ppid=8283 vsize=331140 CPUtime=52.62 cores=0,2,4,6
/proc/8285/task/8287/stat : 8287 (SArTagnan) R 8283 8285 8244 0 -1 4202560 29666 0 0 0 5252 10 0 0 25 0 4 0 669811068 339087360 53162 33554432000 4194304 4625164 140734226153136 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8285/tid=8288] ppid=8283 vsize=331140 CPUtime=51.6 cores=0,2,4,6
/proc/8285/task/8288/stat : 8288 (SArTagnan) R 8283 8285 8244 0 -1 4202560 20516 0 0 0 5153 7 0 0 25 0 4 0 669811068 339087360 53162 33554432000 4194304 4625164 140734226153136 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8285/tid=8289] ppid=8283 vsize=331140 CPUtime=50.14 cores=0,2,4,6
/proc/8285/task/8289/stat : 8289 (SArTagnan) R 8283 8285 8244 0 -1 4202560 190505 0 0 0 4987 27 0 0 25 0 4 0 669811068 339087360 53162 33554432000 4194304 4625164 140734226153136 18446744073709551615 228244007174 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 228.4
Current children cumulated vsize (KiB) 331140

[startup+162.3 s]
/proc/loadavg: 11.61 7.45 5.49 13/473 8293
/proc/meminfo: memFree=21620064/32951124 swapFree=64205392/67111528
[pid=8285] ppid=8283 vsize=429356 CPUtime=363.29 cores=0,2,4,6
/proc/8285/stat : 8285 (SArTagnan) R 8283 8285 8244 0 -1 4202496 416842 0 0 0 36254 75 0 0 25 0 4 0 669811066 439660544 72664 33554432000 4194304 4625164 140734226153136 18446744073709551615 4512467 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8285/statm: 107339 72664 713 106 0 102842 0
[pid=8285/tid=8287] ppid=8283 vsize=429356 CPUtime=82.72 cores=0,2,4,6
/proc/8285/task/8287/stat : 8287 (SArTagnan) R 8283 8285 8244 0 -1 4202560 40112 0 0 0 8259 13 0 0 25 0 4 0 669811068 439660544 72664 33554432000 4194304 4625164 140734226153136 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8285/tid=8288] ppid=8283 vsize=429356 CPUtime=96.83 cores=0,2,4,6
/proc/8285/task/8288/stat : 8288 (SArTagnan) R 8283 8285 8244 0 -1 4202560 30104 0 0 0 9673 10 0 0 25 0 4 0 669811068 439660544 72664 33554432000 4194304 4625164 140734226153136 18446744073709551615 4352739 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8285/tid=8289] ppid=8283 vsize=429356 CPUtime=79.78 cores=0,2,4,6
/proc/8285/task/8289/stat : 8289 (SArTagnan) R 8283 8285 8244 0 -1 4202560 324669 0 0 0 7931 47 0 0 25 0 4 0 669811068 439660544 72664 33554432000 4194304 4625164 140734226153136 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 363.29
Current children cumulated vsize (KiB) 429356

[startup+222.301 s]
/proc/loadavg: 12.06 8.34 5.91 13/473 8294
/proc/meminfo: memFree=21464976/32951124 swapFree=64205392/67111528
[pid=8285] ppid=8283 vsize=518264 CPUtime=512.35 cores=0,2,4,6
/proc/8285/stat : 8285 (SArTagnan) R 8283 8285 8244 0 -1 4202496 562803 0 0 0 51137 98 0 0 25 0 4 0 669811066 530702336 92547 33554432000 4194304 4625164 140734226153136 18446744073709551615 4392981 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8285/statm: 129566 92547 1153 106 0 125069 0
[pid=8285/tid=8287] ppid=8283 vsize=518264 CPUtime=112.64 cores=0,2,4,6
/proc/8285/task/8287/stat : 8287 (SArTagnan) R 8283 8285 8244 0 -1 4202560 44599 0 0 0 11250 14 0 0 25 0 4 0 669811068 530702336 92547 33554432000 4194304 4625164 140734226153136 18446744073709551615 4352053 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8285/tid=8288] ppid=8283 vsize=518264 CPUtime=155.9 cores=0,2,4,6
/proc/8285/task/8288/stat : 8288 (SArTagnan) R 8283 8285 8244 0 -1 4202560 43437 0 0 0 15577 13 0 0 25 0 4 0 669811068 530702336 92547 33554432000 4194304 4625164 140734226153136 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8285/tid=8289] ppid=8283 vsize=518264 CPUtime=109.78 cores=0,2,4,6
/proc/8285/task/8289/stat : 8289 (SArTagnan) R 8283 8285 8244 0 -1 4202560 445062 0 0 0 10913 65 0 0 25 0 4 0 669811068 530702336 92547 33554432000 4194304 4625164 140734226153136 18446744073709551615 4546825 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 512.35
Current children cumulated vsize (KiB) 518264

[startup+282.318 s]
/proc/loadavg: 12.02 9.00 6.29 13/473 8296
/proc/meminfo: memFree=21359116/32951124 swapFree=64205392/67111528
[pid=8285] ppid=8283 vsize=596832 CPUtime=661.4 cores=0,2,4,6
/proc/8285/stat : 8285 (SArTagnan) R 8283 8285 8244 0 -1 4202496 671690 0 0 0 66020 120 0 0 25 0 4 0 669811066 611155968 107069 33554432000 4194304 4625164 140734226153136 18446744073709551615 4519334 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8285/statm: 149208 107069 1227 106 0 144711 0
[pid=8285/tid=8287] ppid=8283 vsize=596832 CPUtime=142.66 cores=0,2,4,6

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

[pid=8285] ppid=8283 vsize=992400 CPUtime=1854.7 cores=0,2,4,6
/proc/8285/stat : 8285 (SArTagnan) R 8283 8285 8244 0 -1 4202496 1550304 0 0 0 185209 261 0 0 25 0 4 0 669811066 1016217600 195729 33554432000 4194304 4625164 140734226153136 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8285/statm: 248100 195729 1543 106 0 243603 0
[pid=8285/tid=8287] ppid=8283 vsize=992400 CPUtime=382.58 cores=0,2,4,6
/proc/8285/task/8287/stat : 8287 (SArTagnan) R 8283 8285 8244 0 -1 4202560 94888 0 0 0 38230 28 0 0 25 0 4 0 669811068 1016217600 195729 33554432000 4194304 4625164 140734226153136 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8285/tid=8288] ppid=8283 vsize=992400 CPUtime=687.48 cores=0,2,4,6
/proc/8285/task/8288/stat : 8288 (SArTagnan) R 8283 8285 8244 0 -1 4202560 100756 0 0 0 68719 29 0 0 25 0 4 0 669811068 1016217600 195729 33554432000 4194304 4625164 140734226153136 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8285/tid=8289] ppid=8283 vsize=992400 CPUtime=380.85 cores=0,2,4,6
/proc/8285/task/8289/stat : 8289 (SArTagnan) R 8283 8285 8244 0 -1 4202560 1177513 0 0 0 37912 173 0 0 25 0 4 0 669811068 1016217600 195729 33554432000 4194304 4625164 140734226153136 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1854.7
Current children cumulated vsize (KiB) 992400

[startup+822.301 s]
/proc/loadavg: 12.25 11.66 8.86 13/473 8311
/proc/meminfo: memFree=20495840/32951124 swapFree=64205392/67111528
[pid=8285] ppid=8283 vsize=992400 CPUtime=2003.77 cores=0,2,4,6
/proc/8285/stat : 8285 (SArTagnan) R 8283 8285 8244 0 -1 4202496 1553628 0 0 0 200115 262 0 0 25 0 4 0 669811066 1016217600 198884 33554432000 4194304 4625164 140734226153136 18446744073709551615 4392981 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8285/statm: 248100 198884 1383 106 0 243603 0
[pid=8285/tid=8287] ppid=8283 vsize=992400 CPUtime=412.57 cores=0,2,4,6
/proc/8285/task/8287/stat : 8287 (SArTagnan) R 8283 8285 8244 0 -1 4202560 95500 0 0 0 41229 28 0 0 25 0 4 0 669811068 1016217600 198892 33554432000 4194304 4625164 140734226153136 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8285/tid=8288] ppid=8283 vsize=992400 CPUtime=746.55 cores=0,2,4,6
/proc/8285/task/8288/stat : 8288 (SArTagnan) R 8283 8285 8244 0 -1 4202560 102857 0 0 0 74626 29 0 0 25 0 4 0 669811068 1016217600 198892 33554432000 4194304 4625164 140734226153136 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8285/tid=8289] ppid=8283 vsize=992400 CPUtime=410.87 cores=0,2,4,6
/proc/8285/task/8289/stat : 8289 (SArTagnan) R 8283 8285 8244 0 -1 4202560 1177936 0 0 0 40914 173 0 0 25 0 4 0 669811068 1016217600 198892 33554432000 4194304 4625164 140734226153136 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2003.77
Current children cumulated vsize (KiB) 992400

[startup+882.301 s]
/proc/loadavg: 12.09 11.72 9.06 14/473 8312
/proc/meminfo: memFree=20461572/32951124 swapFree=64205392/67111528
[pid=8285] ppid=8283 vsize=992400 CPUtime=2152.81 cores=0,2,4,6
/proc/8285/stat : 8285 (SArTagnan) R 8283 8285 8244 0 -1 4202496 1556597 0 0 0 215017 264 0 0 25 0 4 0 669811066 1016217600 201650 33554432000 4194304 4625164 140734226153136 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8285/statm: 248100 201650 1208 106 0 243603 0
[pid=8285/tid=8287] ppid=8283 vsize=992400 CPUtime=442.56 cores=0,2,4,6
/proc/8285/task/8287/stat : 8287 (SArTagnan) R 8283 8285 8244 0 -1 4202560 97091 0 0 0 44228 28 0 0 25 0 4 0 669811068 1016217600 201650 33554432000 4194304 4625164 140734226153136 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8285/tid=8288] ppid=8283 vsize=992400 CPUtime=805.6 cores=0,2,4,6
/proc/8285/task/8288/stat : 8288 (SArTagnan) R 8283 8285 8244 0 -1 4202560 103470 0 0 0 80530 30 0 0 25 0 4 0 669811068 1016217600 201650 33554432000 4194304 4625164 140734226153136 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8285/tid=8289] ppid=8283 vsize=992400 CPUtime=440.87 cores=0,2,4,6
/proc/8285/task/8289/stat : 8289 (SArTagnan) R 8283 8285 8244 0 -1 4202560 1178141 0 0 0 43913 174 0 0 25 0 4 0 669811068 1016217600 201650 33554432000 4194304 4625164 140734226153136 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2152.81
Current children cumulated vsize (KiB) 992400

[startup+942.319 s]
/proc/loadavg: 12.08 11.78 9.24 13/473 8314
/proc/meminfo: memFree=20403004/32951124 swapFree=64205392/67111528
[pid=8285] ppid=8283 vsize=1035876 CPUtime=2301.89 cores=0,2,4,6
/proc/8285/stat : 8285 (SArTagnan) R 8283 8285 8244 0 -1 4202496 1568761 0 0 0 229922 267 0 0 25 0 4 0 669811066 1060737024 213656 33554432000 4194304 4625164 140734226153136 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8285/statm: 258969 213656 1233 106 0 254472 0
[pid=8285/tid=8287] ppid=8283 vsize=1035876 CPUtime=472.56 cores=0,2,4,6
/proc/8285/task/8287/stat : 8287 (SArTagnan) R 8283 8285 8244 0 -1 4202560 100544 0 0 0 47226 30 0 0 25 0 4 0 669811068 1060737024 213656 33554432000 4194304 4625164 140734226153136 18446744073709551615 4351792 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8285/tid=8288] ppid=8283 vsize=1035876 CPUtime=864.66 cores=0,2,4,6
/proc/8285/task/8288/stat : 8288 (SArTagnan) R 8283 8285 8244 0 -1 4202560 103970 0 0 0 86436 30 0 0 25 0 4 0 669811068 1060737024 213656 33554432000 4194304 4625164 140734226153136 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8285/tid=8289] ppid=8283 vsize=1035876 CPUtime=470.89 cores=0,2,4,6
/proc/8285/task/8289/stat : 8289 (SArTagnan) R 8283 8285 8244 0 -1 4202560 1185718 0 0 0 46914 175 0 0 25 0 4 0 669811068 1060737024 213656 33554432000 4194304 4625164 140734226153136 18446744073709551615 4352044 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2301.89
Current children cumulated vsize (KiB) 1035876

[startup+1002.3 s]
/proc/loadavg: 12.12 11.85 9.42 14/473 8315
/proc/meminfo: memFree=20368864/32951124 swapFree=64205392/67111528
[pid=8285] ppid=8283 vsize=1035876 CPUtime=2450.93 cores=0,2,4,6
/proc/8285/stat : 8285 (SArTagnan) R 8283 8285 8244 0 -1 4202496 1573817 0 0 0 244823 270 0 0 25 0 4 0 669811066 1060737024 217954 33554432000 4194304 4625164 140734226153136 18446744073709551615 4329151 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8285/statm: 258969 217954 550 106 0 254472 0
[pid=8285/tid=8287] ppid=8283 vsize=1035876 CPUtime=502.56 cores=0,2,4,6
/proc/8285/task/8287/stat : 8287 (SArTagnan) R 8283 8285 8244 0 -1 4202560 102405 0 0 0 50224 32 0 0 25 0 4 0 669811068 1060737024 217954 33554432000 4194304 4625164 140734226153136 18446744073709551615 4352021 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8285/tid=8288] ppid=8283 vsize=1035876 CPUtime=923.71 cores=0,2,4,6
/proc/8285/task/8288/stat : 8288 (SArTagnan) R 8283 8285 8244 0 -1 4202560 105116 0 0 0 92341 30 0 0 25 0 4 0 669811068 1060737024 217954 33554432000 4194304 4625164 140734226153136 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8285/tid=8289] ppid=8283 vsize=1035876 CPUtime=500.88 cores=0,2,4,6
/proc/8285/task/8289/stat : 8289 (SArTagnan) R 8283 8285 8244 0 -1 4202560 1186625 0 0 0 49913 175 0 0 25 0 4 0 669811068 1060737024 217954 33554432000 4194304 4625164 140734226153136 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2450.93
Current children cumulated vsize (KiB) 1035876

[startup+1062.3 s]
/proc/loadavg: 12.04 11.87 9.58 13/473 8317
/proc/meminfo: memFree=20349848/32951124 swapFree=64205392/67111528
[pid=8285] ppid=8283 vsize=1101412 CPUtime=2599.96 cores=0,2,4,6
/proc/8285/stat : 8285 (SArTagnan) R 8283 8285 8244 0 -1 4202496 1577447 0 0 0 259724 272 0 0 25 0 4 0 669811066 1127845888 221401 33554432000 4194304 4625164 140734226153136 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8285/statm: 275353 221401 482 106 0 270856 0
[pid=8285/tid=8287] ppid=8283 vsize=1101412 CPUtime=532.65 cores=0,2,4,6
/proc/8285/task/8287/stat : 8287 (SArTagnan) R 8283 8285 8244 0 -1 4202560 103937 0 0 0 53232 33 0 0 25 0 4 0 669811068 1127845888 221401 33554432000 4194304 4625164 140734226153136 18446744073709551615 4351804 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8285/tid=8288] ppid=8283 vsize=1101412 CPUtime=980.37 cores=0,2,4,6
/proc/8285/task/8288/stat : 8288 (SArTagnan) R 8283 8285 8244 0 -1 4202560 105587 0 0 0 98006 31 0 0 25 0 4 0 669811068 1127845888 221401 33554432000 4194304 4625164 140734226153136 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8285/tid=8289] ppid=8283 vsize=1101412 CPUtime=533.19 cores=0,2,4,6
/proc/8285/task/8289/stat : 8289 (SArTagnan) R 8283 8285 8244 0 -1 4202560 1187399 0 0 0 53143 176 0 0 25 0 4 0 669811068 1127845888 221401 33554432000 4194304 4625164 140734226153136 18446744073709551615 4552315 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2599.96
Current children cumulated vsize (KiB) 1101412

[startup+1122.3 s]
/proc/loadavg: 12.09 11.92 9.74 14/473 8318
/proc/meminfo: memFree=20299952/32951124 swapFree=64205392/67111528
[pid=8285] ppid=8283 vsize=1135092 CPUtime=2744.88 cores=0,2,4,6
/proc/8285/stat : 8285 (SArTagnan) R 8283 8285 8244 0 -1 4202496 1638098 0 0 0 274205 283 0 0 25 0 4 0 669811066 1162334208 224947 33554432000 4194304 4625164 140734226153136 18446744073709551615 4512125 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8285/statm: 283773 224947 473 106 0 279276 0
[pid=8285/tid=8287] ppid=8283 vsize=1135092 CPUtime=562.34 cores=0,2,4,6
/proc/8285/task/8287/stat : 8287 (SArTagnan) R 8283 8285 8244 0 -1 4202560 105726 0 0 0 56199 35 0 0 25 0 4 0 669811068 1162334208 224947 33554432000 4194304 4625164 140734226153136 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8285/tid=8288] ppid=8283 vsize=1135092 CPUtime=1032.27 cores=0,2,4,6
/proc/8285/task/8288/stat : 8288 (SArTagnan) R 8283 8285 8244 0 -1 4202560 114331 0 0 0 103194 33 0 0 25 0 4 0 669811068 1162334208 224947 33554432000 4194304 4625164 140734226153136 18446744073709551615 4351830 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8285/tid=8289] ppid=8283 vsize=1135092 CPUtime=564.11 cores=0,2,4,6
/proc/8285/task/8289/stat : 8289 (SArTagnan) R 8283 8285 8244 0 -1 4202560 1236764 0 0 0 56228 183 0 0 25 0 4 0 669811068 1162334208 224947 33554432000 4194304 4625164 140734226153136 18446744073709551615 4547221 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2744.88
Current children cumulated vsize (KiB) 1135092

[startup+1182.3 s]
/proc/loadavg: 12.14 11.96 9.89 13/473 8329
/proc/meminfo: memFree=20246880/32951124 swapFree=64205392/67111528
[pid=8285] ppid=8283 vsize=1255064 CPUtime=2865.03 cores=0,2,4,6
/proc/8285/stat : 8285 (SArTagnan) R 8283 8285 8244 0 -1 4202496 1841892 0 0 0 286192 311 0 0 25 0 4 0 669811066 1285185536 234123 33554432000 4194304 4625164 140734226153136 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8285/statm: 313766 234123 469 106 0 309269 0
[pid=8285/tid=8287] ppid=8283 vsize=1255064 CPUtime=592.99 cores=0,2,4,6
/proc/8285/task/8287/stat : 8287 (SArTagnan) R 8283 8285 8244 0 -1 4202560 139145 0 0 0 59259 40 0 0 25 0 4 0 669811068 1285185536 234123 33554432000 4194304 4625164 140734226153136 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8285/tid=8288] ppid=8283 vsize=1255064 CPUtime=1062.17 cores=0,2,4,6
/proc/8285/task/8288/stat : 8288 (SArTagnan) R 8283 8285 8244 0 -1 4202560 142425 0 0 0 106181 36 0 0 25 0 4 0 669811068 1285185536 234123 33554432000 4194304 4625164 140734226153136 18446744073709551615 4464310 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8285/tid=8289] ppid=8283 vsize=1255064 CPUtime=593.61 cores=0,2,4,6
/proc/8285/task/8289/stat : 8289 (SArTagnan) R 8283 8285 8244 0 -1 4202560 1377107 0 0 0 59159 202 0 0 25 0 4 0 669811068 1285185536 234123 33554432000 4194304 4625164 140734226153136 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2865.03
Current children cumulated vsize (KiB) 1255064

[startup+1242.3 s]
/proc/loadavg: 12.15 12.00 10.03 13/473 8331
/proc/meminfo: memFree=20203388/32951124 swapFree=64205392/67111528
[pid=8285] ppid=8283 vsize=1282824 CPUtime=2999.4 cores=0,2,4,6
/proc/8285/stat : 8285 (SArTagnan) R 8283 8285 8244 0 -1 4202496 1951826 0 0 0 299613 327 0 0 25 0 4 0 669811066 1313611776 240768 33554432000 4194304 4625164 140734226153136 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8285/statm: 320706 240768 469 106 0 316209 0
[pid=8285/tid=8287] ppid=8283 vsize=1282824 CPUtime=622.73 cores=0,2,4,6
/proc/8285/task/8287/stat : 8287 (SArTagnan) R 8283 8285 8244 0 -1 4202560 142490 0 0 0 62231 42 0 0 25 0 4 0 669811068 1313611776 240768 33554432000 4194304 4625164 140734226153136 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8285/tid=8288] ppid=8283 vsize=1282824 CPUtime=1092.34 cores=0,2,4,6
/proc/8285/task/8288/stat : 8288 (SArTagnan) R 8283 8285 8244 0 -1 4202560 143143 0 0 0 109197 37 0 0 25 0 4 0 669811068 1313611776 240768 33554432000 4194304 4625164 140734226153136 18446744073709551615 4330968 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8285/tid=8289] ppid=8283 vsize=1282824 CPUtime=638.19 cores=0,2,4,6
/proc/8285/task/8289/stat : 8289 (SArTagnan) R 8283 8285 8244 0 -1 4202560 1466729 0 0 0 63606 213 0 0 25 0 4 0 669811068 1313611776 240768 33554432000 4194304 4625164 140734226153136 18446744073709551615 4335407 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2999.4
Current children cumulated vsize (KiB) 1282824



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 12.22 12.04 10.16 9/469 8333
/proc/meminfo: memFree=20971628/32951124 swapFree=64205392/67111528
[pid=8285] ppid=8283 vsize=1348360 CPUtime=3131.36 cores=0,2,4,6
/proc/8285/stat : 8285 (SArTagnan) R 8283 8285 8244 0 -1 4202496 2210125 0 0 0 312770 366 0 0 25 0 4 0 669811066 1380720640 244331 33554432000 4194304 4625164 140734226153136 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8285/statm: 337090 244331 469 106 0 332593 0
[pid=8285/tid=8287] ppid=8283 vsize=1348360 CPUtime=651.57 cores=0,2,4,6
/proc/8285/task/8287/stat : 8287 (SArTagnan) R 8283 8285 8244 0 -1 4202560 144523 0 0 0 65112 45 0 0 25 0 4 0 669811068 1380720640 244332 33554432000 4194304 4625164 140734226153136 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8285/tid=8288] ppid=8283 vsize=1348360 CPUtime=1121.18 cores=0,2,4,6
/proc/8285/task/8288/stat : 8288 (SArTagnan) R 8283 8285 8244 0 -1 4202560 143874 0 0 0 112081 37 0 0 25 0 4 0 669811068 1380720640 244332 33554432000 4194304 4625164 140734226153136 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8285/tid=8289] ppid=8283 vsize=1348360 CPUtime=676.59 cores=0,2,4,6
/proc/8285/task/8289/stat : 8289 (SArTagnan) R 8283 8285 8244 0 -1 4202560 1721697 0 0 0 67410 249 0 0 25 0 4 0 669811068 1380720640 244332 33554432000 4194304 4625164 140734226153136 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3131.36
Current children cumulated vsize (KiB) 1348360

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: 12.22 12.04 10.16 9/469 8333
/proc/meminfo: memFree=20971628/32951124 swapFree=64205392/67111528
[pid=8285] ppid=8283 vsize=1348360 CPUtime=3131.36 cores=0,2,4,6
/proc/8285/stat : 8285 (SArTagnan) R 8283 8285 8244 0 -1 4202496 2210125 0 0 0 312770 366 0 0 25 0 4 0 669811066 1380720640 244331 33554432000 4194304 4625164 140734226153136 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8285/statm: 337090 244331 469 106 0 332593 0
[pid=8285/tid=8287] ppid=8283 vsize=1348360 CPUtime=651.57 cores=0,2,4,6
/proc/8285/task/8287/stat : 8287 (SArTagnan) R 8283 8285 8244 0 -1 4202560 144523 0 0 0 65112 45 0 0 25 0 4 0 669811068 1380720640 244332 33554432000 4194304 4625164 140734226153136 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8285/tid=8288] ppid=8283 vsize=1348360 CPUtime=1121.18 cores=0,2,4,6
/proc/8285/task/8288/stat : 8288 (SArTagnan) R 8283 8285 8244 0 -1 4202560 143874 0 0 0 112081 37 0 0 25 0 4 0 669811068 1380720640 244332 33554432000 4194304 4625164 140734226153136 18446744073709551615 4339591 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8285/tid=8289] ppid=8283 vsize=1348360 CPUtime=676.59 cores=0,2,4,6
/proc/8285/task/8289/stat : 8289 (SArTagnan) R 8283 8285 8244 0 -1 4202560 1721697 0 0 0 67410 249 0 0 25 0 4 0 669811068 1380720640 244332 33554432000 4194304 4625164 140734226153136 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3131.36
Current children cumulated vsize (KiB) 1348360

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.07
CPU time (s): 3131.46
CPU user time (s): 3127.74
CPU system time (s): 3.71144
CPU usage (%): 240.869
Max. virtual memory (cumulated for all children) (KiB): 1368700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3127.74
system time used= 3.71143
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2210126
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= 1142
involuntary context switches= 39594

runsolver used 5.58915 second user time and 14.5228 second system time

The end

Launcher Data 

Begin job on node136 at 2011-05-16 23:42:11
IDJOB=3386028
IDBENCH=83313
IDSOLVER=1871
FILE ID=node136/3386028-1305582131
RUNJOBID= node136-1305582130-8262
PBS_JOBID= 13350293
Free space on /tmp= 72952 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-23_505.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386028-1305582131/watcher-3386028-1305582131 -o /tmp/evaluation-result-3386028-1305582131/solver-3386028-1305582131 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386028-1305582131.cnf -threads=4

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

MD5SUM BENCH= 8e7b614904543aa28491ea45c761cbd5
RANDOM SEED=1385273820

node136.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.809
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.61
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.809
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.809
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.809
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.76
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.809
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.809
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.809
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.809
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:      22196472 kB
Buffers:         49916 kB
Cached:         676504 kB
SwapCached:      24924 kB
Active:        4007844 kB
Inactive:      6530200 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22196472 kB
SwapTotal:    67111528 kB
SwapFree:     64205392 kB
Dirty:            1988 kB
Writeback:           0 kB
AnonPages:     9792776 kB
Mapped:          34660 kB
Slab:            87328 kB
PageTables:      62372 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 135633928 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= 72952 MiB
End job on node136 at 2011-05-17 00:03:53