Trace number 3286921

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 1945.34 487.472

General information on the benchmark

Nameapplication/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf
MD5SUM28b7074e04e59e64b5e4d7991d54f9d1
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark15.4606
Satisfiable
(Un)Satisfiability was proved
Number of variables448370
Number of clauses1130525
Sum of the clauses size2637889
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2753682
Number of clauses of size 3376841
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

1945.20/487.42	
1945.20/487.42	s UNSATISFIABLE
1945.20/487.42	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-3286921-1304064592/watcher-3286921-1304064592 -o /tmp/evaluation-result-3286921-1304064592/solver-3286921-1304064592 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3286921-1304064592.cnf -threads=4 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.08 8.06 7.91 5/180 13004
/proc/meminfo: memFree=23538360/32950928 swapFree=67111524/67111528
[pid=13004] ppid=13002 vsize=25576 CPUtime=0 cores=0,2,4,6
/proc/13004/stat : 13004 (SArTagnan) R 13002 13004 11981 0 -1 4202496 1405 0 0 0 0 0 0 0 23 0 1 0 518058007 26189824 1342 33554432000 4194304 4623224 140736605665760 18446744073709551615 4315013 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13004/statm: 6394 1344 290 105 0 1898 0

[startup+0.0160471 s]
/proc/loadavg: 8.08 8.06 7.91 5/180 13004
/proc/meminfo: memFree=23538360/32950928 swapFree=67111524/67111528
[pid=13004] ppid=13002 vsize=36088 CPUtime=0 cores=0,2,4,6
/proc/13004/stat : 13004 (SArTagnan) R 13002 13004 11981 0 -1 4202496 3382 0 0 0 0 0 0 0 23 0 1 0 518058007 36954112 3320 33554432000 4194304 4623224 140736605665760 18446744073709551615 4305806 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13004/statm: 9022 3343 290 105 0 4526 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 36088

[startup+0.101034 s]
/proc/loadavg: 8.08 8.06 7.91 5/180 13004
/proc/meminfo: memFree=23538360/32950928 swapFree=67111524/67111528
[pid=13004] ppid=13002 vsize=91208 CPUtime=0.09 cores=0,2,4,6
/proc/13004/stat : 13004 (SArTagnan) R 13002 13004 11981 0 -1 4202496 13356 0 0 0 8 1 0 0 23 0 1 0 518058007 93396992 10893 33554432000 4194304 4623224 140736605665760 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13004/statm: 22802 10896 297 105 0 18306 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 91208

[startup+0.300999 s]
/proc/loadavg: 8.08 8.06 7.91 5/180 13004
/proc/meminfo: memFree=23538360/32950928 swapFree=67111524/67111528
[pid=13004] ppid=13002 vsize=114128 CPUtime=0.29 cores=0,2,4,6
/proc/13004/stat : 13004 (SArTagnan) R 13002 13004 11981 0 -1 4202496 27403 0 0 0 26 3 0 0 24 0 1 0 518058007 116867072 16875 33554432000 4194304 4623224 140736605665760 18446744073709551615 4366247 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/13004/statm: 28532 16876 297 105 0 24036 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 114128

[startup+0.700933 s]
/proc/loadavg: 8.08 8.06 7.91 5/180 13004
/proc/meminfo: memFree=23538360/32950928 swapFree=67111524/67111528
[pid=13004] ppid=13002 vsize=561324 CPUtime=1.1 cores=0,2,4,6
/proc/13004/stat : 13004 (SArTagnan) R 13002 13004 11981 0 -1 4202496 90157 0 0 0 100 10 0 0 25 0 4 0 518058007 574795776 71423 33554432000 4194304 4623224 140736605665760 18446744073709551615 251813896149 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13004/statm: 140331 71423 332 105 0 135835 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 561324

[startup+1.5008 s]
/proc/loadavg: 8.08 8.06 7.91 9/184 13008
/proc/meminfo: memFree=23244208/32950928 swapFree=67111524/67111528
[pid=13004] ppid=13002 vsize=572260 CPUtime=4.3 cores=0,2,4,6
/proc/13004/stat : 13004 (SArTagnan) R 13002 13004 11981 0 -1 4202496 99107 0 0 0 418 12 0 0 25 0 4 0 518058007 585994240 74166 33554432000 4194304 4623224 140736605665760 18446744073709551615 4412519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13004/statm: 143065 74166 335 105 0 138569 0
[pid=13004/tid=13006] ppid=13002 vsize=572260 CPUtime=0.92 cores=0,2,4,6
/proc/13004/task/13006/stat : 13006 (SArTagnan) R 13002 13004 11981 0 -1 4202560 5623 0 0 0 92 0 0 0 25 0 4 0 518058063 585994240 74166 33554432000 4194304 4623224 140736605665760 18446744073709551615 4376520 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13004/tid=13007] ppid=13002 vsize=572260 CPUtime=0.92 cores=0,2,4,6
/proc/13004/task/13007/stat : 13007 (SArTagnan) R 13002 13004 11981 0 -1 4202560 5153 0 0 0 92 0 0 0 25 0 4 0 518058063 585994240 74166 33554432000 4194304 4623224 140736605665760 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13004/tid=13008] ppid=13002 vsize=572260 CPUtime=0.92 cores=0,2,4,6
/proc/13004/task/13008/stat : 13008 (SArTagnan) R 13002 13004 11981 0 -1 4202560 5693 0 0 0 92 0 0 0 25 0 4 0 518058063 585994240 74166 33554432000 4194304 4623224 140736605665760 18446744073709551615 4364650 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 572260

