Trace number 3249710

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 1.0? (TO) 4800.4 1202.02

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-14x34.cnf
MD5SUM72677fc46303044d3d9e832fa24a37b2
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1904
Number of clauses207536
Sum of the clauses size824432
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22856
Number of clauses of size 30
Number of clauses of size 4204680
Number of clauses of size 50
Number of clauses of size over 50

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: 28111
0.00/0.06	c parsetime: 59873us
0.00/0.06	c parsed 207536 clauses with 1904 variables
0.00/0.07	c NW started thread 0 successfully (1102182720)
0.00/0.09	c NW started thread 1 successfully (1112672576)
0.00/0.22	c NW started thread 2 successfully (1088629056)
0.00/0.22	c NW started thread 3 successfully (1123162432)
94.73/23.86	c preprocessor returned 10003 variables
94.73/23.86	c preprocessing returned UNKNOWN
94.73/23.86	c PP set 0 variables
94.73/23.86	c pp time: 23783092us (23s)
95.13/23.94	c preprocessor returned 10003 variables
95.13/23.94	c preprocessing returned UNKNOWN
95.13/23.94	c PP set 0 variables
95.13/23.94	c pp time: 23843946us (23s)
95.54/24.10	c preprocessor returned 10003 variables
95.54/24.10	c preprocessing returned UNKNOWN
95.54/24.10	c PP set 0 variables
95.54/24.10	c pp time: 23969295us (23s)
119.10/29.93	c preprocessor returned 30010 variables
119.10/29.93	c preprocessing returned UNKNOWN
119.10/29.93	c PP set 0 variables
119.10/29.93	c pp time: 29775948us (29s)

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-3249710-1304056720/watcher-3249710-1304056720 -o /tmp/evaluation-result-3249710-1304056720/solver-3249710-1304056720 -C 4800 -W 1300 -M 15500 HOME/priss.sh HOME HOME/instance-3249710-1304056720.cnf 1411043482 4800 15500 4 

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

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


[startup+0 s]
/proc/loadavg: 8.25 8.09 8.02 5/182 28110
/proc/meminfo: memFree=14451292/32950928 swapFree=67111528/67111528
[pid=28110] ppid=28108 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28110/stat : 28110 (priss.sh) S 28108 28110 26812 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 595902664 8908800 252 33554432000 4194304 4922060 140734790913488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28110/statm: 2175 252 211 178 0 68 0

[startup+0.06435 s]
/proc/loadavg: 8.25 8.09 8.02 5/182 28110
/proc/meminfo: memFree=14451292/32950928 swapFree=67111528/67111528
[pid=28110] ppid=28108 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28110/stat : 28110 (priss.sh) S 28108 28110 26812 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 595902664 8908800 252 33554432000 4194304 4922060 140734790913488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28110/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.10343 s]
/proc/loadavg: 8.25 8.09 8.02 5/182 28110
/proc/meminfo: memFree=14451292/32950928 swapFree=67111528/67111528
[pid=28110] ppid=28108 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28110/stat : 28110 (priss.sh) S 28108 28110 26812 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 595902664 8908800 252 33554432000 4194304 4922060 140734790913488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28110/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300244 s]
/proc/loadavg: 8.25 8.09 8.02 5/182 28110
/proc/meminfo: memFree=14451292/32950928 swapFree=67111528/67111528
[pid=28110] ppid=28108 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28110/stat : 28110 (priss.sh) S 28108 28110 26812 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 595902664 8908800 252 33554432000 4194304 4922060 140734790913488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28110/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700174 s]
/proc/loadavg: 8.25 8.09 8.02 5/182 28110
/proc/meminfo: memFree=14451292/32950928 swapFree=67111528/67111528
[pid=28110] ppid=28108 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28110/stat : 28110 (priss.sh) S 28108 28110 26812 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 595902664 8908800 252 33554432000 4194304 4922060 140734790913488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28110/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50104 s]
/proc/loadavg: 8.25 8.09 8.02 9/188 28116
/proc/meminfo: memFree=14382168/32950928 swapFree=67111528/67111528
[pid=28110] ppid=28108 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28110/stat : 28110 (priss.sh) S 28108 28110 26812 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 595902664 8908800 252 33554432000 4194304 4922060 140734790913488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28110/statm: 2175 252 211 178 0 68 0
[pid=28111] ppid=28110 vsize=310456 CPUtime=5.68 cores=0,2,4,6
/proc/28111/stat : 28111 (priss) S 28110 28110 26812 0 -1 4202496 16140 0 0 0 566 2 0 0 25 0 5 0 595902664 317906944 14921 33554432000 4194304 5787044 140736859438032 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28111/statm: 77614 14921 349 389 0 73364 0
[pid=28111/tid=28113] ppid=28110 vsize=310456 CPUtime=1.41 cores=0,2,4,6
/proc/28111/task/28113/stat : 28113 (priss) R 28110 28110 26812 0 -1 4202560 1622 0 0 0 141 0 0 0 20 0 5 0 595902672 317906944 14921 33554432000 4194304 5787044 140736859438032 18446744073709551615 4336240 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28111/tid=28114] ppid=28110 vsize=310456 CPUtime=1.39 cores=0,2,4,6
/proc/28111/task/28114/stat : 28114 (priss) R 28110 28110 26812 0 -1 4202560 1526 0 0 0 139 0 0 0 19 0 5 0 595902674 317906944 14921 33554432000 4194304 5787044 140736859438032 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28111/tid=28115] ppid=28110 vsize=310456 CPUtime=1.36 cores=0,2,4,6
/proc/28111/task/28115/stat : 28115 (priss) R 28110 28110 26812 0 -1 4202560 1576 0 0 0 136 0 0 0 25 0 5 0 595902677 317906944 14921 33554432000 4194304 5787044 140736859438032 18446744073709551615 4336175 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28111/tid=28116] ppid=28110 vsize=310456 CPUtime=1.33 cores=0,2,4,6
/proc/28111/task/28116/stat : 28116 (priss) R 28110 28110 26812 0 -1 4202560 1511 0 0 0 133 0 0 0 25 0 5 0 595902680 317906944 14921 33554432000 4194304 5787044 140736859438032 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.68
Current children cumulated vsize (KiB) 319156

