Trace number 3250941

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
priss Auto? (TO) 4800.33 1201.83

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf
MD5SUM1002234f62b5dfa01a75197c65e66327
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.921859
Satisfiable
(Un)Satisfiability was proved
Number of variables1285
Number of clauses166723
Sum of the clauses size334661
Maximum clause length37
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2166688
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 535

Solver Data 

0.00/0.00	c *****************************************************
0.00/0.00	c *        riss, Copyright 2009 Norbert Manthey       *
0.00/0.00	c *   This program may be redistributed or modified   *
0.00/0.00	c * under the terms of the GNU General Public License *
0.00/0.00	c *****************************************************
0.00/0.00	c process id: 647
0.00/0.00	c setup for 4cores
0.00/0.03	c parsetime: 35216us
0.00/0.03	c parsed 166723 clauses with 1285 variables
0.00/0.04	c NW started thread 0 successfully (1089943872)
0.00/0.06	c NW started thread 1 successfully (1100433728)
0.00/0.08	c NW started thread 2 successfully (1110923584)
0.00/0.09	c NW started thread 3 successfully (1121413440)
28.88/7.39	c preprocessor returned 10008 variables
28.88/7.39	c preprocessing returned UNKNOWN
28.88/7.39	c PP set 0 variables
28.88/7.39	c pp time: 7341552us (7s)
29.26/7.40	c preprocessor returned 10008 variables
29.26/7.40	c preprocessing returned UNKNOWN
29.26/7.40	c PP set 0 variables
29.26/7.40	c pp time: 7342759us (7s)
29.26/7.49	c preprocessor returned 10008 variables
29.26/7.49	c preprocessing returned UNKNOWN
29.26/7.49	c PP set 0 variables
29.26/7.49	c pp time: 7407282us (7s)
50.44/12.72	c preprocessor returned 30012 variables
50.44/12.72	c preprocessing returned UNKNOWN
50.44/12.72	c PP set 0 variables
50.44/12.72	c pp time: 12626215us (12s)

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3250941-1304082155/watcher-3250941-1304082155 -o /tmp/evaluation-result-3250941-1304082155/solver-3250941-1304082155 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3250941-1304082155.cnf 1166955963 4800 15500 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: 6.92 7.86 7.98 4/177 646
/proc/meminfo: memFree=30935124/32951124 swapFree=67105204/67111528
[pid=646] ppid=644 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/646/stat : 646 (prissAuto.sh) S 644 646 32751 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 500631430 8908800 251 33554432000 4194304 4922060 140735014559632 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/646/statm: 2175 251 211 178 0 68 0

[startup+0.0804349 s]
/proc/loadavg: 6.92 7.86 7.98 4/177 646
/proc/meminfo: memFree=30935124/32951124 swapFree=67105204/67111528
[pid=646] ppid=644 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/646/stat : 646 (prissAuto.sh) S 644 646 32751 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 500631430 8908800 251 33554432000 4194304 4922060 140735014559632 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/646/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.103366 s]
/proc/loadavg: 6.92 7.86 7.98 4/177 646
/proc/meminfo: memFree=30935124/32951124 swapFree=67105204/67111528
[pid=646] ppid=644 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/646/stat : 646 (prissAuto.sh) S 644 646 32751 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 500631430 8908800 251 33554432000 4194304 4922060 140735014559632 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/646/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.01323 s]
/proc/loadavg: 6.92 7.86 7.98 4/177 646
/proc/meminfo: memFree=30935124/32951124 swapFree=67105204/67111528
[pid=646] ppid=644 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/646/stat : 646 (prissAuto.sh) S 644 646 32751 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 500631430 8908800 251 33554432000 4194304 4922060 140735014559632 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/646/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.10017 s]
/proc/loadavg: 6.92 7.86 7.98 4/177 646
/proc/meminfo: memFree=30935124/32951124 swapFree=67105204/67111528
[pid=646] ppid=644 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/646/stat : 646 (prissAuto.sh) S 644 646 32751 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 500631430 8908800 251 33554432000 4194304 4922060 140735014559632 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/646/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.5001 s]
/proc/loadavg: 6.92 7.86 7.98 4/177 646
/proc/meminfo: memFree=30935124/32951124 swapFree=67105204/67111528
[pid=646] ppid=644 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/646/stat : 646 (prissAuto.sh) S 644 646 32751 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 500631430 8908800 251 33554432000 4194304 4922060 140735014559632 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/646/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+3.1008 s]
/proc/loadavg: 7.01 7.87 7.98 9/188 657
/proc/meminfo: memFree=30816372/32951124 swapFree=67105204/67111528
[pid=646] ppid=644 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/646/stat : 646 (prissAuto.sh) S 644 646 32751 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 500631430 8908800 251 33554432000 4194304 4922060 140735014559632 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/646/statm: 2175 251 211 178 0 68 0
[pid=647] ppid=646 vsize=302832 CPUtime=12.09 cores=1,3,5,7
/proc/647/stat : 647 (priss) S 646 646 32751 0 -1 4202496 25207 0 0 0 1204 5 0 0 19 0 5 0 500631430 310099968 18761 33554432000 4194304 5787044 140736252784768 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/647/statm: 75708 18761 350 389 0 71458 0
[pid=647/tid=654] ppid=646 vsize=302832 CPUtime=3.03 cores=1,3,5,7
/proc/647/task/654/stat : 654 (priss) R 646 646 32751 0 -1 4202560 4573 0 0 0 302 1 0 0 25 0 5 0 500631434 310099968 18761 33554432000 4194304 5787044 140736252784768 18446744073709551615 4336688 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=647/tid=655] ppid=646 vsize=302832 CPUtime=3.02 cores=1,3,5,7
/proc/647/task/655/stat : 655 (priss) R 646 646 32751 0 -1 4202560 5084 0 0 0 301 1 0 0 25 0 5 0 500631436 310099968 18761 33554432000 4194304 5787044 140736252784768 18446744073709551615 4336171 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=647/tid=656] ppid=646 vsize=302832 CPUtime=2.94 cores=1,3,5,7
/proc/647/task/656/stat : 656 (priss) R 646 646 32751 0 -1 4202560 2725 0 0 0 294 0 0 0 25 0 5 0 500631438 310099968 18761 33554432000 4194304 5787044 140736252784768 18446744073709551615 4336773 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=647/tid=657] ppid=646 vsize=302832 CPUtime=2.97 cores=1,3,5,7
/proc/647/task/657/stat : 657 (priss) R 646 646 32751 0 -1 4202560 4142 0 0 0 297 0 0 0 24 0 5 0 500631439 310099968 18761 33554432000 4194304 5787044 140736252784768 18446744073709551615 18446744073699065949 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.09
Current children cumulated vsize (KiB) 311532

