Trace number 3282304

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.1 1202.22

General information on the benchmark

NameAPPLICATIONS/bitverif/countbitswegner/
countbitswegner128.cnf
MD5SUM4b75ef7fb46928f50793af1d74c176e2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4342.44
Satisfiable
(Un)Satisfiability was proved
Number of variables98048
Number of clauses293759
Sum of the clauses size685435
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2195838
Number of clauses of size 397919
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c *****************************************************
0.00/0.00	c *        riss, Copyright 2009 Norbert Manthey       *
0.00/0.00	c *   This program may be redistributed or modified   *
0.00/0.00	c * under the terms of the GNU General Public License *
0.00/0.00	c *****************************************************
0.00/0.00	c process id: 29116
0.00/0.00	c setup for 4cores
0.00/0.08	c parsetime: 74716us
0.00/0.08	c parsed 293759 clauses with 98048 variables
0.00/0.09	c NW started thread 0 successfully (1091123520)
0.00/0.11	c NW started thread 1 successfully (1101613376)
0.00/0.14	c NW started thread 2 successfully (1112103232)
0.00/0.22	c NW started thread 3 successfully (1122593088)
24.25/6.56	c preprocessor returned 98048 variables
24.25/6.56	c preprocessing returned UNKNOWN
24.25/6.56	c PP set 1269 variables
24.25/6.56	c pp time: 6448607us (6s)
24.65/6.68	c preprocessor returned 98048 variables
24.65/6.68	c preprocessing returned UNKNOWN
24.65/6.68	c PP set 1269 variables
24.65/6.68	c pp time: 6346385us (6s)
25.83/6.94	c preprocessor returned 98048 variables
25.83/6.94	c preprocessing returned UNKNOWN
25.83/6.94	c PP set 1269 variables
25.83/6.94	c pp time: 6758476us (6s)
26.22/7.02	c preprocessor returned 98048 variables
26.22/7.02	c preprocessing returned UNKNOWN
26.22/7.02	c PP set 1269 variables
26.22/7.02	c pp time: 6742780us (6s)
26.63/7.13	c HTE
27.82/7.47	c subsumption
28.22/7.57	c simplified formula contains 0 unit clauses
29.82/7.94	c HTE
31.02/8.27	c subsumption
31.42/8.36	c simplified formula contains 0 unit clauses
33.03/8.72	c HTE
34.21/9.03	c subsumption
34.61/9.12	c simplified formula contains 0 unit clauses
35.81/9.48	c HTE
37.01/9.79	c subsumption
37.42/9.88	c simplified formula contains 0 unit clauses
37.42/9.89	c received clause contains eliminated literal -77315
39.40/10.35	c HTE
40.61/10.66	c subsumption
41.01/10.75	c simplified formula contains 0 unit clauses
41.01/10.76	c received clause contains eliminated literal -34668
41.01/10.76	c received clause contains eliminated literal -27749
41.01/10.76	c received clause contains eliminated literal -25801
43.40/11.35	c HTE
44.60/11.68	c subsumption
45.00/11.78	c simplified formula contains 0 unit clauses
46.61/12.11	c HTE
47.79/12.41	c subsumption
47.79/12.49	c simplified formula contains 0 unit clauses
49.40/12.81	c HTE
50.61/13.11	c subsumption
50.61/13.19	c simplified formula contains 0 unit clauses
52.19/13.54	c HTE
53.38/13.84	c subsumption
53.79/13.91	c simplified formula contains 0 unit clauses
55.00/14.24	c HTE
56.18/14.54	c subsumption
56.57/14.61	c simplified formula contains 0 unit clauses
57.77/14.93	c HTE
58.98/15.22	c subsumption
58.98/15.29	c simplified formula contains 0 unit clauses
58.98/15.30	c received clause contains eliminated literal -77020
60.57/15.60	c HTE
61.38/15.89	c subsumption
61.77/15.96	c simplified formula contains 0 unit clauses
63.38/16.32	c HTE
64.57/16.61	c subsumption
64.57/16.68	c simplified formula contains 0 unit clauses
66.17/17.01	c HTE
67.37/17.30	c subsumption
67.37/17.37	c simplified formula contains 0 unit clauses
67.37/17.38	c received clause contains eliminated literal -82113
67.37/17.38	c received clause contains eliminated literal -7742
68.59/17.69	c HTE
69.77/17.98	c subsumption
70.16/18.05	c simplified formula contains 0 unit clauses
74.16/19.04	c received clause contains eliminated literal -80981
75.36/19.35	c HTE
76.56/19.67	c subsumption
76.97/19.77	c simplified formula contains 0 unit clauses
77.74/19.94	c received clause contains eliminated literal -89857
80.14/20.59	c HTE
81.77/20.92	c subsumption
82.14/21.03	c simplified formula contains 0 unit clauses
83.74/21.49	c HTE
85.34/21.82	c subsumption
85.76/21.93	c simplified formula contains 0 unit clauses
102.52/26.15	c HTE
104.51/26.62	c subsumption
109.71/27.90	c simplified formula contains 0 unit clauses
125.30/31.81	c HTE
126.88/32.29	c subsumption
132.87/33.79	c simplified formula contains 0 unit clauses
137.68/34.92	c HTE
140.06/35.51	c subsumption
142.46/36.11	c simplified formula contains 0 unit clauses
150.05/38.03	c HTE
152.07/38.51	c subsumption
152.84/38.71	c simplified formula contains 0 unit clauses
157.24/39.85	c HTE
159.24/40.33	c subsumption
160.04/40.53	c simplified formula contains 0 unit clauses
194.39/49.10	c HTE
196.38/49.65	c subsumption
197.59/49.90	c simplified formula contains 0 unit clauses
223.54/56.43	c HTE
225.94/57.10	c subsumption
247.11/62.30	c simplified formula contains 0 unit clauses
249.50/62.93	c HTE
252.72/63.76	c subsumption
255.90/64.55	c simplified formula contains 0 unit clauses
258.29/65.17	c HTE
261.51/65.93	c subsumption
264.29/66.64	c simplified formula contains 0 unit clauses
372.93/93.81	c HTE
378.51/95.20	c subsumption
474.38/119.28	c simplified formula contains 0 unit clauses
474.78/119.30	c received clause contains eliminated literal -96909
477.97/120.15	c HTE
482.36/121.22	c subsumption
487.15/122.43	c simplified formula contains 0 unit clauses
573.44/144.05	c HTE
579.41/145.50	c subsumption
697.65/175.13	c simplified formula contains 0 unit clauses
798.67/200.41	c HTE
804.67/201.98	c subsumption
947.29/237.65	c simplified formula contains 0 unit clauses
1224.04/306.93	c HTE
1229.21/308.22	c subsumption
1240.80/311.18	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-3282304-1304040581/watcher-3282304-1304040581 -o /tmp/evaluation-result-3282304-1304040581/solver-3282304-1304040581 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3282304-1304040581.cnf 557678289 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.70 3.99 4.29 3/172 29114
/proc/meminfo: memFree=15158396/32950928 swapFree=67111528/67111528
[pid=29114] ppid=29112 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29114/stat : 29114 (prissAuto.sh) S 29112 29114 27798 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515657780 8908800 251 33554432000 4194304 4922060 140737104165920 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29114/statm: 2175 251 211 178 0 68 0

