Trace number 3281631

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-24UNSAT 2431.15 609.278

General information on the benchmark

Namemanol-pipe-c10nidw.cnf
MD5SUM943fd86d922b13236c21a74c4f82b6d0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark144.2
Satisfiable
(Un)Satisfiability was proved
Number of variables433601
Number of clauses1291714
Sum of the clauses size3013998
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2861142
Number of clauses of size 3430571
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

2430.67/609.19	
2430.67/609.19	s UNSATISFIABLE
2430.67/609.19	c Conflict at level 0

Verifier Data 

No possible verification on an UNSAT instance

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-3281631-1304040895/watcher-3281631-1304040895 -o /tmp/evaluation-result-3281631-1304040895/solver-3281631-1304040895 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3281631-1304040895.cnf -threads=4 

running on 4 cores: 1,3,5,7

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: 5.85 5.03 5.86 5/180 29095
/proc/meminfo: memFree=24278172/32951124 swapFree=67111348/67111528
[pid=29095] ppid=29093 vsize=25340 CPUtime=0 cores=1,3,5,7
/proc/29095/stat : 29095 (SArTagnan) R 29093 29095 28460 0 -1 4202496 1492 0 0 0 0 0 0 0 23 0 1 0 594320079 25948160 1429 33554432000 4194304 4623224 140737313754816 18446744073709551615 4315013 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29095/statm: 6335 1431 290 105 0 1839 0

[startup+0.0825899 s]
/proc/loadavg: 5.85 5.03 5.86 5/180 29095
/proc/meminfo: memFree=24278172/32951124 swapFree=67111348/67111528
[pid=29095] ppid=29093 vsize=91000 CPUtime=0.07 cores=1,3,5,7
/proc/29095/stat : 29095 (SArTagnan) R 29093 29095 28460 0 -1 4202496 11801 0 0 0 6 1 0 0 23 0 1 0 594320079 93184000 9798 33554432000 4194304 4623224 140737313754816 18446744073709551615 252457726661 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29095/statm: 22750 9799 297 105 0 18254 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 91000

[startup+0.100585 s]
/proc/loadavg: 5.85 5.03 5.86 5/180 29095
/proc/meminfo: memFree=24278172/32951124 swapFree=67111348/67111528
[pid=29095] ppid=29093 vsize=93432 CPUtime=0.09 cores=1,3,5,7
/proc/29095/stat : 29095 (SArTagnan) R 29093 29095 28460 0 -1 4202496 13080 0 0 0 8 1 0 0 23 0 1 0 594320079 95674368 10348 33554432000 4194304 4623224 140737313754816 18446744073709551615 252458065664 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29095/statm: 23358 10348 297 105 0 18862 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 93432

[startup+0.300548 s]
/proc/loadavg: 5.85 5.03 5.86 5/180 29095
/proc/meminfo: memFree=24278172/32951124 swapFree=67111348/67111528
[pid=29095] ppid=29093 vsize=112900 CPUtime=0.29 cores=1,3,5,7
/proc/29095/stat : 29095 (SArTagnan) R 29093 29095 28460 0 -1 4202496 25058 0 0 0 26 3 0 0 25 0 1 0 594320079 115609600 15400 33554432000 4194304 4623224 140737313754816 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/29095/statm: 28225 15400 297 105 0 23729 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 112900

[startup+0.70044 s]
/proc/loadavg: 5.85 5.03 5.86 5/180 29095
/proc/meminfo: memFree=24278172/32951124 swapFree=67111348/67111528
[pid=29095] ppid=29093 vsize=426060 CPUtime=0.76 cores=1,3,5,7
/proc/29095/stat : 29095 (SArTagnan) R 29093 29095 28460 0 -1 4202496 86351 0 0 0 64 12 0 0 25 0 4 0 594320079 436285440 67152 33554432000 4194304 4623224 140737313754816 18446744073709551615 4497635 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29095/statm: 106515 67152 322 105 0 102019 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 426060

[startup+1.50029 s]
/proc/loadavg: 5.85 5.03 5.86 9/184 29099
/proc/meminfo: memFree=23973000/32951124 swapFree=67111348/67111528
[pid=29095] ppid=29093 vsize=586092 CPUtime=3.95 cores=1,3,5,7
/proc/29095/stat : 29095 (SArTagnan) R 29093 29095 28460 0 -1 4202496 95368 0 0 0 382 13 0 0 25 0 4 0 594320079 600158208 74293 33554432000 4194304 4623224 140737313754816 18446744073709551615 4412568 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29095/statm: 146523 74293 335 105 0 142027 0
[pid=29095/tid=29097] ppid=29093 vsize=586092 CPUtime=0.81 cores=1,3,5,7
/proc/29095/task/29097/stat : 29097 (SArTagnan) R 29093 29095 28460 0 -1 4202560 3289 0 0 0 81 0 0 0 25 0 4 0 594320147 600158208 74293 33554432000 4194304 4623224 140737313754816 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29095/tid=29098] ppid=29093 vsize=586092 CPUtime=0.81 cores=1,3,5,7
/proc/29095/task/29098/stat : 29098 (SArTagnan) R 29093 29095 28460 0 -1 4202560 3643 0 0 0 81 0 0 0 25 0 4 0 594320147 600158208 74293 33554432000 4194304 4623224 140737313754816 18446744073709551615 4377104 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29095/tid=29099] ppid=29093 vsize=586092 CPUtime=0.81 cores=1,3,5,7
/proc/29095/task/29099/stat : 29099 (SArTagnan) R 29093 29095 28460 0 -1 4202560 5800 0 0 0 81 0 0 0 25 0 4 0 594320147 600158208 74293 33554432000 4194304 4623224 140737313754816 18446744073709551615 252457721863 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 586092

