Trace number 3263747

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.11 1201.72

General information on the benchmark

NameSAT03/handmade/stanion/hwb/
hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf
MD5SUMd705043763df769aab1e385bbbc2b11e
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 variables184
Number of clauses896
Sum of the clauses size3042
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 214
Number of clauses of size 3514
Number of clauses of size 4368
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: 32039
0.00/0.00	c setup for 4cores
0.00/0.00	c parsetime: 323us
0.00/0.00	c parsed 896 clauses with 184 variables
0.00/0.00	c NW started thread 0 successfully (1111279936)
0.00/0.00	c NW started thread 1 successfully (1121769792)
0.00/0.00	c NW started thread 2 successfully (1089857856)
0.00/0.00	c NW started thread 3 successfully (1132259648)
0.00/0.59	c preprocessor returned 10029 variables
0.00/0.59	c preprocessing returned UNKNOWN
0.00/0.59	c PP set 0 variables
0.00/0.59	c pp time: 585518us (0s)
0.00/0.59	c preprocessor returned 10029 variables
0.00/0.59	c preprocessing returned UNKNOWN
0.00/0.59	c PP set 0 variables
0.00/0.59	c pp time: 586589us (0s)
0.00/0.59	c preprocessor returned 10029 variables
0.00/0.59	c preprocessing returned UNKNOWN
0.00/0.59	c PP set 0 variables
0.00/0.59	c pp time: 585964us (0s)
27.92/7.07	c preprocessor returned 30171 variables
27.92/7.07	c preprocessing returned UNKNOWN
27.92/7.07	c PP set 0 variables
27.92/7.07	c pp time: 7063395us (7s)

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-3263747-1304064844/watcher-3263747-1304064844 -o /tmp/evaluation-result-3263747-1304064844/solver-3263747-1304064844 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3263747-1304064844.cnf 219607759 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: 7.82 8.03 8.00 6/182 32038
/proc/meminfo: memFree=27305624/32951124 swapFree=67111356/67111528
[pid=32038] ppid=32036 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32038/stat : 32038 (prissAuto.sh) S 32036 32038 30345 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 518082094 8908800 252 33554432000 4194304 4922060 140733577287888 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32038/statm: 2175 252 211 178 0 68 0

[startup+0.112674 s]
/proc/loadavg: 7.82 8.03 8.00 6/182 32038
/proc/meminfo: memFree=27305624/32951124 swapFree=67111356/67111528
[pid=32038] ppid=32036 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32038/stat : 32038 (prissAuto.sh) S 32036 32038 30345 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 518082094 8908800 252 33554432000 4194304 4922060 140733577287888 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32038/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.200656 s]
/proc/loadavg: 7.82 8.03 8.00 6/182 32038
/proc/meminfo: memFree=27305624/32951124 swapFree=67111356/67111528
[pid=32038] ppid=32036 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32038/stat : 32038 (prissAuto.sh) S 32036 32038 30345 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 518082094 8908800 252 33554432000 4194304 4922060 140733577287888 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32038/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300637 s]
/proc/loadavg: 7.82 8.03 8.00 6/182 32038
/proc/meminfo: memFree=27305624/32951124 swapFree=67111356/67111528
[pid=32038] ppid=32036 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32038/stat : 32038 (prissAuto.sh) S 32036 32038 30345 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 518082094 8908800 252 33554432000 4194304 4922060 140733577287888 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32038/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700565 s]
/proc/loadavg: 7.82 8.03 8.00 6/182 32038
/proc/meminfo: memFree=27305624/32951124 swapFree=67111356/67111528
[pid=32038] ppid=32036 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32038/stat : 32038 (prissAuto.sh) S 32036 32038 30345 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 518082094 8908800 252 33554432000 4194304 4922060 140733577287888 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32038/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50042 s]
/proc/loadavg: 7.82 8.03 8.00 10/188 32044
/proc/meminfo: memFree=27280904/32951124 swapFree=67111356/67111528
[pid=32038] ppid=32036 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32038/stat : 32038 (prissAuto.sh) S 32036 32038 30345 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 518082094 8908800 252 33554432000 4194304 4922060 140733577287888 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32038/statm: 2175 252 211 178 0 68 0
[pid=32039] ppid=32038 vsize=274868 CPUtime=5.96 cores=0,2,4,6
/proc/32039/stat : 32039 (priss) S 32038 32038 30345 0 -1 4202496 8105 0 0 0 594 2 0 0 25 0 5 0 518082094 281464832 6746 33554432000 4194304 5787044 140735933327440 18446744073709551615 218917554609 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/32039/statm: 68717 6746 405 389 0 64467 0
[pid=32039/tid=32040] ppid=32038 vsize=274868 CPUtime=1.48 cores=0,2,4,6
/proc/32039/task/32040/stat : 32040 (priss) R 32038 32038 30345 0 -1 4202560 1424 0 0 0 148 0 0 0 25 0 5 0 518082095 281464832 6746 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=32039/tid=32041] ppid=32038 vsize=274868 CPUtime=1.48 cores=0,2,4,6
/proc/32039/task/32041/stat : 32041 (priss) R 32038 32038 30345 0 -1 4202560 1694 0 0 0 148 0 0 0 25 0 5 0 518082095 281464832 6746 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32039/tid=32042] ppid=32038 vsize=274868 CPUtime=1.48 cores=0,2,4,6
/proc/32039/task/32042/stat : 32042 (priss) R 32038 32038 30345 0 -1 4202560 1576 0 0 0 148 0 0 0 25 0 5 0 518082095 281464832 6746 33554432000 4194304 5787044 140735933327440 18446744073709551615 4254953 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=32039/tid=32043] ppid=32038 vsize=274868 CPUtime=1.48 cores=0,2,4,6
/proc/32039/task/32043/stat : 32043 (priss) R 32038 32038 30345 0 -1 4202560 1916 0 0 0 148 0 0 0 25 0 5 0 518082095 281464832 6746 33554432000 4194304 5787044 140735933327440 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 283568