[startup+3.10053 s]
/proc/loadavg: 8.08 8.06 7.91 9/184 13008
/proc/meminfo: memFree=23219532/32950928 swapFree=67111524/67111528
[pid=13004] ppid=13002 vsize=583520 CPUtime=10.68 cores=0,2,4,6
/proc/13004/stat : 13004 (SArTagnan) R 13002 13004 11981 0 -1 4202496 107493 0 0 0 1056 12 0 0 25 0 4 0 518058007 597524480 79614 33554432000 4194304 4623224 140736605665760 18446744073709551615 4412627 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13004/statm: 145880 79614 335 105 0 141384 0
[pid=13004/tid=13006] ppid=13002 vsize=583520 CPUtime=2.51 cores=0,2,4,6
/proc/13004/task/13006/stat : 13006 (SArTagnan) R 13002 13004 11981 0 -1 4202560 5732 0 0 0 251 0 0 0 25 0 4 0 518058063 597524480 79614 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289896 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13004/tid=13007] ppid=13002 vsize=583520 CPUtime=2.53 cores=0,2,4,6
/proc/13004/task/13007/stat : 13007 (SArTagnan) R 13002 13004 11981 0 -1 4202560 9115 0 0 0 252 1 0 0 25 0 4 0 518058063 597524480 79614 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289785 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13004/tid=13008] ppid=13002 vsize=583520 CPUtime=2.53 cores=0,2,4,6
/proc/13004/task/13008/stat : 13008 (SArTagnan) R 13002 13004 11981 0 -1 4202560 9916 0 0 0 252 1 0 0 25 0 4 0 518058063 597524480 79614 33554432000 4194304 4623224 140736605665760 18446744073709551615 4376612 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.68
Current children cumulated vsize (KiB) 583520

[startup+6.30099 s]
/proc/loadavg: 8.07 8.06 7.91 9/184 13008
/proc/meminfo: memFree=23206992/32950928 swapFree=67111524/67111528
[pid=13004] ppid=13002 vsize=583520 CPUtime=23.47 cores=0,2,4,6
/proc/13004/stat : 13004 (SArTagnan) R 13002 13004 11981 0 -1 4202496 108640 0 0 0 2334 13 0 0 25 0 4 0 518058007 597524480 80761 33554432000 4194304 4623224 140736605665760 18446744073709551615 4412473 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13004/statm: 145880 80761 335 105 0 141384 0
[pid=13004/tid=13006] ppid=13002 vsize=583520 CPUtime=5.69 cores=0,2,4,6
/proc/13004/task/13006/stat : 13006 (SArTagnan) R 13002 13004 11981 0 -1 4202560 5925 0 0 0 569 0 0 0 25 0 4 0 518058063 597524480 80761 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289760 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13004/tid=13007] ppid=13002 vsize=583520 CPUtime=5.73 cores=0,2,4,6
/proc/13004/task/13007/stat : 13007 (SArTagnan) R 13002 13004 11981 0 -1 4202560 9527 0 0 0 572 1 0 0 25 0 4 0 518058063 597524480 80761 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289678 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13004/tid=13008] ppid=13002 vsize=583520 CPUtime=5.73 cores=0,2,4,6
/proc/13004/task/13008/stat : 13008 (SArTagnan) R 13002 13004 11981 0 -1 4202560 10280 0 0 0 572 1 0 0 25 0 4 0 518058063 597524480 80761 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.47
Current children cumulated vsize (KiB) 583520

[startup+12.7009 s]
/proc/loadavg: 8.07 8.06 7.91 9/184 13009
/proc/meminfo: memFree=23186300/32950928 swapFree=67111524/67111528
[pid=13004] ppid=13002 vsize=583520 CPUtime=49.03 cores=0,2,4,6
/proc/13004/stat : 13004 (SArTagnan) R 13002 13004 11981 0 -1 4202496 110728 0 0 0 4889 14 0 0 25 0 4 0 518058007 597524480 82849 33554432000 4194304 4623224 140736605665760 18446744073709551615 4412513 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13004/statm: 145880 82849 335 105 0 141384 0
[pid=13004/tid=13006] ppid=13002 vsize=583520 CPUtime=12.06 cores=0,2,4,6
/proc/13004/task/13006/stat : 13006 (SArTagnan) R 13002 13004 11981 0 -1 4202560 6485 0 0 0 1205 1 0 0 25 0 4 0 518058063 597524480 82849 33554432000 4194304 4623224 140736605665760 18446744073709551615 4376579 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13004/tid=13007] ppid=13002 vsize=583520 CPUtime=12.13 cores=0,2,4,6
/proc/13004/task/13007/stat : 13007 (SArTagnan) R 13002 13004 11981 0 -1 4202560 10032 0 0 0 1212 1 0 0 25 0 4 0 518058063 597524480 82849 33554432000 4194304 4623224 140736605665760 18446744073709551615 4317463 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13004/tid=13008] ppid=13002 vsize=583520 CPUtime=12.13 cores=0,2,4,6
/proc/13004/task/13008/stat : 13008 (SArTagnan) R 13002 13004 11981 0 -1 4202560 10790 0 0 0 1212 1 0 0 25 0 4 0 518058063 597524480 82849 33554432000 4194304 4623224 140736605665760 18446744073709551615 4363742 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.03
Current children cumulated vsize (KiB) 583520

