Trace number 3499321

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
priss 1.0? (TO) 20391.7 5100.02

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-21x40.cnf
MD5SUM65a5698edfd6f3a12089595d81c196e3
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 variables3360
Number of clauses661080
Sum of the clauses size2634240
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 25040
Number of clauses of size 30
Number of clauses of size 4656040
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: 24835
0.00/0.19	c parsetime: 192111us
0.00/0.19	c parsed 661080 clauses with 3360 variables
0.00/0.23	c NW started thread 0 successfully (1108093248)
0.00/0.28	c NW started thread 1 successfully (1118583104)
0.00/0.33	c NW started thread 2 successfully (1094838592)
0.00/0.45	c NW started thread 3 successfully (1129072960)
608.96/152.59	c preprocessor returned 10003 variables
608.96/152.59	c preprocessing returned UNKNOWN
608.96/152.59	c PP set 0 variables
608.96/152.59	c pp time: 152355743us (152s)
610.17/152.83	c preprocessor returned 10003 variables
610.17/152.83	c preprocessing returned UNKNOWN
610.17/152.83	c PP set 0 variables
610.17/152.83	c pp time: 152499540us (152s)
627.76/157.20	c preprocessor returned 30002 variables
627.76/157.20	c preprocessing returned UNKNOWN
627.76/157.20	c PP set 0 variables
627.76/157.20	c pp time: 156752107us (156s)
650.16/162.81	c preprocessor returned 10003 variables
650.16/162.81	c preprocessing returned UNKNOWN
650.16/162.81	c PP set 0 variables
650.16/162.81	c pp time: 162528208us (162s)
3525.21/882.17	c HTE
3552.02/888.90	c subsumption
3707.11/927.66	c simplified formula contains 0 unit clauses
9418.46/2355.95	c HTE
9927.14/2483.14	c subsumption
11812.69/2954.70	c simplified formula contains 0 unit clauses

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.1 (svn: 989)

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 /var/tmp/evaluation-result-3499321-1307998341/watcher-3499321-1307998341 -o /var/tmp/evaluation-result-3499321-1307998341/solver-3499321-1307998341 -C 40000 -W 5100 -M 31000 HOME/priss.sh HOME HOME/instance-3499321-1307998341.cnf 311533493 40000 31000 8 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.09 3.18 3.62 3/170 24834
/proc/meminfo: memFree=15236704/32951124 swapFree=67054448/67111528
[pid=24834] ppid=24832 vsize=8700 CPUtime=0 cores=0-7
/proc/24834/stat : 24834 (priss.sh) S 24832 24834 24804 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 892249793 8908800 251 33554432000 4194304 4922060 140737031691360 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/24834/statm: 2175 251 211 178 0 68 0

[startup+0.100851 s]
/proc/loadavg: 2.09 3.18 3.62 3/170 24834
/proc/meminfo: memFree=15236704/32951124 swapFree=67054448/67111528
[pid=24834] ppid=24832 vsize=8700 CPUtime=0 cores=0-7
/proc/24834/stat : 24834 (priss.sh) S 24832 24834 24804 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 892249793 8908800 251 33554432000 4194304 4922060 140737031691360 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/24834/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.200829 s]
/proc/loadavg: 2.09 3.18 3.62 3/170 24834
/proc/meminfo: memFree=15236704/32951124 swapFree=67054448/67111528
[pid=24834] ppid=24832 vsize=8700 CPUtime=0 cores=0-7
/proc/24834/stat : 24834 (priss.sh) S 24832 24834 24804 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 892249793 8908800 251 33554432000 4194304 4922060 140737031691360 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/24834/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300809 s]
/proc/loadavg: 2.09 3.18 3.62 3/170 24834
/proc/meminfo: memFree=15236704/32951124 swapFree=67054448/67111528
[pid=24834] ppid=24832 vsize=8700 CPUtime=0 cores=0-7
/proc/24834/stat : 24834 (priss.sh) S 24832 24834 24804 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 892249793 8908800 251 33554432000 4194304 4922060 140737031691360 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/24834/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700725 s]
/proc/loadavg: 2.09 3.18 3.62 3/170 24834
/proc/meminfo: memFree=15236704/32951124 swapFree=67054448/67111528
[pid=24834] ppid=24832 vsize=8700 CPUtime=0 cores=0-7
/proc/24834/stat : 24834 (priss.sh) S 24832 24834 24804 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 892249793 8908800 251 33554432000 4194304 4922060 140737031691360 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/24834/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50058 s]
/proc/loadavg: 2.08 3.16 3.61 5/176 24840
/proc/meminfo: memFree=15043016/32951124 swapFree=67054448/67111528
[pid=24834] ppid=24832 vsize=8700 CPUtime=0 cores=0-7
/proc/24834/stat : 24834 (priss.sh) S 24832 24834 24804 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 892249793 8908800 251 33554432000 4194304 4922060 140737031691360 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/24834/statm: 2175 251 211 178 0 68 0
[pid=24835] ppid=24834 vsize=349352 CPUtime=5 cores=0-7
/proc/24835/stat : 24835 (priss) S 24834 24834 24804 0 -1 4202496 51550 0 0 0 491 9 0 0 18 0 5 0 892249793 357736448 48818 33554432000 4194304 5787044 140736667505744 18446744073709551615 270350207409 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/24835/statm: 87338 48818 349 389 0 83088 0
[pid=24835/tid=24837] ppid=24834 vsize=349352 CPUtime=1.25 cores=0-7
/proc/24835/task/24837/stat : 24837 (priss) R 24834 24834 24804 0 -1 4202560 5241 0 0 0 125 0 0 0 18 0 5 0 892249816 357736448 48818 33554432000 4194304 5787044 140736667505744 18446744073709551615 4336155 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24835/tid=24838] ppid=24834 vsize=349352 CPUtime=1.2 cores=0-7
/proc/24835/task/24838/stat : 24838 (priss) R 24834 24834 24804 0 -1 4202560 4346 0 0 0 119 1 0 0 22 0 5 0 892249821 357736448 48818 33554432000 4194304 5787044 140736667505744 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=24835/tid=24839] ppid=24834 vsize=349352 CPUtime=1.1 cores=0-7
/proc/24835/task/24839/stat : 24839 (priss) R 24834 24834 24804 0 -1 4202560 5201 0 0 0 109 1 0 0 18 0 5 0 892249826 357736448 48818 33554432000 4194304 5787044 140736667505744 18446744073709551615 4336759 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24835/tid=24840] ppid=24834 vsize=349352 CPUtime=1.04 cores=0-7
/proc/24835/task/24840/stat : 24840 (priss) R 24834 24834 24804 0 -1 4202560 5440 0 0 0 102 2 0 0 18 0 5 0 892249838 357736448 48818 33554432000 4194304 5787044 140736667505744 18446744073709551615 4336781 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5
Current children cumulated vsize (KiB) 358052

