Trace number 3280372

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.2 1202.02

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/partial-5-11-u.cnf
MD5SUM8e22d84b1ae625d44fbf300a32374a2d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables164158
Number of clauses730719
Sum of the clauses size1660140
Maximum clause length10
Minimum clause length1
Number of clauses of size 112474
Number of clauses of size 2600009
Number of clauses of size 387256
Number of clauses of size 43440
Number of clauses of size 513760
Number of clauses of size over 513780

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: 25836
0.00/0.00	c setup for 4cores
0.00/0.18	c parsetime: 180670us
0.00/0.18	c parsed 730719 clauses with 164158 variables
0.00/0.23	c NW started thread 0 successfully (1111595328)
0.00/0.27	c NW started thread 1 successfully (1094740288)
0.00/0.33	c NW started thread 2 successfully (1122085184)
0.00/0.40	c NW started thread 3 successfully (1132575040)
204.98/51.66	c preprocessor returned 164158 variables
204.98/51.66	c preprocessing returned UNKNOWN
204.98/51.66	c PP set 39411 variables
204.98/51.66	c pp time: 51205797us (51s)
205.38/51.76	c preprocessor returned 164158 variables
205.38/51.76	c preprocessing returned UNKNOWN
205.38/51.76	c PP set 39411 variables
205.38/51.76	c pp time: 51326121us (51s)
205.76/51.86	c preprocessor returned 164158 variables
205.76/51.86	c preprocessing returned UNKNOWN
205.76/51.86	c PP set 39411 variables
205.76/51.86	c pp time: 51598050us (51s)
208.56/52.59	c preprocessor returned 164158 variables
208.56/52.59	c preprocessing returned UNKNOWN
208.56/52.59	c PP set 39411 variables
208.56/52.59	c pp time: 52269321us (52s)
226.96/57.14	c HTE
245.70/61.82	c subsumption
246.50/62.02	c simplified formula contains 0 unit clauses
246.50/62.08	c added unsatisfied clause
246.50/62.08	c failed to add network clauses
260.49/65.59	c HTE
274.07/68.92	c subsumption
274.87/69.12	c simplified formula contains 0 unit clauses
274.87/69.14	c received clause contains eliminated literal -27625
287.25/72.20	c HTE
298.84/75.12	c subsumption
299.64/75.31	c simplified formula contains 0 unit clauses
311.22/78.24	c HTE
322.81/81.17	c subsumption
323.62/81.34	c simplified formula contains 0 unit clauses
323.62/81.37	c received clause contains eliminated literal -9355
334.79/84.19	c HTE
345.60/86.84	c subsumption
346.37/87.01	c simplified formula contains 0 unit clauses
346.37/87.03	c received clause contains eliminated literal -111303
346.37/87.03	c received clause contains eliminated literal -21112
346.37/87.03	c received clause contains eliminated literal -27733
357.16/89.73	c HTE
367.56/92.32	c subsumption
367.96/92.49	c simplified formula contains 0 unit clauses
368.34/92.51	c received clause contains eliminated literal -114745
401.90/100.97	c HTE
412.69/103.67	c subsumption
414.68/104.13	c simplified formula contains 0 unit clauses
425.08/106.77	c HTE
439.04/110.21	c subsumption
439.84/110.44	c simplified formula contains 0 unit clauses
439.84/110.46	c received clause contains eliminated literal -19017
447.43/112.33	c received clause contains eliminated literal -46900
460.24/115.59	c HTE
470.20/118.07	c subsumption
471.80/118.43	c simplified formula contains 0 unit clauses
507.35/127.31	c HTE
518.93/130.30	c subsumption
523.72/131.44	c simplified formula contains 0 unit clauses
611.21/153.37	c HTE
621.20/155.88	c subsumption
624.79/156.73	c simplified formula contains 0 unit clauses
713.47/178.91	c received clause contains eliminated literal -33656
773.38/193.91	c HTE
786.56/197.28	c subsumption
795.76/199.52	c simplified formula contains 0 unit clauses
910.39/228.24	c received clause contains eliminated literal -28402
973.51/244.10	c HTE
1007.46/252.56	c subsumption
1046.61/262.30	c simplified formula contains 0 unit clauses
1046.61/262.33	c received clause contains eliminated literal -117053
1046.61/262.33	c received clause contains eliminated literal -27992
1126.49/282.38	c received clause contains eliminated literal -41078
1324.61/331.93	c HTE
1399.72/350.77	c subsumption
1509.56/378.28	c simplified formula contains 0 unit clauses
2042.83/511.75	c received clause contains eliminated literal -114449
2132.70/534.29	c received clause contains eliminated literal -114301
2224.56/557.24	c HTE
2473.43/619.56	c subsumption
2693.92/674.75	c simplified formula contains 0 unit clauses
2707.90/678.28	c HTE
2838.53/710.95	c subsumption
2906.84/728.02	c simplified formula contains 0 unit clauses
2926.81/733.03	c received clause contains eliminated literal -41263
3217.59/805.89	c received clause contains eliminated literal -47455
4294.91/1075.57	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-3280372-1304036814/watcher-3280372-1304036814 -o /tmp/evaluation-result-3280372-1304036814/solver-3280372-1304036814 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3280372-1304036814.cnf 841113569 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: 4.50 7.24 8.69 2/178 25835
/proc/meminfo: memFree=16072596/32950928 swapFree=67111528/67111528
[pid=25835] ppid=25833 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25835/stat : 25835 (prissAuto.sh) S 25833 25835 24860 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515280228 8908800 252 33554432000 4194304 4922060 140735021204320 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25835/statm: 2175 252 211 178 0 68 0