[startup+25.5008 s]
/proc/loadavg: 8.13 8.07 7.91 9/184 13009
/proc/meminfo: memFree=23136888/32950928 swapFree=67111524/67111528
[pid=13004] ppid=13002 vsize=616332 CPUtime=100.16 cores=0,2,4,6
/proc/13004/stat : 13004 (SArTagnan) R 13002 13004 11981 0 -1 4202496 133771 0 0 0 9999 17 0 0 25 0 4 0 518058007 631123968 88265 33554432000 4194304 4623224 140736605665760 18446744073709551615 4412446 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13004/statm: 154083 88265 335 105 0 149587 0
[pid=13004/tid=13006] ppid=13002 vsize=616332 CPUtime=24.79 cores=0,2,4,6
/proc/13004/task/13006/stat : 13006 (SArTagnan) R 13002 13004 11981 0 -1 4202560 11917 0 0 0 2478 1 0 0 25 0 4 0 518058063 631123968 88265 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289859 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13004/tid=13007] ppid=13002 vsize=616332 CPUtime=24.92 cores=0,2,4,6
/proc/13004/task/13007/stat : 13007 (SArTagnan) R 13002 13004 11981 0 -1 4202560 16894 0 0 0 2490 2 0 0 25 0 4 0 518058063 631123968 88265 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289682 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13004/tid=13008] ppid=13002 vsize=616332 CPUtime=24.92 cores=0,2,4,6
/proc/13004/task/13008/stat : 13008 (SArTagnan) R 13002 13004 11981 0 -1 4202560 16222 0 0 0 2491 1 0 0 25 0 4 0 518058063 631123968 88265 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289853 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.16
Current children cumulated vsize (KiB) 616332

[startup+51.1005 s]
/proc/loadavg: 8.09 8.07 7.91 9/184 13009
/proc/meminfo: memFree=23037168/32950928 swapFree=67111524/67111528
[pid=13004] ppid=13002 vsize=666708 CPUtime=202.41 cores=0,2,4,6
/proc/13004/stat : 13004 (SArTagnan) R 13002 13004 11981 0 -1 4202496 189111 0 0 0 20217 24 0 0 25 0 4 0 518058007 682708992 102748 33554432000 4194304 4623224 140736605665760 18446744073709551615 4412473 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13004/statm: 166677 102748 335 105 0 162181 0
[pid=13004/tid=13006] ppid=13002 vsize=666708 CPUtime=50.24 cores=0,2,4,6
/proc/13004/task/13006/stat : 13006 (SArTagnan) R 13002 13004 11981 0 -1 4202560 20547 0 0 0 5022 2 0 0 25 0 4 0 518058063 682708992 102748 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289961 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13004/tid=13007] ppid=13002 vsize=666708 CPUtime=50.53 cores=0,2,4,6
/proc/13004/task/13007/stat : 13007 (SArTagnan) R 13002 13004 11981 0 -1 4202560 46406 0 0 0 5046 7 0 0 25 0 4 0 518058063 682708992 102748 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289853 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13004/tid=13008] ppid=13002 vsize=666708 CPUtime=50.53 cores=0,2,4,6
/proc/13004/task/13008/stat : 13008 (SArTagnan) R 13002 13004 11981 0 -1 4202560 24842 0 0 0 5050 3 0 0 25 0 4 0 518058063 682708992 102748 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 202.41
Current children cumulated vsize (KiB) 666708

[startup+102.307 s]
/proc/loadavg: 8.20 8.10 7.93 9/184 13011
/proc/meminfo: memFree=22774460/32950928 swapFree=67111524/67111528
[pid=13004] ppid=13002 vsize=820484 CPUtime=406.95 cores=0,2,4,6
/proc/13004/stat : 13004 (SArTagnan) R 13002 13004 11981 0 -1 4202496 308877 0 0 0 40652 43 0 0 25 0 4 0 518058007 840175616 131628 33554432000 4194304 4623224 140736605665760 18446744073709551615 4412473 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13004/statm: 205121 131628 335 105 0 200625 0
[pid=13004/tid=13006] ppid=13002 vsize=820484 CPUtime=101.16 cores=0,2,4,6
/proc/13004/task/13006/stat : 13006 (SArTagnan) R 13002 13004 11981 0 -1 4202560 33281 0 0 0 10112 4 0 0 25 0 4 0 518058063 840175616 131628 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289875 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13004/tid=13007] ppid=13002 vsize=820484 CPUtime=101.74 cores=0,2,4,6
/proc/13004/task/13007/stat : 13007 (SArTagnan) R 13002 13004 11981 0 -1 4202560 139510 0 0 0 10152 22 0 0 25 0 4 0 518058063 840175616 131628 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289678 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13004/tid=13008] ppid=13002 vsize=820484 CPUtime=101.74 cores=0,2,4,6
/proc/13004/task/13008/stat : 13008 (SArTagnan) R 13002 13004 11981 0 -1 4202560 26734 0 0 0 10171 3 0 0 25 0 4 0 518058063 840175616 131628 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289691 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 406.95
Current children cumulated vsize (KiB) 820484

