Trace number 3293575

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
priss 1.0? (TO) 4800.34 1205.42

General information on the benchmark

NameSAT-Race-2010-CNF/hardware-verification/
velev/1dlx_c_iq57_a.cnf
MD5SUM953b9cb99bfd26cff0e1ac65be1241f6
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark630.301
Satisfiable
(Un)Satisfiability was proved
Number of variables569795
Number of clauses8562505
Sum of the clauses size24843745
Maximum clause length186
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 27567948
Number of clauses of size 3724416
Number of clauses of size 49898
Number of clauses of size 560873
Number of clauses of size over 5199369

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: 27600
2.79/2.88	c parsetime: 2876935us
2.79/2.88	c parsed 8562505 clauses with 569795 variables
3.39/3.42	c NW started thread 0 successfully (1101068608)
3.56/3.55	c preprocessor returned 569795 variables
3.56/3.55	c preprocessing returned UNKNOWN
3.56/3.55	c PP set 0 variables
3.56/3.55	c pp time: 1us (0s)
4.56/4.01	c NW started thread 1 successfully (1114757440)
7.48/4.90	c preprocessor returned 569795 variables
7.48/4.90	c preprocessing returned UNKNOWN
7.48/4.90	c PP set 0 variables
7.48/4.90	c pp time: 1us (0s)
7.48/4.90	c NW started thread 2 successfully (1125247296)
7.48/4.90	c preprocessor returned 569795 variables
7.48/4.90	c preprocessing returned UNKNOWN
7.48/4.90	c PP set 0 variables
7.48/4.90	c pp time: 1us (0s)
8.64/5.29	c NW started thread 3 successfully (1135737152)
9.43/5.43	c preprocessor returned 569795 variables
9.43/5.43	c preprocessing returned UNKNOWN
9.43/5.43	c PP set 0 variables
9.43/5.43	c pp time: 2us (0s)
823.80/209.34	c HTE
921.28/233.71	c subsumption
921.28/233.71	c simplified formula contains 0 unit clauses
993.56/251.84	c HTE
1107.77/280.64	c subsumption
1107.77/280.64	c simplified formula contains 0 unit clauses
1663.04/419.62	c HTE
1784.62/450.17	c subsumption
1784.62/450.17	c simplified formula contains 0 unit clauses
1878.89/473.78	c HTE
2006.13/505.77	c subsumption
2006.13/505.77	c simplified formula contains 0 unit clauses
2153.95/542.77	c HTE
2317.31/583.64	c subsumption
2317.31/583.64	c simplified formula contains 0 unit clauses
2318.51/583.96	c received clause contains eliminated literal -487473
2436.35/613.42	c HTE
2580.70/649.71	c subsumption
2580.70/649.71	c simplified formula contains 0 unit clauses
2784.03/700.66	c HTE
3006.52/756.38	c subsumption
3006.52/756.38	c simplified formula contains 0 unit clauses
3753.12/943.25	c HTE
3960.34/995.12	c subsumption
3960.34/995.12	c simplified formula contains 0 unit clauses
4129.71/1037.57	c HTE
4316.65/1084.39	c subsumption
4316.65/1084.39	c simplified formula contains 0 unit clauses
4317.85/1084.67	c received clause contains eliminated literal -496993
4317.85/1084.67	c received clause contains eliminated literal 50404
4485.62/1126.61	c HTE
4660.92/1170.51	c subsumption
4660.92/1170.51	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.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-3293575-1304083219/watcher-3293575-1304083219 -o /tmp/evaluation-result-3293575-1304083219/solver-3293575-1304083219 -C 4800 -W 1300 -M 15500 HOME/priss.sh HOME HOME/instance-3293575-1304083219.cnf 773146282 4800 15500 4 

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

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


[startup+0 s]
/proc/loadavg: 3.69 4.66 6.23 3/178 27599
/proc/meminfo: memFree=17975912/32950928 swapFree=67111528/67111528
[pid=27599] ppid=27597 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27599/stat : 27599 (priss.sh) S 27597 27599 25471 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 519918636 8908800 252 33554432000 4194304 4922060 140734329563424 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27599/statm: 2175 252 211 178 0 68 0

