Trace number 3291964

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
priss Auto? (TO) 4800.27 1204.72

General information on the benchmark

NameSAT04/industrial/velev/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf
MD5SUM776da55785376fd8eac6989ca812b102
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1002.78
Satisfiable
(Un)Satisfiability was proved
Number of variables371419
Number of clauses7170909
Sum of the clauses size20872419
Maximum clause length205
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 26770451
Number of clauses of size 392326
Number of clauses of size 48862
Number of clauses of size 523554
Number of clauses of size over 5275715

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: 6147
0.00/0.00	c setup for 4cores
1.49/2.42	c parsetime: 2420259us
1.49/2.42	c parsed 7170909 clauses with 371419 variables
2.79/2.89	c NW started thread 0 successfully (1085712704)
2.89/2.98	c preprocessor returned 371419 variables
2.89/2.98	c preprocessing returned UNKNOWN
2.89/2.98	c PP set 0 variables
2.89/2.98	c pp time: 2us (0s)
3.89/3.40	c NW started thread 1 successfully (1096202560)
3.89/3.48	c preprocessor returned 371419 variables
3.89/3.48	c preprocessing returned UNKNOWN
3.89/3.49	c PP set 0 variables
3.89/3.49	c pp time: 1us (0s)
5.36/3.95	c NW started thread 2 successfully (1110190400)
5.69/4.04	c preprocessor returned 371419 variables
5.69/4.04	c preprocessing returned UNKNOWN
5.69/4.05	c PP set 0 variables
5.69/4.05	c pp time: 1us (0s)
7.65/4.50	c NW started thread 3 successfully (1120680256)
7.65/4.58	c preprocessor returned 371419 variables
7.65/4.58	c preprocessing returned UNKNOWN
7.65/4.58	c PP set 0 variables
7.65/4.58	c pp time: 2us (0s)
316.81/81.96	c HTE
476.99/122.07	c subsumption
476.99/122.07	c simplified formula contains 0 unit clauses
656.33/166.95	c HTE
824.11/208.95	c subsumption
824.11/208.95	c simplified formula contains 0 unit clauses
955.92/241.91	c HTE
1107.68/279.93	c subsumption
1107.68/279.93	c simplified formula contains 0 unit clauses
1108.48/280.16	c received clause contains eliminated literal -3811
1335.37/336.97	c HTE
1483.87/374.24	c subsumption
1483.87/374.24	c simplified formula contains 0 unit clauses
1604.50/404.48	c HTE
1723.84/434.36	c subsumption
1723.84/434.36	c simplified formula contains 0 unit clauses
1724.62/434.59	c received clause contains eliminated literal -318711
1839.27/463.28	c HTE
1987.97/500.50	c subsumption
1987.97/500.50	c simplified formula contains 0 unit clauses
1988.77/500.72	c received clause contains eliminated literal -10212
2119.41/533.44	c HTE
2277.97/573.11	c subsumption
2277.97/573.11	c simplified formula contains 0 unit clauses
2278.77/573.32	c received clause contains eliminated literal 1119
2278.77/573.32	c received clause contains eliminated literal -11305
2420.17/608.79	c HTE
2578.25/648.33	c subsumption
2578.25/648.33	c simplified formula contains 0 unit clauses
2716.06/682.84	c HTE
2862.45/719.50	c subsumption
2862.45/719.50	c simplified formula contains 0 unit clauses
2967.90/745.98	c HTE
3082.50/774.60	c subsumption
3082.50/774.60	c simplified formula contains 0 unit clauses
3083.30/774.80	c received clause contains eliminated literal -19939
3180.36/799.15	c HTE
3296.10/828.18	c subsumption
3296.10/828.18	c simplified formula contains 0 unit clauses
3296.88/828.38	c received clause contains eliminated literal -19936
3427.50/861.07	c added unsatisfied clause
3427.50/861.07	c failed to add network clauses
3824.95/960.57	c received clause contains eliminated literal -78270
4017.10/1008.69	c added unsatisfied clause
4017.10/1008.69	c failed to add network clauses
4140.91/1039.60	c received clause contains eliminated literal -19945
4281.90/1074.99	c added unsatisfied clause
4281.90/1074.99	c failed to add network clauses
4379.37/1099.37	c HTE
4503.60/1130.43	c subsumption
4503.60/1130.43	c simplified formula contains 0 unit clauses
4591.47/1152.41	c HTE
4703.18/1180.41	c subsumption
4703.18/1180.41	c simplified formula contains 0 unit clauses
4784.27/1200.77	c HTE

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

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

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


[startup+0 s]
/proc/loadavg: 7.91 8.02 8.05 5/182 6146
/proc/meminfo: memFree=21881872/32951124 swapFree=67111528/67111528
[pid=6146] ppid=6144 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/6146/stat : 6146 (prissAuto.sh) S 6144 6146 4923 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 499158649 8908800 252 33554432000 4194304 4922060 140733562975552 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/6146/statm: 2175 252 211 178 0 68 0