[startup+3.10113 s]
/proc/loadavg: 7.82 8.03 8.00 9/188 32044
/proc/meminfo: memFree=27277184/32951124 swapFree=67111356/67111528
[pid=32038] ppid=32036 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32038/stat : 32038 (prissAuto.sh) S 32036 32038 30345 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 518082094 8908800 252 33554432000 4194304 4922060 140733577287888 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32038/statm: 2175 252 211 178 0 68 0
[pid=32039] ppid=32038 vsize=274868 CPUtime=12.35 cores=0,2,4,6
/proc/32039/stat : 32039 (priss) S 32038 32038 30345 0 -1 4202496 9076 0 0 0 1233 2 0 0 25 0 5 0 518082094 281464832 7717 33554432000 4194304 5787044 140735933327440 18446744073709551615 218917554609 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/32039/statm: 68717 7717 405 389 0 64467 0
[pid=32039/tid=32040] ppid=32038 vsize=274868 CPUtime=3.08 cores=0,2,4,6
/proc/32039/task/32040/stat : 32040 (priss) R 32038 32038 30345 0 -1 4202560 1769 0 0 0 308 0 0 0 25 0 5 0 518082095 281464832 7717 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591666 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=32039/tid=32041] ppid=32038 vsize=274868 CPUtime=3.08 cores=0,2,4,6
/proc/32039/task/32041/stat : 32041 (priss) R 32038 32038 30345 0 -1 4202560 1997 0 0 0 308 0 0 0 25 0 5 0 518082095 281464832 7717 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591337 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32039/tid=32042] ppid=32038 vsize=274868 CPUtime=3.08 cores=0,2,4,6
/proc/32039/task/32042/stat : 32042 (priss) R 32038 32038 30345 0 -1 4202560 1899 0 0 0 308 0 0 0 25 0 5 0 518082095 281464832 7717 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591764 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=32039/tid=32043] ppid=32038 vsize=274868 CPUtime=3.08 cores=0,2,4,6
/proc/32039/task/32043/stat : 32043 (priss) R 32038 32038 30345 0 -1 4202560 1916 0 0 0 308 0 0 0 25 0 5 0 518082095 281464832 7717 33554432000 4194304 5787044 140735933327440 18446744073709551615 4359248 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 283568

[startup+6.30055 s]
/proc/loadavg: 7.91 8.05 8.01 9/188 32045
/proc/meminfo: memFree=27271392/32951124 swapFree=67111356/67111528
[pid=32038] ppid=32036 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32038/stat : 32038 (prissAuto.sh) S 32036 32038 30345 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 518082094 8908800 252 33554432000 4194304 4922060 140733577287888 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32038/statm: 2175 252 211 178 0 68 0
[pid=32039] ppid=32038 vsize=274868 CPUtime=25.13 cores=0,2,4,6
/proc/32039/stat : 32039 (priss) S 32038 32038 30345 0 -1 4202496 10306 0 0 0 2511 2 0 0 25 0 5 0 518082094 281464832 8947 33554432000 4194304 5787044 140735933327440 18446744073709551615 218917554609 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/32039/statm: 68717 8947 405 389 0 64467 0
[pid=32039/tid=32040] ppid=32038 vsize=274868 CPUtime=6.28 cores=0,2,4,6
/proc/32039/task/32040/stat : 32040 (priss) R 32038 32038 30345 0 -1 4202560 2228 0 0 0 628 0 0 0 25 0 5 0 518082095 281464832 8947 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591587 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=32039/tid=32041] ppid=32038 vsize=274868 CPUtime=6.28 cores=0,2,4,6
/proc/32039/task/32041/stat : 32041 (priss) R 32038 32038 30345 0 -1 4202560 2483 0 0 0 628 0 0 0 25 0 5 0 518082095 281464832 8947 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591561 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32039/tid=32042] ppid=32038 vsize=274868 CPUtime=6.28 cores=0,2,4,6
/proc/32039/task/32042/stat : 32042 (priss) R 32038 32038 30345 0 -1 4202560 2184 0 0 0 628 0 0 0 25 0 5 0 518082095 281464832 8947 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=32039/tid=32043] ppid=32038 vsize=274868 CPUtime=6.26 cores=0,2,4,6
/proc/32039/task/32043/stat : 32043 (priss) R 32038 32038 30345 0 -1 4202560 1916 0 0 0 626 0 0 0 25 0 5 0 518082095 281464832 8947 33554432000 4194304 5787044 140735933327440 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 283568