[startup+3.101 s]
/proc/loadavg: 5.85 5.03 5.86 9/184 29099
/proc/meminfo: memFree=23958120/32951124 swapFree=67111348/67111528
[pid=29095] ppid=29093 vsize=586092 CPUtime=10.34 cores=1,3,5,7
/proc/29095/stat : 29095 (SArTagnan) R 29093 29095 28460 0 -1 4202496 96040 0 0 0 1021 13 0 0 25 0 4 0 594320079 600158208 74965 33554432000 4194304 4623224 140737313754816 18446744073709551615 4412610 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29095/statm: 146523 74965 335 105 0 142027 0
[pid=29095/tid=29097] ppid=29093 vsize=586092 CPUtime=2.41 cores=1,3,5,7
/proc/29095/task/29097/stat : 29097 (SArTagnan) R 29093 29095 28460 0 -1 4202560 3757 0 0 0 241 0 0 0 25 0 4 0 594320147 600158208 74965 33554432000 4194304 4623224 140737313754816 18446744073709551615 4462925 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29095/tid=29098] ppid=29093 vsize=586092 CPUtime=2.4 cores=1,3,5,7
/proc/29095/task/29098/stat : 29098 (SArTagnan) R 29093 29095 28460 0 -1 4202560 3810 0 0 0 240 0 0 0 25 0 4 0 594320147 600158208 74965 33554432000 4194304 4623224 140737313754816 18446744073709551615 4363945 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29095/tid=29099] ppid=29093 vsize=586092 CPUtime=2.42 cores=1,3,5,7
/proc/29095/task/29099/stat : 29099 (SArTagnan) R 29093 29095 28460 0 -1 4202560 5804 0 0 0 241 1 0 0 25 0 4 0 594320147 600158208 74965 33554432000 4194304 4623224 140737313754816 18446744073709551615 4545353 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.34
Current children cumulated vsize (KiB) 586092

[startup+6.3004 s]
/proc/loadavg: 6.10 5.09 5.88 9/184 29099
/proc/meminfo: memFree=23909644/32951124 swapFree=67111348/67111528
[pid=29095] ppid=29093 vsize=590408 CPUtime=23.13 cores=1,3,5,7
/proc/29095/stat : 29095 (SArTagnan) R 29093 29095 28460 0 -1 4202496 97069 0 0 0 2299 14 0 0 25 0 4 0 594320079 604577792 75994 33554432000 4194304 4623224 140737313754816 18446744073709551615 4278624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29095/statm: 147602 75994 335 105 0 143106 0
[pid=29095/tid=29097] ppid=29093 vsize=590408 CPUtime=5.61 cores=1,3,5,7
/proc/29095/task/29097/stat : 29097 (SArTagnan) R 29093 29095 28460 0 -1 4202560 3866 0 0 0 561 0 0 0 25 0 4 0 594320147 604577792 75994 33554432000 4194304 4623224 140737313754816 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29095/tid=29098] ppid=29093 vsize=590408 CPUtime=5.58 cores=1,3,5,7
/proc/29095/task/29098/stat : 29098 (SArTagnan) R 29093 29095 28460 0 -1 4202560 3910 0 0 0 558 0 0 0 25 0 4 0 594320147 604577792 75994 33554432000 4194304 4623224 140737313754816 18446744073709551615 4278624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29095/tid=29099] ppid=29093 vsize=590408 CPUtime=5.62 cores=1,3,5,7
/proc/29095/task/29099/stat : 29099 (SArTagnan) R 29093 29095 28460 0 -1 4202560 6561 0 0 0 561 1 0 0 25 0 4 0 594320147 604577792 75994 33554432000 4194304 4623224 140737313754816 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 23.13
Current children cumulated vsize (KiB) 590408

[startup+12.7012 s]
/proc/loadavg: 6.25 5.14 5.89 9/184 29099
/proc/meminfo: memFree=23816636/32951124 swapFree=67111348/67111528
[pid=29095] ppid=29093 vsize=645588 CPUtime=48.7 cores=1,3,5,7
/proc/29095/stat : 29095 (SArTagnan) R 29093 29095 28460 0 -1 4202496 133700 0 0 0 4851 19 0 0 25 0 4 0 594320079 661082112 89875 33554432000 4194304 4623224 140737313754816 18446744073709551615 4510206 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29095/statm: 161397 89875 344 105 0 156901 0
[pid=29095/tid=29097] ppid=29093 vsize=645588 CPUtime=12.01 cores=1,3,5,7
/proc/29095/task/29097/stat : 29097 (SArTagnan) R 29093 29095 28460 0 -1 4202560 6994 0 0 0 1201 0 0 0 25 0 4 0 594320147 661082112 89875 33554432000 4194304 4623224 140737313754816 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29095/tid=29098] ppid=29093 vsize=645588 CPUtime=11.94 cores=1,3,5,7
/proc/29095/task/29098/stat : 29098 (SArTagnan) R 29093 29095 28460 0 -1 4202560 7374 0 0 0 1194 0 0 0 25 0 4 0 594320147 661082112 89875 33554432000 4194304 4623224 140737313754816 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29095/tid=29099] ppid=29093 vsize=645588 CPUtime=12.02 cores=1,3,5,7
/proc/29095/task/29099/stat : 29099 (SArTagnan) R 29093 29095 28460 0 -1 4202560 32616 0 0 0 1197 5 0 0 25 0 4 0 594320147 661082112 89875 33554432000 4194304 4623224 140737313754816 18446744073709551615 4364650 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 48.7
Current children cumulated vsize (KiB) 645588

