Trace number 3266448

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.28 1201.78

General information on the benchmark

NameSAT02/handmade/simon/
satex-challenges/c6288.shuffled.cnf
MD5SUM75bd8319132b47c2d2e6f0889735a248
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.865867
Satisfiable
(Un)Satisfiability was proved
Number of variables5008
Number of clauses14813
Sum of the clauses size34485
Maximum clause length33
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 29982
Number of clauses of size 34829
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51

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-3266448-1304111820/watcher-3266448-1304111820 -o /tmp/evaluation-result-3266448-1304111820/solver-3266448-1304111820 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3266448-1304111820.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: 3.58 6.07 7.25 3/176 4043
/proc/meminfo: memFree=24150196/32951124 swapFree=67111524/67111528
[pid=4043] ppid=4041 vsize=19692 CPUtime=0 cores=0,2,4,6
/proc/4043/stat : 4043 (SArTagnan) R 4041 4043 4006 0 -1 4202496 670 0 0 0 0 0 0 0 25 0 1 0 522779725 20164608 607 33554432000 4194304 4623224 140735075481408 18446744073709551615 4388779 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/4043/statm: 4923 607 297 105 0 427 0

[startup+0.048067 s]
/proc/loadavg: 3.58 6.07 7.25 3/176 4043
/proc/meminfo: memFree=24150196/32951124 swapFree=67111524/67111528
[pid=4043] ppid=4041 vsize=250668 CPUtime=0.15 cores=0,2,4,6
/proc/4043/stat : 4043 (SArTagnan) R 4041 4043 4006 0 -1 4202496 2022 0 0 0 15 0 0 0 25 0 4 0 522779725 256684032 1788 33554432000 4194304 4623224 140735075481408 18446744073709551615 4389076 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4043/statm: 62667 1789 342 105 0 58171 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 250668

[startup+0.109442 s]
/proc/loadavg: 3.58 6.07 7.25 3/176 4043
/proc/meminfo: memFree=24150196/32951124 swapFree=67111524/67111528
[pid=4043] ppid=4041 vsize=261360 CPUtime=0.4 cores=0,2,4,6
/proc/4043/stat : 4043 (SArTagnan) R 4041 4043 4006 0 -1 4202496 9558 0 0 0 39 1 0 0 25 0 4 0 522779725 267632640 5455 33554432000 4194304 4623224 140735075481408 18446744073709551615 4360256 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4043/statm: 65340 5455 342 105 0 60844 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 261360

[startup+0.300303 s]
/proc/loadavg: 3.58 6.07 7.25 3/176 4043
/proc/meminfo: memFree=24150196/32951124 swapFree=67111524/67111528
[pid=4043] ppid=4041 vsize=261552 CPUtime=1.16 cores=0,2,4,6
/proc/4043/stat : 4043 (SArTagnan) R 4041 4043 4006 0 -1 4202496 9634 0 0 0 115 1 0 0 25 0 4 0 522779725 267829248 5353 33554432000 4194304 4623224 140735075481408 18446744073709551615 4510030 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4043/statm: 65388 5353 344 105 0 60892 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 261552

[startup+0.700231 s]
/proc/loadavg: 3.58 6.07 7.25 3/176 4043
/proc/meminfo: memFree=24150196/32951124 swapFree=67111524/67111528
[pid=4043] ppid=4041 vsize=263804 CPUtime=2.76 cores=0,2,4,6
/proc/4043/stat : 4043 (SArTagnan) R 4041 4043 4006 0 -1 4202496 10950 0 0 0 275 1 0 0 25 0 4 0 522779725 270135296 5739 33554432000 4194304 4623224 140735075481408 18446744073709551615 4510282 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4043/statm: 65951 5739 344 105 0 61455 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 263804

[startup+1.50108 s]
/proc/loadavg: 3.58 6.07 7.25 10/184 4051
/proc/meminfo: memFree=24109848/32951124 swapFree=67111524/67111528
[pid=4043] ppid=4041 vsize=264536 CPUtime=5.96 cores=0,2,4,6
/proc/4043/stat : 4043 (SArTagnan) R 4041 4043 4006 0 -1 4202496 14944 0 0 0 594 2 0 0 25 0 4 0 522779725 270884864 6254 33554432000 4194304 4623224 140735075481408 18446744073709551615 4385133 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4043/statm: 66134 6254 344 105 0 61638 0
[pid=4043/tid=4049] ppid=4041 vsize=264536 CPUtime=1.48 cores=0,2,4,6
/proc/4043/task/4049/stat : 4049 (SArTagnan) R 4041 4043 4006 0 -1 4202560 1711 0 0 0 148 0 0 0 25 0 4 0 522779726 270884864 6254 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4043/tid=4050] ppid=4041 vsize=264536 CPUtime=1.48 cores=0,2,4,6
/proc/4043/task/4050/stat : 4050 (SArTagnan) R 4041 4043 4006 0 -1 4202560 1842 0 0 0 148 0 0 0 25 0 4 0 522779726 270884864 6254 33554432000 4194304 4623224 140735075481408 18446744073709551615 4465909 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4043/tid=4051] ppid=4041 vsize=264536 CPUtime=1.47 cores=0,2,4,6
/proc/4043/task/4051/stat : 4051 (SArTagnan) R 4041 4043 4006 0 -1 4202560 6121 0 0 0 147 0 0 0 25 0 4 0 522779726 270884864 6254 33554432000 4194304 4623224 140735075481408 18446744073709551615 4366391 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 264536