[startup+12.7004 s]
/proc/loadavg: 7.92 8.05 8.01 9/188 32045
/proc/meminfo: memFree=27253940/32951124 swapFree=67111356/67111528
[pid=32038] ppid=32036 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32038/stat : 32038 (prissAuto.sh) S 32036 32038 30345 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 518082094 8908800 252 33554432000 4194304 4922060 140733577287888 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32038/statm: 2175 252 211 178 0 68 0
[pid=32039] ppid=32038 vsize=282852 CPUtime=50.69 cores=0,2,4,6
/proc/32039/stat : 32039 (priss) S 32038 32038 30345 0 -1 4202496 15236 0 0 0 5064 5 0 0 25 0 5 0 518082094 289640448 12897 33554432000 4194304 5787044 140735933327440 18446744073709551615 218917554609 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/32039/statm: 70713 12897 418 389 0 66463 0
[pid=32039/tid=32040] ppid=32038 vsize=282852 CPUtime=12.68 cores=0,2,4,6
/proc/32039/task/32040/stat : 32040 (priss) R 32038 32038 30345 0 -1 4202560 2610 0 0 0 1267 1 0 0 25 0 5 0 518082095 289640448 12897 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=32039/tid=32041] ppid=32038 vsize=282852 CPUtime=12.68 cores=0,2,4,6
/proc/32039/task/32041/stat : 32041 (priss) R 32038 32038 30345 0 -1 4202560 2809 0 0 0 1267 1 0 0 25 0 5 0 518082095 289640448 12897 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591564 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32039/tid=32042] ppid=32038 vsize=282852 CPUtime=12.69 cores=0,2,4,6
/proc/32039/task/32042/stat : 32042 (priss) R 32038 32038 30345 0 -1 4202560 3230 0 0 0 1268 1 0 0 25 0 5 0 518082095 289640448 12897 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591727 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=32039/tid=32043] ppid=32038 vsize=282852 CPUtime=12.61 cores=0,2,4,6
/proc/32039/task/32043/stat : 32043 (priss) R 32038 32038 30345 0 -1 4202560 5092 0 0 0 1261 0 0 0 25 0 5 0 518082095 289640448 12897 33554432000 4194304 5787044 140735933327440 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 291552

[startup+25.5011 s]
/proc/loadavg: 7.94 8.04 8.01 9/188 32045
/proc/meminfo: memFree=27233344/32951124 swapFree=67111356/67111528
[pid=32038] ppid=32036 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32038/stat : 32038 (prissAuto.sh) S 32036 32038 30345 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 518082094 8908800 252 33554432000 4194304 4922060 140733577287888 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32038/statm: 2175 252 211 178 0 68 0
[pid=32039] ppid=32038 vsize=290428 CPUtime=101.82 cores=0,2,4,6
/proc/32039/stat : 32039 (priss) S 32038 32038 30345 0 -1 4202496 19544 0 0 0 10174 8 0 0 25 0 5 0 518082094 297398272 17203 33554432000 4194304 5787044 140735933327440 18446744073709551615 218917554609 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/32039/statm: 72607 17203 418 389 0 68357 0
[pid=32039/tid=32040] ppid=32038 vsize=290428 CPUtime=25.48 cores=0,2,4,6
/proc/32039/task/32040/stat : 32040 (priss) R 32038 32038 30345 0 -1 4202560 3612 0 0 0 2546 2 0 0 25 0 5 0 518082095 297398272 17203 33554432000 4194304 5787044 140735933327440 18446744073709551615 218905428935 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=32039/tid=32041] ppid=32038 vsize=290428 CPUtime=25.47 cores=0,2,4,6
/proc/32039/task/32041/stat : 32041 (priss) R 32038 32038 30345 0 -1 4202560 4422 0 0 0 2546 1 0 0 25 0 5 0 518082095 297398272 17203 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591984 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32039/tid=32042] ppid=32038 vsize=290428 CPUtime=25.48 cores=0,2,4,6
/proc/32039/task/32042/stat : 32042 (priss) R 32038 32038 30345 0 -1 4202560 3898 0 0 0 2547 1 0 0 25 0 5 0 518082095 297398272 17203 33554432000 4194304 5787044 140735933327440 18446744073709551615 218917556917 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=32039/tid=32043] ppid=32038 vsize=290428 CPUtime=25.35 cores=0,2,4,6
/proc/32039/task/32043/stat : 32043 (priss) R 32038 32038 30345 0 -1 4202560 6117 0 0 0 2533 2 0 0 25 0 5 0 518082095 297398272 17203 33554432000 4194304 5787044 140735933327440 18446744073709551615 5527571 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 299128