[startup+0.101575 s]
/proc/loadavg: 7.91 8.02 8.05 5/182 6146
/proc/meminfo: memFree=21881872/32951124 swapFree=67111528/67111528
[pid=6146] ppid=6144 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/6146/stat : 6146 (prissAuto.sh) S 6144 6146 4923 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 499158649 8908800 252 33554432000 4194304 4922060 140733562975552 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/6146/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.200551 s]
/proc/loadavg: 7.91 8.02 8.05 5/182 6146
/proc/meminfo: memFree=21881872/32951124 swapFree=67111528/67111528
[pid=6146] ppid=6144 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/6146/stat : 6146 (prissAuto.sh) S 6144 6146 4923 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 499158649 8908800 252 33554432000 4194304 4922060 140733562975552 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/6146/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300532 s]
/proc/loadavg: 7.91 8.02 8.05 5/182 6146
/proc/meminfo: memFree=21881872/32951124 swapFree=67111528/67111528
[pid=6146] ppid=6144 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/6146/stat : 6146 (prissAuto.sh) S 6144 6146 4923 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 499158649 8908800 252 33554432000 4194304 4922060 140733562975552 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/6146/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700458 s]
/proc/loadavg: 7.91 8.02 8.05 5/182 6146
/proc/meminfo: memFree=21881872/32951124 swapFree=67111528/67111528
[pid=6146] ppid=6144 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/6146/stat : 6146 (prissAuto.sh) S 6144 6146 4923 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 499158649 8908800 252 33554432000 4194304 4922060 140733562975552 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/6146/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50031 s]
/proc/loadavg: 7.91 8.02 8.05 6/184 6148
/proc/meminfo: memFree=21745612/32951124 swapFree=67111528/67111528
[pid=6146] ppid=6144 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/6146/stat : 6146 (prissAuto.sh) S 6144 6146 4923 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 499158649 8908800 252 33554432000 4194304 4922060 140733562975552 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/6146/statm: 2175 252 211 178 0 68 0
[pid=6147] ppid=6146 vsize=209936 CPUtime=1.49 cores=1,3,5,7
/proc/6147/stat : 6147 (priss) R 6146 6146 4923 0 -1 4202496 52870 0 0 0 139 10 0 0 25 0 1 0 499158649 214974464 44863 33554432000 4194304 5787044 140734080546240 18446744073709551615 254273443216 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/6147/statm: 52484 44863 304 389 0 48234 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 218636

[startup+3.10099 s]
/proc/loadavg: 7.83 8.00 8.04 7/185 6149
/proc/meminfo: memFree=21111964/32951124 swapFree=67111528/67111528
[pid=6146] ppid=6144 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/6146/stat : 6146 (prissAuto.sh) S 6144 6146 4923 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 499158649 8908800 252 33554432000 4194304 4922060 140733562975552 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/6146/statm: 2175 252 211 178 0 68 0
[pid=6147] ppid=6146 vsize=862640 CPUtime=3.3 cores=1,3,5,7
/proc/6147/stat : 6147 (priss) R 6146 6146 4923 0 -1 4202496 205582 0 0 0 301 29 0 0 18 0 2 0 499158649 883343360 193222 33554432000 4194304 5787044 140734080546240 18446744073709551615 254261313009 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/6147/statm: 215660 193222 351 389 0 211410 0
[pid=6147/tid=6149] ppid=6146 vsize=862640 CPUtime=0.19 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (priss) R 6146 6146 4923 0 -1 4202560 25617 0 0 0 16 3 0 0 20 0 2 0 499158939 883343360 193225 33554432000 4194304 5787044 140734080546240 18446744073709551615 4250179 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.3
Current children cumulated vsize (KiB) 871340

[startup+6.30043 s]
/proc/loadavg: 7.83 8.00 8.04 9/188 6152
/proc/meminfo: memFree=19680396/32951124 swapFree=67111528/67111528
[pid=6146] ppid=6144 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/6146/stat : 6146 (prissAuto.sh) S 6144 6146 4923 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 499158649 8908800 252 33554432000 4194304 4922060 140733562975552 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/6146/statm: 2175 252 211 178 0 68 0
[pid=6147] ppid=6146 vsize=2535356 CPUtime=14.83 cores=1,3,5,7
/proc/6147/stat : 6147 (priss) S 6146 6146 4923 0 -1 4202496 583439 0 0 0 1386 97 0 0 18 0 5 0 499158649 2596204544 566705 33554432000 4194304 5787044 140734080546240 18446744073709551615 254273440177 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/6147/statm: 633839 566705 402 389 0 629589 0
[pid=6147/tid=6149] ppid=6146 vsize=2535356 CPUtime=3.36 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (priss) R 6146 6146 4923 0 -1 4202560 60543 0 0 0 324 12 0 0 21 0 5 0 499158939 2596204544 566705 33554432000 4194304 5787044 140734080546240 18446744073709551615 254261721631 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=6147/tid=6150] ppid=6146 vsize=2535356 CPUtime=2.86 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (priss) R 6146 6146 4923 0 -1 4202560 55538 0 0 0 273 13 0 0 20 0 5 0 499158990 2596204544 566705 33554432000 4194304 5787044 140734080546240 18446744073709551615 5586709 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=6147/tid=6151] ppid=6146 vsize=2535356 CPUtime=2.32 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (priss) R 6146 6146 4923 0 -1 4202560 59152 0 0 0 221 11 0 0 20 0 5 0 499159045 2596204544 566705 33554432000 4194304 5787044 140734080546240 18446744073709551615 4215354 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=6147/tid=6152] ppid=6146 vsize=2535356 CPUtime=1.78 cores=1,3,5,7
/proc/6147/task/6152/stat : 6152 (priss) R 6146 6146 4923 0 -1 4202560 50884 0 0 0 171 7 0 0 19 0 5 0 499159099 2596204544 566705 33554432000 4194304 5787044 140734080546240 18446744073709551615 254261721582 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 14.83
Current children cumulated vsize (KiB) 2544056