[startup+0.0803331 s]
/proc/loadavg: 4.50 7.24 8.69 2/178 25835
/proc/meminfo: memFree=16072596/32950928 swapFree=67111528/67111528
[pid=25835] ppid=25833 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25835/stat : 25835 (prissAuto.sh) S 25833 25835 24860 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515280228 8908800 252 33554432000 4194304 4922060 140735021204320 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25835/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.10033 s]
/proc/loadavg: 4.50 7.24 8.69 2/178 25835
/proc/meminfo: memFree=16072596/32950928 swapFree=67111528/67111528
[pid=25835] ppid=25833 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25835/stat : 25835 (prissAuto.sh) S 25833 25835 24860 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515280228 8908800 252 33554432000 4194304 4922060 140735021204320 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25835/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300296 s]
/proc/loadavg: 4.50 7.24 8.69 2/178 25835
/proc/meminfo: memFree=16072596/32950928 swapFree=67111528/67111528
[pid=25835] ppid=25833 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25835/stat : 25835 (prissAuto.sh) S 25833 25835 24860 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515280228 8908800 252 33554432000 4194304 4922060 140735021204320 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25835/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700227 s]
/proc/loadavg: 4.50 7.24 8.69 2/178 25835
/proc/meminfo: memFree=16072596/32950928 swapFree=67111528/67111528
[pid=25835] ppid=25833 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25835/stat : 25835 (prissAuto.sh) S 25833 25835 24860 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515280228 8908800 252 33554432000 4194304 4922060 140735021204320 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25835/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50109 s]
/proc/loadavg: 4.50 7.24 8.69 9/188 25845
/proc/meminfo: memFree=14693024/32950928 swapFree=67111528/67111528
[pid=25835] ppid=25833 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25835/stat : 25835 (prissAuto.sh) S 25833 25835 24860 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515280228 8908800 252 33554432000 4194304 4922060 140735021204320 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25835/statm: 2175 252 211 178 0 68 0
[pid=25836] ppid=25835 vsize=595452 CPUtime=4.84 cores=1,3,5,7
/proc/25836/stat : 25836 (priss) S 25835 25835 24860 0 -1 4202496 169878 0 0 0 443 41 0 0 25 0 5 0 515280228 609742848 93917 33554432000 4194304 5787044 140736779212880 18446744073709551615 268284512689 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/25836/statm: 148863 93917 349 389 0 144613 0
[pid=25836/tid=25838] ppid=25835 vsize=595452 CPUtime=1.15 cores=1,3,5,7
/proc/25836/task/25838/stat : 25838 (priss) R 25835 25835 24860 0 -1 4202560 35837 0 0 0 105 10 0 0 18 0 5 0 515280251 609742848 93917 33554432000 4194304 5787044 140736779212880 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=25836/tid=25839] ppid=25835 vsize=595452 CPUtime=1.16 cores=1,3,5,7
/proc/25836/task/25839/stat : 25839 (priss) R 25835 25835 24860 0 -1 4202560 34123 0 0 0 106 10 0 0 18 0 5 0 515280256 609742848 93917 33554432000 4194304 5787044 140736779212880 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=25836/tid=25841] ppid=25835 vsize=595452 CPUtime=1.05 cores=1,3,5,7
/proc/25836/task/25841/stat : 25841 (priss) R 25835 25835 24860 0 -1 4202560 33809 0 0 0 97 8 0 0 18 0 5 0 515280262 609742848 93917 33554432000 4194304 5787044 140736779212880 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=25836/tid=25843] ppid=25835 vsize=595452 CPUtime=1.07 cores=1,3,5,7
/proc/25836/task/25843/stat : 25843 (priss) R 25835 25835 24860 0 -1 4202560 32794 0 0 0 101 6 0 0 18 0 5 0 515280268 609742848 93917 33554432000 4194304 5787044 140736779212880 18446744073709551615 4330507 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.84
Current children cumulated vsize (KiB) 604152

[startup+3.10081 s]
/proc/loadavg: 4.50 7.24 8.69 10/188 25845
/proc/meminfo: memFree=15084492/32950928 swapFree=67111528/67111528
[pid=25835] ppid=25833 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25835/stat : 25835 (prissAuto.sh) S 25833 25835 24860 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515280228 8908800 252 33554432000 4194304 4922060 140735021204320 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25835/statm: 2175 252 211 178 0 68 0
[pid=25836] ppid=25835 vsize=595452 CPUtime=11.23 cores=1,3,5,7
/proc/25836/stat : 25836 (priss) S 25835 25835 24860 0 -1 4202496 169878 0 0 0 1082 41 0 0 25 0 5 0 515280228 609742848 93917 33554432000 4194304 5787044 140736779212880 18446744073709551615 268284512689 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/25836/statm: 148863 93917 349 389 0 144613 0
[pid=25836/tid=25838] ppid=25835 vsize=595452 CPUtime=2.74 cores=1,3,5,7
/proc/25836/task/25838/stat : 25838 (priss) R 25835 25835 24860 0 -1 4202560 35837 0 0 0 264 10 0 0 20 0 5 0 515280251 609742848 93917 33554432000 4194304 5787044 140736779212880 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=25836/tid=25839] ppid=25835 vsize=595452 CPUtime=2.76 cores=1,3,5,7
/proc/25836/task/25839/stat : 25839 (priss) R 25835 25835 24860 0 -1 4202560 34123 0 0 0 266 10 0 0 21 0 5 0 515280256 609742848 93917 33554432000 4194304 5787044 140736779212880 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=25836/tid=25841] ppid=25835 vsize=595452 CPUtime=2.65 cores=1,3,5,7
/proc/25836/task/25841/stat : 25841 (priss) R 25835 25835 24860 0 -1 4202560 33809 0 0 0 257 8 0 0 21 0 5 0 515280262 609742848 93917 33554432000 4194304 5787044 140736779212880 18446744073709551615 4330555 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=25836/tid=25843] ppid=25835 vsize=595452 CPUtime=2.67 cores=1,3,5,7
/proc/25836/task/25843/stat : 25843 (priss) R 25835 25835 24860 0 -1 4202560 32794 0 0 0 261 6 0 0 21 0 5 0 515280268 609742848 93917 33554432000 4194304 5787044 140736779212880 18446744073709551615 4330507 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 11.23
Current children cumulated vsize (KiB) 604152

