Trace number 3251293

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.37 1201.82

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m37-q505.75-n35-p30-s59841049.cnf
MD5SUMc86ce640ddb0138bf41ccc37bc6fcf28
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.84587
Satisfiable
(Un)Satisfiability was proved
Number of variables1295
Number of clauses148400
Sum of the clauses size298025
Maximum clause length37
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2148365
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: 866
0.00/0.00	c setup for 4cores
0.00/0.03	c parsetime: 30259us
0.00/0.03	c parsed 148400 clauses with 1295 variables
0.00/0.04	c NW started thread 0 successfully (1093187904)
0.00/0.06	c NW started thread 1 successfully (1103677760)
0.00/0.07	c NW started thread 2 successfully (1114167616)
0.00/0.09	c NW started thread 3 successfully (1124657472)
26.13/6.62	c preprocessor returned 10005 variables
26.13/6.62	c preprocessing returned UNKNOWN
26.13/6.62	c PP set 0 variables
26.13/6.62	c pp time: 6558296us (6s)
26.13/6.67	c preprocessor returned 10005 variables
26.13/6.67	c preprocessing returned UNKNOWN
26.13/6.67	c PP set 0 variables
26.13/6.67	c pp time: 6629867us (6s)
26.13/6.68	c preprocessor returned 10005 variables
26.13/6.68	c preprocessing returned UNKNOWN
26.13/6.68	c PP set 0 variables
26.13/6.68	c pp time: 6601392us (6s)
50.49/12.78	c preprocessor returned 30022 variables
50.49/12.78	c preprocessing returned UNKNOWN
50.49/12.78	c PP set 0 variables
50.49/12.78	c pp time: 12694481us (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-3251293-1304084563/watcher-3251293-1304084563 -o /tmp/evaluation-result-3251293-1304084563/solver-3251293-1304084563 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3251293-1304084563.cnf 1540281092 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: 7.83 8.05 8.05 5/182 865
/proc/meminfo: memFree=30185232/32951124 swapFree=67105204/67111528
[pid=865] ppid=863 vsize=11800 CPUtime=0 cores=1,3,5,7
/proc/865/stat : 865 (runsolver) R 863 865 32751 0 -1 4202560 43 0 0 0 0 0 0 0 25 0 1 0 500872252 12083200 52 33554432000 4194304 5434984 140735811677840 18446744073709551615 4881607 0 2147483391 4096 24578 0 0 0 17 7 0 0 0
/proc/865/statm: 2950 52 31 303 0 2644 0

[startup+0.104182 s]
/proc/loadavg: 7.83 8.05 8.05 5/182 865
/proc/meminfo: memFree=30185232/32951124 swapFree=67105204/67111528
[pid=865] ppid=863 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/865/stat : 865 (prissAuto.sh) S 863 865 32751 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500872252 8908800 252 33554432000 4194304 4922060 140735632930048 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/865/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.214979 s]
/proc/loadavg: 7.83 8.05 8.05 5/182 865
/proc/meminfo: memFree=30185232/32951124 swapFree=67105204/67111528
[pid=865] ppid=863 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/865/stat : 865 (prissAuto.sh) S 863 865 32751 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500872252 8908800 252 33554432000 4194304 4922060 140735632930048 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/865/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.794911 s]
/proc/loadavg: 7.83 8.05 8.05 5/182 865
/proc/meminfo: memFree=30185232/32951124 swapFree=67105204/67111528
[pid=865] ppid=863 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/865/stat : 865 (prissAuto.sh) S 863 865 32751 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500872252 8908800 252 33554432000 4194304 4922060 140735632930048 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/865/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.802853 s]
/proc/loadavg: 7.83 8.05 8.05 5/182 865
/proc/meminfo: memFree=30185232/32951124 swapFree=67105204/67111528
[pid=865] ppid=863 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/865/stat : 865 (prissAuto.sh) S 863 865 32751 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500872252 8908800 252 33554432000 4194304 4922060 140735632930048 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/865/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50073 s]
/proc/loadavg: 7.83 8.05 8.05 9/188 871
/proc/meminfo: memFree=30133352/32951124 swapFree=67105204/67111528
[pid=865] ppid=863 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/865/stat : 865 (prissAuto.sh) S 863 865 32751 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500872252 8908800 252 33554432000 4194304 4922060 140735632930048 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/865/statm: 2175 252 211 178 0 68 0
[pid=866] ppid=865 vsize=292696 CPUtime=5.77 cores=1,3,5,7
/proc/866/stat : 866 (priss) S 865 865 32751 0 -1 4202496 25624 0 0 0 570 7 0 0 20 0 5 0 500872252 299720704 12943 33554432000 4194304 5787044 140737325685680 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/866/statm: 73174 12943 350 389 0 68924 0
[pid=866/tid=868] ppid=865 vsize=292696 CPUtime=1.43 cores=1,3,5,7
/proc/866/task/868/stat : 868 (priss) R 865 865 32751 0 -1 4202560 4891 0 0 0 141 2 0 0 19 0 5 0 500872257 299720704 12943 33554432000 4194304 5787044 140737325685680 18446744073709551615 4336759 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=866/tid=869] ppid=865 vsize=292696 CPUtime=1.42 cores=1,3,5,7
/proc/866/task/869/stat : 869 (priss) R 865 865 32751 0 -1 4202560 4935 0 0 0 141 1 0 0 19 0 5 0 500872258 299720704 12943 33554432000 4194304 5787044 140737325685680 18446744073709551615 4336703 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=866/tid=870] ppid=865 vsize=292696 CPUtime=1.4 cores=1,3,5,7
/proc/866/task/870/stat : 870 (priss) R 865 865 32751 0 -1 4202560 4200 0 0 0 139 1 0 0 19 0 5 0 500872260 299720704 12943 33554432000 4194304 5787044 140737325685680 18446744073709551615 18446744073699065939 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=866/tid=871] ppid=865 vsize=292696 CPUtime=1.4 cores=1,3,5,7
/proc/866/task/871/stat : 871 (priss) R 865 865 32751 0 -1 4202560 4033 0 0 0 140 0 0 0 19 0 5 0 500872261 299720704 12943 33554432000 4194304 5787044 140737325685680 18446744073709551615 4336193 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.77
Current children cumulated vsize (KiB) 301396