[startup+3.10079 s]
/proc/loadavg: 3.58 6.07 7.25 9/184 4051
/proc/meminfo: memFree=24099804/32951124 swapFree=67111524/67111528
[pid=4043] ppid=4041 vsize=268836 CPUtime=12.35 cores=0,2,4,6
/proc/4043/stat : 4043 (SArTagnan) R 4041 4043 4006 0 -1 4202496 18173 0 0 0 1233 2 0 0 25 0 4 0 522779725 275288064 8049 33554432000 4194304 4623224 140735075481408 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4043/statm: 67209 8049 345 105 0 62713 0
[pid=4043/tid=4049] ppid=4041 vsize=268836 CPUtime=3.08 cores=0,2,4,6
/proc/4043/task/4049/stat : 4049 (SArTagnan) R 4041 4043 4006 0 -1 4202560 2005 0 0 0 308 0 0 0 25 0 4 0 522779726 275288064 8049 33554432000 4194304 4623224 140735075481408 18446744073709551615 4366341 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4043/tid=4050] ppid=4041 vsize=268836 CPUtime=3.08 cores=0,2,4,6
/proc/4043/task/4050/stat : 4050 (SArTagnan) R 4041 4043 4006 0 -1 4202560 2090 0 0 0 308 0 0 0 25 0 4 0 522779726 275288064 8049 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376678 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4043/tid=4051] ppid=4041 vsize=268836 CPUtime=3.07 cores=0,2,4,6
/proc/4043/task/4051/stat : 4051 (SArTagnan) R 4041 4043 4006 0 -1 4202560 8358 0 0 0 306 1 0 0 25 0 4 0 522779726 275288064 8049 33554432000 4194304 4623224 140735075481408 18446744073709551615 4377885 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 268836

[startup+6.30021 s]
/proc/loadavg: 3.94 6.10 7.25 9/184 4051
/proc/meminfo: memFree=24066596/32951124 swapFree=67111524/67111528
[pid=4043] ppid=4041 vsize=277460 CPUtime=25.13 cores=0,2,4,6
/proc/4043/stat : 4043 (SArTagnan) R 4041 4043 4006 0 -1 4202496 29644 0 0 0 2508 5 0 0 25 0 4 0 522779725 284119040 11430 33554432000 4194304 4623224 140735075481408 18446744073709551615 4517494 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4043/statm: 69365 11430 345 105 0 64869 0
[pid=4043/tid=4049] ppid=4041 vsize=277460 CPUtime=6.28 cores=0,2,4,6
/proc/4043/task/4049/stat : 4049 (SArTagnan) R 4041 4043 4006 0 -1 4202560 3137 0 0 0 627 1 0 0 25 0 4 0 522779726 284119040 11430 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376853 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4043/tid=4050] ppid=4041 vsize=277460 CPUtime=6.28 cores=0,2,4,6
/proc/4043/task/4050/stat : 4050 (SArTagnan) R 4041 4043 4006 0 -1 4202560 3201 0 0 0 627 1 0 0 25 0 4 0 522779726 284119040 11430 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376829 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4043/tid=4051] ppid=4041 vsize=277460 CPUtime=6.25 cores=0,2,4,6
/proc/4043/task/4051/stat : 4051 (SArTagnan) R 4041 4043 4006 0 -1 4202560 16749 0 0 0 624 1 0 0 25 0 4 0 522779726 284119040 11430 33554432000 4194304 4623224 140735075481408 18446744073709551615 4571888 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 277460

[startup+12.701 s]
/proc/loadavg: 4.26 6.14 7.25 9/184 4051
/proc/meminfo: memFree=24007904/32951124 swapFree=67111524/67111528
[pid=4043] ppid=4041 vsize=280360 CPUtime=50.7 cores=0,2,4,6
/proc/4043/stat : 4043 (SArTagnan) R 4041 4043 4006 0 -1 4202496 67187 0 0 0 5058 12 0 0 25 0 4 0 522779725 287088640 16893 33554432000 4194304 4623224 140735075481408 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4043/statm: 70090 16893 345 105 0 65594 0
[pid=4043/tid=4049] ppid=4041 vsize=280360 CPUtime=12.68 cores=0,2,4,6
/proc/4043/task/4049/stat : 4049 (SArTagnan) R 4041 4043 4006 0 -1 4202560 5372 0 0 0 1267 1 0 0 25 0 4 0 522779726 287088640 16893 33554432000 4194304 4623224 140735075481408 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4043/tid=4050] ppid=4041 vsize=280360 CPUtime=12.67 cores=0,2,4,6
/proc/4043/task/4050/stat : 4050 (SArTagnan) R 4041 4043 4006 0 -1 4202560 5088 0 0 0 1266 1 0 0 25 0 4 0 522779726 287088640 16893 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376853 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4043/tid=4051] ppid=4041 vsize=280360 CPUtime=12.62 cores=0,2,4,6
/proc/4043/task/4051/stat : 4051 (SArTagnan) R 4041 4043 4006 0 -1 4202560 49237 0 0 0 1255 7 0 0 25 0 4 0 522779726 287088640 16893 33554432000 4194304 4623224 140735075481408 18446744073709551615 212687342594 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 280360