[startup+51.1004 s]
/proc/loadavg: 7.96 8.04 8.00 9/188 32079
/proc/meminfo: memFree=27688648/32951124 swapFree=67111356/67111528
[pid=32038] ppid=32036 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32038/stat : 32038 (prissAuto.sh) S 32036 32038 30345 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 518082094 8908800 252 33554432000 4194304 4922060 140733577287888 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32038/statm: 2175 252 211 178 0 68 0
[pid=32039] ppid=32038 vsize=297412 CPUtime=204.06 cores=0,2,4,6
/proc/32039/stat : 32039 (priss) S 32038 32038 30345 0 -1 4202496 23821 0 0 0 20394 12 0 0 25 0 5 0 518082094 304549888 21436 33554432000 4194304 5787044 140735933327440 18446744073709551615 218917554609 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/32039/statm: 74353 21436 419 389 0 70103 0
[pid=32039/tid=32040] ppid=32038 vsize=297412 CPUtime=51.08 cores=0,2,4,6
/proc/32039/task/32040/stat : 32040 (priss) R 32038 32038 30345 0 -1 4202560 3987 0 0 0 5105 3 0 0 25 0 5 0 518082095 304549888 21436 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591205 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=32039/tid=32041] ppid=32038 vsize=297412 CPUtime=51.07 cores=0,2,4,6
/proc/32039/task/32041/stat : 32041 (priss) R 32038 32038 30345 0 -1 4202560 5568 0 0 0 5105 2 0 0 25 0 5 0 518082095 304549888 21436 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32039/tid=32042] ppid=32038 vsize=297412 CPUtime=51.08 cores=0,2,4,6
/proc/32039/task/32042/stat : 32042 (priss) R 32038 32038 30345 0 -1 4202560 5454 0 0 0 5106 2 0 0 25 0 5 0 518082095 304549888 21436 33554432000 4194304 5787044 140735933327440 18446744073709551615 4229366 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=32039/tid=32043] ppid=32038 vsize=297412 CPUtime=50.81 cores=0,2,4,6
/proc/32039/task/32043/stat : 32043 (priss) R 32038 32038 30345 0 -1 4202560 7317 0 0 0 5078 3 0 0 25 0 5 0 518082095 304549888 21436 33554432000 4194304 5787044 140735933327440 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.06
Current children cumulated vsize (KiB) 306112

[startup+102.301 s]
/proc/loadavg: 8.02 8.05 8.00 9/188 32080
/proc/meminfo: memFree=27609588/32951124 swapFree=67111356/67111528
[pid=32038] ppid=32036 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32038/stat : 32038 (prissAuto.sh) S 32036 32038 30345 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 518082094 8908800 252 33554432000 4194304 4922060 140733577287888 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32038/statm: 2175 252 211 178 0 68 0
[pid=32039] ppid=32038 vsize=305768 CPUtime=408.6 cores=0,2,4,6
/proc/32039/stat : 32039 (priss) S 32038 32038 30345 0 -1 4202496 29668 0 0 0 40843 17 0 0 25 0 5 0 518082094 313106432 27140 33554432000 4194304 5787044 140735933327440 18446744073709551615 218917554609 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/32039/statm: 76442 27140 419 389 0 72192 0
[pid=32039/tid=32040] ppid=32038 vsize=305768 CPUtime=102.28 cores=0,2,4,6
/proc/32039/task/32040/stat : 32040 (priss) R 32038 32038 30345 0 -1 4202560 5638 0 0 0 10224 4 0 0 25 0 5 0 518082095 313106432 27140 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=32039/tid=32041] ppid=32038 vsize=305768 CPUtime=102.27 cores=0,2,4,6
/proc/32039/task/32041/stat : 32041 (priss) R 32038 32038 30345 0 -1 4202560 7749 0 0 0 10223 4 0 0 25 0 5 0 518082095 313106432 27140 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32039/tid=32042] ppid=32038 vsize=305768 CPUtime=102.29 cores=0,2,4,6
/proc/32039/task/32042/stat : 32042 (priss) R 32038 32038 30345 0 -1 4202560 6312 0 0 0 10225 4 0 0 25 0 5 0 518082095 313106432 27140 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591623 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=32039/tid=32043] ppid=32038 vsize=305768 CPUtime=101.73 cores=0,2,4,6

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