[startup+3.10044 s]
/proc/loadavg: 7.83 8.05 8.05 9/188 871
/proc/meminfo: memFree=30132808/32951124 swapFree=67105204/67111528
[pid=865] ppid=863 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/865/stat : 865 (prissAuto.sh) S 863 865 32751 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500872252 8908800 252 33554432000 4194304 4922060 140735632930048 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/865/statm: 2175 252 211 178 0 68 0
[pid=866] ppid=865 vsize=292696 CPUtime=12.15 cores=1,3,5,7
/proc/866/stat : 866 (priss) S 865 865 32751 0 -1 4202496 25624 0 0 0 1208 7 0 0 20 0 5 0 500872252 299720704 12943 33554432000 4194304 5787044 140737325685680 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/866/statm: 73174 12943 350 389 0 68924 0
[pid=866/tid=868] ppid=865 vsize=292696 CPUtime=3.02 cores=1,3,5,7
/proc/866/task/868/stat : 868 (priss) R 865 865 32751 0 -1 4202560 4891 0 0 0 300 2 0 0 24 0 5 0 500872257 299720704 12943 33554432000 4194304 5787044 140737325685680 18446744073709551615 4336773 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=866/tid=869] ppid=865 vsize=292696 CPUtime=3.02 cores=1,3,5,7
/proc/866/task/869/stat : 869 (priss) R 865 865 32751 0 -1 4202560 4935 0 0 0 301 1 0 0 25 0 5 0 500872258 299720704 12943 33554432000 4194304 5787044 140737325685680 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=866/tid=870] ppid=865 vsize=292696 CPUtime=3 cores=1,3,5,7
/proc/866/task/870/stat : 870 (priss) R 865 865 32751 0 -1 4202560 4200 0 0 0 299 1 0 0 23 0 5 0 500872260 299720704 12943 33554432000 4194304 5787044 140737325685680 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=866/tid=871] ppid=865 vsize=292696 CPUtime=2.99 cores=1,3,5,7
/proc/866/task/871/stat : 871 (priss) R 865 865 32751 0 -1 4202560 4033 0 0 0 299 0 0 0 24 0 5 0 500872261 299720704 12943 33554432000 4194304 5787044 140737325685680 18446744073709551615 4336749 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.15
Current children cumulated vsize (KiB) 301396

