Trace number 3386200

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-05-15 (fixed)? (TO) 2854.35 1300.06

General information on the benchmark

Nameapplication/fuhs/slp-synthesis-AES/
slp-synthesis-aes-top28.cnf
MD5SUM005e29e99454a24085199b085e720b2f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark368.61
Satisfiable
(Un)Satisfiability was proved
Number of variables88763
Number of clauses282870
Sum of the clauses size691774
Maximum clause length3284
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2171374
Number of clauses of size 3109718
Number of clauses of size 4405
Number of clauses of size 526
Number of clauses of size over 51346

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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-3386200-1305580194/watcher-3386200-1305580194 -o /tmp/evaluation-result-3386200-1305580194/solver-3386200-1305580194 -C 4800 -W 1300 -M 15500 SArTagnan HOME/instance-3386200-1305580194.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: 11.81 12.13 12.11 10/494 8680
/proc/meminfo: memFree=20414660/32950928 swapFree=67056568/67111528
[pid=8680] ppid=8678 vsize=11796 CPUtime=0 cores=1,3,5,7
/proc/8680/stat : 8680 (runsolver) R 8678 8680 8278 0 -1 4202560 44 0 0 0 0 0 0 0 25 0 1 0 669616487 12079104 52 33554432000 4194304 5432360 140736481841008 18446744073709551615 5055511 0 0 4096 24578 0 0 0 17 1 0 0 0
/proc/8680/statm: 2949 52 33 303 0 2643 0

[startup+0.122512 s]
/proc/loadavg: 11.81 12.13 12.11 10/494 8680
/proc/meminfo: memFree=20414660/32950928 swapFree=67056568/67111528
[pid=8680] ppid=8678 vsize=43392 CPUtime=0.09 cores=1,3,5,7
/proc/8680/stat : 8680 (SArTagnan) R 8678 8680 8278 0 -1 4202496 8328 0 0 0 9 0 0 0 25 0 1 0 669616487 44433408 4789 33554432000 4194304 4625164 140733260227824 18446744073709551615 4327908 0 0 4096 2 0 0 0 17 7 0 0 0
/proc/8680/statm: 10848 4789 299 106 0 6351 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43392

[startup+0.200497 s]
/proc/loadavg: 11.81 12.13 12.11 10/494 8680
/proc/meminfo: memFree=20414660/32950928 swapFree=67056568/67111528
[pid=8680] ppid=8678 vsize=114548 CPUtime=0.17 cores=1,3,5,7
/proc/8680/stat : 8680 (SArTagnan) R 8678 8680 8278 0 -1 4202496 18092 0 0 0 16 1 0 0 25 0 4 0 669616487 117297152 14011 33554432000 4194304 4625164 140733260227824 18446744073709551615 46978036398002 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8680/statm: 28637 14011 304 106 0 24140 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 114548

[startup+0.300483 s]
/proc/loadavg: 11.81 12.13 12.11 10/494 8680
/proc/meminfo: memFree=20414660/32950928 swapFree=67056568/67111528
[pid=8680] ppid=8678 vsize=193456 CPUtime=0.32 cores=1,3,5,7
/proc/8680/stat : 8680 (SArTagnan) R 8678 8680 8278 0 -1 4202496 21694 0 0 0 30 2 0 0 25 0 4 0 669616487 198098944 17613 33554432000 4194304 4625164 140733260227824 18446744073709551615 4306536 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8680/statm: 48364 17613 329 106 0 43867 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 193456

[startup+0.700405 s]
/proc/loadavg: 11.81 12.13 12.11 10/494 8680
/proc/meminfo: memFree=20414660/32950928 swapFree=67056568/67111528
[pid=8680] ppid=8678 vsize=260388 CPUtime=0.76 cores=1,3,5,7
/proc/8680/stat : 8680 (SArTagnan) R 8678 8680 8278 0 -1 4202496 24032 0 0 0 74 2 0 0 25 0 4 0 669616487 266637312 17512 33554432000 4194304 4625164 140733260227824 18446744073709551615 4499181 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8680/statm: 65097 17512 335 106 0 60600 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 260388

[startup+1.50025 s]
/proc/loadavg: 11.81 12.13 12.11 13/498 8685
/proc/meminfo: memFree=20342036/32950928 swapFree=67056568/67111528
[pid=8680] ppid=8678 vsize=262468 CPUtime=2.34 cores=1,3,5,7
/proc/8680/stat : 8680 (SArTagnan) R 8678 8680 8278 0 -1 4202496 25727 0 0 0 232 2 0 0 25 0 4 0 669616487 268767232 18321 33554432000 4194304 4625164 140733260227824 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8680/statm: 65617 18321 341 106 0 61120 0
[pid=8680/tid=8683] ppid=8678 vsize=262468 CPUtime=0.47 cores=1,3,5,7
/proc/8680/task/8683/stat : 8683 (SArTagnan) R 8678 8680 8278 0 -1 4202560 2219 0 0 0 47 0 0 0 25 0 4 0 669616503 268767232 18321 33554432000 4194304 4625164 140733260227824 18446744073709551615 4288950 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8680/tid=8684] ppid=8678 vsize=262468 CPUtime=0.61 cores=1,3,5,7
/proc/8680/task/8684/stat : 8684 (SArTagnan) R 8678 8680 8278 0 -1 4202560 1770 0 0 0 61 0 0 0 25 0 4 0 669616503 268767232 18321 33554432000 4194304 4625164 140733260227824 18446744073709551615 4375232 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8680/tid=8685] ppid=8678 vsize=262468 CPUtime=0.6 cores=1,3,5,7
/proc/8680/task/8685/stat : 8685 (SArTagnan) R 8678 8680 8278 0 -1 4202560 1684 0 0 0 60 0 0 0 25 0 4 0 669616503 268767232 18321 33554432000 4194304 4625164 140733260227824 18446744073709551615 4288731 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 262468