[startup+0.035807 s]
/proc/loadavg: 3.69 4.66 6.23 3/178 27599
/proc/meminfo: memFree=17975912/32950928 swapFree=67111528/67111528
[pid=27599] ppid=27597 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27599/stat : 27599 (priss.sh) S 27597 27599 25471 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 519918636 8908800 252 33554432000 4194304 4922060 140734329563424 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27599/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100796 s]
/proc/loadavg: 3.69 4.66 6.23 3/178 27599
/proc/meminfo: memFree=17975912/32950928 swapFree=67111528/67111528
[pid=27599] ppid=27597 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27599/stat : 27599 (priss.sh) S 27597 27599 25471 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 519918636 8908800 252 33554432000 4194304 4922060 140734329563424 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27599/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300753 s]
/proc/loadavg: 3.69 4.66 6.23 3/178 27599
/proc/meminfo: memFree=17975912/32950928 swapFree=67111528/67111528
[pid=27599] ppid=27597 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27599/stat : 27599 (priss.sh) S 27597 27599 25471 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 519918636 8908800 252 33554432000 4194304 4922060 140734329563424 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27599/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700676 s]
/proc/loadavg: 3.69 4.66 6.23 3/178 27599
/proc/meminfo: memFree=17975912/32950928 swapFree=67111528/67111528
[pid=27599] ppid=27597 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27599/stat : 27599 (priss.sh) S 27597 27599 25471 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 519918636 8908800 252 33554432000 4194304 4922060 140734329563424 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27599/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50052 s]
/proc/loadavg: 3.55 4.62 6.20 3/180 27601
/proc/meminfo: memFree=17741420/32950928 swapFree=67111528/67111528
[pid=27599] ppid=27597 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27599/stat : 27599 (priss.sh) S 27597 27599 25471 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 519918636 8908800 252 33554432000 4194304 4922060 140734329563424 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27599/statm: 2175 252 211 178 0 68 0
[pid=27600] ppid=27599 vsize=208472 CPUtime=1.49 cores=0,2,4,6
/proc/27600/stat : 27600 (priss) R 27599 27599 25471 0 -1 4202496 52555 0 0 0 141 8 0 0 25 0 1 0 519918636 213475328 44548 33554432000 4194304 5787044 140737232802432 18446744073709551615 254500353057 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27600/statm: 52118 44548 304 389 0 47868 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 217172

[startup+3.10115 s]
/proc/loadavg: 3.55 4.62 6.20 4/183 27604
/proc/meminfo: memFree=16761920/32950928 swapFree=67111528/67111528
[pid=27599] ppid=27597 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27599/stat : 27599 (priss.sh) S 27597 27599 25471 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 519918636 8908800 252 33554432000 4194304 4922060 140734329563424 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27599/statm: 2175 252 211 178 0 68 0
[pid=27600] ppid=27599 vsize=529060 CPUtime=3.09 cores=0,2,4,6
/proc/27600/stat : 27600 (priss) R 27599 27599 25471 0 -1 4202496 136653 0 0 0 290 19 0 0 25 0 1 0 519918636 541757440 120645 33554432000 4194304 5787044 140737232802432 18446744073709551615 254500352709 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/27600/statm: 132265 120646 308 389 0 128015 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 537760

[startup+6.30045 s]
/proc/loadavg: 4.07 4.71 6.22 9/188 27610
/proc/meminfo: memFree=12991412/32950928 swapFree=67111528/67111528
[pid=27599] ppid=27597 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27599/stat : 27599 (priss.sh) S 27597 27599 25471 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 519918636 8908800 252 33554432000 4194304 4922060 140734329563424 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27599/statm: 2175 252 211 178 0 68 0
[pid=27600] ppid=27599 vsize=3139704 CPUtime=12.99 cores=0,2,4,6
/proc/27600/stat : 27600 (priss) S 27599 27599 25471 0 -1 4202496 714695 0 0 0 1190 109 0 0 18 0 5 0 519918636 3215056896 698687 33554432000 4194304 5787044 140737232802432 18446744073709551615 254512515505 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/27600/statm: 784926 698687 393 389 0 780676 0
[pid=27600/tid=27606] ppid=27599 vsize=3139704 CPUtime=2.83 cores=0,2,4,6
/proc/27600/task/27606/stat : 27606 (priss) R 27599 27599 25471 0 -1 4202560 78021 0 0 0 271 12 0 0 19 0 5 0 519918979 3215056896 698688 33554432000 4194304 5787044 140737232802432 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=27600/tid=27608] ppid=27599 vsize=3139704 CPUtime=2.23 cores=0,2,4,6
/proc/27600/task/27608/stat : 27608 (priss) R 27599 27599 25471 0 -1 4202560 78966 0 0 0 207 16 0 0 19 0 5 0 519919038 3215056896 698689 33554432000 4194304 5787044 140737232802432 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=27600/tid=27609] ppid=27599 vsize=3139704 CPUtime=1.63 cores=0,2,4,6
/proc/27600/task/27609/stat : 27609 (priss) R 27599 27599 25471 0 -1 4202560 85153 0 0 0 145 18 0 0 18 0 5 0 519919099 3215056896 698692 33554432000 4194304 5787044 140737232802432 18446744073709551615 5387461 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=27600/tid=27610] ppid=27599 vsize=3139704 CPUtime=0.98 cores=0,2,4,6
/proc/27600/task/27610/stat : 27610 (priss) R 27599 27599 25471 0 -1 4202560 42917 0 0 0 94 4 0 0 18 0 5 0 519919165 3215056896 698692 33554432000 4194304 5787044 140737232802432 18446744073709551615 254500352709 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.99
Current children cumulated vsize (KiB) 3148404