[startup+6.30124 s]
/proc/loadavg: 4.78 7.26 8.69 10/188 25845
/proc/meminfo: memFree=15083868/32950928 swapFree=67111528/67111528
[pid=25835] ppid=25833 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25835/stat : 25835 (prissAuto.sh) S 25833 25835 24860 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515280228 8908800 252 33554432000 4194304 4922060 140735021204320 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25835/statm: 2175 252 211 178 0 68 0
[pid=25836] ppid=25835 vsize=595452 CPUtime=24.02 cores=1,3,5,7
/proc/25836/stat : 25836 (priss) S 25835 25835 24860 0 -1 4202496 169878 0 0 0 2361 41 0 0 25 0 5 0 515280228 609742848 93917 33554432000 4194304 5787044 140736779212880 18446744073709551615 268284512689 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/25836/statm: 148863 93917 349 389 0 144613 0
[pid=25836/tid=25838] ppid=25835 vsize=595452 CPUtime=5.93 cores=1,3,5,7
/proc/25836/task/25838/stat : 25838 (priss) R 25835 25835 24860 0 -1 4202560 35837 0 0 0 583 10 0 0 25 0 5 0 515280251 609742848 93917 33554432000 4194304 5787044 140736779212880 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=25836/tid=25839] ppid=25835 vsize=595452 CPUtime=5.96 cores=1,3,5,7
/proc/25836/task/25839/stat : 25839 (priss) R 25835 25835 24860 0 -1 4202560 34123 0 0 0 586 10 0 0 25 0 5 0 515280256 609742848 93917 33554432000 4194304 5787044 140736779212880 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=25836/tid=25841] ppid=25835 vsize=595452 CPUtime=5.85 cores=1,3,5,7
/proc/25836/task/25841/stat : 25841 (priss) R 25835 25835 24860 0 -1 4202560 33809 0 0 0 577 8 0 0 25 0 5 0 515280262 609742848 93917 33554432000 4194304 5787044 140736779212880 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=25836/tid=25843] ppid=25835 vsize=595452 CPUtime=5.87 cores=1,3,5,7
/proc/25836/task/25843/stat : 25843 (priss) R 25835 25835 24860 0 -1 4202560 32794 0 0 0 581 6 0 0 25 0 5 0 515280268 609742848 93917 33554432000 4194304 5787044 140736779212880 18446744073709551615 4330507 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.02
Current children cumulated vsize (KiB) 604152

[startup+12.7011 s]
/proc/loadavg: 5.04 7.27 8.69 9/188 25845
/proc/meminfo: memFree=15083296/32950928 swapFree=67111528/67111528
[pid=25835] ppid=25833 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25835/stat : 25835 (prissAuto.sh) S 25833 25835 24860 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515280228 8908800 252 33554432000 4194304 4922060 140735021204320 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25835/statm: 2175 252 211 178 0 68 0
[pid=25836] ppid=25835 vsize=595452 CPUtime=49.58 cores=1,3,5,7
/proc/25836/stat : 25836 (priss) S 25835 25835 24860 0 -1 4202496 169878 0 0 0 4917 41 0 0 25 0 5 0 515280228 609742848 93917 33554432000 4194304 5787044 140736779212880 18446744073709551615 268284512689 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/25836/statm: 148863 93917 349 389 0 144613 0
[pid=25836/tid=25838] ppid=25835 vsize=595452 CPUtime=12.29 cores=1,3,5,7
/proc/25836/task/25838/stat : 25838 (priss) R 25835 25835 24860 0 -1 4202560 35837 0 0 0 1219 10 0 0 25 0 5 0 515280251 609742848 93917 33554432000 4194304 5787044 140736779212880 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=25836/tid=25839] ppid=25835 vsize=595452 CPUtime=12.36 cores=1,3,5,7
/proc/25836/task/25839/stat : 25839 (priss) R 25835 25835 24860 0 -1 4202560 34123 0 0 0 1226 10 0 0 25 0 5 0 515280256 609742848 93917 33554432000 4194304 5787044 140736779212880 18446744073709551615 4330507 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=25836/tid=25841] ppid=25835 vsize=595452 CPUtime=12.25 cores=1,3,5,7
/proc/25836/task/25841/stat : 25841 (priss) R 25835 25835 24860 0 -1 4202560 33809 0 0 0 1217 8 0 0 25 0 5 0 515280262 609742848 93917 33554432000 4194304 5787044 140736779212880 18446744073709551615 4330542 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=25836/tid=25843] ppid=25835 vsize=595452 CPUtime=12.27 cores=1,3,5,7
/proc/25836/task/25843/stat : 25843 (priss) R 25835 25835 24860 0 -1 4202560 32794 0 0 0 1221 6 0 0 25 0 5 0 515280268 609742848 93917 33554432000 4194304 5787044 140736779212880 18446744073709551615 4330542 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 49.58
Current children cumulated vsize (KiB) 604152