[startup+3.10095 s]
/proc/loadavg: 11.81 12.13 12.11 13/498 8685
/proc/meminfo: memFree=20332116/32950928 swapFree=67056568/67111528
[pid=8680] ppid=8678 vsize=265108 CPUtime=5.98 cores=1,3,5,7
/proc/8680/stat : 8680 (SArTagnan) R 8678 8680 8278 0 -1 4202496 28755 0 0 0 595 3 0 0 25 0 4 0 669616487 271470592 20808 33554432000 4194304 4625164 140733260227824 18446744073709551615 4509428 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8680/statm: 66277 20808 341 106 0 61780 0
[pid=8680/tid=8683] ppid=8678 vsize=265108 CPUtime=1.62 cores=1,3,5,7
/proc/8680/task/8683/stat : 8683 (SArTagnan) R 8678 8680 8278 0 -1 4202560 2937 0 0 0 162 0 0 0 19 0 4 0 669616503 271470592 20808 33554432000 4194304 4625164 140733260227824 18446744073709551615 4288640 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8680/tid=8684] ppid=8678 vsize=265108 CPUtime=1.34 cores=1,3,5,7
/proc/8680/task/8684/stat : 8684 (SArTagnan) R 8678 8680 8278 0 -1 4202560 2413 0 0 0 134 0 0 0 25 0 4 0 669616503 271470592 20808 33554432000 4194304 4625164 140733260227824 18446744073709551615 4316696 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8680/tid=8685] ppid=8678 vsize=265108 CPUtime=2.07 cores=1,3,5,7
/proc/8680/task/8685/stat : 8685 (SArTagnan) R 8678 8680 8278 0 -1 4202560 2349 0 0 0 207 0 0 0 25 0 4 0 669616503 271470592 20808 33554432000 4194304 4625164 140733260227824 18446744073709551615 4547257 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 265108

[startup+6.30034 s]
/proc/loadavg: 11.90 12.14 12.11 13/498 8685
/proc/meminfo: memFree=20328704/32950928 swapFree=67056568/67111528
[pid=8680] ppid=8678 vsize=265108 CPUtime=13.92 cores=1,3,5,7
/proc/8680/stat : 8680 (SArTagnan) R 8678 8680 8278 0 -1 4202496 30612 0 0 0 1389 3 0 0 25 0 4 0 669616487 271470592 22231 33554432000 4194304 4625164 140733260227824 18446744073709551615 4511744 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8680/statm: 66277 22231 341 106 0 61780 0
[pid=8680/tid=8683] ppid=8678 vsize=265108 CPUtime=3.26 cores=1,3,5,7
/proc/8680/task/8683/stat : 8683 (SArTagnan) R 8678 8680 8278 0 -1 4202560 3096 0 0 0 326 0 0 0 22 0 4 0 669616503 271470592 22231 33554432000 4194304 4625164 140733260227824 18446744073709551615 4351731 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8680/tid=8684] ppid=8678 vsize=265108 CPUtime=2.94 cores=1,3,5,7
/proc/8680/task/8684/stat : 8684 (SArTagnan) R 8678 8680 8278 0 -1 4202560 2703 0 0 0 294 0 0 0 25 0 4 0 669616503 271470592 22231 33554432000 4194304 4625164 140733260227824 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8680/tid=8685] ppid=8678 vsize=265108 CPUtime=4.3 cores=1,3,5,7
/proc/8680/task/8685/stat : 8685 (SArTagnan) R 8678 8680 8278 0 -1 4202560 3616 0 0 0 430 0 0 0 25 0 4 0 669616503 271470592 22231 33554432000 4194304 4625164 140733260227824 18446744073709551615 4375338 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 13.92
Current children cumulated vsize (KiB) 265108

[startup+12.7011 s]
/proc/loadavg: 11.91 12.14 12.11 13/498 8685
/proc/meminfo: memFree=20316676/32950928 swapFree=67056568/67111528
[pid=8680] ppid=8678 vsize=269980 CPUtime=29.82 cores=1,3,5,7
/proc/8680/stat : 8680 (SArTagnan) R 8678 8680 8278 0 -1 4202496 44773 0 0 0 2977 5 0 0 25 0 4 0 669616487 276459520 24718 33554432000 4194304 4625164 140733260227824 18446744073709551615 4511795 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8680/statm: 67495 24718 342 106 0 62998 0
[pid=8680/tid=8683] ppid=8678 vsize=269980 CPUtime=6.46 cores=1,3,5,7
/proc/8680/task/8683/stat : 8683 (SArTagnan) R 8678 8680 8278 0 -1 4202560 3211 0 0 0 646 0 0 0 25 0 4 0 669616503 276459520 24718 33554432000 4194304 4625164 140733260227824 18446744073709551615 4352404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8680/tid=8684] ppid=8678 vsize=269980 CPUtime=6.14 cores=1,3,5,7
/proc/8680/task/8684/stat : 8684 (SArTagnan) R 8678 8680 8278 0 -1 4202560 3177 0 0 0 614 0 0 0 25 0 4 0 669616503 276459520 24718 33554432000 4194304 4625164 140733260227824 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8680/tid=8685] ppid=8678 vsize=269980 CPUtime=7.5 cores=1,3,5,7
/proc/8680/task/8685/stat : 8685 (SArTagnan) R 8678 8680 8278 0 -1 4202560 16174 0 0 0 748 2 0 0 25 0 4 0 669616503 276459520 24718 33554432000 4194304 4625164 140733260227824 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 29.82
Current children cumulated vsize (KiB) 269980