[startup+12.7012 s]
/proc/loadavg: 4.38 4.76 6.23 9/188 27610
/proc/meminfo: memFree=13490648/32950928 swapFree=67111528/67111528
[pid=27599] ppid=27597 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27599/stat : 27599 (priss.sh) S 27597 27599 25471 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 519918636 8908800 252 33554432000 4194304 4922060 140734329563424 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27599/statm: 2175 252 211 178 0 68 0
[pid=27600] ppid=27599 vsize=3259776 CPUtime=38.53 cores=0,2,4,6
/proc/27600/stat : 27600 (priss) S 27599 27599 25471 0 -1 4202496 746181 0 0 0 3734 119 0 0 18 0 5 0 519918636 3338010624 730078 33554432000 4194304 5787044 140737232802432 18446744073709551615 254512515505 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/27600/statm: 814944 730078 402 389 0 810694 0
[pid=27600/tid=27606] ppid=27599 vsize=3259776 CPUtime=9.24 cores=0,2,4,6
/proc/27600/task/27606/stat : 27606 (priss) R 27599 27599 25471 0 -1 4202560 78183 0 0 0 911 13 0 0 25 0 5 0 519918979 3338010624 730078 33554432000 4194304 5787044 140737232802432 18446744073709551615 5591337 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=27600/tid=27608] ppid=27599 vsize=3259776 CPUtime=8.59 cores=0,2,4,6
/proc/27600/task/27608/stat : 27608 (priss) R 27599 27599 25471 0 -1 4202560 80536 0 0 0 843 16 0 0 25 0 5 0 519919038 3338010624 730078 33554432000 4194304 5787044 140737232802432 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=27600/tid=27609] ppid=27599 vsize=3259776 CPUtime=8.01 cores=0,2,4,6
/proc/27600/task/27609/stat : 27609 (priss) R 27599 27599 25471 0 -1 4202560 89177 0 0 0 779 22 0 0 25 0 5 0 519919099 3338010624 730078 33554432000 4194304 5787044 140737232802432 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=27600/tid=27610] ppid=27599 vsize=3259776 CPUtime=7.38 cores=0,2,4,6
/proc/27600/task/27610/stat : 27610 (priss) R 27599 27599 25471 0 -1 4202560 68642 0 0 0 729 9 0 0 25 0 5 0 519919165 3338010624 730078 33554432000 4194304 5787044 140737232802432 18446744073709551615 4215354 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 38.53
Current children cumulated vsize (KiB) 3268476

[startup+25.5006 s]
/proc/loadavg: 4.94 4.87 6.25 9/188 27610
/proc/meminfo: memFree=13457292/32950928 swapFree=67111528/67111528
[pid=27599] ppid=27597 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27599/stat : 27599 (priss.sh) S 27597 27599 25471 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 519918636 8908800 252 33554432000 4194304 4922060 140734329563424 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27599/statm: 2175 252 211 178 0 68 0
[pid=27600] ppid=27599 vsize=3259776 CPUtime=89.67 cores=0,2,4,6
/proc/27600/stat : 27600 (priss) S 27599 27599 25471 0 -1 4202496 747631 0 0 0 8847 120 0 0 18 0 5 0 519918636 3338010624 731056 33554432000 4194304 5787044 140737232802432 18446744073709551615 254512515505 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/27600/statm: 814944 731056 405 389 0 810694 0
[pid=27600/tid=27606] ppid=27599 vsize=3259776 CPUtime=22.04 cores=0,2,4,6
/proc/27600/task/27606/stat : 27606 (priss) R 27599 27599 25471 0 -1 4202560 78486 0 0 0 2191 13 0 0 25 0 5 0 519918979 3338010624 731056 33554432000 4194304 5787044 140737232802432 18446744073709551615 4254546 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=27600/tid=27608] ppid=27599 vsize=3259776 CPUtime=21.33 cores=0,2,4,6
/proc/27600/task/27608/stat : 27608 (priss) R 27599 27599 25471 0 -1 4202560 81275 0 0 0 2116 17 0 0 25 0 5 0 519919038 3338010624 731056 33554432000 4194304 5787044 140737232802432 18446744073709551615 5590420 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=27600/tid=27609] ppid=27599 vsize=3259776 CPUtime=20.81 cores=0,2,4,6
/proc/27600/task/27609/stat : 27609 (priss) R 27599 27599 25471 0 -1 4202560 89353 0 0 0 2059 22 0 0 25 0 5 0 519919099 3338010624 731056 33554432000 4194304 5787044 140737232802432 18446744073709551615 5588208 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=27600/tid=27610] ppid=27599 vsize=3259776 CPUtime=20.19 cores=0,2,4,6
/proc/27600/task/27610/stat : 27610 (priss) R 27599 27599 25471 0 -1 4202560 68874 0 0 0 2009 10 0 0 25 0 5 0 519919165 3338010624 731056 33554432000 4194304 5787044 140737232802432 18446744073709551615 5524613 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 89.67
Current children cumulated vsize (KiB) 3268476