[startup+3.10076 s]
/proc/loadavg: 8.25 8.09 8.02 9/188 28116
/proc/meminfo: memFree=14350796/32950928 swapFree=67111528/67111528
[pid=28110] ppid=28108 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28110/stat : 28110 (priss.sh) S 28108 28110 26812 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 595902664 8908800 252 33554432000 4194304 4922060 140734790913488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28110/statm: 2175 252 211 178 0 68 0
[pid=28111] ppid=28110 vsize=329832 CPUtime=12.06 cores=0,2,4,6
/proc/28111/stat : 28111 (priss) S 28110 28110 26812 0 -1 4202496 24180 0 0 0 1201 5 0 0 25 0 5 0 595902664 337747968 22149 33554432000 4194304 5787044 140736859438032 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28111/statm: 82458 22149 350 389 0 78208 0
[pid=28111/tid=28113] ppid=28110 vsize=329832 CPUtime=3.01 cores=0,2,4,6
/proc/28111/task/28113/stat : 28113 (priss) R 28110 28110 26812 0 -1 4202560 2849 0 0 0 300 1 0 0 25 0 5 0 595902672 337747968 22149 33554432000 4194304 5787044 140736859438032 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28111/tid=28114] ppid=28110 vsize=329832 CPUtime=2.99 cores=0,2,4,6
/proc/28111/task/28114/stat : 28114 (priss) R 28110 28110 26812 0 -1 4202560 4860 0 0 0 298 1 0 0 18 0 5 0 595902674 337747968 22149 33554432000 4194304 5787044 140736859438032 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28111/tid=28115] ppid=28110 vsize=329832 CPUtime=2.94 cores=0,2,4,6
/proc/28111/task/28115/stat : 28115 (priss) R 28110 28110 26812 0 -1 4202560 3857 0 0 0 294 0 0 0 18 0 5 0 595902677 337747968 22149 33554432000 4194304 5787044 140736859438032 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28111/tid=28116] ppid=28110 vsize=329832 CPUtime=2.92 cores=0,2,4,6
/proc/28111/task/28116/stat : 28116 (priss) R 28110 28110 26812 0 -1 4202560 2709 0 0 0 292 0 0 0 25 0 5 0 595902680 337747968 22149 33554432000 4194304 5787044 140736859438032 18446744073709551615 4336773 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.06
Current children cumulated vsize (KiB) 338532

[startup+6.30021 s]
/proc/loadavg: 8.23 8.09 8.02 9/188 28116
/proc/meminfo: memFree=14229380/32950928 swapFree=67111528/67111528
[pid=28110] ppid=28108 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28110/stat : 28110 (priss.sh) S 28108 28110 26812 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 595902664 8908800 252 33554432000 4194304 4922060 140734790913488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28110/statm: 2175 252 211 178 0 68 0
[pid=28111] ppid=28110 vsize=352964 CPUtime=24.83 cores=0,2,4,6
/proc/28111/stat : 28111 (priss) S 28110 28110 26812 0 -1 4202496 35666 0 0 0 2474 9 0 0 25 0 5 0 595902664 361435136 33635 33554432000 4194304 5787044 140736859438032 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28111/statm: 88241 33635 350 389 0 83991 0
[pid=28111/tid=28113] ppid=28110 vsize=352964 CPUtime=6.21 cores=0,2,4,6
/proc/28111/task/28113/stat : 28113 (priss) R 28110 28110 26812 0 -1 4202560 4636 0 0 0 619 2 0 0 20 0 5 0 595902672 361435136 33635 33554432000 4194304 5787044 140736859438032 18446744073709551615 4336749 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28111/tid=28114] ppid=28110 vsize=352964 CPUtime=6.19 cores=0,2,4,6
/proc/28111/task/28114/stat : 28114 (priss) R 28110 28110 26812 0 -1 4202560 6703 0 0 0 617 2 0 0 25 0 5 0 595902674 361435136 33635 33554432000 4194304 5787044 140736859438032 18446744073709551615 4336770 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28111/tid=28115] ppid=28110 vsize=352964 CPUtime=6.12 cores=0,2,4,6
/proc/28111/task/28115/stat : 28115 (priss) R 28110 28110 26812 0 -1 4202560 6754 0 0 0 611 1 0 0 20 0 5 0 595902677 361435136 33635 33554432000 4194304 5787044 140736859438032 18446744073709551615 4335747 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28111/tid=28116] ppid=28110 vsize=352964 CPUtime=6.13 cores=0,2,4,6
/proc/28111/task/28116/stat : 28116 (priss) R 28110 28110 26812 0 -1 4202560 7668 0 0 0 612 1 0 0 20 0 5 0 595902680 361435136 33635 33554432000 4194304 5787044 140736859438032 18446744073709551615 4336272 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.83
Current children cumulated vsize (KiB) 361664