[startup+3.10125 s]
/proc/loadavg: 2.08 3.16 3.61 5/176 24840
/proc/meminfo: memFree=15042768/32951124 swapFree=67054448/67111528
[pid=24834] ppid=24832 vsize=8700 CPUtime=0 cores=0-7
/proc/24834/stat : 24834 (priss.sh) S 24832 24834 24804 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 892249793 8908800 251 33554432000 4194304 4922060 140737031691360 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/24834/statm: 2175 251 211 178 0 68 0
[pid=24835] ppid=24834 vsize=414888 CPUtime=11.39 cores=0-7
/proc/24835/stat : 24835 (priss) S 24834 24834 24804 0 -1 4202496 51552 0 0 0 1130 9 0 0 18 0 5 0 892249793 424845312 48820 33554432000 4194304 5787044 140736667505744 18446744073709551615 270350207409 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/24835/statm: 103722 48820 349 389 0 99472 0
[pid=24835/tid=24837] ppid=24834 vsize=414888 CPUtime=2.85 cores=0-7
/proc/24835/task/24837/stat : 24837 (priss) R 24834 24834 24804 0 -1 4202560 5243 0 0 0 285 0 0 0 18 0 5 0 892249816 424845312 48820 33554432000 4194304 5787044 140736667505744 18446744073709551615 4336744 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24835/tid=24838] ppid=24834 vsize=414888 CPUtime=2.8 cores=0-7
/proc/24835/task/24838/stat : 24838 (priss) R 24834 24834 24804 0 -1 4202560 4346 0 0 0 279 1 0 0 25 0 5 0 892249821 424845312 48820 33554432000 4194304 5787044 140736667505744 18446744073709551615 4336254 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=24835/tid=24839] ppid=24834 vsize=414888 CPUtime=2.69 cores=0-7
/proc/24835/task/24839/stat : 24839 (priss) R 24834 24834 24804 0 -1 4202560 5201 0 0 0 268 1 0 0 18 0 5 0 892249826 424845312 48820 33554432000 4194304 5787044 140736667505744 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24835/tid=24840] ppid=24834 vsize=414888 CPUtime=2.64 cores=0-7
/proc/24835/task/24840/stat : 24840 (priss) R 24834 24834 24804 0 -1 4202560 5440 0 0 0 262 2 0 0 18 0 5 0 892249838 424845312 48820 33554432000 4194304 5787044 140736667505744 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.39
Current children cumulated vsize (KiB) 423588