[startup+51.1065 s]
/proc/loadavg: 6.14 5.16 6.31 9/188 27611
/proc/meminfo: memFree=13403608/32950928 swapFree=67111528/67111528
[pid=27599] ppid=27597 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27599/stat : 27599 (priss.sh) S 27597 27599 25471 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 519918636 8908800 252 33554432000 4194304 4922060 140734329563424 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27599/statm: 2175 252 211 178 0 68 0
[pid=27600] ppid=27599 vsize=3259776 CPUtime=191.9 cores=0,2,4,6
/proc/27600/stat : 27600 (priss) S 27599 27599 25471 0 -1 4202496 750480 0 0 0 19068 122 0 0 18 0 5 0 519918636 3338010624 732718 33554432000 4194304 5787044 140737232802432 18446744073709551615 254512515505 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/27600/statm: 814944 732718 405 389 0 810694 0
[pid=27600/tid=27606] ppid=27599 vsize=3259776 CPUtime=47.64 cores=0,2,4,6
/proc/27600/task/27606/stat : 27606 (priss) R 27599 27599 25471 0 -1 4202560 79019 0 0 0 4751 13 0 0 25 0 5 0 519918979 3338010624 732718 33554432000 4194304 5787044 140737232802432 18446744073709551615 5576674 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=27600/tid=27608] ppid=27599 vsize=3259776 CPUtime=46.79 cores=0,2,4,6
/proc/27600/task/27608/stat : 27608 (priss) R 27599 27599 25471 0 -1 4202560 82311 0 0 0 4662 17 0 0 25 0 5 0 519919038 3338010624 732718 33554432000 4194304 5787044 140737232802432 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=27600/tid=27609] ppid=27599 vsize=3259776 CPUtime=46.37 cores=0,2,4,6
/proc/27600/task/27609/stat : 27609 (priss) R 27599 27599 25471 0 -1 4202560 90025 0 0 0 4614 23 0 0 25 0 5 0 519919099 3338010624 732718 33554432000 4194304 5787044 140737232802432 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=27600/tid=27610] ppid=27599 vsize=3259776 CPUtime=45.79 cores=0,2,4,6
/proc/27600/task/27610/stat : 27610 (priss) R 27599 27599 25471 0 -1 4202560 69482 0 0 0 4569 10 0 0 25 0 5 0 519919165 3338010624 732718 33554432000 4194304 5787044 140737232802432 18446744073709551615 4218330 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 191.9
Current children cumulated vsize (KiB) 3268476

[startup+102.3 s]
/proc/loadavg: 7.31 5.63 6.40 9/188 27612
/proc/meminfo: memFree=13394340/32950928 swapFree=67111528/67111528
[pid=27599] ppid=27597 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27599/stat : 27599 (priss.sh) S 27597 27599 25471 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 519918636 8908800 252 33554432000 4194304 4922060 140734329563424 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27599/statm: 2175 252 211 178 0 68 0
[pid=27600] ppid=27599 vsize=3262848 CPUtime=396.37 cores=0,2,4,6
/proc/27600/stat : 27600 (priss) S 27599 27599 25471 0 -1 4202496 754725 0 0 0 39513 124 0 0 18 0 5 0 519918636 3341156352 734921 33554432000 4194304 5787044 140737232802432 18446744073709551615 254512515505 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/27600/statm: 815712 734921 405 389 0 811462 0
[pid=27600/tid=27606] ppid=27599 vsize=3262848 CPUtime=98.84 cores=0,2,4,6
/proc/27600/task/27606/stat : 27606 (priss) R 27599 27599 25471 0 -1 4202560 80584 0 0 0 9870 14 0 0 25 0 5 0 519918979 3341156352 734921 33554432000 4194304 5787044 140737232802432 18446744073709551615 5601760 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=27600/tid=27608] ppid=27599 vsize=3262848 CPUtime=97.71 cores=0,2,4,6
/proc/27600/task/27608/stat : 27608 (priss) R 27599 27599 25471 0 -1 4202560 83571 0 0 0 9753 18 0 0 25 0 5 0 519919038 3341156352 734921 33554432000 4194304 5787044 140737232802432 18446744073709551615 5585297 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=27600/tid=27609] ppid=27599 vsize=3262848 CPUtime=97.53 cores=0,2,4,6
/proc/27600/task/27609/stat : 27609 (priss) R 27599 27599 25471 0 -1 4202560 90758 0 0 0 9730 23 0 0 25 0 5 0 519919099 3341156352 734921 33554432000 4194304 5787044 140737232802432 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=27600/tid=27610] ppid=27599 vsize=3262848 CPUtime=96.99 cores=0,2,4,6
/proc/27600/task/27610/stat : 27610 (priss) R 27599 27599 25471 0 -1 4202560 70169 0 0 0 9688 11 0 0 25 0 5 0 519919165 3341156352 734921 33554432000 4194304 5787044 140737232802432 18446744073709551615 5526895 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 396.37
Current children cumulated vsize (KiB) 3271548

[startup+162.3 s]
/proc/loadavg: 7.85 6.09 6.51 9/188 27614
/proc/meminfo: memFree=12683424/32950928 swapFree=67111528/67111528
[pid=27599] ppid=27597 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27599/stat : 27599 (priss.sh) S 27597 27599 25471 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 519918636 8908800 252 33554432000 4194304 4922060 140734329563424 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27599/statm: 2175 252 211 178 0 68 0
[pid=27600] ppid=27599 vsize=3330432 CPUtime=636.05 cores=0,2,4,6
/proc/27600/stat : 27600 (priss) S 27599 27599 25471 0 -1 4202496 758749 0 0 0 63479 126 0 0 18 0 5 0 519918636 3410362368 736605 33554432000 4194304 5787044 140737232802432 18446744073709551615 254512515505 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/27600/statm: 832608 736605 405 389 0 828358 0
[pid=27600/tid=27606] ppid=27599 vsize=3330432 CPUtime=158.84 cores=0,2,4,6
/proc/27600/task/27606/stat : 27606 (priss) R 27599 27599 25471 0 -1 4202560 81155 0 0 0 15870 14 0 0 25 0 5 0 519918979 3410362368 736605 33554432000 4194304 5787044 140737232802432 18446744073709551615 5588013 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=27600/tid=27608] ppid=27599 vsize=3330432 CPUtime=157.38 cores=0,2,4,6

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