[startup+6.30121 s]
/proc/loadavg: 7.01 7.87 7.98 9/188 657
/proc/meminfo: memFree=30809220/32951124 swapFree=67105204/67111528
[pid=646] ppid=644 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/646/stat : 646 (prissAuto.sh) S 644 646 32751 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 500631430 8908800 251 33554432000 4194304 4922060 140735014559632 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/646/statm: 2175 251 211 178 0 68 0
[pid=647] ppid=646 vsize=302832 CPUtime=24.87 cores=1,3,5,7
/proc/647/stat : 647 (priss) S 646 646 32751 0 -1 4202496 25732 0 0 0 2482 5 0 0 19 0 5 0 500631430 310099968 19286 33554432000 4194304 5787044 140736252784768 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/647/statm: 75708 19286 352 389 0 71458 0
[pid=647/tid=654] ppid=646 vsize=302832 CPUtime=6.23 cores=1,3,5,7
/proc/647/task/654/stat : 654 (priss) R 646 646 32751 0 -1 4202560 4575 0 0 0 622 1 0 0 25 0 5 0 500631434 310099968 19286 33554432000 4194304 5787044 140736252784768 18446744073709551615 4336770 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=647/tid=655] ppid=646 vsize=302832 CPUtime=6.22 cores=1,3,5,7
/proc/647/task/655/stat : 655 (priss) R 646 646 32751 0 -1 4202560 5084 0 0 0 621 1 0 0 25 0 5 0 500631436 310099968 19286 33554432000 4194304 5787044 140736252784768 18446744073709551615 4336786 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=647/tid=656] ppid=646 vsize=302832 CPUtime=6.14 cores=1,3,5,7
/proc/647/task/656/stat : 656 (priss) R 646 646 32751 0 -1 4202560 3248 0 0 0 614 0 0 0 25 0 5 0 500631438 310099968 19286 33554432000 4194304 5787044 140736252784768 18446744073709551615 4336739 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=647/tid=657] ppid=646 vsize=302832 CPUtime=6.15 cores=1,3,5,7
/proc/647/task/657/stat : 657 (priss) R 646 646 32751 0 -1 4202560 4142 0 0 0 615 0 0 0 25 0 5 0 500631439 310099968 19286 33554432000 4194304 5787044 140736252784768 18446744073709551615 4336138 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 24.87
Current children cumulated vsize (KiB) 311532