[startup+25.5008 s]
/proc/loadavg: 6.64 5.28 5.92 9/184 29100
/proc/meminfo: memFree=23751020/32951124 swapFree=67111348/67111528
[pid=29095] ppid=29093 vsize=645588 CPUtime=99.83 cores=1,3,5,7
/proc/29095/stat : 29095 (SArTagnan) R 29093 29095 28460 0 -1 4202496 173641 0 0 0 9957 26 0 0 25 0 4 0 594320079 661082112 91025 33554432000 4194304 4623224 140737313754816 18446744073709551615 4510064 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29095/statm: 161397 91025 344 105 0 156901 0
[pid=29095/tid=29097] ppid=29093 vsize=645588 CPUtime=24.81 cores=1,3,5,7
/proc/29095/task/29097/stat : 29097 (SArTagnan) R 29093 29095 28460 0 -1 4202560 7222 0 0 0 2481 0 0 0 25 0 4 0 594320147 661082112 91025 33554432000 4194304 4623224 140737313754816 18446744073709551615 4377923 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29095/tid=29098] ppid=29093 vsize=645588 CPUtime=24.67 cores=1,3,5,7
/proc/29095/task/29098/stat : 29098 (SArTagnan) R 29093 29095 28460 0 -1 4202560 7669 0 0 0 2467 0 0 0 25 0 4 0 594320147 661082112 91025 33554432000 4194304 4623224 140737313754816 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29095/tid=29099] ppid=29093 vsize=645588 CPUtime=24.81 cores=1,3,5,7
/proc/29095/task/29099/stat : 29099 (SArTagnan) R 29093 29095 28460 0 -1 4202560 71512 0 0 0 2470 11 0 0 25 0 4 0 594320147 661082112 91025 33554432000 4194304 4623224 140737313754816 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 99.83
Current children cumulated vsize (KiB) 645588

[startup+51.1011 s]
/proc/loadavg: 7.17 5.51 5.98 9/184 29100
/proc/meminfo: memFree=22318024/32951124 swapFree=67111348/67111528
[pid=29095] ppid=29093 vsize=2231824 CPUtime=201.71 cores=1,3,5,7
/proc/29095/stat : 29095 (SArTagnan) R 29093 29095 28460 0 -1 4202496 1056308 0 0 0 20016 155 0 0 25 0 4 0 594320079 2285387776 423229 33554432000 4194304 4623224 140737313754816 18446744073709551615 4510116 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29095/statm: 557956 423230 345 105 0 553460 0
[pid=29095/tid=29097] ppid=29093 vsize=2231824 CPUtime=50.35 cores=1,3,5,7
/proc/29095/task/29097/stat : 29097 (SArTagnan) R 29093 29095 28460 0 -1 4202560 167497 0 0 0 5012 23 0 0 25 0 4 0 594320147 2285387776 423230 33554432000 4194304 4623224 140737313754816 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29095/tid=29098] ppid=29093 vsize=2231824 CPUtime=50.07 cores=1,3,5,7
/proc/29095/task/29098/stat : 29098 (SArTagnan) R 29093 29095 28460 0 -1 4202560 173660 0 0 0 4985 22 0 0 25 0 4 0 594320147 2285387776 423230 33554432000 4194304 4623224 140737313754816 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29095/tid=29099] ppid=29093 vsize=2231824 CPUtime=50.25 cores=1,3,5,7
/proc/29095/task/29099/stat : 29099 (SArTagnan) R 29093 29095 28460 0 -1 4202560 286826 0 0 0 4984 41 0 0 25 0 4 0 594320147 2285387776 423230 33554432000 4194304 4623224 140737313754816 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 201.71
Current children cumulated vsize (KiB) 2231824

[startup+102.307 s]
/proc/loadavg: 7.70 5.94 6.10 9/184 29102
/proc/meminfo: memFree=21865332/32951124 swapFree=67111348/67111528
[pid=29095] ppid=29093 vsize=2335164 CPUtime=406.24 cores=1,3,5,7
/proc/29095/stat : 29095 (SArTagnan) R 29093 29095 28460 0 -1 4202496 1284094 0 0 0 40431 193 0 0 25 0 4 0 594320079 2391207936 425435 33554432000 4194304 4623224 140737313754816 18446744073709551615 4510034 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29095/statm: 583791 425435 345 105 0 579295 0
[pid=29095/tid=29097] ppid=29093 vsize=2335164 CPUtime=101.48 cores=1,3,5,7
/proc/29095/task/29097/stat : 29097 (SArTagnan) R 29093 29095 28460 0 -1 4202560 171868 0 0 0 10125 23 0 0 25 0 4 0 594320147 2391207936 425435 33554432000 4194304 4623224 140737313754816 18446744073709551615 4289815 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29095/tid=29098] ppid=29093 vsize=2335164 CPUtime=101.05 cores=1,3,5,7
/proc/29095/task/29098/stat : 29098 (SArTagnan) R 29093 29095 28460 0 -1 4202560 178011 0 0 0 10082 23 0 0 25 0 4 0 594320147 2391207936 425435 33554432000 4194304 4623224 140737313754816 18446744073709551615 4376687 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29095/tid=29099] ppid=29093 vsize=2335164 CPUtime=101.45 cores=1,3,5,7
/proc/29095/task/29099/stat : 29099 (SArTagnan) R 29093 29095 28460 0 -1 4202560 503391 0 0 0 10068 77 0 0 25 0 4 0 594320147 2391207936 425435 33554432000 4194304 4623224 140737313754816 18446744073709551615 4354593 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 406.24
Current children cumulated vsize (KiB) 2335164