/proc/27600/task/27608/stat : 27608 (priss) R 27599 27599 25471 0 -1 4202560 86174 0 0 0 87248 21 0 0 25 0 5 0 519919038 5270851584 1191517 33554432000 4194304 5787044 140737232802432 18446744073709551615 5576432 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=27600/tid=27609] ppid=27599 vsize=5147316 CPUtime=876.4 cores=0,2,4,6
/proc/27600/task/27609/stat : 27609 (priss) R 27599 27599 25471 0 -1 4202560 94894 0 0 0 87613 27 0 0 25 0 5 0 519919099 5270851584 1191517 33554432000 4194304 5787044 140737232802432 18446744073709551615 5592125 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=27600/tid=27610] ppid=27599 vsize=5147316 CPUtime=877.02 cores=0,2,4,6
/proc/27600/task/27610/stat : 27610 (priss) R 27599 27599 25471 0 -1 4202560 1081070 0 0 0 87441 261 0 0 25 0 5 0 519919165 5270851584 1191517 33554432000 4194304 5787044 140737232802432 18446744073709551615 5527812 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3509.83
Current children cumulated vsize (KiB) 5156016

[startup+942.301 s]
/proc/loadavg: 8.17 7.95 7.39 9/188 27635
/proc/meminfo: memFree=10493012/32950928 swapFree=67111528/67111528
[pid=27599] ppid=27597 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27599/stat : 27599 (priss.sh) S 27597 27599 25471 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 519918636 8908800 252 33554432000 4194304 4922060 140734329563424 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27599/statm: 2175 252 211 178 0 68 0
[pid=27600] ppid=27599 vsize=5147316 CPUtime=3749.5 cores=0,2,4,6
/proc/27600/stat : 27600 (priss) S 27599 27599 25471 0 -1 4202496 1773919 0 0 0 374566 384 0 0 18 0 5 0 519918636 5270851584 1191521 33554432000 4194304 5787044 140737232802432 18446744073709551615 254512515505 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/27600/statm: 1286829 1191521 415 389 0 1282579 0
[pid=27600/tid=27606] ppid=27599 vsize=5147316 CPUtime=938.43 cores=0,2,4,6
/proc/27600/task/27606/stat : 27606 (priss) R 27599 27599 25471 0 -1 4202560 82134 0 0 0 93827 16 0 0 25 0 5 0 519918979 5270851584 1191521 33554432000 4194304 5787044 140737232802432 18446744073709551615 5590446 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=27600/tid=27608] ppid=27599 vsize=5147316 CPUtime=932.35 cores=0,2,4,6
/proc/27600/task/27608/stat : 27608 (priss) R 27599 27599 25471 0 -1 4202560 86176 0 0 0 93214 21 0 0 25 0 5 0 519919038 5270851584 1191521 33554432000 4194304 5787044 140737232802432 18446744073709551615 5588249 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=27600/tid=27609] ppid=27599 vsize=5147316 CPUtime=936.39 cores=0,2,4,6
/proc/27600/task/27609/stat : 27609 (priss) R 27599 27599 25471 0 -1 4202560 94894 0 0 0 93612 27 0 0 25 0 5 0 519919099 5270851584 1191521 33554432000 4194304 5787044 140737232802432 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=27600/tid=27610] ppid=27599 vsize=5147316 CPUtime=937.02 cores=0,2,4,6
/proc/27600/task/27610/stat : 27610 (priss) R 27599 27599 25471 0 -1 4202560 1081072 0 0 0 93441 261 0 0 25 0 5 0 519919165 5270851584 1191521 33554432000 4194304 5787044 140737232802432 18446744073709551615 4330666 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3749.5
Current children cumulated vsize (KiB) 5156016