[startup+0.026007 s]
/proc/loadavg: 3.70 3.99 4.29 3/172 29114
/proc/meminfo: memFree=15158396/32950928 swapFree=67111528/67111528
[pid=29114] ppid=29112 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29114/stat : 29114 (prissAuto.sh) S 29112 29114 27798 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515657780 8908800 251 33554432000 4194304 4922060 140737104165920 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29114/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.101047 s]
/proc/loadavg: 3.70 3.99 4.29 3/172 29114
/proc/meminfo: memFree=15158396/32950928 swapFree=67111528/67111528
[pid=29114] ppid=29112 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29114/stat : 29114 (prissAuto.sh) S 29112 29114 27798 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515657780 8908800 251 33554432000 4194304 4922060 140737104165920 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29114/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301217 s]
/proc/loadavg: 3.70 3.99 4.29 3/172 29114
/proc/meminfo: memFree=15158396/32950928 swapFree=67111528/67111528
[pid=29114] ppid=29112 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29114/stat : 29114 (prissAuto.sh) S 29112 29114 27798 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515657780 8908800 251 33554432000 4194304 4922060 140737104165920 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29114/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700891 s]
/proc/loadavg: 3.70 3.99 4.29 3/172 29114
/proc/meminfo: memFree=15158396/32950928 swapFree=67111528/67111528
[pid=29114] ppid=29112 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29114/stat : 29114 (prissAuto.sh) S 29112 29114 27798 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515657780 8908800 251 33554432000 4194304 4922060 140737104165920 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29114/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50075 s]
/proc/loadavg: 3.70 3.99 4.29 9/188 29130
/proc/meminfo: memFree=14755656/32950928 swapFree=67111528/67111528
[pid=29114] ppid=29112 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29114/stat : 29114 (prissAuto.sh) S 29112 29114 27798 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515657780 8908800 251 33554432000 4194304 4922060 140737104165920 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29114/statm: 2175 251 211 178 0 68 0
[pid=29116] ppid=29114 vsize=402288 CPUtime=4.28 cores=0,2,4,6
/proc/29116/stat : 29116 (priss) S 29114 29114 27798 0 -1 4202496 78472 0 0 0 412 16 0 0 25 0 5 0 515657781 411942912 46358 33554432000 4194304 5787044 140734483871552 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/29116/statm: 100572 46358 347 389 0 96322 0
[pid=29116/tid=29124] ppid=29114 vsize=402288 CPUtime=1.27 cores=0,2,4,6
/proc/29116/task/29124/stat : 29124 (priss) R 29114 29114 27798 0 -1 4202560 16514 0 0 0 124 3 0 0 19 0 5 0 515657790 411942912 46358 33554432000 4194304 5787044 140734483871552 18446744073709551615 4330542 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29116/tid=29126] ppid=29114 vsize=402288 CPUtime=0.87 cores=0,2,4,6
/proc/29116/task/29126/stat : 29126 (priss) R 29114 29114 27798 0 -1 4202560 15643 0 0 0 83 4 0 0 18 0 5 0 515657792 411942912 46358 33554432000 4194304 5787044 140734483871552 18446744073709551615 4330501 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29116/tid=29128] ppid=29114 vsize=402288 CPUtime=0.84 cores=0,2,4,6
/proc/29116/task/29128/stat : 29128 (priss) R 29114 29114 27798 0 -1 4202560 16505 0 0 0 80 4 0 0 18 0 5 0 515657795 411942912 46358 33554432000 4194304 5787044 140734483871552 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29116/tid=29130] ppid=29114 vsize=402288 CPUtime=1.1 cores=0,2,4,6
/proc/29116/task/29130/stat : 29130 (priss) R 29114 29114 27798 0 -1 4202560 15139 0 0 0 109 1 0 0 19 0 5 0 515657803 411942912 46358 33554432000 4194304 5787044 140734483871552 18446744073709551615 4330481 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 410988