[startup+162.3 s]
/proc/loadavg: 7.92 6.30 6.21 9/184 29103
/proc/meminfo: memFree=21242180/32951124 swapFree=67111348/67111528
[pid=29095] ppid=29093 vsize=2269628 CPUtime=645.89 cores=1,3,5,7
/proc/29095/stat : 29095 (SArTagnan) R 29093 29095 28460 0 -1 4202496 1512169 0 0 0 64360 229 0 0 25 0 4 0 594320079 2324099072 424368 33554432000 4194304 4623224 140737313754816 18446744073709551615 4507318 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29095/statm: 567407 424368 345 105 0 562911 0
[pid=29095/tid=29097] ppid=29093 vsize=2269628 CPUtime=161.15 cores=1,3,5,7
/proc/29095/task/29097/stat : 29097 (SArTagnan) R 29093 29095 28460 0 -1 4202560 172301 0 0 0 16092 23 0 0 25 0 4 0 594320147 2324099072 424368 33554432000 4194304 4623224 140737313754816 18446744073709551615 4289691 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29095/tid=29098] ppid=29093 vsize=2269628 CPUtime=161.04 cores=1,3,5,7
/proc/29095/task/29098/stat : 29098 (SArTagnan) R 29093 29095 28460 0 -1 4202560 178472 0 0 0 16081 23 0 0 25 0 4 0 594320147 2324099072 424368 33554432000 4194304 4623224 140737313754816 18446744073709551615 4289785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29095/tid=29099] ppid=29093 vsize=2269628 CPUtime=161.44 cores=1,3,5,7
/proc/29095/task/29099/stat : 29099 (SArTagnan) R 29093 29095 28460 0 -1 4202560 729885 0 0 0 16032 112 0 0 25 0 4 0 594320147 2324099072 424368 33554432000 4194304 4623224 140737313754816 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 645.89
Current children cumulated vsize (KiB) 2269628

[startup+222.3 s]
/proc/loadavg: 8.00 6.64 6.34 9/184 29105
/proc/meminfo: memFree=20841480/32951124 swapFree=67111348/67111528
[pid=29095] ppid=29093 vsize=2269628 CPUtime=885.56 cores=1,3,5,7
/proc/29095/stat : 29095 (SArTagnan) R 29093 29095 28460 0 -1 4202496 1528989 0 0 0 88325 231 0 0 25 0 4 0 594320079 2324099072 429653 33554432000 4194304 4623224 140737313754816 18446744073709551615 4507164 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29095/statm: 567407 429653 345 105 0 562911 0
[pid=29095/tid=29097] ppid=29093 vsize=2269628 CPUtime=220.82 cores=1,3,5,7
/proc/29095/task/29097/stat : 29097 (SArTagnan) R 29093 29095 28460 0 -1 4202560 173115 0 0 0 22058 24 0 0 25 0 4 0 594320147 2324099072 429653 33554432000 4194304 4623224 140737313754816 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29095/tid=29098] ppid=29093 vsize=2269628 CPUtime=221.04 cores=1,3,5,7
/proc/29095/task/29098/stat : 29098 (SArTagnan) R 29093 29095 28460 0 -1 4202560 179238 0 0 0 22081 23 0 0 25 0 4 0 594320147 2324099072 429653 33554432000 4194304 4623224 140737313754816 18446744073709551615 4289553 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29095/tid=29099] ppid=29093 vsize=2269628 CPUtime=221.44 cores=1,3,5,7
/proc/29095/task/29099/stat : 29099 (SArTagnan) R 29093 29095 28460 0 -1 4202560 743604 0 0 0 22030 114 0 0 25 0 4 0 594320147 2324099072 429653 33554432000 4194304 4623224 140737313754816 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 885.56
Current children cumulated vsize (KiB) 2269628

[startup+282.301 s]

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

/proc/29095/statm: 595353 452992 375 105 0 590857 0
[pid=29095/tid=29097] ppid=29093 vsize=2381412 CPUtime=399.84 cores=1,3,5,7
/proc/29095/task/29097/stat : 29097 (SArTagnan) R 29093 29095 28460 0 -1 4202560 180369 0 0 0 39959 25 0 0 25 0 4 0 594320147 2438565888 452992 33554432000 4194304 4623224 140737313754816 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29095/tid=29098] ppid=29093 vsize=2381412 CPUtime=401.05 cores=1,3,5,7
/proc/29095/task/29098/stat : 29098 (SArTagnan) R 29093 29095 28460 0 -1 4202560 186513 0 0 0 40080 25 0 0 25 0 4 0 594320147 2438565888 452992 33554432000 4194304 4623224 140737313754816 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29095/tid=29099] ppid=29093 vsize=2381412 CPUtime=401.45 cores=1,3,5,7
/proc/29095/task/29099/stat : 29099 (SArTagnan) R 29093 29095 28460 0 -1 4202560 1520198 0 0 0 39916 229 0 0 25 0 4 0 594320147 2438565888 452992 33554432000 4194304 4623224 140737313754816 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1604.59
Current children cumulated vsize (KiB) 2381412

