Trace number 3266888

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-03-24? (TO) 4800.53 1201.82

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf
MD5SUM02e75ad23aeadbf30b2a4fb3c21ae723
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.466928
Satisfiable
(Un)Satisfiability was proved
Number of variables894
Number of clauses82294
Sum of the clauses size165422
Maximum clause length32
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 282264
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 530

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: 935)

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-3266888-1304122468/watcher-3266888-1304122468 -o /tmp/evaluation-result-3266888-1304122468/solver-3266888-1304122468 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3266888-1304122468.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: 8.15 8.09 7.95 5/180 22600
/proc/meminfo: memFree=29017176/32951124 swapFree=67111416/67111528
[pid=22600] ppid=22598 vsize=20724 CPUtime=0 cores=0,2,4,6
/proc/22600/stat : 22600 (SArTagnan) R 22598 22600 22284 0 -1 4202496 571 0 0 0 0 0 0 0 25 0 1 0 523849160 21221376 457 33554432000 4194304 4623224 140733560385376 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/22600/statm: 5181 458 297 105 0 685 0

[startup+0.00996005 s]
/proc/loadavg: 8.15 8.09 7.95 5/180 22600
/proc/meminfo: memFree=29017176/32951124 swapFree=67111416/67111528
[pid=22600] ppid=22598 vsize=21016 CPUtime=0 cores=0,2,4,6
/proc/22600/stat : 22600 (SArTagnan) R 22598 22600 22284 0 -1 4202496 782 0 0 0 0 0 0 0 25 0 1 0 523849160 21520384 523 33554432000 4194304 4623224 140733560385376 18446744073709551615 4266688 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/22600/statm: 5254 524 297 105 0 758 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 21016

[startup+0.149425 s]
/proc/loadavg: 8.15 8.09 7.95 5/180 22600
/proc/meminfo: memFree=29017176/32951124 swapFree=67111416/67111528
[pid=22600] ppid=22598 vsize=263796 CPUtime=2.9 cores=0,2,4,6
/proc/22600/stat : 22600 (SArTagnan) R 22598 22600 22284 0 -1 4202496 9328 0 0 0 289 1 0 0 25 0 4 0 523849160 270127104 6997 33554432000 4194304 4623224 140733560385376 18446744073709551615 4510189 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22600/statm: 65949 6997 344 105 0 61453 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 263796

[startup+0.843783 s]
/proc/loadavg: 8.15 8.09 7.95 5/180 22600
/proc/meminfo: memFree=29017176/32951124 swapFree=67111416/67111528
[pid=22600] ppid=22598 vsize=264456 CPUtime=3.3 cores=0,2,4,6
/proc/22600/stat : 22600 (SArTagnan) R 22598 22600 22284 0 -1 4202496 9765 0 0 0 329 1 0 0 25 0 4 0 523849160 270802944 7434 33554432000 4194304 4623224 140733560385376 18446744073709551615 4507318 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22600/statm: 66114 7434 344 105 0 61618 0
Current children cumulated CPU time (s) 3.3
Current children cumulated vsize (KiB) 264456

[startup+0.943765 s]
/proc/loadavg: 8.15 8.09 7.95 5/180 22600
/proc/meminfo: memFree=29017176/32951124 swapFree=67111416/67111528
[pid=22600] ppid=22598 vsize=265876 CPUtime=3.69 cores=0,2,4,6
/proc/22600/stat : 22600 (SArTagnan) R 22598 22600 22284 0 -1 4202496 10773 0 0 0 368 1 0 0 25 0 4 0 523849160 272257024 8003 33554432000 4194304 4623224 140733560385376 18446744073709551615 4510252 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22600/statm: 66469 8003 344 105 0 61973 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 265876

[startup+1.50066 s]
/proc/loadavg: 8.15 8.09 7.95 5/180 22600
/proc/meminfo: memFree=29017176/32951124 swapFree=67111416/67111528
[pid=22600] ppid=22598 vsize=271236 CPUtime=5.92 cores=0,2,4,6
/proc/22600/stat : 22600 (SArTagnan) R 22598 22600 22284 0 -1 4202496 14205 0 0 0 590 2 0 0 25 0 4 0 523849160 277745664 10247 33554432000 4194304 4623224 140733560385376 18446744073709551615 4510472 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22600/statm: 67809 10247 344 105 0 63313 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 271236