[startup+25.5007 s]
/proc/loadavg: 5.09 6.23 7.27 9/184 4052
/proc/meminfo: memFree=23933248/32951124 swapFree=67111524/67111528
[pid=4043] ppid=4041 vsize=286668 CPUtime=101.82 cores=0,2,4,6
/proc/4043/stat : 4043 (SArTagnan) R 4041 4043 4006 0 -1 4202496 138985 0 0 0 10159 23 0 0 25 0 4 0 522779725 293548032 25279 33554432000 4194304 4623224 140735075481408 18446744073709551615 4511006 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4043/statm: 71667 25279 345 105 0 67171 0
[pid=4043/tid=4049] ppid=4041 vsize=286668 CPUtime=25.48 cores=0,2,4,6
/proc/4043/task/4049/stat : 4049 (SArTagnan) R 4041 4043 4006 0 -1 4202560 8774 0 0 0 2545 3 0 0 25 0 4 0 522779726 293548032 25279 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4043/tid=4050] ppid=4041 vsize=286668 CPUtime=25.48 cores=0,2,4,6
/proc/4043/task/4050/stat : 4050 (SArTagnan) R 4041 4043 4006 0 -1 4202560 7518 0 0 0 2546 2 0 0 25 0 4 0 522779726 293548032 25279 33554432000 4194304 4623224 140735075481408 18446744073709551615 4377885 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4043/tid=4051] ppid=4041 vsize=286668 CPUtime=25.34 cores=0,2,4,6
/proc/4043/task/4051/stat : 4051 (SArTagnan) R 4041 4043 4006 0 -1 4202560 113442 0 0 0 2519 15 0 0 25 0 4 0 522779726 293548032 25279 33554432000 4194304 4623224 140735075481408 18446744073709551615 4366043 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 286668

[startup+51.1011 s]
/proc/loadavg: 6.08 6.37 7.28 9/184 4052
/proc/meminfo: memFree=23791248/32951124 swapFree=67111524/67111528
[pid=4043] ppid=4041 vsize=317696 CPUtime=204.09 cores=0,2,4,6
/proc/4043/stat : 4043 (SArTagnan) R 4041 4043 4006 0 -1 4202496 224777 0 0 0 20369 40 0 0 25 0 4 0 522779725 325320704 41768 33554432000 4194304 4623224 140735075481408 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4043/statm: 79424 41768 346 105 0 74928 0
[pid=4043/tid=4049] ppid=4041 vsize=317696 CPUtime=51.08 cores=0,2,4,6
/proc/4043/task/4049/stat : 4049 (SArTagnan) R 4041 4043 4006 0 -1 4202560 13243 0 0 0 5103 5 0 0 25 0 4 0 522779726 325320704 41768 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4043/tid=4050] ppid=4041 vsize=317696 CPUtime=51.08 cores=0,2,4,6
/proc/4043/task/4050/stat : 4050 (SArTagnan) R 4041 4043 4006 0 -1 4202560 15883 0 0 0 5104 4 0 0 25 0 4 0 522779726 325320704 41768 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4043/tid=4051] ppid=4041 vsize=317696 CPUtime=50.81 cores=0,2,4,6
/proc/4043/task/4051/stat : 4051 (SArTagnan) R 4041 4043 4006 0 -1 4202560 183265 0 0 0 5054 27 0 0 25 0 4 0 522779726 325320704 41768 33554432000 4194304 4623224 140735075481408 18446744073709551615 4546788 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 317696