[startup+3.10047 s]
/proc/loadavg: 3.70 3.99 4.29 9/188 29130
/proc/meminfo: memFree=14709776/32950928 swapFree=67111528/67111528
[pid=29114] ppid=29112 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29114/stat : 29114 (prissAuto.sh) S 29112 29114 27798 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515657780 8908800 251 33554432000 4194304 4922060 140737104165920 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29114/statm: 2175 251 211 178 0 68 0
[pid=29116] ppid=29114 vsize=414700 CPUtime=10.65 cores=0,2,4,6
/proc/29116/stat : 29116 (priss) S 29114 29114 27798 0 -1 4202496 91140 0 0 0 1046 19 0 0 25 0 5 0 515657781 424652800 58005 33554432000 4194304 5787044 140734483871552 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/29116/statm: 103675 58005 351 389 0 99425 0
[pid=29116/tid=29124] ppid=29114 vsize=414700 CPUtime=2.86 cores=0,2,4,6
/proc/29116/task/29124/stat : 29124 (priss) R 29114 29114 27798 0 -1 4202560 19544 0 0 0 282 4 0 0 18 0 5 0 515657790 424652800 58005 33554432000 4194304 5787044 140734483871552 18446744073709551615 4276317 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29116/tid=29126] ppid=29114 vsize=414700 CPUtime=2.45 cores=0,2,4,6
/proc/29116/task/29126/stat : 29126 (priss) R 29114 29114 27798 0 -1 4202560 16829 0 0 0 241 4 0 0 22 0 5 0 515657792 424652800 58005 33554432000 4194304 5787044 140734483871552 18446744073709551615 4339908 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29116/tid=29128] ppid=29114 vsize=414700 CPUtime=2.44 cores=0,2,4,6
/proc/29116/task/29128/stat : 29128 (priss) R 29114 29114 27798 0 -1 4202560 21813 0 0 0 238 6 0 0 18 0 5 0 515657795 424652800 58005 33554432000 4194304 5787044 140734483871552 18446744073709551615 4318927 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29116/tid=29130] ppid=29114 vsize=414700 CPUtime=2.7 cores=0,2,4,6
/proc/29116/task/29130/stat : 29130 (priss) R 29114 29114 27798 0 -1 4202560 18283 0 0 0 268 2 0 0 18 0 5 0 515657803 424652800 58005 33554432000 4194304 5787044 140734483871552 18446744073709551615 4390932 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.65
Current children cumulated vsize (KiB) 423400

[startup+6.30091 s]
/proc/loadavg: 4.04 4.06 4.31 9/188 29130
/proc/meminfo: memFree=14564704/32950928 swapFree=67111528/67111528
[pid=29114] ppid=29112 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29114/stat : 29114 (prissAuto.sh) S 29112 29114 27798 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515657780 8908800 251 33554432000 4194304 4922060 140737104165920 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29114/statm: 2175 251 211 178 0 68 0
[pid=29116] ppid=29114 vsize=434000 CPUtime=23.43 cores=0,2,4,6
/proc/29116/stat : 29116 (priss) S 29114 29114 27798 0 -1 4202496 107339 0 0 0 2321 22 0 0 25 0 5 0 515657781 444416000 69813 33554432000 4194304 5787044 140734483871552 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/29116/statm: 108500 69813 353 389 0 104250 0
[pid=29116/tid=29124] ppid=29114 vsize=434000 CPUtime=6.06 cores=0,2,4,6
/proc/29116/task/29124/stat : 29124 (priss) R 29114 29114 27798 0 -1 4202560 24702 0 0 0 601 5 0 0 25 0 5 0 515657790 444416000 69813 33554432000 4194304 5787044 140734483871552 18446744073709551615 4330542 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29116/tid=29126] ppid=29114 vsize=434000 CPUtime=5.62 cores=0,2,4,6
/proc/29116/task/29126/stat : 29126 (priss) R 29114 29114 27798 0 -1 4202560 18151 0 0 0 558 4 0 0 25 0 5 0 515657792 444416000 69813 33554432000 4194304 5787044 140734483871552 18446744073709551615 4276026 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29116/tid=29128] ppid=29114 vsize=434000 CPUtime=5.64 cores=0,2,4,6
/proc/29116/task/29128/stat : 29128 (priss) R 29114 29114 27798 0 -1 4202560 24831 0 0 0 558 6 0 0 25 0 5 0 515657795 444416000 69813 33554432000 4194304 5787044 140734483871552 18446744073709551615 4276026 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29116/tid=29130] ppid=29114 vsize=434000 CPUtime=5.89 cores=0,2,4,6
/proc/29116/task/29130/stat : 29130 (priss) R 29114 29114 27798 0 -1 4202560 24984 0 0 0 587 2 0 0 25 0 5 0 515657803 444416000 69813 33554432000 4194304 5787044 140734483871552 18446744073709551615 4332602 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.43
Current children cumulated vsize (KiB) 442700