[startup+3.10036 s]
/proc/loadavg: 8.15 8.09 7.95 9/184 22604
/proc/meminfo: memFree=28966056/32951124 swapFree=67111416/67111528
[pid=22600] ppid=22598 vsize=276796 CPUtime=12.31 cores=0,2,4,6
/proc/22600/stat : 22600 (SArTagnan) R 22598 22600 22284 0 -1 4202496 24034 0 0 0 1227 4 0 0 25 0 4 0 523849160 283439104 14769 33554432000 4194304 4623224 140733560385376 18446744073709551615 4388305 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22600/statm: 69199 14769 344 105 0 64703 0
[pid=22600/tid=22602] ppid=22598 vsize=276796 CPUtime=3.06 cores=0,2,4,6
/proc/22600/task/22602/stat : 22602 (SArTagnan) R 22598 22600 22284 0 -1 4202560 5550 0 0 0 305 1 0 0 25 0 4 0 523849162 283439104 14769 33554432000 4194304 4623224 140733560385376 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22600/tid=22603] ppid=22598 vsize=276796 CPUtime=3.06 cores=0,2,4,6
/proc/22600/task/22603/stat : 22603 (SArTagnan) R 22598 22600 22284 0 -1 4202560 6315 0 0 0 305 1 0 0 25 0 4 0 523849162 283439104 14769 33554432000 4194304 4623224 140733560385376 18446744073709551615 4377144 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22600/tid=22604] ppid=22598 vsize=276796 CPUtime=3.06 cores=0,2,4,6
/proc/22600/task/22604/stat : 22604 (SArTagnan) R 22598 22600 22284 0 -1 4202560 6316 0 0 0 306 0 0 0 25 0 4 0 523849162 283439104 14769 33554432000 4194304 4623224 140733560385376 18446744073709551615 4376920 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 276796

[startup+6.30075 s]
/proc/loadavg: 8.14 8.09 7.95 9/184 22604
/proc/meminfo: memFree=28929908/32951124 swapFree=67111416/67111528
[pid=22600] ppid=22598 vsize=293000 CPUtime=25.09 cores=0,2,4,6
/proc/22600/stat : 22600 (SArTagnan) R 22598 22600 22284 0 -1 4202496 48454 0 0 0 2499 10 0 0 25 0 4 0 523849160 300032000 21523 33554432000 4194304 4623224 140733560385376 18446744073709551615 4414978 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22600/statm: 73250 21523 346 105 0 68754 0
[pid=22600/tid=22602] ppid=22598 vsize=293000 CPUtime=6.27 cores=0,2,4,6
/proc/22600/task/22602/stat : 22602 (SArTagnan) R 22598 22600 22284 0 -1 4202560 10765 0 0 0 624 3 0 0 25 0 4 0 523849162 300032000 21523 33554432000 4194304 4623224 140733560385376 18446744073709551615 4376668 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22600/tid=22603] ppid=22598 vsize=293000 CPUtime=6.24 cores=0,2,4,6
/proc/22600/task/22603/stat : 22603 (SArTagnan) R 22598 22600 22284 0 -1 4202560 9677 0 0 0 622 2 0 0 25 0 4 0 523849162 300032000 21523 33554432000 4194304 4623224 140733560385376 18446744073709551615 4376729 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22600/tid=22604] ppid=22598 vsize=293000 CPUtime=6.27 cores=0,2,4,6
/proc/22600/task/22604/stat : 22604 (SArTagnan) R 22598 22600 22284 0 -1 4202560 21064 0 0 0 624 3 0 0 25 0 4 0 523849162 300032000 21523 33554432000 4194304 4623224 140733560385376 18446744073709551615 4376883 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 293000

[startup+12.7065 s]
/proc/loadavg: 8.13 8.09 7.95 9/184 22604
/proc/meminfo: memFree=28870436/32951124 swapFree=67111416/67111528
[pid=22600] ppid=22598 vsize=319964 CPUtime=50.68 cores=0,2,4,6
/proc/22600/stat : 22600 (SArTagnan) R 22598 22600 22284 0 -1 4202496 106031 0 0 0 5050 18 0 0 25 0 4 0 523849160 327643136 33281 33554432000 4194304 4623224 140733560385376 18446744073709551615 4415995 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22600/statm: 79991 33281 355 105 0 75495 0
[pid=22600/tid=22602] ppid=22598 vsize=319964 CPUtime=12.68 cores=0,2,4,6
/proc/22600/task/22602/stat : 22602 (SArTagnan) R 22598 22600 22284 0 -1 4202560 17677 0 0 0 1263 5 0 0 25 0 4 0 523849162 327643136 33281 33554432000 4194304 4623224 140733560385376 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22600/tid=22603] ppid=22598 vsize=319964 CPUtime=12.61 cores=0,2,4,6
/proc/22600/task/22603/stat : 22603 (SArTagnan) R 22598 22600 22284 0 -1 4202560 14834 0 0 0 1258 3 0 0 25 0 4 0 523849162 327643136 33281 33554432000 4194304 4623224 140733560385376 18446744073709551615 4376869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22600/tid=22604] ppid=22598 vsize=319964 CPUtime=12.67 cores=0,2,4,6
/proc/22600/task/22604/stat : 22604 (SArTagnan) R 22598 22600 22284 0 -1 4202560 63941 0 0 0 1259 8 0 0 25 0 4 0 523849162 327643136 33281 33554432000 4194304 4623224 140733560385376 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 319964

