Trace number 3284805

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? (exit code) 2353.58 590.355

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf
MD5SUMf52ec4dacdcf65c3aedb61fb46ade01b
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1119.56
Satisfiable
(Un)Satisfiability was proved
Number of variables153284
Number of clauses2473656
Sum of the clauses size5647736
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 22387280
Number of clauses of size 36720
Number of clauses of size 431080
Number of clauses of size 513440
Number of clauses of size over 534440

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-3284805-1304061135/watcher-3284805-1304061135 -o /tmp/evaluation-result-3284805-1304061135/solver-3284805-1304061135 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3284805-1304061135.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: 7.81 8.10 7.83 5/184 30457
/proc/meminfo: memFree=30478916/32951124 swapFree=67111344/67111528
[pid=30457] ppid=30455 vsize=22096 CPUtime=0 cores=0,2,4,6
/proc/30457/stat : 30457 (SArTagnan) R 30455 30457 29944 0 -1 4202496 1225 0 0 0 0 0 0 0 20 0 1 0 517711507 22626304 1162 33554432000 4194304 4623224 140735905683888 18446744073709551615 4296444 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30457/statm: 5524 1172 290 105 0 1028 0

[startup+0.0935571 s]
/proc/loadavg: 7.81 8.10 7.83 5/184 30457
/proc/meminfo: memFree=30478916/32951124 swapFree=67111344/67111528
[pid=30457] ppid=30455 vsize=90508 CPUtime=0.08 cores=0,2,4,6
/proc/30457/stat : 30457 (SArTagnan) R 30455 30457 29944 0 -1 4202496 3726 0 0 0 8 0 0 0 20 0 1 0 517711507 92680192 3396 33554432000 4194304 4623224 140735905683888 18446744073709551615 271550537472 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30457/statm: 22627 3396 301 105 0 18131 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 90508

[startup+0.100555 s]
/proc/loadavg: 7.81 8.10 7.83 5/184 30457
/proc/meminfo: memFree=30478916/32951124 swapFree=67111344/67111528
[pid=30457] ppid=30455 vsize=90832 CPUtime=0.09 cores=0,2,4,6
/proc/30457/stat : 30457 (SArTagnan) R 30455 30457 29944 0 -1 4202496 3927 0 0 0 9 0 0 0 20 0 1 0 517711507 93011968 3434 33554432000 4194304 4623224 140735905683888 18446744073709551615 271550537472 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30457/statm: 22708 3435 301 105 0 18212 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 90832

[startup+0.300552 s]
/proc/loadavg: 7.81 8.10 7.83 5/184 30457
/proc/meminfo: memFree=30478916/32951124 swapFree=67111344/67111528
[pid=30457] ppid=30455 vsize=113456 CPUtime=0.29 cores=0,2,4,6
/proc/30457/stat : 30457 (SArTagnan) R 30455 30457 29944 0 -1 4202496 11947 0 0 0 27 2 0 0 21 0 1 0 517711507 116178944 8236 33554432000 4194304 4623224 140735905683888 18446744073709551615 271550235093 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30457/statm: 28364 8259 301 105 0 23868 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 113456

[startup+0.700447 s]
/proc/loadavg: 7.81 8.10 7.83 5/184 30457
/proc/meminfo: memFree=30478916/32951124 swapFree=67111344/67111528
[pid=30457] ppid=30455 vsize=132000 CPUtime=0.69 cores=0,2,4,6
/proc/30457/stat : 30457 (SArTagnan) R 30455 30457 29944 0 -1 4202496 25334 0 0 0 64 5 0 0 22 0 1 0 517711507 135168000 12823 33554432000 4194304 4623224 140735905683888 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/30457/statm: 33000 12823 301 105 0 28504 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 132000

[startup+1.50026 s]
/proc/loadavg: 7.81 8.10 7.83 9/188 30461
/proc/meminfo: memFree=30305788/32951124 swapFree=67111344/67111528
[pid=30457] ppid=30455 vsize=476296 CPUtime=3.45 cores=0,2,4,6
/proc/30457/stat : 30457 (SArTagnan) R 30455 30457 29944 0 -1 4202496 68794 0 0 0 334 11 0 0 25 0 4 0 517711507 487727104 52847 33554432000 4194304 4623224 140735905683888 18446744073709551615 4387993 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30457/statm: 119074 52847 336 105 0 114578 0
[pid=30457/tid=30459] ppid=30455 vsize=476296 CPUtime=0.64 cores=0,2,4,6
/proc/30457/task/30459/stat : 30459 (SArTagnan) R 30455 30457 29944 0 -1 4202560 1379 0 0 0 64 0 0 0 25 0 4 0 517711591 487727104 52847 33554432000 4194304 4623224 140735905683888 18446744073709551615 4376579 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30457/tid=30460] ppid=30455 vsize=476296 CPUtime=0.65 cores=0,2,4,6
/proc/30457/task/30460/stat : 30460 (SArTagnan) R 30455 30457 29944 0 -1 4202560 1074 0 0 0 65 0 0 0 25 0 4 0 517711591 487727104 52847 33554432000 4194304 4623224 140735905683888 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30457/tid=30461] ppid=30455 vsize=476296 CPUtime=0.65 cores=0,2,4,6
/proc/30457/task/30461/stat : 30461 (SArTagnan) R 30455 30457 29944 0 -1 4202560 1027 0 0 0 65 0 0 0 25 0 4 0 517711591 487727104 52847 33554432000 4194304 4623224 140735905683888 18446744073709551615 4364650 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 476296