[startup+102.307 s]
/proc/loadavg: 7.17 6.62 7.32 9/184 4054
/proc/meminfo: memFree=23479252/32951124 swapFree=67111524/67111528
[pid=4043] ppid=4041 vsize=568988 CPUtime=408.63 cores=0,2,4,6
/proc/4043/stat : 4043 (SArTagnan) R 4041 4043 4006 0 -1 4202496 430667 0 0 0 40787 76 0 0 25 0 4 0 522779725 582643712 93868 33554432000 4194304 4623224 140735075481408 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4043/statm: 142247 93868 813 105 0 137751 0
[pid=4043/tid=4049] ppid=4041 vsize=568988 CPUtime=102.28 cores=0,2,4,6
/proc/4043/task/4049/stat : 4049 (SArTagnan) R 4041 4043 4006 0 -1 4202560 20376 0 0 0 10221 7 0 0 25 0 4 0 522779726 582643712 93868 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4043/tid=4050] ppid=4041 vsize=568988 CPUtime=102.28 cores=0,2,4,6
/proc/4043/task/4050/stat : 4050 (SArTagnan) R 4041 4043 4006 0 -1 4202560 24506 0 0 0 10221 7 0 0 25 0 4 0 522779726 582643712 93868 33554432000 4194304 4623224 140735075481408 18446744073709551615 4462966 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4043/tid=4051] ppid=4041 vsize=568988 CPUtime=101.74 cores=0,2,4,6
/proc/4043/task/4051/stat : 4051 (SArTagnan) R 4041 4043 4006 0 -1 4202560 318757 0 0 0 10123 51 0 0 25 0 4 0 522779726 582643712 93868 33554432000 4194304 4623224 140735075481408 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 568988

[startup+162.301 s]
/proc/loadavg: 7.74 6.88 7.36 9/184 4055
/proc/meminfo: memFree=23291004/32951124 swapFree=67111524/67111528
[pid=4043] ppid=4041 vsize=651528 CPUtime=648.28 cores=0,2,4,6
/proc/4043/stat : 4043 (SArTagnan) R 4041 4043 4006 0 -1 4202496 464180 0 0 0 64746 82 0 0 25 0 4 0 522779725 667164672 116690 33554432000 4194304 4623224 140735075481408 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4043/statm: 162882 116690 869 105 0 158386 0
[pid=4043/tid=4049] ppid=4041 vsize=651528 CPUtime=162.28 cores=0,2,4,6
/proc/4043/task/4049/stat : 4049 (SArTagnan) R 4041 4043 4006 0 -1 4202560 25785 0 0 0 16220 8 0 0 25 0 4 0 522779726 667164672 116690 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4043/tid=4050] ppid=4041 vsize=651528 CPUtime=162.26 cores=0,2,4,6
/proc/4043/task/4050/stat : 4050 (SArTagnan) R 4041 4043 4006 0 -1 4202560 27482 0 0 0 16218 8 0 0 25 0 4 0 522779726 667164672 116690 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4043/tid=4051] ppid=4041 vsize=651528 CPUtime=161.4 cores=0,2,4,6
/proc/4043/task/4051/stat : 4051 (SArTagnan) R 4041 4043 4006 0 -1 4202560 319798 0 0 0 16089 51 0 0 25 0 4 0 522779726 667164672 116690 33554432000 4194304 4623224 140735075481408 18446744073709551615 4550432 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 648.28
Current children cumulated vsize (KiB) 651528

[startup+222.301 s]
/proc/loadavg: 7.95 7.10 7.40 9/184 4057
/proc/meminfo: memFree=23127552/32951124 swapFree=67111524/67111528
[pid=4043] ppid=4041 vsize=728888 CPUtime=887.94 cores=0,2,4,6
/proc/4043/stat : 4043 (SArTagnan) R 4041 4043 4006 0 -1 4202496 506323 0 0 0 88703 91 0 0 25 0 4 0 522779725 746381312 137226 33554432000 4194304 4623224 140735075481408 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4043/statm: 182222 137226 510 105 0 177726 0
[pid=4043/tid=4049] ppid=4041 vsize=728888 CPUtime=222.28 cores=0,2,4,6
/proc/4043/task/4049/stat : 4049 (SArTagnan) R 4041 4043 4006 0 -1 4202560 28728 0 0 0 22217 11 0 0 25 0 4 0 522779726 746381312 137226 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376625 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4043/tid=4050] ppid=4041 vsize=728888 CPUtime=222.25 cores=0,2,4,6
/proc/4043/task/4050/stat : 4050 (SArTagnan) R 4041 4043 4006 0 -1 4202560 37574 0 0 0 22214 11 0 0 25 0 4 0 522779726 746381312 137226 33554432000 4194304 4623224 140735075481408 18446744073709551615 4464108 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4043/tid=4051] ppid=4041 vsize=728888 CPUtime=221.08 cores=0,2,4,6
/proc/4043/task/4051/stat : 4051 (SArTagnan) R 4041 4043 4006 0 -1 4202560 328247 0 0 0 22055 53 0 0 25 0 4 0 522779726 746381312 137226 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 887.94
Current children cumulated vsize (KiB) 728888

[startup+282.301 s]

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