[startup+162.301 s]
/proc/loadavg: 8.17 8.11 7.94 9/184 13013
/proc/meminfo: memFree=22585420/32950928 swapFree=67111524/67111528
[pid=13004] ppid=13002 vsize=839424 CPUtime=646.6 cores=0,2,4,6
/proc/13004/stat : 13004 (SArTagnan) R 13002 13004 11981 0 -1 4202496 398524 0 0 0 64600 60 0 0 25 0 4 0 518058007 859570176 152951 33554432000 4194304 4623224 140736605665760 18446744073709551615 4412446 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13004/statm: 209856 152951 335 105 0 205360 0
[pid=13004/tid=13006] ppid=13002 vsize=839424 CPUtime=160.82 cores=0,2,4,6
/proc/13004/task/13006/stat : 13006 (SArTagnan) R 13002 13004 11981 0 -1 4202560 41897 0 0 0 16075 7 0 0 25 0 4 0 518058063 859570176 152951 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13004/tid=13007] ppid=13002 vsize=839424 CPUtime=161.72 cores=0,2,4,6
/proc/13004/task/13007/stat : 13007 (SArTagnan) R 13002 13004 11981 0 -1 4202560 207128 0 0 0 16139 33 0 0 25 0 4 0 518058063 859570176 152951 33554432000 4194304 4623224 140736605665760 18446744073709551615 4317214 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13004/tid=13008] ppid=13002 vsize=839424 CPUtime=161.73 cores=0,2,4,6
/proc/13004/task/13008/stat : 13008 (SArTagnan) R 13002 13004 11981 0 -1 4202560 37944 0 0 0 16169 4 0 0 25 0 4 0 518058063 859570176 152951 33554432000 4194304 4623224 140736605665760 18446744073709551615 4363789 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 646.6
Current children cumulated vsize (KiB) 839424

[startup+222.301 s]
/proc/loadavg: 8.23 8.13 7.96 9/184 13014
/proc/meminfo: memFree=22391172/32950928 swapFree=67111524/67111528
[pid=13004] ppid=13002 vsize=941460 CPUtime=886.26 cores=0,2,4,6
/proc/13004/stat : 13004 (SArTagnan) R 13002 13004 11981 0 -1 4202496 575654 0 0 0 88539 87 0 0 25 0 4 0 518058007 964055040 174836 33554432000 4194304 4623224 140736605665760 18446744073709551615 4412446 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13004/statm: 235365 174836 335 105 0 230869 0
[pid=13004/tid=13006] ppid=13002 vsize=941460 CPUtime=220.49 cores=0,2,4,6
/proc/13004/task/13006/stat : 13006 (SArTagnan) R 13002 13004 11981 0 -1 4202560 46310 0 0 0 22040 9 0 0 25 0 4 0 518058063 964055040 174836 33554432000 4194304 4623224 140736605665760 18446744073709551615 4376672 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13004/tid=13007] ppid=13002 vsize=941460 CPUtime=221.73 cores=0,2,4,6
/proc/13004/task/13007/stat : 13007 (SArTagnan) R 13002 13004 11981 0 -1 4202560 361885 0 0 0 22116 57 0 0 25 0 4 0 518058063 964055040 174836 33554432000 4194304 4623224 140736605665760 18446744073709551615 4485131 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13004/tid=13008] ppid=13002 vsize=941460 CPUtime=221.73 cores=0,2,4,6
/proc/13004/task/13008/stat : 13008 (SArTagnan) R 13002 13004 11981 0 -1 4202560 39671 0 0 0 22168 5 0 0 25 0 4 0 518058063 964055040 174836 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289678 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 886.26
Current children cumulated vsize (KiB) 941460

[startup+282.301 s]

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

/proc/13004/task/13008/stat : 13008 (SArTagnan) R 13002 13004 11981 0 -1 4202560 56007 0 0 0 28166 7 0 0 25 0 4 0 518058063 1118728192 206352 33554432000 4194304 4623224 140736605665760 18446744073709551615 4364427 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1125.94
Current children cumulated vsize (KiB) 1092508