/proc/32039/task/32041/stat : 32041 (priss) R 32038 32038 30345 0 -1 4202560 15655 0 0 0 82207 13 0 0 25 0 5 0 518082095 370827264 59422 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32039/tid=32042] ppid=32038 vsize=362136 CPUtime=822.26 cores=0,2,4,6
/proc/32039/task/32042/stat : 32042 (priss) R 32038 32038 30345 0 -1 4202560 10996 0 0 0 82217 9 0 0 25 0 5 0 518082095 370827264 59422 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=32039/tid=32043] ppid=32038 vsize=362136 CPUtime=817.79 cores=0,2,4,6
/proc/32039/task/32043/stat : 32043 (priss) R 32038 32038 30345 0 -1 4202560 15300 0 0 0 81771 8 0 0 25 0 5 0 518082095 370827264 59422 33554432000 4194304 5787044 140735933327440 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.58
Current children cumulated vsize (KiB) 370836

[startup+882.307 s]
/proc/loadavg: 8.06 8.05 8.00 9/188 32101
/proc/meminfo: memFree=27315600/32951124 swapFree=67111356/67111528
[pid=32038] ppid=32036 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32038/stat : 32038 (prissAuto.sh) S 32036 32038 30345 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 518082094 8908800 252 33554432000 4194304 4922060 140733577287888 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32038/statm: 2175 252 211 178 0 68 0
[pid=32039] ppid=32038 vsize=369320 CPUtime=3524.27 cores=0,2,4,6
/proc/32039/stat : 32039 (priss) S 32038 32038 30345 0 -1 4202496 66219 0 0 0 352373 54 0 0 25 0 5 0 518082094 378183680 63269 33554432000 4194304 5787044 140735933327440 18446744073709551615 218917554609 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/32039/statm: 92330 63269 419 389 0 88080 0
[pid=32039/tid=32040] ppid=32038 vsize=369320 CPUtime=882.16 cores=0,2,4,6
/proc/32039/task/32040/stat : 32040 (priss) R 32038 32038 30345 0 -1 4202560 19918 0 0 0 88197 19 0 0 25 0 5 0 518082095 378183680 63269 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=32039/tid=32041] ppid=32038 vsize=369320 CPUtime=882.2 cores=0,2,4,6
/proc/32039/task/32041/stat : 32041 (priss) R 32038 32038 30345 0 -1 4202560 16487 0 0 0 88206 14 0 0 25 0 5 0 518082095 378183680 63269 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32039/tid=32042] ppid=32038 vsize=369320 CPUtime=882.26 cores=0,2,4,6
/proc/32039/task/32042/stat : 32042 (priss) R 32038 32038 30345 0 -1 4202560 11183 0 0 0 88217 9 0 0 25 0 5 0 518082095 378183680 63269 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=32039/tid=32043] ppid=32038 vsize=369320 CPUtime=877.6 cores=0,2,4,6
/proc/32039/task/32043/stat : 32043 (priss) R 32038 32038 30345 0 -1 4202560 17136 0 0 0 87751 9 0 0 25 0 5 0 518082095 378183680 63269 33554432000 4194304 5787044 140735933327440 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.27
Current children cumulated vsize (KiB) 378020

[startup+942.301 s]
/proc/loadavg: 8.10 8.07 8.01 9/188 32103
/proc/meminfo: memFree=27289008/32951124 swapFree=67111356/67111528
[pid=32038] ppid=32036 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32038/stat : 32038 (prissAuto.sh) S 32036 32038 30345 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 518082094 8908800 252 33554432000 4194304 4922060 140733577287888 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32038/statm: 2175 252 211 178 0 68 0
[pid=32039] ppid=32038 vsize=376580 CPUtime=3763.91 cores=0,2,4,6
/proc/32039/stat : 32039 (priss) S 32038 32038 30345 0 -1 4202496 70771 0 0 0 376333 58 0 0 25 0 5 0 518082094 385617920 67821 33554432000 4194304 5787044 140735933327440 18446744073709551615 218917554609 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/32039/statm: 94145 67821 419 389 0 89895 0
[pid=32039/tid=32040] ppid=32038 vsize=376580 CPUtime=942.15 cores=0,2,4,6
/proc/32039/task/32040/stat : 32040 (priss) R 32038 32038 30345 0 -1 4202560 20882 0 0 0 94194 21 0 0 25 0 5 0 518082095 385617920 67821 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591653 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=32039/tid=32041] ppid=32038 vsize=376580 CPUtime=942.19 cores=0,2,4,6
/proc/32039/task/32041/stat : 32041 (priss) R 32038 32038 30345 0 -1 4202560 17665 0 0 0 94203 16 0 0 25 0 5 0 518082095 385617920 67821 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591239 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32039/tid=32042] ppid=32038 vsize=376580 CPUtime=942.26 cores=0,2,4,6
/proc/32039/task/32042/stat : 32042 (priss) R 32038 32038 30345 0 -1 4202560 11822 0 0 0 94216 10 0 0 25 0 5 0 518082095 385617920 67821 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=32039/tid=32043] ppid=32038 vsize=376580 CPUtime=937.27 cores=0,2,4,6
/proc/32039/task/32043/stat : 32043 (priss) R 32038 32038 30345 0 -1 4202560 18907 0 0 0 93718 9 0 0 25 0 5 0 518082095 385617920 67821 33554432000 4194304 5787044 140735933327440 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.91
Current children cumulated vsize (KiB) 385280