[pid=4043] ppid=4041 vsize=1299956 CPUtime=2805.31 cores=0,2,4,6
/proc/4043/stat : 4043 (SArTagnan) R 4041 4043 4006 0 -1 4202496 1929073 0 0 0 280180 351 0 0 25 0 4 0 522779725 1331154944 262135 33554432000 4194304 4623224 140735075481408 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4043/statm: 324989 262135 364 105 0 320493 0
[pid=4043/tid=4049] ppid=4041 vsize=1299956 CPUtime=702.29 cores=0,2,4,6
/proc/4043/task/4049/stat : 4049 (SArTagnan) R 4041 4043 4006 0 -1 4202560 65844 0 0 0 70199 30 0 0 25 0 4 0 522779726 1331154944 262135 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4043/tid=4050] ppid=4041 vsize=1299956 CPUtime=702.21 cores=0,2,4,6
/proc/4043/task/4050/stat : 4050 (SArTagnan) R 4041 4043 4006 0 -1 4202560 89290 0 0 0 70186 35 0 0 25 0 4 0 522779726 1331154944 262135 33554432000 4194304 4623224 140735075481408 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4043/tid=4051] ppid=4041 vsize=1299956 CPUtime=698.47 cores=0,2,4,6
/proc/4043/task/4051/stat : 4051 (SArTagnan) R 4041 4043 4006 0 -1 4202560 1636131 0 0 0 69583 264 0 0 25 0 4 0 522779726 1331154944 262135 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.31
Current children cumulated vsize (KiB) 1299956

[startup+762.307 s]
/proc/loadavg: 8.04 7.88 7.67 9/184 4071
/proc/meminfo: memFree=22133164/32951124 swapFree=67111524/67111528
[pid=4043] ppid=4041 vsize=1408556 CPUtime=3045 cores=0,2,4,6
/proc/4043/stat : 4043 (SArTagnan) R 4041 4043 4006 0 -1 4202496 2187022 0 0 0 304104 396 0 0 25 0 4 0 522779725 1442361344 278021 33554432000 4194304 4623224 140735075481408 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4043/statm: 352139 278021 363 105 0 347643 0
[pid=4043/tid=4049] ppid=4041 vsize=1408556 CPUtime=762.3 cores=0,2,4,6
/proc/4043/task/4049/stat : 4049 (SArTagnan) R 4041 4043 4006 0 -1 4202560 67857 0 0 0 76198 32 0 0 25 0 4 0 522779726 1442361344 278021 33554432000 4194304 4623224 140735075481408 18446744073709551615 4462966 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4043/tid=4050] ppid=4041 vsize=1408556 CPUtime=762.21 cores=0,2,4,6
/proc/4043/task/4050/stat : 4050 (SArTagnan) R 4041 4043 4006 0 -1 4202560 92540 0 0 0 76184 37 0 0 25 0 4 0 522779726 1442361344 278021 33554432000 4194304 4623224 140735075481408 18446744073709551615 4377587 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4043/tid=4051] ppid=4041 vsize=1408556 CPUtime=758.15 cores=0,2,4,6
/proc/4043/task/4051/stat : 4051 (SArTagnan) R 4041 4043 4006 0 -1 4202560 1864735 0 0 0 75514 301 0 0 25 0 4 0 522779726 1442361344 278021 33554432000 4194304 4623224 140735075481408 18446744073709551615 4550411 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045
Current children cumulated vsize (KiB) 1408556

[startup+822.301 s]
/proc/loadavg: 8.05 7.92 7.70 9/184 4073
/proc/meminfo: memFree=22033196/32951124 swapFree=67111524/67111528
[pid=4043] ppid=4041 vsize=1466808 CPUtime=3284.64 cores=0,2,4,6
/proc/4043/stat : 4043 (SArTagnan) R 4041 4043 4006 0 -1 4202496 2314381 0 0 0 328046 418 0 0 25 0 4 0 522779725 1502011392 294905 33554432000 4194304 4623224 140735075481408 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4043/statm: 366702 294905 423 105 0 362206 0
[pid=4043/tid=4049] ppid=4041 vsize=1466808 CPUtime=822.3 cores=0,2,4,6
/proc/4043/task/4049/stat : 4049 (SArTagnan) R 4041 4043 4006 0 -1 4202560 69578 0 0 0 82196 34 0 0 25 0 4 0 522779726 1502011392 294905 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4043/tid=4050] ppid=4041 vsize=1466808 CPUtime=822.2 cores=0,2,4,6
/proc/4043/task/4050/stat : 4050 (SArTagnan) R 4041 4043 4006 0 -1 4202560 94118 0 0 0 82180 40 0 0 25 0 4 0 522779726 1502011392 294905 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4043/tid=4051] ppid=4041 vsize=1466808 CPUtime=817.82 cores=0,2,4,6
/proc/4043/task/4051/stat : 4051 (SArTagnan) R 4041 4043 4006 0 -1 4202560 1985310 0 0 0 81463 319 0 0 25 0 4 0 522779726 1502011392 294905 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376865 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.64
Current children cumulated vsize (KiB) 1466808

