Trace number 3280602

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.04 1201.92

General information on the benchmark

Nameindustrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
MD5SUM0683489092a5eb0c881dd17c2c45d08e
Bench CategoryAPPLICATION (applications 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 variables105623
Number of clauses374254
Sum of the clauses size911890
Maximum clause length43
Minimum clause length1
Number of clauses of size 1128
Number of clauses of size 2269133
Number of clauses of size 399944
Number of clauses of size 4407
Number of clauses of size 5309
Number of clauses of size over 54333

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: 30997
0.00/0.00	c setup for 4cores
0.00/0.10	c parsetime: 97459us
0.00/0.10	c parsed 374254 clauses with 106701 variables
0.00/0.12	c NW started thread 0 successfully (1096411456)
0.00/0.15	c NW started thread 1 successfully (1111513408)
0.00/0.18	c NW started thread 2 successfully (1122003264)
0.00/0.21	c NW started thread 3 successfully (1132493120)
34.10/8.89	c preprocessor returned 106701 variables
34.10/8.89	c preprocessing returned UNKNOWN
34.10/8.89	c PP set 240 variables
34.10/8.89	c pp time: 8747340us (8s)
34.48/8.98	c preprocessor returned 106701 variables
34.48/8.98	c preprocessing returned UNKNOWN
34.48/8.98	c PP set 240 variables
34.48/8.98	c pp time: 8769510us (8s)
34.86/9.01	c preprocessor returned 106701 variables
34.86/9.01	c preprocessing returned UNKNOWN
34.86/9.01	c PP set 240 variables
34.86/9.01	c pp time: 8765198us (8s)
34.86/9.06	c preprocessor returned 106701 variables
34.86/9.06	c preprocessing returned UNKNOWN
34.86/9.06	c PP set 240 variables
34.86/9.06	c pp time: 8881856us (8s)

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-3280602-1304037634/watcher-3280602-1304037634 -o /tmp/evaluation-result-3280602-1304037634/solver-3280602-1304037634 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3280602-1304037634.cnf 666726971 4800 15500 4 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 8.18 8.17 7.99 3/174 30996
/proc/meminfo: memFree=23698156/32950928 swapFree=67071984/67111528
[pid=30996] ppid=30994 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30996/stat : 30996 (prissAuto.sh) S 30994 30996 30862 0 -1 4202496 331 0 0 0 0 0 0 0 18 0 1 0 593994077 8908800 252 33554432000 4194304 4922060 140734966831168 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30996/statm: 2175 252 211 178 0 68 0

[startup+0.0301721 s]
/proc/loadavg: 8.18 8.17 7.99 3/174 30996
/proc/meminfo: memFree=23698156/32950928 swapFree=67071984/67111528
[pid=30996] ppid=30994 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30996/stat : 30996 (prissAuto.sh) S 30994 30996 30862 0 -1 4202496 331 0 0 0 0 0 0 0 18 0 1 0 593994077 8908800 252 33554432000 4194304 4922060 140734966831168 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30996/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101163 s]
/proc/loadavg: 8.18 8.17 7.99 3/174 30996
/proc/meminfo: memFree=23698156/32950928 swapFree=67071984/67111528
[pid=30996] ppid=30994 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30996/stat : 30996 (prissAuto.sh) S 30994 30996 30862 0 -1 4202496 331 0 0 0 0 0 0 0 18 0 1 0 593994077 8908800 252 33554432000 4194304 4922060 140734966831168 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30996/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.304063 s]
/proc/loadavg: 8.18 8.17 7.99 3/174 30996
/proc/meminfo: memFree=23698156/32950928 swapFree=67071984/67111528
[pid=30996] ppid=30994 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30996/stat : 30996 (prissAuto.sh) S 30994 30996 30862 0 -1 4202496 331 0 0 0 0 0 0 0 18 0 1 0 593994077 8908800 252 33554432000 4194304 4922060 140734966831168 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30996/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50384 s]
/proc/loadavg: 8.18 8.17 7.99 3/174 30996
/proc/meminfo: memFree=23698156/32950928 swapFree=67071984/67111528
[pid=30996] ppid=30994 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30996/stat : 30996 (prissAuto.sh) S 30994 30996 30862 0 -1 4202496 331 0 0 0 0 0 0 0 18 0 1 0 593994077 8908800 252 33554432000 4194304 4922060 140734966831168 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30996/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.60083 s]
/proc/loadavg: 8.18 8.17 7.99 3/174 30996
/proc/meminfo: memFree=23698156/32950928 swapFree=67071984/67111528
[pid=30996] ppid=30994 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30996/stat : 30996 (prissAuto.sh) S 30994 30996 30862 0 -1 4202496 331 0 0 0 0 0 0 0 18 0 1 0 593994077 8908800 252 33554432000 4194304 4922060 140734966831168 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30996/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+3.10655 s]
/proc/loadavg: 8.24 8.18 7.99 10/188 31013
/proc/meminfo: memFree=22653600/32950928 swapFree=67071984/67111528
[pid=30996] ppid=30994 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30996/stat : 30996 (prissAuto.sh) S 30994 30996 30862 0 -1 4202496 331 0 0 0 0 0 0 0 18 0 1 0 593994077 8908800 252 33554432000 4194304 4922060 140734966831168 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30996/statm: 2175 252 211 178 0 68 0
[pid=30997] ppid=30996 vsize=497792 CPUtime=11.38 cores=1,3,5,7
/proc/30997/stat : 30997 (priss) S 30996 30996 30862 0 -1 4202496 108001 0 0 0 1082 56 0 0 18 0 5 0 593994077 509739008 76931 33554432000 4194304 5787044 140734757659392 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30997/statm: 124448 76931 351 389 0 120198 0
[pid=30997/tid=30999] ppid=30996 vsize=497792 CPUtime=2.84 cores=1,3,5,7
/proc/30997/task/30999/stat : 30999 (priss) R 30996 30996 30862 0 -1 4202560 23667 0 0 0 270 14 0 0 18 0 5 0 593994090 509739008 76931 33554432000 4194304 5787044 140734757659392 18446744073709551615 260917220021 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30997/tid=31000] ppid=30996 vsize=497792 CPUtime=2.78 cores=1,3,5,7
/proc/30997/task/31000/stat : 31000 (priss) R 30996 30996 30862 0 -1 4202560 20824 0 0 0 264 14 0 0 18 0 5 0 593994092 509739008 76931 33554432000 4194304 5787044 140734757659392 18446744073709551615 4391224 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30997/tid=31001] ppid=30996 vsize=497792 CPUtime=2.78 cores=1,3,5,7
/proc/30997/task/31001/stat : 31001 (priss) R 30996 30996 30862 0 -1 4202560 21602 0 0 0 266 12 0 0 18 0 5 0 593994095 509739008 76931 33554432000 4194304 5787044 140734757659392 18446744073709551615 260917220021 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30997/tid=31002] ppid=30996 vsize=497792 CPUtime=2.74 cores=1,3,5,7
/proc/30997/task/31002/stat : 31002 (priss) R 30996 30996 30862 0 -1 4202560 23891 0 0 0 262 12 0 0 18 0 5 0 593994099 509739008 76931 33554432000 4194304 5787044 140734757659392 18446744073709551615 260917220021 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.38
Current children cumulated vsize (KiB) 506492