[startup+12.7008 s]
/proc/loadavg: 4.36 4.12 4.33 9/188 29131
/proc/meminfo: memFree=14457140/32950928 swapFree=67111528/67111528
[pid=29114] ppid=29112 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29114/stat : 29114 (prissAuto.sh) S 29112 29114 27798 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515657780 8908800 251 33554432000 4194304 4922060 140737104165920 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29114/statm: 2175 251 211 178 0 68 0
[pid=29116] ppid=29114 vsize=570392 CPUtime=49 cores=0,2,4,6
/proc/29116/stat : 29116 (priss) S 29114 29114 27798 0 -1 4202496 154293 0 0 0 4871 29 0 0 25 0 5 0 515657781 584081408 85452 33554432000 4194304 5787044 140734483871552 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/29116/statm: 142598 85452 418 389 0 138348 0
[pid=29116/tid=29124] ppid=29114 vsize=570392 CPUtime=12.46 cores=0,2,4,6
/proc/29116/task/29124/stat : 29124 (priss) R 29114 29114 27798 0 -1 4202560 30442 0 0 0 1240 6 0 0 25 0 5 0 515657790 584081408 85452 33554432000 4194304 5787044 140734483871552 18446744073709551615 4220814 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29116/tid=29126] ppid=29114 vsize=570392 CPUtime=11.99 cores=0,2,4,6
/proc/29116/task/29126/stat : 29126 (priss) R 29114 29114 27798 0 -1 4202560 20048 0 0 0 1194 5 0 0 25 0 5 0 515657792 584081408 85452 33554432000 4194304 5787044 140734483871552 18446744073709551615 4220668 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29116/tid=29128] ppid=29114 vsize=570392 CPUtime=12.04 cores=0,2,4,6
/proc/29116/task/29128/stat : 29128 (priss) R 29114 29114 27798 0 -1 4202560 34104 0 0 0 1196 8 0 0 25 0 5 0 515657795 584081408 85452 33554432000 4194304 5787044 140734483871552 18446744073709551615 4220542 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29116/tid=29130] ppid=29114 vsize=570392 CPUtime=12.3 cores=0,2,4,6
/proc/29116/task/29130/stat : 29130 (priss) R 29114 29114 27798 0 -1 4202560 55028 0 0 0 1224 6 0 0 25 0 5 0 515657803 584081408 85452 33554432000 4194304 5787044 140734483871552 18446744073709551615 4330542 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49
Current children cumulated vsize (KiB) 579092

[startup+25.5005 s]
/proc/loadavg: 5.16 4.31 4.39 9/188 29131
/proc/meminfo: memFree=14448108/32950928 swapFree=67111528/67111528
[pid=29114] ppid=29112 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29114/stat : 29114 (prissAuto.sh) S 29112 29114 27798 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515657780 8908800 251 33554432000 4194304 4922060 140737104165920 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29114/statm: 2175 251 211 178 0 68 0
[pid=29116] ppid=29114 vsize=571316 CPUtime=100.12 cores=0,2,4,6
/proc/29116/stat : 29116 (priss) S 29114 29114 27798 0 -1 4202496 199452 0 0 0 9977 35 0 0 25 0 5 0 515657781 585027584 86387 33554432000 4194304 5787044 140734483871552 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/29116/statm: 142829 86387 418 389 0 138579 0
[pid=29116/tid=29124] ppid=29114 vsize=571316 CPUtime=25.26 cores=0,2,4,6
/proc/29116/task/29124/stat : 29124 (priss) R 29114 29114 27798 0 -1 4202560 30978 0 0 0 2520 6 0 0 25 0 5 0 515657790 585027584 86387 33554432000 4194304 5787044 140734483871552 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29116/tid=29126] ppid=29114 vsize=571316 CPUtime=24.72 cores=0,2,4,6
/proc/29116/task/29126/stat : 29126 (priss) R 29114 29114 27798 0 -1 4202560 20421 0 0 0 2467 5 0 0 25 0 5 0 515657792 585027584 86387 33554432000 4194304 5787044 140734483871552 18446744073709551615 5590446 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29116/tid=29128] ppid=29114 vsize=571316 CPUtime=24.84 cores=0,2,4,6
/proc/29116/task/29128/stat : 29128 (priss) R 29114 29114 27798 0 -1 4202560 34246 0 0 0 2476 8 0 0 25 0 5 0 515657795 585027584 86387 33554432000 4194304 5787044 140734483871552 18446744073709551615 4254894 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29116/tid=29130] ppid=29114 vsize=571316 CPUtime=25.1 cores=0,2,4,6
/proc/29116/task/29130/stat : 29130 (priss) R 29114 29114 27798 0 -1 4202560 99136 0 0 0 2498 12 0 0 25 0 5 0 515657803 585027584 86387 33554432000 4194304 5787044 140734483871552 18446744073709551615 4220542 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.12
Current children cumulated vsize (KiB) 580016

[startup+51.101 s]
/proc/loadavg: 6.13 4.61 4.49 9/188 29132
/proc/meminfo: memFree=14392868/32950928 swapFree=67111528/67111528
[pid=29114] ppid=29112 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29114/stat : 29114 (prissAuto.sh) S 29112 29114 27798 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515657780 8908800 251 33554432000 4194304 4922060 140737104165920 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29114/statm: 2175 251 211 178 0 68 0
[pid=29116] ppid=29114 vsize=586840 CPUtime=202.38 cores=0,2,4,6
/proc/29116/stat : 29116 (priss) S 29114 29114 27798 0 -1 4202496 224159 0 0 0 20197 41 0 0 25 0 5 0 515657781 600924160 95888 33554432000 4194304 5787044 140734483871552 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/29116/statm: 146710 95888 418 389 0 142460 0
[pid=29116/tid=29124] ppid=29114 vsize=586840 CPUtime=50.85 cores=0,2,4,6
/proc/29116/task/29124/stat : 29124 (priss) R 29114 29114 27798 0 -1 4202560 31566 0 0 0 5079 6 0 0 25 0 5 0 515657790 600924160 95888 33554432000 4194304 5787044 140734483871552 18446744073709551615 4220688 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29116/tid=29126] ppid=29114 vsize=586840 CPUtime=50.18 cores=0,2,4,6
/proc/29116/task/29126/stat : 29126 (priss) R 29114 29114 27798 0 -1 4202560 22996 0 0 0 5011 7 0 0 25 0 5 0 515657792 600924160 95888 33554432000 4194304 5787044 140734483871552 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29116/tid=29128] ppid=29114 vsize=586840 CPUtime=50.44 cores=0,2,4,6
/proc/29116/task/29128/stat : 29128 (priss) R 29114 29114 27798 0 -1 4202560 35502 0 0 0 5035 9 0 0 25 0 5 0 515657795 600924160 95888 33554432000 4194304 5787044 140734483871552 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29116/tid=29130] ppid=29114 vsize=586840 CPUtime=50.69 cores=0,2,4,6
/proc/29116/task/29130/stat : 29130 (priss) R 29114 29114 27798 0 -1 4202560 119424 0 0 0 5054 15 0 0 25 0 5 0 515657803 600924160 95888 33554432000 4194304 5787044 140734483871552 18446744073709551615 4220770 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 202.38
Current children cumulated vsize (KiB) 595540