[startup+882.301 s]
/proc/loadavg: 8.05 7.94 7.72 9/184 4075
/proc/meminfo: memFree=21954196/32951124 swapFree=67111524/67111528
[pid=4043] ppid=4041 vsize=1468856 CPUtime=3524.31 cores=0,2,4,6
/proc/4043/stat : 4043 (SArTagnan) R 4041 4043 4006 0 -1 4202496 2376057 0 0 0 351998 433 0 0 25 0 4 0 522779725 1504108544 304181 33554432000 4194304 4623224 140735075481408 18446744073709551615 4510206 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4043/statm: 367214 304181 361 105 0 362718 0
[pid=4043/tid=4049] ppid=4041 vsize=1468856 CPUtime=882.3 cores=0,2,4,6
/proc/4043/task/4049/stat : 4049 (SArTagnan) R 4041 4043 4006 0 -1 4202560 72668 0 0 0 88194 36 0 0 25 0 4 0 522779726 1504108544 304181 33554432000 4194304 4623224 140735075481408 18446744073709551615 4289678 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4043/tid=4050] ppid=4041 vsize=1468856 CPUtime=882.19 cores=0,2,4,6
/proc/4043/task/4050/stat : 4050 (SArTagnan) R 4041 4043 4006 0 -1 4202560 96258 0 0 0 88177 42 0 0 25 0 4 0 522779726 1504108544 304181 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376675 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4043/tid=4051] ppid=4041 vsize=1468856 CPUtime=877.49 cores=0,2,4,6
/proc/4043/task/4051/stat : 4051 (SArTagnan) R 4041 4043 4006 0 -1 4202560 2039501 0 0 0 87421 328 0 0 25 0 4 0 522779726 1504108544 304181 33554432000 4194304 4623224 140735075481408 18446744073709551615 4550465 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.31
Current children cumulated vsize (KiB) 1468856

[startup+942.301 s]
/proc/loadavg: 8.13 7.98 7.74 9/184 4076
/proc/meminfo: memFree=21834396/32951124 swapFree=67111524/67111528
[pid=4043] ppid=4041 vsize=1538672 CPUtime=3763.99 cores=0,2,4,6
/proc/4043/stat : 4043 (SArTagnan) R 4041 4043 4006 0 -1 4202496 2630572 0 0 0 375922 477 0 0 25 0 4 0 522779725 1575600128 323587 33554432000 4194304 4623224 140735075481408 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4043/statm: 384668 323587 362 105 0 380172 0
[pid=4043/tid=4049] ppid=4041 vsize=1538672 CPUtime=942.3 cores=0,2,4,6
/proc/4043/task/4049/stat : 4049 (SArTagnan) R 4041 4043 4006 0 -1 4202560 95966 0 0 0 94189 41 0 0 25 0 4 0 522779726 1575600128 323587 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4043/tid=4050] ppid=4041 vsize=1538672 CPUtime=942.19 cores=0,2,4,6
/proc/4043/task/4050/stat : 4050 (SArTagnan) R 4041 4043 4006 0 -1 4202560 97722 0 0 0 94175 44 0 0 25 0 4 0 522779726 1575600128 323587 33554432000 4194304 4623224 140735075481408 18446744073709551615 4377679 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4043/tid=4051] ppid=4041 vsize=1538672 CPUtime=937.17 cores=0,2,4,6
/proc/4043/task/4051/stat : 4051 (SArTagnan) R 4041 4043 4006 0 -1 4202560 2266954 0 0 0 93352 365 0 0 25 0 4 0 522779726 1575600128 323587 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376732 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.99
Current children cumulated vsize (KiB) 1538672

[startup+1002.3 s]
/proc/loadavg: 8.16 8.01 7.76 9/184 4078
/proc/meminfo: memFree=21737908/32951124 swapFree=67111524/67111528
[pid=4043] ppid=4041 vsize=1604208 CPUtime=4003.66 cores=0,2,4,6
/proc/4043/stat : 4043 (SArTagnan) R 4041 4043 4006 0 -1 4202496 2846569 0 0 0 399852 514 0 0 25 0 4 0 522779725 1642708992 333773 33554432000 4194304 4623224 140735075481408 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4043/statm: 401052 333773 365 105 0 396556 0
[pid=4043/tid=4049] ppid=4041 vsize=1604208 CPUtime=1002.3 cores=0,2,4,6
/proc/4043/task/4049/stat : 4049 (SArTagnan) R 4041 4043 4006 0 -1 4202560 97451 0 0 0 100186 44 0 0 25 0 4 0 522779726 1642708992 333773 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376640 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4043/tid=4050] ppid=4041 vsize=1604208 CPUtime=1002.18 cores=0,2,4,6
/proc/4043/task/4050/stat : 4050 (SArTagnan) R 4041 4043 4006 0 -1 4202560 97908 0 0 0 100174 44 0 0 25 0 4 0 522779726 1642708992 333773 33554432000 4194304 4623224 140735075481408 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4043/tid=4051] ppid=4041 vsize=1604208 CPUtime=996.84 cores=0,2,4,6
/proc/4043/task/4051/stat : 4051 (SArTagnan) R 4041 4043 4006 0 -1 4202560 2479859 0 0 0 99286 398 0 0 25 0 4 0 522779726 1642708992 333773 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.66
Current children cumulated vsize (KiB) 1604208