[startup+6.30096 s]
/proc/loadavg: 8.24 8.18 7.99 9/188 31013
/proc/meminfo: memFree=22545908/32950928 swapFree=67071984/67111528
[pid=30996] ppid=30994 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30996/stat : 30996 (prissAuto.sh) S 30994 30996 30862 0 -1 4202496 331 0 0 0 0 0 0 0 18 0 1 0 593994077 8908800 252 33554432000 4194304 4922060 140734966831168 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30996/statm: 2175 252 211 178 0 68 0
[pid=30997] ppid=30996 vsize=500276 CPUtime=24.15 cores=1,3,5,7
/proc/30997/stat : 30997 (priss) S 30996 30996 30862 0 -1 4202496 113559 0 0 0 2354 61 0 0 18 0 5 0 593994077 512282624 82489 33554432000 4194304 5787044 140734757659392 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30997/statm: 125069 82489 352 389 0 120819 0
[pid=30997/tid=30999] ppid=30996 vsize=500276 CPUtime=6.04 cores=1,3,5,7
/proc/30997/task/30999/stat : 30999 (priss) R 30996 30996 30862 0 -1 4202560 24906 0 0 0 589 15 0 0 25 0 5 0 593994090 512282624 82489 33554432000 4194304 5787044 140734757659392 18446744073709551615 260905087961 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30997/tid=31000] ppid=30996 vsize=500276 CPUtime=5.96 cores=1,3,5,7
/proc/30997/task/31000/stat : 31000 (priss) R 30996 30996 30862 0 -1 4202560 22287 0 0 0 580 16 0 0 25 0 5 0 593994092 512282624 82489 33554432000 4194304 5787044 140734757659392 18446744073709551615 4279087 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30997/tid=31001] ppid=30996 vsize=500276 CPUtime=5.97 cores=1,3,5,7
/proc/30997/task/31001/stat : 31001 (priss) R 30996 30996 30862 0 -1 4202560 22713 0 0 0 584 13 0 0 25 0 5 0 593994095 512282624 82489 33554432000 4194304 5787044 140734757659392 18446744073709551615 4276449 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30997/tid=31002] ppid=30996 vsize=500276 CPUtime=5.94 cores=1,3,5,7
/proc/30997/task/31002/stat : 31002 (priss) R 30996 30996 30862 0 -1 4202560 25636 0 0 0 581 13 0 0 25 0 5 0 593994099 512282624 82489 33554432000 4194304 5787044 140734757659392 18446744073709551615 4279072 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.15
Current children cumulated vsize (KiB) 508976