[startup+25.5008 s]
/proc/loadavg: 5.69 7.30 8.67 10/188 25845
/proc/meminfo: memFree=15081596/32950928 swapFree=67111528/67111528
[pid=25835] ppid=25833 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25835/stat : 25835 (prissAuto.sh) S 25833 25835 24860 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515280228 8908800 252 33554432000 4194304 4922060 140735021204320 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25835/statm: 2175 252 211 178 0 68 0
[pid=25836] ppid=25835 vsize=595452 CPUtime=100.71 cores=1,3,5,7
/proc/25836/stat : 25836 (priss) S 25835 25835 24860 0 -1 4202496 169878 0 0 0 10030 41 0 0 25 0 5 0 515280228 609742848 93917 33554432000 4194304 5787044 140736779212880 18446744073709551615 268284512689 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/25836/statm: 148863 93917 349 389 0 144613 0
[pid=25836/tid=25838] ppid=25835 vsize=595452 CPUtime=25.02 cores=1,3,5,7
/proc/25836/task/25838/stat : 25838 (priss) R 25835 25835 24860 0 -1 4202560 35837 0 0 0 2492 10 0 0 25 0 5 0 515280251 609742848 93917 33554432000 4194304 5787044 140736779212880 18446744073709551615 4330472 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=25836/tid=25839] ppid=25835 vsize=595452 CPUtime=25.16 cores=1,3,5,7
/proc/25836/task/25839/stat : 25839 (priss) R 25835 25835 24860 0 -1 4202560 34123 0 0 0 2506 10 0 0 25 0 5 0 515280256 609742848 93917 33554432000 4194304 5787044 140736779212880 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=25836/tid=25841] ppid=25835 vsize=595452 CPUtime=25.05 cores=1,3,5,7
/proc/25836/task/25841/stat : 25841 (priss) R 25835 25835 24860 0 -1 4202560 33809 0 0 0 2497 8 0 0 25 0 5 0 515280262 609742848 93917 33554432000 4194304 5787044 140736779212880 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=25836/tid=25843] ppid=25835 vsize=595452 CPUtime=25.07 cores=1,3,5,7
/proc/25836/task/25843/stat : 25843 (priss) R 25835 25835 24860 0 -1 4202560 32794 0 0 0 2501 6 0 0 25 0 5 0 515280268 609742848 93917 33554432000 4194304 5787044 140736779212880 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 100.71
Current children cumulated vsize (KiB) 604152

[startup+51.1013 s]
/proc/loadavg: 6.48 7.36 8.65 10/188 25846
/proc/meminfo: memFree=14829532/32950928 swapFree=67111528/67111528
[pid=25835] ppid=25833 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25835/stat : 25835 (prissAuto.sh) S 25833 25835 24860 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515280228 8908800 252 33554432000 4194304 4922060 140735021204320 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25835/statm: 2175 252 211 178 0 68 0
[pid=25836] ppid=25835 vsize=611532 CPUtime=202.96 cores=1,3,5,7
/proc/25836/stat : 25836 (priss) S 25835 25835 24860 0 -1 4202496 234977 0 0 0 20243 53 0 0 25 0 5 0 515280228 626208768 116558 33554432000 4194304 5787044 140736779212880 18446744073709551615 268284512689 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/25836/statm: 152883 116558 353 389 0 148633 0
[pid=25836/tid=25838] ppid=25835 vsize=611532 CPUtime=50.48 cores=1,3,5,7
/proc/25836/task/25838/stat : 25838 (priss) R 25835 25835 24860 0 -1 4202560 54790 0 0 0 5035 13 0 0 25 0 5 0 515280251 626208768 116558 33554432000 4194304 5787044 140736779212880 18446744073709551615 4330488 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=25836/tid=25839] ppid=25835 vsize=611532 CPUtime=50.76 cores=1,3,5,7
/proc/25836/task/25839/stat : 25839 (priss) R 25835 25835 24860 0 -1 4202560 50852 0 0 0 5062 14 0 0 25 0 5 0 515280256 626208768 116558 33554432000 4194304 5787044 140736779212880 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=25836/tid=25841] ppid=25835 vsize=611532 CPUtime=50.65 cores=1,3,5,7
/proc/25836/task/25841/stat : 25841 (priss) R 25835 25835 24860 0 -1 4202560 49918 0 0 0 5054 11 0 0 25 0 5 0 515280262 626208768 116558 33554432000 4194304 5787044 140736779212880 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=25836/tid=25843] ppid=25835 vsize=611532 CPUtime=50.67 cores=1,3,5,7
/proc/25836/task/25843/stat : 25843 (priss) R 25835 25835 24860 0 -1 4202560 46102 0 0 0 5058 9 0 0 25 0 5 0 515280268 626208768 116558 33554432000 4194304 5787044 140736779212880 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 202.96
Current children cumulated vsize (KiB) 620232