[startup+3.10097 s]
/proc/loadavg: 7.81 8.10 7.83 9/188 30461
/proc/meminfo: memFree=30236660/32951124 swapFree=67111344/67111528
[pid=30457] ppid=30455 vsize=532184 CPUtime=9.84 cores=0,2,4,6
/proc/30457/stat : 30457 (SArTagnan) R 30455 30457 29944 0 -1 4202496 101813 0 0 0 967 17 0 0 25 0 4 0 517711507 544956416 69564 33554432000 4194304 4623224 140735905683888 18446744073709551615 4412464 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30457/statm: 133046 69564 336 105 0 128550 0
[pid=30457/tid=30459] ppid=30455 vsize=532184 CPUtime=2.24 cores=0,2,4,6
/proc/30457/task/30459/stat : 30459 (SArTagnan) R 30455 30457 29944 0 -1 4202560 1448 0 0 0 224 0 0 0 25 0 4 0 517711591 544956416 69564 33554432000 4194304 4623224 140735905683888 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30457/tid=30460] ppid=30455 vsize=532184 CPUtime=2.25 cores=0,2,4,6
/proc/30457/task/30460/stat : 30460 (SArTagnan) R 30455 30457 29944 0 -1 4202560 1139 0 0 0 225 0 0 0 25 0 4 0 517711591 544956416 69564 33554432000 4194304 4623224 140735905683888 18446744073709551615 4463010 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30457/tid=30461] ppid=30455 vsize=532184 CPUtime=2.25 cores=0,2,4,6
/proc/30457/task/30461/stat : 30461 (SArTagnan) R 30455 30457 29944 0 -1 4202560 1057 0 0 0 225 0 0 0 25 0 4 0 517711591 544956416 69564 33554432000 4194304 4623224 140735905683888 18446744073709551615 4363744 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 9.84
Current children cumulated vsize (KiB) 532184

[startup+6.30039 s]
/proc/loadavg: 7.83 8.10 7.83 9/188 30461
/proc/meminfo: memFree=30188188/32951124 swapFree=67111344/67111528
[pid=30457] ppid=30455 vsize=532184 CPUtime=22.62 cores=0,2,4,6
/proc/30457/stat : 30457 (SArTagnan) R 30455 30457 29944 0 -1 4202496 108088 0 0 0 2244 18 0 0 25 0 4 0 517711507 544956416 75186 33554432000 4194304 4623224 140735905683888 18446744073709551615 4412446 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30457/statm: 133046 75186 336 105 0 128550 0
[pid=30457/tid=30459] ppid=30455 vsize=532184 CPUtime=5.42 cores=0,2,4,6
/proc/30457/task/30459/stat : 30459 (SArTagnan) R 30455 30457 29944 0 -1 4202560 1989 0 0 0 542 0 0 0 25 0 4 0 517711591 544956416 75187 33554432000 4194304 4623224 140735905683888 18446744073709551615 4289853 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30457/tid=30460] ppid=30455 vsize=532184 CPUtime=5.45 cores=0,2,4,6
/proc/30457/task/30460/stat : 30460 (SArTagnan) R 30455 30457 29944 0 -1 4202560 1199 0 0 0 545 0 0 0 25 0 4 0 517711591 544956416 75187 33554432000 4194304 4623224 140735905683888 18446744073709551615 4465875 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30457/tid=30461] ppid=30455 vsize=532184 CPUtime=5.45 cores=0,2,4,6
/proc/30457/task/30461/stat : 30461 (SArTagnan) R 30455 30457 29944 0 -1 4202560 1147 0 0 0 545 0 0 0 25 0 4 0 517711591 544956416 75187 33554432000 4194304 4623224 140735905683888 18446744073709551615 4289694 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.62
Current children cumulated vsize (KiB) 532184

[startup+12.7002 s]
/proc/loadavg: 7.84 8.10 7.83 9/188 30461
/proc/meminfo: memFree=29797688/32951124 swapFree=67111344/67111528
[pid=30457] ppid=30455 vsize=901448 CPUtime=48.16 cores=0,2,4,6
/proc/30457/stat : 30457 (SArTagnan) R 30455 30457 29944 0 -1 4202496 341893 0 0 0 4759 57 0 0 25 0 4 0 517711507 923082752 162681 33554432000 4194304 4623224 140735905683888 18446744073709551615 4412527 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30457/statm: 225362 162681 336 105 0 220866 0
[pid=30457/tid=30459] ppid=30455 vsize=901448 CPUtime=11.77 cores=0,2,4,6
/proc/30457/task/30459/stat : 30459 (SArTagnan) R 30455 30457 29944 0 -1 4202560 8143 0 0 0 1176 1 0 0 25 0 4 0 517711591 923082752 162681 33554432000 4194304 4623224 140735905683888 18446744073709551615 4357390 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30457/tid=30460] ppid=30455 vsize=901448 CPUtime=11.83 cores=0,2,4,6
/proc/30457/task/30460/stat : 30460 (SArTagnan) R 30455 30457 29944 0 -1 4202560 4407 0 0 0 1183 0 0 0 25 0 4 0 517711591 923082752 162681 33554432000 4194304 4623224 140735905683888 18446744073709551615 4466128 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30457/tid=30461] ppid=30455 vsize=901448 CPUtime=11.85 cores=0,2,4,6
/proc/30457/task/30461/stat : 30461 (SArTagnan) R 30455 30457 29944 0 -1 4202560 3008 0 0 0 1185 0 0 0 25 0 4 0 517711591 923082752 162681 33554432000 4194304 4623224 140735905683888 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 48.16
Current children cumulated vsize (KiB) 901448