[startup+25.5007 s]
/proc/loadavg: 11.93 12.13 12.11 13/498 8685
/proc/meminfo: memFree=20251592/32950928 swapFree=67056568/67111528
[pid=8680] ppid=8678 vsize=338360 CPUtime=57.52 cores=1,3,5,7
/proc/8680/stat : 8680 (SArTagnan) R 8678 8680 8278 0 -1 4202496 87459 0 0 0 5742 10 0 0 25 0 4 0 669616487 346480640 38688 33554432000 4194304 4625164 140733260227824 18446744073709551615 4390612 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8680/statm: 84590 38688 344 106 0 80093 0
[pid=8680/tid=8683] ppid=8678 vsize=338360 CPUtime=12.72 cores=1,3,5,7
/proc/8680/task/8683/stat : 8683 (SArTagnan) R 8678 8680 8278 0 -1 4202560 13737 0 0 0 1271 1 0 0 25 0 4 0 669616503 346480640 38688 33554432000 4194304 4625164 140733260227824 18446744073709551615 4351769 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8680/tid=8684] ppid=8678 vsize=338360 CPUtime=12.53 cores=1,3,5,7
/proc/8680/task/8684/stat : 8684 (SArTagnan) R 8678 8680 8278 0 -1 4202560 13886 0 0 0 1252 1 0 0 25 0 4 0 669616503 346480640 38688 33554432000 4194304 4625164 140733260227824 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8680/tid=8685] ppid=8678 vsize=338360 CPUtime=13.89 cores=1,3,5,7
/proc/8680/task/8685/stat : 8685 (SArTagnan) R 8678 8680 8278 0 -1 4202560 28781 0 0 0 1386 3 0 0 25 0 4 0 669616503 346480640 38688 33554432000 4194304 4625164 140733260227824 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 57.52
Current children cumulated vsize (KiB) 338360

[startup+51.1008 s]
/proc/loadavg: 12.02 12.14 12.11 13/498 8686
/proc/meminfo: memFree=20077208/32950928 swapFree=67056568/67111528
[pid=8680] ppid=8678 vsize=501460 CPUtime=114.61 cores=1,3,5,7
/proc/8680/stat : 8680 (SArTagnan) R 8678 8680 8278 0 -1 4202496 162255 0 0 0 11441 20 0 0 25 0 4 0 669616487 513495040 81088 33554432000 4194304 4625164 140733260227824 18446744073709551615 4512009 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8680/statm: 125365 81088 355 106 0 120868 0
[pid=8680/tid=8683] ppid=8678 vsize=501460 CPUtime=25.4 cores=1,3,5,7
/proc/8680/task/8683/stat : 8683 (SArTagnan) R 8678 8680 8278 0 -1 4202560 22023 0 0 0 2538 2 0 0 25 0 4 0 669616503 513495040 81088 33554432000 4194304 4625164 140733260227824 18446744073709551615 4462375 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8680/tid=8684] ppid=8678 vsize=501460 CPUtime=25.3 cores=1,3,5,7
/proc/8680/task/8684/stat : 8684 (SArTagnan) R 8678 8680 8278 0 -1 4202560 20387 0 0 0 2529 1 0 0 25 0 4 0 669616503 513495040 81088 33554432000 4194304 4625164 140733260227824 18446744073709551615 4288686 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8680/tid=8685] ppid=8678 vsize=501460 CPUtime=26.73 cores=1,3,5,7
/proc/8680/task/8685/stat : 8685 (SArTagnan) R 8678 8680 8278 0 -1 4202560 39007 0 0 0 2667 6 0 0 25 0 4 0 669616503 513495040 81088 33554432000 4194304 4625164 140733260227824 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 114.61
Current children cumulated vsize (KiB) 501460

[startup+102.301 s]
/proc/loadavg: 12.08 12.13 12.10 13/498 8687
/proc/meminfo: memFree=20022524/32950928 swapFree=67056568/67111528
[pid=8680] ppid=8678 vsize=538552 CPUtime=241.81 cores=1,3,5,7
/proc/8680/stat : 8680 (SArTagnan) R 8678 8680 8278 0 -1 4202496 236170 0 0 0 24150 31 0 0 25 0 4 0 669616487 551477248 91732 33554432000 4194304 4625164 140733260227824 18446744073709551615 4509158 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8680/statm: 134638 91732 442 106 0 130141 0
[pid=8680/tid=8683] ppid=8678 vsize=538552 CPUtime=51.02 cores=1,3,5,7
/proc/8680/task/8683/stat : 8683 (SArTagnan) R 8678 8680 8278 0 -1 4202560 28733 0 0 0 5098 4 0 0 25 0 4 0 669616503 551477248 91732 33554432000 4194304 4625164 140733260227824 18446744073709551615 4351981 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8680/tid=8684] ppid=8678 vsize=538552 CPUtime=50.76 cores=1,3,5,7
/proc/8680/task/8684/stat : 8684 (SArTagnan) R 8678 8680 8278 0 -1 4202560 21252 0 0 0 5074 2 0 0 25 0 4 0 669616503 551477248 91732 33554432000 4194304 4625164 140733260227824 18446744073709551615 4352183 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8680/tid=8685] ppid=8678 vsize=538552 CPUtime=52.49 cores=1,3,5,7
/proc/8680/task/8685/stat : 8685 (SArTagnan) R 8678 8680 8278 0 -1 4202560 98277 0 0 0 5234 15 0 0 25 0 4 0 669616503 551477248 91732 33554432000 4194304 4625164 140733260227824 18446744073709551615 4351827 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 241.81
Current children cumulated vsize (KiB) 538552