[startup+1002.3 s]
/proc/loadavg: 8.19 8.10 8.02 9/188 32104
/proc/meminfo: memFree=27257092/32951124 swapFree=67111356/67111528
[pid=32038] ppid=32036 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32038/stat : 32038 (prissAuto.sh) S 32036 32038 30345 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 518082094 8908800 252 33554432000 4194304 4922060 140733577287888 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32038/statm: 2175 252 211 178 0 68 0
[pid=32039] ppid=32038 vsize=385316 CPUtime=4003.59 cores=0,2,4,6
/proc/32039/stat : 32039 (priss) S 32038 32038 30345 0 -1 4202496 75377 0 0 0 400296 63 0 0 25 0 5 0 518082094 394563584 72330 33554432000 4194304 5787044 140735933327440 18446744073709551615 218917554609 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/32039/statm: 96329 72330 419 389 0 92079 0
[pid=32039/tid=32040] ppid=32038 vsize=385316 CPUtime=1002.16 cores=0,2,4,6
/proc/32039/task/32040/stat : 32040 (priss) R 32038 32038 30345 0 -1 4202560 21931 0 0 0 100193 23 0 0 25 0 5 0 518082095 394563584 72330 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591573 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=32039/tid=32041] ppid=32038 vsize=385316 CPUtime=1002.18 cores=0,2,4,6
/proc/32039/task/32041/stat : 32041 (priss) R 32038 32038 30345 0 -1 4202560 18318 0 0 0 100201 17 0 0 25 0 5 0 518082095 394563584 72330 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32039/tid=32042] ppid=32038 vsize=385316 CPUtime=1002.26 cores=0,2,4,6
/proc/32039/task/32042/stat : 32042 (priss) R 32038 32038 30345 0 -1 4202560 12650 0 0 0 100215 11 0 0 25 0 5 0 518082095 394563584 72330 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=32039/tid=32043] ppid=32038 vsize=385316 CPUtime=996.94 cores=0,2,4,6
/proc/32039/task/32043/stat : 32043 (priss) R 32038 32038 30345 0 -1 4202560 20983 0 0 0 99684 10 0 0 25 0 5 0 518082095 394563584 72330 33554432000 4194304 5787044 140735933327440 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.59
Current children cumulated vsize (KiB) 394016

[startup+1062.3 s]
/proc/loadavg: 8.10 8.09 8.02 9/188 32106
/proc/meminfo: memFree=27234232/32951124 swapFree=67111356/67111528
[pid=32038] ppid=32036 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32038/stat : 32038 (prissAuto.sh) S 32036 32038 30345 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 518082094 8908800 252 33554432000 4194304 4922060 140733577287888 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32038/statm: 2175 252 211 178 0 68 0
[pid=32039] ppid=32038 vsize=454256 CPUtime=4243.26 cores=0,2,4,6
/proc/32039/stat : 32039 (priss) S 32038 32038 30345 0 -1 4202496 78080 0 0 0 424259 67 0 0 25 0 5 0 518082094 465158144 75033 33554432000 4194304 5787044 140735933327440 18446744073709551615 218917554609 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/32039/statm: 113564 75033 419 389 0 109314 0
[pid=32039/tid=32040] ppid=32038 vsize=454256 CPUtime=1062.16 cores=0,2,4,6
/proc/32039/task/32040/stat : 32040 (priss) R 32038 32038 30345 0 -1 4202560 22795 0 0 0 106191 25 0 0 25 0 5 0 518082095 465158144 75033 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=32039/tid=32041] ppid=32038 vsize=454256 CPUtime=1062.18 cores=0,2,4,6
/proc/32039/task/32041/stat : 32041 (priss) R 32038 32038 30345 0 -1 4202560 19306 0 0 0 106200 18 0 0 25 0 5 0 518082095 465158144 75033 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32039/tid=32042] ppid=32038 vsize=454256 CPUtime=1062.26 cores=0,2,4,6
/proc/32039/task/32042/stat : 32042 (priss) R 32038 32038 30345 0 -1 4202560 12650 0 0 0 106215 11 0 0 25 0 5 0 518082095 465158144 75033 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=32039/tid=32043] ppid=32038 vsize=454256 CPUtime=1056.62 cores=0,2,4,6
/proc/32039/task/32043/stat : 32043 (priss) R 32038 32038 30345 0 -1 4202560 21834 0 0 0 105651 11 0 0 25 0 5 0 518082095 465158144 75033 33554432000 4194304 5787044 140735933327440 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.26
Current children cumulated vsize (KiB) 462956