[startup+25.5009 s]
/proc/loadavg: 7.95 8.11 7.84 9/188 30462
/proc/meminfo: memFree=29371088/32951124 swapFree=67111344/67111528
[pid=30457] ppid=30455 vsize=1115772 CPUtime=99.29 cores=0,2,4,6
/proc/30457/stat : 30457 (SArTagnan) R 30455 30457 29944 0 -1 4202496 431642 0 0 0 9855 74 0 0 25 0 4 0 517711507 1142550528 201192 33554432000 4194304 4623224 140735905683888 18446744073709551615 4412575 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30457/statm: 278943 201192 343 105 0 274447 0
[pid=30457/tid=30459] ppid=30455 vsize=1115772 CPUtime=24.49 cores=0,2,4,6
/proc/30457/task/30459/stat : 30459 (SArTagnan) R 30455 30457 29944 0 -1 4202560 25890 0 0 0 2445 4 0 0 25 0 4 0 517711591 1142550528 201192 33554432000 4194304 4623224 140735905683888 18446744073709551615 4376850 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30457/tid=30460] ppid=30455 vsize=1115772 CPUtime=24.64 cores=0,2,4,6
/proc/30457/task/30460/stat : 30460 (SArTagnan) R 30455 30457 29944 0 -1 4202560 20890 0 0 0 2461 3 0 0 25 0 4 0 517711591 1142550528 201192 33554432000 4194304 4623224 140735905683888 18446744073709551615 4463825 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30457/tid=30461] ppid=30455 vsize=1115772 CPUtime=24.65 cores=0,2,4,6
/proc/30457/task/30461/stat : 30461 (SArTagnan) R 30455 30457 29944 0 -1 4202560 30738 0 0 0 2462 3 0 0 25 0 4 0 517711591 1142550528 201192 33554432000 4194304 4623224 140735905683888 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 99.29
Current children cumulated vsize (KiB) 1115772

[startup+51.1003 s]
/proc/loadavg: 8.05 8.12 7.85 9/188 30462
/proc/meminfo: memFree=28776228/32951124 swapFree=67111344/67111528
[pid=30457] ppid=30455 vsize=1458388 CPUtime=201.55 cores=0,2,4,6
/proc/30457/stat : 30457 (SArTagnan) R 30455 30457 29944 0 -1 4202496 582723 0 0 0 20054 101 0 0 25 0 4 0 517711507 1493389312 266340 33554432000 4194304 4623224 140735905683888 18446744073709551615 4412446 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30457/statm: 364597 266340 384 105 0 360101 0
[pid=30457/tid=30459] ppid=30455 vsize=1458388 CPUtime=49.96 cores=0,2,4,6
/proc/30457/task/30459/stat : 30459 (SArTagnan) R 30455 30457 29944 0 -1 4202560 36335 0 0 0 4989 7 0 0 25 0 4 0 517711591 1493389312 266340 33554432000 4194304 4623224 140735905683888 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30457/tid=30460] ppid=30455 vsize=1458388 CPUtime=50.23 cores=0,2,4,6
/proc/30457/task/30460/stat : 30460 (SArTagnan) R 30455 30457 29944 0 -1 4202560 39988 0 0 0 5017 6 0 0 25 0 4 0 517711591 1493389312 266340 33554432000 4194304 4623224 140735905683888 18446744073709551615 4317214 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30457/tid=30461] ppid=30455 vsize=1458388 CPUtime=50.25 cores=0,2,4,6
/proc/30457/task/30461/stat : 30461 (SArTagnan) R 30455 30457 29944 0 -1 4202560 41485 0 0 0 5020 5 0 0 25 0 4 0 517711591 1493389312 266340 33554432000 4194304 4623224 140735905683888 18446744073709551615 4376480 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 201.55
Current children cumulated vsize (KiB) 1458388

[startup+102.307 s]
/proc/loadavg: 8.02 8.10 7.85 9/188 30464
/proc/meminfo: memFree=27283476/32951124 swapFree=67111344/67111528
[pid=30457] ppid=30455 vsize=2302840 CPUtime=406.09 cores=0,2,4,6
/proc/30457/stat : 30457 (SArTagnan) R 30455 30457 29944 0 -1 4202496 1064037 0 0 0 40427 182 0 0 25 0 4 0 517711507 2358108160 482285 33554432000 4194304 4623224 140735905683888 18446744073709551615 271550198817 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30457/statm: 575710 482285 417 105 0 571214 0
[pid=30457/tid=30459] ppid=30455 vsize=2302840 CPUtime=100.88 cores=0,2,4,6
/proc/30457/task/30459/stat : 30459 (SArTagnan) R 30455 30457 29944 0 -1 4202560 79456 0 0 0 10073 15 0 0 25 0 4 0 517711591 2358108160 482285 33554432000 4194304 4623224 140735905683888 18446744073709551615 4377144 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30457/tid=30460] ppid=30455 vsize=2302840 CPUtime=101.43 cores=0,2,4,6
/proc/30457/task/30460/stat : 30460 (SArTagnan) R 30455 30457 29944 0 -1 4202560 94565 0 0 0 10129 14 0 0 25 0 4 0 517711591 2358108160 482285 33554432000 4194304 4623224 140735905683888 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30457/tid=30461] ppid=30455 vsize=2302840 CPUtime=101.45 cores=0,2,4,6
/proc/30457/task/30461/stat : 30461 (SArTagnan) R 30455 30457 29944 0 -1 4202560 127575 0 0 0 10129 16 0 0 25 0 4 0 517711591 2358108160 482285 33554432000 4194304 4623224 140735905683888 18446744073709551615 4363772 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 406.09
Current children cumulated vsize (KiB) 2302840