[startup+462.301 s]
/proc/loadavg: 8.20 7.52 6.76 9/184 29114
/proc/meminfo: memFree=18629708/32951124 swapFree=67111348/67111528
[pid=29095] ppid=29093 vsize=2384572 CPUtime=1844.27 cores=1,3,5,7
/proc/29095/stat : 29095 (SArTagnan) R 29093 29095 28460 0 -1 4202496 2424449 0 0 0 184059 368 0 0 25 0 4 0 594320079 2441801728 453479 33554432000 4194304 4623224 140737313754816 18446744073709551615 4510034 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29095/statm: 596143 453479 361 105 0 591647 0
[pid=29095/tid=29097] ppid=29093 vsize=2384572 CPUtime=459.51 cores=1,3,5,7
/proc/29095/task/29097/stat : 29097 (SArTagnan) R 29093 29095 28460 0 -1 4202560 180868 0 0 0 45926 25 0 0 25 0 4 0 594320147 2441801728 453479 33554432000 4194304 4623224 140737313754816 18446744073709551615 4377648 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29095/tid=29098] ppid=29093 vsize=2384572 CPUtime=461.05 cores=1,3,5,7
/proc/29095/task/29098/stat : 29098 (SArTagnan) R 29093 29095 28460 0 -1 4202560 187006 0 0 0 46080 25 0 0 25 0 4 0 594320147 2441801728 453479 33554432000 4194304 4623224 140737313754816 18446744073709551615 4376659 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29095/tid=29099] ppid=29093 vsize=2384572 CPUtime=461.45 cores=1,3,5,7
/proc/29095/task/29099/stat : 29099 (SArTagnan) R 29093 29095 28460 0 -1 4202560 1614977 0 0 0 45899 246 0 0 25 0 4 0 594320147 2441801728 453479 33554432000 4194304 4623224 140737313754816 18446744073709551615 4552555 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1844.27
Current children cumulated vsize (KiB) 2384572

[startup+522.3 s]
/proc/loadavg: 8.18 7.64 6.85 9/184 29116
/proc/meminfo: memFree=18332048/32951124 swapFree=67111348/67111528
[pid=29095] ppid=29093 vsize=2389000 CPUtime=2083.95 cores=1,3,5,7
/proc/29095/stat : 29095 (SArTagnan) R 29093 29095 28460 0 -1 4202496 2426665 0 0 0 208027 368 0 0 25 0 4 0 594320079 2446336000 455670 33554432000 4194304 4623224 140737313754816 18446744073709551615 4510189 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29095/statm: 597250 455670 362 105 0 592754 0
[pid=29095/tid=29097] ppid=29093 vsize=2389000 CPUtime=519.19 cores=1,3,5,7
/proc/29095/task/29097/stat : 29097 (SArTagnan) R 29093 29095 28460 0 -1 4202560 181013 0 0 0 51894 25 0 0 25 0 4 0 594320147 2446336000 455670 33554432000 4194304 4623224 140737313754816 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29095/tid=29098] ppid=29093 vsize=2389000 CPUtime=521.05 cores=1,3,5,7
/proc/29095/task/29098/stat : 29098 (SArTagnan) R 29093 29095 28460 0 -1 4202560 187632 0 0 0 52080 25 0 0 25 0 4 0 594320147 2446336000 455670 33554432000 4194304 4623224 140737313754816 18446744073709551615 4366346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29095/tid=29099] ppid=29093 vsize=2389000 CPUtime=521.45 cores=1,3,5,7
/proc/29095/task/29099/stat : 29099 (SArTagnan) R 29093 29095 28460 0 -1 4202560 1616049 0 0 0 51899 246 0 0 25 0 4 0 594320147 2446336000 455670 33554432000 4194304 4623224 140737313754816 18446744073709551615 4364232 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2083.95
Current children cumulated vsize (KiB) 2389000

[startup+582.3 s]
/proc/loadavg: 8.13 7.71 6.92 9/184 29117
/proc/meminfo: memFree=17883360/32951124 swapFree=67111348/67111528
[pid=29095] ppid=29093 vsize=2517448 CPUtime=2323.61 cores=1,3,5,7
/proc/29095/stat : 29095 (SArTagnan) R 29093 29095 28460 0 -1 4202496 2648857 0 0 0 231957 404 0 0 25 0 4 0 594320079 2577866752 462827 33554432000 4194304 4623224 140737313754816 18446744073709551615 4510034 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29095/statm: 629362 462827 362 105 0 624866 0
[pid=29095/tid=29097] ppid=29093 vsize=2517448 CPUtime=578.86 cores=1,3,5,7
/proc/29095/task/29097/stat : 29097 (SArTagnan) R 29093 29095 28460 0 -1 4202560 181186 0 0 0 57861 25 0 0 25 0 4 0 594320147 2577866752 462827 33554432000 4194304 4623224 140737313754816 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29095/tid=29098] ppid=29093 vsize=2517448 CPUtime=581.05 cores=1,3,5,7
/proc/29095/task/29098/stat : 29098 (SArTagnan) R 29093 29095 28460 0 -1 4202560 187868 0 0 0 58080 25 0 0 25 0 4 0 594320147 2577866752 462827 33554432000 4194304 4623224 140737313754816 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29095/tid=29099] ppid=29093 vsize=2517448 CPUtime=581.44 cores=1,3,5,7
/proc/29095/task/29099/stat : 29099 (SArTagnan) R 29093 29095 28460 0 -1 4202560 1772286 0 0 0 57871 273 0 0 25 0 4 0 594320147 2577866752 462827 33554432000 4194304 4623224 140737313754816 18446744073709551615 4552683 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2323.61
Current children cumulated vsize (KiB) 2517448

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