[startup+162.301 s]
/proc/loadavg: 12.27 12.18 12.12 13/498 8689
/proc/meminfo: memFree=19976360/32950928 swapFree=67056568/67111528
[pid=8680] ppid=8678 vsize=538552 CPUtime=381.2 cores=1,3,5,7
/proc/8680/stat : 8680 (SArTagnan) R 8678 8680 8278 0 -1 4202496 387684 0 0 0 38070 50 0 0 25 0 4 0 669616487 551477248 99395 33554432000 4194304 4625164 140733260227824 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8680/statm: 134638 99395 446 106 0 130141 0
[pid=8680/tid=8683] ppid=8678 vsize=538552 CPUtime=81.42 cores=1,3,5,7
/proc/8680/task/8683/stat : 8683 (SArTagnan) R 8678 8680 8278 0 -1 4202560 29987 0 0 0 8138 4 0 0 25 0 4 0 669616503 551477248 99395 33554432000 4194304 4625164 140733260227824 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8680/tid=8684] ppid=8678 vsize=538552 CPUtime=81.59 cores=1,3,5,7
/proc/8680/task/8684/stat : 8684 (SArTagnan) R 8678 8680 8278 0 -1 4202560 22575 0 0 0 8157 2 0 0 25 0 4 0 669616503 551477248 99395 33554432000 4194304 4625164 140733260227824 18446744073709551615 4339612 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8680/tid=8685] ppid=8678 vsize=538552 CPUtime=88.54 cores=1,3,5,7
/proc/8680/task/8685/stat : 8685 (SArTagnan) R 8678 8680 8278 0 -1 4202560 246839 0 0 0 8821 33 0 0 25 0 4 0 669616503 551477248 99395 33554432000 4194304 4625164 140733260227824 18446744073709551615 4335282 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 381.2
Current children cumulated vsize (KiB) 538552

[startup+222.319 s]
/proc/loadavg: 11.88 12.09 12.09 13/498 8721
/proc/meminfo: memFree=20841452/32950928 swapFree=67056568/67111528
[pid=8680] ppid=8678 vsize=624772 CPUtime=526.85 cores=1,3,5,7
/proc/8680/stat : 8680 (SArTagnan) R 8678 8680 8278 0 -1 4202496 487304 0 0 0 52617 68 0 0 25 0 4 0 669616487 639766528 107317 33554432000 4194304 4625164 140733260227824 18446744073709551615 4508979 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8680/statm: 156193 107317 357 106 0 151696 0
[pid=8680/tid=8683] ppid=8678 vsize=624772 CPUtime=111.7 cores=1,3,5,7
/proc/8680/task/8683/stat : 8683 (SArTagnan) R 8678 8680 8278 0 -1 4202560 38574 0 0 0 11165 5 0 0 25 0 4 0 669616503 639766528 107317 33554432000 4194304 4625164 140733260227824 18446744073709551615 4353224 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8680/tid=8684] ppid=8678 vsize=624772 CPUtime=113.94 cores=1,3,5,7
/proc/8680/task/8684/stat : 8684 (SArTagnan) R 8678 8680 8278 0 -1 4202560 29015 0 0 0 11390 4 0 0 25 0 4 0 669616503 639766528 107317 33554432000 4194304 4625164 140733260227824 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8680/tid=8685] ppid=8678 vsize=624772 CPUtime=133.58 cores=1,3,5,7
/proc/8680/task/8685/stat : 8685 (SArTagnan) R 8678 8680 8278 0 -1 4202560 330697 0 0 0 13312 46 0 0 25 0 4 0 669616503 639766528 107317 33554432000 4194304 4625164 140733260227824 18446744073709551615 4552464 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 526.85
Current children cumulated vsize (KiB) 624772

[startup+282.301 s]

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