[startup+12.7008 s]
/proc/loadavg: 8.22 8.18 7.99 9/188 31013
/proc/meminfo: memFree=22464488/32950928 swapFree=67071984/67111528
[pid=30996] ppid=30994 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30996/stat : 30996 (prissAuto.sh) S 30994 30996 30862 0 -1 4202496 331 0 0 0 0 0 0 0 18 0 1 0 593994077 8908800 252 33554432000 4194304 4922060 140734966831168 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30996/statm: 2175 252 211 178 0 68 0
[pid=30997] ppid=30996 vsize=582332 CPUtime=49.64 cores=1,3,5,7
/proc/30997/stat : 30997 (priss) S 30996 30996 30862 0 -1 4202496 143108 0 0 0 4896 68 0 0 18 0 5 0 593994077 596307968 102868 33554432000 4194304 5787044 140734757659392 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30997/statm: 145583 102868 417 389 0 141333 0
[pid=30997/tid=30999] ppid=30996 vsize=582332 CPUtime=12.42 cores=1,3,5,7
/proc/30997/task/30999/stat : 30999 (priss) R 30996 30996 30862 0 -1 4202560 31470 0 0 0 1226 16 0 0 25 0 5 0 593994090 596307968 102868 33554432000 4194304 5787044 140734757659392 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30997/tid=31000] ppid=30996 vsize=582332 CPUtime=12.3 cores=1,3,5,7
/proc/30997/task/31000/stat : 31000 (priss) R 30996 30996 30862 0 -1 4202560 32398 0 0 0 1211 19 0 0 25 0 5 0 593994092 596307968 102868 33554432000 4194304 5787044 140734757659392 18446744073709551615 5590569 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30997/tid=31001] ppid=30996 vsize=582332 CPUtime=12.36 cores=1,3,5,7
/proc/30997/task/31001/stat : 31001 (priss) R 30996 30996 30862 0 -1 4202560 29497 0 0 0 1222 14 0 0 25 0 5 0 593994095 596307968 102868 33554432000 4194304 5787044 140734757659392 18446744073709551615 4692144 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30997/tid=31002] ppid=30996 vsize=582332 CPUtime=12.32 cores=1,3,5,7
/proc/30997/task/31002/stat : 31002 (priss) R 30996 30996 30862 0 -1 4202560 31726 0 0 0 1217 15 0 0 25 0 5 0 593994099 596307968 102868 33554432000 4194304 5787044 140734757659392 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 49.64
Current children cumulated vsize (KiB) 591032

[startup+25.5005 s]
/proc/loadavg: 8.17 8.17 7.99 9/188 31013
/proc/meminfo: memFree=22462800/32950928 swapFree=67071984/67111528
[pid=30996] ppid=30994 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30996/stat : 30996 (prissAuto.sh) S 30994 30996 30862 0 -1 4202496 331 0 0 0 0 0 0 0 18 0 1 0 593994077 8908800 252 33554432000 4194304 4922060 140734966831168 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30996/statm: 2175 252 211 178 0 68 0
[pid=30997] ppid=30996 vsize=583044 CPUtime=100.77 cores=1,3,5,7
/proc/30997/stat : 30997 (priss) S 30996 30996 30862 0 -1 4202496 143549 0 0 0 10008 69 0 0 18 0 5 0 593994077 597037056 103309 33554432000 4194304 5787044 140734757659392 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30997/statm: 145761 103309 417 389 0 141511 0
[pid=30997/tid=30999] ppid=30996 vsize=583044 CPUtime=25.23 cores=1,3,5,7
/proc/30997/task/30999/stat : 30999 (priss) R 30996 30996 30862 0 -1 4202560 31562 0 0 0 2506 17 0 0 25 0 5 0 593994090 597037056 103309 33554432000 4194304 5787044 140734757659392 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30997/tid=31000] ppid=30996 vsize=583044 CPUtime=25.02 cores=1,3,5,7
/proc/30997/task/31000/stat : 31000 (priss) R 30996 30996 30862 0 -1 4202560 32498 0 0 0 2483 19 0 0 25 0 5 0 593994092 597037056 103309 33554432000 4194304 5787044 140734757659392 18446744073709551615 5590569 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30997/tid=31001] ppid=30996 vsize=583044 CPUtime=25.16 cores=1,3,5,7
/proc/30997/task/31001/stat : 31001 (priss) R 30996 30996 30862 0 -1 4202560 29531 0 0 0 2502 14 0 0 25 0 5 0 593994095 597037056 103309 33554432000 4194304 5787044 140734757659392 18446744073709551615 4254813 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30997/tid=31002] ppid=30996 vsize=583044 CPUtime=25.12 cores=1,3,5,7
/proc/30997/task/31002/stat : 31002 (priss) R 30996 30996 30862 0 -1 4202560 31941 0 0 0 2497 15 0 0 25 0 5 0 593994099 597037056 103309 33554432000 4194304 5787044 140734757659392 18446744073709551615 4238583 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 100.77
Current children cumulated vsize (KiB) 591744