[startup+6.30061 s]
/proc/loadavg: 2.23 3.17 3.61 5/176 24840
/proc/meminfo: memFree=15043192/32951124 swapFree=67054448/67111528
[pid=24834] ppid=24832 vsize=8700 CPUtime=0 cores=0-7
/proc/24834/stat : 24834 (priss.sh) S 24832 24834 24804 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 892249793 8908800 251 33554432000 4194304 4922060 140737031691360 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/24834/statm: 2175 251 211 178 0 68 0
[pid=24835] ppid=24834 vsize=414888 CPUtime=24.2 cores=0-7
/proc/24835/stat : 24835 (priss) S 24834 24834 24804 0 -1 4202496 51552 0 0 0 2410 10 0 0 18 0 5 0 892249793 424845312 48820 33554432000 4194304 5787044 140736667505744 18446744073709551615 270350207409 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/24835/statm: 103722 48820 349 389 0 99472 0
[pid=24835/tid=24837] ppid=24834 vsize=414888 CPUtime=6.05 cores=0-7
/proc/24835/task/24837/stat : 24837 (priss) R 24834 24834 24804 0 -1 4202560 5243 0 0 0 605 0 0 0 25 0 5 0 892249816 424845312 48820 33554432000 4194304 5787044 140736667505744 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24835/tid=24838] ppid=24834 vsize=414888 CPUtime=6 cores=0-7
/proc/24835/task/24838/stat : 24838 (priss) R 24834 24834 24804 0 -1 4202560 4346 0 0 0 599 1 0 0 25 0 5 0 892249821 424845312 48820 33554432000 4194304 5787044 140736667505744 18446744073709551615 4336193 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=24835/tid=24839] ppid=24834 vsize=414888 CPUtime=5.89 cores=0-7
/proc/24835/task/24839/stat : 24839 (priss) R 24834 24834 24804 0 -1 4202560 5201 0 0 0 588 1 0 0 25 0 5 0 892249826 424845312 48820 33554432000 4194304 5787044 140736667505744 18446744073709551615 4336560 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24835/tid=24840] ppid=24834 vsize=414888 CPUtime=5.83 cores=0-7
/proc/24835/task/24840/stat : 24840 (priss) R 24834 24834 24804 0 -1 4202560 5440 0 0 0 581 2 0 0 25 0 5 0 892249838 424845312 48820 33554432000 4194304 5787044 140736667505744 18446744073709551615 4336133 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.2
Current children cumulated vsize (KiB) 423588

[startup+12.7003 s]
/proc/loadavg: 2.37 3.19 3.62 5/176 24840
/proc/meminfo: memFree=15043956/32951124 swapFree=67054448/67111528
[pid=24834] ppid=24832 vsize=8700 CPUtime=0 cores=0-7
/proc/24834/stat : 24834 (priss.sh) S 24832 24834 24804 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 892249793 8908800 251 33554432000 4194304 4922060 140737031691360 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/24834/statm: 2175 251 211 178 0 68 0
[pid=24835] ppid=24834 vsize=414888 CPUtime=49.8 cores=0-7
/proc/24835/stat : 24835 (priss) S 24834 24834 24804 0 -1 4202496 51552 0 0 0 4970 10 0 0 18 0 5 0 892249793 424845312 48820 33554432000 4194304 5787044 140736667505744 18446744073709551615 270350207409 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/24835/statm: 103722 48820 349 389 0 99472 0
[pid=24835/tid=24837] ppid=24834 vsize=414888 CPUtime=12.45 cores=0-7
/proc/24835/task/24837/stat : 24837 (priss) R 24834 24834 24804 0 -1 4202560 5243 0 0 0 1245 0 0 0 25 0 5 0 892249816 424845312 48820 33554432000 4194304 5787044 140736667505744 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24835/tid=24838] ppid=24834 vsize=414888 CPUtime=12.4 cores=0-7
/proc/24835/task/24838/stat : 24838 (priss) R 24834 24834 24804 0 -1 4202560 4346 0 0 0 1239 1 0 0 25 0 5 0 892249821 424845312 48820 33554432000 4194304 5787044 140736667505744 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=24835/tid=24839] ppid=24834 vsize=414888 CPUtime=12.29 cores=0-7
/proc/24835/task/24839/stat : 24839 (priss) R 24834 24834 24804 0 -1 4202560 5201 0 0 0 1228 1 0 0 25 0 5 0 892249826 424845312 48820 33554432000 4194304 5787044 140736667505744 18446744073709551615 4336770 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24835/tid=24840] ppid=24834 vsize=414888 CPUtime=12.23 cores=0-7
/proc/24835/task/24840/stat : 24840 (priss) R 24834 24834 24804 0 -1 4202560 5440 0 0 0 1221 2 0 0 25 0 5 0 892249838 424845312 48820 33554432000 4194304 5787044 140736667505744 18446744073709551615 4336759 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 49.8
Current children cumulated vsize (KiB) 423588

[startup+25.5008 s]
/proc/loadavg: 2.73 3.22 3.62 5/176 24840
/proc/meminfo: memFree=14863636/32951124 swapFree=67054448/67111528
[pid=24834] ppid=24832 vsize=8700 CPUtime=0 cores=0-7
/proc/24834/stat : 24834 (priss.sh) S 24832 24834 24804 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 892249793 8908800 251 33554432000 4194304 4922060 140737031691360 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/24834/statm: 2175 251 211 178 0 68 0
[pid=24835] ppid=24834 vsize=576556 CPUtime=100.94 cores=0-7
/proc/24835/stat : 24835 (priss) S 24834 24834 24804 0 -1 4202496 99625 0 0 0 10051 43 0 0 18 0 5 0 892249793 590393344 94309 33554432000 4194304 5787044 140736667505744 18446744073709551615 270350207409 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/24835/statm: 144139 94309 350 389 0 139889 0
[pid=24835/tid=24837] ppid=24834 vsize=576556 CPUtime=25.25 cores=0-7
/proc/24835/task/24837/stat : 24837 (priss) R 24834 24834 24804 0 -1 4202560 17926 0 0 0 2518 7 0 0 19 0 5 0 892249816 590393344 94309 33554432000 4194304 5787044 140736667505744 18446744073709551615 4318944 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=24835/tid=24838] ppid=24834 vsize=576556 CPUtime=25.19 cores=0-7
/proc/24835/task/24838/stat : 24838 (priss) R 24834 24834 24804 0 -1 4202560 14645 0 0 0 2516 3 0 0 25 0 5 0 892249821 590393344 94309 33554432000 4194304 5787044 140736667505744 18446744073709551615 270338041600 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=24835/tid=24839] ppid=24834 vsize=576556 CPUtime=25.09 cores=0-7
/proc/24835/task/24839/stat : 24839 (priss) R 24834 24834 24804 0 -1 4202560 17823 0 0 0 2503 6 0 0 18 0 5 0 892249826 590393344 94309 33554432000 4194304 5787044 140736667505744 18446744073709551615 4336744 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24835/tid=24840] ppid=24834 vsize=576556 CPUtime=25.01 cores=0-7
/proc/24835/task/24840/stat : 24840 (priss) R 24834 24834 24804 0 -1 4202560 17909 0 0 0 2478 23 0 0 18 0 5 0 892249838 590393344 94309 33554432000 4194304 5787044 140736667505744 18446744073709551615 4318956 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 100.94
Current children cumulated vsize (KiB) 585256