[startup+588.701 s]
/proc/loadavg: 8.11 7.72 6.93 9/184 29117
/proc/meminfo: memFree=17461632/32951124 swapFree=67111348/67111528
[pid=29095] ppid=29093 vsize=2517448 CPUtime=2349.18 cores=1,3,5,7
/proc/29095/stat : 29095 (SArTagnan) R 29093 29095 28460 0 -1 4202496 2648966 0 0 0 234514 404 0 0 25 0 4 0 594320079 2577866752 462932 33554432000 4194304 4623224 140737313754816 18446744073709551615 4507318 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29095/statm: 629362 462932 359 105 0 624866 0
[pid=29095/tid=29097] ppid=29093 vsize=2517448 CPUtime=585.22 cores=1,3,5,7
/proc/29095/task/29097/stat : 29097 (SArTagnan) R 29093 29095 28460 0 -1 4202560 181216 0 0 0 58497 25 0 0 25 0 4 0 594320147 2577866752 462932 33554432000 4194304 4623224 140737313754816 18446744073709551615 4377579 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29095/tid=29098] ppid=29093 vsize=2517448 CPUtime=587.45 cores=1,3,5,7
/proc/29095/task/29098/stat : 29098 (SArTagnan) R 29093 29095 28460 0 -1 4202560 187897 0 0 0 58720 25 0 0 25 0 4 0 594320147 2577866752 462932 33554432000 4194304 4623224 140737313754816 18446744073709551615 4377031 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29095/tid=29099] ppid=29093 vsize=2517448 CPUtime=587.85 cores=1,3,5,7
/proc/29095/task/29099/stat : 29099 (SArTagnan) R 29093 29095 28460 0 -1 4202560 1772289 0 0 0 58512 273 0 0 25 0 4 0 594320147 2577866752 462932 33554432000 4194304 4623224 140737313754816 18446744073709551615 4363755 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2349.18
Current children cumulated vsize (KiB) 2517448

[startup+601.501 s]
/proc/loadavg: 8.09 7.73 6.94 9/184 29118
/proc/meminfo: memFree=17608940/32951124 swapFree=67111348/67111528
[pid=29095] ppid=29093 vsize=2520188 CPUtime=2400.31 cores=1,3,5,7
/proc/29095/stat : 29095 (SArTagnan) R 29093 29095 28460 0 -1 4202496 2652294 0 0 0 239626 405 0 0 25 0 4 0 594320079 2580672512 463965 33554432000 4194304 4623224 140737313754816 18446744073709551615 4510113 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29095/statm: 630047 463965 359 105 0 625551 0
[pid=29095/tid=29097] ppid=29093 vsize=2520188 CPUtime=597.95 cores=1,3,5,7
/proc/29095/task/29097/stat : 29097 (SArTagnan) R 29093 29095 28460 0 -1 4202560 181340 0 0 0 59770 25 0 0 25 0 4 0 594320147 2580672512 463965 33554432000 4194304 4623224 140737313754816 18446744073709551615 4463239 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29095/tid=29098] ppid=29093 vsize=2520188 CPUtime=600.25 cores=1,3,5,7
/proc/29095/task/29098/stat : 29098 (SArTagnan) R 29093 29095 28460 0 -1 4202560 188068 0 0 0 60000 25 0 0 25 0 4 0 594320147 2580672512 463965 33554432000 4194304 4623224 140737313754816 18446744073709551615 4289735 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29095/tid=29099] ppid=29093 vsize=2520188 CPUtime=600.65 cores=1,3,5,7
/proc/29095/task/29099/stat : 29099 (SArTagnan) R 29093 29095 28460 0 -1 4202560 1775111 0 0 0 59791 274 0 0 25 0 4 0 594320147 2580672512 463965 33554432000 4194304 4623224 140737313754816 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2400.31
Current children cumulated vsize (KiB) 2520188