[startup+6.30084 s]
/proc/loadavg: 7.84 8.05 8.05 10/188 872
/proc/meminfo: memFree=30109688/32951124 swapFree=67105204/67111528
[pid=865] ppid=863 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/865/stat : 865 (prissAuto.sh) S 863 865 32751 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500872252 8908800 252 33554432000 4194304 4922060 140735632930048 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/865/statm: 2175 252 211 178 0 68 0
[pid=866] ppid=865 vsize=315092 CPUtime=24.93 cores=1,3,5,7
/proc/866/stat : 866 (priss) S 865 865 32751 0 -1 4202496 32721 0 0 0 2485 8 0 0 20 0 5 0 500872252 322654208 19688 33554432000 4194304 5787044 140737325685680 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/866/statm: 78773 19688 355 389 0 74523 0
[pid=866/tid=868] ppid=865 vsize=315092 CPUtime=6.2 cores=1,3,5,7
/proc/866/task/868/stat : 868 (priss) R 865 865 32751 0 -1 4202560 6391 0 0 0 618 2 0 0 25 0 5 0 500872257 322654208 19688 33554432000 4194304 5787044 140737325685680 18446744073709551615 220815930304 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=866/tid=869] ppid=865 vsize=315092 CPUtime=6.22 cores=1,3,5,7
/proc/866/task/869/stat : 869 (priss) R 865 865 32751 0 -1 4202560 7336 0 0 0 620 2 0 0 25 0 5 0 500872258 322654208 19688 33554432000 4194304 5787044 140737325685680 18446744073709551615 4359248 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=866/tid=870] ppid=865 vsize=315092 CPUtime=6.2 cores=1,3,5,7
/proc/866/task/870/stat : 870 (priss) R 865 865 32751 0 -1 4202560 5056 0 0 0 619 1 0 0 25 0 5 0 500872260 322654208 19688 33554432000 4194304 5787044 140737325685680 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=866/tid=871] ppid=865 vsize=315092 CPUtime=6.2 cores=1,3,5,7
/proc/866/task/871/stat : 871 (priss) R 865 865 32751 0 -1 4202560 6373 0 0 0 619 1 0 0 25 0 5 0 500872261 322654208 19688 33554432000 4194304 5787044 140737325685680 18446744073709551615 220815930349 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.93
Current children cumulated vsize (KiB) 323792

[startup+12.7007 s]
/proc/loadavg: 7.85 8.04 8.05 9/187 905
/proc/meminfo: memFree=30622600/32951124 swapFree=67105204/67111528
[pid=865] ppid=863 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/865/stat : 865 (prissAuto.sh) S 863 865 32751 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500872252 8908800 252 33554432000 4194304 4922060 140735632930048 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/865/statm: 2175 252 211 178 0 68 0
[pid=866] ppid=865 vsize=321532 CPUtime=50.49 cores=1,3,5,7
/proc/866/stat : 866 (priss) S 865 865 32751 0 -1 4202496 49848 0 0 0 5038 11 0 0 20 0 5 0 500872252 329248768 26986 33554432000 4194304 5787044 140737325685680 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/866/statm: 80383 26987 404 389 0 76133 0
[pid=866/tid=868] ppid=865 vsize=321532 CPUtime=12.57 cores=1,3,5,7
/proc/866/task/868/stat : 868 (priss) R 865 865 32751 0 -1 4202560 11521 0 0 0 1254 3 0 0 25 0 5 0 500872257 329248768 26989 33554432000 4194304 5787044 140737325685680 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=866/tid=869] ppid=865 vsize=321532 CPUtime=12.62 cores=1,3,5,7
/proc/866/task/869/stat : 869 (priss) R 865 865 32751 0 -1 4202560 12899 0 0 0 1259 3 0 0 25 0 5 0 500872258 329248768 26990 33554432000 4194304 5787044 140737325685680 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=866/tid=870] ppid=865 vsize=321532 CPUtime=12.6 cores=1,3,5,7
/proc/866/task/870/stat : 870 (priss) R 865 865 32751 0 -1 4202560 8444 0 0 0 1258 2 0 0 25 0 5 0 500872260 329248768 26992 33554432000 4194304 5787044 140737325685680 18446744073709551615 5592464 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=866/tid=871] ppid=865 vsize=321532 CPUtime=12.6 cores=1,3,5,7
/proc/866/task/871/stat : 871 (priss) R 865 865 32751 0 -1 4202560 9426 0 0 0 1259 1 0 0 25 0 5 0 500872261 329248768 26993 33554432000 4194304 5787044 140737325685680 18446744073709551615 220815897633 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.49
Current children cumulated vsize (KiB) 330232