[startup+162.301 s]
/proc/loadavg: 8.26 8.15 7.89 9/188 30465
/proc/meminfo: memFree=26308924/32951124 swapFree=67111344/67111528
[pid=30457] ppid=30455 vsize=2782216 CPUtime=645.69 cores=0,2,4,6
/proc/30457/stat : 30457 (SArTagnan) R 30455 30457 29944 0 -1 4202496 1459874 0 0 0 64327 242 0 0 25 0 4 0 517711507 2848989184 560087 33554432000 4194304 4623224 140735905683888 18446744073709551615 4510096 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30457/statm: 695554 560087 366 105 0 691058 0
[pid=30457/tid=30459] ppid=30455 vsize=2782216 CPUtime=160.53 cores=0,2,4,6
/proc/30457/task/30459/stat : 30459 (SArTagnan) R 30455 30457 29944 0 -1 4202560 84840 0 0 0 16037 16 0 0 25 0 4 0 517711591 2848989184 560087 33554432000 4194304 4623224 140735905683888 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30457/tid=30460] ppid=30455 vsize=2782216 CPUtime=161.42 cores=0,2,4,6
/proc/30457/task/30460/stat : 30460 (SArTagnan) R 30455 30457 29944 0 -1 4202560 113277 0 0 0 16122 20 0 0 25 0 4 0 517711591 2848989184 560087 33554432000 4194304 4623224 140735905683888 18446744073709551615 4357994 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30457/tid=30461] ppid=30455 vsize=2782216 CPUtime=161.45 cores=0,2,4,6
/proc/30457/task/30461/stat : 30461 (SArTagnan) R 30455 30457 29944 0 -1 4202560 265746 0 0 0 16107 38 0 0 25 0 4 0 517711591 2848989184 560087 33554432000 4194304 4623224 140735905683888 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 645.69
Current children cumulated vsize (KiB) 2782216

[startup+222.301 s]
/proc/loadavg: 8.30 8.18 7.91 9/188 30467
/proc/meminfo: memFree=25549632/32951124 swapFree=67111344/67111528
[pid=30457] ppid=30455 vsize=2788812 CPUtime=885.36 cores=0,2,4,6
/proc/30457/stat : 30457 (SArTagnan) R 30455 30457 29944 0 -1 4202496 1650685 0 0 0 88261 275 0 0 25 0 4 0 517711507 2855743488 567231 33554432000 4194304 4623224 140735905683888 18446744073709551615 4509955 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30457/statm: 697203 567231 366 105 0 692707 0
[pid=30457/tid=30459] ppid=30455 vsize=2788812 CPUtime=220.2 cores=0,2,4,6
/proc/30457/task/30459/stat : 30459 (SArTagnan) R 30455 30457 29944 0 -1 4202560 84880 0 0 0 22004 16 0 0 25 0 4 0 517711591 2855743488 567231 33554432000 4194304 4623224 140735905683888 18446744073709551615 4357390 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30457/tid=30460] ppid=30455 vsize=2788812 CPUtime=221.42 cores=0,2,4,6
/proc/30457/task/30460/stat : 30460 (SArTagnan) R 30455 30457 29944 0 -1 4202560 113283 0 0 0 22122 20 0 0 25 0 4 0 517711591 2855743488 567231 33554432000 4194304 4623224 140735905683888 18446744073709551615 4357390 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30457/tid=30461] ppid=30455 vsize=2788812 CPUtime=221.45 cores=0,2,4,6
/proc/30457/task/30461/stat : 30461 (SArTagnan) R 30455 30457 29944 0 -1 4202560 450681 0 0 0 22076 69 0 0 25 0 4 0 517711591 2855743488 567231 33554432000 4194304 4623224 140735905683888 18446744073709551615 4330898 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 885.36
Current children cumulated vsize (KiB) 2788812