[startup+12.701 s]
/proc/loadavg: 7.16 7.87 7.98 11/188 690
/proc/meminfo: memFree=30671252/32951124 swapFree=67105204/67111528
[pid=646] ppid=644 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/646/stat : 646 (prissAuto.sh) S 644 646 32751 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 500631430 8908800 251 33554432000 4194304 4922060 140735014559632 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/646/statm: 2175 251 211 178 0 68 0
[pid=647] ppid=646 vsize=328740 CPUtime=50.44 cores=1,3,5,7
/proc/647/stat : 647 (priss) S 646 646 32751 0 -1 4202496 47277 0 0 0 5036 8 0 0 19 0 5 0 500631430 336629760 29125 33554432000 4194304 5787044 140736252784768 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/647/statm: 82185 29125 404 389 0 77935 0
[pid=647/tid=654] ppid=646 vsize=328740 CPUtime=12.64 cores=1,3,5,7
/proc/647/task/654/stat : 654 (priss) R 646 646 32751 0 -1 4202560 11740 0 0 0 1262 2 0 0 25 0 5 0 500631434 336629760 29125 33554432000 4194304 5787044 140736252784768 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=647/tid=655] ppid=646 vsize=328740 CPUtime=12.63 cores=1,3,5,7
/proc/647/task/655/stat : 655 (priss) R 646 646 32751 0 -1 4202560 8034 0 0 0 1261 2 0 0 25 0 5 0 500631436 336629760 29125 33554432000 4194304 5787044 140736252784768 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=647/tid=656] ppid=646 vsize=328740 CPUtime=12.54 cores=1,3,5,7
/proc/647/task/656/stat : 656 (priss) R 646 646 32751 0 -1 4202560 9029 0 0 0 1253 1 0 0 25 0 5 0 500631438 336629760 29125 33554432000 4194304 5787044 140736252784768 18446744073709551615 4229336 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=647/tid=657] ppid=646 vsize=328740 CPUtime=12.53 cores=1,3,5,7
/proc/647/task/657/stat : 657 (priss) R 646 646 32751 0 -1 4202560 9791 0 0 0 1252 1 0 0 25 0 5 0 500631439 336629760 29125 33554432000 4194304 5787044 140736252784768 18446744073709551615 4331888 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.44
Current children cumulated vsize (KiB) 337440

[startup+25.5007 s]
/proc/loadavg: 7.29 7.87 7.98 10/188 690
/proc/meminfo: memFree=30640896/32951124 swapFree=67105204/67111528
[pid=646] ppid=644 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/646/stat : 646 (prissAuto.sh) S 644 646 32751 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 500631430 8908800 251 33554432000 4194304 4922060 140735014559632 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/646/statm: 2175 251 211 178 0 68 0
[pid=647] ppid=646 vsize=328816 CPUtime=101.56 cores=1,3,5,7
/proc/647/stat : 647 (priss) S 646 646 32751 0 -1 4202496 54579 0 0 0 10145 11 0 0 19 0 5 0 500631430 336707584 33239 33554432000 4194304 5787044 140736252784768 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/647/statm: 82204 33239 417 389 0 77954 0
[pid=647/tid=654] ppid=646 vsize=328816 CPUtime=25.43 cores=1,3,5,7
/proc/647/task/654/stat : 654 (priss) R 646 646 32751 0 -1 4202560 13070 0 0 0 2540 3 0 0 25 0 5 0 500631434 336707584 33239 33554432000 4194304 5787044 140736252784768 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=647/tid=655] ppid=646 vsize=328816 CPUtime=25.42 cores=1,3,5,7
/proc/647/task/655/stat : 655 (priss) R 646 646 32751 0 -1 4202560 9451 0 0 0 2540 2 0 0 25 0 5 0 500631436 336707584 33239 33554432000 4194304 5787044 140736252784768 18446744073709551615 5591561 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=647/tid=656] ppid=646 vsize=328816 CPUtime=25.33 cores=1,3,5,7
/proc/647/task/656/stat : 656 (priss) R 646 646 32751 0 -1 4202560 10500 0 0 0 2531 2 0 0 25 0 5 0 500631438 336707584 33239 33554432000 4194304 5787044 140736252784768 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=647/tid=657] ppid=646 vsize=328816 CPUtime=25.25 cores=1,3,5,7
/proc/647/task/657/stat : 657 (priss) R 646 646 32751 0 -1 4202560 12875 0 0 0 2523 2 0 0 25 0 5 0 500631439 336707584 33239 33554432000 4194304 5787044 140736252784768 18446744073709551615 5526895 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 337516