[startup+604.701 s]
/proc/loadavg: 8.08 7.74 6.95 9/184 29118
/proc/meminfo: memFree=17603352/32951124 swapFree=67111348/67111528
[pid=29095] ppid=29093 vsize=2520188 CPUtime=2413.09 cores=1,3,5,7
/proc/29095/stat : 29095 (SArTagnan) R 29093 29095 28460 0 -1 4202496 2652335 0 0 0 240904 405 0 0 25 0 4 0 594320079 2580672512 464005 33554432000 4194304 4623224 140737313754816 18446744073709551615 4507406 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29095/statm: 630047 464005 359 105 0 625551 0
[pid=29095/tid=29097] ppid=29093 vsize=2520188 CPUtime=601.14 cores=1,3,5,7
/proc/29095/task/29097/stat : 29097 (SArTagnan) R 29093 29095 28460 0 -1 4202560 181343 0 0 0 60089 25 0 0 25 0 4 0 594320147 2580672512 464005 33554432000 4194304 4623224 140737313754816 18446744073709551615 4376659 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29095/tid=29098] ppid=29093 vsize=2520188 CPUtime=603.45 cores=1,3,5,7
/proc/29095/task/29098/stat : 29098 (SArTagnan) R 29093 29095 28460 0 -1 4202560 188083 0 0 0 60320 25 0 0 25 0 4 0 594320147 2580672512 464005 33554432000 4194304 4623224 140737313754816 18446744073709551615 4366412 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29095/tid=29099] ppid=29093 vsize=2520188 CPUtime=603.85 cores=1,3,5,7
/proc/29095/task/29099/stat : 29099 (SArTagnan) R 29093 29095 28460 0 -1 4202560 1775111 0 0 0 60111 274 0 0 25 0 4 0 594320147 2580672512 464005 33554432000 4194304 4623224 140737313754816 18446744073709551615 4363667 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2413.09
Current children cumulated vsize (KiB) 2520188

[startup+606.301 s]
/proc/loadavg: 8.08 7.74 6.95 9/184 29118
/proc/meminfo: memFree=17611660/32951124 swapFree=67111348/67111528
[pid=29095] ppid=29093 vsize=2520188 CPUtime=2419.48 cores=1,3,5,7
/proc/29095/stat : 29095 (SArTagnan) R 29093 29095 28460 0 -1 4202496 2652369 0 0 0 241543 405 0 0 25 0 4 0 594320079 2580672512 464039 33554432000 4194304 4623224 140737313754816 18446744073709551615 4510206 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29095/statm: 630047 464039 359 105 0 625551 0
[pid=29095/tid=29097] ppid=29093 vsize=2520188 CPUtime=602.72 cores=1,3,5,7
/proc/29095/task/29097/stat : 29097 (SArTagnan) R 29093 29095 28460 0 -1 4202560 181346 0 0 0 60247 25 0 0 25 0 4 0 594320147 2580672512 464039 33554432000 4194304 4623224 140737313754816 18446744073709551615 4376827 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29095/tid=29098] ppid=29093 vsize=2520188 CPUtime=605.05 cores=1,3,5,7
/proc/29095/task/29098/stat : 29098 (SArTagnan) R 29093 29095 28460 0 -1 4202560 188097 0 0 0 60480 25 0 0 25 0 4 0 594320147 2580672512 464039 33554432000 4194304 4623224 140737313754816 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29095/tid=29099] ppid=29093 vsize=2520188 CPUtime=605.45 cores=1,3,5,7
/proc/29095/task/29099/stat : 29099 (SArTagnan) R 29093 29095 28460 0 -1 4202560 1775111 0 0 0 60271 274 0 0 25 0 4 0 594320147 2580672512 464039 33554432000 4194304 4623224 140737313754816 18446744073709551615 4366391 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2419.48
Current children cumulated vsize (KiB) 2520188

[startup+607.901 s]
/proc/loadavg: 8.08 7.74 6.95 9/184 29118
/proc/meminfo: memFree=16372400/32951124 swapFree=67111348/67111528
[pid=29095] ppid=29093 vsize=2520188 CPUtime=2425.87 cores=1,3,5,7
/proc/29095/stat : 29095 (SArTagnan) R 29093 29095 28460 0 -1 4202496 2652413 0 0 0 242182 405 0 0 25 0 4 0 594320079 2580672512 464079 33554432000 4194304 4623224 140737313754816 18446744073709551615 4507421 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29095/statm: 630047 464079 359 105 0 625551 0
[pid=29095/tid=29097] ppid=29093 vsize=2520188 CPUtime=604.32 cores=1,3,5,7
/proc/29095/task/29097/stat : 29097 (SArTagnan) R 29093 29095 28460 0 -1 4202560 181353 0 0 0 60407 25 0 0 25 0 4 0 594320147 2580672512 464079 33554432000 4194304 4623224 140737313754816 18446744073709551615 4377864 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29095/tid=29098] ppid=29093 vsize=2520188 CPUtime=606.65 cores=1,3,5,7
/proc/29095/task/29098/stat : 29098 (SArTagnan) R 29093 29095 28460 0 -1 4202560 188103 0 0 0 60640 25 0 0 25 0 4 0 594320147 2580672512 464079 33554432000 4194304 4623224 140737313754816 18446744073709551615 4289775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29095/tid=29099] ppid=29093 vsize=2520188 CPUtime=607.05 cores=1,3,5,7
/proc/29095/task/29099/stat : 29099 (SArTagnan) R 29093 29095 28460 0 -1 4202560 1775111 0 0 0 60431 274 0 0 25 0 4 0 594320147 2580672512 464079 33554432000 4194304 4623224 140737313754816 18446744073709551615 252457733155 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2425.87
Current children cumulated vsize (KiB) 2520188