[pid=8680] ppid=8678 vsize=768408 CPUtime=1642.2 cores=1,3,5,7
/proc/8680/stat : 8680 (SArTagnan) R 8678 8680 8278 0 -1 4202496 1679490 0 0 0 163980 240 0 0 25 0 4 0 669616487 786849792 150517 33554432000 4194304 4625164 140733260227824 18446744073709551615 4338055 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8680/statm: 192102 150517 347 106 0 187605 0
[pid=8680/tid=8683] ppid=8678 vsize=768408 CPUtime=388.41 cores=1,3,5,7
/proc/8680/task/8683/stat : 8683 (SArTagnan) R 8678 8680 8278 0 -1 4202560 60901 0 0 0 38829 12 0 0 25 0 4 0 669616503 786849792 150517 33554432000 4194304 4625164 140733260227824 18446744073709551615 239476344012 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8680/tid=8684] ppid=8678 vsize=768408 CPUtime=383.47 cores=1,3,5,7
/proc/8680/task/8684/stat : 8684 (SArTagnan) R 8678 8680 8278 0 -1 4202560 42575 0 0 0 38337 10 0 0 25 0 4 0 669616503 786849792 150517 33554432000 4194304 4625164 140733260227824 18446744073709551615 4288780 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8680/tid=8685] ppid=8678 vsize=768408 CPUtime=405.53 cores=1,3,5,7
/proc/8680/task/8685/stat : 8685 (SArTagnan) R 8678 8680 8278 0 -1 4202560 1485006 0 0 0 40347 206 0 0 25 0 4 0 669616503 786849792 150517 33554432000 4194304 4625164 140733260227824 18446744073709551615 4469027 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1642.2
Current children cumulated vsize (KiB) 768408

[startup+822.3 s]
/proc/loadavg: 12.05 12.11 12.09 13/498 8737
/proc/meminfo: memFree=20146912/32950928 swapFree=67056568/67111528
[pid=8680] ppid=8678 vsize=791144 CPUtime=1781.38 cores=1,3,5,7
/proc/8680/stat : 8680 (SArTagnan) R 8678 8680 8278 0 -1 4202496 1902662 0 0 0 177862 276 0 0 25 0 4 0 669616487 810131456 165249 33554432000 4194304 4625164 140733260227824 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8680/statm: 197786 165249 347 106 0 193289 0
[pid=8680/tid=8683] ppid=8678 vsize=791144 CPUtime=434.75 cores=1,3,5,7
/proc/8680/task/8683/stat : 8683 (SArTagnan) R 8678 8680 8278 0 -1 4202560 65672 0 0 0 43459 16 0 0 25 0 4 0 669616503 810131456 165250 33554432000 4194304 4625164 140733260227824 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8680/tid=8684] ppid=8678 vsize=791144 CPUtime=415.05 cores=1,3,5,7
/proc/8680/task/8684/stat : 8684 (SArTagnan) R 8678 8680 8278 0 -1 4202560 44568 0 0 0 41494 11 0 0 25 0 4 0 669616503 810131456 165250 33554432000 4194304 4625164 140733260227824 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8680/tid=8685] ppid=8678 vsize=791144 CPUtime=436.31 cores=1,3,5,7
/proc/8680/task/8685/stat : 8685 (SArTagnan) R 8678 8680 8278 0 -1 4202560 1692212 0 0 0 43396 235 0 0 25 0 4 0 669616503 810131456 165250 33554432000 4194304 4625164 140733260227824 18446744073709551615 4339447 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1781.38
Current children cumulated vsize (KiB) 791144

[startup+882.319 s]
/proc/loadavg: 12.16 12.13 12.09 13/498 8739
/proc/meminfo: memFree=20077708/32950928 swapFree=67056568/67111528
[pid=8680] ppid=8678 vsize=945232 CPUtime=1926.3 cores=1,3,5,7
/proc/8680/stat : 8680 (SArTagnan) R 8678 8680 8278 0 -1 4202496 2003764 0 0 0 192335 295 0 0 25 0 4 0 669616487 967917568 174461 33554432000 4194304 4625164 140733260227824 18446744073709551615 4511945 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/8680/statm: 236308 174461 347 106 0 231811 0
[pid=8680/tid=8683] ppid=8678 vsize=945232 CPUtime=464.59 cores=1,3,5,7
/proc/8680/task/8683/stat : 8683 (SArTagnan) R 8678 8680 8278 0 -1 4202560 67577 0 0 0 46441 18 0 0 25 0 4 0 669616503 967917568 174461 33554432000 4194304 4625164 140733260227824 18446744073709551615 4352010 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8680/tid=8684] ppid=8678 vsize=945232 CPUtime=444.64 cores=1,3,5,7
/proc/8680/task/8684/stat : 8684 (SArTagnan) R 8678 8680 8278 0 -1 4202560 48460 0 0 0 44450 14 0 0 25 0 4 0 669616503 967917568 174461 33554432000 4194304 4625164 140733260227824 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8680/tid=8685] ppid=8678 vsize=945232 CPUtime=466.32 cores=1,3,5,7
/proc/8680/task/8685/stat : 8685 (SArTagnan) R 8678 8680 8278 0 -1 4202560 1777526 0 0 0 46384 248 0 0 25 0 4 0 669616503 967917568 174461 33554432000 4194304 4625164 140733260227824 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1926.3
Current children cumulated vsize (KiB) 945232