[startup+51.1007 s]
/proc/loadavg: 3.16 3.29 3.63 5/176 24841
/proc/meminfo: memFree=14815404/32951124 swapFree=67054448/67111528
[pid=24834] ppid=24832 vsize=8700 CPUtime=0 cores=0-7
/proc/24834/stat : 24834 (priss.sh) S 24832 24834 24804 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 892249793 8908800 251 33554432000 4194304 4922060 140737031691360 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/24834/statm: 2175 251 211 178 0 68 0
[pid=24835] ppid=24834 vsize=602856 CPUtime=203.35 cores=0-7
/proc/24835/stat : 24835 (priss) S 24834 24834 24804 0 -1 4202496 111399 0 0 0 20284 51 0 0 18 0 5 0 892249793 617324544 106083 33554432000 4194304 5787044 140736667505744 18446744073709551615 270350207409 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/24835/statm: 150714 106083 350 389 0 146464 0
[pid=24835/tid=24837] ppid=24834 vsize=602856 CPUtime=50.84 cores=0-7
/proc/24835/task/24837/stat : 24837 (priss) R 24834 24834 24804 0 -1 4202560 21635 0 0 0 5076 8 0 0 25 0 5 0 892249816 617324544 106083 33554432000 4194304 5787044 140736667505744 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=24835/tid=24838] ppid=24834 vsize=602856 CPUtime=50.79 cores=0-7
/proc/24835/task/24838/stat : 24838 (priss) R 24834 24834 24804 0 -1 4202560 19337 0 0 0 5076 3 0 0 25 0 5 0 892249821 617324544 106083 33554432000 4194304 5787044 140736667505744 18446744073709551615 4336173 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=24835/tid=24839] ppid=24834 vsize=602856 CPUtime=50.69 cores=0-7
/proc/24835/task/24839/stat : 24839 (priss) R 24834 24834 24804 0 -1 4202560 19541 0 0 0 5062 7 0 0 25 0 5 0 892249826 617324544 106083 33554432000 4194304 5787044 140736667505744 18446744073709551615 4336234 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24835/tid=24840] ppid=24834 vsize=602856 CPUtime=50.61 cores=0-7
/proc/24835/task/24840/stat : 24840 (priss) R 24834 24834 24804 0 -1 4202560 19564 0 0 0 5033 28 0 0 25 0 5 0 892249838 617324544 106083 33554432000 4194304 5787044 140736667505744 18446744073709551615 270338081386 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 203.35
Current children cumulated vsize (KiB) 611556

[startup+102.301 s]
/proc/loadavg: 3.64 3.39 3.65 5/176 24842
/proc/meminfo: memFree=14815616/32951124 swapFree=67054448/67111528
[pid=24834] ppid=24832 vsize=8700 CPUtime=0 cores=0-7
/proc/24834/stat : 24834 (priss.sh) S 24832 24834 24804 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 892249793 8908800 251 33554432000 4194304 4922060 140737031691360 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/24834/statm: 2175 251 211 178 0 68 0
[pid=24835] ppid=24834 vsize=602988 CPUtime=408.18 cores=0-7
/proc/24835/stat : 24835 (priss) S 24834 24834 24804 0 -1 4202496 111491 0 0 0 40767 51 0 0 18 0 5 0 892249793 617459712 106175 33554432000 4194304 5787044 140736667505744 18446744073709551615 270350207409 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/24835/statm: 150747 106175 352 389 0 146497 0
[pid=24835/tid=24837] ppid=24834 vsize=602988 CPUtime=102.05 cores=0-7
/proc/24835/task/24837/stat : 24837 (priss) R 24834 24834 24804 0 -1 4202560 21657 0 0 0 10197 8 0 0 25 0 5 0 892249816 617459712 106175 33554432000 4194304 5787044 140736667505744 18446744073709551615 4336794 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=24835/tid=24838] ppid=24834 vsize=602988 CPUtime=101.99 cores=0-7
/proc/24835/task/24838/stat : 24838 (priss) R 24834 24834 24804 0 -1 4202560 19360 0 0 0 10196 3 0 0 25 0 5 0 892249821 617459712 106175 33554432000 4194304 5787044 140736667505744 18446744073709551615 4336773 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=24835/tid=24839] ppid=24834 vsize=602988 CPUtime=101.9 cores=0-7
/proc/24835/task/24839/stat : 24839 (priss) R 24834 24834 24804 0 -1 4202560 19563 0 0 0 10183 7 0 0 25 0 5 0 892249826 617459712 106175 33554432000 4194304 5787044 140736667505744 18446744073709551615 4336181 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24835/tid=24840] ppid=24834 vsize=602988 CPUtime=101.82 cores=0-7

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