[startup+51.1008 s]
/proc/loadavg: 8.18 8.17 8.00 9/188 31014
/proc/meminfo: memFree=22141932/32950928 swapFree=67071984/67111528
[pid=30996] ppid=30994 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30996/stat : 30996 (prissAuto.sh) S 30994 30996 30862 0 -1 4202496 331 0 0 0 0 0 0 0 18 0 1 0 593994077 8908800 252 33554432000 4194304 4922060 140734966831168 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30996/statm: 2175 252 211 178 0 68 0
[pid=30997] ppid=30996 vsize=584476 CPUtime=203.04 cores=1,3,5,7
/proc/30997/stat : 30997 (priss) S 30996 30996 30862 0 -1 4202496 144875 0 0 0 20233 71 0 0 18 0 5 0 593994077 598503424 104635 33554432000 4194304 5787044 140734757659392 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30997/statm: 146119 104635 417 389 0 141869 0
[pid=30997/tid=30999] ppid=30996 vsize=584476 CPUtime=50.82 cores=1,3,5,7
/proc/30997/task/30999/stat : 30999 (priss) R 30996 30996 30862 0 -1 4202560 31914 0 0 0 5065 17 0 0 25 0 5 0 593994090 598503424 104635 33554432000 4194304 5787044 140734757659392 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30997/tid=31000] ppid=30996 vsize=584476 CPUtime=50.48 cores=1,3,5,7
/proc/30997/task/31000/stat : 31000 (priss) R 30996 30996 30862 0 -1 4202560 32808 0 0 0 5029 19 0 0 25 0 5 0 593994092 598503424 104635 33554432000 4194304 5787044 140734757659392 18446744073709551615 4215338 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30997/tid=31001] ppid=30996 vsize=584476 CPUtime=50.76 cores=1,3,5,7
/proc/30997/task/31001/stat : 31001 (priss) R 30996 30996 30862 0 -1 4202560 29924 0 0 0 5061 15 0 0 25 0 5 0 593994095 598503424 104635 33554432000 4194304 5787044 140734757659392 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30997/tid=31002] ppid=30996 vsize=584476 CPUtime=50.73 cores=1,3,5,7
/proc/30997/task/31002/stat : 31002 (priss) R 30996 30996 30862 0 -1 4202560 32212 0 0 0 5057 16 0 0 25 0 5 0 593994099 598503424 104635 33554432000 4194304 5787044 140734757659392 18446744073709551615 5534357 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.04
Current children cumulated vsize (KiB) 593176

[startup+102.3 s]
/proc/loadavg: 8.14 8.16 8.00 9/188 31015
/proc/meminfo: memFree=21855724/32950928 swapFree=67071984/67111528
[pid=30996] ppid=30994 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30996/stat : 30996 (prissAuto.sh) S 30994 30996 30862 0 -1 4202496 331 0 0 0 0 0 0 0 18 0 1 0 593994077 8908800 252 33554432000 4194304 4922060 140734966831168 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30996/statm: 2175 252 211 178 0 68 0
[pid=30997] ppid=30996 vsize=586992 CPUtime=407.55 cores=1,3,5,7
/proc/30997/stat : 30997 (priss) S 30996 30996 30862 0 -1 4202496 146678 0 0 0 40682 73 0 0 18 0 5 0 593994077 601079808 106438 33554432000 4194304 5787044 140734757659392 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30997/statm: 146748 106438 417 389 0 142498 0
[pid=30997/tid=30999] ppid=30996 vsize=586992 CPUtime=102.03 cores=1,3,5,7
/proc/30997/task/30999/stat : 30999 (priss) R 30996 30996 30862 0 -1 4202560 32213 0 0 0 10185 18 0 0 25 0 5 0 593994090 601079808 106438 33554432000 4194304 5787044 140734757659392 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30997/tid=31000] ppid=30996 vsize=586992 CPUtime=101.4 cores=1,3,5,7
/proc/30997/task/31000/stat : 31000 (priss) R 30996 30996 30862 0 -1 4202560 33473 0 0 0 10120 20 0 0 25 0 5 0 593994092 601079808 106438 33554432000 4194304 5787044 140734757659392 18446744073709551615 4238583 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30997/tid=31001] ppid=30996 vsize=586992 CPUtime=101.95 cores=1,3,5,7
/proc/30997/task/31001/stat : 31001 (priss) R 30996 30996 30862 0 -1 4202560 30275 0 0 0 10180 15 0 0 25 0 5 0 593994095 601079808 106438 33554432000 4194304 5787044 140734757659392 18446744073709551615 5590310 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30997/tid=31002] ppid=30996 vsize=586992 CPUtime=101.92 cores=1,3,5,7
/proc/30997/task/31002/stat : 31002 (priss) R 30996 30996 30862 0 -1 4202560 32700 0 0 0 10176 16 0 0 25 0 5 0 593994099 601079808 106438 33554432000 4194304 5787044 140734757659392 18446744073709551615 5526823 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.55
Current children cumulated vsize (KiB) 595692

[startup+162.3 s]
/proc/loadavg: 8.15 8.16 8.01 9/188 31017
/proc/meminfo: memFree=21844540/32950928 swapFree=67071984/67111528
[pid=30996] ppid=30994 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30996/stat : 30996 (prissAuto.sh) S 30994 30996 30862 0 -1 4202496 331 0 0 0 0 0 0 0 18 0 1 0 593994077 8908800 252 33554432000 4194304 4922060 140734966831168 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30996/statm: 2175 252 211 178 0 68 0
[pid=30997] ppid=30996 vsize=588976 CPUtime=647.23 cores=1,3,5,7

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