[startup+342.301 s]
/proc/loadavg: 8.12 8.12 7.97 9/184 13017
/proc/meminfo: memFree=21899328/32950928 swapFree=67111524/67111528
[pid=13004] ppid=13002 vsize=1229076 CPUtime=1365.61 cores=0,2,4,6
/proc/13004/stat : 13004 (SArTagnan) R 13002 13004 11981 0 -1 4202496 805591 0 0 0 136431 130 0 0 25 0 4 0 518058007 1258573824 231497 33554432000 4194304 4623224 140736605665760 18446744073709551615 4412473 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13004/statm: 307269 231497 335 105 0 302773 0
[pid=13004/tid=13006] ppid=13002 vsize=1229076 CPUtime=339.83 cores=0,2,4,6
/proc/13004/task/13006/stat : 13006 (SArTagnan) R 13002 13004 11981 0 -1 4202560 79132 0 0 0 33965 18 0 0 25 0 4 0 518058063 1258573824 231497 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289678 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13004/tid=13007] ppid=13002 vsize=1229076 CPUtime=341.73 cores=0,2,4,6
/proc/13004/task/13007/stat : 13007 (SArTagnan) R 13002 13004 11981 0 -1 4202560 531015 0 0 0 34087 86 0 0 25 0 4 0 518058063 1258573824 231497 33554432000 4194304 4623224 140736605665760 18446744073709551615 4485206 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13004/tid=13008] ppid=13002 vsize=1229076 CPUtime=341.73 cores=0,2,4,6
/proc/13004/task/13008/stat : 13008 (SArTagnan) R 13002 13004 11981 0 -1 4202560 58518 0 0 0 34166 7 0 0 25 0 4 0 518058063 1258573824 231497 33554432000 4194304 4623224 140736605665760 18446744073709551615 4330912 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1365.61
Current children cumulated vsize (KiB) 1229076

[startup+402.301 s]
/proc/loadavg: 8.09 8.11 7.98 9/184 13019
/proc/meminfo: memFree=21743148/32950928 swapFree=67111524/67111528
[pid=13004] ppid=13002 vsize=1267532 CPUtime=1605.28 cores=0,2,4,6
/proc/13004/stat : 13004 (SArTagnan) R 13002 13004 11981 0 -1 4202496 921422 0 0 0 160380 148 0 0 25 0 4 0 518058007 1297952768 253254 33554432000 4194304 4623224 140736605665760 18446744073709551615 4412473 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13004/statm: 316883 253254 339 105 0 312387 0
[pid=13004/tid=13006] ppid=13002 vsize=1267532 CPUtime=399.49 cores=0,2,4,6
/proc/13004/task/13006/stat : 13006 (SArTagnan) R 13002 13004 11981 0 -1 4202560 81296 0 0 0 39931 18 0 0 25 0 4 0 518058063 1297952768 253254 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289678 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13004/tid=13007] ppid=13002 vsize=1267532 CPUtime=401.73 cores=0,2,4,6
/proc/13004/task/13007/stat : 13007 (SArTagnan) R 13002 13004 11981 0 -1 4202560 588324 0 0 0 40077 96 0 0 25 0 4 0 518058063 1297952768 253254 33554432000 4194304 4623224 140736605665760 18446744073709551615 4376634 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13004/tid=13008] ppid=13002 vsize=1267532 CPUtime=401.74 cores=0,2,4,6
/proc/13004/task/13008/stat : 13008 (SArTagnan) R 13002 13004 11981 0 -1 4202560 95096 0 0 0 40161 13 0 0 25 0 4 0 518058063 1297952768 253254 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289678 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1605.28
Current children cumulated vsize (KiB) 1267532

[startup+462.3 s]
/proc/loadavg: 8.07 8.10 7.98 9/184 13021
/proc/meminfo: memFree=21667564/32950928 swapFree=67111524/67111528
[pid=13004] ppid=13002 vsize=1269400 CPUtime=1844.95 cores=0,2,4,6
/proc/13004/stat : 13004 (SArTagnan) R 13002 13004 11981 0 -1 4202496 1017011 0 0 0 184333 162 0 0 25 0 4 0 518058007 1299865600 260928 33554432000 4194304 4623224 140736605665760 18446744073709551615 4412446 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13004/statm: 317350 260928 335 105 0 312854 0
[pid=13004/tid=13006] ppid=13002 vsize=1269400 CPUtime=459.16 cores=0,2,4,6
/proc/13004/task/13006/stat : 13006 (SArTagnan) R 13002 13004 11981 0 -1 4202560 81554 0 0 0 45898 18 0 0 25 0 4 0 518058063 1299865600 260928 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289853 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13004/tid=13007] ppid=13002 vsize=1269400 CPUtime=461.73 cores=0,2,4,6
/proc/13004/task/13007/stat : 13007 (SArTagnan) R 13002 13004 11981 0 -1 4202560 589888 0 0 0 46077 96 0 0 25 0 4 0 518058063 1299865600 260928 33554432000 4194304 4623224 140736605665760 18446744073709551615 4377413 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13004/tid=13008] ppid=13002 vsize=1269400 CPUtime=461.73 cores=0,2,4,6
/proc/13004/task/13008/stat : 13008 (SArTagnan) R 13002 13004 11981 0 -1 4202560 188312 0 0 0 46147 26 0 0 25 0 4 0 518058063 1299865600 260928 33554432000 4194304 4623224 140736605665760 18446744073709551615 4550453 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1844.95
Current children cumulated vsize (KiB) 1269400

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