[startup+12.7013 s]
/proc/loadavg: 7.85 8.00 8.04 9/188 6152
/proc/meminfo: memFree=19600936/32951124 swapFree=67111528/67111528
[pid=6146] ppid=6144 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/6146/stat : 6146 (prissAuto.sh) S 6144 6146 4923 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 499158649 8908800 252 33554432000 4194304 4922060 140733562975552 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/6146/statm: 2175 252 211 178 0 68 0
[pid=6147] ppid=6146 vsize=2538428 CPUtime=40.4 cores=1,3,5,7
/proc/6147/stat : 6147 (priss) S 6146 6146 4923 0 -1 4202496 586363 0 0 0 3926 114 0 0 18 0 5 0 499158649 2599350272 569285 33554432000 4194304 5787044 140734080546240 18446744073709551615 254273440177 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/6147/statm: 634607 569285 405 389 0 630357 0
[pid=6147/tid=6149] ppid=6146 vsize=2538428 CPUtime=9.77 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (priss) R 6146 6146 4923 0 -1 4202560 61369 0 0 0 961 16 0 0 25 0 5 0 499158939 2599350272 569285 33554432000 4194304 5787044 140734080546240 18446744073709551615 254261721631 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=6147/tid=6150] ppid=6146 vsize=2538428 CPUtime=9.22 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (priss) R 6146 6146 4923 0 -1 4202560 56125 0 0 0 903 19 0 0 25 0 5 0 499158990 2599350272 569285 33554432000 4194304 5787044 140734080546240 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=6147/tid=6151] ppid=6146 vsize=2538428 CPUtime=8.72 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (priss) R 6146 6146 4923 0 -1 4202560 60008 0 0 0 857 15 0 0 25 0 5 0 499159045 2599350272 569285 33554432000 4194304 5787044 140734080546240 18446744073709551615 5586769 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=6147/tid=6152] ppid=6146 vsize=2538428 CPUtime=8.18 cores=1,3,5,7
/proc/6147/task/6152/stat : 6152 (priss) R 6146 6146 4923 0 -1 4202560 51539 0 0 0 807 11 0 0 25 0 5 0 499159099 2599350272 569285 33554432000 4194304 5787044 140734080546240 18446744073709551615 254261721631 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 40.4
Current children cumulated vsize (KiB) 2547128

[startup+25.501 s]
/proc/loadavg: 7.88 8.00 8.04 9/188 6152
/proc/meminfo: memFree=19357508/32951124 swapFree=67111528/67111528
[pid=6146] ppid=6144 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/6146/stat : 6146 (prissAuto.sh) S 6144 6146 4923 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 499158649 8908800 252 33554432000 4194304 4922060 140733562975552 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/6146/statm: 2175 252 211 178 0 68 0
[pid=6147] ppid=6146 vsize=2782608 CPUtime=91.52 cores=1,3,5,7
/proc/6147/stat : 6147 (priss) S 6146 6146 4923 0 -1 4202496 649175 0 0 0 9026 126 0 0 18 0 5 0 499158649 2849390592 629763 33554432000 4194304 5787044 140734080546240 18446744073709551615 254273440177 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/6147/statm: 695652 629763 412 389 0 691402 0
[pid=6147/tid=6149] ppid=6146 vsize=2782608 CPUtime=22.57 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (priss) R 6146 6146 4923 0 -1 4202560 61903 0 0 0 2240 17 0 0 25 0 5 0 499158939 2849390592 629763 33554432000 4194304 5787044 140734080546240 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=6147/tid=6150] ppid=6146 vsize=2782608 CPUtime=21.95 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (priss) R 6146 6146 4923 0 -1 4202560 57991 0 0 0 2175 20 0 0 25 0 5 0 499158990 2849390592 629763 33554432000 4194304 5787044 140734080546240 18446744073709551615 5590295 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=6147/tid=6151] ppid=6146 vsize=2782608 CPUtime=21.52 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (priss) R 6146 6146 4923 0 -1 4202560 61148 0 0 0 2135 17 0 0 25 0 5 0 499159045 2849390592 629763 33554432000 4194304 5787044 140734080546240 18446744073709551615 5591337 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=6147/tid=6152] ppid=6146 vsize=2782608 CPUtime=20.99 cores=1,3,5,7
/proc/6147/task/6152/stat : 6152 (priss) R 6146 6146 4923 0 -1 4202560 110811 0 0 0 2079 20 0 0 25 0 5 0 499159099 2849390592 629763 33554432000 4194304 5787044 140734080546240 18446744073709551615 4332026 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 91.52
Current children cumulated vsize (KiB) 2791308