[startup+25.5011 s]
/proc/loadavg: 8.10 8.08 7.95 9/184 22605
/proc/meminfo: memFree=28802596/32951124 swapFree=67111416/67111528
[pid=22600] ppid=22598 vsize=354504 CPUtime=101.78 cores=0,2,4,6
/proc/22600/stat : 22600 (SArTagnan) R 22598 22600 22284 0 -1 4202496 203027 0 0 0 10141 37 0 0 25 0 4 0 523849160 363012096 48413 33554432000 4194304 4623224 140733560385376 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22600/statm: 88626 48413 375 105 0 84130 0
[pid=22600/tid=22602] ppid=22598 vsize=354504 CPUtime=25.47 cores=0,2,4,6
/proc/22600/task/22602/stat : 22602 (SArTagnan) R 22598 22600 22284 0 -1 4202560 25315 0 0 0 2538 9 0 0 25 0 4 0 523849162 363012096 48413 33554432000 4194304 4623224 140733560385376 18446744073709551615 4376862 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22600/tid=22603] ppid=22598 vsize=354504 CPUtime=25.34 cores=0,2,4,6
/proc/22600/task/22603/stat : 22603 (SArTagnan) R 22598 22600 22284 0 -1 4202560 27034 0 0 0 2529 5 0 0 25 0 4 0 523849162 363012096 48413 33554432000 4194304 4623224 140733560385376 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22600/tid=22604] ppid=22598 vsize=354504 CPUtime=25.46 cores=0,2,4,6
/proc/22600/task/22604/stat : 22604 (SArTagnan) R 22598 22600 22284 0 -1 4202560 138203 0 0 0 2526 20 0 0 25 0 4 0 523849162 363012096 48413 33554432000 4194304 4623224 140733560385376 18446744073709551615 4376853 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 354504

[startup+51.1002 s]
/proc/loadavg: 8.13 8.09 7.95 9/184 22605
/proc/meminfo: memFree=28690348/32951124 swapFree=67111416/67111528
[pid=22600] ppid=22598 vsize=408504 CPUtime=204.07 cores=0,2,4,6
/proc/22600/stat : 22600 (SArTagnan) R 22598 22600 22284 0 -1 4202496 356528 0 0 0 20342 65 0 0 25 0 4 0 523849160 418308096 73624 33554432000 4194304 4623224 140733560385376 18446744073709551615 4510175 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22600/statm: 102126 73624 529 105 0 97630 0
[pid=22600/tid=22602] ppid=22598 vsize=408504 CPUtime=51.07 cores=0,2,4,6
/proc/22600/task/22602/stat : 22602 (SArTagnan) R 22598 22600 22284 0 -1 4202560 36658 0 0 0 5094 13 0 0 25 0 4 0 523849162 418308096 73624 33554432000 4194304 4623224 140733560385376 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22600/tid=22603] ppid=22598 vsize=408504 CPUtime=50.8 cores=0,2,4,6
/proc/22600/task/22603/stat : 22603 (SArTagnan) R 22598 22600 22284 0 -1 4202560 30939 0 0 0 5073 7 0 0 25 0 4 0 523849162 418308096 73624 33554432000 4194304 4623224 140733560385376 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22600/tid=22604] ppid=22598 vsize=408504 CPUtime=51.07 cores=0,2,4,6
/proc/22600/task/22604/stat : 22604 (SArTagnan) R 22598 22600 22284 0 -1 4202560 255403 0 0 0 5068 39 0 0 25 0 4 0 523849162 418308096 73624 33554432000 4194304 4623224 140733560385376 18446744073709551615 4545317 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 408504

[startup+102.3 s]
/proc/loadavg: 8.10 8.09 7.96 9/184 22607
/proc/meminfo: memFree=28505684/32951124 swapFree=67111416/67111528
[pid=22600] ppid=22598 vsize=706160 CPUtime=408.56 cores=0,2,4,6
/proc/22600/stat : 22600 (SArTagnan) R 22598 22600 22284 0 -1 4202496 601178 0 0 0 40744 112 0 0 25 0 4 0 523849160 723107840 114005 33554432000 4194304 4623224 140733560385376 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22600/statm: 176540 114005 344 105 0 172044 0
[pid=22600/tid=22602] ppid=22598 vsize=706160 CPUtime=102.27 cores=0,2,4,6
/proc/22600/task/22602/stat : 22602 (SArTagnan) R 22598 22600 22284 0 -1 4202560 53966 0 0 0 10207 20 0 0 25 0 4 0 523849162 723107840 114005 33554432000 4194304 4623224 140733560385376 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22600/tid=22603] ppid=22598 vsize=706160 CPUtime=101.72 cores=0,2,4,6
/proc/22600/task/22603/stat : 22603 (SArTagnan) R 22598 22600 22284 0 -1 4202560 45587 0 0 0 10158 14 0 0 25 0 4 0 523849162 723107840 114005 33554432000 4194304 4623224 140733560385376 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22600/tid=22604] ppid=22598 vsize=706160 CPUtime=102.27 cores=0,2,4,6
/proc/22600/task/22604/stat : 22604 (SArTagnan) R 22598 22600 22284 0 -1 4202560 424522 0 0 0 10161 66 0 0 25 0 4 0 523849162 723107840 114005 33554432000 4194304 4623224 140733560385376 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.56
Current children cumulated vsize (KiB) 706160