[startup+1002.3 s]
/proc/loadavg: 8.12 7.97 7.43 9/188 27636
/proc/meminfo: memFree=10492576/32950928 swapFree=67111528/67111528
[pid=27599] ppid=27597 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27599/stat : 27599 (priss.sh) S 27597 27599 25471 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 519918636 8908800 252 33554432000 4194304 4922060 140734329563424 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27599/statm: 2175 252 211 178 0 68 0
[pid=27600] ppid=27599 vsize=5147316 CPUtime=3989.11 cores=0,2,4,6
/proc/27600/stat : 27600 (priss) S 27599 27599 25471 0 -1 4202496 1785469 0 0 0 398523 388 0 0 18 0 5 0 519918636 5270851584 1191559 33554432000 4194304 5787044 140737232802432 18446744073709551615 254512515505 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/27600/statm: 1286829 1191559 415 389 0 1282579 0
[pid=27600/tid=27606] ppid=27599 vsize=5147316 CPUtime=998.43 cores=0,2,4,6
/proc/27600/task/27606/stat : 27606 (priss) R 27599 27599 25471 0 -1 4202560 82134 0 0 0 99827 16 0 0 25 0 5 0 519918979 5270851584 1191559 33554432000 4194304 5787044 140737232802432 18446744073709551615 5586826 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=27600/tid=27608] ppid=27599 vsize=5147316 CPUtime=992.03 cores=0,2,4,6
/proc/27600/task/27608/stat : 27608 (priss) R 27599 27599 25471 0 -1 4202560 86177 0 0 0 99181 22 0 0 25 0 5 0 519919038 5270851584 1191559 33554432000 4194304 5787044 140737232802432 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=27600/tid=27609] ppid=27599 vsize=5147316 CPUtime=996.32 cores=0,2,4,6
/proc/27600/task/27609/stat : 27609 (priss) R 27599 27599 25471 0 -1 4202560 94895 0 0 0 99604 28 0 0 25 0 5 0 519919099 5270851584 1191559 33554432000 4194304 5787044 140737232802432 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=27600/tid=27610] ppid=27599 vsize=5147316 CPUtime=997.02 cores=0,2,4,6
/proc/27600/task/27610/stat : 27610 (priss) R 27599 27599 25471 0 -1 4202560 1092620 0 0 0 99439 263 0 0 25 0 5 0 519919165 5270851584 1191559 33554432000 4194304 5787044 140737232802432 18446744073709551615 4330542 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3989.11
Current children cumulated vsize (KiB) 5156016

[startup+1062.3 s]
/proc/loadavg: 8.10 7.99 7.47 9/188 27638
/proc/meminfo: memFree=10450980/32950928 swapFree=67111528/67111528
[pid=27599] ppid=27597 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27599/stat : 27599 (priss.sh) S 27597 27599 25471 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 519918636 8908800 252 33554432000 4194304 4922060 140734329563424 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27599/statm: 2175 252 211 178 0 68 0
[pid=27600] ppid=27599 vsize=5189396 CPUtime=4228.78 cores=0,2,4,6
/proc/27600/stat : 27600 (priss) S 27599 27599 25471 0 -1 4202496 1795989 0 0 0 422487 391 0 0 18 0 5 0 519918636 5313941504 1202079 33554432000 4194304 5787044 140737232802432 18446744073709551615 254512515505 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/27600/statm: 1297349 1202079 415 389 0 1293099 0
[pid=27600/tid=27606] ppid=27599 vsize=5189396 CPUtime=1058.44 cores=0,2,4,6
/proc/27600/task/27606/stat : 27606 (priss) R 27599 27599 25471 0 -1 4202560 82134 0 0 0 105827 17 0 0 25 0 5 0 519918979 5313941504 1202079 33554432000 4194304 5787044 140737232802432 18446744073709551615 5588286 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=27600/tid=27608] ppid=27599 vsize=5189396 CPUtime=1051.7 cores=0,2,4,6
/proc/27600/task/27608/stat : 27608 (priss) R 27599 27599 25471 0 -1 4202560 86177 0 0 0 105148 22 0 0 25 0 5 0 519919038 5313941504 1202079 33554432000 4194304 5787044 140737232802432 18446744073709551615 5586783 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=27600/tid=27609] ppid=27599 vsize=5189396 CPUtime=1056.31 cores=0,2,4,6
/proc/27600/task/27609/stat : 27609 (priss) R 27599 27599 25471 0 -1 4202560 94895 0 0 0 105603 28 0 0 25 0 5 0 519919099 5313941504 1202079 33554432000 4194304 5787044 140737232802432 18446744073709551615 5590420 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=27600/tid=27610] ppid=27599 vsize=5189396 CPUtime=1057.03 cores=0,2,4,6
/proc/27600/task/27610/stat : 27610 (priss) R 27599 27599 25471 0 -1 4202560 1103140 0 0 0 105437 266 0 0 25 0 5 0 519919165 5313941504 1202079 33554432000 4194304 5787044 140737232802432 18446744073709551615 4330507 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4228.78
Current children cumulated vsize (KiB) 5198096

[startup+1122.3 s]
/proc/loadavg: 8.09 8.00 7.51 9/188 27639
/proc/meminfo: memFree=10419556/32950928 swapFree=67111528/67111528
[pid=27599] ppid=27597 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27599/stat : 27599 (priss.sh) S 27597 27599 25471 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 519918636 8908800 252 33554432000 4194304 4922060 140734329563424 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27599/statm: 2175 252 211 178 0 68 0
[pid=27600] ppid=27599 vsize=5147316 CPUtime=4468.45 cores=0,2,4,6
/proc/27600/stat : 27600 (priss) S 27599 27599 25471 0 -1 4202496 1809345 0 0 0 446451 394 0 0 18 0 5 0 519918636 5270851584 1191560 33554432000 4194304 5787044 140737232802432 18446744073709551615 254512515505 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/27600/statm: 1286829 1191560 415 389 0 1282579 0
[pid=27600/tid=27606] ppid=27599 vsize=5147316 CPUtime=1118.44 cores=0,2,4,6
/proc/27600/task/27606/stat : 27606 (priss) R 27599 27599 25471 0 -1 4202560 82134 0 0 0 111827 17 0 0 25 0 5 0 519918979 5270851584 1191560 33554432000 4194304 5787044 140737232802432 18446744073709551615 5586868 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=27600/tid=27608] ppid=27599 vsize=5147316 CPUtime=1111.38 cores=0,2,4,6
/proc/27600/task/27608/stat : 27608 (priss) R 27599 27599 25471 0 -1 4202560 86178 0 0 0 111115 23 0 0 25 0 5 0 519919038 5270851584 1191560 33554432000 4194304 5787044 140737232802432 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=27600/tid=27609] ppid=27599 vsize=5147316 CPUtime=1116.3 cores=0,2,4,6
/proc/27600/task/27609/stat : 27609 (priss) R 27599 27599 25471 0 -1 4202560 94895 0 0 0 111601 29 0 0 25 0 5 0 519919099 5270851584 1191560 33554432000 4194304 5787044 140737232802432 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=27600/tid=27610] ppid=27599 vsize=5147316 CPUtime=1117.03 cores=0,2,4,6
/proc/27600/task/27610/stat : 27610 (priss) R 27599 27599 25471 0 -1 4202560 1116495 0 0 0 111436 267 0 0 25 0 5 0 519919165 5270851584 1191560 33554432000 4194304 5787044 140737232802432 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4468.45
Current children cumulated vsize (KiB) 5156016