[startup+51.1004 s]
/proc/loadavg: 7.92 8.00 8.04 9/188 6153
/proc/meminfo: memFree=19352124/32951124 swapFree=67111528/67111528
[pid=6146] ppid=6144 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/6146/stat : 6146 (prissAuto.sh) S 6144 6146 4923 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 499158649 8908800 252 33554432000 4194304 4922060 140733562975552 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/6146/statm: 2175 252 211 178 0 68 0
[pid=6147] ppid=6146 vsize=2782608 CPUtime=193.77 cores=1,3,5,7
/proc/6147/stat : 6147 (priss) S 6146 6146 4923 0 -1 4202496 654057 0 0 0 19236 141 0 0 18 0 5 0 499158649 2849390592 631120 33554432000 4194304 5787044 140734080546240 18446744073709551615 254273440177 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/6147/statm: 695652 631120 412 389 0 691402 0
[pid=6147/tid=6149] ppid=6146 vsize=2782608 CPUtime=48.14 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (priss) R 6146 6146 4923 0 -1 4202560 61966 0 0 0 4794 20 0 0 25 0 5 0 499158939 2849390592 631120 33554432000 4194304 5787044 140734080546240 18446744073709551615 5590458 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=6147/tid=6150] ppid=6146 vsize=2782608 CPUtime=47.43 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (priss) R 6146 6146 4923 0 -1 4202560 60954 0 0 0 4717 26 0 0 25 0 5 0 499158990 2849390592 631120 33554432000 4194304 5787044 140734080546240 18446744073709551615 4254546 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=6147/tid=6151] ppid=6146 vsize=2782608 CPUtime=47.11 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (priss) R 6146 6146 4923 0 -1 4202560 63004 0 0 0 4688 23 0 0 25 0 5 0 499159045 2849390592 631120 33554432000 4194304 5787044 140734080546240 18446744073709551615 5591181 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=6147/tid=6152] ppid=6146 vsize=2782608 CPUtime=46.59 cores=1,3,5,7
/proc/6147/task/6152/stat : 6152 (priss) R 6146 6146 4923 0 -1 4202560 110811 0 0 0 4639 20 0 0 25 0 5 0 499159099 2849390592 631120 33554432000 4194304 5787044 140734080546240 18446744073709551615 4330555 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 193.77
Current children cumulated vsize (KiB) 2791308

[startup+102.301 s]
/proc/loadavg: 8.01 8.01 8.04 9/188 6155
/proc/meminfo: memFree=19297396/32951124 swapFree=67111528/67111528
[pid=6146] ppid=6144 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/6146/stat : 6146 (prissAuto.sh) S 6144 6146 4923 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 499158649 8908800 252 33554432000 4194304 4922060 140733562975552 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/6146/statm: 2175 252 211 178 0 68 0
[pid=6147] ppid=6146 vsize=2825760 CPUtime=398.3 cores=1,3,5,7
/proc/6147/stat : 6147 (priss) S 6146 6146 4923 0 -1 4202496 690122 0 0 0 39660 170 0 0 18 0 5 0 499158649 2893578240 640377 33554432000 4194304 5787044 140734080546240 18446744073709551615 254273440177 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/6147/statm: 706440 640377 412 389 0 702190 0
[pid=6147/tid=6149] ppid=6146 vsize=2825760 CPUtime=99.06 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (priss) R 6146 6146 4923 0 -1 4202560 61983 0 0 0 9881 25 0 0 25 0 5 0 499158939 2893578240 640377 33554432000 4194304 5787044 140734080546240 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=6147/tid=6150] ppid=6146 vsize=2825760 CPUtime=98.63 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (priss) R 6146 6146 4923 0 -1 4202560 63369 0 0 0 9827 36 0 0 25 0 5 0 499158990 2893578240 640377 33554432000 4194304 5787044 140734080546240 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=6147/tid=6151] ppid=6146 vsize=2825760 CPUtime=98.32 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (priss) R 6146 6146 4923 0 -1 4202560 66012 0 0 0 9800 32 0 0 25 0 5 0 499159045 2893578240 640377 33554432000 4194304 5787044 140734080546240 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=6147/tid=6152] ppid=6146 vsize=2825760 CPUtime=97.79 cores=1,3,5,7
/proc/6147/task/6152/stat : 6152 (priss) R 6146 6146 4923 0 -1 4202560 141436 0 0 0 9755 24 0 0 25 0 5 0 499159099 2893578240 640377 33554432000 4194304 5787044 140734080546240 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 398.3
Current children cumulated vsize (KiB) 2834460