/proc/30997/task/31000/stat : 31000 (priss) R 30996 30996 30862 0 -1 4202560 41597 0 0 0 81924 35 0 0 25 0 5 0 593994092 829898752 140932 33554432000 4194304 5787044 140734757659392 18446744073709551615 4213865 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30997/tid=31001] ppid=30996 vsize=810448 CPUtime=821.96 cores=1,3,5,7
/proc/30997/task/31001/stat : 31001 (priss) R 30996 30996 30862 0 -1 4202560 41364 0 0 0 82169 27 0 0 25 0 5 0 593994095 829898752 140932 33554432000 4194304 5787044 140734757659392 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30997/tid=31002] ppid=30996 vsize=810448 CPUtime=821.94 cores=1,3,5,7
/proc/30997/task/31002/stat : 31002 (priss) R 30996 30996 30862 0 -1 4202560 38822 0 0 0 82167 27 0 0 25 0 5 0 593994099 829898752 140932 33554432000 4194304 5787044 140734757659392 18446744073709551615 5528398 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3283.67
Current children cumulated vsize (KiB) 819148

[startup+882.3 s]
/proc/loadavg: 8.17 8.13 8.03 9/188 31036
/proc/meminfo: memFree=21675064/32950928 swapFree=67071984/67111528
[pid=30996] ppid=30994 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30996/stat : 30996 (prissAuto.sh) S 30994 30996 30862 0 -1 4202496 331 0 0 0 0 0 0 0 18 0 1 0 593994077 8908800 252 33554432000 4194304 4922060 140734966831168 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30996/statm: 2175 252 211 178 0 68 0
[pid=30997] ppid=30996 vsize=877348 CPUtime=3523.33 cores=1,3,5,7
/proc/30997/stat : 30997 (priss) S 30996 30996 30862 0 -1 4202496 185276 0 0 0 352206 127 0 0 18 0 5 0 593994077 898404352 144466 33554432000 4194304 5787044 140734757659392 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30997/statm: 219337 144466 417 389 0 215087 0
[pid=30997/tid=30999] ppid=30996 vsize=877348 CPUtime=879.62 cores=1,3,5,7
/proc/30997/task/30999/stat : 30999 (priss) R 30996 30996 30862 0 -1 4202560 44031 0 0 0 87930 32 0 0 25 0 5 0 593994090 898404352 144466 33554432000 4194304 5787044 140734757659392 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30997/tid=31000] ppid=30996 vsize=877348 CPUtime=879.58 cores=1,3,5,7
/proc/30997/task/31000/stat : 31000 (priss) R 30996 30996 30862 0 -1 4202560 41860 0 0 0 87923 35 0 0 25 0 5 0 593994092 898404352 144466 33554432000 4194304 5787044 140734757659392 18446744073709551615 4213865 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30997/tid=31001] ppid=30996 vsize=877348 CPUtime=881.96 cores=1,3,5,7
/proc/30997/task/31001/stat : 31001 (priss) R 30996 30996 30862 0 -1 4202560 42148 0 0 0 88167 29 0 0 25 0 5 0 593994095 898404352 144466 33554432000 4194304 5787044 140734757659392 18446744073709551615 5585240 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30997/tid=31002] ppid=30996 vsize=877348 CPUtime=881.93 cores=1,3,5,7
/proc/30997/task/31002/stat : 31002 (priss) R 30996 30996 30862 0 -1 4202560 39220 0 0 0 88166 27 0 0 25 0 5 0 593994099 898404352 144466 33554432000 4194304 5787044 140734757659392 18446744073709551615 5534144 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3523.33
Current children cumulated vsize (KiB) 886048

[startup+942.3 s]
/proc/loadavg: 8.17 8.13 8.04 9/188 31038
/proc/meminfo: memFree=21662364/32950928 swapFree=67071984/67111528
[pid=30996] ppid=30994 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30996/stat : 30996 (prissAuto.sh) S 30994 30996 30862 0 -1 4202496 331 0 0 0 0 0 0 0 18 0 1 0 593994077 8908800 252 33554432000 4194304 4922060 140734966831168 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30996/statm: 2175 252 211 178 0 68 0
[pid=30997] ppid=30996 vsize=882684 CPUtime=3763.02 cores=1,3,5,7
/proc/30997/stat : 30997 (priss) S 30996 30996 30862 0 -1 4202496 187437 0 0 0 376172 130 0 0 18 0 5 0 593994077 903868416 146627 33554432000 4194304 5787044 140734757659392 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30997/statm: 220671 146627 417 389 0 216421 0
[pid=30997/tid=30999] ppid=30996 vsize=882684 CPUtime=939.3 cores=1,3,5,7
/proc/30997/task/30999/stat : 30999 (priss) R 30996 30996 30862 0 -1 4202560 44801 0 0 0 93897 33 0 0 25 0 5 0 593994090 903868416 146627 33554432000 4194304 5787044 140734757659392 18446744073709551615 5591337 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30997/tid=31000] ppid=30996 vsize=882684 CPUtime=939.58 cores=1,3,5,7
/proc/30997/task/31000/stat : 31000 (priss) R 30996 30996 30862 0 -1 4202560 41861 0 0 0 93923 35 0 0 25 0 5 0 593994092 903868416 146627 33554432000 4194304 5787044 140734757659392 18446744073709551615 5601791 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30997/tid=31001] ppid=30996 vsize=882684 CPUtime=941.97 cores=1,3,5,7
/proc/30997/task/31001/stat : 31001 (priss) R 30996 30996 30862 0 -1 4202560 42607 0 0 0 94167 30 0 0 25 0 5 0 593994095 903868416 146627 33554432000 4194304 5787044 140734757659392 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30997/tid=31002] ppid=30996 vsize=882684 CPUtime=941.93 cores=1,3,5,7
/proc/30997/task/31002/stat : 31002 (priss) R 30996 30996 30862 0 -1 4202560 40151 0 0 0 94165 28 0 0 25 0 5 0 593994099 903868416 146627 33554432000 4194304 5787044 140734757659392 18446744073709551615 5526895 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.02
Current children cumulated vsize (KiB) 891384