[startup+608.7 s]
/proc/loadavg: 8.08 7.74 6.95 9/184 29118
/proc/meminfo: memFree=17479100/32951124 swapFree=67111348/67111528
[pid=29095] ppid=29093 vsize=2520188 CPUtime=2429.07 cores=1,3,5,7
/proc/29095/stat : 29095 (SArTagnan) R 29093 29095 28460 0 -1 4202496 2652435 0 0 0 242502 405 0 0 25 0 4 0 594320079 2580672512 464098 33554432000 4194304 4623224 140737313754816 18446744073709551615 4413725 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29095/statm: 630047 464098 359 105 0 625551 0
[pid=29095/tid=29097] ppid=29093 vsize=2520188 CPUtime=605.11 cores=1,3,5,7
/proc/29095/task/29097/stat : 29097 (SArTagnan) R 29093 29095 28460 0 -1 4202560 181353 0 0 0 60486 25 0 0 25 0 4 0 594320147 2580672512 464098 33554432000 4194304 4623224 140737313754816 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29095/tid=29098] ppid=29093 vsize=2520188 CPUtime=607.45 cores=1,3,5,7
/proc/29095/task/29098/stat : 29098 (SArTagnan) R 29093 29095 28460 0 -1 4202560 188115 0 0 0 60720 25 0 0 25 0 4 0 594320147 2580672512 464098 33554432000 4194304 4623224 140737313754816 18446744073709551615 4317194 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29095/tid=29099] ppid=29093 vsize=2520188 CPUtime=607.85 cores=1,3,5,7
/proc/29095/task/29099/stat : 29099 (SArTagnan) R 29093 29095 28460 0 -1 4202560 1775111 0 0 0 60511 274 0 0 25 0 4 0 594320147 2580672512 464098 33554432000 4194304 4623224 140737313754816 18446744073709551615 4377864 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2429.07
Current children cumulated vsize (KiB) 2520188

[startup+609.1 s]
/proc/loadavg: 8.08 7.74 6.95 9/184 29118
/proc/meminfo: memFree=17479100/32951124 swapFree=67111348/67111528
[pid=29095] ppid=29093 vsize=2520188 CPUtime=2430.67 cores=1,3,5,7
/proc/29095/stat : 29095 (SArTagnan) R 29093 29095 28460 0 -1 4202496 2652447 0 0 0 242662 405 0 0 25 0 4 0 594320079 2580672512 464109 33554432000 4194304 4623224 140737313754816 18446744073709551615 4514963 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29095/statm: 630047 464109 359 105 0 625551 0
[pid=29095/tid=29097] ppid=29093 vsize=2520188 CPUtime=605.51 cores=1,3,5,7
/proc/29095/task/29097/stat : 29097 (SArTagnan) R 29093 29095 28460 0 -1 4202560 181353 0 0 0 60526 25 0 0 25 0 4 0 594320147 2580672512 464109 33554432000 4194304 4623224 140737313754816 18446744073709551615 4377128 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29095/tid=29098] ppid=29093 vsize=2520188 CPUtime=607.85 cores=1,3,5,7
/proc/29095/task/29098/stat : 29098 (SArTagnan) R 29093 29095 28460 0 -1 4202560 188121 0 0 0 60760 25 0 0 25 0 4 0 594320147 2580672512 464109 33554432000 4194304 4623224 140737313754816 18446744073709551615 4377433 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29095/tid=29099] ppid=29093 vsize=2520188 CPUtime=608.25 cores=1,3,5,7
/proc/29095/task/29099/stat : 29099 (SArTagnan) R 29093 29095 28460 0 -1 4202560 1775111 0 0 0 60551 274 0 0 25 0 4 0 594320147 2580672512 464109 33554432000 4194304 4623224 140737313754816 18446744073709551615 4545376 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2430.67
Current children cumulated vsize (KiB) 2520188

[startup+609.2 s]
/proc/loadavg: 8.08 7.74 6.95 9/184 29118
/proc/meminfo: memFree=17479100/32951124 swapFree=67111348/67111528
[pid=29095] ppid=29093 vsize=0 CPUtime=2431.06 cores=1,3,5,7
/proc/29095/stat : 29095 (SArTagnan) R 29093 29095 28460 0 -1 4203524 2652463 0 0 0 242701 405 0 0 25 0 1 0 594320079 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/29095/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2431.06
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 609.278
CPU time (s): 2431.15
CPU user time (s): 2427.01
CPU system time (s): 4.13637
CPU usage (%): 399.021
Max. virtual memory (cumulated for all children) (KiB): 2582984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2427.01
system time used= 4.13637
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2652463
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= 19328
involuntary context switches= 11015

runsolver used 0.870867 second user time and 2.45963 second system time

The end

Launcher Data 

Begin job on node111 at 2011-04-29 03:34:56
IDJOB=3281631
IDBENCH=69591
IDSOLVER=1656
FILE ID=node111/3281631-1304040895
RUNJOBID= node111-1304040775-28980
PBS_JOBID= 13170353
Free space on /tmp= 70808 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT_RACE08/cnf/manol-pipe-c10nidw.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3281631-1304040895/watcher-3281631-1304040895 -o /tmp/evaluation-result-3281631-1304040895/solver-3281631-1304040895 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3281631-1304040895.cnf -threads=4

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

MD5SUM BENCH= 943fd86d922b13236c21a74c4f82b6d0
RANDOM SEED=961326513

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
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.849
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.67
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.849
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24278452 kB
Buffers:       1266516 kB
Cached:        6291964 kB
SwapCached:        124 kB
Active:        3697464 kB
Inactive:      4483172 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24278452 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           93324 kB
Writeback:         112 kB
AnonPages:      621676 kB
Mapped:          15496 kB
Slab:           425812 kB
PageTables:       5176 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   991052 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= 70808 MiB
End job on node111 at 2011-04-29 03:45:05