[startup+162.301 s]
/proc/loadavg: 8.04 8.02 8.04 9/188 6156
/proc/meminfo: memFree=18698420/32951124 swapFree=67111528/67111528
[pid=6146] ppid=6144 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/6146/stat : 6146 (prissAuto.sh) S 6144 6146 4923 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 499158649 8908800 252 33554432000 4194304 4922060 140733562975552 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/6146/statm: 2175 252 211 178 0 68 0
[pid=6147] ppid=6146 vsize=3482928 CPUtime=637.95 cores=1,3,5,7
/proc/6147/stat : 6147 (priss) S 6146 6146 4923 0 -1 4202496 857899 0 0 0 63563 232 0 0 18 0 5 0 499158649 3566518272 782929 33554432000 4194304 5787044 140734080546240 18446744073709551615 254273440177 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/6147/statm: 870732 782929 415 389 0 866482 0
[pid=6147/tid=6149] ppid=6146 vsize=3482928 CPUtime=158.74 cores=1,3,5,7

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

/proc/6147/task/6150/stat : 6150 (priss) R 6146 6146 4923 0 -1 4202560 67219 0 0 0 87552 129 0 0 25 0 5 0 499158990 3803852800 875926 33554432000 4194304 5787044 140734080546240 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=6147/tid=6151] ppid=6146 vsize=3714700 CPUtime=878.08 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (priss) R 6146 6146 4923 0 -1 4202560 69005 0 0 0 87697 111 0 0 25 0 5 0 499159045 3803852800 875926 33554432000 4194304 5787044 140734080546240 18446744073709551615 5590420 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=6147/tid=6152] ppid=6146 vsize=3714700 CPUtime=877.59 cores=1,3,5,7
/proc/6147/task/6152/stat : 6152 (priss) R 6146 6146 4923 0 -1 4202560 727500 0 0 0 87597 162 0 0 25 0 5 0 499159099 3803852800 875926 33554432000 4194304 5787044 140734080546240 18446744073709551615 4254932 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3512.57
Current children cumulated vsize (KiB) 3723400

[startup+942.3 s]
/proc/loadavg: 8.18 8.09 8.04 9/188 6186
/proc/meminfo: memFree=18183212/32951124 swapFree=67111528/67111528
[pid=6146] ppid=6144 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/6146/stat : 6146 (prissAuto.sh) S 6144 6146 4923 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 499158649 8908800 252 33554432000 4194304 4922060 140733562975552 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/6146/statm: 2175 252 211 178 0 68 0
[pid=6147] ppid=6146 vsize=3714700 CPUtime=3752.24 cores=1,3,5,7
/proc/6147/stat : 6147 (priss) S 6146 6146 4923 0 -1 4202496 1283862 0 0 0 374669 555 0 0 18 0 5 0 499158649 3803852800 875926 33554432000 4194304 5787044 140734080546240 18446744073709551615 254273440177 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/6147/statm: 928675 875926 415 389 0 924425 0
[pid=6147/tid=6149] ppid=6146 vsize=3714700 CPUtime=935.28 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (priss) R 6146 6146 4923 0 -1 4202560 62816 0 0 0 93451 77 0 0 25 0 5 0 499158939 3803852800 875926 33554432000 4194304 5787044 140734080546240 18446744073709551615 254261275985 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=6147/tid=6150] ppid=6146 vsize=3714700 CPUtime=936.81 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (priss) R 6146 6146 4923 0 -1 4202560 67219 0 0 0 93544 137 0 0 25 0 5 0 499158990 3803852800 875926 33554432000 4194304 5787044 140734080546240 18446744073709551615 5586830 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=6147/tid=6151] ppid=6146 vsize=3714700 CPUtime=938.06 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (priss) S 6146 6146 4923 0 -1 4202560 69005 0 0 0 93688 118 0 0 25 0 5 0 499159045 3803852800 875926 33554432000 4194304 5787044 140734080546240 18446744073709551615 254261721582 0 0 4096 0 254264289760 0 0 -1 3 0 0 0
[pid=6147/tid=6152] ppid=6146 vsize=3714700 CPUtime=937.59 cores=1,3,5,7
/proc/6147/task/6152/stat : 6152 (priss) R 6146 6146 4923 0 -1 4202560 727500 0 0 0 93589 170 0 0 25 0 5 0 499159099 3803852800 875926 33554432000 4194304 5787044 140734080546240 18446744073709551615 5524674 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3752.24
Current children cumulated vsize (KiB) 3723400