[startup+473.501 s]
/proc/loadavg: 8.14 8.12 7.99 9/184 13021
/proc/meminfo: memFree=21634312/32950928 swapFree=67111524/67111528
[pid=13004] ppid=13002 vsize=1269400 CPUtime=1889.68 cores=0,2,4,6
/proc/13004/stat : 13004 (SArTagnan) R 13002 13004 11981 0 -1 4202496 1036031 0 0 0 188804 164 0 0 25 0 4 0 518058007 1299865600 262164 33554432000 4194304 4623224 140736605665760 18446744073709551615 4412446 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13004/statm: 317350 262164 335 105 0 312854 0
[pid=13004/tid=13006] ppid=13002 vsize=1269400 CPUtime=470.3 cores=0,2,4,6
/proc/13004/task/13006/stat : 13006 (SArTagnan) R 13002 13004 11981 0 -1 4202560 81555 0 0 0 47012 18 0 0 25 0 4 0 518058063 1299865600 262164 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13004/tid=13007] ppid=13002 vsize=1269400 CPUtime=472.93 cores=0,2,4,6
/proc/13004/task/13007/stat : 13007 (SArTagnan) R 13002 13004 11981 0 -1 4202560 589888 0 0 0 47197 96 0 0 25 0 4 0 518058063 1299865600 262164 33554432000 4194304 4623224 140736605665760 18446744073709551615 4376711 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13004/tid=13008] ppid=13002 vsize=1269400 CPUtime=472.94 cores=0,2,4,6
/proc/13004/task/13008/stat : 13008 (SArTagnan) R 13002 13004 11981 0 -1 4202560 207327 0 0 0 47265 29 0 0 25 0 4 0 518058063 1299865600 262164 33554432000 4194304 4623224 140736605665760 18446744073709551615 4546853 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1889.68
Current children cumulated vsize (KiB) 1269400

[startup+479.901 s]
/proc/loadavg: 8.12 8.11 7.99 9/184 13021
/proc/meminfo: memFree=21624020/32950928 swapFree=67111524/67111528
[pid=13004] ppid=13002 vsize=1269400 CPUtime=1915.25 cores=0,2,4,6
/proc/13004/stat : 13004 (SArTagnan) R 13002 13004 11981 0 -1 4202496 1052028 0 0 0 191358 167 0 0 25 0 4 0 518058007 1299865600 262218 33554432000 4194304 4623224 140736605665760 18446744073709551615 4412473 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13004/statm: 317350 262218 335 105 0 312854 0
[pid=13004/tid=13006] ppid=13002 vsize=1269400 CPUtime=476.66 cores=0,2,4,6
/proc/13004/task/13006/stat : 13006 (SArTagnan) R 13002 13004 11981 0 -1 4202560 81555 0 0 0 47648 18 0 0 25 0 4 0 518058063 1299865600 262218 33554432000 4194304 4623224 140736605665760 18446744073709551615 4376579 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13004/tid=13007] ppid=13002 vsize=1269400 CPUtime=479.33 cores=0,2,4,6
/proc/13004/task/13007/stat : 13007 (SArTagnan) R 13002 13004 11981 0 -1 4202560 589888 0 0 0 47837 96 0 0 25 0 4 0 518058063 1299865600 262218 33554432000 4194304 4623224 140736605665760 18446744073709551615 4365931 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13004/tid=13008] ppid=13002 vsize=1269400 CPUtime=479.33 cores=0,2,4,6
/proc/13004/task/13008/stat : 13008 (SArTagnan) R 13002 13004 11981 0 -1 4202560 223322 0 0 0 47902 31 0 0 25 0 4 0 518058063 1299865600 262218 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289735 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1915.25
Current children cumulated vsize (KiB) 1269400

[startup+483.101 s]
/proc/loadavg: 8.11 8.11 7.99 9/184 13021
/proc/meminfo: memFree=21619924/32950928 swapFree=67111524/67111528
[pid=13004] ppid=13002 vsize=1269400 CPUtime=1928.03 cores=0,2,4,6
/proc/13004/stat : 13004 (SArTagnan) R 13002 13004 11981 0 -1 4202496 1057460 0 0 0 192635 168 0 0 25 0 4 0 518058007 1299865600 262910 33554432000 4194304 4623224 140736605665760 18446744073709551615 4412473 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13004/statm: 317350 262910 335 105 0 312854 0
[pid=13004/tid=13006] ppid=13002 vsize=1269400 CPUtime=479.84 cores=0,2,4,6
/proc/13004/task/13006/stat : 13006 (SArTagnan) R 13002 13004 11981 0 -1 4202560 81555 0 0 0 47966 18 0 0 25 0 4 0 518058063 1299865600 262910 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289853 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13004/tid=13007] ppid=13002 vsize=1269400 CPUtime=482.53 cores=0,2,4,6
/proc/13004/task/13007/stat : 13007 (SArTagnan) R 13002 13004 11981 0 -1 4202560 589888 0 0 0 48157 96 0 0 25 0 4 0 518058063 1299865600 262910 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289853 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13004/tid=13008] ppid=13002 vsize=1269400 CPUtime=482.54 cores=0,2,4,6
/proc/13004/task/13008/stat : 13008 (SArTagnan) R 13002 13004 11981 0 -1 4202560 228748 0 0 0 48222 32 0 0 25 0 4 0 518058063 1299865600 262910 33554432000 4194304 4623224 140736605665760 18446744073709551615 4366200 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1928.03
Current children cumulated vsize (KiB) 1269400