[startup+12.7011 s]
/proc/loadavg: 8.21 8.09 8.02 9/188 28116
/proc/meminfo: memFree=14228528/32950928 swapFree=67111528/67111528
[pid=28110] ppid=28108 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28110/stat : 28110 (priss.sh) S 28108 28110 26812 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 595902664 8908800 252 33554432000 4194304 4922060 140734790913488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28110/statm: 2175 252 211 178 0 68 0
[pid=28111] ppid=28110 vsize=352964 CPUtime=50.4 cores=0,2,4,6
/proc/28111/stat : 28111 (priss) S 28110 28110 26812 0 -1 4202496 35666 0 0 0 5031 9 0 0 25 0 5 0 595902664 361435136 33635 33554432000 4194304 5787044 140736859438032 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28111/statm: 88241 33635 350 389 0 83991 0
[pid=28111/tid=28113] ppid=28110 vsize=352964 CPUtime=12.61 cores=0,2,4,6
/proc/28111/task/28113/stat : 28113 (priss) R 28110 28110 26812 0 -1 4202560 4636 0 0 0 1259 2 0 0 25 0 5 0 595902672 361435136 33635 33554432000 4194304 5787044 140736859438032 18446744073709551615 4336773 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28111/tid=28114] ppid=28110 vsize=352964 CPUtime=12.59 cores=0,2,4,6
/proc/28111/task/28114/stat : 28114 (priss) R 28110 28110 26812 0 -1 4202560 6703 0 0 0 1257 2 0 0 25 0 5 0 595902674 361435136 33635 33554432000 4194304 5787044 140736859438032 18446744073709551615 4336718 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28111/tid=28115] ppid=28110 vsize=352964 CPUtime=12.49 cores=0,2,4,6
/proc/28111/task/28115/stat : 28115 (priss) R 28110 28110 26812 0 -1 4202560 6754 0 0 0 1247 2 0 0 25 0 5 0 595902677 361435136 33635 33554432000 4194304 5787044 140736859438032 18446744073709551615 4336770 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28111/tid=28116] ppid=28110 vsize=352964 CPUtime=12.53 cores=0,2,4,6
/proc/28111/task/28116/stat : 28116 (priss) R 28110 28110 26812 0 -1 4202560 7668 0 0 0 1252 1 0 0 25 0 5 0 595902680 361435136 33635 33554432000 4194304 5787044 140736859438032 18446744073709551615 4336768 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.4
Current children cumulated vsize (KiB) 361664

[startup+25.5009 s]
/proc/loadavg: 8.16 8.08 8.02 9/188 28117
/proc/meminfo: memFree=14182908/32950928 swapFree=67111528/67111528
[pid=28110] ppid=28108 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28110/stat : 28110 (priss.sh) S 28108 28110 26812 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 595902664 8908800 252 33554432000 4194304 4922060 140734790913488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28110/statm: 2175 252 211 178 0 68 0
[pid=28111] ppid=28110 vsize=378460 CPUtime=101.52 cores=0,2,4,6
/proc/28111/stat : 28111 (priss) S 28110 28110 26812 0 -1 4202496 49931 0 0 0 10138 14 0 0 25 0 5 0 595902664 387543040 45368 33554432000 4194304 5787044 140736859438032 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28111/statm: 94615 45368 404 389 0 90365 0
[pid=28111/tid=28113] ppid=28110 vsize=378460 CPUtime=25.4 cores=0,2,4,6
/proc/28111/task/28113/stat : 28113 (priss) R 28110 28110 26812 0 -1 4202560 7321 0 0 0 2538 2 0 0 25 0 5 0 595902672 387543040 45368 33554432000 4194304 5787044 140736859438032 18446744073709551615 218880670239 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28111/tid=28114] ppid=28110 vsize=378460 CPUtime=25.38 cores=0,2,4,6
/proc/28111/task/28114/stat : 28114 (priss) R 28110 28110 26812 0 -1 4202560 9509 0 0 0 2535 3 0 0 25 0 5 0 595902674 387543040 45368 33554432000 4194304 5787044 140736859438032 18446744073709551615 4254922 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28111/tid=28115] ppid=28110 vsize=378460 CPUtime=25.22 cores=0,2,4,6
/proc/28111/task/28115/stat : 28115 (priss) R 28110 28110 26812 0 -1 4202560 11108 0 0 0 2519 3 0 0 25 0 5 0 595902677 387543040 45368 33554432000 4194304 5787044 140736859438032 18446744073709551615 5591356 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28111/tid=28116] ppid=28110 vsize=378460 CPUtime=25.33 cores=0,2,4,6
/proc/28111/task/28116/stat : 28116 (priss) R 28110 28110 26812 0 -1 4202560 12088 0 0 0 2530 3 0 0 25 0 5 0 595902680 387543040 45368 33554432000 4194304 5787044 140736859438032 18446744073709551615 4318959 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 387160