[startup+162.307 s]
/proc/loadavg: 8.10 8.09 7.96 9/184 22608
/proc/meminfo: memFree=28311448/32951124 swapFree=67111416/67111528
[pid=22600] ppid=22598 vsize=805460 CPUtime=648.25 cores=0,2,4,6
/proc/22600/stat : 22600 (SArTagnan) R 22598 22600 22284 0 -1 4202496 982479 0 0 0 64650 175 0 0 25 0 4 0 523849160 824791040 154069 33554432000 4194304 4623224 140733560385376 18446744073709551615 4415167 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22600/statm: 201365 154069 447 105 0 196869 0
[pid=22600/tid=22602] ppid=22598 vsize=805460 CPUtime=162.27 cores=0,2,4,6
/proc/22600/task/22602/stat : 22602 (SArTagnan) R 22598 22600 22284 0 -1 4202560 71483 0 0 0 16204 23 0 0 25 0 4 0 523849162 824791040 154069 33554432000 4194304 4623224 140733560385376 18446744073709551615 4376880 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22600/tid=22603] ppid=22598 vsize=805460 CPUtime=161.39 cores=0,2,4,6
/proc/22600/task/22603/stat : 22603 (SArTagnan) R 22598 22600 22284 0 -1 4202560 64766 0 0 0 16120 19 0 0 25 0 4 0 523849162 824791040 154069 33554432000 4194304 4623224 140733560385376 18446744073709551615 4373926 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22600/tid=22604] ppid=22598 vsize=805460 CPUtime=162.27 cores=0,2,4,6
/proc/22600/task/22604/stat : 22604 (SArTagnan) R 22598 22600 22284 0 -1 4202560 726929 0 0 0 16114 113 0 0 25 0 4 0 523849162 824791040 154069 33554432000 4194304 4623224 140733560385376 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 648.25
Current children cumulated vsize (KiB) 805460

[startup+222.301 s]
/proc/loadavg: 8.04 8.07 7.96 9/184 22610
/proc/meminfo: memFree=28130364/32951124 swapFree=67111416/67111528
[pid=22600] ppid=22598 vsize=1018696 CPUtime=887.9 cores=0,2,4,6
/proc/22600/stat : 22600 (SArTagnan) R 22598 22600 22284 0 -1 4202496 1274533 0 0 0 88566 224 0 0 25 0 4 0 523849160 1043144704 192535 33554432000 4194304 4623224 140733560385376 18446744073709551615 4414885 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22600/statm: 254674 192553 417 105 0 250178 0
[pid=22600/tid=22602] ppid=22598 vsize=1018696 CPUtime=222.26 cores=0,2,4,6
/proc/22600/task/22602/stat : 22602 (SArTagnan) R 22598 22600 22284 0 -1 4202560 78786 0 0 0 22196 30 0 0 25 0 4 0 523849162 1043144704 192565 33554432000 4194304 4623224 140733560385376 18446744073709551615 4366446 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22600/tid=22603] ppid=22598 vsize=1018696 CPUtime=221.07 cores=0,2,4,6
/proc/22600/task/22603/stat : 22603 (SArTagnan) R 22598 22600 22284 0 -1 4202560 87350 0 0 0 22084 23 0 0 25 0 4 0 523849162 1043144704 192578 33554432000 4194304 4623224 140733560385376 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22600/tid=22604] ppid=22598 vsize=1018696 CPUtime=222.26 cores=0,2,4,6
/proc/22600/task/22604/stat : 22604 (SArTagnan) R 22598 22600 22284 0 -1 4202560 933306 0 0 0 22082 144 0 0 25 0 4 0 523849162 1043144704 192594 33554432000 4194304 4623224 140733560385376 18446744073709551615 212435714233 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 887.9
Current children cumulated vsize (KiB) 1018696

[startup+282.3 s]
/proc/loadavg: 8.01 8.05 7.96 9/184 22611
/proc/meminfo: memFree=27909220/32951124 swapFree=67111416/67111528
[pid=22600] ppid=22598 vsize=1245344 CPUtime=1127.56 cores=0,2,4,6
/proc/22600/stat : 22600 (SArTagnan) R 22598 22600 22284 0 -1 4202496 1869821 0 0 0 112438 318 0 0 25 0 4 0 523849160 1275232256 237624 33554432000 4194304 4623224 140733560385376 18446744073709551615 4355951 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22600/statm: 311336 237624 683 105 0 306840 0
[pid=22600/tid=22602] ppid=22598 vsize=1245344 CPUtime=282.26 cores=0,2,4,6

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

[pid=22600] ppid=22598 vsize=1937372 CPUtime=2805.3 cores=0,2,4,6
/proc/22600/stat : 22600 (SArTagnan) R 22598 22600 22284 0 -1 4202496 5171096 0 0 0 279659 871 0 0 25 0 4 0 523849160 1983868928 377545 33554432000 4194304 4623224 140733560385376 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22600/statm: 484343 377545 349 105 0 479847 0
[pid=22600/tid=22602] ppid=22598 vsize=1937372 CPUtime=702.27 cores=0,2,4,6
/proc/22600/task/22602/stat : 22602 (SArTagnan) R 22598 22600 22284 0 -1 4202560 156398 0 0 0 70172 55 0 0 25 0 4 0 523849162 1983868928 377545 33554432000 4194304 4623224 140733560385376 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22600/tid=22603] ppid=22598 vsize=1937372 CPUtime=698.48 cores=0,2,4,6
/proc/22600/task/22603/stat : 22603 (SArTagnan) R 22598 22600 22284 0 -1 4202560 189533 0 0 0 69793 55 0 0 25 0 4 0 523849162 1983868928 377545 33554432000 4194304 4623224 140733560385376 18446744073709551615 4376643 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22600/tid=22604] ppid=22598 vsize=1937372 CPUtime=702.27 cores=0,2,4,6
/proc/22600/task/22604/stat : 22604 (SArTagnan) R 22598 22600 22284 0 -1 4202560 4288792 0 0 0 69558 669 0 0 25 0 4 0 523849162 1983868928 377545 33554432000 4194304 4623224 140733560385376 18446744073709551615 4545903 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.3
Current children cumulated vsize (KiB) 1937372