[startup+51.101 s]
/proc/loadavg: 7.59 7.90 7.98 10/188 691
/proc/meminfo: memFree=30580800/32951124 swapFree=67105204/67111528
[pid=646] ppid=644 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/646/stat : 646 (prissAuto.sh) S 644 646 32751 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 500631430 8908800 251 33554432000 4194304 4922060 140735014559632 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/646/statm: 2175 251 211 178 0 68 0
[pid=647] ppid=646 vsize=341004 CPUtime=203.81 cores=1,3,5,7
/proc/647/stat : 647 (priss) S 646 646 32751 0 -1 4202496 62548 0 0 0 20360 21 0 0 19 0 5 0 500631430 349188096 41203 33554432000 4194304 5787044 140736252784768 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/647/statm: 85251 41203 417 389 0 81001 0
[pid=647/tid=654] ppid=646 vsize=341004 CPUtime=51.03 cores=1,3,5,7
/proc/647/task/654/stat : 654 (priss) R 646 646 32751 0 -1 4202560 14695 0 0 0 5097 6 0 0 25 0 5 0 500631434 349188096 41203 33554432000 4194304 5787044 140736252784768 18446744073709551615 5590283 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=647/tid=655] ppid=646 vsize=341004 CPUtime=51.02 cores=1,3,5,7
/proc/647/task/655/stat : 655 (priss) R 646 646 32751 0 -1 4202560 11052 0 0 0 5098 4 0 0 25 0 5 0 500631436 349188096 41203 33554432000 4194304 5787044 140736252784768 18446744073709551615 5592111 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=647/tid=656] ppid=646 vsize=341004 CPUtime=50.94 cores=1,3,5,7
/proc/647/task/656/stat : 656 (priss) R 646 646 32751 0 -1 4202560 12229 0 0 0 5090 4 0 0 25 0 5 0 500631438 349188096 41203 33554432000 4194304 5787044 140736252784768 18446744073709551615 5592797 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=647/tid=657] ppid=646 vsize=341004 CPUtime=50.71 cores=1,3,5,7
/proc/647/task/657/stat : 657 (priss) R 646 646 32751 0 -1 4202560 15889 0 0 0 5067 4 0 0 25 0 5 0 500631439 349188096 41203 33554432000 4194304 5787044 140736252784768 18446744073709551615 4213865 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 349704

[startup+102.301 s]
/proc/loadavg: 7.88 7.93 7.99 9/188 692
/proc/meminfo: memFree=30403916/32951124 swapFree=67105204/67111528
[pid=646] ppid=644 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/646/stat : 646 (prissAuto.sh) S 644 646 32751 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 500631430 8908800 251 33554432000 4194304 4922060 140735014559632 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/646/statm: 2175 251 211 178 0 68 0
[pid=647] ppid=646 vsize=362016 CPUtime=408.31 cores=1,3,5,7
/proc/647/stat : 647 (priss) S 646 646 32751 0 -1 4202496 77357 0 0 0 40793 38 0 0 19 0 5 0 500631430 370704384 55850 33554432000 4194304 5787044 140736252784768 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/647/statm: 90504 55850 417 389 0 86254 0
[pid=647/tid=654] ppid=646 vsize=362016 CPUtime=102.22 cores=1,3,5,7
/proc/647/task/654/stat : 654 (priss) R 646 646 32751 0 -1 4202560 17731 0 0 0 10212 10 0 0 25 0 5 0 500631434 370704384 55850 33554432000 4194304 5787044 140736252784768 18446744073709551615 5591246 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=647/tid=655] ppid=646 vsize=362016 CPUtime=102.18 cores=1,3,5,7
/proc/647/task/655/stat : 655 (priss) R 646 646 32751 0 -1 4202560 15079 0 0 0 10209 9 0 0 25 0 5 0 500631436 370704384 55850 33554432000 4194304 5787044 140736252784768 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=647/tid=656] ppid=646 vsize=362016 CPUtime=102.13 cores=1,3,5,7
/proc/647/task/656/stat : 656 (priss) R 646 646 32751 0 -1 4202560 15836 0 0 0 10204 9 0 0 25 0 5 0 500631438 370704384 55850 33554432000 4194304 5787044 140736252784768 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=647/tid=657] ppid=646 vsize=362016 CPUtime=101.66 cores=1,3,5,7
/proc/647/task/657/stat : 657 (priss) R 646 646 32751 0 -1 4202560 20028 0 0 0 10159 7 0 0 25 0 5 0 500631439 370704384 55850 33554432000 4194304 5787044 140736252784768 18446744073709551615 4254564 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.31
Current children cumulated vsize (KiB) 370716

[startup+162.3 s]
/proc/loadavg: 8.11 7.98 8.00 9/188 694
/proc/meminfo: memFree=30286708/32951124 swapFree=67105204/67111528
[pid=646] ppid=644 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/646/stat : 646 (prissAuto.sh) S 644 646 32751 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 500631430 8908800 251 33554432000 4194304 4922060 140735014559632 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/646/statm: 2175 251 211 178 0 68 0
[pid=647] ppid=646 vsize=378652 CPUtime=647.97 cores=1,3,5,7

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