[startup+51.1005 s]
/proc/loadavg: 8.11 8.08 8.02 9/188 28117
/proc/meminfo: memFree=13963612/32950928 swapFree=67111528/67111528
[pid=28110] ppid=28108 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28110/stat : 28110 (priss.sh) S 28108 28110 26812 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 595902664 8908800 252 33554432000 4194304 4922060 140734790913488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28110/statm: 2175 252 211 178 0 68 0
[pid=28111] ppid=28110 vsize=413224 CPUtime=203.73 cores=0,2,4,6
/proc/28111/stat : 28111 (priss) S 28110 28110 26812 0 -1 4202496 79185 0 0 0 20339 34 0 0 25 0 5 0 595902664 423141376 69395 33554432000 4194304 5787044 140736859438032 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28111/statm: 103306 69395 417 389 0 99056 0
[pid=28111/tid=28113] ppid=28110 vsize=413224 CPUtime=50.99 cores=0,2,4,6
/proc/28111/task/28113/stat : 28113 (priss) R 28110 28110 26812 0 -1 4202560 11879 0 0 0 5093 6 0 0 25 0 5 0 595902672 423141376 69395 33554432000 4194304 5787044 140736859438032 18446744073709551615 5588286 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28111/tid=28114] ppid=28110 vsize=413224 CPUtime=50.97 cores=0,2,4,6
/proc/28111/task/28114/stat : 28114 (priss) R 28110 28110 26812 0 -1 4202560 16146 0 0 0 5088 9 0 0 25 0 5 0 595902674 423141376 69395 33554432000 4194304 5787044 140736859438032 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28111/tid=28115] ppid=28110 vsize=413224 CPUtime=50.66 cores=0,2,4,6
/proc/28111/task/28115/stat : 28115 (priss) R 28110 28110 26812 0 -1 4202560 17136 0 0 0 5057 9 0 0 25 0 5 0 595902677 423141376 69395 33554432000 4194304 5787044 140736859438032 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28111/tid=28116] ppid=28110 vsize=413224 CPUtime=50.92 cores=0,2,4,6
/proc/28111/task/28116/stat : 28116 (priss) R 28110 28110 26812 0 -1 4202560 24119 0 0 0 5085 7 0 0 25 0 5 0 595902680 423141376 69395 33554432000 4194304 5787044 140736859438032 18446744073709551615 4215354 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.73
Current children cumulated vsize (KiB) 421924

[startup+102.307 s]
/proc/loadavg: 8.09 8.08 8.02 9/188 28119
/proc/meminfo: memFree=13702076/32950928 swapFree=67111528/67111528
[pid=28110] ppid=28108 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28110/stat : 28110 (priss.sh) S 28108 28110 26812 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 595902664 8908800 252 33554432000 4194304 4922060 140734790913488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28110/statm: 2175 252 211 178 0 68 0
[pid=28111] ppid=28110 vsize=591600 CPUtime=408.19 cores=0,2,4,6
/proc/28111/stat : 28111 (priss) S 28110 28110 26812 0 -1 4202496 110378 0 0 0 40756 63 0 0 25 0 5 0 595902664 605798400 100176 33554432000 4194304 5787044 140736859438032 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28111/statm: 147900 100176 417 389 0 143650 0
[pid=28111/tid=28113] ppid=28110 vsize=591600 CPUtime=102.18 cores=0,2,4,6
/proc/28111/task/28113/stat : 28113 (priss) R 28110 28110 26812 0 -1 4202560 21325 0 0 0 10207 11 0 0 25 0 5 0 595902672 605798400 100176 33554432000 4194304 5787044 140736859438032 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28111/tid=28114] ppid=28110 vsize=591600 CPUtime=102.16 cores=0,2,4,6
/proc/28111/task/28114/stat : 28114 (priss) R 28110 28110 26812 0 -1 4202560 24416 0 0 0 10198 18 0 0 25 0 5 0 595902674 605798400 100176 33554432000 4194304 5787044 140736859438032 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28111/tid=28115] ppid=28110 vsize=591600 CPUtime=101.56 cores=0,2,4,6
/proc/28111/task/28115/stat : 28115 (priss) R 28110 28110 26812 0 -1 4202560 23893 0 0 0 10138 18 0 0 25 0 5 0 595902677 605798400 100176 33554432000 4194304 5787044 140736859438032 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28111/tid=28116] ppid=28110 vsize=591600 CPUtime=102.11 cores=0,2,4,6

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