[startup+762.301 s]
/proc/loadavg: 4.61 6.77 7.53 5/175 22642
/proc/meminfo: memFree=29027120/32951124 swapFree=67111416/67111528
[pid=22600] ppid=22598 vsize=1972752 CPUtime=3044.97 cores=0,2,4,6
/proc/22600/stat : 22600 (SArTagnan) R 22598 22600 22284 0 -1 4202496 5598266 0 0 0 303551 946 0 0 25 0 4 0 523849160 2020098048 392284 33554432000 4194304 4623224 140733560385376 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22600/statm: 493188 392284 348 105 0 488692 0
[pid=22600/tid=22602] ppid=22598 vsize=1972752 CPUtime=762.26 cores=0,2,4,6
/proc/22600/task/22602/stat : 22602 (SArTagnan) R 22598 22600 22284 0 -1 4202560 156631 0 0 0 76171 55 0 0 25 0 4 0 523849162 2020098048 392284 33554432000 4194304 4623224 140733560385376 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22600/tid=22603] ppid=22598 vsize=1972752 CPUtime=758.17 cores=0,2,4,6
/proc/22600/task/22603/stat : 22603 (SArTagnan) R 22598 22600 22284 0 -1 4202560 197387 0 0 0 75759 58 0 0 25 0 4 0 523849162 2020098048 392284 33554432000 4194304 4623224 140733560385376 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22600/tid=22604] ppid=22598 vsize=1972752 CPUtime=762.26 cores=0,2,4,6
/proc/22600/task/22604/stat : 22604 (SArTagnan) R 22598 22600 22284 0 -1 4202560 4703070 0 0 0 75488 738 0 0 25 0 4 0 523849162 2020098048 392284 33554432000 4194304 4623224 140733560385376 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.97
Current children cumulated vsize (KiB) 1972752

[startup+822.307 s]
/proc/loadavg: 4.26 6.28 7.31 5/175 22644
/proc/meminfo: memFree=28984508/32951124 swapFree=67111416/67111528
[pid=22600] ppid=22598 vsize=1985688 CPUtime=3284.7 cores=0,2,4,6
/proc/22600/stat : 22600 (SArTagnan) R 22598 22600 22284 0 -1 4202496 6030231 0 0 0 327448 1022 0 0 25 0 4 0 523849160 2033344512 403679 33554432000 4194304 4623224 140733560385376 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22600/statm: 496422 403679 352 105 0 491926 0
[pid=22600/tid=22602] ppid=22598 vsize=1985688 CPUtime=822.28 cores=0,2,4,6
/proc/22600/task/22602/stat : 22602 (SArTagnan) R 22598 22600 22284 0 -1 4202560 156885 0 0 0 82172 56 0 0 25 0 4 0 523849162 2033344512 403679 33554432000 4194304 4623224 140733560385376 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22600/tid=22603] ppid=22598 vsize=1985688 CPUtime=817.88 cores=0,2,4,6
/proc/22600/task/22603/stat : 22603 (SArTagnan) R 22598 22600 22284 0 -1 4202560 201794 0 0 0 81727 61 0 0 25 0 4 0 523849162 2033344512 403679 33554432000 4194304 4623224 140733560385376 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22600/tid=22604] ppid=22598 vsize=1985688 CPUtime=822.27 cores=0,2,4,6
/proc/22600/task/22604/stat : 22604 (SArTagnan) R 22598 22600 22284 0 -1 4202560 5126240 0 0 0 81421 806 0 0 25 0 4 0 523849162 2033344512 403679 33554432000 4194304 4623224 140733560385376 18446744073709551615 4550444 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.7
Current children cumulated vsize (KiB) 1985688