[startup+102.307 s]
/proc/loadavg: 7.31 5.16 4.68 9/188 29133
/proc/meminfo: memFree=14295388/32950928 swapFree=67111528/67111528
[pid=29114] ppid=29112 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29114/stat : 29114 (prissAuto.sh) S 29112 29114 27798 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515657780 8908800 251 33554432000 4194304 4922060 140737104165920 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29114/statm: 2175 251 211 178 0 68 0
[pid=29116] ppid=29114 vsize=596920 CPUtime=406.89 cores=0,2,4,6
/proc/29116/stat : 29116 (priss) S 29114 29114 27798 0 -1 4202496 253530 0 0 0 40638 51 0 0 25 0 5 0 515657781 611246080 109091 33554432000 4194304 5787044 140734483871552 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/29116/statm: 149230 109091 418 389 0 144980 0
[pid=29116/tid=29124] ppid=29114 vsize=596920 CPUtime=102.06 cores=0,2,4,6
/proc/29116/task/29124/stat : 29124 (priss) R 29114 29114 27798 0 -1 4202560 32894 0 0 0 10199 7 0 0 25 0 5 0 515657790 611246080 109091 33554432000 4194304 5787044 140734483871552 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29116/tid=29126] ppid=29114 vsize=596920 CPUtime=101.09 cores=0,2,4,6
/proc/29116/task/29126/stat : 29126 (priss) R 29114 29114 27798 0 -1 4202560 25558 0 0 0 10100 9 0 0 25 0 5 0 515657792 611246080 109091 33554432000 4194304 5787044 140734483871552 18446744073709551615 5591751 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=29116/tid=29128] ppid=29114 vsize=596920 CPUtime=101.64 cores=0,2,4,6
/proc/29116/task/29128/stat : 29128 (priss) R 29114 29114 27798 0 -1 4202560 40017 0 0 0 10153 11 0 0 25 0 5 0 515657795 611246080 109091 33554432000 4194304 5787044 140734483871552 18446744073709551615 4220488 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29116/tid=29130] ppid=29114 vsize=596920 CPUtime=101.89 cores=0,2,4,6

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

/proc/29116/task/29126/stat : 29126 (priss) R 29114 29114 27798 0 -1 4202560 57276 0 0 0 82060 39 0 0 25 0 5 0 515657792 1147138048 248592 33554432000 4194304 5787044 140734483871552 18446744073709551615 5591730 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29116/tid=29128] ppid=29114 vsize=1120252 CPUtime=818.25 cores=0,2,4,6
/proc/29116/task/29128/stat : 29128 (priss) R 29114 29114 27798 0 -1 4202560 80049 0 0 0 81779 46 0 0 25 0 5 0 515657795 1147138048 248592 33554432000 4194304 5787044 140734483871552 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29116/tid=29130] ppid=29114 vsize=1120252 CPUtime=821.21 cores=0,2,4,6
/proc/29116/task/29130/stat : 29130 (priss) R 29114 29114 27798 0 -1 4202560 192120 0 0 0 82062 59 0 0 25 0 5 0 515657803 1147138048 248592 33554432000 4194304 5787044 140734483871552 18446744073709551615 5527491 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3282.63
Current children cumulated vsize (KiB) 1128952

[startup+882.301 s]
/proc/loadavg: 8.16 7.92 6.62 9/188 29154
/proc/meminfo: memFree=12712244/32950928 swapFree=67111528/67111528
[pid=29114] ppid=29112 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29114/stat : 29114 (prissAuto.sh) S 29112 29114 27798 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515657780 8908800 251 33554432000 4194304 4922060 140737104165920 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29114/statm: 2175 251 211 178 0 68 0
[pid=29116] ppid=29114 vsize=1284472 CPUtime=3522.3 cores=0,2,4,6
/proc/29116/stat : 29116 (priss) S 29114 29114 27798 0 -1 4202496 435126 0 0 0 352020 210 0 0 25 0 5 0 515657781 1315299328 274643 33554432000 4194304 5787044 140734483871552 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/29116/statm: 321118 274643 418 389 0 316868 0
[pid=29116/tid=29124] ppid=29114 vsize=1284472 CPUtime=881.99 cores=0,2,4,6
/proc/29116/task/29124/stat : 29124 (priss) R 29114 29114 27798 0 -1 4202560 72575 0 0 0 88159 40 0 0 25 0 5 0 515657790 1315299328 274643 33554432000 4194304 5787044 140734483871552 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29116/tid=29126] ppid=29114 vsize=1284472 CPUtime=880.99 cores=0,2,4,6
/proc/29116/task/29126/stat : 29126 (priss) R 29114 29114 27798 0 -1 4202560 63527 0 0 0 88051 48 0 0 25 0 5 0 515657792 1315299328 274643 33554432000 4194304 5787044 140734483871552 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29116/tid=29128] ppid=29114 vsize=1284472 CPUtime=878.25 cores=0,2,4,6
/proc/29116/task/29128/stat : 29128 (priss) R 29114 29114 27798 0 -1 4202560 86058 0 0 0 87775 50 0 0 25 0 5 0 515657795 1315299328 274643 33554432000 4194304 5787044 140734483871552 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29116/tid=29130] ppid=29114 vsize=1284472 CPUtime=880.88 cores=0,2,4,6
/proc/29116/task/29130/stat : 29130 (priss) R 29114 29114 27798 0 -1 4202560 198295 0 0 0 88019 69 0 0 25 0 5 0 515657803 1315299328 274643 33554432000 4194304 5787044 140734483871552 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3522.3
Current children cumulated vsize (KiB) 1293172