/proc/28111/task/28114/stat : 28114 (priss) R 28110 28110 26812 0 -1 4202560 82192 0 0 0 82053 91 0 0 25 0 5 0 595902674 1533652992 323289 33554432000 4194304 5787044 140736859438032 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=28111/tid=28115] ppid=28110 vsize=1497708 CPUtime=819.8 cores=0,2,4,6
/proc/28111/task/28115/stat : 28115 (priss) R 28110 28110 26812 0 -1 4202560 92117 0 0 0 81887 93 0 0 25 0 5 0 595902677 1533652992 323289 33554432000 4194304 5787044 140736859438032 18446744073709551615 5591319 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28111/tid=28116] ppid=28110 vsize=1497708 CPUtime=821.78 cores=0,2,4,6
/proc/28111/task/28116/stat : 28116 (priss) R 28110 28110 26812 0 -1 4202560 71918 0 0 0 82108 70 0 0 25 0 5 0 595902680 1533652992 323289 33554432000 4194304 5787044 140736859438032 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3283.77
Current children cumulated vsize (KiB) 1506408

[startup+882.301 s]
/proc/loadavg: 8.06 8.03 8.00 9/188 28149
/proc/meminfo: memFree=11706788/32950928 swapFree=67111528/67111528
[pid=28110] ppid=28108 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28110/stat : 28110 (priss.sh) S 28108 28110 26812 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 595902664 8908800 252 33554432000 4194304 4922060 140734790913488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28110/statm: 2175 252 211 178 0 68 0
[pid=28111] ppid=28110 vsize=1556852 CPUtime=3523.41 cores=0,2,4,6
/proc/28111/stat : 28111 (priss) S 28110 28110 26812 0 -1 4202496 369532 0 0 0 352007 334 0 0 25 0 5 0 595902664 1594216448 352401 33554432000 4194304 5787044 140736859438032 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28111/statm: 389213 352401 417 389 0 384963 0
[pid=28111/tid=28113] ppid=28110 vsize=1556852 CPUtime=880.57 cores=0,2,4,6
/proc/28111/task/28113/stat : 28113 (priss) R 28110 28110 26812 0 -1 4202560 98701 0 0 0 87998 59 0 0 25 0 5 0 595902672 1594216448 352401 33554432000 4194304 5787044 140736859438032 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28111/tid=28114] ppid=28110 vsize=1556852 CPUtime=881.42 cores=0,2,4,6
/proc/28111/task/28114/stat : 28114 (priss) R 28110 28110 26812 0 -1 4202560 90248 0 0 0 88040 102 0 0 25 0 5 0 595902674 1594216448 352401 33554432000 4194304 5787044 140736859438032 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=28111/tid=28115] ppid=28110 vsize=1556852 CPUtime=879.47 cores=0,2,4,6
/proc/28111/task/28115/stat : 28115 (priss) R 28110 28110 26812 0 -1 4202560 98760 0 0 0 87846 101 0 0 25 0 5 0 595902677 1594216448 352401 33554432000 4194304 5787044 140736859438032 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28111/tid=28116] ppid=28110 vsize=1556852 CPUtime=881.78 cores=0,2,4,6
/proc/28111/task/28116/stat : 28116 (priss) R 28110 28110 26812 0 -1 4202560 71918 0 0 0 88108 70 0 0 25 0 5 0 595902680 1594216448 352401 33554432000 4194304 5787044 140736859438032 18446744073709551615 5527482 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3523.41
Current children cumulated vsize (KiB) 1565552

[startup+942.301 s]
/proc/loadavg: 8.02 8.02 8.00 9/188 28150
/proc/meminfo: memFree=11653444/32950928 swapFree=67111528/67111528
[pid=28110] ppid=28108 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28110/stat : 28110 (priss.sh) S 28108 28110 26812 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 595902664 8908800 252 33554432000 4194304 4922060 140734790913488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28110/statm: 2175 252 211 178 0 68 0
[pid=28111] ppid=28110 vsize=1636956 CPUtime=3763.05 cores=0,2,4,6
/proc/28111/stat : 28111 (priss) S 28110 28110 26812 0 -1 4202496 377404 0 0 0 375962 343 0 0 25 0 5 0 595902664 1676242944 359772 33554432000 4194304 5787044 140736859438032 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28111/statm: 409239 359772 417 389 0 404989 0
[pid=28111/tid=28113] ppid=28110 vsize=1636956 CPUtime=940.56 cores=0,2,4,6
/proc/28111/task/28113/stat : 28113 (priss) R 28110 28110 26812 0 -1 4202560 102295 0 0 0 93995 61 0 0 25 0 5 0 595902672 1676242944 359772 33554432000 4194304 5787044 140736859438032 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28111/tid=28114] ppid=28110 vsize=1636956 CPUtime=941.42 cores=0,2,4,6
/proc/28111/task/28114/stat : 28114 (priss) R 28110 28110 26812 0 -1 4202560 94519 0 0 0 94034 108 0 0 25 0 5 0 595902674 1676242944 359772 33554432000 4194304 5787044 140736859438032 18446744073709551615 5591730 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=28111/tid=28115] ppid=28110 vsize=1636956 CPUtime=939.12 cores=0,2,4,6
/proc/28111/task/28115/stat : 28115 (priss) R 28110 28110 26812 0 -1 4202560 98762 0 0 0 93811 101 0 0 25 0 5 0 595902677 1676242944 359772 33554432000 4194304 5787044 140736859438032 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28111/tid=28116] ppid=28110 vsize=1636956 CPUtime=941.76 cores=0,2,4,6
/proc/28111/task/28116/stat : 28116 (priss) R 28110 28110 26812 0 -1 4202560 71923 0 0 0 94106 70 0 0 25 0 5 0 595902680 1676242944 359772 33554432000 4194304 5787044 140736859438032 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3763.05
Current children cumulated vsize (KiB) 1645656