/proc/24835/task/24838/stat : 24838 (priss) R 24834 24834 24804 0 -1 4202560 347712 0 0 0 477720 345 0 0 25 0 5 0 892249821 5742227456 1301020 33554432000 4194304 5787044 140736667505744 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=24835/tid=24839] ppid=24834 vsize=5607644 CPUtime=4780.64 cores=0-7
/proc/24835/task/24839/stat : 24839 (priss) R 24834 24834 24804 0 -1 4202560 318297 0 0 0 477724 340 0 0 18 0 5 0 892249826 5742227456 1301020 33554432000 4194304 5787044 140736667505744 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24835/tid=24840] ppid=24834 vsize=5607644 CPUtime=4779.24 cores=0-7
/proc/24835/task/24840/stat : 24840 (priss) R 24834 24834 24804 0 -1 4202560 308849 0 0 0 477385 539 0 0 18 0 5 0 892249838 5742227456 1301020 33554432000 4194304 5787044 140736667505744 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 19121.7
Current children cumulated vsize (KiB) 5616344

[startup+4842.31 s]
/proc/loadavg: 4.01 4.01 3.95 5/176 24990
/proc/meminfo: memFree=9871256/32951124 swapFree=67054448/67111528
[pid=24834] ppid=24832 vsize=8700 CPUtime=0 cores=0-7
/proc/24834/stat : 24834 (priss.sh) S 24832 24834 24804 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 892249793 8908800 251 33554432000 4194304 4922060 140737031691360 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/24834/statm: 2175 251 211 178 0 68 0
[pid=24835] ppid=24834 vsize=5770460 CPUtime=19361.7 cores=0-7
/proc/24835/stat : 24835 (priss) S 24834 24834 24804 0 -1 4202496 1398007 0 0 0 1934440 1729 0 0 18 0 5 0 892249793 5908951040 1339389 33554432000 4194304 5787044 140736667505744 18446744073709551615 270350207409 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/24835/statm: 1442615 1339389 417 389 0 1438365 0
[pid=24835/tid=24837] ppid=24834 vsize=5770460 CPUtime=4840.74 cores=0-7
/proc/24835/task/24837/stat : 24837 (priss) R 24834 24834 24804 0 -1 4202560 364051 0 0 0 483611 463 0 0 18 0 5 0 892249816 5908951040 1339389 33554432000 4194304 5787044 140736667505744 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=24835/tid=24838] ppid=24834 vsize=5770460 CPUtime=4840.66 cores=0-7
/proc/24835/task/24838/stat : 24838 (priss) R 24834 24834 24804 0 -1 4202560 362601 0 0 0 483709 357 0 0 25 0 5 0 892249821 5908951040 1339389 33554432000 4194304 5787044 140736667505744 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=24835/tid=24839] ppid=24834 vsize=5770460 CPUtime=4840.64 cores=0-7
/proc/24835/task/24839/stat : 24839 (priss) R 24834 24834 24804 0 -1 4202560 326241 0 0 0 483718 346 0 0 18 0 5 0 892249826 5908951040 1339389 33554432000 4194304 5787044 140736667505744 18446744073709551615 5591319 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24835/tid=24840] ppid=24834 vsize=5770460 CPUtime=4839.24 cores=0-7
/proc/24835/task/24840/stat : 24840 (priss) R 24834 24834 24804 0 -1 4202560 313792 0 0 0 483366 558 0 0 23 0 5 0 892249838 5908951040 1339389 33554432000 4194304 5787044 140736667505744 18446744073709551615 5527587 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 19361.7
Current children cumulated vsize (KiB) 5779160