[startup+942.3 s]
/proc/loadavg: 12.18 12.15 12.10 13/498 8741
/proc/meminfo: memFree=19998212/32950928 swapFree=67056568/67111528
[pid=8680] ppid=8678 vsize=997124 CPUtime=2067.76 cores=1,3,5,7
/proc/8680/stat : 8680 (SArTagnan) R 8678 8680 8278 0 -1 4202496 2155235 0 0 0 206451 325 0 0 25 0 4 0 669616487 1021054976 184782 33554432000 4194304 4625164 140733260227824 18446744073709551615 4512763 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8680/statm: 249281 184782 347 106 0 244784 0
[pid=8680/tid=8683] ppid=8678 vsize=997124 CPUtime=495.78 cores=1,3,5,7
/proc/8680/task/8683/stat : 8683 (SArTagnan) R 8678 8680 8278 0 -1 4202560 83605 0 0 0 49557 21 0 0 25 0 4 0 669616503 1021054976 184782 33554432000 4194304 4625164 140733260227824 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8680/tid=8684] ppid=8678 vsize=997124 CPUtime=473.84 cores=1,3,5,7
/proc/8680/task/8684/stat : 8684 (SArTagnan) R 8678 8680 8278 0 -1 4202560 61040 0 0 0 47365 19 0 0 25 0 4 0 669616503 1021054976 184782 33554432000 4194304 4625164 140733260227824 18446744073709551615 4278665 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8680/tid=8685] ppid=8678 vsize=997124 CPUtime=497.16 cores=1,3,5,7
/proc/8680/task/8685/stat : 8685 (SArTagnan) R 8678 8680 8278 0 -1 4202560 1899906 0 0 0 49446 270 0 0 25 0 4 0 669616503 1021054976 184782 33554432000 4194304 4625164 140733260227824 18446744073709551615 4288789 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2067.76
Current children cumulated vsize (KiB) 997124

[startup+1002.3 s]
/proc/loadavg: 12.19 12.16 12.10 13/498 8742
/proc/meminfo: memFree=19945616/32950928 swapFree=67056568/67111528
[pid=8680] ppid=8678 vsize=997124 CPUtime=2210.59 cores=1,3,5,7
/proc/8680/stat : 8680 (SArTagnan) R 8678 8680 8278 0 -1 4202496 2359071 0 0 0 220702 357 0 0 25 0 4 0 669616487 1021054976 192492 33554432000 4194304 4625164 140733260227824 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8680/statm: 249281 192492 347 106 0 244784 0
[pid=8680/tid=8683] ppid=8678 vsize=997124 CPUtime=525.64 cores=1,3,5,7
/proc/8680/task/8683/stat : 8683 (SArTagnan) R 8678 8680 8278 0 -1 4202560 85458 0 0 0 52542 22 0 0 25 0 4 0 669616503 1021054976 192492 33554432000 4194304 4625164 140733260227824 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8680/tid=8684] ppid=8678 vsize=997124 CPUtime=512.12 cores=1,3,5,7
/proc/8680/task/8684/stat : 8684 (SArTagnan) R 8678 8680 8278 0 -1 4202560 62269 0 0 0 51192 20 0 0 25 0 4 0 669616503 1021054976 192492 33554432000 4194304 4625164 140733260227824 18446744073709551615 4462384 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8680/tid=8685] ppid=8678 vsize=997124 CPUtime=526.91 cores=1,3,5,7
/proc/8680/task/8685/stat : 8685 (SArTagnan) R 8678 8680 8278 0 -1 4202560 2100152 0 0 0 52391 300 0 0 25 0 4 0 669616503 1021054976 192492 33554432000 4194304 4625164 140733260227824 18446744073709551615 4351979 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2210.59
Current children cumulated vsize (KiB) 997124

[startup+1062.3 s]
/proc/loadavg: 12.12 12.14 12.10 13/498 8744
/proc/meminfo: memFree=19895384/32950928 swapFree=67056568/67111528
[pid=8680] ppid=8678 vsize=1017036 CPUtime=2359.52 cores=1,3,5,7
/proc/8680/stat : 8680 (SArTagnan) R 8678 8680 8278 0 -1 4202496 2624157 0 0 0 235554 398 0 0 25 0 4 0 669616487 1041444864 201062 33554432000 4194304 4625164 140733260227824 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8680/statm: 254259 201062 347 106 0 249762 0
[pid=8680/tid=8683] ppid=8678 vsize=1017036 CPUtime=555.81 cores=1,3,5,7
/proc/8680/task/8683/stat : 8683 (SArTagnan) R 8678 8680 8278 0 -1 4202560 86658 0 0 0 55558 23 0 0 25 0 4 0 669616503 1041444864 201062 33554432000 4194304 4625164 140733260227824 18446744073709551615 4352053 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8680/tid=8684] ppid=8678 vsize=1017036 CPUtime=541.92 cores=1,3,5,7
/proc/8680/task/8684/stat : 8684 (SArTagnan) R 8678 8680 8278 0 -1 4202560 65624 0 0 0 54170 22 0 0 25 0 4 0 669616503 1041444864 201062 33554432000 4194304 4625164 140733260227824 18446744073709551615 4462457 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8680/tid=8685] ppid=8678 vsize=1017036 CPUtime=584.13 cores=1,3,5,7
/proc/8680/task/8685/stat : 8685 (SArTagnan) R 8678 8680 8278 0 -1 4202560 2359890 0 0 0 58075 338 0 0 25 0 4 0 669616503 1041444864 201062 33554432000 4194304 4625164 140733260227824 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2359.52
Current children cumulated vsize (KiB) 1017036