[startup+1002.3 s]
/proc/loadavg: 8.17 8.10 8.04 9/188 6188
/proc/meminfo: memFree=18181532/32951124 swapFree=67111528/67111528
[pid=6146] ppid=6144 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/6146/stat : 6146 (prissAuto.sh) S 6144 6146 4923 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 499158649 8908800 252 33554432000 4194304 4922060 140733562975552 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/6146/statm: 2175 252 211 178 0 68 0
[pid=6147] ppid=6146 vsize=3714700 CPUtime=3991.92 cores=1,3,5,7
/proc/6147/stat : 6147 (priss) S 6146 6146 4923 0 -1 4202496 1283867 0 0 0 398618 574 0 0 18 0 5 0 499158649 3803852800 875931 33554432000 4194304 5787044 140734080546240 18446744073709551615 254273440177 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/6147/statm: 928675 875931 415 389 0 924425 0
[pid=6147/tid=6149] ppid=6146 vsize=3714700 CPUtime=994.96 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (priss) R 6146 6146 4923 0 -1 4202560 62821 0 0 0 99414 82 0 0 25 0 5 0 499158939 3803852800 875931 33554432000 4194304 5787044 140734080546240 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=6147/tid=6150] ppid=6146 vsize=3714700 CPUtime=996.81 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (priss) R 6146 6146 4923 0 -1 4202560 67219 0 0 0 99540 141 0 0 25 0 5 0 499158990 3803852800 875931 33554432000 4194304 5787044 140734080546240 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=6147/tid=6151] ppid=6146 vsize=3714700 CPUtime=998.07 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (priss) R 6146 6146 4923 0 -1 4202560 69005 0 0 0 99684 123 0 0 25 0 5 0 499159045 3803852800 875931 33554432000 4194304 5787044 140734080546240 18446744073709551615 4238583 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=6147/tid=6152] ppid=6146 vsize=3714700 CPUtime=997.59 cores=1,3,5,7
/proc/6147/task/6152/stat : 6152 (priss) R 6146 6146 4923 0 -1 4202560 727500 0 0 0 99583 176 0 0 25 0 5 0 499159099 3803852800 875931 33554432000 4194304 5787044 140734080546240 18446744073709551615 4254488 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3991.92
Current children cumulated vsize (KiB) 3723400

[startup+1062.3 s]
/proc/loadavg: 8.22 8.13 8.05 9/188 6254
/proc/meminfo: memFree=18403504/32951124 swapFree=67111528/67111528
[pid=6146] ppid=6144 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/6146/stat : 6146 (prissAuto.sh) S 6144 6146 4923 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 499158649 8908800 252 33554432000 4194304 4922060 140733562975552 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/6146/statm: 2175 252 211 178 0 68 0
[pid=6147] ppid=6146 vsize=3714700 CPUtime=4231.58 cores=1,3,5,7
/proc/6147/stat : 6147 (priss) S 6146 6146 4923 0 -1 4202496 1283868 0 0 0 422568 590 0 0 18 0 5 0 499158649 3803852800 875932 33554432000 4194304 5787044 140734080546240 18446744073709551615 254273440177 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/6147/statm: 928675 875932 415 389 0 924425 0
[pid=6147/tid=6149] ppid=6146 vsize=3714700 CPUtime=1054.67 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (priss) R 6146 6146 4923 0 -1 4202560 62821 0 0 0 105383 84 0 0 25 0 5 0 499158939 3803852800 875932 33554432000 4194304 5787044 140734080546240 18446744073709551615 5576461 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=6147/tid=6150] ppid=6146 vsize=3714700 CPUtime=1056.77 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (priss) R 6146 6146 4923 0 -1 4202560 67220 0 0 0 105530 147 0 0 25 0 5 0 499158990 3803852800 875932 33554432000 4194304 5787044 140734080546240 18446744073709551615 5586769 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=6147/tid=6151] ppid=6146 vsize=3714700 CPUtime=1058.05 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (priss) R 6146 6146 4923 0 -1 4202560 69005 0 0 0 105679 126 0 0 25 0 5 0 499159045 3803852800 875932 33554432000 4194304 5787044 140734080546240 18446744073709551615 5586761 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=6147/tid=6152] ppid=6146 vsize=3714700 CPUtime=1057.58 cores=1,3,5,7
/proc/6147/task/6152/stat : 6152 (priss) R 6146 6146 4923 0 -1 4202560 727500 0 0 0 105578 180 0 0 25 0 5 0 499159099 3803852800 875932 33554432000 4194304 5787044 140734080546240 18446744073709551615 5534357 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4231.58
Current children cumulated vsize (KiB) 3723400