[startup+4902.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/176 24991
/proc/meminfo: memFree=9725144/32951124 swapFree=67054448/67111528
[pid=24834] ppid=24832 vsize=8700 CPUtime=0 cores=0-7
/proc/24834/stat : 24834 (priss.sh) S 24832 24834 24804 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 892249793 8908800 251 33554432000 4194304 4922060 140737031691360 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/24834/statm: 2175 251 211 178 0 68 0
[pid=24835] ppid=24834 vsize=5878172 CPUtime=19601.6 cores=0-7
/proc/24835/stat : 24835 (priss) S 24834 24834 24804 0 -1 4202496 1434694 0 0 0 1958380 1784 0 0 18 0 5 0 892249793 6019248128 1376076 33554432000 4194304 5787044 140736667505744 18446744073709551615 270350207409 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/24835/statm: 1469543 1376076 417 389 0 1465293 0
[pid=24835/tid=24837] ppid=24834 vsize=5878172 CPUtime=4900.72 cores=0-7
/proc/24835/task/24837/stat : 24837 (priss) R 24834 24834 24804 0 -1 4202560 374048 0 0 0 489592 480 0 0 18 0 5 0 892249816 6019248128 1376076 33554432000 4194304 5787044 140736667505744 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=24835/tid=24838] ppid=24834 vsize=5878172 CPUtime=4900.65 cores=0-7
/proc/24835/task/24838/stat : 24838 (priss) R 24834 24834 24804 0 -1 4202560 374157 0 0 0 489694 371 0 0 25 0 5 0 892249821 6019248128 1376076 33554432000 4194304 5787044 140736667505744 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=24835/tid=24839] ppid=24834 vsize=5878172 CPUtime=4900.64 cores=0-7
/proc/24835/task/24839/stat : 24839 (priss) R 24834 24834 24804 0 -1 4202560 336633 0 0 0 489713 351 0 0 25 0 5 0 892249826 6019248128 1376076 33554432000 4194304 5787044 140736667505744 18446744073709551615 5588664 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24835/tid=24840] ppid=24834 vsize=5878172 CPUtime=4899.22 cores=0-7
/proc/24835/task/24840/stat : 24840 (priss) R 24834 24834 24804 0 -1 4202560 318534 0 0 0 489345 577 0 0 19 0 5 0 892249838 6019248128 1376076 33554432000 4194304 5787044 140736667505744 18446744073709551615 5528398 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 19601.6
Current children cumulated vsize (KiB) 5886872

[startup+4962.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/176 24993
/proc/meminfo: memFree=9696700/32951124 swapFree=67054448/67111528
[pid=24834] ppid=24832 vsize=8700 CPUtime=0 cores=0-7
/proc/24834/stat : 24834 (priss.sh) S 24832 24834 24804 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 892249793 8908800 251 33554432000 4194304 4922060 140737031691360 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/24834/statm: 2175 251 211 178 0 68 0
[pid=24835] ppid=24834 vsize=5878172 CPUtime=19841.2 cores=0-7
/proc/24835/stat : 24835 (priss) S 24834 24834 24804 0 -1 4202496 1441516 0 0 0 1982324 1800 0 0 18 0 5 0 892249793 6019248128 1382898 33554432000 4194304 5787044 140736667505744 18446744073709551615 270350207409 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/24835/statm: 1469543 1382898 417 389 0 1465293 0
[pid=24835/tid=24837] ppid=24834 vsize=5878172 CPUtime=4960.69 cores=0-7
/proc/24835/task/24837/stat : 24837 (priss) R 24834 24834 24804 0 -1 4202560 376320 0 0 0 495585 484 0 0 25 0 5 0 892249816 6019248128 1382898 33554432000 4194304 5787044 140736667505744 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=24835/tid=24838] ppid=24834 vsize=5878172 CPUtime=4960.62 cores=0-7
/proc/24835/task/24838/stat : 24838 (priss) R 24834 24834 24804 0 -1 4202560 377683 0 0 0 495687 375 0 0 25 0 5 0 892249821 6019248128 1382898 33554432000 4194304 5787044 140736667505744 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=24835/tid=24839] ppid=24834 vsize=5878172 CPUtime=4960.34 cores=0-7
/proc/24835/task/24839/stat : 24839 (priss) R 24834 24834 24804 0 -1 4202560 336633 0 0 0 495680 354 0 0 20 0 5 0 892249826 6019248128 1382898 33554432000 4194304 5787044 140736667505744 18446744073709551615 5591342 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24835/tid=24840] ppid=24834 vsize=5878172 CPUtime=4959.19 cores=0-7
/proc/24835/task/24840/stat : 24840 (priss) R 24834 24834 24804 0 -1 4202560 319558 0 0 0 495337 582 0 0 25 0 5 0 892249838 6019248128 1382898 33554432000 4194304 5787044 140736667505744 18446744073709551615 5527218 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 19841.2
Current children cumulated vsize (KiB) 5886872

[startup+5022.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/176 24995
/proc/meminfo: memFree=9683624/32951124 swapFree=67054448/67111528
[pid=24834] ppid=24832 vsize=8700 CPUtime=0 cores=0-7
/proc/24834/stat : 24834 (priss.sh) S 24832 24834 24804 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 892249793 8908800 251 33554432000 4194304 4922060 140737031691360 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/24834/statm: 2175 251 211 178 0 68 0
[pid=24835] ppid=24834 vsize=5878172 CPUtime=20081.2 cores=0-7
/proc/24835/stat : 24835 (priss) S 24834 24834 24804 0 -1 4202496 1447195 0 0 0 2006320 1804 0 0 18 0 5 0 892249793 6019248128 1386149 33554432000 4194304 5787044 140736667505744 18446744073709551615 270350207409 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/24835/statm: 1469543 1386149 417 389 0 1465293 0
[pid=24835/tid=24837] ppid=24834 vsize=5878172 CPUtime=5020.69 cores=0-7
/proc/24835/task/24837/stat : 24837 (priss) R 24834 24834 24804 0 -1 4202560 377514 0 0 0 501584 485 0 0 19 0 5 0 892249816 6019248128 1386149 33554432000 4194304 5787044 140736667505744 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=24835/tid=24838] ppid=24834 vsize=5878172 CPUtime=5020.62 cores=0-7
/proc/24835/task/24838/stat : 24838 (priss) R 24834 24834 24804 0 -1 4202560 381370 0 0 0 501686 376 0 0 25 0 5 0 892249821 6019248128 1386149 33554432000 4194304 5787044 140736667505744 18446744073709551615 270338081785 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=24835/tid=24839] ppid=24834 vsize=5878172 CPUtime=5020.34 cores=0-7
/proc/24835/task/24839/stat : 24839 (priss) R 24834 24834 24804 0 -1 4202560 336634 0 0 0 501680 354 0 0 25 0 5 0 892249826 6019248128 1386149 33554432000 4194304 5787044 140736667505744 18446744073709551615 5591342 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24835/tid=24840] ppid=24834 vsize=5878172 CPUtime=5019.19 cores=0-7
/proc/24835/task/24840/stat : 24840 (priss) R 24834 24834 24804 0 -1 4202560 320355 0 0 0 501335 584 0 0 25 0 5 0 892249838 6019248128 1386149 33554432000 4194304 5787044 140736667505744 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 20081.2
Current children cumulated vsize (KiB) 5886872