[startup+25.5003 s]
/proc/loadavg: 7.89 8.04 8.05 9/188 906
/proc/meminfo: memFree=30530688/32951124 swapFree=67105204/67111528
[pid=865] ppid=863 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/865/stat : 865 (prissAuto.sh) S 863 865 32751 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500872252 8908800 252 33554432000 4194304 4922060 140735632930048 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/865/statm: 2175 252 211 178 0 68 0
[pid=866] ppid=865 vsize=328868 CPUtime=101.62 cores=1,3,5,7
/proc/866/stat : 866 (priss) S 865 865 32751 0 -1 4202496 58249 0 0 0 10148 14 0 0 20 0 5 0 500872252 336760832 31827 33554432000 4194304 5787044 140737325685680 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/866/statm: 82217 31827 417 389 0 77967 0
[pid=866/tid=868] ppid=865 vsize=328868 CPUtime=25.29 cores=1,3,5,7
/proc/866/task/868/stat : 868 (priss) R 865 865 32751 0 -1 4202560 13127 0 0 0 2526 3 0 0 25 0 5 0 500872257 336760832 31827 33554432000 4194304 5787044 140737325685680 18446744073709551615 5591083 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=866/tid=869] ppid=865 vsize=328868 CPUtime=25.42 cores=1,3,5,7
/proc/866/task/869/stat : 869 (priss) R 865 865 32751 0 -1 4202560 14340 0 0 0 2539 3 0 0 25 0 5 0 500872258 336760832 31827 33554432000 4194304 5787044 140737325685680 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=866/tid=870] ppid=865 vsize=328868 CPUtime=25.39 cores=1,3,5,7
/proc/866/task/870/stat : 870 (priss) R 865 865 32751 0 -1 4202560 9933 0 0 0 2536 3 0 0 25 0 5 0 500872260 336760832 31827 33554432000 4194304 5787044 140737325685680 18446744073709551615 5601765 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=866/tid=871] ppid=865 vsize=328868 CPUtime=25.4 cores=1,3,5,7
/proc/866/task/871/stat : 871 (priss) R 865 865 32751 0 -1 4202560 13284 0 0 0 2538 2 0 0 25 0 5 0 500872261 336760832 31827 33554432000 4194304 5787044 140737325685680 18446744073709551615 5534112 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.62
Current children cumulated vsize (KiB) 337568

[startup+51.1066 s]
/proc/loadavg: 8.00 8.05 8.05 9/188 907
/proc/meminfo: memFree=30491092/32951124 swapFree=67105204/67111528
[pid=865] ppid=863 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/865/stat : 865 (prissAuto.sh) S 863 865 32751 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500872252 8908800 252 33554432000 4194304 4922060 140735632930048 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/865/statm: 2175 252 211 178 0 68 0
[pid=866] ppid=865 vsize=340836 CPUtime=203.88 cores=1,3,5,7
/proc/866/stat : 866 (priss) S 865 865 32751 0 -1 4202496 67735 0 0 0 20364 24 0 0 20 0 5 0 500872252 349016064 41308 33554432000 4194304 5787044 140737325685680 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/866/statm: 85209 41308 417 389 0 80959 0
[pid=866/tid=868] ppid=865 vsize=340836 CPUtime=50.76 cores=1,3,5,7
/proc/866/task/868/stat : 868 (priss) R 865 865 32751 0 -1 4202560 16160 0 0 0 5070 6 0 0 25 0 5 0 500872257 349016064 41308 33554432000 4194304 5787044 140737325685680 18446744073709551615 5592076 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=866/tid=869] ppid=865 vsize=340836 CPUtime=51.02 cores=1,3,5,7
/proc/866/task/869/stat : 869 (priss) R 865 865 32751 0 -1 4202560 16419 0 0 0 5096 6 0 0 25 0 5 0 500872258 349016064 41308 33554432000 4194304 5787044 140737325685680 18446744073709551615 5592064 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=866/tid=870] ppid=865 vsize=340836 CPUtime=50.99 cores=1,3,5,7
/proc/866/task/870/stat : 870 (priss) R 865 865 32751 0 -1 4202560 11859 0 0 0 5095 4 0 0 25 0 5 0 500872260 349016064 41308 33554432000 4194304 5787044 140737325685680 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=866/tid=871] ppid=865 vsize=340836 CPUtime=51 cores=1,3,5,7
/proc/866/task/871/stat : 871 (priss) R 865 865 32751 0 -1 4202560 15732 0 0 0 5095 5 0 0 25 0 5 0 500872261 349016064 41308 33554432000 4194304 5787044 140737325685680 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.88
Current children cumulated vsize (KiB) 349536

[startup+102.301 s]
/proc/loadavg: 8.04 8.06 8.05 9/188 908
/proc/meminfo: memFree=30379412/32951124 swapFree=67105204/67111528
[pid=865] ppid=863 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/865/stat : 865 (prissAuto.sh) S 863 865 32751 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500872252 8908800 252 33554432000 4194304 4922060 140735632930048 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/865/statm: 2175 252 211 178 0 68 0
[pid=866] ppid=865 vsize=364984 CPUtime=408.37 cores=1,3,5,7
/proc/866/stat : 866 (priss) S 865 865 32751 0 -1 4202496 84367 0 0 0 40794 43 0 0 20 0 5 0 500872252 373743616 57778 33554432000 4194304 5787044 140737325685680 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/866/statm: 91246 57778 417 389 0 86996 0
[pid=866/tid=868] ppid=865 vsize=364984 CPUtime=101.67 cores=1,3,5,7
/proc/866/task/868/stat : 868 (priss) R 865 865 32751 0 -1 4202560 19774 0 0 0 10155 12 0 0 25 0 5 0 500872257 373743616 57778 33554432000 4194304 5787044 140737325685680 18446744073709551615 4238591 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=866/tid=869] ppid=865 vsize=364984 CPUtime=102.21 cores=1,3,5,7
/proc/866/task/869/stat : 869 (priss) R 865 865 32751 0 -1 4202560 22026 0 0 0 10210 11 0 0 25 0 5 0 500872258 373743616 57778 33554432000 4194304 5787044 140737325685680 18446744073709551615 5591019 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=866/tid=870] ppid=865 vsize=364984 CPUtime=102.18 cores=1,3,5,7
/proc/866/task/870/stat : 870 (priss) R 865 865 32751 0 -1 4202560 15766 0 0 0 10212 6 0 0 25 0 5 0 500872260 373743616 57778 33554432000 4194304 5787044 140737325685680 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=866/tid=871] ppid=865 vsize=364984 CPUtime=102.19 cores=1,3,5,7

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