[startup+102.307 s]
/proc/loadavg: 7.34 7.46 8.62 10/188 25848
/proc/meminfo: memFree=14639992/32950928 swapFree=67111528/67111528
[pid=25835] ppid=25833 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25835/stat : 25835 (prissAuto.sh) S 25833 25835 24860 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515280228 8908800 252 33554432000 4194304 4922060 140735021204320 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25835/statm: 2175 252 211 178 0 68 0
[pid=25836] ppid=25835 vsize=856808 CPUtime=407.51 cores=1,3,5,7
/proc/25836/stat : 25836 (priss) S 25835 25835 24860 0 -1 4202496 298966 0 0 0 40674 77 0 0 25 0 5 0 515280228 877371392 158689 33554432000 4194304 5787044 140736779212880 18446744073709551615 268284512689 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/25836/statm: 214202 158689 418 389 0 209952 0
[pid=25836/tid=25838] ppid=25835 vsize=856808 CPUtime=101.41 cores=1,3,5,7
/proc/25836/task/25838/stat : 25838 (priss) R 25835 25835 24860 0 -1 4202560 66731 0 0 0 10120 21 0 0 25 0 5 0 515280251 877371392 158689 33554432000 4194304 5787044 140736779212880 18446744073709551615 5586648 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=25836/tid=25839] ppid=25835 vsize=856808 CPUtime=101.97 cores=1,3,5,7
/proc/25836/task/25839/stat : 25839 (priss) R 25835 25835 24860 0 -1 4202560 62112 0 0 0 10178 19 0 0 25 0 5 0 515280256 877371392 158689 33554432000 4194304 5787044 140736779212880 18446744073709551615 5586627 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=25836/tid=25841] ppid=25835 vsize=856808 CPUtime=101.85 cores=1,3,5,7
/proc/25836/task/25841/stat : 25841 (priss) R 25835 25835 24860 0 -1 4202560 60834 0 0 0 10167 18 0 0 25 0 5 0 515280262 877371392 158689 33554432000 4194304 5787044 140736779212880 18446744073709551615 4220233 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=25836/tid=25843] ppid=25835 vsize=856808 CPUtime=101.88 cores=1,3,5,7

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

/proc/25836/task/25839/stat : 25839 (priss) R 25835 25835 24860 0 -1 4202560 88412 0 0 0 82146 47 0 0 25 0 5 0 515280256 1519259648 316868 33554432000 4194304 5787044 140736779212880 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=25836/tid=25841] ppid=25835 vsize=1483652 CPUtime=818.86 cores=1,3,5,7
/proc/25836/task/25841/stat : 25841 (priss) R 25835 25835 24860 0 -1 4202560 82062 0 0 0 81838 48 0 0 25 0 5 0 515280262 1519259648 316868 33554432000 4194304 5787044 140736779212880 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=25836/tid=25843] ppid=25835 vsize=1483652 CPUtime=821.86 cores=1,3,5,7
/proc/25836/task/25843/stat : 25843 (priss) R 25835 25835 24860 0 -1 4202560 190611 0 0 0 82118 68 0 0 25 0 5 0 515280268 1519259648 316868 33554432000 4194304 5787044 140736779212880 18446744073709551615 4254966 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3283.5
Current children cumulated vsize (KiB) 1492352

[startup+882.3 s]
/proc/loadavg: 8.19 8.06 8.30 10/188 25868
/proc/meminfo: memFree=13797536/32950928 swapFree=67111528/67111528
[pid=25835] ppid=25833 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25835/stat : 25835 (prissAuto.sh) S 25833 25835 24860 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515280228 8908800 252 33554432000 4194304 4922060 140735021204320 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25835/statm: 2175 252 211 178 0 68 0
[pid=25836] ppid=25835 vsize=1483652 CPUtime=3523.15 cores=1,3,5,7
/proc/25836/stat : 25836 (priss) S 25835 25835 24860 0 -1 4202496 489803 0 0 0 352086 229 0 0 25 0 5 0 515280228 1519259648 319899 33554432000 4194304 5787044 140736779212880 18446744073709551615 268284512689 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/25836/statm: 370913 319899 418 389 0 366663 0
[pid=25836/tid=25838] ppid=25835 vsize=1483652 CPUtime=880.45 cores=1,3,5,7
/proc/25836/task/25838/stat : 25838 (priss) R 25835 25835 24860 0 -1 4202560 93055 0 0 0 87990 55 0 0 25 0 5 0 515280251 1519259648 319899 33554432000 4194304 5787044 140736779212880 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=25836/tid=25839] ppid=25835 vsize=1483652 CPUtime=881.93 cores=1,3,5,7
/proc/25836/task/25839/stat : 25839 (priss) R 25835 25835 24860 0 -1 4202560 88791 0 0 0 88145 48 0 0 25 0 5 0 515280256 1519259648 319899 33554432000 4194304 5787044 140736779212880 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=25836/tid=25841] ppid=25835 vsize=1483652 CPUtime=878.51 cores=1,3,5,7
/proc/25836/task/25841/stat : 25841 (priss) R 25835 25835 24860 0 -1 4202560 82114 0 0 0 87803 48 0 0 25 0 5 0 515280262 1519259648 319899 33554432000 4194304 5787044 140736779212880 18446744073709551615 5590268 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=25836/tid=25843] ppid=25835 vsize=1483652 CPUtime=881.86 cores=1,3,5,7
/proc/25836/task/25843/stat : 25843 (priss) R 25835 25835 24860 0 -1 4202560 192528 0 0 0 88114 72 0 0 25 0 5 0 515280268 1519259648 319899 33554432000 4194304 5787044 140736779212880 18446744073709551615 4254922 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3523.15
Current children cumulated vsize (KiB) 1492352