/proc/647/task/655/stat : 655 (priss) R 646 646 32751 0 -1 4202560 44647 0 0 0 88080 60 0 0 25 0 5 0 500631436 869281792 162853 33554432000 4194304 5787044 140736252784768 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=647/tid=656] ppid=646 vsize=848908 CPUtime=881.18 cores=1,3,5,7
/proc/647/task/656/stat : 656 (priss) R 646 646 32751 0 -1 4202560 41121 0 0 0 88063 55 0 0 25 0 5 0 500631438 869281792 162853 33554432000 4194304 5787044 140736252784768 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=647/tid=657] ppid=646 vsize=848908 CPUtime=881.66 cores=1,3,5,7
/proc/647/task/657/stat : 657 (priss) R 646 646 32751 0 -1 4202560 47929 0 0 0 88138 28 0 0 25 0 5 0 500631439 869281792 162853 33554432000 4194304 5787044 140736252784768 18446744073709551615 5528404 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.02
Current children cumulated vsize (KiB) 857608

[startup+942.307 s]
/proc/loadavg: 8.12 8.11 8.05 9/188 714
/proc/meminfo: memFree=29365944/32951124 swapFree=67105204/67111528
[pid=646] ppid=644 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/646/stat : 646 (prissAuto.sh) S 644 646 32751 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 500631430 8908800 251 33554432000 4194304 4922060 140735014559632 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/646/statm: 2175 251 211 178 0 68 0
[pid=647] ppid=646 vsize=854636 CPUtime=3763.71 cores=1,3,5,7
/proc/647/stat : 647 (priss) S 646 646 32751 0 -1 4202496 187409 0 0 0 376167 204 0 0 19 0 5 0 500631430 875147264 164119 33554432000 4194304 5787044 140736252784768 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/647/statm: 213659 164119 417 389 0 209409 0
[pid=647/tid=654] ppid=646 vsize=854636 CPUtime=939.68 cores=1,3,5,7
/proc/647/task/654/stat : 654 (priss) R 646 646 32751 0 -1 4202560 43765 0 0 0 93910 58 0 0 25 0 5 0 500631434 875147264 164119 33554432000 4194304 5787044 140736252784768 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=647/tid=655] ppid=646 vsize=854636 CPUtime=941.07 cores=1,3,5,7
/proc/647/task/655/stat : 655 (priss) R 646 646 32751 0 -1 4202560 44648 0 0 0 94047 60 0 0 25 0 5 0 500631436 875147264 164119 33554432000 4194304 5787044 140736252784768 18446744073709551615 4254546 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=647/tid=656] ppid=646 vsize=854636 CPUtime=941.18 cores=1,3,5,7
/proc/647/task/656/stat : 656 (priss) R 646 646 32751 0 -1 4202560 41144 0 0 0 94063 55 0 0 25 0 5 0 500631438 875147264 164119 33554432000 4194304 5787044 140736252784768 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=647/tid=657] ppid=646 vsize=854636 CPUtime=941.66 cores=1,3,5,7
/proc/647/task/657/stat : 657 (priss) R 646 646 32751 0 -1 4202560 49169 0 0 0 94137 29 0 0 25 0 5 0 500631439 875147264 164119 33554432000 4194304 5787044 140736252784768 18446744073709551615 5527568 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3763.71
Current children cumulated vsize (KiB) 863336

[startup+1002.3 s]
/proc/loadavg: 8.10 8.11 8.05 9/188 716
/proc/meminfo: memFree=29321272/32951124 swapFree=67105204/67111528
[pid=646] ppid=644 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/646/stat : 646 (prissAuto.sh) S 644 646 32751 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 500631430 8908800 251 33554432000 4194304 4922060 140735014559632 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/646/statm: 2175 251 211 178 0 68 0
[pid=647] ppid=646 vsize=858736 CPUtime=4003.37 cores=1,3,5,7
/proc/647/stat : 647 (priss) S 646 646 32751 0 -1 4202496 189972 0 0 0 400129 208 0 0 19 0 5 0 500631430 879345664 166682 33554432000 4194304 5787044 140736252784768 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/647/statm: 214684 166682 417 389 0 210434 0
[pid=647/tid=654] ppid=646 vsize=858736 CPUtime=999.67 cores=1,3,5,7
/proc/647/task/654/stat : 654 (priss) R 646 646 32751 0 -1 4202560 43766 0 0 0 99909 58 0 0 25 0 5 0 500631434 879345664 166682 33554432000 4194304 5787044 140736252784768 18446744073709551615 5591184 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=647/tid=655] ppid=646 vsize=858736 CPUtime=1000.74 cores=1,3,5,7
/proc/647/task/655/stat : 655 (priss) R 646 646 32751 0 -1 4202560 44650 0 0 0 100014 60 0 0 25 0 5 0 500631436 879345664 166682 33554432000 4194304 5787044 140736252784768 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=647/tid=656] ppid=646 vsize=858736 CPUtime=1001.18 cores=1,3,5,7
/proc/647/task/656/stat : 656 (priss) R 646 646 32751 0 -1 4202560 43702 0 0 0 100059 59 0 0 25 0 5 0 500631438 879345664 166682 33554432000 4194304 5787044 140736252784768 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=647/tid=657] ppid=646 vsize=858736 CPUtime=1001.66 cores=1,3,5,7
/proc/647/task/657/stat : 657 (priss) R 646 646 32751 0 -1 4202560 49171 0 0 0 100137 29 0 0 25 0 5 0 500631439 879345664 166682 33554432000 4194304 5787044 140736252784768 18446744073709551615 5528651 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.37
Current children cumulated vsize (KiB) 867436