/proc/866/task/869/stat : 869 (priss) R 865 865 32751 0 -1 4202560 50489 0 0 0 88168 53 0 0 25 0 5 0 500872258 941957120 171023 33554432000 4194304 5787044 140737325685680 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=866/tid=870] ppid=865 vsize=919880 CPUtime=881.24 cores=1,3,5,7
/proc/866/task/870/stat : 870 (priss) R 865 865 32751 0 -1 4202560 41918 0 0 0 88094 30 0 0 25 0 5 0 500872260 941957120 171023 33554432000 4194304 5787044 140737325685680 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=866/tid=871] ppid=865 vsize=919880 CPUtime=882.19 cores=1,3,5,7
/proc/866/task/871/stat : 871 (priss) R 865 865 32751 0 -1 4202560 48475 0 0 0 88161 58 0 0 25 0 5 0 500872261 941957120 171023 33554432000 4194304 5787044 140737325685680 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.1
Current children cumulated vsize (KiB) 928580

[startup+942.301 s]
/proc/loadavg: 8.08 8.11 8.09 9/188 932
/proc/meminfo: memFree=29117040/32951124 swapFree=67105204/67111528
[pid=865] ppid=863 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/865/stat : 865 (prissAuto.sh) S 863 865 32751 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500872252 8908800 252 33554432000 4194304 4922060 140735632930048 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/865/statm: 2175 252 211 178 0 68 0
[pid=866] ppid=865 vsize=928080 CPUtime=3763.77 cores=1,3,5,7
/proc/866/stat : 866 (priss) S 865 865 32751 0 -1 4202496 211029 0 0 0 376153 224 0 0 20 0 5 0 500872252 950353920 183106 33554432000 4194304 5787044 140737325685680 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/866/statm: 232020 183106 417 389 0 227770 0
[pid=866/tid=868] ppid=865 vsize=928080 CPUtime=938.35 cores=1,3,5,7
/proc/866/task/868/stat : 868 (priss) R 865 865 32751 0 -1 4202560 54889 0 0 0 93768 67 0 0 25 0 5 0 500872257 950353920 183106 33554432000 4194304 5787044 140737325685680 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=866/tid=869] ppid=865 vsize=928080 CPUtime=942.2 cores=1,3,5,7
/proc/866/task/869/stat : 869 (priss) R 865 865 32751 0 -1 4202560 53749 0 0 0 94162 58 0 0 25 0 5 0 500872258 950353920 183106 33554432000 4194304 5787044 140737325685680 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=866/tid=870] ppid=865 vsize=928080 CPUtime=940.91 cores=1,3,5,7
/proc/866/task/870/stat : 870 (priss) R 865 865 32751 0 -1 4202560 41919 0 0 0 94061 30 0 0 25 0 5 0 500872260 950353920 183106 33554432000 4194304 5787044 140737325685680 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=866/tid=871] ppid=865 vsize=928080 CPUtime=942.19 cores=1,3,5,7
/proc/866/task/871/stat : 871 (priss) R 865 865 32751 0 -1 4202560 52907 0 0 0 94153 66 0 0 25 0 5 0 500872261 950353920 183106 33554432000 4194304 5787044 140737325685680 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3763.77
Current children cumulated vsize (KiB) 936780