[startup+5082.3 s]
/proc/loadavg: 4.00 4.00 3.95 5/176 24996
/proc/meminfo: memFree=9677876/32951124 swapFree=67054448/67111528
[pid=24834] ppid=24832 vsize=8700 CPUtime=0 cores=0-7
/proc/24834/stat : 24834 (priss.sh) S 24832 24834 24804 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 892249793 8908800 251 33554432000 4194304 4922060 140737031691360 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/24834/statm: 2175 251 211 178 0 68 0
[pid=24835] ppid=24834 vsize=5878172 CPUtime=20320.8 cores=0-7
/proc/24835/stat : 24835 (priss) S 24834 24834 24804 0 -1 4202496 1448633 0 0 0 2030272 1812 0 0 18 0 5 0 892249793 6019248128 1387587 33554432000 4194304 5787044 140736667505744 18446744073709551615 270350207409 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/24835/statm: 1469543 1387587 417 389 0 1465293 0
[pid=24835/tid=24837] ppid=24834 vsize=5878172 CPUtime=5080.66 cores=0-7
/proc/24835/task/24837/stat : 24837 (priss) R 24834 24834 24804 0 -1 4202560 378509 0 0 0 507579 487 0 0 24 0 5 0 892249816 6019248128 1387587 33554432000 4194304 5787044 140736667505744 18446744073709551615 270338488863 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=24835/tid=24838] ppid=24834 vsize=5878172 CPUtime=5080.31 cores=0-7
/proc/24835/task/24838/stat : 24838 (priss) R 24834 24834 24804 0 -1 4202560 381370 0 0 0 507652 379 0 0 25 0 5 0 892249821 6019248128 1387587 33554432000 4194304 5787044 140736667505744 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=24835/tid=24839] ppid=24834 vsize=5878172 CPUtime=5080.3 cores=0-7
/proc/24835/task/24839/stat : 24839 (priss) R 24834 24834 24804 0 -1 4202560 336634 0 0 0 507675 355 0 0 23 0 5 0 892249826 6019248128 1387587 33554432000 4194304 5787044 140736667505744 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24835/tid=24840] ppid=24834 vsize=5878172 CPUtime=5079.15 cores=0-7
/proc/24835/task/24840/stat : 24840 (priss) R 24834 24834 24804 0 -1 4202560 320798 0 0 0 507330 585 0 0 25 0 5 0 892249838 6019248128 1387587 33554432000 4194304 5787044 140736667505744 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 20320.8
Current children cumulated vsize (KiB) 5886872



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+5100 s]
/proc/loadavg: 4.00 4.00 3.95 5/176 24997
/proc/meminfo: memFree=9676008/32951124 swapFree=67054448/67111528
[pid=24834] ppid=24832 vsize=8700 CPUtime=0 cores=0-7
/proc/24834/stat : 24834 (priss.sh) S 24832 24834 24804 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 892249793 8908800 251 33554432000 4194304 4922060 140737031691360 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/24834/statm: 2175 251 211 178 0 68 0
[pid=24835] ppid=24834 vsize=5878172 CPUtime=20391.7 cores=0-7
/proc/24835/stat : 24835 (priss) S 24834 24834 24804 0 -1 4202496 1449071 0 0 0 2037353 1813 0 0 18 0 5 0 892249793 6019248128 1388025 33554432000 4194304 5787044 140736667505744 18446744073709551615 270350207409 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/24835/statm: 1469543 1388025 417 389 0 1465293 0
[pid=24835/tid=24837] ppid=24834 vsize=5878172 CPUtime=5098.37 cores=0-7
/proc/24835/task/24837/stat : 24837 (priss) R 24834 24834 24804 0 -1 4202560 378920 0 0 0 509349 488 0 0 19 0 5 0 892249816 6019248128 1388025 33554432000 4194304 5787044 140736667505744 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=24835/tid=24838] ppid=24834 vsize=5878172 CPUtime=5098.01 cores=0-7
/proc/24835/task/24838/stat : 24838 (priss) R 24834 24834 24804 0 -1 4202560 381370 0 0 0 509422 379 0 0 25 0 5 0 892249821 6019248128 1388025 33554432000 4194304 5787044 140736667505744 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=24835/tid=24839] ppid=24834 vsize=5878172 CPUtime=5098.02 cores=0-7
/proc/24835/task/24839/stat : 24839 (priss) R 24834 24834 24804 0 -1 4202560 336634 0 0 0 509446 356 0 0 18 0 5 0 892249826 6019248128 1388025 33554432000 4194304 5787044 140736667505744 18446744073709551615 5591827 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24835/tid=24840] ppid=24834 vsize=5878172 CPUtime=5096.85 cores=0-7
/proc/24835/task/24840/stat : 24840 (priss) R 24834 24834 24804 0 -1 4202560 320825 0 0 0 509100 585 0 0 25 0 5 0 892249838 6019248128 1388025 33554432000 4194304 5787044 140736667505744 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 20391.7
Current children cumulated vsize (KiB) 5886872

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

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