[startup+1062.3 s]
/proc/loadavg: 8.09 8.10 8.04 9/188 718
/proc/meminfo: memFree=29306096/32951124 swapFree=67105204/67111528
[pid=646] ppid=644 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/646/stat : 646 (prissAuto.sh) S 644 646 32751 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 500631430 8908800 251 33554432000 4194304 4922060 140735014559632 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/646/statm: 2175 251 211 178 0 68 0
[pid=647] ppid=646 vsize=858736 CPUtime=4243.05 cores=1,3,5,7
/proc/647/stat : 647 (priss) S 646 646 32751 0 -1 4202496 193087 0 0 0 424090 215 0 0 19 0 5 0 500631430 879345664 169797 33554432000 4194304 5787044 140736252784768 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/647/statm: 214684 169797 417 389 0 210434 0
[pid=647/tid=654] ppid=646 vsize=858736 CPUtime=1059.67 cores=1,3,5,7
/proc/647/task/654/stat : 654 (priss) R 646 646 32751 0 -1 4202560 43773 0 0 0 105909 58 0 0 25 0 5 0 500631434 879345664 169797 33554432000 4194304 5787044 140736252784768 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=647/tid=655] ppid=646 vsize=858736 CPUtime=1060.41 cores=1,3,5,7
/proc/647/task/655/stat : 655 (priss) R 646 646 32751 0 -1 4202560 44656 0 0 0 105981 60 0 0 25 0 5 0 500631436 879345664 169797 33554432000 4194304 5787044 140736252784768 18446744073709551615 5576469 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=647/tid=656] ppid=646 vsize=858736 CPUtime=1061.18 cores=1,3,5,7
/proc/647/task/656/stat : 656 (priss) R 646 646 32751 0 -1 4202560 46796 0 0 0 106053 65 0 0 25 0 5 0 500631438 879345664 169797 33554432000 4194304 5787044 140736252784768 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=647/tid=657] ppid=646 vsize=858736 CPUtime=1061.67 cores=1,3,5,7
/proc/647/task/657/stat : 657 (priss) R 646 646 32751 0 -1 4202560 49179 0 0 0 106137 30 0 0 25 0 5 0 500631439 879345664 169797 33554432000 4194304 5787044 140736252784768 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.05
Current children cumulated vsize (KiB) 867436

[startup+1122.3 s]
/proc/loadavg: 8.19 8.12 8.06 9/188 719
/proc/meminfo: memFree=29294528/32951124 swapFree=67105204/67111528
[pid=646] ppid=644 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/646/stat : 646 (prissAuto.sh) S 644 646 32751 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 500631430 8908800 251 33554432000 4194304 4922060 140735014559632 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/646/statm: 2175 251 211 178 0 68 0
[pid=647] ppid=646 vsize=858736 CPUtime=4482.73 cores=1,3,5,7
/proc/647/stat : 647 (priss) S 646 646 32751 0 -1 4202496 196020 0 0 0 448051 222 0 0 19 0 5 0 500631430 879345664 172730 33554432000 4194304 5787044 140736252784768 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/647/statm: 214684 172730 417 389 0 210434 0
[pid=647/tid=654] ppid=646 vsize=858736 CPUtime=1119.68 cores=1,3,5,7
/proc/647/task/654/stat : 654 (priss) R 646 646 32751 0 -1 4202560 43789 0 0 0 111910 58 0 0 25 0 5 0 500631434 879345664 172730 33554432000 4194304 5787044 140736252784768 18446744073709551615 4218705 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=647/tid=655] ppid=646 vsize=858736 CPUtime=1120.09 cores=1,3,5,7
/proc/647/task/655/stat : 655 (priss) R 646 646 32751 0 -1 4202560 44665 0 0 0 111949 60 0 0 25 0 5 0 500631436 879345664 172730 33554432000 4194304 5787044 140736252784768 18446744073709551615 5576461 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=647/tid=656] ppid=646 vsize=858736 CPUtime=1121.18 cores=1,3,5,7
/proc/647/task/656/stat : 656 (priss) R 646 646 32751 0 -1 4202560 49689 0 0 0 112046 72 0 0 25 0 5 0 500631438 879345664 172730 33554432000 4194304 5787044 140736252784768 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=647/tid=657] ppid=646 vsize=858736 CPUtime=1121.67 cores=1,3,5,7
/proc/647/task/657/stat : 657 (priss) R 646 646 32751 0 -1 4202560 49194 0 0 0 112137 30 0 0 25 0 5 0 500631439 879345664 172730 33554432000 4194304 5787044 140736252784768 18446744073709551615 5527101 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4482.73
Current children cumulated vsize (KiB) 867436