[startup+942.301 s]
/proc/loadavg: 8.16 8.08 8.29 10/188 25870
/proc/meminfo: memFree=13788684/32950928 swapFree=67111528/67111528
[pid=25835] ppid=25833 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25835/stat : 25835 (prissAuto.sh) S 25833 25835 24860 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515280228 8908800 252 33554432000 4194304 4922060 140735021204320 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25835/statm: 2175 252 211 178 0 68 0
[pid=25836] ppid=25835 vsize=1483652 CPUtime=3762.83 cores=1,3,5,7
/proc/25836/stat : 25836 (priss) S 25835 25835 24860 0 -1 4202496 490814 0 0 0 376052 231 0 0 25 0 5 0 515280228 1519259648 320877 33554432000 4194304 5787044 140736779212880 18446744073709551615 268284512689 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/25836/statm: 370913 320877 418 389 0 366663 0
[pid=25836/tid=25838] ppid=25835 vsize=1483652 CPUtime=940.45 cores=1,3,5,7
/proc/25836/task/25838/stat : 25838 (priss) R 25835 25835 24860 0 -1 4202560 93203 0 0 0 93990 55 0 0 25 0 5 0 515280251 1519259648 320877 33554432000 4194304 5787044 140736779212880 18446744073709551615 5591019 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=25836/tid=25839] ppid=25835 vsize=1483652 CPUtime=941.93 cores=1,3,5,7
/proc/25836/task/25839/stat : 25839 (priss) R 25835 25835 24860 0 -1 4202560 88901 0 0 0 94145 48 0 0 25 0 5 0 515280256 1519259648 320877 33554432000 4194304 5787044 140736779212880 18446744073709551615 4254922 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=25836/tid=25841] ppid=25835 vsize=1483652 CPUtime=938.19 cores=1,3,5,7
/proc/25836/task/25841/stat : 25841 (priss) R 25835 25835 24860 0 -1 4202560 82114 0 0 0 93771 48 0 0 25 0 5 0 515280262 1519259648 320877 33554432000 4194304 5787044 140736779212880 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=25836/tid=25843] ppid=25835 vsize=1483652 CPUtime=941.85 cores=1,3,5,7
/proc/25836/task/25843/stat : 25843 (priss) R 25835 25835 24860 0 -1 4202560 193281 0 0 0 94112 73 0 0 25 0 5 0 515280268 1519259648 320877 33554432000 4194304 5787044 140736779212880 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3762.83
Current children cumulated vsize (KiB) 1492352

[startup+1002.3 s]
/proc/loadavg: 8.14 8.09 8.28 10/188 25871
/proc/meminfo: memFree=13756904/32950928 swapFree=67111528/67111528
[pid=25835] ppid=25833 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25835/stat : 25835 (prissAuto.sh) S 25833 25835 24860 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515280228 8908800 252 33554432000 4194304 4922060 140735021204320 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25835/statm: 2175 252 211 178 0 68 0
[pid=25836] ppid=25835 vsize=1483652 CPUtime=4002.5 cores=1,3,5,7
/proc/25836/stat : 25836 (priss) S 25835 25835 24860 0 -1 4202496 492617 0 0 0 400017 233 0 0 25 0 5 0 515280228 1519259648 322680 33554432000 4194304 5787044 140736779212880 18446744073709551615 268284512689 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/25836/statm: 370913 322680 418 389 0 366663 0
[pid=25836/tid=25838] ppid=25835 vsize=1483652 CPUtime=1000.46 cores=1,3,5,7
/proc/25836/task/25838/stat : 25838 (priss) R 25835 25835 24860 0 -1 4202560 93916 0 0 0 99989 57 0 0 25 0 5 0 515280251 1519259648 322680 33554432000 4194304 5787044 140736779212880 18446744073709551615 268272350241 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=25836/tid=25839] ppid=25835 vsize=1483652 CPUtime=1001.93 cores=1,3,5,7
/proc/25836/task/25839/stat : 25839 (priss) R 25835 25835 24860 0 -1 4202560 88902 0 0 0 100145 48 0 0 25 0 5 0 515280256 1519259648 322680 33554432000 4194304 5787044 140736779212880 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=25836/tid=25841] ppid=25835 vsize=1483652 CPUtime=997.85 cores=1,3,5,7
/proc/25836/task/25841/stat : 25841 (priss) R 25835 25835 24860 0 -1 4202560 82118 0 0 0 99737 48 0 0 25 0 5 0 515280262 1519259648 322680 33554432000 4194304 5787044 140736779212880 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=25836/tid=25843] ppid=25835 vsize=1483652 CPUtime=1001.86 cores=1,3,5,7
/proc/25836/task/25843/stat : 25843 (priss) R 25835 25835 24860 0 -1 4202560 194366 0 0 0 100112 74 0 0 25 0 5 0 515280268 1519259648 322680 33554432000 4194304 5787044 140736779212880 18446744073709551615 5527491 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4002.5
Current children cumulated vsize (KiB) 1492352