[startup+1002.3 s]
/proc/loadavg: 8.19 8.13 8.10 9/188 933
/proc/meminfo: memFree=29021392/32951124 swapFree=67105204/67111528
[pid=865] ppid=863 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/865/stat : 865 (prissAuto.sh) S 863 865 32751 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500872252 8908800 252 33554432000 4194304 4922060 140735632930048 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/865/statm: 2175 252 211 178 0 68 0
[pid=866] ppid=865 vsize=936556 CPUtime=4003.45 cores=1,3,5,7
/proc/866/stat : 866 (priss) S 865 865 32751 0 -1 4202496 217284 0 0 0 400113 232 0 0 20 0 5 0 500872252 959033344 188686 33554432000 4194304 5787044 140737325685680 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/866/statm: 234139 188686 417 389 0 229889 0
[pid=866/tid=868] ppid=865 vsize=936556 CPUtime=998.35 cores=1,3,5,7
/proc/866/task/868/stat : 868 (priss) R 865 865 32751 0 -1 4202560 56974 0 0 0 99764 71 0 0 25 0 5 0 500872257 959033344 188686 33554432000 4194304 5787044 140737325685680 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=866/tid=869] ppid=865 vsize=936556 CPUtime=1002.2 cores=1,3,5,7
/proc/866/task/869/stat : 869 (priss) R 865 865 32751 0 -1 4202560 55406 0 0 0 100160 60 0 0 25 0 5 0 500872258 959033344 188686 33554432000 4194304 5787044 140737325685680 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=866/tid=870] ppid=865 vsize=936556 CPUtime=1000.57 cores=1,3,5,7
/proc/866/task/870/stat : 870 (priss) R 865 865 32751 0 -1 4202560 43578 0 0 0 100027 30 0 0 25 0 5 0 500872260 959033344 188686 33554432000 4194304 5787044 140737325685680 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=866/tid=871] ppid=865 vsize=936556 CPUtime=1002.2 cores=1,3,5,7
/proc/866/task/871/stat : 871 (priss) R 865 865 32751 0 -1 4202560 53761 0 0 0 100153 67 0 0 25 0 5 0 500872261 959033344 188686 33554432000 4194304 5787044 140737325685680 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.45
Current children cumulated vsize (KiB) 945256

[startup+1062.3 s]
/proc/loadavg: 8.15 8.12 8.09 9/188 935
/proc/meminfo: memFree=28928604/32951124 swapFree=67105204/67111528
[pid=865] ppid=863 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/865/stat : 865 (prissAuto.sh) S 863 865 32751 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500872252 8908800 252 33554432000 4194304 4922060 140735632930048 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/865/statm: 2175 252 211 178 0 68 0
[pid=866] ppid=865 vsize=950584 CPUtime=4243.13 cores=1,3,5,7
/proc/866/stat : 866 (priss) S 865 865 32751 0 -1 4202496 220810 0 0 0 424077 236 0 0 20 0 5 0 500872252 973398016 192212 33554432000 4194304 5787044 140737325685680 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/866/statm: 237646 192212 417 389 0 233396 0
[pid=866/tid=868] ppid=865 vsize=950584 CPUtime=1058.35 cores=1,3,5,7
/proc/866/task/868/stat : 868 (priss) R 865 865 32751 0 -1 4202560 56974 0 0 0 105764 71 0 0 25 0 5 0 500872257 973398016 192212 33554432000 4194304 5787044 140737325685680 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=866/tid=869] ppid=865 vsize=950584 CPUtime=1062.2 cores=1,3,5,7
/proc/866/task/869/stat : 869 (priss) R 865 865 32751 0 -1 4202560 55407 0 0 0 106160 60 0 0 25 0 5 0 500872258 973398016 192212 33554432000 4194304 5787044 140737325685680 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=866/tid=870] ppid=865 vsize=950584 CPUtime=1060.25 cores=1,3,5,7
/proc/866/task/870/stat : 870 (priss) R 865 865 32751 0 -1 4202560 47102 0 0 0 105991 34 0 0 25 0 5 0 500872260 973398016 192212 33554432000 4194304 5787044 140737325685680 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=866/tid=871] ppid=865 vsize=950584 CPUtime=1062.19 cores=1,3,5,7
/proc/866/task/871/stat : 871 (priss) R 865 865 32751 0 -1 4202560 53762 0 0 0 106152 67 0 0 25 0 5 0 500872261 973398016 192212 33554432000 4194304 5787044 140737325685680 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.13
Current children cumulated vsize (KiB) 959284