[startup+1122.3 s]
/proc/loadavg: 8.07 8.09 8.02 9/188 32107
/proc/meminfo: memFree=27220920/32951124 swapFree=67111356/67111528
[pid=32038] ppid=32036 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32038/stat : 32038 (prissAuto.sh) S 32036 32038 30345 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 518082094 8908800 252 33554432000 4194304 4922060 140733577287888 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32038/statm: 2175 252 211 178 0 68 0
[pid=32039] ppid=32038 vsize=458364 CPUtime=4482.92 cores=0,2,4,6
/proc/32039/stat : 32039 (priss) S 32038 32038 30345 0 -1 4202496 79679 0 0 0 448225 67 0 0 25 0 5 0 518082094 469364736 76193 33554432000 4194304 5787044 140735933327440 18446744073709551615 218917554609 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/32039/statm: 114591 76193 419 389 0 110341 0
[pid=32039/tid=32040] ppid=32038 vsize=458364 CPUtime=1122.16 cores=0,2,4,6
/proc/32039/task/32040/stat : 32040 (priss) R 32038 32038 30345 0 -1 4202560 23076 0 0 0 112191 25 0 0 25 0 5 0 518082095 469364736 76193 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=32039/tid=32041] ppid=32038 vsize=458364 CPUtime=1122.17 cores=0,2,4,6
/proc/32039/task/32041/stat : 32041 (priss) R 32038 32038 30345 0 -1 4202560 19613 0 0 0 112199 18 0 0 25 0 5 0 518082095 469364736 76193 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32039/tid=32042] ppid=32038 vsize=458364 CPUtime=1122.26 cores=0,2,4,6
/proc/32039/task/32042/stat : 32042 (priss) R 32038 32038 30345 0 -1 4202560 12650 0 0 0 112215 11 0 0 25 0 5 0 518082095 469364736 76193 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=32039/tid=32043] ppid=32038 vsize=458364 CPUtime=1116.3 cores=0,2,4,6
/proc/32039/task/32043/stat : 32043 (priss) R 32038 32038 30345 0 -1 4202560 22845 0 0 0 111618 12 0 0 25 0 5 0 518082095 469364736 76193 33554432000 4194304 5787044 140735933327440 18446744073709551615 5527057 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.92
Current children cumulated vsize (KiB) 467064