[startup+942.301 s]
/proc/loadavg: 8.10 7.94 6.71 9/188 29156
/proc/meminfo: memFree=12623544/32950928 swapFree=67111528/67111528
[pid=29114] ppid=29112 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29114/stat : 29114 (prissAuto.sh) S 29112 29114 27798 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515657780 8908800 251 33554432000 4194304 4922060 140737104165920 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29114/statm: 2175 251 211 178 0 68 0
[pid=29116] ppid=29114 vsize=1381388 CPUtime=3761.94 cores=0,2,4,6
/proc/29116/stat : 29116 (priss) S 29114 29114 27798 0 -1 4202496 457386 0 0 0 375963 231 0 0 25 0 5 0 515657781 1414541312 296678 33554432000 4194304 5787044 140734483871552 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/29116/statm: 345347 296678 418 389 0 341097 0
[pid=29116/tid=29124] ppid=29114 vsize=1381388 CPUtime=941.98 cores=0,2,4,6
/proc/29116/task/29124/stat : 29124 (priss) R 29114 29114 27798 0 -1 4202560 77391 0 0 0 94152 46 0 0 25 0 5 0 515657790 1414541312 296678 33554432000 4194304 5787044 140734483871552 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29116/tid=29126] ppid=29114 vsize=1381388 CPUtime=940.99 cores=0,2,4,6
/proc/29116/task/29126/stat : 29126 (priss) R 29114 29114 27798 0 -1 4202560 67741 0 0 0 94047 52 0 0 25 0 5 0 515657792 1414541312 296678 33554432000 4194304 5787044 140734483871552 18446744073709551615 4220295 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29116/tid=29128] ppid=29114 vsize=1381388 CPUtime=938.23 cores=0,2,4,6
/proc/29116/task/29128/stat : 29128 (priss) R 29114 29114 27798 0 -1 4202560 91893 0 0 0 93766 57 0 0 25 0 5 0 515657795 1414541312 296678 33554432000 4194304 5787044 140734483871552 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29116/tid=29130] ppid=29114 vsize=1381388 CPUtime=940.55 cores=0,2,4,6
/proc/29116/task/29130/stat : 29130 (priss) R 29114 29114 27798 0 -1 4202560 205690 0 0 0 93982 73 0 0 25 0 5 0 515657803 1414541312 296678 33554432000 4194304 5787044 140734483871552 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3761.94
Current children cumulated vsize (KiB) 1390088

[startup+1002.3 s]
/proc/loadavg: 8.04 7.95 6.79 9/188 29157
/proc/meminfo: memFree=12583332/32950928 swapFree=67111528/67111528
[pid=29114] ppid=29112 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29114/stat : 29114 (prissAuto.sh) S 29112 29114 27798 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515657780 8908800 251 33554432000 4194304 4922060 140737104165920 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29114/statm: 2175 251 211 178 0 68 0
[pid=29116] ppid=29114 vsize=1381388 CPUtime=4001.57 cores=0,2,4,6
/proc/29116/stat : 29116 (priss) S 29114 29114 27798 0 -1 4202496 458690 0 0 0 399925 232 0 0 25 0 5 0 515657781 1414541312 297532 33554432000 4194304 5787044 140734483871552 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/29116/statm: 345347 297532 418 389 0 341097 0
[pid=29116/tid=29124] ppid=29114 vsize=1381388 CPUtime=1001.97 cores=0,2,4,6
/proc/29116/task/29124/stat : 29124 (priss) R 29114 29114 27798 0 -1 4202560 78015 0 0 0 100150 47 0 0 25 0 5 0 515657790 1414541312 297532 33554432000 4194304 5787044 140734483871552 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29116/tid=29126] ppid=29114 vsize=1381388 CPUtime=1000.98 cores=0,2,4,6
/proc/29116/task/29126/stat : 29126 (priss) R 29114 29114 27798 0 -1 4202560 68346 0 0 0 100046 52 0 0 25 0 5 0 515657792 1414541312 297532 33554432000 4194304 5787044 140734483871552 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29116/tid=29128] ppid=29114 vsize=1381388 CPUtime=998.22 cores=0,2,4,6
/proc/29116/task/29128/stat : 29128 (priss) R 29114 29114 27798 0 -1 4202560 91893 0 0 0 99765 57 0 0 25 0 5 0 515657795 1414541312 297532 33554432000 4194304 5787044 140734483871552 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29116/tid=29130] ppid=29114 vsize=1381388 CPUtime=1000.21 cores=0,2,4,6
/proc/29116/task/29130/stat : 29130 (priss) R 29114 29114 27798 0 -1 4202560 205765 0 0 0 99948 73 0 0 25 0 5 0 515657803 1414541312 297532 33554432000 4194304 5787044 140734483871552 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4001.57
Current children cumulated vsize (KiB) 1390088