[startup+1062.3 s]
/proc/loadavg: 8.09 8.09 8.26 10/188 25873
/proc/meminfo: memFree=13646504/32950928 swapFree=67111528/67111528
[pid=25835] ppid=25833 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25835/stat : 25835 (prissAuto.sh) S 25833 25835 24860 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515280228 8908800 252 33554432000 4194304 4922060 140735021204320 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25835/statm: 2175 252 211 178 0 68 0
[pid=25836] ppid=25835 vsize=1641004 CPUtime=4242.18 cores=1,3,5,7
/proc/25836/stat : 25836 (priss) S 25835 25835 24860 0 -1 4202496 518415 0 0 0 423948 270 0 0 25 0 5 0 515280228 1680388096 348478 33554432000 4194304 5787044 140736779212880 18446744073709551615 268284512689 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/25836/statm: 410251 348478 418 389 0 406001 0
[pid=25836/tid=25838] ppid=25835 vsize=1641004 CPUtime=1060.46 cores=1,3,5,7
/proc/25836/task/25838/stat : 25838 (priss) R 25835 25835 24860 0 -1 4202560 101647 0 0 0 105975 71 0 0 25 0 5 0 515280251 1680388096 348478 33554432000 4194304 5787044 140736779212880 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=25836/tid=25839] ppid=25835 vsize=1641004 CPUtime=1061.93 cores=1,3,5,7
/proc/25836/task/25839/stat : 25839 (priss) R 25835 25835 24860 0 -1 4202560 91575 0 0 0 106140 53 0 0 25 0 5 0 515280256 1680388096 348478 33554432000 4194304 5787044 140736779212880 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=25836/tid=25841] ppid=25835 vsize=1641004 CPUtime=1057.53 cores=1,3,5,7
/proc/25836/task/25841/stat : 25841 (priss) R 25835 25835 24860 0 -1 4202560 90963 0 0 0 105692 61 0 0 25 0 5 0 515280262 1680388096 348478 33554432000 4194304 5787044 140736779212880 18446744073709551615 5590420 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=25836/tid=25843] ppid=25835 vsize=1641004 CPUtime=1061.85 cores=1,3,5,7
/proc/25836/task/25843/stat : 25843 (priss) R 25835 25835 24860 0 -1 4202560 200915 0 0 0 106106 79 0 0 25 0 5 0 515280268 1680388096 348478 33554432000 4194304 5787044 140736779212880 18446744073709551615 5528386 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4242.18
Current children cumulated vsize (KiB) 1649704

[startup+1122.3 s]
/proc/loadavg: 8.06 8.08 8.25 10/188 25875
/proc/meminfo: memFree=13494932/32950928 swapFree=67111528/67111528
[pid=25835] ppid=25833 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25835/stat : 25835 (prissAuto.sh) S 25833 25835 24860 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515280228 8908800 252 33554432000 4194304 4922060 140735021204320 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25835/statm: 2175 252 211 178 0 68 0
[pid=25836] ppid=25835 vsize=1814092 CPUtime=4481.85 cores=1,3,5,7
/proc/25836/stat : 25836 (priss) S 25835 25835 24860 0 -1 4202496 559044 0 0 0 447893 292 0 0 25 0 5 0 515280228 1857630208 385581 33554432000 4194304 5787044 140736779212880 18446744073709551615 268284512689 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/25836/statm: 453523 385581 418 389 0 449273 0
[pid=25836/tid=25838] ppid=25835 vsize=1814092 CPUtime=1120.46 cores=1,3,5,7
/proc/25836/task/25838/stat : 25838 (priss) R 25835 25835 24860 0 -1 4202560 105588 0 0 0 111970 76 0 0 25 0 5 0 515280251 1857630208 385581 33554432000 4194304 5787044 140736779212880 18446744073709551615 5585240 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=25836/tid=25839] ppid=25835 vsize=1814092 CPUtime=1121.93 cores=1,3,5,7
/proc/25836/task/25839/stat : 25839 (priss) R 25835 25835 24860 0 -1 4202560 97717 0 0 0 112134 59 0 0 25 0 5 0 515280256 1857630208 385581 33554432000 4194304 5787044 140736779212880 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=25836/tid=25841] ppid=25835 vsize=1814092 CPUtime=1117.2 cores=1,3,5,7
/proc/25836/task/25841/stat : 25841 (priss) R 25835 25835 24860 0 -1 4202560 94451 0 0 0 111654 66 0 0 25 0 5 0 515280262 1857630208 385581 33554432000 4194304 5787044 140736779212880 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=25836/tid=25843] ppid=25835 vsize=1814092 CPUtime=1121.85 cores=1,3,5,7
/proc/25836/task/25843/stat : 25843 (priss) R 25835 25835 24860 0 -1 4202560 227973 0 0 0 112100 85 0 0 25 0 5 0 515280268 1857630208 385581 33554432000 4194304 5787044 140736779212880 18446744073709551615 4318944 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4481.85
Current children cumulated vsize (KiB) 1822792