[startup+1002.3 s]
/proc/loadavg: 8.01 8.02 8.00 9/188 28152
/proc/meminfo: memFree=11618084/32950928 swapFree=67111528/67111528
[pid=28110] ppid=28108 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28110/stat : 28110 (priss.sh) S 28108 28110 26812 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 595902664 8908800 252 33554432000 4194304 4922060 140734790913488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28110/statm: 2175 252 211 178 0 68 0
[pid=28111] ppid=28110 vsize=1636956 CPUtime=4002.71 cores=0,2,4,6
/proc/28111/stat : 28111 (priss) S 28110 28110 26812 0 -1 4202496 379980 0 0 0 399922 349 0 0 25 0 5 0 595902664 1676242944 362348 33554432000 4194304 5787044 140736859438032 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28111/statm: 409239 362348 417 389 0 404989 0
[pid=28111/tid=28113] ppid=28110 vsize=1636956 CPUtime=1000.56 cores=0,2,4,6
/proc/28111/task/28113/stat : 28113 (priss) R 28110 28110 26812 0 -1 4202560 102298 0 0 0 99994 62 0 0 25 0 5 0 595902672 1676242944 362348 33554432000 4194304 5787044 140736859438032 18446744073709551615 218880255952 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28111/tid=28114] ppid=28110 vsize=1636956 CPUtime=1001.42 cores=0,2,4,6
/proc/28111/task/28114/stat : 28114 (priss) R 28110 28110 26812 0 -1 4202560 94519 0 0 0 100034 108 0 0 25 0 5 0 595902674 1676242944 362348 33554432000 4194304 5787044 140736859438032 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=28111/tid=28115] ppid=28110 vsize=1636956 CPUtime=998.79 cores=0,2,4,6
/proc/28111/task/28115/stat : 28115 (priss) R 28110 28110 26812 0 -1 4202560 98888 0 0 0 99778 101 0 0 25 0 5 0 595902677 1676242944 362348 33554432000 4194304 5787044 140736859438032 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28111/tid=28116] ppid=28110 vsize=1636956 CPUtime=1001.75 cores=0,2,4,6
/proc/28111/task/28116/stat : 28116 (priss) R 28110 28110 26812 0 -1 4202560 74370 0 0 0 100100 75 0 0 25 0 5 0 595902680 1676242944 362348 33554432000 4194304 5787044 140736859438032 18446744073709551615 5526823 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4002.71
Current children cumulated vsize (KiB) 1645656

[startup+1062.3 s]
/proc/loadavg: 8.04 8.03 8.00 9/188 28153
/proc/meminfo: memFree=11477804/32950928 swapFree=67111528/67111528
[pid=28110] ppid=28108 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28110/stat : 28110 (priss.sh) S 28108 28110 26812 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 595902664 8908800 252 33554432000 4194304 4922060 140734790913488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28110/statm: 2175 252 211 178 0 68 0
[pid=28111] ppid=28110 vsize=1636956 CPUtime=4242.39 cores=0,2,4,6
/proc/28111/stat : 28111 (priss) S 28110 28110 26812 0 -1 4202496 386447 0 0 0 423879 360 0 0 25 0 5 0 595902664 1676242944 368815 33554432000 4194304 5787044 140736859438032 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28111/statm: 409239 368815 417 389 0 404989 0
[pid=28111/tid=28113] ppid=28110 vsize=1636956 CPUtime=1060.56 cores=0,2,4,6
/proc/28111/task/28113/stat : 28113 (priss) R 28110 28110 26812 0 -1 4202560 102306 0 0 0 105994 62 0 0 25 0 5 0 595902672 1676242944 368815 33554432000 4194304 5787044 140736859438032 18446744073709551615 5585255 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28111/tid=28114] ppid=28110 vsize=1636956 CPUtime=1061.42 cores=0,2,4,6
/proc/28111/task/28114/stat : 28114 (priss) R 28110 28110 26812 0 -1 4202560 94600 0 0 0 106034 108 0 0 25 0 5 0 595902674 1676242944 368815 33554432000 4194304 5787044 140736859438032 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=28111/tid=28115] ppid=28110 vsize=1636956 CPUtime=1058.48 cores=0,2,4,6
/proc/28111/task/28115/stat : 28115 (priss) R 28110 28110 26812 0 -1 4202560 99392 0 0 0 105746 102 0 0 25 0 5 0 595902677 1676242944 368815 33554432000 4194304 5787044 140736859438032 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=28111/tid=28116] ppid=28110 vsize=1636956 CPUtime=1061.74 cores=0,2,4,6
/proc/28111/task/28116/stat : 28116 (priss) R 28110 28110 26812 0 -1 4202560 80244 0 0 0 106090 84 0 0 25 0 5 0 595902680 1676242944 368815 33554432000 4194304 5787044 140736859438032 18446744073709551615 5526883 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4242.39
Current children cumulated vsize (KiB) 1645656