[startup+1182.3 s]
/proc/loadavg: 8.16 8.13 8.06 9/188 721
/proc/meminfo: memFree=29278864/32951124 swapFree=67105204/67111528
[pid=646] ppid=644 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/646/stat : 646 (prissAuto.sh) S 644 646 32751 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 500631430 8908800 251 33554432000 4194304 4922060 140735014559632 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/646/statm: 2175 251 211 178 0 68 0
[pid=647] ppid=646 vsize=866936 CPUtime=4722.41 cores=1,3,5,7
/proc/647/stat : 647 (priss) S 646 646 32751 0 -1 4202496 200904 0 0 0 472012 229 0 0 19 0 5 0 500631430 887742464 177614 33554432000 4194304 5787044 140736252784768 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/647/statm: 216734 177614 417 389 0 212484 0
[pid=647/tid=654] ppid=646 vsize=866936 CPUtime=1179.67 cores=1,3,5,7
/proc/647/task/654/stat : 654 (priss) R 646 646 32751 0 -1 4202560 44884 0 0 0 117909 58 0 0 25 0 5 0 500631434 887742464 177614 33554432000 4194304 5787044 140736252784768 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=647/tid=655] ppid=646 vsize=866936 CPUtime=1179.76 cores=1,3,5,7
/proc/647/task/655/stat : 655 (priss) R 646 646 32751 0 -1 4202560 45726 0 0 0 117916 60 0 0 25 0 5 0 500631436 887742464 177614 33554432000 4194304 5787044 140736252784768 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=647/tid=656] ppid=646 vsize=866936 CPUtime=1181.18 cores=1,3,5,7
/proc/647/task/656/stat : 656 (priss) R 646 646 32751 0 -1 4202560 52399 0 0 0 118040 78 0 0 25 0 5 0 500631438 887742464 177614 33554432000 4194304 5787044 140736252784768 18446744073709551615 5591596 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=647/tid=657] ppid=646 vsize=866936 CPUtime=1181.67 cores=1,3,5,7
/proc/647/task/657/stat : 657 (priss) R 646 646 32751 0 -1 4202560 49212 0 0 0 118137 30 0 0 25 0 5 0 500631439 887742464 177614 33554432000 4194304 5787044 140736252784768 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.41
Current children cumulated vsize (KiB) 875636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.12 8.12 8.06 9/188 721
/proc/meminfo: memFree=29267568/32951124 swapFree=67105204/67111528
[pid=646] ppid=644 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/646/stat : 646 (prissAuto.sh) S 644 646 32751 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 500631430 8908800 251 33554432000 4194304 4922060 140735014559632 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/646/statm: 2175 251 211 178 0 68 0
[pid=647] ppid=646 vsize=932472 CPUtime=4800.33 cores=1,3,5,7
/proc/647/stat : 647 (priss) S 646 646 32751 0 -1 4202496 202310 0 0 0 479801 232 0 0 19 0 5 0 500631430 954851328 179020 33554432000 4194304 5787044 140736252784768 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/647/statm: 233118 179020 417 389 0 228868 0
[pid=647/tid=654] ppid=646 vsize=932472 CPUtime=1199.18 cores=1,3,5,7
/proc/647/task/654/stat : 654 (priss) R 646 646 32751 0 -1 4202560 44974 0 0 0 119860 58 0 0 25 0 5 0 500631434 954851328 179020 33554432000 4194304 5787044 140736252784768 18446744073709551615 5591561 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=647/tid=655] ppid=646 vsize=932472 CPUtime=1199.15 cores=1,3,5,7
/proc/647/task/655/stat : 655 (priss) R 646 646 32751 0 -1 4202560 46169 0 0 0 119854 61 0 0 25 0 5 0 500631436 954851328 179020 33554432000 4194304 5787044 140736252784768 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=647/tid=656] ppid=646 vsize=932472 CPUtime=1200.7 cores=1,3,5,7
/proc/647/task/656/stat : 656 (priss) R 646 646 32751 0 -1 4202560 53268 0 0 0 119990 80 0 0 25 0 5 0 500631438 954851328 179020 33554432000 4194304 5787044 140736252784768 18446744073709551615 4218330 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=647/tid=657] ppid=646 vsize=932472 CPUtime=1201.18 cores=1,3,5,7
/proc/647/task/657/stat : 657 (priss) R 646 646 32751 0 -1 4202560 49216 0 0 0 120088 30 0 0 25 0 5 0 500631439 954851328 179020 33554432000 4194304 5787044 140736252784768 18446744073709551615 5527101 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 941172

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

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