[startup+1122.3 s]
/proc/loadavg: 8.24 8.14 8.10 9/188 946
/proc/meminfo: memFree=28871340/32951124 swapFree=67105204/67111528
[pid=865] ppid=863 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/865/stat : 865 (prissAuto.sh) S 863 865 32751 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500872252 8908800 252 33554432000 4194304 4922060 140735632930048 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/865/statm: 2175 252 211 178 0 68 0
[pid=866] ppid=865 vsize=963948 CPUtime=4482.78 cores=1,3,5,7
/proc/866/stat : 866 (priss) S 865 865 32751 0 -1 4202496 224162 0 0 0 448038 240 0 0 20 0 5 0 500872252 987082752 195564 33554432000 4194304 5787044 140737325685680 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/866/statm: 240987 195564 417 389 0 236737 0
[pid=866/tid=868] ppid=865 vsize=963948 CPUtime=1118.35 cores=1,3,5,7
/proc/866/task/868/stat : 868 (priss) R 865 865 32751 0 -1 4202560 56977 0 0 0 111764 71 0 0 25 0 5 0 500872257 987082752 195564 33554432000 4194304 5787044 140737325685680 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=866/tid=869] ppid=865 vsize=963948 CPUtime=1122.21 cores=1,3,5,7
/proc/866/task/869/stat : 869 (priss) R 865 865 32751 0 -1 4202560 55411 0 0 0 112160 61 0 0 25 0 5 0 500872258 987082752 195564 33554432000 4194304 5787044 140737325685680 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=866/tid=870] ppid=865 vsize=963948 CPUtime=1119.93 cores=1,3,5,7
/proc/866/task/870/stat : 870 (priss) R 865 865 32751 0 -1 4202560 50444 0 0 0 111955 38 0 0 25 0 5 0 500872260 987082752 195564 33554432000 4194304 5787044 140737325685680 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=866/tid=871] ppid=865 vsize=963948 CPUtime=1122.18 cores=1,3,5,7
/proc/866/task/871/stat : 871 (priss) R 865 865 32751 0 -1 4202560 53765 0 0 0 112151 67 0 0 25 0 5 0 500872261 987082752 195564 33554432000 4194304 5787044 140737325685680 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4482.78
Current children cumulated vsize (KiB) 972648