[startup+282.3 s]
/proc/loadavg: 8.29 8.19 7.93 9/188 30469
/proc/meminfo: memFree=24811296/32951124 swapFree=67111344/67111528
[pid=30457] ppid=30455 vsize=2799168 CPUtime=1125.04 cores=0,2,4,6
/proc/30457/stat : 30457 (SArTagnan) R 30455 30457 29944 0 -1 4202496 1847573 0 0 0 112195 309 0 0 25 0 4 0 517711507 2866348032 582667 33554432000 4194304 4623224 140735905683888 18446744073709551615 4412338 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30457/statm: 699792 582667 366 105 0 695296 0
[pid=30457/tid=30459] ppid=30455 vsize=2799168 CPUtime=279.88 cores=0,2,4,6
/proc/30457/task/30459/stat : 30459 (SArTagnan) R 30455 30457 29944 0 -1 4202560 84985 0 0 0 27972 16 0 0 25 0 4 0 517711591 2866348032 582667 33554432000 4194304 4623224 140735905683888 18446744073709551615 4357390 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30457/tid=30460] ppid=30455 vsize=2799168 CPUtime=281.42 cores=0,2,4,6
/proc/30457/task/30460/stat : 30460 (SArTagnan) R 30455 30457 29944 0 -1 4202560 113302 0 0 0 28122 20 0 0 25 0 4 0 517711591 2866348032 582667 33554432000 4194304 4623224 140735905683888 18446744073709551615 4376832 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30457/tid=30461] ppid=30455 vsize=2799168 CPUtime=281.46 cores=0,2,4,6
/proc/30457/task/30461/stat : 30461 (SArTagnan) R 30455 30457 29944 0 -1 4202560 634444 0 0 0 28045 101 0 0 25 0 4 0 517711591 2866348032 582667 33554432000 4194304 4623224 140735905683888 18446744073709551615 4363758 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1125.04
Current children cumulated vsize (KiB) 2799168

[startup+342.3 s]
/proc/loadavg: 8.35 8.22 7.95 9/188 30470
/proc/meminfo: memFree=23239544/32951124 swapFree=67111344/67111528
[pid=30457] ppid=30455 vsize=3829624 CPUtime=1364.66 cores=0,2,4,6
/proc/30457/stat : 30457 (SArTagnan) R 30455 30457 29944 0 -1 4202496 2566016 0 0 0 136040 426 0 0 25 0 4 0 517711507 3921534976 796967 33554432000 4194304 4623224 140735905683888 18446744073709551615 4510183 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30457/statm: 957406 796967 348 105 0 952910 0
[pid=30457/tid=30459] ppid=30455 vsize=3829624 CPUtime=339.54 cores=0,2,4,6
/proc/30457/task/30459/stat : 30459 (SArTagnan) R 30455 30457 29944 0 -1 4202560 86137 0 0 0 33938 16 0 0 25 0 4 0 517711591 3921534976 796967 33554432000 4194304 4623224 140735905683888 18446744073709551615 4357403 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30457/tid=30460] ppid=30455 vsize=3829624 CPUtime=341.42 cores=0,2,4,6
/proc/30457/task/30460/stat : 30460 (SArTagnan) R 30455 30457 29944 0 -1 4202560 166139 0 0 0 34112 30 0 0 25 0 4 0 517711591 3921534976 796967 33554432000 4194304 4623224 140735905683888 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30457/tid=30461] ppid=30455 vsize=3829624 CPUtime=341.42 cores=0,2,4,6
/proc/30457/task/30461/stat : 30461 (SArTagnan) R 30455 30457 29944 0 -1 4202560 846301 0 0 0 34012 130 0 0 25 0 4 0 517711591 3921534976 796967 33554432000 4194304 4623224 140735905683888 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1364.66
Current children cumulated vsize (KiB) 3829624

[startup+402.3 s]
/proc/loadavg: 8.37 8.24 7.97 9/188 30472
/proc/meminfo: memFree=21713052/32951124 swapFree=67111344/67111528
[pid=30457] ppid=30455 vsize=5056268 CPUtime=1604.27 cores=0,2,4,6
/proc/30457/stat : 30457 (SArTagnan) R 30455 30457 29944 0 -1 4202496 3330236 0 0 0 159886 541 0 0 25 0 4 0 517711507 5177618432 1057783 33554432000 4194304 4623224 140735905683888 18446744073709551615 4510177 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30457/statm: 1264067 1057783 343 105 0 1259571 0
[pid=30457/tid=30459] ppid=30455 vsize=5056268 CPUtime=399.22 cores=0,2,4,6
/proc/30457/task/30459/stat : 30459 (SArTagnan) R 30455 30457 29944 0 -1 4202560 89878 0 0 0 39906 16 0 0 25 0 4 0 517711591 5177618432 1057783 33554432000 4194304 4623224 140735905683888 18446744073709551615 4357901 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30457/tid=30460] ppid=30455 vsize=5056268 CPUtime=401.36 cores=0,2,4,6
/proc/30457/task/30460/stat : 30460 (SArTagnan) R 30455 30457 29944 0 -1 4202560 218802 0 0 0 40094 42 0 0 25 0 4 0 517711591 5177618432 1057783 33554432000 4194304 4623224 140735905683888 18446744073709551615 4463378 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30457/tid=30461] ppid=30455 vsize=5056268 CPUtime=401.39 cores=0,2,4,6
/proc/30457/task/30461/stat : 30461 (SArTagnan) R 30455 30457 29944 0 -1 4202560 926813 0 0 0 39999 140 0 0 25 0 4 0 517711591 5177618432 1057783 33554432000 4194304 4623224 140735905683888 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1604.27
Current children cumulated vsize (KiB) 5056268