[startup+1182.3 s]
/proc/loadavg: 8.14 8.10 8.02 9/188 32109
/proc/meminfo: memFree=27203392/32951124 swapFree=67111356/67111528
[pid=32038] ppid=32036 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32038/stat : 32038 (prissAuto.sh) S 32036 32038 30345 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 518082094 8908800 252 33554432000 4194304 4922060 140733577287888 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32038/statm: 2175 252 211 178 0 68 0
[pid=32039] ppid=32038 vsize=463132 CPUtime=4722.59 cores=0,2,4,6
/proc/32039/stat : 32039 (priss) S 32038 32038 30345 0 -1 4202496 80729 0 0 0 472191 68 0 0 25 0 5 0 518082094 474247168 77243 33554432000 4194304 5787044 140735933327440 18446744073709551615 218917554609 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/32039/statm: 115783 77243 419 389 0 111533 0
[pid=32039/tid=32040] ppid=32038 vsize=463132 CPUtime=1182.16 cores=0,2,4,6
/proc/32039/task/32040/stat : 32040 (priss) R 32038 32038 30345 0 -1 4202560 23076 0 0 0 118191 25 0 0 25 0 5 0 518082095 474247168 77243 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591808 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=32039/tid=32041] ppid=32038 vsize=463132 CPUtime=1182.17 cores=0,2,4,6
/proc/32039/task/32041/stat : 32041 (priss) R 32038 32038 30345 0 -1 4202560 19614 0 0 0 118199 18 0 0 25 0 5 0 518082095 474247168 77243 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32039/tid=32042] ppid=32038 vsize=463132 CPUtime=1182.26 cores=0,2,4,6
/proc/32039/task/32042/stat : 32042 (priss) R 32038 32038 30345 0 -1 4202560 12650 0 0 0 118215 11 0 0 25 0 5 0 518082095 474247168 77243 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=32039/tid=32043] ppid=32038 vsize=463132 CPUtime=1175.98 cores=0,2,4,6
/proc/32039/task/32043/stat : 32043 (priss) R 32038 32038 30345 0 -1 4202560 23894 0 0 0 117585 13 0 0 25 0 5 0 518082095 474247168 77243 33554432000 4194304 5787044 140735933327440 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.59
Current children cumulated vsize (KiB) 471832



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.10 8.09 8.02 10/188 32109
/proc/meminfo: memFree=27199544/32951124 swapFree=67111356/67111528
[pid=32038] ppid=32036 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32038/stat : 32038 (prissAuto.sh) S 32036 32038 30345 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 518082094 8908800 252 33554432000 4194304 4922060 140733577287888 18446744073709551615 218905549957 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32038/statm: 2175 252 211 178 0 68 0
[pid=32039] ppid=32038 vsize=463132 CPUtime=4800.11 cores=0,2,4,6
/proc/32039/stat : 32039 (priss) S 32038 32038 30345 0 -1 4202496 80729 0 0 0 479942 69 0 0 25 0 5 0 518082094 474247168 77243 33554432000 4194304 5787044 140735933327440 18446744073709551615 218917554609 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/32039/statm: 115783 77243 419 389 0 111533 0
[pid=32039/tid=32040] ppid=32038 vsize=463132 CPUtime=1201.57 cores=0,2,4,6
/proc/32039/task/32040/stat : 32040 (priss) R 32038 32038 30345 0 -1 4202560 23076 0 0 0 120132 25 0 0 25 0 5 0 518082095 474247168 77243 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=32039/tid=32041] ppid=32038 vsize=463132 CPUtime=1201.57 cores=0,2,4,6
/proc/32039/task/32041/stat : 32041 (priss) R 32038 32038 30345 0 -1 4202560 19614 0 0 0 120139 18 0 0 25 0 5 0 518082095 474247168 77243 33554432000 4194304 5787044 140735933327440 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32039/tid=32042] ppid=32038 vsize=463132 CPUtime=1201.66 cores=0,2,4,6
/proc/32039/task/32042/stat : 32042 (priss) R 32038 32038 30345 0 -1 4202560 12650 0 0 0 120155 11 0 0 25 0 5 0 518082095 474247168 77243 33554432000 4194304 5787044 140735933327440 18446744073709551615 4218745 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=32039/tid=32043] ppid=32038 vsize=463132 CPUtime=1195.27 cores=0,2,4,6
/proc/32039/task/32043/stat : 32043 (priss) R 32038 32038 30345 0 -1 4202560 23894 0 0 0 119514 13 0 0 25 0 5 0 518082095 474247168 77243 33554432000 4194304 5787044 140735933327440 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 471832

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 32038 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 4800.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1201.72
CPU time (s): 4800.11
CPU user time (s): 4799.42
CPU system time (s): 0.69
CPU usage (%): 399.437
Max. virtual memory (cumulated for all children) (KiB): 528492

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

runsolver used 1.74173 second user time and 4.82327 second system time

The end

Launcher Data 

Begin job on node137 at 2011-04-29 10:14:04
IDJOB=3263747
IDBENCH=84018
IDSOLVER=1602
FILE ID=node137/3263747-1304064844
RUNJOBID= node137-1304058816-31308
PBS_JOBID= 13170416
Free space on /tmp= 71616 MiB

SOLVER NAME= priss Auto
BENCH NAME= SAT03/handmade/stanion/hwb/hwb-n28-02-S818962541.shuffled-as.sat03-1628.cnf
COMMAND LINE= DIR/prissAuto.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3263747-1304064844/watcher-3263747-1304064844 -o /tmp/evaluation-result-3263747-1304064844/solver-3263747-1304064844 -C 4800 -W 1300 -M 15500  HOME/prissAuto.sh HOME HOME/instance-3263747-1304064844.cnf 219607759 4800 15500 4

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

MD5SUM BENCH= d705043763df769aab1e385bbbc2b11e
RANDOM SEED=219607759

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27305780 kB
Buffers:        901236 kB
Cached:        3719248 kB
SwapCached:         56 kB
Active:         766680 kB
Inactive:      4413120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27305780 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            1588 kB
Writeback:           0 kB
AnonPages:      559292 kB
Mapped:          15608 kB
Slab:           401240 kB
PageTables:       5396 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   762332 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= 71616 MiB
End job on node137 at 2011-04-29 10:34:08