[startup+1122.3 s]
/proc/loadavg: 12.12 12.14 12.09 13/498 8745
/proc/meminfo: memFree=19817240/32950928 swapFree=67056568/67111528
[pid=8680] ppid=8678 vsize=1124536 CPUtime=2501.75 cores=1,3,5,7
/proc/8680/stat : 8680 (SArTagnan) R 8678 8680 8278 0 -1 4202496 2958586 0 0 0 249727 448 0 0 25 0 4 0 669616487 1151524864 216689 33554432000 4194304 4625164 140733260227824 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8680/statm: 281134 216689 347 106 0 276637 0
[pid=8680/tid=8683] ppid=8678 vsize=1124536 CPUtime=585.73 cores=1,3,5,7
/proc/8680/task/8683/stat : 8683 (SArTagnan) R 8678 8680 8278 0 -1 4202560 91433 0 0 0 58549 24 0 0 25 0 4 0 669616503 1151524864 216689 33554432000 4194304 4625164 140733260227824 18446744073709551615 4352133 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8680/tid=8684] ppid=8678 vsize=1124536 CPUtime=571.81 cores=1,3,5,7
/proc/8680/task/8684/stat : 8684 (SArTagnan) R 8678 8680 8278 0 -1 4202560 67460 0 0 0 57158 23 0 0 25 0 4 0 669616503 1151524864 216689 33554432000 4194304 4625164 140733260227824 18446744073709551615 4351981 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8680/tid=8685] ppid=8678 vsize=1124536 CPUtime=636.75 cores=1,3,5,7
/proc/8680/task/8685/stat : 8685 (SArTagnan) R 8678 8680 8278 0 -1 4202560 2687182 0 0 0 63289 386 0 0 25 0 4 0 669616503 1151524864 216689 33554432000 4194304 4625164 140733260227824 18446744073709551615 4579601 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2501.75
Current children cumulated vsize (KiB) 1124536

[startup+1182.3 s]
/proc/loadavg: 12.15 12.14 12.09 13/498 8747
/proc/meminfo: memFree=19759192/32950928 swapFree=67056568/67111528
[pid=8680] ppid=8678 vsize=1124536 CPUtime=2620.78 cores=1,3,5,7
/proc/8680/stat : 8680 (SArTagnan) R 8678 8680 8278 0 -1 4202496 3168052 0 0 0 261599 479 0 0 25 0 4 0 669616487 1151524864 222483 33554432000 4194304 4625164 140733260227824 18446744073709551615 4511904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8680/statm: 281134 222483 347 106 0 276637 0
[pid=8680/tid=8683] ppid=8678 vsize=1124536 CPUtime=615.72 cores=1,3,5,7
/proc/8680/task/8683/stat : 8683 (SArTagnan) R 8678 8680 8278 0 -1 4202560 92176 0 0 0 61548 24 0 0 25 0 4 0 669616503 1151524864 222483 33554432000 4194304 4625164 140733260227824 18446744073709551615 4351764 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8680/tid=8684] ppid=8678 vsize=1124536 CPUtime=601.1 cores=1,3,5,7
/proc/8680/task/8684/stat : 8684 (SArTagnan) R 8678 8680 8278 0 -1 4202560 67673 0 0 0 60087 23 0 0 25 0 4 0 669616503 1151524864 222483 33554432000 4194304 4625164 140733260227824 18446744073709551615 4352014 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8680/tid=8685] ppid=8678 vsize=1124536 CPUtime=666.5 cores=1,3,5,7
/proc/8680/task/8685/stat : 8685 (SArTagnan) R 8678 8680 8278 0 -1 4202560 2895050 0 0 0 66234 416 0 0 25 0 4 0 669616503 1151524864 222483 33554432000 4194304 4625164 140733260227824 18446744073709551615 4547280 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2620.78
Current children cumulated vsize (KiB) 1124536

[startup+1242.3 s]
/proc/loadavg: 12.17 12.15 12.09 13/498 8749
/proc/meminfo: memFree=19693952/32950928 swapFree=67056568/67111528
[pid=8680] ppid=8678 vsize=1161604 CPUtime=2739.8 cores=1,3,5,7
/proc/8680/stat : 8680 (SArTagnan) R 8678 8680 8278 0 -1 4202496 3352864 0 0 0 273474 506 0 0 25 0 4 0 669616487 1189482496 234309 33554432000 4194304 4625164 140733260227824 18446744073709551615 4511930 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8680/statm: 290401 234309 428 106 0 285904 0
[pid=8680/tid=8683] ppid=8678 vsize=1161604 CPUtime=645.83 cores=1,3,5,7
/proc/8680/task/8683/stat : 8683 (SArTagnan) R 8678 8680 8278 0 -1 4202560 93164 0 0 0 64558 25 0 0 25 0 4 0 669616503 1189482496 234309 33554432000 4194304 4625164 140733260227824 18446744073709551615 4352032 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8680/tid=8684] ppid=8678 vsize=1161604 CPUtime=630.61 cores=1,3,5,7
/proc/8680/task/8684/stat : 8684 (SArTagnan) R 8678 8680 8278 0 -1 4202560 69683 0 0 0 63035 26 0 0 25 0 4 0 669616503 1189482496 234309 33554432000 4194304 4625164 140733260227824 18446744073709551615 4351824 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8680/tid=8685] ppid=8678 vsize=1161604 CPUtime=696.01 cores=1,3,5,7
/proc/8680/task/8685/stat : 8685 (SArTagnan) R 8678 8680 8278 0 -1 4202560 3076278 0 0 0 69161 440 0 0 25 0 4 0 669616503 1189482496 234309 33554432000 4194304 4625164 140733260227824 18446744073709551615 4352285 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2739.8
Current children cumulated vsize (KiB) 1161604



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 12.28 12.18 12.10 12/498 8750
/proc/meminfo: memFree=19644960/32950928 swapFree=67056568/67111528
[pid=8680] ppid=8678 vsize=1227140 CPUtime=2854.28 cores=1,3,5,7
/proc/8680/stat : 8680 (SArTagnan) R 8678 8680 8278 0 -1 4202496 3554195 0 0 0 284892 536 0 0 25 0 4 0 669616487 1256591360 239904 33554432000 4194304 4625164 140733260227824 18446744073709551615 4512202 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8680/statm: 306785 239904 428 106 0 302288 0
[pid=8680/tid=8683] ppid=8678 vsize=1227140 CPUtime=674.41 cores=1,3,5,7
/proc/8680/task/8683/stat : 8683 (SArTagnan) R 8678 8680 8278 0 -1 4202560 95030 0 0 0 67415 26 0 0 25 0 4 0 669616503 1256591360 239904 33554432000 4194304 4625164 140733260227824 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8680/tid=8684] ppid=8678 vsize=1227140 CPUtime=659.27 cores=1,3,5,7
/proc/8680/task/8684/stat : 8684 (SArTagnan) R 8678 8680 8278 0 -1 4202560 69841 0 0 0 65901 26 0 0 25 0 4 0 669616503 1256591360 239904 33554432000 4194304 4625164 140733260227824 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8680/tid=8685] ppid=8678 vsize=1227140 CPUtime=724.25 cores=1,3,5,7
/proc/8680/task/8685/stat : 8685 (SArTagnan) R 8678 8680 8278 0 -1 4202560 3274384 0 0 0 71958 467 0 0 25 0 4 0 669616503 1256591360 239904 33554432000 4194304 4625164 140733260227824 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2854.28
Current children cumulated vsize (KiB) 1227140

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

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