[startup+462.301 s]
/proc/loadavg: 8.35 8.25 7.99 9/188 30473
/proc/meminfo: memFree=20396384/32951124 swapFree=67111344/67111528
[pid=30457] ppid=30455 vsize=5660720 CPUtime=1843.94 cores=0,2,4,6
/proc/30457/stat : 30457 (SArTagnan) R 30455 30457 29944 0 -1 4202496 3838437 0 0 0 183760 634 0 0 25 0 4 0 517711507 5796577280 1271187 33554432000 4194304 4623224 140735905683888 18446744073709551615 4412496 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30457/statm: 1415180 1271187 344 105 0 1410684 0
[pid=30457/tid=30459] ppid=30455 vsize=5660720 CPUtime=458.9 cores=0,2,4,6
/proc/30457/task/30459/stat : 30459 (SArTagnan) R 30455 30457 29944 0 -1 4202560 99661 0 0 0 45872 18 0 0 25 0 4 0 517711591 5796577280 1271187 33554432000 4194304 4623224 140735905683888 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30457/tid=30460] ppid=30455 vsize=5660720 CPUtime=461.37 cores=0,2,4,6
/proc/30457/task/30460/stat : 30460 (SArTagnan) R 30455 30457 29944 0 -1 4202560 251196 0 0 0 46087 50 0 0 25 0 4 0 517711591 5796577280 1271187 33554432000 4194304 4623224 140735905683888 18446744073709551615 4317117 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30457/tid=30461] ppid=30455 vsize=5660720 CPUtime=461.4 cores=0,2,4,6
/proc/30457/task/30461/stat : 30461 (SArTagnan) R 30455 30457 29944 0 -1 4202560 1120411 0 0 0 45972 168 0 0 25 0 4 0 517711591 5796577280 1271187 33554432000 4194304 4623224 140735905683888 18446744073709551615 4545955 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1843.94
Current children cumulated vsize (KiB) 5660720

[startup+522.301 s]
/proc/loadavg: 8.27 8.24 8.00 10/188 30475
/proc/meminfo: memFree=17518432/32951124 swapFree=67111344/67111528
[pid=30457] ppid=30455 vsize=9536208 CPUtime=2083.33 cores=0,2,4,6
/proc/30457/stat : 30457 (SArTagnan) R 30455 30457 29944 0 -1 4202496 6041497 0 0 0 207382 951 0 0 25 0 4 0 517711507 9765076992 1940077 33554432000 4194304 4623224 140735905683888 18446744073709551615 4412473 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30457/statm: 2384052 1940077 349 105 0 2379556 0
[pid=30457/tid=30459] ppid=30455 vsize=9536208 CPUtime=518.47 cores=0,2,4,6
/proc/30457/task/30459/stat : 30459 (SArTagnan) R 30455 30457 29944 0 -1 4202560 101071 0 0 0 51829 18 0 0 25 0 4 0 517711591 9765076992 1940077 33554432000 4194304 4623224 140735905683888 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30457/tid=30460] ppid=30455 vsize=9536208 CPUtime=521.29 cores=0,2,4,6
/proc/30457/task/30460/stat : 30460 (SArTagnan) R 30455 30457 29944 0 -1 4202560 327854 0 0 0 52064 65 0 0 25 0 4 0 517711591 9765076992 1940077 33554432000 4194304 4623224 140735905683888 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30457/tid=30461] ppid=30455 vsize=9536208 CPUtime=521.32 cores=0,2,4,6
/proc/30457/task/30461/stat : 30461 (SArTagnan) R 30455 30457 29944 0 -1 4202560 1199260 0 0 0 51952 180 0 0 25 0 4 0 517711591 9765076992 1940077 33554432000 4194304 4623224 140735905683888 18446744073709551615 4364911 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2083.33
Current children cumulated vsize (KiB) 9536208

[startup+582.301 s]
/proc/loadavg: 8.25 8.24 8.01 9/188 30477
/proc/meminfo: memFree=14815044/32951124 swapFree=67111344/67111528
[pid=30457] ppid=30455 vsize=10867932 CPUtime=2322.97 cores=0,2,4,6
/proc/30457/stat : 30457 (SArTagnan) R 30455 30457 29944 0 -1 4202496 6983285 0 0 0 231155 1142 0 0 25 0 4 0 517711507 11128762368 2477218 33554432000 4194304 4623224 140735905683888 18446744073709551615 4413922 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30457/statm: 2716983 2477218 343 105 0 2712487 0
[pid=30457/tid=30459] ppid=30455 vsize=10867932 CPUtime=578.14 cores=0,2,4,6
/proc/30457/task/30459/stat : 30459 (SArTagnan) R 30455 30457 29944 0 -1 4202560 103096 0 0 0 57796 18 0 0 25 0 4 0 517711591 11128762368 2477218 33554432000 4194304 4623224 140735905683888 18446744073709551615 4357403 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30457/tid=30460] ppid=30455 vsize=10867932 CPUtime=581.3 cores=0,2,4,6
/proc/30457/task/30460/stat : 30460 (SArTagnan) R 30455 30457 29944 0 -1 4202560 398273 0 0 0 58052 78 0 0 25 0 4 0 517711591 11128762368 2477218 33554432000 4194304 4623224 140735905683888 18446744073709551615 4317194 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30457/tid=30461] ppid=30455 vsize=10867932 CPUtime=581.3 cores=0,2,4,6
/proc/30457/task/30461/stat : 30461 (SArTagnan) R 30455 30457 29944 0 -1 4202560 1432177 0 0 0 57919 211 0 0 25 0 4 0 517711591 11128762368 2477219 33554432000 4194304 4623224 140735905683888 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2322.97
Current children cumulated vsize (KiB) 10867932

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