[startup+882.301 s]
/proc/loadavg: 4.09 5.86 7.10 5/175 22645
/proc/meminfo: memFree=28941548/32951124 swapFree=67111416/67111528
[pid=22600] ppid=22598 vsize=1994664 CPUtime=3524.38 cores=0,2,4,6
/proc/22600/stat : 22600 (SArTagnan) R 22598 22600 22284 0 -1 4202496 6454708 0 0 0 351339 1099 0 0 25 0 4 0 523849160 2042535936 414304 33554432000 4194304 4623224 140733560385376 18446744073709551615 4414955 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22600/statm: 498666 414304 348 105 0 494170 0
[pid=22600/tid=22602] ppid=22598 vsize=1994664 CPUtime=882.28 cores=0,2,4,6
/proc/22600/task/22602/stat : 22602 (SArTagnan) R 22598 22600 22284 0 -1 4202560 157064 0 0 0 88171 57 0 0 25 0 4 0 523849162 2042535936 414304 33554432000 4194304 4623224 140733560385376 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22600/tid=22603] ppid=22598 vsize=1994664 CPUtime=877.56 cores=0,2,4,6
/proc/22600/task/22603/stat : 22603 (SArTagnan) R 22598 22600 22284 0 -1 4202560 204991 0 0 0 87694 62 0 0 25 0 4 0 523849162 2042535936 414304 33554432000 4194304 4623224 140733560385376 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22600/tid=22604] ppid=22598 vsize=1994664 CPUtime=882.27 cores=0,2,4,6
/proc/22600/task/22604/stat : 22604 (SArTagnan) R 22598 22600 22284 0 -1 4202560 5541209 0 0 0 87353 874 0 0 25 0 4 0 523849162 2042535936 414304 33554432000 4194304 4623224 140733560385376 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.38
Current children cumulated vsize (KiB) 1994664

[startup+942.301 s]
/proc/loadavg: 4.11 5.54 6.91 5/175 22647
/proc/meminfo: memFree=28844628/32951124 swapFree=67111416/67111528
[pid=22600] ppid=22598 vsize=2226532 CPUtime=3764.05 cores=0,2,4,6
/proc/22600/stat : 22600 (SArTagnan) R 22598 22600 22284 0 -1 4202496 6992019 0 0 0 375219 1186 0 0 25 0 4 0 523849160 2279968768 436700 33554432000 4194304 4623224 140733560385376 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22600/statm: 556633 436700 349 105 0 552137 0
[pid=22600/tid=22602] ppid=22598 vsize=2226532 CPUtime=942.27 cores=0,2,4,6
/proc/22600/task/22602/stat : 22602 (SArTagnan) R 22598 22600 22284 0 -1 4202560 157223 0 0 0 94170 57 0 0 25 0 4 0 523849162 2279968768 436700 33554432000 4194304 4623224 140733560385376 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22600/tid=22603] ppid=22598 vsize=2226532 CPUtime=937.24 cores=0,2,4,6
/proc/22600/task/22603/stat : 22603 (SArTagnan) R 22598 22600 22284 0 -1 4202560 207676 0 0 0 93661 63 0 0 25 0 4 0 523849162 2279968768 436700 33554432000 4194304 4623224 140733560385376 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22600/tid=22604] ppid=22598 vsize=2226532 CPUtime=942.26 cores=0,2,4,6
/proc/22600/task/22604/stat : 22604 (SArTagnan) R 22598 22600 22284 0 -1 4202560 5946724 0 0 0 93283 943 0 0 25 0 4 0 523849162 2279968768 436700 33554432000 4194304 4623224 140733560385376 18446744073709551615 4577456 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.05
Current children cumulated vsize (KiB) 2226532

[startup+1002.3 s]
/proc/loadavg: 4.11 5.27 6.73 5/175 22649
/proc/meminfo: memFree=28801660/32951124 swapFree=67111416/67111528
[pid=22600] ppid=22598 vsize=2243588 CPUtime=4003.75 cores=0,2,4,6
/proc/22600/stat : 22600 (SArTagnan) R 22598 22600 22284 0 -1 4202496 7380517 0 0 0 399121 1254 0 0 25 0 4 0 523849160 2297434112 448358 33554432000 4194304 4623224 140733560385376 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22600/statm: 560897 448358 344 105 0 556401 0
[pid=22600/tid=22602] ppid=22598 vsize=2243588 CPUtime=1002.28 cores=0,2,4,6
/proc/22600/task/22602/stat : 22602 (SArTagnan) R 22598 22600 22284 0 -1 4202560 157428 0 0 0 100170 58 0 0 25 0 4 0 523849162 2297434112 448358 33554432000 4194304 4623224 140733560385376 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22600/tid=22603] ppid=22598 vsize=2243588 CPUtime=996.94 cores=0,2,4,6
/proc/22600/task/22603/stat : 22603 (SArTagnan) R 22598 22600 22284 0 -1 4202560 211473 0 0 0 99629 65 0 0 25 0 4 0 523849162 2297434112 448358 33554432000 4194304 4623224 140733560385376 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22600/tid=22604] ppid=22598 vsize=2243588 CPUtime=1002.26 cores=0,2,4,6
/proc/22600/task/22604/stat : 22604 (SArTagnan) R 22598 22600 22284 0 -1 4202560 6327428 0 0 0 99219 1007 0 0 25 0 4 0 523849162 2297434112 448358 33554432000 4194304 4623224 140733560385376 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.75
Current children cumulated vsize (KiB) 2243588