[startup+1062.3 s]
/proc/loadavg: 8.21 8.05 7.79 9/184 4079
/proc/meminfo: memFree=21633092/32951124 swapFree=67111524/67111528
[pid=4043] ppid=4041 vsize=1649360 CPUtime=4243.33 cores=0,2,4,6
/proc/4043/stat : 4043 (SArTagnan) R 4041 4043 4006 0 -1 4202496 3091803 0 0 0 423779 554 0 0 25 0 4 0 522779725 1688944640 345082 33554432000 4194304 4623224 140735075481408 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4043/statm: 412340 345082 345 105 0 407844 0
[pid=4043/tid=4049] ppid=4041 vsize=1649360 CPUtime=1062.3 cores=0,2,4,6
/proc/4043/task/4049/stat : 4049 (SArTagnan) R 4041 4043 4006 0 -1 4202560 98730 0 0 0 106184 46 0 0 25 0 4 0 522779726 1688944640 345082 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4043/tid=4050] ppid=4041 vsize=1649360 CPUtime=1062.18 cores=0,2,4,6
/proc/4043/task/4050/stat : 4050 (SArTagnan) R 4041 4043 4006 0 -1 4202560 98079 0 0 0 106174 44 0 0 25 0 4 0 522779726 1688944640 345082 33554432000 4194304 4623224 140735075481408 18446744073709551615 4377613 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4043/tid=4051] ppid=4041 vsize=1649360 CPUtime=1056.52 cores=0,2,4,6
/proc/4043/task/4051/stat : 4051 (SArTagnan) R 4041 4043 4006 0 -1 4202560 2698610 0 0 0 105219 433 0 0 25 0 4 0 522779726 1688944640 345082 33554432000 4194304 4623224 140735075481408 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.33
Current children cumulated vsize (KiB) 1649360

[startup+1122.3 s]
/proc/loadavg: 8.15 8.06 7.81 9/184 4081
/proc/meminfo: memFree=21556316/32951124 swapFree=67111524/67111528
[pid=4043] ppid=4041 vsize=1717968 CPUtime=4483.01 cores=0,2,4,6
/proc/4043/stat : 4043 (SArTagnan) R 4041 4043 4006 0 -1 4202496 3313078 0 0 0 447706 595 0 0 25 0 4 0 522779725 1759199232 357090 33554432000 4194304 4623224 140735075481408 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4043/statm: 429492 357090 345 105 0 424996 0
[pid=4043/tid=4049] ppid=4041 vsize=1717968 CPUtime=1122.31 cores=0,2,4,6
/proc/4043/task/4049/stat : 4049 (SArTagnan) R 4041 4043 4006 0 -1 4202560 100156 0 0 0 112183 48 0 0 25 0 4 0 522779726 1759199232 357090 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4043/tid=4050] ppid=4041 vsize=1717968 CPUtime=1122.17 cores=0,2,4,6
/proc/4043/task/4050/stat : 4050 (SArTagnan) R 4041 4043 4006 0 -1 4202560 98254 0 0 0 112173 44 0 0 25 0 4 0 522779726 1759199232 357090 33554432000 4194304 4623224 140735075481408 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4043/tid=4051] ppid=4041 vsize=1717968 CPUtime=1116.19 cores=0,2,4,6
/proc/4043/task/4051/stat : 4051 (SArTagnan) R 4041 4043 4006 0 -1 4202560 2916178 0 0 0 111148 471 0 0 25 0 4 0 522779726 1759199232 357090 33554432000 4194304 4623224 140735075481408 18446744073709551615 4377576 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.01
Current children cumulated vsize (KiB) 1717968