[startup+585.5 s]
/proc/loadavg: 8.23 8.23 8.01 9/188 30477
/proc/meminfo: memFree=14699100/32951124 swapFree=67111344/67111528
[pid=30457] ppid=30455 vsize=15860500 CPUtime=2335.75 cores=0,2,4,6
/proc/30457/stat : 30457 (SArTagnan) R 30455 30457 29944 0 -1 4202496 7216180 0 0 0 232407 1168 0 0 25 0 4 0 517711507 16241152000 2696368 33554432000 4194304 4623224 140735905683888 18446744073709551615 271550235093 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30457/statm: 3965125 2696388 343 105 0 3960629 0
[pid=30457/tid=30459] ppid=30455 vsize=15860500 CPUtime=581.32 cores=0,2,4,6
/proc/30457/task/30459/stat : 30459 (SArTagnan) R 30455 30457 29944 0 -1 4202560 103131 0 0 0 58114 18 0 0 25 0 4 0 517711591 16241152000 2696398 33554432000 4194304 4623224 140735905683888 18446744073709551615 4486238 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30457/tid=30460] ppid=30455 vsize=15860500 CPUtime=584.49 cores=0,2,4,6
/proc/30457/task/30460/stat : 30460 (SArTagnan) R 30455 30457 29944 0 -1 4202560 398756 0 0 0 58371 78 0 0 25 0 4 0 517711591 16241152000 2696411 33554432000 4194304 4623224 140735905683888 18446744073709551615 4317194 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30457/tid=30461] ppid=30455 vsize=15860500 CPUtime=584.5 cores=0,2,4,6
/proc/30457/task/30461/stat : 30461 (SArTagnan) R 30455 30457 29944 0 -1 4202560 1445618 0 0 0 58237 213 0 0 25 0 4 0 517711591 16241152000 2696424 33554432000 4194304 4623224 140735905683888 18446744073709551615 4289757 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2335.75
Current children cumulated vsize (KiB) 15860500

[startup+588.701 s]
/proc/loadavg: 8.21 8.23 8.01 10/188 30477
/proc/meminfo: memFree=14141216/32951124 swapFree=67111344/67111528
[pid=30457] ppid=30455 vsize=11037612 CPUtime=2348.21 cores=0,2,4,6
/proc/30457/stat : 30457 (SArTagnan) R 30455 30457 29944 0 -1 4202496 8385809 0 0 0 233508 1313 0 0 19 0 4 0 517711507 11302514688 2641386 33554432000 4194304 4623224 140735905683888 18446744073709551615 4387993 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30457/statm: 2759403 2641387 343 105 0 2754907 0
[pid=30457/tid=30459] ppid=30455 vsize=11037612 CPUtime=584.51 cores=0,2,4,6
/proc/30457/task/30459/stat : 30459 (SArTagnan) R 30455 30457 29944 0 -1 4202560 103201 0 0 0 58433 18 0 0 25 0 4 0 517711591 11302514688 2641387 33554432000 4194304 4623224 140735905683888 18446744073709551615 4357403 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30457/tid=30460] ppid=30455 vsize=11037612 CPUtime=587.52 cores=0,2,4,6
/proc/30457/task/30460/stat : 30460 (SArTagnan) R 30455 30457 29944 0 -1 4202560 399931 0 0 0 58674 78 0 0 25 0 4 0 517711591 11302514688 2641387 33554432000 4194304 4623224 140735905683888 18446744073709551615 4376579 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30457/tid=30461] ppid=30455 vsize=11037612 CPUtime=587.53 cores=0,2,4,6
/proc/30457/task/30461/stat : 30461 (SArTagnan) R 30455 30457 29944 0 -1 4202560 1457371 0 0 0 58537 216 0 0 25 0 4 0 517711591 11302514688 2641387 33554432000 4194304 4623224 140735905683888 18446744073709551615 4560270 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2348.21
Current children cumulated vsize (KiB) 11037612

[startup+589.5 s]
/proc/loadavg: 8.21 8.23 8.01 9/188 30477
/proc/meminfo: memFree=14087404/32951124 swapFree=67111344/67111528
[pid=30457] ppid=30455 vsize=11060140 CPUtime=2351.43 cores=0,2,4,6
/proc/30457/stat : 30457 (SArTagnan) R 30455 30457 29944 0 -1 4202496 8400206 0 0 0 233827 1316 0 0 20 0 4 0 517711507 11325583360 2652171 33554432000 4194304 4623224 140735905683888 18446744073709551615 4412338 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30457/statm: 2765035 2652171 343 105 0 2760539 0
[pid=30457/tid=30459] ppid=30455 vsize=11060140 CPUtime=585.31 cores=0,2,4,6
/proc/30457/task/30459/stat : 30459 (SArTagnan) R 30455 30457 29944 0 -1 4202560 103209 0 0 0 58513 18 0 0 25 0 4 0 517711591 11325583360 2652173 33554432000 4194304 4623224 140735905683888 18446744073709551615 4357413 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30457/tid=30460] ppid=30455 vsize=11060140 CPUtime=588.33 cores=0,2,4,6
/proc/30457/task/30460/stat : 30460 (SArTagnan) R 30455 30457 29944 0 -1 4202560 400005 0 0 0 58755 78 0 0 25 0 4 0 517711591 11325583360 2652175 33554432000 4194304 4623224 140735905683888 18446744073709551615 4279425 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30457/tid=30461] ppid=30455 vsize=11060140 CPUtime=588.33 cores=0,2,4,6
/proc/30457/task/30461/stat : 30461 (SArTagnan) R 30455 30457 29944 0 -1 4202560 1460537 0 0 0 58617 216 0 0 25 0 4 0 517711591 11325583360 2652178 33554432000 4194304 4623224 140735905683888 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2351.43
Current children cumulated vsize (KiB) 11060140