[startup+484.701 s]
/proc/loadavg: 8.11 8.11 7.99 9/184 13021
/proc/meminfo: memFree=21619180/32950928 swapFree=67111524/67111528
[pid=13004] ppid=13002 vsize=1334936 CPUtime=1934.42 cores=0,2,4,6
/proc/13004/stat : 13004 (SArTagnan) R 13002 13004 11981 0 -1 4202496 1060372 0 0 0 193274 168 0 0 25 0 4 0 518058007 1366974464 263689 33554432000 4194304 4623224 140736605665760 18446744073709551615 4412489 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13004/statm: 333734 263689 335 105 0 329238 0
[pid=13004/tid=13006] ppid=13002 vsize=1334936 CPUtime=481.43 cores=0,2,4,6
/proc/13004/task/13006/stat : 13006 (SArTagnan) R 13002 13004 11981 0 -1 4202560 81555 0 0 0 48125 18 0 0 25 0 4 0 518058063 1366974464 263689 33554432000 4194304 4623224 140736605665760 18446744073709551615 4376579 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13004/tid=13007] ppid=13002 vsize=1334936 CPUtime=484.13 cores=0,2,4,6
/proc/13004/task/13007/stat : 13007 (SArTagnan) R 13002 13004 11981 0 -1 4202560 589888 0 0 0 48317 96 0 0 25 0 4 0 518058063 1366974464 263689 33554432000 4194304 4623224 140736605665760 18446744073709551615 4316616 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13004/tid=13008] ppid=13002 vsize=1334936 CPUtime=484.13 cores=0,2,4,6
/proc/13004/task/13008/stat : 13008 (SArTagnan) R 13002 13004 11981 0 -1 4202560 231659 0 0 0 48381 32 0 0 25 0 4 0 518058063 1366974464 263689 33554432000 4194304 4623224 140736605665760 18446744073709551615 4565176 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1934.42
Current children cumulated vsize (KiB) 1334936

[startup+486.3 s]
/proc/loadavg: 8.11 8.11 7.99 9/184 13021
/proc/meminfo: memFree=21619800/32950928 swapFree=67111524/67111528
[pid=13004] ppid=13002 vsize=1269400 CPUtime=1940.81 cores=0,2,4,6
/proc/13004/stat : 13004 (SArTagnan) R 13002 13004 11981 0 -1 4202496 1062957 0 0 0 193913 168 0 0 25 0 4 0 518058007 1299865600 262912 33554432000 4194304 4623224 140736605665760 18446744073709551615 4412516 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13004/statm: 317350 262912 335 105 0 312854 0
[pid=13004/tid=13006] ppid=13002 vsize=1269400 CPUtime=483.02 cores=0,2,4,6
/proc/13004/task/13006/stat : 13006 (SArTagnan) R 13002 13004 11981 0 -1 4202560 81555 0 0 0 48284 18 0 0 25 0 4 0 518058063 1299865600 262912 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289875 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13004/tid=13007] ppid=13002 vsize=1269400 CPUtime=485.73 cores=0,2,4,6
/proc/13004/task/13007/stat : 13007 (SArTagnan) R 13002 13004 11981 0 -1 4202560 589888 0 0 0 48477 96 0 0 25 0 4 0 518058063 1299865600 262912 33554432000 4194304 4623224 140736605665760 18446744073709551615 4376754 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13004/tid=13008] ppid=13002 vsize=1269400 CPUtime=485.74 cores=0,2,4,6
/proc/13004/task/13008/stat : 13008 (SArTagnan) R 13002 13004 11981 0 -1 4202560 234243 0 0 0 48541 33 0 0 25 0 4 0 518058063 1299865600 262912 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289678 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1940.81
Current children cumulated vsize (KiB) 1269400

[startup+487.1 s]
/proc/loadavg: 8.11 8.11 7.99 9/184 13021
/proc/meminfo: memFree=21619800/32950928 swapFree=67111524/67111528
[pid=13004] ppid=13002 vsize=1334936 CPUtime=1944.01 cores=0,2,4,6
/proc/13004/stat : 13004 (SArTagnan) R 13002 13004 11981 0 -1 4202496 1064314 0 0 0 194232 169 0 0 25 0 4 0 518058007 1366974464 263329 33554432000 4194304 4623224 140736605665760 18446744073709551615 4412446 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13004/statm: 333734 263329 335 105 0 329238 0
[pid=13004/tid=13006] ppid=13002 vsize=1334936 CPUtime=483.82 cores=0,2,4,6
/proc/13004/task/13006/stat : 13006 (SArTagnan) R 13002 13004 11981 0 -1 4202560 81555 0 0 0 48364 18 0 0 25 0 4 0 518058063 1366974464 263329 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289678 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13004/tid=13007] ppid=13002 vsize=1334936 CPUtime=486.53 cores=0,2,4,6
/proc/13004/task/13007/stat : 13007 (SArTagnan) R 13002 13004 11981 0 -1 4202560 589888 0 0 0 48557 96 0 0 25 0 4 0 518058063 1366974464 263329 33554432000 4194304 4623224 140736605665760 18446744073709551615 4377133 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13004/tid=13008] ppid=13002 vsize=1334936 CPUtime=486.53 cores=0,2,4,6
/proc/13004/task/13008/stat : 13008 (SArTagnan) R 13002 13004 11981 0 -1 4202560 235599 0 0 0 48620 33 0 0 25 0 4 0 518058063 1366974464 263329 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289917 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1944.01
Current children cumulated vsize (KiB) 1334936