[startup+1062.3 s]
/proc/loadavg: 8.01 7.96 6.86 9/188 29159
/proc/meminfo: memFree=12467232/32950928 swapFree=67111528/67111528
[pid=29114] ppid=29112 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29114/stat : 29114 (prissAuto.sh) S 29112 29114 27798 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515657780 8908800 251 33554432000 4194304 4922060 140737104165920 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29114/statm: 2175 251 211 178 0 68 0
[pid=29116] ppid=29114 vsize=1381388 CPUtime=4241.26 cores=0,2,4,6
/proc/29116/stat : 29116 (priss) S 29114 29114 27798 0 -1 4202496 458764 0 0 0 423893 233 0 0 25 0 5 0 515657781 1414541312 297606 33554432000 4194304 5787044 140734483871552 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/29116/statm: 345347 297606 418 389 0 341097 0
[pid=29116/tid=29124] ppid=29114 vsize=1381388 CPUtime=1061.97 cores=0,2,4,6
/proc/29116/task/29124/stat : 29124 (priss) R 29114 29114 27798 0 -1 4202560 78015 0 0 0 106150 47 0 0 25 0 5 0 515657790 1414541312 297606 33554432000 4194304 5787044 140734483871552 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29116/tid=29126] ppid=29114 vsize=1381388 CPUtime=1060.98 cores=0,2,4,6
/proc/29116/task/29126/stat : 29126 (priss) R 29114 29114 27798 0 -1 4202560 68346 0 0 0 106046 52 0 0 25 0 5 0 515657792 1414541312 297606 33554432000 4194304 5787044 140734483871552 18446744073709551615 4228048 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29116/tid=29128] ppid=29114 vsize=1381388 CPUtime=1058.22 cores=0,2,4,6
/proc/29116/task/29128/stat : 29128 (priss) R 29114 29114 27798 0 -1 4202560 91893 0 0 0 105765 57 0 0 25 0 5 0 515657795 1414541312 297606 33554432000 4194304 5787044 140734483871552 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29116/tid=29130] ppid=29114 vsize=1381388 CPUtime=1059.88 cores=0,2,4,6
/proc/29116/task/29130/stat : 29130 (priss) R 29114 29114 27798 0 -1 4202560 205839 0 0 0 105915 73 0 0 25 0 5 0 515657803 1414541312 297606 33554432000 4194304 5787044 140734483871552 18446744073709551615 5527008 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4241.26
Current children cumulated vsize (KiB) 1390088

[startup+1122.3 s]
/proc/loadavg: 8.04 7.97 6.93 9/188 29160
/proc/meminfo: memFree=12306484/32950928 swapFree=67111528/67111528
[pid=29114] ppid=29112 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29114/stat : 29114 (prissAuto.sh) S 29112 29114 27798 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515657780 8908800 251 33554432000 4194304 4922060 140737104165920 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29114/statm: 2175 251 211 178 0 68 0
[pid=29116] ppid=29114 vsize=1383512 CPUtime=4480.89 cores=0,2,4,6
/proc/29116/stat : 29116 (priss) S 29114 29114 27798 0 -1 4202496 459112 0 0 0 447855 234 0 0 25 0 5 0 515657781 1416716288 297954 33554432000 4194304 5787044 140734483871552 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/29116/statm: 345878 297954 418 389 0 341628 0
[pid=29116/tid=29124] ppid=29114 vsize=1383512 CPUtime=1121.97 cores=0,2,4,6
/proc/29116/task/29124/stat : 29124 (priss) R 29114 29114 27798 0 -1 4202560 78015 0 0 0 112150 47 0 0 25 0 5 0 515657790 1416716288 297954 33554432000 4194304 5787044 140734483871552 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29116/tid=29126] ppid=29114 vsize=1383512 CPUtime=1120.97 cores=0,2,4,6
/proc/29116/task/29126/stat : 29126 (priss) R 29114 29114 27798 0 -1 4202560 68346 0 0 0 112045 52 0 0 25 0 5 0 515657792 1416716288 297954 33554432000 4194304 5787044 140734483871552 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29116/tid=29128] ppid=29114 vsize=1383512 CPUtime=1118.22 cores=0,2,4,6
/proc/29116/task/29128/stat : 29128 (priss) R 29114 29114 27798 0 -1 4202560 91893 0 0 0 111765 57 0 0 25 0 5 0 515657795 1416716288 297954 33554432000 4194304 5787044 140734483871552 18446744073709551615 5591623 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29116/tid=29130] ppid=29114 vsize=1383512 CPUtime=1119.53 cores=0,2,4,6
/proc/29116/task/29130/stat : 29130 (priss) R 29114 29114 27798 0 -1 4202560 206187 0 0 0 111880 73 0 0 25 0 5 0 515657803 1416716288 297954 33554432000 4194304 5787044 140734483871552 18446744073709551615 4220542 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4480.89
Current children cumulated vsize (KiB) 1392212