[startup+1062.3 s]
/proc/loadavg: 4.11 5.05 6.56 5/175 22650
/proc/meminfo: memFree=28727580/32951124 swapFree=67111416/67111528
[pid=22600] ppid=22598 vsize=2355804 CPUtime=4243.45 cores=0,2,4,6
/proc/22600/stat : 22600 (SArTagnan) R 22598 22600 22284 0 -1 4202496 7766879 0 0 0 423011 1334 0 0 25 0 4 0 523849160 2412343296 466607 33554432000 4194304 4623224 140733560385376 18446744073709551615 4510244 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22600/statm: 588951 466607 346 105 0 584455 0
[pid=22600/tid=22602] ppid=22598 vsize=2355804 CPUtime=1062.26 cores=0,2,4,6
/proc/22600/task/22602/stat : 22602 (SArTagnan) R 22598 22600 22284 0 -1 4202560 157852 0 0 0 106168 58 0 0 25 0 4 0 523849162 2412343296 466607 33554432000 4194304 4623224 140733560385376 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22600/tid=22603] ppid=22598 vsize=2355804 CPUtime=1056.64 cores=0,2,4,6
/proc/22600/task/22603/stat : 22603 (SArTagnan) R 22598 22600 22284 0 -1 4202560 212265 0 0 0 105598 66 0 0 25 0 4 0 523849162 2412343296 466607 33554432000 4194304 4623224 140733560385376 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22600/tid=22604] ppid=22598 vsize=2355804 CPUtime=1062.26 cores=0,2,4,6
/proc/22600/task/22604/stat : 22604 (SArTagnan) R 22598 22600 22284 0 -1 4202560 6690623 0 0 0 105159 1067 0 0 25 0 4 0 523849162 2412343296 466607 33554432000 4194304 4623224 140733560385376 18446744073709551615 4550495 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.45
Current children cumulated vsize (KiB) 2355804

[startup+1122.3 s]
/proc/loadavg: 4.04 4.86 6.40 5/175 22652
/proc/meminfo: memFree=28684612/32951124 swapFree=67111416/67111528
[pid=22600] ppid=22598 vsize=2369004 CPUtime=4483.15 cores=0,2,4,6
/proc/22600/stat : 22600 (SArTagnan) R 22598 22600 22284 0 -1 4202496 8269306 0 0 0 446898 1417 0 0 25 0 4 0 523849160 2425860096 477780 33554432000 4194304 4623224 140733560385376 18446744073709551615 4414955 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22600/statm: 592251 477780 352 105 0 587755 0
[pid=22600/tid=22602] ppid=22598 vsize=2369004 CPUtime=1122.27 cores=0,2,4,6
/proc/22600/task/22602/stat : 22602 (SArTagnan) R 22598 22600 22284 0 -1 4202560 158165 0 0 0 112168 59 0 0 25 0 4 0 523849162 2425860096 477780 33554432000 4194304 4623224 140733560385376 18446744073709551615 4357653 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22600/tid=22603] ppid=22598 vsize=2369004 CPUtime=1116.34 cores=0,2,4,6
/proc/22600/task/22603/stat : 22603 (SArTagnan) R 22598 22600 22284 0 -1 4202560 216862 0 0 0 111567 67 0 0 25 0 4 0 523849162 2425860096 477780 33554432000 4194304 4623224 140733560385376 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22600/tid=22604] ppid=22598 vsize=2369004 CPUtime=1122.27 cores=0,2,4,6
/proc/22600/task/22604/stat : 22604 (SArTagnan) R 22598 22600 22284 0 -1 4202560 7104693 0 0 0 111096 1131 0 0 25 0 4 0 523849162 2425860096 477780 33554432000 4194304 4623224 140733560385376 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.15
Current children cumulated vsize (KiB) 2369004

[startup+1182.3 s]
/proc/loadavg: 4.07 4.71 6.25 5/175 22653
/proc/meminfo: memFree=28645992/32951124 swapFree=67111416/67111528
[pid=22600] ppid=22598 vsize=2428812 CPUtime=4722.86 cores=0,2,4,6
/proc/22600/stat : 22600 (SArTagnan) R 22598 22600 22284 0 -1 4202496 8732948 0 0 0 470780 1506 0 0 25 0 4 0 523849160 2487103488 487109 33554432000 4194304 4623224 140733560385376 18446744073709551615 4510090 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22600/statm: 607203 487109 347 105 0 602707 0
[pid=22600/tid=22602] ppid=22598 vsize=2428812 CPUtime=1182.27 cores=0,2,4,6
/proc/22600/task/22602/stat : 22602 (SArTagnan) R 22598 22600 22284 0 -1 4202560 158384 0 0 0 118168 59 0 0 25 0 4 0 523849162 2487103488 487109 33554432000 4194304 4623224 140733560385376 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22600/tid=22603] ppid=22598 vsize=2428812 CPUtime=1176.04 cores=0,2,4,6
/proc/22600/task/22603/stat : 22603 (SArTagnan) R 22598 22600 22284 0 -1 4202560 219239 0 0 0 117535 69 0 0 25 0 4 0 523849162 2487103488 487109 33554432000 4194304 4623224 140733560385376 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22600/tid=22604] ppid=22598 vsize=2428812 CPUtime=1182.26 cores=0,2,4,6
/proc/22600/task/22604/stat : 22604 (SArTagnan) R 22598 22600 22284 0 -1 4202560 7460619 0 0 0 117032 1194 0 0 25 0 4 0 523849162 2487103488 487109 33554432000 4194304 4623224 140733560385376 18446744073709551615 4376892 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.86
Current children cumulated vsize (KiB) 2428812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 4.05 4.67 6.20 5/175 22654
/proc/meminfo: memFree=28638036/32951124 swapFree=67111416/67111528
[pid=22600] ppid=22598 vsize=2428944 CPUtime=4800.4 cores=0,2,4,6
/proc/22600/stat : 22600 (SArTagnan) R 22598 22600 22284 0 -1 4202496 8886256 0 0 0 478502 1538 0 0 25 0 4 0 523849160 2487238656 489065 33554432000 4194304 4623224 140733560385376 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22600/statm: 607236 489065 351 105 0 602740 0
[pid=22600/tid=22602] ppid=22598 vsize=2428944 CPUtime=1201.68 cores=0,2,4,6
/proc/22600/task/22602/stat : 22602 (SArTagnan) R 22598 22600 22284 0 -1 4202560 158654 0 0 0 120109 59 0 0 25 0 4 0 523849162 2487238656 489065 33554432000 4194304 4623224 140733560385376 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22600/tid=22603] ppid=22598 vsize=2428944 CPUtime=1195.34 cores=0,2,4,6
/proc/22600/task/22603/stat : 22603 (SArTagnan) R 22598 22600 22284 0 -1 4202560 219267 0 0 0 119465 69 0 0 25 0 4 0 523849162 2487238656 489065 33554432000 4194304 4623224 140733560385376 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22600/tid=22604] ppid=22598 vsize=2428944 CPUtime=1201.68 cores=0,2,4,6
/proc/22600/task/22604/stat : 22604 (SArTagnan) R 22598 22600 22284 0 -1 4202560 7588789 0 0 0 118949 1219 0 0 25 0 4 0 523849162 2487238656 489065 33554432000 4194304 4623224 140733560385376 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 2428944

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

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