[startup+1122.3 s]
/proc/loadavg: 8.05 8.03 8.00 9/188 28155
/proc/meminfo: memFree=11339628/32950928 swapFree=67111528/67111528
[pid=28110] ppid=28108 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28110/stat : 28110 (priss.sh) S 28108 28110 26812 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 595902664 8908800 252 33554432000 4194304 4922060 140734790913488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28110/statm: 2175 252 211 178 0 68 0
[pid=28111] ppid=28110 vsize=1707296 CPUtime=4482.04 cores=0,2,4,6
/proc/28111/stat : 28111 (priss) S 28110 28110 26812 0 -1 4202496 396127 0 0 0 447833 371 0 0 25 0 5 0 595902664 1748271104 378495 33554432000 4194304 5787044 140736859438032 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28111/statm: 426824 378495 417 389 0 422574 0
[pid=28111/tid=28113] ppid=28110 vsize=1707296 CPUtime=1120.55 cores=0,2,4,6
/proc/28111/task/28113/stat : 28113 (priss) R 28110 28110 26812 0 -1 4202560 103768 0 0 0 111992 63 0 0 25 0 5 0 595902672 1748271104 378495 33554432000 4194304 5787044 140736859438032 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28111/tid=28114] ppid=28110 vsize=1707296 CPUtime=1121.42 cores=0,2,4,6
/proc/28111/task/28114/stat : 28114 (priss) R 28110 28110 26812 0 -1 4202560 95837 0 0 0 112033 109 0 0 25 0 5 0 595902674 1748271104 378495 33554432000 4194304 5787044 140736859438032 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=28111/tid=28115] ppid=28110 vsize=1707296 CPUtime=1118.24 cores=0,2,4,6
/proc/28111/task/28115/stat : 28115 (priss) R 28110 28110 26812 0 -1 4202560 99850 0 0 0 111721 103 0 0 25 0 5 0 595902677 1748271104 378495 33554432000 4194304 5787044 140736859438032 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28111/tid=28116] ppid=28110 vsize=1707296 CPUtime=1121.64 cores=0,2,4,6
/proc/28111/task/28116/stat : 28116 (priss) R 28110 28110 26812 0 -1 4202560 86767 0 0 0 112071 93 0 0 25 0 5 0 595902680 1748271104 378495 33554432000 4194304 5787044 140736859438032 18446744073709551615 5530109 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.04
Current children cumulated vsize (KiB) 1715996