[startup+1182.3 s]
/proc/loadavg: 8.03 8.00 7.54 9/188 27641
/proc/meminfo: memFree=10359356/32950928 swapFree=67111528/67111528
[pid=27599] ppid=27597 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27599/stat : 27599 (priss.sh) S 27597 27599 25471 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 519918636 8908800 252 33554432000 4194304 4922060 140734329563424 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27599/statm: 2175 252 211 178 0 68 0
[pid=27600] ppid=27599 vsize=5147316 CPUtime=4708.05 cores=0,2,4,6
/proc/27600/stat : 27600 (priss) S 27599 27599 25471 0 -1 4202496 1833210 0 0 0 470407 398 0 0 18 0 5 0 519918636 5270851584 1191562 33554432000 4194304 5787044 140737232802432 18446744073709551615 254512515505 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/27600/statm: 1286829 1191562 415 389 0 1282579 0
[pid=27600/tid=27606] ppid=27599 vsize=5147316 CPUtime=1178.43 cores=0,2,4,6
/proc/27600/task/27606/stat : 27606 (priss) R 27599 27599 25471 0 -1 4202560 82134 0 0 0 117826 17 0 0 25 0 5 0 519918979 5270851584 1191562 33554432000 4194304 5787044 140737232802432 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=27600/tid=27608] ppid=27599 vsize=5147316 CPUtime=1170.99 cores=0,2,4,6
/proc/27600/task/27608/stat : 27608 (priss) R 27599 27599 25471 0 -1 4202560 86179 0 0 0 117076 23 0 0 25 0 5 0 519919038 5270851584 1191562 33554432000 4194304 5787044 140737232802432 18446744073709551615 5590420 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=27600/tid=27609] ppid=27599 vsize=5147316 CPUtime=1176.3 cores=0,2,4,6
/proc/27600/task/27609/stat : 27609 (priss) R 27599 27599 25471 0 -1 4202560 94896 0 0 0 117601 29 0 0 25 0 5 0 519919099 5270851584 1191562 33554432000 4194304 5787044 140737232802432 18446744073709551615 5590569 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=27600/tid=27610] ppid=27599 vsize=5147316 CPUtime=1177.03 cores=0,2,4,6
/proc/27600/task/27610/stat : 27610 (priss) R 27599 27599 25471 0 -1 4202560 1140358 0 0 0 117433 270 0 0 25 0 5 0 519919165 5270851584 1191562 33554432000 4194304 5787044 140737232802432 18446744073709551615 5526823 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4708.05
Current children cumulated vsize (KiB) 5156016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1205.4 s]
/proc/loadavg: 7.70 7.93 7.53 5/181 27643
/proc/meminfo: memFree=13256280/32950928 swapFree=67111528/67111528
[pid=27599] ppid=27597 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27599/stat : 27599 (priss.sh) S 27597 27599 25471 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 519918636 8908800 252 33554432000 4194304 4922060 140734329563424 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27599/statm: 2175 252 211 178 0 68 0
[pid=27600] ppid=27599 vsize=5147316 CPUtime=4800.34 cores=0,2,4,6
/proc/27600/stat : 27600 (priss) S 27599 27599 25471 0 -1 4202496 1833212 0 0 0 479635 399 0 0 18 0 5 0 519918636 5270851584 1191564 33554432000 4194304 5787044 140737232802432 18446744073709551615 254512515505 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/27600/statm: 1286829 1191564 415 389 0 1282579 0
[pid=27600/tid=27606] ppid=27599 vsize=5147316 CPUtime=1201.54 cores=0,2,4,6
/proc/27600/task/27606/stat : 27606 (priss) R 27599 27599 25471 0 -1 4202560 82135 0 0 0 120137 17 0 0 25 0 5 0 519918979 5270851584 1191564 33554432000 4194304 5787044 140737232802432 18446744073709551615 5586709 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=27600/tid=27608] ppid=27599 vsize=5147316 CPUtime=1193.96 cores=0,2,4,6
/proc/27600/task/27608/stat : 27608 (priss) R 27599 27599 25471 0 -1 4202560 86179 0 0 0 119373 23 0 0 25 0 5 0 519919038 5270851584 1191564 33554432000 4194304 5787044 140737232802432 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=27600/tid=27609] ppid=27599 vsize=5147316 CPUtime=1199.4 cores=0,2,4,6
/proc/27600/task/27609/stat : 27609 (priss) R 27599 27599 25471 0 -1 4202560 94897 0 0 0 119911 29 0 0 25 0 5 0 519919099 5270851584 1191564 33554432000 4194304 5787044 140737232802432 18446744073709551615 5586769 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=27600/tid=27610] ppid=27599 vsize=5147316 CPUtime=1200.14 cores=0,2,4,6
/proc/27600/task/27610/stat : 27610 (priss) R 27599 27599 25471 0 -1 4202560 1140358 0 0 0 119743 271 0 0 25 0 5 0 519919165 5270851584 1191564 33554432000 4194304 5787044 140737232802432 18446744073709551615 5524613 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 5156016

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

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