[startup+5100 s]
/proc/loadavg: 4.00 4.00 3.95 5/176 24997
/proc/meminfo: memFree=9676008/32951124 swapFree=67054448/67111528
[pid=24834] ppid=24832 vsize=8700 CPUtime=0 cores=0-7
/proc/24834/stat : 24834 (priss.sh) S 24832 24834 24804 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 892249793 8908800 251 33554432000 4194304 4922060 140737031691360 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/24834/statm: 2175 251 211 178 0 68 0
[pid=24835] ppid=24834 vsize=5878172 CPUtime=20391.7 cores=0-7
/proc/24835/stat : 24835 (priss) S 24834 24834 24804 0 -1 4202496 1449071 0 0 0 2037353 1813 0 0 18 0 5 0 892249793 6019248128 1388025 33554432000 4194304 5787044 140736667505744 18446744073709551615 270350207409 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/24835/statm: 1469543 1388025 417 389 0 1465293 0
[pid=24835/tid=24837] ppid=24834 vsize=5878172 CPUtime=5098.37 cores=0-7
/proc/24835/task/24837/stat : 24837 (priss) R 24834 24834 24804 0 -1 4202560 378920 0 0 0 509349 488 0 0 19 0 5 0 892249816 6019248128 1388025 33554432000 4194304 5787044 140736667505744 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=24835/tid=24838] ppid=24834 vsize=5878172 CPUtime=5098.01 cores=0-7
/proc/24835/task/24838/stat : 24838 (priss) R 24834 24834 24804 0 -1 4202560 381370 0 0 0 509422 379 0 0 25 0 5 0 892249821 6019248128 1388025 33554432000 4194304 5787044 140736667505744 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=24835/tid=24839] ppid=24834 vsize=5878172 CPUtime=5098.02 cores=0-7
/proc/24835/task/24839/stat : 24839 (priss) R 24834 24834 24804 0 -1 4202560 336634 0 0 0 509446 356 0 0 18 0 5 0 892249826 6019248128 1388025 33554432000 4194304 5787044 140736667505744 18446744073709551615 5591827 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=24835/tid=24840] ppid=24834 vsize=5878172 CPUtime=5096.85 cores=0-7
/proc/24835/task/24840/stat : 24840 (priss) R 24834 24834 24804 0 -1 4202560 320825 0 0 0 509100 585 0 0 25 0 5 0 892249838 6019248128 1388025 33554432000 4194304 5787044 140736667505744 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 20391.7
Current children cumulated vsize (KiB) 5886872

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 5100.02
CPU time (s): 20391.7
CPU user time (s): 20373.5
CPU system time (s): 18.13
CPU usage (%): 399.835
Max. virtual memory (cumulated for all children) (KiB): 5886872

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= 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= 5
involuntary context switches= 4

runsolver used 8.37173 second user time and 19.2271 second system time

The end

Launcher Data 

Begin job on node143 at 2011-06-13 22:52:22
IDJOB=3499321
IDBENCH=83166
IDSOLVER=1994
FILE ID=node143/3499321-1307998341
RUNJOBID= node143-1307998341-24818
PBS_JOBID= 13559827
Free space on /var/tmp= 2900 MiB

SOLVER NAME= priss 1.0
BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-21x40.cnf
COMMAND LINE= DIR/priss.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3499321-1307998341/watcher-3499321-1307998341 -o /var/tmp/evaluation-result-3499321-1307998341/solver-3499321-1307998341 -C 40000 -W 5100 -M 31000  HOME/priss.sh HOME HOME/instance-3499321-1307998341.cnf 311533493 40000 31000 8

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 65a5698edfd6f3a12089595d81c196e3
RANDOM SEED=311533493

node143.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.846
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.69
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.846
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.846
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.846
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.83
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.846
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.75
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.846
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.83
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.846
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.74
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.846
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      15236884 kB
Buffers:        120396 kB
Cached:       16957276 kB
SwapCached:       9580 kB
Active:        1506304 kB
Inactive:     15589248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15236884 kB
SwapTotal:    67111528 kB
SwapFree:     67054448 kB
Dirty:           17492 kB
Writeback:           0 kB
AnonPages:       15540 kB
Mapped:          12188 kB
Slab:           553144 kB
PageTables:       3840 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   179220 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 /var/tmp at the end= 2896 MiB
End job on node143 at 2011-06-14 00:17:24