[startup+1182.3 s]
/proc/loadavg: 8.13 8.05 8.01 9/188 28157
/proc/meminfo: memFree=11254404/32950928 swapFree=67111528/67111528
[pid=28110] ppid=28108 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28110/stat : 28110 (priss.sh) S 28108 28110 26812 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 595902664 8908800 252 33554432000 4194304 4922060 140734790913488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28110/statm: 2175 252 211 178 0 68 0
[pid=28111] ppid=28110 vsize=1783592 CPUtime=4721.69 cores=0,2,4,6
/proc/28111/stat : 28111 (priss) S 28110 28110 26812 0 -1 4202496 405118 0 0 0 471788 381 0 0 25 0 5 0 595902664 1826398208 387154 33554432000 4194304 5787044 140736859438032 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28111/statm: 445898 387154 417 389 0 441648 0
[pid=28111/tid=28113] ppid=28110 vsize=1783592 CPUtime=1180.54 cores=0,2,4,6
/proc/28111/task/28113/stat : 28113 (priss) R 28110 28110 26812 0 -1 4202560 106477 0 0 0 117990 64 0 0 25 0 5 0 595902672 1826398208 387154 33554432000 4194304 5787044 140736859438032 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28111/tid=28114] ppid=28110 vsize=1783592 CPUtime=1181.41 cores=0,2,4,6
/proc/28111/task/28114/stat : 28114 (priss) R 28110 28110 26812 0 -1 4202560 96011 0 0 0 118031 110 0 0 25 0 5 0 595902674 1826398208 387154 33554432000 4194304 5787044 140736859438032 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=28111/tid=28115] ppid=28110 vsize=1783592 CPUtime=1178.23 cores=0,2,4,6
/proc/28111/task/28115/stat : 28115 (priss) R 28110 28110 26812 0 -1 4202560 102498 0 0 0 117718 105 0 0 25 0 5 0 595902677 1826398208 387154 33554432000 4194304 5787044 140736859438032 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28111/tid=28116] ppid=28110 vsize=1783592 CPUtime=1181.32 cores=0,2,4,6
/proc/28111/task/28116/stat : 28116 (priss) R 28110 28110 26812 0 -1 4202560 90227 0 0 0 118033 99 0 0 25 0 5 0 595902680 1826398208 387154 33554432000 4194304 5787044 140736859438032 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4721.69
Current children cumulated vsize (KiB) 1792292



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202 s]
/proc/loadavg: 8.09 8.05 8.00 5/178 28175
/proc/meminfo: memFree=12953984/32950928 swapFree=67111528/67111528
[pid=28110] ppid=28108 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/28110/stat : 28110 (priss.sh) S 28108 28110 26812 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 595902664 8908800 252 33554432000 4194304 4922060 140734790913488 18446744073709551615 218880384133 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/28110/statm: 2175 252 211 178 0 68 0
[pid=28111] ppid=28110 vsize=1798064 CPUtime=4800.4 cores=0,2,4,6
/proc/28111/stat : 28111 (priss) S 28110 28110 26812 0 -1 4202496 411870 0 0 0 479647 393 0 0 25 0 5 0 595902664 1841217536 393906 33554432000 4194304 5787044 140736859438032 18446744073709551615 218892388785 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/28111/statm: 449516 393906 417 389 0 445266 0
[pid=28111/tid=28113] ppid=28110 vsize=1798064 CPUtime=1200.25 cores=0,2,4,6
/proc/28111/task/28113/stat : 28113 (priss) R 28110 28110 26812 0 -1 4202560 110107 0 0 0 119958 67 0 0 25 0 5 0 595902672 1841217536 393906 33554432000 4194304 5787044 140736859438032 18446744073709551615 5585293 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=28111/tid=28114] ppid=28110 vsize=1798064 CPUtime=1201.12 cores=0,2,4,6
/proc/28111/task/28114/stat : 28114 (priss) R 28110 28110 26812 0 -1 4202560 96094 0 0 0 120002 110 0 0 25 0 5 0 595902674 1841217536 393906 33554432000 4194304 5787044 140736859438032 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=28111/tid=28115] ppid=28110 vsize=1798064 CPUtime=1197.94 cores=0,2,4,6
/proc/28111/task/28115/stat : 28115 (priss) R 28110 28110 26812 0 -1 4202560 105537 0 0 0 119680 114 0 0 25 0 5 0 595902677 1841217536 393906 33554432000 4194304 5787044 140736859438032 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=28111/tid=28116] ppid=28110 vsize=1798064 CPUtime=1200.91 cores=0,2,4,6
/proc/28111/task/28116/stat : 28116 (priss) R 28110 28110 26812 0 -1 4202560 90227 0 0 0 119992 99 0 0 25 0 5 0 595902680 1841217536 393906 33554432000 4194304 5787044 140736859438032 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 1806764

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1202.02
CPU time (s): 4800.4
CPU user time (s): 4796.47
CPU system time (s): 3.93
CPU usage (%): 399.362
Max. virtual memory (cumulated for all children) (KiB): 1806764

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

runsolver used 1.85972 second user time and 4.69928 second system time

The end

Launcher Data 

Begin job on node112 at 2011-04-29 07:58:40
IDJOB=3249710
IDBENCH=83182
IDSOLVER=1603
FILE ID=node112/3249710-1304056720
RUNJOBID= node112-1304053103-27683
PBS_JOBID= 13170402
Free space on /tmp= 72552 MiB

SOLVER NAME= priss 1.0
BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-14x34.cnf
COMMAND LINE= DIR/priss.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3249710-1304056720/watcher-3249710-1304056720 -o /tmp/evaluation-result-3249710-1304056720/solver-3249710-1304056720 -C 4800 -W 1300 -M 15500  HOME/priss.sh HOME HOME/instance-3249710-1304056720.cnf 1411043482 4800 15500 4

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

MD5SUM BENCH= 72677fc46303044d3d9e832fa24a37b2
RANDOM SEED=1411043482

node112.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.828
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.65
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.828
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.83
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.828
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.67
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.828
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.82
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.828
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	: 5261.27
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.828
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.82
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.828
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.75
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.828
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.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      14451324 kB
Buffers:       1995064 kB
Cached:       15810148 kB
SwapCached:          0 kB
Active:        7181892 kB
Inactive:     10761320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      14451324 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           14108 kB
Writeback:           0 kB
AnonPages:      137128 kB
Mapped:          15604 kB
Slab:           493272 kB
PageTables:       4880 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   321500 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= 72560 MiB
End job on node112 at 2011-04-29 08:18:44