[startup+1182.3 s]
/proc/loadavg: 8.05 7.99 7.00 9/188 29162
/proc/meminfo: memFree=12124668/32950928 swapFree=67111528/67111528
[pid=29114] ppid=29112 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29114/stat : 29114 (prissAuto.sh) S 29112 29114 27798 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515657780 8908800 251 33554432000 4194304 4922060 140737104165920 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29114/statm: 2175 251 211 178 0 68 0
[pid=29116] ppid=29114 vsize=1383512 CPUtime=4720.57 cores=0,2,4,6
/proc/29116/stat : 29116 (priss) S 29114 29114 27798 0 -1 4202496 459115 0 0 0 471822 235 0 0 25 0 5 0 515657781 1416716288 297957 33554432000 4194304 5787044 140734483871552 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/29116/statm: 345878 297957 418 389 0 341628 0
[pid=29116/tid=29124] ppid=29114 vsize=1383512 CPUtime=1181.97 cores=0,2,4,6
/proc/29116/task/29124/stat : 29124 (priss) R 29114 29114 27798 0 -1 4202560 78016 0 0 0 118150 47 0 0 25 0 5 0 515657790 1416716288 297957 33554432000 4194304 5787044 140734483871552 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29116/tid=29126] ppid=29114 vsize=1383512 CPUtime=1180.97 cores=0,2,4,6
/proc/29116/task/29126/stat : 29126 (priss) R 29114 29114 27798 0 -1 4202560 68347 0 0 0 118044 53 0 0 25 0 5 0 515657792 1416716288 297957 33554432000 4194304 5787044 140734483871552 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29116/tid=29128] ppid=29114 vsize=1383512 CPUtime=1178.23 cores=0,2,4,6
/proc/29116/task/29128/stat : 29128 (priss) R 29114 29114 27798 0 -1 4202560 91894 0 0 0 117765 58 0 0 25 0 5 0 515657795 1416716288 297957 33554432000 4194304 5787044 140734483871552 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29116/tid=29130] ppid=29114 vsize=1383512 CPUtime=1179.21 cores=0,2,4,6
/proc/29116/task/29130/stat : 29130 (priss) R 29114 29114 27798 0 -1 4202560 206187 0 0 0 117847 74 0 0 25 0 5 0 515657803 1416716288 297957 33554432000 4194304 5787044 140734483871552 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4720.57
Current children cumulated vsize (KiB) 1392212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.2 s]
/proc/loadavg: 8.10 8.01 7.03 5/181 29163
/proc/meminfo: memFree=13962520/32950928 swapFree=67111528/67111528
[pid=29114] ppid=29112 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/29114/stat : 29114 (prissAuto.sh) S 29112 29114 27798 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 515657780 8908800 251 33554432000 4194304 4922060 140737104165920 18446744073709551615 274473786501 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/29114/statm: 2175 251 211 178 0 68 0
[pid=29116] ppid=29114 vsize=1383512 CPUtime=4800.1 cores=0,2,4,6
/proc/29116/stat : 29116 (priss) S 29114 29114 27798 0 -1 4202496 459116 0 0 0 479775 235 0 0 25 0 5 0 515657781 1416716288 297958 33554432000 4194304 5787044 140734483871552 18446744073709551615 274485791153 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/29116/statm: 345878 297958 418 389 0 341628 0
[pid=29116/tid=29124] ppid=29114 vsize=1383512 CPUtime=1201.89 cores=0,2,4,6
/proc/29116/task/29124/stat : 29124 (priss) R 29114 29114 27798 0 -1 4202560 78017 0 0 0 120141 48 0 0 25 0 5 0 515657790 1416716288 297958 33554432000 4194304 5787044 140734483871552 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=29116/tid=29126] ppid=29114 vsize=1383512 CPUtime=1200.89 cores=0,2,4,6
/proc/29116/task/29126/stat : 29126 (priss) R 29114 29114 27798 0 -1 4202560 68347 0 0 0 120036 53 0 0 25 0 5 0 515657792 1416716288 297958 33554432000 4194304 5787044 140734483871552 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=29116/tid=29128] ppid=29114 vsize=1383512 CPUtime=1198.14 cores=0,2,4,6
/proc/29116/task/29128/stat : 29128 (priss) R 29114 29114 27798 0 -1 4202560 91894 0 0 0 119756 58 0 0 25 0 5 0 515657795 1416716288 297958 33554432000 4194304 5787044 140734483871552 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=29116/tid=29130] ppid=29114 vsize=1383512 CPUtime=1199 cores=0,2,4,6
/proc/29116/task/29130/stat : 29130 (priss) R 29114 29114 27798 0 -1 4202560 206187 0 0 0 119826 74 0 0 25 0 5 0 515657803 1416716288 297958 33554432000 4194304 5787044 140734483871552 18446744073709551615 5527113 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 1392212

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

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1202.22
CPU time (s): 4800.1
CPU user time (s): 4797.75
CPU system time (s): 2.35
CPU usage (%): 399.268
Max. virtual memory (cumulated for all children) (KiB): 1392212

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

runsolver used 1.87271 second user time and 4.69329 second system time

The end

Launcher Data 

Begin job on node125 at 2011-04-29 03:29:41
IDJOB=3282304
IDBENCH=70799
IDSOLVER=1602
FILE ID=node125/3282304-1304040581
RUNJOBID= node125-1304040581-29099
PBS_JOBID= 13170327
Free space on /tmp= 72756 MiB

SOLVER NAME= priss Auto
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitswegner/countbitswegner128.cnf
COMMAND LINE= DIR/prissAuto.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3282304-1304040581/watcher-3282304-1304040581 -o /tmp/evaluation-result-3282304-1304040581/solver-3282304-1304040581 -C 4800 -W 1300 -M 15500  HOME/prissAuto.sh HOME HOME/instance-3282304-1304040581.cnf 557678289 4800 15500 4

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

MD5SUM BENCH= 4b75ef7fb46928f50793af1d74c176e2
RANDOM SEED=557678289

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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.828
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.828
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.828
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:      15158560 kB
Buffers:       2217808 kB
Cached:       14980300 kB
SwapCached:          0 kB
Active:        9039980 kB
Inactive:      8221812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15158560 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12820 kB
Writeback:           0 kB
AnonPages:       63840 kB
Mapped:          14492 kB
Slab:           468620 kB
PageTables:       4716 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   184480 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= 72756 MiB
End job on node125 at 2011-04-29 03:49:45