[startup+1182.3 s]
/proc/loadavg: 8.12 8.06 7.83 9/184 4083
/proc/meminfo: memFree=21423116/32951124 swapFree=67111524/67111528
[pid=4043] ppid=4041 vsize=1717968 CPUtime=4722.68 cores=0,2,4,6
/proc/4043/stat : 4043 (SArTagnan) R 4041 4043 4006 0 -1 4202496 3538219 0 0 0 471633 635 0 0 25 0 4 0 522779725 1759199232 367533 33554432000 4194304 4623224 140735075481408 18446744073709551615 4510316 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4043/statm: 429492 367533 346 105 0 424996 0
[pid=4043/tid=4049] ppid=4041 vsize=1717968 CPUtime=1182.31 cores=0,2,4,6
/proc/4043/task/4049/stat : 4049 (SArTagnan) R 4041 4043 4006 0 -1 4202560 101633 0 0 0 118181 50 0 0 25 0 4 0 522779726 1759199232 367533 33554432000 4194304 4623224 140735075481408 18446744073709551615 4377587 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4043/tid=4050] ppid=4041 vsize=1717968 CPUtime=1182.16 cores=0,2,4,6
/proc/4043/task/4050/stat : 4050 (SArTagnan) R 4041 4043 4006 0 -1 4202560 99371 0 0 0 118171 45 0 0 25 0 4 0 522779726 1759199232 367533 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4043/tid=4051] ppid=4041 vsize=1717968 CPUtime=1175.87 cores=0,2,4,6
/proc/4043/task/4051/stat : 4051 (SArTagnan) R 4041 4043 4006 0 -1 4202560 3138025 0 0 0 117080 507 0 0 25 0 4 0 522779726 1759199232 367533 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.68
Current children cumulated vsize (KiB) 1717968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.09 8.06 7.83 10/184 4083
/proc/meminfo: memFree=21365452/32951124 swapFree=67111524/67111528
[pid=4043] ppid=4041 vsize=1717968 CPUtime=4800.19 cores=0,2,4,6
/proc/4043/stat : 4043 (SArTagnan) R 4041 4043 4006 0 -1 4202496 3612889 0 0 0 479372 647 0 0 25 0 4 0 522779725 1759199232 372855 33554432000 4194304 4623224 140735075481408 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4043/statm: 429492 372855 355 105 0 424996 0
[pid=4043/tid=4049] ppid=4041 vsize=1717968 CPUtime=1201.71 cores=0,2,4,6
/proc/4043/task/4049/stat : 4049 (SArTagnan) R 4041 4043 4006 0 -1 4202560 101989 0 0 0 120121 50 0 0 25 0 4 0 522779726 1759199232 372855 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376675 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4043/tid=4050] ppid=4041 vsize=1717968 CPUtime=1201.57 cores=0,2,4,6
/proc/4043/task/4050/stat : 4050 (SArTagnan) R 4041 4043 4006 0 -1 4202560 101363 0 0 0 120111 46 0 0 25 0 4 0 522779726 1759199232 372855 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4043/tid=4051] ppid=4041 vsize=1717968 CPUtime=1195.16 cores=0,2,4,6
/proc/4043/task/4051/stat : 4051 (SArTagnan) R 4041 4043 4006 0 -1 4202560 3210005 0 0 0 118998 518 0 0 25 0 4 0 522779726 1759199232 372855 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 1717968

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: 8.09 8.06 7.83 10/184 4083
/proc/meminfo: memFree=21365452/32951124 swapFree=67111524/67111528
[pid=4043] ppid=4041 vsize=1717968 CPUtime=4800.19 cores=0,2,4,6
/proc/4043/stat : 4043 (SArTagnan) R 4041 4043 4006 0 -1 4202496 3612889 0 0 0 479372 647 0 0 25 0 4 0 522779725 1759199232 372855 33554432000 4194304 4623224 140735075481408 18446744073709551615 4510169 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/4043/statm: 429492 372855 355 105 0 424996 0
[pid=4043/tid=4049] ppid=4041 vsize=1717968 CPUtime=1201.71 cores=0,2,4,6
/proc/4043/task/4049/stat : 4049 (SArTagnan) R 4041 4043 4006 0 -1 4202560 101989 0 0 0 120121 50 0 0 25 0 4 0 522779726 1759199232 372855 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376675 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4043/tid=4050] ppid=4041 vsize=1717968 CPUtime=1201.57 cores=0,2,4,6
/proc/4043/task/4050/stat : 4050 (SArTagnan) R 4041 4043 4006 0 -1 4202560 101363 0 0 0 120111 46 0 0 25 0 4 0 522779726 1759199232 372855 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4043/tid=4051] ppid=4041 vsize=1717968 CPUtime=1195.16 cores=0,2,4,6
/proc/4043/task/4051/stat : 4051 (SArTagnan) R 4041 4043 4006 0 -1 4202560 3210005 0 0 0 118998 518 0 0 25 0 4 0 522779726 1759199232 372855 33554432000 4194304 4623224 140735075481408 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 1717968

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.78
CPU time (s): 4800.28
CPU user time (s): 4793.74
CPU system time (s): 6.543
CPU usage (%): 399.431
Max. virtual memory (cumulated for all children) (KiB): 1737596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.74
system time used= 6.543
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3612890
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= 1839
involuntary context switches= 21591

runsolver used 1.9937 second user time and 4.56731 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-29 23:17:00
IDJOB=3266448
IDBENCH=87734
IDSOLVER=1656
FILE ID=node139/3266448-1304111820
RUNJOBID= node139-1304111820-4024
PBS_JOBID= 13170691
Free space on /tmp= 72552 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT02/handmade/simon/satex-challenges/c6288.shuffled.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3266448-1304111820/watcher-3266448-1304111820 -o /tmp/evaluation-result-3266448-1304111820/solver-3266448-1304111820 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3266448-1304111820.cnf -threads=4

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

MD5SUM BENCH= 75bd8319132b47c2d2e6f0889735a248
RANDOM SEED=808157173

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24150492 kB
Buffers:       2048296 kB
Cached:        6168864 kB
SwapCached:          4 kB
Active:         929196 kB
Inactive:      7351268 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24150492 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            1288 kB
Writeback:           0 kB
AnonPages:       63108 kB
Mapped:          14440 kB
Slab:           454204 kB
PageTables:       5432 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188324 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= 72552 MiB
End job on node139 at 2011-04-29 23:37:04