[startup+1201.8 s]
/proc/loadavg: 8.12 8.12 8.06 9/188 721
/proc/meminfo: memFree=29267568/32951124 swapFree=67105204/67111528
[pid=646] ppid=644 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/646/stat : 646 (prissAuto.sh) S 644 646 32751 0 -1 4202496 330 0 0 0 0 0 0 0 20 0 1 0 500631430 8908800 251 33554432000 4194304 4922060 140735014559632 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/646/statm: 2175 251 211 178 0 68 0
[pid=647] ppid=646 vsize=932472 CPUtime=4800.33 cores=1,3,5,7
/proc/647/stat : 647 (priss) S 646 646 32751 0 -1 4202496 202310 0 0 0 479801 232 0 0 19 0 5 0 500631430 954851328 179020 33554432000 4194304 5787044 140736252784768 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/647/statm: 233118 179020 417 389 0 228868 0
[pid=647/tid=654] ppid=646 vsize=932472 CPUtime=1199.18 cores=1,3,5,7
/proc/647/task/654/stat : 654 (priss) R 646 646 32751 0 -1 4202560 44974 0 0 0 119860 58 0 0 25 0 5 0 500631434 954851328 179020 33554432000 4194304 5787044 140736252784768 18446744073709551615 5591561 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=647/tid=655] ppid=646 vsize=932472 CPUtime=1199.15 cores=1,3,5,7
/proc/647/task/655/stat : 655 (priss) R 646 646 32751 0 -1 4202560 46169 0 0 0 119854 61 0 0 25 0 5 0 500631436 954851328 179020 33554432000 4194304 5787044 140736252784768 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=647/tid=656] ppid=646 vsize=932472 CPUtime=1200.7 cores=1,3,5,7
/proc/647/task/656/stat : 656 (priss) R 646 646 32751 0 -1 4202560 53268 0 0 0 119990 80 0 0 25 0 5 0 500631438 954851328 179020 33554432000 4194304 5787044 140736252784768 18446744073709551615 4218330 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=647/tid=657] ppid=646 vsize=932472 CPUtime=1201.18 cores=1,3,5,7
/proc/647/task/657/stat : 657 (priss) R 646 646 32751 0 -1 4202560 49216 0 0 0 120088 30 0 0 25 0 5 0 500631439 954851328 179020 33554432000 4194304 5787044 140736252784768 18446744073709551615 5527101 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 941172

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 646 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 4800.33
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1201.83
CPU time (s): 4800.33
CPU user time (s): 4798.01
CPU system time (s): 2.32
CPU usage (%): 399.42
Max. virtual memory (cumulated for all children) (KiB): 941172

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

runsolver used 1.63775 second user time and 4.92425 second system time

The end

Launcher Data 

Begin job on node147 at 2011-04-29 15:02:35
IDJOB=3250941
IDBENCH=88205
IDSOLVER=1602
FILE ID=node147/3250941-1304082155
RUNJOBID= node147-1304082155-627
PBS_JOBID= 13170522
Free space on /tmp= 72656 MiB

SOLVER NAME= priss Auto
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m37-q446.25-n35-p30-s33692332.cnf
COMMAND LINE= DIR/prissAuto.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3250941-1304082155/watcher-3250941-1304082155 -o /tmp/evaluation-result-3250941-1304082155/solver-3250941-1304082155 -C 4800 -W 1300 -M 15500  HOME/prissAuto.sh HOME HOME/instance-3250941-1304082155.cnf 1166955963 4800 15500 4

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

MD5SUM BENCH= 1002234f62b5dfa01a75197c65e66327
RANDOM SEED=1166955963

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30936016 kB
Buffers:        267304 kB
Cached:        1361208 kB
SwapCached:       2808 kB
Active:         126532 kB
Inactive:      1563620 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30936016 kB
SwapTotal:    67111528 kB
SwapFree:     67105204 kB
Dirty:            5528 kB
Writeback:           0 kB
AnonPages:       59788 kB
Mapped:          14788 kB
Slab:           260480 kB
PageTables:       4884 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   193544 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= 72648 MiB
End job on node147 at 2011-04-29 15:22:39