[startup+1002.3 s]
/proc/loadavg: 8.13 8.12 8.04 9/188 31039
/proc/meminfo: memFree=21649168/32950928 swapFree=67071984/67111528
[pid=30996] ppid=30994 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30996/stat : 30996 (prissAuto.sh) S 30994 30996 30862 0 -1 4202496 331 0 0 0 0 0 0 0 18 0 1 0 593994077 8908800 252 33554432000 4194304 4922060 140734966831168 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30996/statm: 2175 252 211 178 0 68 0
[pid=30997] ppid=30996 vsize=884272 CPUtime=4002.69 cores=1,3,5,7
/proc/30997/stat : 30997 (priss) S 30996 30996 30862 0 -1 4202496 189490 0 0 0 400136 133 0 0 18 0 5 0 593994077 905494528 148680 33554432000 4194304 5787044 140734757659392 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30997/statm: 221068 148680 417 389 0 216818 0
[pid=30997/tid=30999] ppid=30996 vsize=884272 CPUtime=998.97 cores=1,3,5,7
/proc/30997/task/30999/stat : 30999 (priss) R 30996 30996 30862 0 -1 4202560 45083 0 0 0 99863 34 0 0 25 0 5 0 593994090 905494528 148680 33554432000 4194304 5787044 140734757659392 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30997/tid=31000] ppid=30996 vsize=884272 CPUtime=999.59 cores=1,3,5,7
/proc/30997/task/31000/stat : 31000 (priss) R 30996 30996 30862 0 -1 4202560 42908 0 0 0 99922 37 0 0 25 0 5 0 593994092 905494528 148680 33554432000 4194304 5787044 140734757659392 18446744073709551615 5590365 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30997/tid=31001] ppid=30996 vsize=884272 CPUtime=1001.97 cores=1,3,5,7
/proc/30997/task/31001/stat : 31001 (priss) R 30996 30996 30862 0 -1 4202560 43026 0 0 0 100167 30 0 0 25 0 5 0 593994095 905494528 148680 33554432000 4194304 5787044 140734757659392 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30997/tid=31002] ppid=30996 vsize=884272 CPUtime=1001.94 cores=1,3,5,7
/proc/30997/task/31002/stat : 31002 (priss) R 30996 30996 30862 0 -1 4202560 40456 0 0 0 100165 29 0 0 25 0 5 0 593994099 905494528 148680 33554432000 4194304 5787044 140734757659392 18446744073709551615 5527610 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4002.69
Current children cumulated vsize (KiB) 892972

[startup+1062.3 s]
/proc/loadavg: 8.11 8.11 8.04 9/188 31041
/proc/meminfo: memFree=21639820/32950928 swapFree=67071984/67111528
[pid=30996] ppid=30994 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30996/stat : 30996 (prissAuto.sh) S 30994 30996 30862 0 -1 4202496 331 0 0 0 0 0 0 0 18 0 1 0 593994077 8908800 252 33554432000 4194304 4922060 140734966831168 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30996/statm: 2175 252 211 178 0 68 0
[pid=30997] ppid=30996 vsize=884428 CPUtime=4242.39 cores=1,3,5,7
/proc/30997/stat : 30997 (priss) S 30996 30996 30862 0 -1 4202496 191484 0 0 0 424104 135 0 0 18 0 5 0 593994077 905654272 150480 33554432000 4194304 5787044 140734757659392 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30997/statm: 221107 150480 417 389 0 216857 0
[pid=30997/tid=30999] ppid=30996 vsize=884428 CPUtime=1058.65 cores=1,3,5,7
/proc/30997/task/30999/stat : 30999 (priss) R 30996 30996 30862 0 -1 4202560 46368 0 0 0 105830 35 0 0 25 0 5 0 593994090 905654272 150480 33554432000 4194304 5787044 140734757659392 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30997/tid=31000] ppid=30996 vsize=884428 CPUtime=1059.59 cores=1,3,5,7
/proc/30997/task/31000/stat : 31000 (priss) R 30996 30996 30862 0 -1 4202560 42953 0 0 0 105922 37 0 0 25 0 5 0 593994092 905654272 150480 33554432000 4194304 5787044 140734757659392 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30997/tid=31001] ppid=30996 vsize=884428 CPUtime=1061.97 cores=1,3,5,7
/proc/30997/task/31001/stat : 31001 (priss) R 30996 30996 30862 0 -1 4202560 43262 0 0 0 106167 30 0 0 25 0 5 0 593994095 905654272 150480 33554432000 4194304 5787044 140734757659392 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30997/tid=31002] ppid=30996 vsize=884428 CPUtime=1061.94 cores=1,3,5,7
/proc/30997/task/31002/stat : 31002 (priss) R 30996 30996 30862 0 -1 4202560 40884 0 0 0 106165 29 0 0 25 0 5 0 593994099 905654272 150480 33554432000 4194304 5787044 140734757659392 18446744073709551615 5527232 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4242.39
Current children cumulated vsize (KiB) 893128