[startup+1205.4 s]
/proc/loadavg: 7.70 7.93 7.53 5/181 27643
/proc/meminfo: memFree=13256280/32950928 swapFree=67111528/67111528
[pid=27599] ppid=27597 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/27599/stat : 27599 (priss.sh) S 27597 27599 25471 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 519918636 8908800 252 33554432000 4194304 4922060 140734329563424 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/27599/statm: 2175 252 211 178 0 68 0
[pid=27600] ppid=27599 vsize=5147316 CPUtime=4800.34 cores=0,2,4,6
/proc/27600/stat : 27600 (priss) S 27599 27599 25471 0 -1 4202496 1833212 0 0 0 479635 399 0 0 18 0 5 0 519918636 5270851584 1191564 33554432000 4194304 5787044 140737232802432 18446744073709551615 254512515505 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/27600/statm: 1286829 1191564 415 389 0 1282579 0
[pid=27600/tid=27606] ppid=27599 vsize=5147316 CPUtime=1201.54 cores=0,2,4,6
/proc/27600/task/27606/stat : 27606 (priss) R 27599 27599 25471 0 -1 4202560 82135 0 0 0 120137 17 0 0 25 0 5 0 519918979 5270851584 1191564 33554432000 4194304 5787044 140737232802432 18446744073709551615 5586709 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=27600/tid=27608] ppid=27599 vsize=5147316 CPUtime=1193.96 cores=0,2,4,6
/proc/27600/task/27608/stat : 27608 (priss) R 27599 27599 25471 0 -1 4202560 86179 0 0 0 119373 23 0 0 25 0 5 0 519919038 5270851584 1191564 33554432000 4194304 5787044 140737232802432 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=27600/tid=27609] ppid=27599 vsize=5147316 CPUtime=1199.4 cores=0,2,4,6
/proc/27600/task/27609/stat : 27609 (priss) R 27599 27599 25471 0 -1 4202560 94897 0 0 0 119911 29 0 0 25 0 5 0 519919099 5270851584 1191564 33554432000 4194304 5787044 140737232802432 18446744073709551615 5586769 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=27600/tid=27610] ppid=27599 vsize=5147316 CPUtime=1200.14 cores=0,2,4,6
/proc/27600/task/27610/stat : 27610 (priss) R 27599 27599 25471 0 -1 4202560 1140358 0 0 0 119743 271 0 0 25 0 5 0 519919165 5270851584 1191564 33554432000 4194304 5787044 140737232802432 18446744073709551615 5524613 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 5156016

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27599 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 4800.34
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1205.42
CPU time (s): 4800.34
CPU user time (s): 4796.35
CPU system time (s): 3.99
CPU usage (%): 398.231
Max. virtual memory (cumulated for all children) (KiB): 5274972

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

runsolver used 1.83772 second user time and 4.74628 second system time

The end

Launcher Data 

Begin job on node149 at 2011-04-29 15:20:20
IDJOB=3293575
IDBENCH=88159
IDSOLVER=1603
FILE ID=node149/3293575-1304083219
RUNJOBID= node149-1304083219-27580
PBS_JOBID= 13170452
Free space on /tmp= 71664 MiB

SOLVER NAME= priss 1.0
BENCH NAME= SAT-Race-2010-CNF/hardware-verification/velev/1dlx_c_iq57_a.cnf
COMMAND LINE= DIR/priss.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3293575-1304083219/watcher-3293575-1304083219 -o /tmp/evaluation-result-3293575-1304083219/solver-3293575-1304083219 -C 4800 -W 1300 -M 15500  HOME/priss.sh HOME HOME/instance-3293575-1304083219.cnf 773146282 4800 15500 4

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

MD5SUM BENCH= 953b9cb99bfd26cff0e1ac65be1241f6
RANDOM SEED=773146282

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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:      17976076 kB
Buffers:       2224612 kB
Cached:       12078300 kB
SwapCached:          0 kB
Active:        6375752 kB
Inactive:      8043076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      17976076 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:          278180 kB
Writeback:           0 kB
AnonPages:      115280 kB
Mapped:          15248 kB
Slab:           492712 kB
PageTables:       4780 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   264060 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= 71740 MiB
End job on node149 at 2011-04-29 15:40:27