[startup+589.9 s]
/proc/loadavg: 8.21 8.23 8.01 9/188 30477
/proc/meminfo: memFree=14087404/32951124 swapFree=67111344/67111528
[pid=30457] ppid=30455 vsize=11078572 CPUtime=2353 cores=0,2,4,6
/proc/30457/stat : 30457 (SArTagnan) R 30455 30457 29944 0 -1 4202496 8409302 0 0 0 233982 1318 0 0 21 0 4 0 517711507 11344457728 2659252 33554432000 4194304 4623224 140735905683888 18446744073709551615 4412338 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30457/statm: 2769643 2659252 343 105 0 2765147 0
[pid=30457/tid=30459] ppid=30455 vsize=11078572 CPUtime=585.7 cores=0,2,4,6
/proc/30457/task/30459/stat : 30459 (SArTagnan) R 30455 30457 29944 0 -1 4202560 103224 0 0 0 58552 18 0 0 25 0 4 0 517711591 11344457728 2659252 33554432000 4194304 4623224 140735905683888 18446744073709551615 4357641 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30457/tid=30460] ppid=30455 vsize=11078572 CPUtime=588.72 cores=0,2,4,6
/proc/30457/task/30460/stat : 30460 (SArTagnan) R 30455 30457 29944 0 -1 4202560 400345 0 0 0 58794 78 0 0 25 0 4 0 517711591 11344457728 2659252 33554432000 4194304 4623224 140735905683888 18446744073709551615 4317840 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=30457/tid=30461] ppid=30455 vsize=11078572 CPUtime=588.73 cores=0,2,4,6
/proc/30457/task/30461/stat : 30461 (SArTagnan) R 30455 30457 29944 0 -1 4202560 1460559 0 0 0 58657 216 0 0 25 0 4 0 517711591 11344457728 2659252 33554432000 4194304 4623224 140735905683888 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2353
Current children cumulated vsize (KiB) 11078572

[startup+590.3 s]
/proc/loadavg: 8.21 8.23 8.01 9/188 30477
/proc/meminfo: memFree=14087404/32951124 swapFree=67111344/67111528
[pid=30457] ppid=30455 vsize=0 CPUtime=2353.52 cores=0,2,4,6
/proc/30457/stat : 30457 (SArTagnan) Z 30455 30457 29944 0 -1 4202524 8410499 0 0 0 233998 1354 0 0 21 0 2 0 517711507 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30457/statm: 0 0 0 0 0 0 0
[pid=30457/tid=30459] ppid=30455 vsize=0 CPUtime=586.1 cores=0,2,4,6
/proc/30457/task/30459/stat : 30459 (SArTagnan) R 30455 30457 29944 0 -1 4203588 103224 0 0 0 58556 54 0 0 25 0 2 0 517711591 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2353.52
Current children cumulated vsize (KiB) 0

Child status: 1
Real time (s): 590.355
CPU time (s): 2353.58
CPU user time (s): 2339.98
CPU system time (s): 13.5969
CPU usage (%): 398.672
Max. virtual memory (cumulated for all children) (KiB): 15862548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2339.98
system time used= 13.5969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8410499
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= 9790
involuntary context switches= 33650

runsolver used 0.91486 second user time and 2.30765 second system time

The end

Launcher Data 

Begin job on node133 at 2011-04-29 09:12:16
IDJOB=3284805
IDBENCH=82363
IDSOLVER=1656
FILE ID=node133/3284805-1304061135
RUNJOBID= node133-1304058649-29962
PBS_JOBID= 13170442
Free space on /tmp= 71832 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.070-NOTKNOWN.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3284805-1304061135/watcher-3284805-1304061135 -o /tmp/evaluation-result-3284805-1304061135/solver-3284805-1304061135 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3284805-1304061135.cnf -threads=4

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

MD5SUM BENCH= f52ec4dacdcf65c3aedb61fb46ade01b
RANDOM SEED=188106471

node133.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.834
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.66
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.834
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.834
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.834
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	: 6741.12
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.834
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.74
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.834
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.834
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.74
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.834
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:      30479320 kB
Buffers:        714296 kB
Cached:         853248 kB
SwapCached:        124 kB
Active:        1108648 kB
Inactive:      1003020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30479320 kB
SwapTotal:    67111528 kB
SwapFree:     67111344 kB
Dirty:           56864 kB
Writeback:           0 kB
AnonPages:      543776 kB
Mapped:          15528 kB
Slab:           296272 kB
PageTables:       5948 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   837276 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71832 MiB
End job on node133 at 2011-04-29 09:22:07