[startup+1182.3 s]
/proc/loadavg: 8.05 8.08 8.24 10/188 25876
/proc/meminfo: memFree=13484964/32950928 swapFree=67111528/67111528
[pid=25835] ppid=25833 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25835/stat : 25835 (prissAuto.sh) S 25833 25835 24860 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515280228 8908800 252 33554432000 4194304 4922060 140735021204320 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25835/statm: 2175 252 211 178 0 68 0
[pid=25836] ppid=25835 vsize=1815264 CPUtime=4721.49 cores=1,3,5,7
/proc/25836/stat : 25836 (priss) S 25835 25835 24860 0 -1 4202496 559642 0 0 0 471855 294 0 0 25 0 5 0 515280228 1858830336 386179 33554432000 4194304 5787044 140736779212880 18446744073709551615 268284512689 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/25836/statm: 453816 386179 418 389 0 449566 0
[pid=25836/tid=25838] ppid=25835 vsize=1815264 CPUtime=1180.44 cores=1,3,5,7
/proc/25836/task/25838/stat : 25838 (priss) R 25835 25835 24860 0 -1 4202560 105839 0 0 0 117968 76 0 0 25 0 5 0 515280251 1858830336 386179 33554432000 4194304 5787044 140736779212880 18446744073709551615 5590632 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=25836/tid=25839] ppid=25835 vsize=1815264 CPUtime=1181.92 cores=1,3,5,7
/proc/25836/task/25839/stat : 25839 (priss) R 25835 25835 24860 0 -1 4202560 97983 0 0 0 118132 60 0 0 25 0 5 0 515280256 1858830336 386179 33554432000 4194304 5787044 140736779212880 18446744073709551615 5585277 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=25836/tid=25841] ppid=25835 vsize=1815264 CPUtime=1176.87 cores=1,3,5,7
/proc/25836/task/25841/stat : 25841 (priss) R 25835 25835 24860 0 -1 4202560 94475 0 0 0 117621 66 0 0 25 0 5 0 515280262 1858830336 386179 33554432000 4194304 5787044 140736779212880 18446744073709551615 5590526 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=25836/tid=25843] ppid=25835 vsize=1815264 CPUtime=1181.85 cores=1,3,5,7
/proc/25836/task/25843/stat : 25843 (priss) R 25835 25835 24860 0 -1 4202560 228030 0 0 0 118100 85 0 0 25 0 5 0 515280268 1858830336 386179 33554432000 4194304 5787044 140736779212880 18446744073709551615 4318956 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4721.49
Current children cumulated vsize (KiB) 1823964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202 s]
/proc/loadavg: 8.04 8.07 8.23 9/188 25877
/proc/meminfo: memFree=13481472/32950928 swapFree=67111528/67111528
[pid=25835] ppid=25833 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/25835/stat : 25835 (prissAuto.sh) S 25833 25835 24860 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 515280228 8908800 252 33554432000 4194304 4922060 140735021204320 18446744073709551615 268272508037 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/25835/statm: 2175 252 211 178 0 68 0
[pid=25836] ppid=25835 vsize=1815264 CPUtime=4800.2 cores=1,3,5,7
/proc/25836/stat : 25836 (priss) S 25835 25835 24860 0 -1 4202496 559663 0 0 0 479726 294 0 0 25 0 5 0 515280228 1858830336 386200 33554432000 4194304 5787044 140736779212880 18446744073709551615 268284512689 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/25836/statm: 453816 386200 418 389 0 449566 0
[pid=25836/tid=25838] ppid=25835 vsize=1815264 CPUtime=1200.14 cores=1,3,5,7
/proc/25836/task/25838/stat : 25838 (priss) R 25835 25835 24860 0 -1 4202560 105839 0 0 0 119938 76 0 0 25 0 5 0 515280251 1858830336 386200 33554432000 4194304 5787044 140736779212880 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=25836/tid=25839] ppid=25835 vsize=1815264 CPUtime=1201.62 cores=1,3,5,7
/proc/25836/task/25839/stat : 25839 (priss) R 25835 25835 24860 0 -1 4202560 97983 0 0 0 120102 60 0 0 25 0 5 0 515280256 1858830336 386200 33554432000 4194304 5787044 140736779212880 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=25836/tid=25841] ppid=25835 vsize=1815264 CPUtime=1196.46 cores=1,3,5,7
/proc/25836/task/25841/stat : 25841 (priss) R 25835 25835 24860 0 -1 4202560 94483 0 0 0 119580 66 0 0 25 0 5 0 515280262 1858830336 386200 33554432000 4194304 5787044 140736779212880 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=25836/tid=25843] ppid=25835 vsize=1815264 CPUtime=1201.56 cores=1,3,5,7
/proc/25836/task/25843/stat : 25843 (priss) R 25835 25835 24860 0 -1 4202560 228043 0 0 0 120071 85 0 0 25 0 5 0 515280268 1858830336 386200 33554432000 4194304 5787044 140736779212880 18446744073709551615 4318956 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 1823964

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 25835 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.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1202.02
CPU time (s): 4800.2
CPU user time (s): 4797.26
CPU system time (s): 2.94
CPU usage (%): 399.345
Max. virtual memory (cumulated for all children) (KiB): 1823964

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= 333
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= 6
involuntary context switches= 3

runsolver used 1.63875 second user time and 4.92825 second system time

The end

Launcher Data 

Begin job on node122 at 2011-04-29 02:26:54
IDJOB=3280372
IDBENCH=20386
IDSOLVER=1602
FILE ID=node122/3280372-1304036814
RUNJOBID= node122-1304036813-25815
PBS_JOBID= 13170330
Free space on /tmp= 71632 MiB

SOLVER NAME= priss Auto
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-5-11-u.cnf
COMMAND LINE= DIR/prissAuto.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3280372-1304036814/watcher-3280372-1304036814 -o /tmp/evaluation-result-3280372-1304036814/solver-3280372-1304036814 -C 4800 -W 1300 -M 15500  HOME/prissAuto.sh HOME HOME/instance-3280372-1304036814.cnf 841113569 4800 15500 4

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

MD5SUM BENCH= 8e22d84b1ae625d44fbf300a32374a2d
RANDOM SEED=841113569

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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.820
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.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      16073000 kB
Buffers:       1731388 kB
Cached:       14512152 kB
SwapCached:          0 kB
Active:        5319292 kB
Inactive:     10994688 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      16073000 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           34988 kB
Writeback:           0 kB
AnonPages:       69716 kB
Mapped:          15460 kB
Slab:           501676 kB
PageTables:       4720 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   217348 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= 71632 MiB
End job on node122 at 2011-04-29 02:46:58