[startup+1300 s]
/proc/loadavg: 12.28 12.18 12.10 12/498 8750
/proc/meminfo: memFree=19644960/32950928 swapFree=67056568/67111528
[pid=8680] ppid=8678 vsize=1227140 CPUtime=2854.28 cores=1,3,5,7
/proc/8680/stat : 8680 (SArTagnan) R 8678 8680 8278 0 -1 4202496 3554195 0 0 0 284892 536 0 0 25 0 4 0 669616487 1256591360 239904 33554432000 4194304 4625164 140733260227824 18446744073709551615 4512202 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/8680/statm: 306785 239904 428 106 0 302288 0
[pid=8680/tid=8683] ppid=8678 vsize=1227140 CPUtime=674.41 cores=1,3,5,7
/proc/8680/task/8683/stat : 8683 (SArTagnan) R 8678 8680 8278 0 -1 4202560 95030 0 0 0 67415 26 0 0 25 0 4 0 669616503 1256591360 239904 33554432000 4194304 4625164 140733260227824 18446744073709551615 4351863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8680/tid=8684] ppid=8678 vsize=1227140 CPUtime=659.27 cores=1,3,5,7
/proc/8680/task/8684/stat : 8684 (SArTagnan) R 8678 8680 8278 0 -1 4202560 69841 0 0 0 65901 26 0 0 25 0 4 0 669616503 1256591360 239904 33554432000 4194304 4625164 140733260227824 18446744073709551615 4351781 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8680/tid=8685] ppid=8678 vsize=1227140 CPUtime=724.25 cores=1,3,5,7
/proc/8680/task/8685/stat : 8685 (SArTagnan) R 8678 8680 8278 0 -1 4202560 3274384 0 0 0 71958 467 0 0 25 0 4 0 669616503 1256591360 239904 33554432000 4194304 4625164 140733260227824 18446744073709551615 4552369 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2854.28
Current children cumulated vsize (KiB) 1227140

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.06
CPU time (s): 2854.35
CPU user time (s): 2848.95
CPU system time (s): 5.39718
CPU usage (%): 219.554
Max. virtual memory (cumulated for all children) (KiB): 1227140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2848.95
system time used= 5.39718
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3554197
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= 1833
involuntary context switches= 41982

runsolver used 6.10107 second user time and 15.0137 second system time

The end

Launcher Data 

Begin job on node148 at 2011-05-16 23:09:54
IDJOB=3386200
IDBENCH=83123
IDSOLVER=1871
FILE ID=node148/3386200-1305580194
RUNJOBID= node148-1305576286-8297
PBS_JOBID= 13350202
Free space on /tmp= 72876 MiB

SOLVER NAME= SArTagnan 2011-05-15 (fixed)
BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top28.cnf
COMMAND LINE= SArTagnan BENCHNAME -threads=NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3386200-1305580194/watcher-3386200-1305580194 -o /tmp/evaluation-result-3386200-1305580194/solver-3386200-1305580194 -C 4800 -W 1300 -M 15500  SArTagnan HOME/instance-3386200-1305580194.cnf -threads=4

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

MD5SUM BENCH= 005e29e99454a24085199b085e720b2f
RANDOM SEED=1941284561

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      20414948 kB
Buffers:        354692 kB
Cached:        5014832 kB
SwapCached:       8488 kB
Active:        8961248 kB
Inactive:      3205888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      20414948 kB
SwapTotal:    67111528 kB
SwapFree:     67056568 kB
Dirty:            5056 kB
Writeback:           0 kB
AnonPages:     6795324 kB
Mapped:          38180 kB
Slab:           250428 kB
PageTables:      51140 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 142846588 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= 72880 MiB
End job on node148 at 2011-05-16 23:31:36