[startup+1122.3 s]
/proc/loadavg: 8.12 8.11 8.05 9/188 6256
/proc/meminfo: memFree=18199160/32951124 swapFree=67111528/67111528
[pid=6146] ppid=6144 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/6146/stat : 6146 (prissAuto.sh) S 6144 6146 4923 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 499158649 8908800 252 33554432000 4194304 4922060 140733562975552 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/6146/statm: 2175 252 211 178 0 68 0
[pid=6147] ppid=6146 vsize=3750272 CPUtime=4471.25 cores=1,3,5,7
/proc/6147/stat : 6147 (priss) S 6146 6146 4923 0 -1 4202496 1301899 0 0 0 446527 598 0 0 18 0 5 0 499158649 3840278528 884895 33554432000 4194304 5787044 140734080546240 18446744073709551615 254273440177 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/6147/statm: 937568 884895 415 389 0 933318 0
[pid=6147/tid=6149] ppid=6146 vsize=3750272 CPUtime=1114.67 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (priss) R 6146 6146 4923 0 -1 4202560 62821 0 0 0 111382 85 0 0 25 0 5 0 499158939 3840278528 884895 33554432000 4194304 5787044 140734080546240 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=6147/tid=6150] ppid=6146 vsize=3750272 CPUtime=1116.44 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (priss) R 6146 6146 4923 0 -1 4202560 67220 0 0 0 111495 149 0 0 25 0 5 0 499158990 3840278528 884895 33554432000 4194304 5787044 140734080546240 18446744073709551615 5585266 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=6147/tid=6151] ppid=6146 vsize=3750272 CPUtime=1118.05 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (priss) R 6146 6146 4923 0 -1 4202560 69005 0 0 0 111677 128 0 0 25 0 5 0 499159045 3840278528 884895 33554432000 4194304 5787044 140734080546240 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=6147/tid=6152] ppid=6146 vsize=3750272 CPUtime=1117.59 cores=1,3,5,7
/proc/6147/task/6152/stat : 6152 (priss) R 6146 6146 4923 0 -1 4202560 745531 0 0 0 111576 183 0 0 25 0 5 0 499159099 3840278528 884895 33554432000 4194304 5787044 140734080546240 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4471.25
Current children cumulated vsize (KiB) 3758972

[startup+1182.3 s]
/proc/loadavg: 8.07 8.10 8.05 9/188 6257
/proc/meminfo: memFree=18100004/32951124 swapFree=67111528/67111528
[pid=6146] ppid=6144 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/6146/stat : 6146 (prissAuto.sh) S 6144 6146 4923 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 499158649 8908800 252 33554432000 4194304 4922060 140733562975552 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/6146/statm: 2175 252 211 178 0 68 0
[pid=6147] ppid=6146 vsize=3749288 CPUtime=4710.79 cores=1,3,5,7
/proc/6147/stat : 6147 (priss) S 6146 6146 4923 0 -1 4202496 1345360 0 0 0 470466 613 0 0 18 0 5 0 499158649 3839270912 884662 33554432000 4194304 5787044 140734080546240 18446744073709551615 254273440177 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/6147/statm: 937322 884662 415 389 0 933072 0
[pid=6147/tid=6149] ppid=6146 vsize=3749288 CPUtime=1174.68 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (priss) R 6146 6146 4923 0 -1 4202560 62824 0 0 0 117380 88 0 0 25 0 5 0 499158939 3839270912 884662 33554432000 4194304 5787044 140734080546240 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=6147/tid=6150] ppid=6146 vsize=3749288 CPUtime=1176.11 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (priss) R 6146 6146 4923 0 -1 4202560 67220 0 0 0 117458 153 0 0 25 0 5 0 499158990 3839270912 884662 33554432000 4194304 5787044 140734080546240 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=6147/tid=6151] ppid=6146 vsize=3749288 CPUtime=1177.93 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (priss) R 6146 6146 4923 0 -1 4202560 69009 0 0 0 117662 131 0 0 25 0 5 0 499159045 3839270912 884662 33554432000 4194304 5787044 140734080546240 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=6147/tid=6152] ppid=6146 vsize=3749288 CPUtime=1177.59 cores=1,3,5,7
/proc/6147/task/6152/stat : 6152 (priss) R 6146 6146 4923 0 -1 4202560 788985 0 0 0 117570 189 0 0 25 0 5 0 499159099 3839270912 884662 33554432000 4194304 5787044 140734080546240 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4710.79
Current children cumulated vsize (KiB) 3757988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.7 s]
/proc/loadavg: 8.11 8.11 8.05 9/188 6258
/proc/meminfo: memFree=18086704/32951124 swapFree=67111528/67111528
[pid=6146] ppid=6144 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/6146/stat : 6146 (prissAuto.sh) S 6144 6146 4923 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 499158649 8908800 252 33554432000 4194304 4922060 140733562975552 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/6146/statm: 2175 252 211 178 0 68 0
[pid=6147] ppid=6146 vsize=3749124 CPUtime=4800.27 cores=1,3,5,7
/proc/6147/stat : 6147 (priss) S 6146 6146 4923 0 -1 4202496 1353966 0 0 0 479408 619 0 0 18 0 5 0 499158649 3839102976 884621 33554432000 4194304 5787044 140734080546240 18446744073709551615 254273440177 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/6147/statm: 937281 884621 415 389 0 933031 0
[pid=6147/tid=6149] ppid=6146 vsize=3749124 CPUtime=1197.08 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (priss) R 6146 6146 4923 0 -1 4202560 62824 0 0 0 119620 88 0 0 25 0 5 0 499158939 3839102976 884621 33554432000 4194304 5787044 140734080546240 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=6147/tid=6150] ppid=6146 vsize=3749124 CPUtime=1198.38 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (priss) R 6146 6146 4923 0 -1 4202560 67220 0 0 0 119684 154 0 0 25 0 5 0 499158990 3839102976 884621 33554432000 4194304 5787044 140734080546240 18446744073709551615 5590420 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=6147/tid=6151] ppid=6146 vsize=3749124 CPUtime=1200.31 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (priss) R 6146 6146 4923 0 -1 4202560 69009 0 0 0 119899 132 0 0 25 0 5 0 499159045 3839102976 884621 33554432000 4194304 5787044 140734080546240 18446744073709551615 5590295 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=6147/tid=6152] ppid=6146 vsize=3749124 CPUtime=1199.99 cores=1,3,5,7
/proc/6147/task/6152/stat : 6152 (priss) R 6146 6146 4923 0 -1 4202560 797591 0 0 0 119808 191 0 0 25 0 5 0 499159099 3839102976 884621 33554432000 4194304 5787044 140734080546240 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 3757824

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

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