[startup+1182.3 s]
/proc/loadavg: 8.23 8.15 8.10 9/188 948
/proc/meminfo: memFree=28853676/32951124 swapFree=67105204/67111528
[pid=865] ppid=863 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/865/stat : 865 (prissAuto.sh) S 863 865 32751 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500872252 8908800 252 33554432000 4194304 4922060 140735632930048 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/865/statm: 2175 252 211 178 0 68 0
[pid=866] ppid=865 vsize=976396 CPUtime=4722.47 cores=1,3,5,7
/proc/866/stat : 866 (priss) S 865 865 32751 0 -1 4202496 227308 0 0 0 472003 244 0 0 20 0 5 0 500872252 999829504 198710 33554432000 4194304 5787044 140737325685680 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/866/statm: 244099 198710 417 389 0 239849 0
[pid=866/tid=868] ppid=865 vsize=976396 CPUtime=1178.35 cores=1,3,5,7
/proc/866/task/868/stat : 868 (priss) R 865 865 32751 0 -1 4202560 56983 0 0 0 117764 71 0 0 25 0 5 0 500872257 999829504 198710 33554432000 4194304 5787044 140737325685680 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=866/tid=869] ppid=865 vsize=976396 CPUtime=1182.22 cores=1,3,5,7
/proc/866/task/869/stat : 869 (priss) R 865 865 32751 0 -1 4202560 55419 0 0 0 118161 61 0 0 25 0 5 0 500872258 999829504 198710 33554432000 4194304 5787044 140737325685680 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=866/tid=870] ppid=865 vsize=976396 CPUtime=1179.6 cores=1,3,5,7
/proc/866/task/870/stat : 870 (priss) R 865 865 32751 0 -1 4202560 53570 0 0 0 117919 41 0 0 25 0 5 0 500872260 999829504 198710 33554432000 4194304 5787044 140737325685680 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=866/tid=871] ppid=865 vsize=976396 CPUtime=1182.19 cores=1,3,5,7
/proc/866/task/871/stat : 871 (priss) R 865 865 32751 0 -1 4202560 53771 0 0 0 118151 68 0 0 25 0 5 0 500872261 999829504 198710 33554432000 4194304 5787044 140737325685680 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.47
Current children cumulated vsize (KiB) 985096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.16 8.14 8.09 9/188 948
/proc/meminfo: memFree=28849444/32951124 swapFree=67105204/67111528
[pid=865] ppid=863 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/865/stat : 865 (prissAuto.sh) S 863 865 32751 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500872252 8908800 252 33554432000 4194304 4922060 140735632930048 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/865/statm: 2175 252 211 178 0 68 0
[pid=866] ppid=865 vsize=980384 CPUtime=4800.37 cores=1,3,5,7
/proc/866/stat : 866 (priss) S 865 865 32751 0 -1 4202496 228326 0 0 0 479792 245 0 0 20 0 5 0 500872252 1003913216 199728 33554432000 4194304 5787044 140737325685680 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/866/statm: 245096 199728 417 389 0 240846 0
[pid=866/tid=868] ppid=865 vsize=980384 CPUtime=1197.86 cores=1,3,5,7
/proc/866/task/868/stat : 868 (priss) R 865 865 32751 0 -1 4202560 56985 0 0 0 119715 71 0 0 25 0 5 0 500872257 1003913216 199728 33554432000 4194304 5787044 140737325685680 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=866/tid=869] ppid=865 vsize=980384 CPUtime=1201.72 cores=1,3,5,7
/proc/866/task/869/stat : 869 (priss) R 865 865 32751 0 -1 4202560 55421 0 0 0 120111 61 0 0 25 0 5 0 500872258 1003913216 199728 33554432000 4194304 5787044 140737325685680 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=866/tid=870] ppid=865 vsize=980384 CPUtime=1198.99 cores=1,3,5,7
/proc/866/task/870/stat : 870 (priss) R 865 865 32751 0 -1 4202560 54579 0 0 0 119857 42 0 0 25 0 5 0 500872260 1003913216 199728 33554432000 4194304 5787044 140737325685680 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=866/tid=871] ppid=865 vsize=980384 CPUtime=1201.69 cores=1,3,5,7
/proc/866/task/871/stat : 871 (priss) R 865 865 32751 0 -1 4202560 53776 0 0 0 120101 68 0 0 25 0 5 0 500872261 1003913216 199728 33554432000 4194304 5787044 140737325685680 18446744073709551615 5527218 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 989084

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.16 8.14 8.09 9/188 948
/proc/meminfo: memFree=28849444/32951124 swapFree=67105204/67111528
[pid=865] ppid=863 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/865/stat : 865 (prissAuto.sh) S 863 865 32751 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 500872252 8908800 252 33554432000 4194304 4922060 140735632930048 18446744073709551615 220816055429 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/865/statm: 2175 252 211 178 0 68 0
[pid=866] ppid=865 vsize=980384 CPUtime=4800.37 cores=1,3,5,7
/proc/866/stat : 866 (priss) S 865 865 32751 0 -1 4202496 228326 0 0 0 479792 245 0 0 20 0 5 0 500872252 1003913216 199728 33554432000 4194304 5787044 140737325685680 18446744073709551615 220828060081 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/866/statm: 245096 199728 417 389 0 240846 0
[pid=866/tid=868] ppid=865 vsize=980384 CPUtime=1197.86 cores=1,3,5,7
/proc/866/task/868/stat : 868 (priss) R 865 865 32751 0 -1 4202560 56985 0 0 0 119715 71 0 0 25 0 5 0 500872257 1003913216 199728 33554432000 4194304 5787044 140737325685680 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=866/tid=869] ppid=865 vsize=980384 CPUtime=1201.72 cores=1,3,5,7
/proc/866/task/869/stat : 869 (priss) R 865 865 32751 0 -1 4202560 55421 0 0 0 120111 61 0 0 25 0 5 0 500872258 1003913216 199728 33554432000 4194304 5787044 140737325685680 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=866/tid=870] ppid=865 vsize=980384 CPUtime=1198.99 cores=1,3,5,7
/proc/866/task/870/stat : 870 (priss) R 865 865 32751 0 -1 4202560 54579 0 0 0 119857 42 0 0 25 0 5 0 500872260 1003913216 199728 33554432000 4194304 5787044 140737325685680 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=866/tid=871] ppid=865 vsize=980384 CPUtime=1201.69 cores=1,3,5,7
/proc/866/task/871/stat : 871 (priss) R 865 865 32751 0 -1 4202560 53776 0 0 0 120101 68 0 0 25 0 5 0 500872261 1003913216 199728 33554432000 4194304 5787044 140737325685680 18446744073709551615 5527218 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 989084

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 865 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=0
# CPU time returned by wait4() is 0
# while last known CPU time is 4800.37
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1201.82
CPU time (s): 4800.37
CPU user time (s): 4797.92
CPU system time (s): 2.45
CPU usage (%): 399.425
Max. virtual memory (cumulated for all children) (KiB): 989084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 333
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.71374 second user time and 4.85126 second system time

The end

Launcher Data 

Begin job on node147 at 2011-04-29 15:42:43
IDJOB=3251293
IDBENCH=88218
IDSOLVER=1602
FILE ID=node147/3251293-1304084563
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-q505.75-n35-p30-s59841049.cnf
COMMAND LINE= DIR/prissAuto.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251293-1304084563/watcher-3251293-1304084563 -o /tmp/evaluation-result-3251293-1304084563/solver-3251293-1304084563 -C 4800 -W 1300 -M 15500  HOME/prissAuto.sh HOME HOME/instance-3251293-1304084563.cnf 1540281092 4800 15500 4

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

MD5SUM BENCH= c86ce640ddb0138bf41ccc37bc6fcf28
RANDOM SEED=1540281092

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:      30185380 kB
Buffers:        268784 kB
Cached:        1364980 kB
SwapCached:       2904 kB
Active:         874224 kB
Inactive:      1566588 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30185380 kB
SwapTotal:    67111528 kB
SwapFree:     67105204 kB
Dirty:            3140 kB
Writeback:           0 kB
AnonPages:      805660 kB
Mapped:          15528 kB
Slab:           260220 kB
PageTables:       5928 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1007628 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= 72644 MiB
End job on node147 at 2011-04-29 16:02:47