[startup+1201.7 s]
/proc/loadavg: 4.05 4.67 6.20 5/175 22654
/proc/meminfo: memFree=28638036/32951124 swapFree=67111416/67111528
[pid=22600] ppid=22598 vsize=2428944 CPUtime=4800.4 cores=0,2,4,6
/proc/22600/stat : 22600 (SArTagnan) R 22598 22600 22284 0 -1 4202496 8886256 0 0 0 478502 1538 0 0 25 0 4 0 523849160 2487238656 489065 33554432000 4194304 4623224 140733560385376 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22600/statm: 607236 489065 351 105 0 602740 0
[pid=22600/tid=22602] ppid=22598 vsize=2428944 CPUtime=1201.68 cores=0,2,4,6
/proc/22600/task/22602/stat : 22602 (SArTagnan) R 22598 22600 22284 0 -1 4202560 158654 0 0 0 120109 59 0 0 25 0 4 0 523849162 2487238656 489065 33554432000 4194304 4623224 140733560385376 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22600/tid=22603] ppid=22598 vsize=2428944 CPUtime=1195.34 cores=0,2,4,6
/proc/22600/task/22603/stat : 22603 (SArTagnan) R 22598 22600 22284 0 -1 4202560 219267 0 0 0 119465 69 0 0 25 0 4 0 523849162 2487238656 489065 33554432000 4194304 4623224 140733560385376 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22600/tid=22604] ppid=22598 vsize=2428944 CPUtime=1201.68 cores=0,2,4,6
/proc/22600/task/22604/stat : 22604 (SArTagnan) R 22598 22600 22284 0 -1 4202560 7588789 0 0 0 118949 1219 0 0 25 0 4 0 523849162 2487238656 489065 33554432000 4194304 4623224 140733560385376 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 2428944

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.82
CPU time (s): 4800.53
CPU user time (s): 4785.05
CPU system time (s): 15.4786
CPU usage (%): 399.439
Max. virtual memory (cumulated for all children) (KiB): 2666508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4785.05
system time used= 15.4786
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8886261
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= 1707
involuntary context switches= 27735

runsolver used 1.9897 second user time and 4.37633 second system time

The end

Launcher Data 

Begin job on node102 at 2011-04-30 02:14:28
IDJOB=3266888
IDBENCH=88215
IDSOLVER=1656
FILE ID=node102/3266888-1304122468
RUNJOBID= node102-1304119506-22302
PBS_JOBID= 13170726
Free space on /tmp= 71560 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m32-q369.75-n30-p15-s59317012.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3266888-1304122468/watcher-3266888-1304122468 -o /tmp/evaluation-result-3266888-1304122468/solver-3266888-1304122468 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3266888-1304122468.cnf -threads=4

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

MD5SUM BENCH= 02e75ad23aeadbf30b2a4fb3c21ae723
RANDOM SEED=1016444419

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29017340 kB
Buffers:        605744 kB
Cached:        1269872 kB
SwapCached:          0 kB
Active:        1719600 kB
Inactive:      1796348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29017340 kB
SwapTotal:    67111528 kB
SwapFree:     67111416 kB
Dirty:            1224 kB
Writeback:           0 kB
AnonPages:     1639852 kB
Mapped:          15468 kB
Slab:           351664 kB
PageTables:       7800 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  2125760 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= 71560 MiB
End job on node102 at 2011-04-30 02:34:32