[startup+487.306 s]
/proc/loadavg: 8.11 8.11 7.99 9/184 13021
/proc/meminfo: memFree=21621784/32950928 swapFree=67111524/67111528
[pid=13004] ppid=13002 vsize=1334936 CPUtime=1944.83 cores=0,2,4,6
/proc/13004/stat : 13004 (SArTagnan) R 13002 13004 11981 0 -1 4202496 1064700 0 0 0 194314 169 0 0 25 0 4 0 518058007 1366974464 263255 33554432000 4194304 4623224 140736605665760 18446744073709551615 4412473 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13004/statm: 333734 263255 335 105 0 329238 0
[pid=13004/tid=13006] ppid=13002 vsize=1334936 CPUtime=484.02 cores=0,2,4,6
/proc/13004/task/13006/stat : 13006 (SArTagnan) R 13002 13004 11981 0 -1 4202560 81555 0 0 0 48384 18 0 0 25 0 4 0 518058063 1366974464 263255 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13004/tid=13007] ppid=13002 vsize=1334936 CPUtime=486.73 cores=0,2,4,6
/proc/13004/task/13007/stat : 13007 (SArTagnan) R 13002 13004 11981 0 -1 4202560 589888 0 0 0 48577 96 0 0 25 0 4 0 518058063 1366974464 263256 33554432000 4194304 4623224 140736605665760 18446744073709551615 4376629 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13004/tid=13008] ppid=13002 vsize=1334936 CPUtime=486.74 cores=0,2,4,6
/proc/13004/task/13008/stat : 13008 (SArTagnan) R 13002 13004 11981 0 -1 4202560 235986 0 0 0 48641 33 0 0 25 0 4 0 518058063 1366974464 263256 33554432000 4194304 4623224 140736605665760 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1944.83
Current children cumulated vsize (KiB) 1334936

[startup+487.4 s]
/proc/loadavg: 8.11 8.11 7.99 9/184 13021
/proc/meminfo: memFree=21621784/32950928 swapFree=67111524/67111528
[pid=13004] ppid=13002 vsize=1334936 CPUtime=1945.2 cores=0,2,4,6
/proc/13004/stat : 13004 (SArTagnan) R 13002 13004 11981 0 -1 4202496 1064831 0 0 0 194351 169 0 0 25 0 4 0 518058007 1366974464 263140 33554432000 4194304 4623224 140736605665760 18446744073709551615 4412473 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13004/statm: 333734 263141 335 105 0 329238 0
[pid=13004/tid=13006] ppid=13002 vsize=1334936 CPUtime=484.11 cores=0,2,4,6
/proc/13004/task/13006/stat : 13006 (SArTagnan) R 13002 13004 11981 0 -1 4202560 81555 0 0 0 48393 18 0 0 25 0 4 0 518058063 1366974464 263141 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289917 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13004/tid=13007] ppid=13002 vsize=1334936 CPUtime=486.83 cores=0,2,4,6
/proc/13004/task/13007/stat : 13007 (SArTagnan) R 13002 13004 11981 0 -1 4202560 589888 0 0 0 48587 96 0 0 25 0 4 0 518058063 1366974464 263141 33554432000 4194304 4623224 140736605665760 18446744073709551615 4289723 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13004/tid=13008] ppid=13002 vsize=1334936 CPUtime=486.84 cores=0,2,4,6
/proc/13004/task/13008/stat : 13008 (SArTagnan) R 13002 13004 11981 0 -1 4202560 236117 0 0 0 48650 34 0 0 25 0 4 0 518058063 1366974464 263141 33554432000 4194304 4623224 140736605665760 18446744073709551615 4366247 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1945.2
Current children cumulated vsize (KiB) 1334936

Child status: 20
Real time (s): 487.472
CPU time (s): 1945.34
CPU user time (s): 1943.6
CPU system time (s): 1.74773
CPU usage (%): 399.068
Max. virtual memory (cumulated for all children) (KiB): 1334936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1943.6
system time used= 1.74773
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1064976
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= 194
involuntary context switches= 8866

runsolver used 0.807877 second user time and 1.85572 second system time

The end

Launcher Data 

Begin job on node126 at 2011-04-29 10:09:53
IDJOB=3286921
IDBENCH=82450
IDSOLVER=1656
FILE ID=node126/3286921-1304064592
RUNJOBID= node126-1304062030-11999
PBS_JOBID= 13170454
Free space on /tmp= 71564 MiB

SOLVER NAME= SArTagnan 2011-03-24
BENCH NAME= SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-lfsr_008_079_112-tseitin.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3286921-1304064592/watcher-3286921-1304064592 -o /tmp/evaluation-result-3286921-1304064592/solver-3286921-1304064592 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3286921-1304064592.cnf -threads=4

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

MD5SUM BENCH= 28b7074e04e59e64b5e4d7991d54f9d1
RANDOM SEED=684511461

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      23538888 kB
Buffers:       1414924 kB
Cached:        4449228 kB
SwapCached:          4 kB
Active:        3297216 kB
Inactive:      5565140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23538888 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           20988 kB
Writeback:           0 kB
AnonPages:     2998044 kB
Mapped:          15416 kB
Slab:           480824 kB
PageTables:      10408 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  3747860 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= 71564 MiB
End job on node126 at 2011-04-29 10:18:01