[startup+1122.3 s]
/proc/loadavg: 8.10 8.11 8.04 9/188 31042
/proc/meminfo: memFree=21637052/32950928 swapFree=67071984/67111528
[pid=30996] ppid=30994 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30996/stat : 30996 (prissAuto.sh) S 30994 30996 30862 0 -1 4202496 331 0 0 0 0 0 0 0 18 0 1 0 593994077 8908800 252 33554432000 4194304 4922060 140734966831168 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30996/statm: 2175 252 211 178 0 68 0
[pid=30997] ppid=30996 vsize=885400 CPUtime=4482.05 cores=1,3,5,7
/proc/30997/stat : 30997 (priss) S 30996 30996 30862 0 -1 4202496 192184 0 0 0 448069 136 0 0 18 0 5 0 593994077 906649600 151180 33554432000 4194304 5787044 140734757659392 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30997/statm: 221350 151180 417 389 0 217100 0
[pid=30997/tid=30999] ppid=30996 vsize=885400 CPUtime=1118.32 cores=1,3,5,7
/proc/30997/task/30999/stat : 30999 (priss) R 30996 30996 30862 0 -1 4202560 46843 0 0 0 111796 36 0 0 25 0 5 0 593994090 906649600 151180 33554432000 4194304 5787044 140734757659392 18446744073709551615 5586761 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30997/tid=31000] ppid=30996 vsize=885400 CPUtime=1119.59 cores=1,3,5,7
/proc/30997/task/31000/stat : 31000 (priss) R 30996 30996 30862 0 -1 4202560 43178 0 0 0 111922 37 0 0 25 0 5 0 593994092 906649600 151180 33554432000 4194304 5787044 140734757659392 18446744073709551615 5591337 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30997/tid=31001] ppid=30996 vsize=885400 CPUtime=1121.96 cores=1,3,5,7
/proc/30997/task/31001/stat : 31001 (priss) R 30996 30996 30862 0 -1 4202560 43262 0 0 0 112166 30 0 0 25 0 5 0 593994095 906649600 151180 33554432000 4194304 5787044 140734757659392 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30997/tid=31002] ppid=30996 vsize=885400 CPUtime=1121.94 cores=1,3,5,7
/proc/30997/task/31002/stat : 31002 (priss) R 30996 30996 30862 0 -1 4202560 40884 0 0 0 112165 29 0 0 25 0 5 0 593994099 906649600 151180 33554432000 4194304 5787044 140734757659392 18446744073709551615 5527696 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.05
Current children cumulated vsize (KiB) 894100