[startup+1204.7 s]
/proc/loadavg: 8.11 8.11 8.05 9/188 6258
/proc/meminfo: memFree=18086704/32951124 swapFree=67111528/67111528
[pid=6146] ppid=6144 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/6146/stat : 6146 (prissAuto.sh) S 6144 6146 4923 0 -1 4202496 332 0 0 0 0 0 0 0 23 0 1 0 499158649 8908800 252 33554432000 4194304 4922060 140733562975552 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0
/proc/6146/statm: 2175 252 211 178 0 68 0
[pid=6147] ppid=6146 vsize=3749124 CPUtime=4800.27 cores=1,3,5,7
/proc/6147/stat : 6147 (priss) S 6146 6146 4923 0 -1 4202496 1353966 0 0 0 479408 619 0 0 18 0 5 0 499158649 3839102976 884621 33554432000 4194304 5787044 140734080546240 18446744073709551615 254273440177 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/6147/statm: 937281 884621 415 389 0 933031 0
[pid=6147/tid=6149] ppid=6146 vsize=3749124 CPUtime=1197.08 cores=1,3,5,7
/proc/6147/task/6149/stat : 6149 (priss) R 6146 6146 4923 0 -1 4202560 62824 0 0 0 119620 88 0 0 25 0 5 0 499158939 3839102976 884621 33554432000 4194304 5787044 140734080546240 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=6147/tid=6150] ppid=6146 vsize=3749124 CPUtime=1198.38 cores=1,3,5,7
/proc/6147/task/6150/stat : 6150 (priss) R 6146 6146 4923 0 -1 4202560 67220 0 0 0 119684 154 0 0 25 0 5 0 499158990 3839102976 884621 33554432000 4194304 5787044 140734080546240 18446744073709551615 5590420 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=6147/tid=6151] ppid=6146 vsize=3749124 CPUtime=1200.31 cores=1,3,5,7
/proc/6147/task/6151/stat : 6151 (priss) R 6146 6146 4923 0 -1 4202560 69009 0 0 0 119899 132 0 0 25 0 5 0 499159045 3839102976 884621 33554432000 4194304 5787044 140734080546240 18446744073709551615 5590295 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=6147/tid=6152] ppid=6146 vsize=3749124 CPUtime=1199.99 cores=1,3,5,7
/proc/6147/task/6152/stat : 6152 (priss) R 6146 6146 4923 0 -1 4202560 797591 0 0 0 119808 191 0 0 25 0 5 0 499159099 3839102976 884621 33554432000 4194304 5787044 140734080546240 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 3757824

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1204.72
CPU time (s): 4800.27
CPU user time (s): 4794.08
CPU system time (s): 6.19
CPU usage (%): 398.456
Max. virtual memory (cumulated for all children) (KiB): 3852512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 332
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 2

runsolver used 1.65475 second user time and 4.92525 second system time

The end

Launcher Data 

Begin job on node140 at 2011-04-29 10:57:13
IDJOB=3291964
IDBENCH=85005
IDSOLVER=1602
FILE ID=node140/3291964-1304067429
RUNJOBID= node140-1304056417-4942
PBS_JOBID= 13170433
Free space on /tmp= 72508 MiB

SOLVER NAME= priss Auto
BENCH NAME= SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq8.used-as.sat04-718.cnf
COMMAND LINE= DIR/prissAuto.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291964-1304067429/watcher-3291964-1304067429 -o /tmp/evaluation-result-3291964-1304067429/solver-3291964-1304067429 -C 4800 -W 1300 -M 15500  HOME/prissAuto.sh HOME HOME/instance-3291964-1304067429.cnf 1780331986 4800 15500 4

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

MD5SUM BENCH= 776da55785376fd8eac6989ca812b102
RANDOM SEED=1780331986

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
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:     32951124 kB
MemFree:      21881896 kB
Buffers:       2299348 kB
Cached:        7972864 kB
SwapCached:          0 kB
Active:        2979576 kB
Inactive:      7518544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21881896 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:          157792 kB
Writeback:           0 kB
AnonPages:      225652 kB
Mapped:          15668 kB
Slab:           508028 kB
PageTables:       5156 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   412328 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= 72508 MiB
End job on node140 at 2011-04-29 11:17:20