[startup+1182.31 s]
/proc/loadavg: 8.09 8.10 8.04 9/188 31044
/proc/meminfo: memFree=21627216/32950928 swapFree=67071984/67111528
[pid=30996] ppid=30994 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30996/stat : 30996 (prissAuto.sh) S 30994 30996 30862 0 -1 4202496 331 0 0 0 0 0 0 0 18 0 1 0 593994077 8908800 252 33554432000 4194304 4922060 140734966831168 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30996/statm: 2175 252 211 178 0 68 0
[pid=30997] ppid=30996 vsize=886600 CPUtime=4721.75 cores=1,3,5,7
/proc/30997/stat : 30997 (priss) S 30996 30996 30862 0 -1 4202496 194094 0 0 0 472035 140 0 0 18 0 5 0 593994077 907878400 153090 33554432000 4194304 5787044 140734757659392 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30997/statm: 221650 153090 417 389 0 217400 0
[pid=30997/tid=30999] ppid=30996 vsize=886600 CPUtime=1177.99 cores=1,3,5,7
/proc/30997/task/30999/stat : 30999 (priss) R 30996 30996 30862 0 -1 4202560 48338 0 0 0 117760 39 0 0 25 0 5 0 593994090 907878400 153090 33554432000 4194304 5787044 140734757659392 18446744073709551615 5591751 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30997/tid=31000] ppid=30996 vsize=886600 CPUtime=1179.6 cores=1,3,5,7
/proc/30997/task/31000/stat : 31000 (priss) R 30996 30996 30862 0 -1 4202560 43474 0 0 0 117922 38 0 0 25 0 5 0 593994092 907878400 153090 33554432000 4194304 5787044 140734757659392 18446744073709551615 4238583 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30997/tid=31001] ppid=30996 vsize=886600 CPUtime=1181.97 cores=1,3,5,7
/proc/30997/task/31001/stat : 31001 (priss) R 30996 30996 30862 0 -1 4202560 43262 0 0 0 118167 30 0 0 25 0 5 0 593994095 907878400 153090 33554432000 4194304 5787044 140734757659392 18446744073709551615 5585325 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30997/tid=31002] ppid=30996 vsize=886600 CPUtime=1181.94 cores=1,3,5,7
/proc/30997/task/31002/stat : 31002 (priss) R 30996 30996 30862 0 -1 4202560 41003 0 0 0 118165 29 0 0 25 0 5 0 593994099 907878400 153090 33554432000 4194304 5787044 140734757659392 18446744073709551615 5526895 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4721.75
Current children cumulated vsize (KiB) 895300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.06 8.09 8.03 9/188 31045
/proc/meminfo: memFree=21620380/32950928 swapFree=67071984/67111528
[pid=30996] ppid=30994 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30996/stat : 30996 (prissAuto.sh) S 30994 30996 30862 0 -1 4202496 331 0 0 0 0 0 0 0 18 0 1 0 593994077 8908800 252 33554432000 4194304 4922060 140734966831168 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30996/statm: 2175 252 211 178 0 68 0
[pid=30997] ppid=30996 vsize=887064 CPUtime=4800.04 cores=1,3,5,7
/proc/30997/stat : 30997 (priss) S 30996 30996 30862 0 -1 4202496 195417 0 0 0 479861 143 0 0 18 0 5 0 593994077 908353536 154413 33554432000 4194304 5787044 140734757659392 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30997/statm: 221766 154413 417 389 0 217516 0
[pid=30997/tid=30999] ppid=30996 vsize=887064 CPUtime=1197.49 cores=1,3,5,7
/proc/30997/task/30999/stat : 30999 (priss) R 30996 30996 30862 0 -1 4202560 48823 0 0 0 119709 40 0 0 25 0 5 0 593994090 908353536 154414 33554432000 4194304 5787044 140734757659392 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30997/tid=31000] ppid=30996 vsize=887064 CPUtime=1199.2 cores=1,3,5,7
/proc/30997/task/31000/stat : 31000 (priss) R 30996 30996 30862 0 -1 4202560 43568 0 0 0 119882 38 0 0 25 0 5 0 593994092 908353536 154414 33554432000 4194304 5787044 140734757659392 18446744073709551615 5591813 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30997/tid=31001] ppid=30996 vsize=887064 CPUtime=1201.57 cores=1,3,5,7
/proc/30997/task/31001/stat : 31001 (priss) R 30996 30996 30862 0 -1 4202560 43568 0 0 0 120126 31 0 0 25 0 5 0 593994095 908353536 154414 33554432000 4194304 5787044 140734757659392 18446744073709551615 260905055265 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30997/tid=31002] ppid=30996 vsize=887064 CPUtime=1201.54 cores=1,3,5,7
/proc/30997/task/31002/stat : 31002 (priss) R 30996 30996 30862 0 -1 4202560 41442 0 0 0 120124 30 0 0 25 0 5 0 593994099 908353536 154414 33554432000 4194304 5787044 140734757659392 18446744073709551615 5528078 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 895764

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

Real time (s): 1201.92
CPU time (s): 4800.04
CPU user time (s): 4798.61
CPU system time (s): 1.43
CPU usage (%): 399.365
Max. virtual memory (cumulated for all children) (KiB): 895764

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

runsolver used 1.65175 second user time and 4.91325 second system time

The end

Launcher Data 

Begin job on node116 at 2011-04-29 02:40:34
IDJOB=3280602
IDBENCH=20406
IDSOLVER=1602
FILE ID=node116/3280602-1304037634
RUNJOBID= node116-1304036428-30881
PBS_JOBID= 13170355
Free space on /tmp= 72504 MiB

SOLVER NAME= priss Auto
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-7-ipc5-h15-unsat.cnf
COMMAND LINE= DIR/prissAuto.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3280602-1304037634/watcher-3280602-1304037634 -o /tmp/evaluation-result-3280602-1304037634/solver-3280602-1304037634 -C 4800 -W 1300 -M 15500  HOME/prissAuto.sh HOME HOME/instance-3280602-1304037634.cnf 666726971 4800 15500 4

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

MD5SUM BENCH= 0683489092a5eb0c881dd17c2c45d08e
RANDOM SEED=666726971

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      23698684 kB
Buffers:       1893132 kB
Cached:        6894560 kB
SwapCached:       9732 kB
Active:        4319836 kB
Inactive:      4510700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23698684 kB
SwapTotal:    67111528 kB
SwapFree:     67071984 kB
Dirty:           12896 kB
Writeback:           0 kB
AnonPages:       35808 kB
Mapped:          13688 kB
Slab:           358352 kB
PageTables:       4672 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   192824 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= 72484 MiB
End job on node116 at 2011-04-29 03:00:38