Trace number 3280280

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

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/total-10-17-u.cnf
MD5SUM9ce7c48a28ddd5790e38607bb893dd38
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 variables293864
Number of clauses1370917
Sum of the clauses size3163902
Maximum clause length10
Minimum clause length1
Number of clauses of size 124516
Number of clauses of size 21065117
Number of clauses of size 3226184
Number of clauses of size 46120
Number of clauses of size 524480
Number of clauses of size over 524500

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: 30902
0.00/0.00	c setup for 4cores
0.00/0.35	c parsetime: 349005us
0.00/0.35	c parsed 1370917 clauses with 293864 variables
0.00/0.43	c NW started thread 0 successfully (1107855680)
0.00/0.52	c NW started thread 1 successfully (1090758976)
0.00/0.60	c NW started thread 2 successfully (1118345536)
0.00/0.71	c NW started thread 3 successfully (1128835392)
239.64/60.57	c preprocessor returned 293864 variables
239.64/60.57	c preprocessing returned UNKNOWN
239.64/60.57	c PP set 181750 variables
239.64/60.57	c pp time: 59763998us (59s)
243.64/61.60	c preprocessor returned 293864 variables
243.64/61.60	c preprocessing returned UNKNOWN
243.64/61.60	c PP set 181750 variables
243.64/61.60	c pp time: 61018634us (61s)
244.03/61.64	c preprocessor returned 293864 variables
244.03/61.64	c preprocessing returned UNKNOWN
244.03/61.64	c PP set 181750 variables
244.03/61.64	c pp time: 61148297us (61s)
244.03/61.68	c preprocessor returned 293864 variables
244.03/61.68	c preprocessing returned UNKNOWN
244.03/61.68	c PP set 181750 variables
244.03/61.68	c pp time: 61003808us (61s)
249.61/63.01	c HTE
257.60/65.03	c subsumption
258.00/65.19	c simplified formula contains 0 unit clauses
258.40/65.21	c received clause contains eliminated literal -134451
258.40/65.21	c received clause contains eliminated literal -55299
258.40/65.21	c received clause contains eliminated literal -77915
258.40/65.21	c received clause contains eliminated literal 22783
263.59/66.59	c HTE
268.38/67.79	c subsumption
269.18/67.90	c simplified formula contains 0 unit clauses
269.18/67.91	c received clause contains eliminated literal -54555
269.18/67.91	c received clause contains eliminated literal -141505
269.18/67.91	c received clause contains eliminated literal -141801
272.78/68.89	c HTE
276.37/69.73	c subsumption
276.77/69.82	c simplified formula contains 0 unit clauses
276.77/69.83	c received clause contains eliminated literal -226359
276.77/69.83	c received clause contains eliminated literal -30695
279.96/70.68	c HTE
283.18/71.42	c subsumption
283.58/71.51	c simplified formula contains 0 unit clauses
283.58/71.52	c received clause contains eliminated literal -26579
283.58/71.52	c received clause contains eliminated literal -141431
283.58/71.52	c received clause contains eliminated literal -162435
283.58/71.52	c received clause contains eliminated literal -146467
283.58/71.52	c received clause contains eliminated literal -145723
286.75/72.30	c HTE
289.56/73.03	c subsumption
289.95/73.13	c simplified formula contains 0 unit clauses
289.95/73.14	c received clause contains eliminated literal -80957
301.93/76.14	c HTE
304.33/76.79	c subsumption
304.73/76.87	c simplified formula contains 0 unit clauses
307.52/77.55	c HTE
309.94/78.15	c subsumption
310.31/78.23	c simplified formula contains 0 unit clauses
313.93/79.17	c added unsatisfied clause
313.93/79.17	c failed to add network clauses
314.71/79.30	c HTE
316.31/79.78	c subsumption
316.70/79.88	c simplified formula contains 0 unit clauses
316.70/79.89	c received clause contains eliminated literal -52903
318.72/80.38	c HTE
320.30/80.79	c subsumption
320.69/80.89	c simplified formula contains 0 unit clauses
351.06/88.44	c HTE
352.66/88.88	c subsumption
353.48/89.02	c simplified formula contains 0 unit clauses
355.86/89.69	c received clause contains eliminated literal -57519
363.44/91.51	c received clause contains eliminated literal -17788
364.64/91.88	c HTE
366.25/92.26	c subsumption
366.66/92.36	c simplified formula contains 0 unit clauses
377.02/94.99	c received clause contains eliminated literal -97251
381.81/96.16	c received clause contains eliminated literal -206201
384.23/96.74	c received clause contains eliminated literal -57334
388.63/97.82	c HTE
390.20/98.20	c subsumption
390.60/98.33	c simplified formula contains 0 unit clauses
394.60/99.39	c HTE
396.20/99.72	c subsumption
396.60/99.89	c simplified formula contains 0 unit clauses
418.17/105.20	c received clause contains eliminated literal 1463
440.14/110.79	c received clause contains eliminated literal -27449
442.53/111.39	c received clause contains eliminated literal -238458
452.52/113.87	c received clause contains eliminated literal -57001
453.32/114.09	c received clause contains eliminated literal -282181
489.27/123.06	c received clause contains eliminated literal -227136
494.08/124.26	c HTE
496.07/124.76	c subsumption
497.27/125.03	c simplified formula contains 0 unit clauses
503.65/126.60	c received clause contains eliminated literal -56705
504.45/126.88	c received clause contains eliminated literal -157516
648.27/162.80	c HTE
680.61/170.95	c subsumption
707.77/177.70	c simplified formula contains 0 unit clauses
707.77/177.72	c received clause contains eliminated literal -282452
713.78/179.26	c received clause contains eliminated literal -238495
766.51/192.49	c received clause contains eliminated literal -14404
794.86/199.51	c received clause contains eliminated literal -226729
818.43/205.44	c received clause contains eliminated literal -80896
854.40/214.40	c received clause contains eliminated literal -227210
858.79/215.54	c received clause contains eliminated literal -30844
1052.90/264.17	c HTE
1063.30/266.76	c subsumption
1068.49/268.08	c simplified formula contains 0 unit clauses
1070.49/268.54	c received clause contains eliminated literal -227173
1104.44/277.06	c received clause contains eliminated literal -135916
1150.38/288.56	c received clause contains eliminated literal -81810
1162.76/291.62	c received clause contains eliminated literal -192676
1273.01/319.22	c received clause contains eliminated literal -81736
1274.61/319.65	c received clause contains eliminated literal -277304
1450.77/363.75	c received clause contains eliminated literal -237866
1472.34/369.19	c received clause contains eliminated literal -274870
1529.47/383.43	c received clause contains eliminated literal -261332
1572.60/394.25	c received clause contains eliminated literal -206053
1661.29/416.48	c received clause contains eliminated literal -137026
1701.64/426.50	c received clause contains eliminated literal -146167
1930.12/483.77	c HTE
1966.10/492.73	c subsumption
1990.04/498.71	c simplified formula contains 0 unit clauses
2122.67/531.95	c received clause contains eliminated literal -170156
2316.40/580.43	c received clause contains eliminated literal -137433
2404.28/602.44	c received clause contains eliminated literal -291662
3284.73/822.82	c received clause contains eliminated literal -226803
3486.04/873.29	c received clause contains eliminated literal -137100

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-3280280-1304036428/watcher-3280280-1304036428 -o /tmp/evaluation-result-3280280-1304036428/solver-3280280-1304036428 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3280280-1304036428.cnf 887909647 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: 6.32 7.65 7.60 2/178 30901
/proc/meminfo: memFree=23641520/32950928 swapFree=67071984/67111528
[pid=30901] ppid=30899 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30901/stat : 30901 (prissAuto.sh) S 30899 30901 30862 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 593873615 8908800 252 33554432000 4194304 4922060 140733316053312 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30901/statm: 2175 252 211 178 0 68 0

[startup+0.00810903 s]
/proc/loadavg: 6.32 7.65 7.60 2/178 30901
/proc/meminfo: memFree=23641520/32950928 swapFree=67071984/67111528
[pid=30901] ppid=30899 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30901/stat : 30901 (prissAuto.sh) S 30899 30901 30862 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 593873615 8908800 252 33554432000 4194304 4922060 140733316053312 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30901/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100093 s]
/proc/loadavg: 6.32 7.65 7.60 2/178 30901
/proc/meminfo: memFree=23641520/32950928 swapFree=67071984/67111528
[pid=30901] ppid=30899 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30901/stat : 30901 (prissAuto.sh) S 30899 30901 30862 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 593873615 8908800 252 33554432000 4194304 4922060 140733316053312 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30901/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301058 s]
/proc/loadavg: 6.32 7.65 7.60 2/178 30901
/proc/meminfo: memFree=23641520/32950928 swapFree=67071984/67111528
[pid=30901] ppid=30899 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30901/stat : 30901 (prissAuto.sh) S 30899 30901 30862 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 593873615 8908800 252 33554432000 4194304 4922060 140733316053312 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30901/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700986 s]
/proc/loadavg: 6.32 7.65 7.60 2/178 30901
/proc/meminfo: memFree=23641520/32950928 swapFree=67071984/67111528
[pid=30901] ppid=30899 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30901/stat : 30901 (prissAuto.sh) S 30899 30901 30862 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 593873615 8908800 252 33554432000 4194304 4922060 140733316053312 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30901/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50084 s]
/proc/loadavg: 6.32 7.65 7.60 9/188 30911
/proc/meminfo: memFree=22127908/32950928 swapFree=67071984/67111528
[pid=30901] ppid=30899 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30901/stat : 30901 (prissAuto.sh) S 30899 30901 30862 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 593873615 8908800 252 33554432000 4194304 4922060 140733316053312 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30901/statm: 2175 252 211 178 0 68 0
[pid=30902] ppid=30901 vsize=1304792 CPUtime=4.15 cores=1,3,5,7
/proc/30902/stat : 30902 (priss) S 30901 30901 30862 0 -1 4202496 284228 0 0 0 339 76 0 0 18 0 5 0 593873615 1336107008 278780 33554432000 4194304 5787044 140734601060272 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/30902/statm: 326198 278781 344 389 0 321948 0
[pid=30902/tid=30907] ppid=30901 vsize=1304792 CPUtime=0.99 cores=1,3,5,7
/proc/30902/task/30907/stat : 30907 (priss) R 30901 30901 30862 0 -1 4202560 60079 0 0 0 80 19 0 0 18 0 5 0 593873658 1336107008 278782 33554432000 4194304 5787044 140734601060272 18446744073709551615 4306226 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30902/tid=30909] ppid=30901 vsize=1304792 CPUtime=0.89 cores=1,3,5,7
/proc/30902/task/30909/stat : 30909 (priss) R 30901 30901 30862 0 -1 4202560 58304 0 0 0 71 18 0 0 18 0 5 0 593873667 1336107008 278784 33554432000 4194304 5787044 140734601060272 18446744073709551615 4306221 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=30902/tid=30910] ppid=30901 vsize=1304792 CPUtime=0.81 cores=1,3,5,7
/proc/30902/task/30910/stat : 30910 (priss) R 30901 30901 30862 0 -1 4202560 55040 0 0 0 63 18 0 0 18 0 5 0 593873676 1336107008 278785 33554432000 4194304 5787044 140734601060272 18446744073709551615 260905054917 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30902/tid=30911] ppid=30901 vsize=1304792 CPUtime=0.72 cores=1,3,5,7
/proc/30902/task/30911/stat : 30911 (priss) R 30901 30901 30862 0 -1 4202560 47403 0 0 0 63 9 0 0 18 0 5 0 593873686 1336107008 278786 33554432000 4194304 5787044 140734601060272 18446744073709551615 4301965 0 0 4096 0 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.15
Current children cumulated vsize (KiB) 1313492

[startup+3.10055 s]
/proc/loadavg: 6.32 7.65 7.60 9/188 30911
/proc/meminfo: memFree=22507844/32950928 swapFree=67071984/67111528
[pid=30901] ppid=30899 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30901/stat : 30901 (prissAuto.sh) S 30899 30901 30862 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 593873615 8908800 252 33554432000 4194304 4922060 140733316053312 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30901/statm: 2175 252 211 178 0 68 0
[pid=30902] ppid=30901 vsize=878560 CPUtime=10.37 cores=1,3,5,7
/proc/30902/stat : 30902 (priss) S 30901 30901 30862 0 -1 4202496 308715 0 0 0 956 81 0 0 18 0 5 0 593873615 899645440 172159 33554432000 4194304 5787044 140734601060272 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/30902/statm: 219640 172159 349 389 0 215390 0
[pid=30902/tid=30907] ppid=30901 vsize=878560 CPUtime=2.46 cores=1,3,5,7
/proc/30902/task/30907/stat : 30907 (priss) R 30901 30901 30862 0 -1 4202560 64462 0 0 0 225 21 0 0 18 0 5 0 593873658 899645440 172159 33554432000 4194304 5787044 140734601060272 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30902/tid=30909] ppid=30901 vsize=878560 CPUtime=2.46 cores=1,3,5,7
/proc/30902/task/30909/stat : 30909 (priss) R 30901 30901 30862 0 -1 4202560 62729 0 0 0 227 19 0 0 20 0 5 0 593873667 899645440 172159 33554432000 4194304 5787044 140734601060272 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30902/tid=30910] ppid=30901 vsize=878560 CPUtime=2.41 cores=1,3,5,7
/proc/30902/task/30910/stat : 30910 (priss) R 30901 30901 30862 0 -1 4202560 62001 0 0 0 221 20 0 0 20 0 5 0 593873676 899645440 172159 33554432000 4194304 5787044 140734601060272 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30902/tid=30911] ppid=30901 vsize=878560 CPUtime=2.32 cores=1,3,5,7
/proc/30902/task/30911/stat : 30911 (priss) R 30901 30901 30862 0 -1 4202560 56116 0 0 0 222 10 0 0 20 0 5 0 593873686 899645440 172159 33554432000 4194304 5787044 140734601060272 18446744073709551615 4330507 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10.37
Current children cumulated vsize (KiB) 887260

[startup+6.30097 s]
/proc/loadavg: 6.61 7.69 7.61 9/188 30912
/proc/meminfo: memFree=22441044/32950928 swapFree=67071984/67111528
[pid=30901] ppid=30899 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30901/stat : 30901 (prissAuto.sh) S 30899 30901 30862 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 593873615 8908800 252 33554432000 4194304 4922060 140733316053312 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30901/statm: 2175 252 211 178 0 68 0
[pid=30902] ppid=30901 vsize=878560 CPUtime=23.16 cores=1,3,5,7
/proc/30902/stat : 30902 (priss) S 30901 30901 30862 0 -1 4202496 308715 0 0 0 2235 81 0 0 18 0 5 0 593873615 899645440 172159 33554432000 4194304 5787044 140734601060272 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/30902/statm: 219640 172159 349 389 0 215390 0
[pid=30902/tid=30907] ppid=30901 vsize=878560 CPUtime=5.67 cores=1,3,5,7
/proc/30902/task/30907/stat : 30907 (priss) R 30901 30901 30862 0 -1 4202560 64462 0 0 0 546 21 0 0 25 0 5 0 593873658 899645440 172159 33554432000 4194304 5787044 140734601060272 18446744073709551615 4330518 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30902/tid=30909] ppid=30901 vsize=878560 CPUtime=5.65 cores=1,3,5,7
/proc/30902/task/30909/stat : 30909 (priss) R 30901 30901 30862 0 -1 4202560 62729 0 0 0 546 19 0 0 25 0 5 0 593873667 899645440 172159 33554432000 4194304 5787044 140734601060272 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30902/tid=30910] ppid=30901 vsize=878560 CPUtime=5.61 cores=1,3,5,7
/proc/30902/task/30910/stat : 30910 (priss) R 30901 30901 30862 0 -1 4202560 62001 0 0 0 541 20 0 0 25 0 5 0 593873676 899645440 172159 33554432000 4194304 5787044 140734601060272 18446744073709551615 4330522 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30902/tid=30911] ppid=30901 vsize=878560 CPUtime=5.52 cores=1,3,5,7
/proc/30902/task/30911/stat : 30911 (priss) R 30901 30901 30862 0 -1 4202560 56116 0 0 0 542 10 0 0 25 0 5 0 593873686 899645440 172159 33554432000 4194304 5787044 140734601060272 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 23.16
Current children cumulated vsize (KiB) 887260

[startup+12.7008 s]
/proc/loadavg: 6.72 7.70 7.62 9/188 30912
/proc/meminfo: memFree=22441340/32950928 swapFree=67071984/67111528
[pid=30901] ppid=30899 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30901/stat : 30901 (prissAuto.sh) S 30899 30901 30862 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 593873615 8908800 252 33554432000 4194304 4922060 140733316053312 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30901/statm: 2175 252 211 178 0 68 0
[pid=30902] ppid=30901 vsize=878560 CPUtime=48.72 cores=1,3,5,7
/proc/30902/stat : 30902 (priss) S 30901 30901 30862 0 -1 4202496 308715 0 0 0 4791 81 0 0 18 0 5 0 593873615 899645440 172159 33554432000 4194304 5787044 140734601060272 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/30902/statm: 219640 172159 349 389 0 215390 0
[pid=30902/tid=30907] ppid=30901 vsize=878560 CPUtime=12.07 cores=1,3,5,7
/proc/30902/task/30907/stat : 30907 (priss) R 30901 30901 30862 0 -1 4202560 64462 0 0 0 1186 21 0 0 25 0 5 0 593873658 899645440 172159 33554432000 4194304 5787044 140734601060272 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30902/tid=30909] ppid=30901 vsize=878560 CPUtime=12.01 cores=1,3,5,7
/proc/30902/task/30909/stat : 30909 (priss) R 30901 30901 30862 0 -1 4202560 62729 0 0 0 1182 19 0 0 25 0 5 0 593873667 899645440 172159 33554432000 4194304 5787044 140734601060272 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30902/tid=30910] ppid=30901 vsize=878560 CPUtime=12.01 cores=1,3,5,7
/proc/30902/task/30910/stat : 30910 (priss) R 30901 30901 30862 0 -1 4202560 62001 0 0 0 1181 20 0 0 25 0 5 0 593873676 899645440 172159 33554432000 4194304 5787044 140734601060272 18446744073709551615 4330555 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30902/tid=30911] ppid=30901 vsize=878560 CPUtime=11.92 cores=1,3,5,7
/proc/30902/task/30911/stat : 30911 (priss) R 30901 30901 30862 0 -1 4202560 56116 0 0 0 1182 10 0 0 25 0 5 0 593873686 899645440 172159 33554432000 4194304 5787044 140734601060272 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 48.72
Current children cumulated vsize (KiB) 887260

[startup+25.5004 s]
/proc/loadavg: 7.01 7.71 7.62 9/188 30912
/proc/meminfo: memFree=22442184/32950928 swapFree=67071984/67111528
[pid=30901] ppid=30899 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30901/stat : 30901 (prissAuto.sh) S 30899 30901 30862 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 593873615 8908800 252 33554432000 4194304 4922060 140733316053312 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30901/statm: 2175 252 211 178 0 68 0
[pid=30902] ppid=30901 vsize=878816 CPUtime=99.85 cores=1,3,5,7
/proc/30902/stat : 30902 (priss) S 30901 30901 30862 0 -1 4202496 308809 0 0 0 9904 81 0 0 18 0 5 0 593873615 899907584 172253 33554432000 4194304 5787044 140734601060272 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/30902/statm: 219704 172253 349 389 0 215454 0
[pid=30902/tid=30907] ppid=30901 vsize=878816 CPUtime=24.86 cores=1,3,5,7
/proc/30902/task/30907/stat : 30907 (priss) R 30901 30901 30862 0 -1 4202560 64485 0 0 0 2465 21 0 0 25 0 5 0 593873658 899907584 172253 33554432000 4194304 5787044 140734601060272 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30902/tid=30909] ppid=30901 vsize=878816 CPUtime=24.74 cores=1,3,5,7
/proc/30902/task/30909/stat : 30909 (priss) R 30901 30901 30862 0 -1 4202560 62752 0 0 0 2455 19 0 0 25 0 5 0 593873667 899907584 172253 33554432000 4194304 5787044 140734601060272 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30902/tid=30910] ppid=30901 vsize=878816 CPUtime=24.81 cores=1,3,5,7
/proc/30902/task/30910/stat : 30910 (priss) R 30901 30901 30862 0 -1 4202560 62025 0 0 0 2461 20 0 0 25 0 5 0 593873676 899907584 172253 33554432000 4194304 5787044 140734601060272 18446744073709551615 4330507 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30902/tid=30911] ppid=30901 vsize=878816 CPUtime=24.72 cores=1,3,5,7
/proc/30902/task/30911/stat : 30911 (priss) R 30901 30901 30862 0 -1 4202560 56140 0 0 0 2462 10 0 0 25 0 5 0 593873686 899907584 172253 33554432000 4194304 5787044 140734601060272 18446744073709551615 4330507 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 99.85
Current children cumulated vsize (KiB) 887516

[startup+51.1008 s]
/proc/loadavg: 7.34 7.73 7.63 9/188 30913
/proc/meminfo: memFree=22441692/32950928 swapFree=67071984/67111528
[pid=30901] ppid=30899 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30901/stat : 30901 (prissAuto.sh) S 30899 30901 30862 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 593873615 8908800 252 33554432000 4194304 4922060 140733316053312 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30901/statm: 2175 252 211 178 0 68 0
[pid=30902] ppid=30901 vsize=879328 CPUtime=202.12 cores=1,3,5,7
/proc/30902/stat : 30902 (priss) S 30901 30901 30862 0 -1 4202496 309038 0 0 0 20131 81 0 0 18 0 5 0 593873615 900431872 172482 33554432000 4194304 5787044 140734601060272 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/30902/statm: 219832 172482 349 389 0 215582 0
[pid=30902/tid=30907] ppid=30901 vsize=879328 CPUtime=50.46 cores=1,3,5,7
/proc/30902/task/30907/stat : 30907 (priss) R 30901 30901 30862 0 -1 4202560 64542 0 0 0 5025 21 0 0 25 0 5 0 593873658 900431872 172482 33554432000 4194304 5787044 140734601060272 18446744073709551615 4330542 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30902/tid=30909] ppid=30901 vsize=879328 CPUtime=50.2 cores=1,3,5,7
/proc/30902/task/30909/stat : 30909 (priss) R 30901 30901 30862 0 -1 4202560 62809 0 0 0 5001 19 0 0 25 0 5 0 593873667 900431872 172482 33554432000 4194304 5787044 140734601060272 18446744073709551615 4330542 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30902/tid=30910] ppid=30901 vsize=879328 CPUtime=50.41 cores=1,3,5,7
/proc/30902/task/30910/stat : 30910 (priss) R 30901 30901 30862 0 -1 4202560 62082 0 0 0 5021 20 0 0 25 0 5 0 593873676 900431872 172482 33554432000 4194304 5787044 140734601060272 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30902/tid=30911] ppid=30901 vsize=879328 CPUtime=50.32 cores=1,3,5,7
/proc/30902/task/30911/stat : 30911 (priss) R 30901 30901 30862 0 -1 4202560 56198 0 0 0 5022 10 0 0 25 0 5 0 593873686 900431872 172482 33554432000 4194304 5787044 140734601060272 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 202.12
Current children cumulated vsize (KiB) 888028

[startup+102.306 s]
/proc/loadavg: 7.81 7.80 7.66 9/188 30914
/proc/meminfo: memFree=21866200/32950928 swapFree=67071984/67111528
[pid=30901] ppid=30899 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30901/stat : 30901 (prissAuto.sh) S 30899 30901 30862 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 593873615 8908800 252 33554432000 4194304 4922060 140733316053312 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30901/statm: 2175 252 211 178 0 68 0
[pid=30902] ppid=30901 vsize=1198816 CPUtime=406.6 cores=1,3,5,7
/proc/30902/stat : 30902 (priss) S 30901 30901 30862 0 -1 4202496 525471 0 0 0 40538 122 0 0 18 0 5 0 593873615 1227587584 242241 33554432000 4194304 5787044 140734601060272 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/30902/statm: 299704 242241 418 389 0 295454 0
[pid=30902/tid=30907] ppid=30901 vsize=1198816 CPUtime=101.65 cores=1,3,5,7
/proc/30902/task/30907/stat : 30907 (priss) R 30901 30901 30862 0 -1 4202560 77328 0 0 0 10139 26 0 0 25 0 5 0 593873658 1227587584 242241 33554432000 4194304 5787044 140734601060272 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30902/tid=30909] ppid=30901 vsize=1198816 CPUtime=101.12 cores=1,3,5,7
/proc/30902/task/30909/stat : 30909 (priss) R 30901 30901 30862 0 -1 4202560 96286 0 0 0 10084 28 0 0 25 0 5 0 593873667 1227587584 242241 33554432000 4194304 5787044 140734601060272 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30902/tid=30910] ppid=30901 vsize=1198816 CPUtime=101.58 cores=1,3,5,7
/proc/30902/task/30910/stat : 30910 (priss) R 30901 30901 30862 0 -1 4202560 90919 0 0 0 10130 28 0 0 25 0 5 0 593873676 1227587584 242241 33554432000 4194304 5787044 140734601060272 18446744073709551615 5585240 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30902/tid=30911] ppid=30901 vsize=1198816 CPUtime=101.51 cores=1,3,5,7

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

/proc/30902/task/30909/stat : 30909 (priss) R 30901 30901 30862 0 -1 4202560 103272 0 0 0 81685 36 0 0 25 0 5 0 593873667 1490886656 296362 33554432000 4194304 5787044 140734601060272 18446744073709551615 5591727 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30902/tid=30910] ppid=30901 vsize=1455944 CPUtime=821.6 cores=1,3,5,7
/proc/30902/task/30910/stat : 30910 (priss) R 30901 30901 30862 0 -1 4202560 105559 0 0 0 82109 51 0 0 25 0 5 0 593873676 1490886656 296362 33554432000 4194304 5787044 140734601060272 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30902/tid=30911] ppid=30901 vsize=1455944 CPUtime=821.52 cores=1,3,5,7
/proc/30902/task/30911/stat : 30911 (priss) R 30901 30901 30862 0 -1 4202560 245843 0 0 0 82103 49 0 0 25 0 5 0 593873686 1490886656 296362 33554432000 4194304 5787044 140734601060272 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3282.7
Current children cumulated vsize (KiB) 1464644

[startup+882.3 s]
/proc/loadavg: 8.21 8.14 7.92 9/188 30935
/proc/meminfo: memFree=20894444/32950928 swapFree=67071984/67111528
[pid=30901] ppid=30899 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30901/stat : 30901 (prissAuto.sh) S 30899 30901 30862 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 593873615 8908800 252 33554432000 4194304 4922060 140733316053312 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30901/statm: 2175 252 211 178 0 68 0
[pid=30902] ppid=30901 vsize=1458728 CPUtime=3522.38 cores=1,3,5,7
/proc/30902/stat : 30902 (priss) S 30901 30901 30862 0 -1 4202496 606099 0 0 0 352050 188 0 0 18 0 5 0 593873615 1493737472 300566 33554432000 4194304 5787044 140734601060272 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/30902/statm: 364682 300566 418 389 0 360432 0
[pid=30902/tid=30907] ppid=30901 vsize=1458728 CPUtime=881.66 cores=1,3,5,7
/proc/30902/task/30907/stat : 30907 (priss) R 30901 30901 30862 0 -1 4202560 84914 0 0 0 88129 37 0 0 25 0 5 0 593873658 1493737472 300566 33554432000 4194304 5787044 140734601060272 18446744073709551615 5590388 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30902/tid=30909] ppid=30901 vsize=1458728 CPUtime=876.88 cores=1,3,5,7
/proc/30902/task/30909/stat : 30909 (priss) R 30901 30901 30862 0 -1 4202560 104393 0 0 0 87651 37 0 0 25 0 5 0 593873667 1493737472 300566 33554432000 4194304 5787044 140734601060272 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30902/tid=30910] ppid=30901 vsize=1458728 CPUtime=881.6 cores=1,3,5,7
/proc/30902/task/30910/stat : 30910 (priss) R 30901 30901 30862 0 -1 4202560 106927 0 0 0 88107 53 0 0 25 0 5 0 593873676 1493737472 300566 33554432000 4194304 5787044 140734601060272 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30902/tid=30911] ppid=30901 vsize=1458728 CPUtime=881.52 cores=1,3,5,7
/proc/30902/task/30911/stat : 30911 (priss) R 30901 30901 30862 0 -1 4202560 246458 0 0 0 88102 50 0 0 25 0 5 0 593873686 1493737472 300566 33554432000 4194304 5787044 140734601060272 18446744073709551615 5527472 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3522.38
Current children cumulated vsize (KiB) 1467428

[startup+942.3 s]
/proc/loadavg: 8.14 8.13 7.93 9/188 30937
/proc/meminfo: memFree=20885844/32950928 swapFree=67071984/67111528
[pid=30901] ppid=30899 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30901/stat : 30901 (prissAuto.sh) S 30899 30901 30862 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 593873615 8908800 252 33554432000 4194304 4922060 140733316053312 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30901/statm: 2175 252 211 178 0 68 0
[pid=30902] ppid=30901 vsize=1458728 CPUtime=3762.05 cores=1,3,5,7
/proc/30902/stat : 30902 (priss) S 30901 30901 30862 0 -1 4202496 608292 0 0 0 376015 190 0 0 18 0 5 0 593873615 1493737472 302662 33554432000 4194304 5787044 140734601060272 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/30902/statm: 364682 302662 418 389 0 360432 0
[pid=30902/tid=30907] ppid=30901 vsize=1458728 CPUtime=941.67 cores=1,3,5,7
/proc/30902/task/30907/stat : 30907 (priss) R 30901 30901 30862 0 -1 4202560 85678 0 0 0 94129 38 0 0 25 0 5 0 593873658 1493737472 302662 33554432000 4194304 5787044 140734601060272 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30902/tid=30909] ppid=30901 vsize=1458728 CPUtime=936.55 cores=1,3,5,7
/proc/30902/task/30909/stat : 30909 (priss) R 30901 30901 30862 0 -1 4202560 104395 0 0 0 93618 37 0 0 25 0 5 0 593873667 1493737472 302662 33554432000 4194304 5787044 140734601060272 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30902/tid=30910] ppid=30901 vsize=1458728 CPUtime=941.59 cores=1,3,5,7
/proc/30902/task/30910/stat : 30910 (priss) R 30901 30901 30862 0 -1 4202560 108091 0 0 0 94104 55 0 0 25 0 5 0 593873676 1493737472 302662 33554432000 4194304 5787044 140734601060272 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30902/tid=30911] ppid=30901 vsize=1458728 CPUtime=941.52 cores=1,3,5,7
/proc/30902/task/30911/stat : 30911 (priss) R 30901 30901 30862 0 -1 4202560 246721 0 0 0 94102 50 0 0 25 0 5 0 593873686 1493737472 302662 33554432000 4194304 5787044 140734601060272 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3762.05
Current children cumulated vsize (KiB) 1467428

[startup+1002.3 s]
/proc/loadavg: 8.17 8.13 7.94 9/188 30938
/proc/meminfo: memFree=20873652/32950928 swapFree=67071984/67111528
[pid=30901] ppid=30899 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30901/stat : 30901 (prissAuto.sh) S 30899 30901 30862 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 593873615 8908800 252 33554432000 4194304 4922060 140733316053312 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30901/statm: 2175 252 211 178 0 68 0
[pid=30902] ppid=30901 vsize=1460180 CPUtime=4001.73 cores=1,3,5,7
/proc/30902/stat : 30902 (priss) S 30901 30901 30862 0 -1 4202496 610320 0 0 0 399979 194 0 0 18 0 5 0 593873615 1495224320 304690 33554432000 4194304 5787044 140734601060272 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/30902/statm: 365045 304690 418 389 0 360795 0
[pid=30902/tid=30907] ppid=30901 vsize=1460180 CPUtime=1001.67 cores=1,3,5,7
/proc/30902/task/30907/stat : 30907 (priss) R 30901 30901 30862 0 -1 4202560 86965 0 0 0 100126 41 0 0 25 0 5 0 593873658 1495224320 304690 33554432000 4194304 5787044 140734601060272 18446744073709551615 5590446 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30902/tid=30909] ppid=30901 vsize=1460180 CPUtime=996.22 cores=1,3,5,7
/proc/30902/task/30909/stat : 30909 (priss) R 30901 30901 30862 0 -1 4202560 104755 0 0 0 99585 37 0 0 25 0 5 0 593873667 1495224320 304690 33554432000 4194304 5787044 140734601060272 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30902/tid=30910] ppid=30901 vsize=1460180 CPUtime=1001.6 cores=1,3,5,7
/proc/30902/task/30910/stat : 30910 (priss) R 30901 30901 30862 0 -1 4202560 108192 0 0 0 100105 55 0 0 25 0 5 0 593873676 1495224320 304690 33554432000 4194304 5787044 140734601060272 18446744073709551615 4220335 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30902/tid=30911] ppid=30901 vsize=1460180 CPUtime=1001.52 cores=1,3,5,7
/proc/30902/task/30911/stat : 30911 (priss) R 30901 30901 30862 0 -1 4202560 247001 0 0 0 100102 50 0 0 25 0 5 0 593873686 1495224320 304690 33554432000 4194304 5787044 140734601060272 18446744073709551615 4220916 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4001.73
Current children cumulated vsize (KiB) 1468880

[startup+1062.3 s]
/proc/loadavg: 8.16 8.14 7.95 9/188 30940
/proc/meminfo: memFree=20847824/32950928 swapFree=67071984/67111528
[pid=30901] ppid=30899 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30901/stat : 30901 (prissAuto.sh) S 30899 30901 30862 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 593873615 8908800 252 33554432000 4194304 4922060 140733316053312 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30901/statm: 2175 252 211 178 0 68 0
[pid=30902] ppid=30901 vsize=1467288 CPUtime=4241.41 cores=1,3,5,7
/proc/30902/stat : 30902 (priss) S 30901 30901 30862 0 -1 4202496 615090 0 0 0 423941 200 0 0 18 0 5 0 593873615 1502502912 309460 33554432000 4194304 5787044 140734601060272 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/30902/statm: 366822 309460 418 389 0 362572 0
[pid=30902/tid=30907] ppid=30901 vsize=1467288 CPUtime=1061.66 cores=1,3,5,7
/proc/30902/task/30907/stat : 30907 (priss) R 30901 30901 30862 0 -1 4202560 88861 0 0 0 106123 43 0 0 25 0 5 0 593873658 1502502912 309460 33554432000 4194304 5787044 140734601060272 18446744073709551615 260905054917 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30902/tid=30909] ppid=30901 vsize=1467288 CPUtime=1055.9 cores=1,3,5,7
/proc/30902/task/30909/stat : 30909 (priss) R 30901 30901 30862 0 -1 4202560 106471 0 0 0 105551 39 0 0 25 0 5 0 593873667 1502502912 309460 33554432000 4194304 5787044 140734601060272 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30902/tid=30910] ppid=30901 vsize=1467288 CPUtime=1061.6 cores=1,3,5,7
/proc/30902/task/30910/stat : 30910 (priss) R 30901 30901 30862 0 -1 4202560 108951 0 0 0 106103 57 0 0 25 0 5 0 593873676 1502502912 309460 33554432000 4194304 5787044 140734601060272 18446744073709551615 5591596 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30902/tid=30911] ppid=30901 vsize=1467288 CPUtime=1061.52 cores=1,3,5,7
/proc/30902/task/30911/stat : 30911 (priss) R 30901 30901 30862 0 -1 4202560 247400 0 0 0 106102 50 0 0 25 0 5 0 593873686 1502502912 309460 33554432000 4194304 5787044 140734601060272 18446744073709551615 5534357 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4241.41
Current children cumulated vsize (KiB) 1475988

[startup+1122.3 s]
/proc/loadavg: 8.38 8.19 7.97 10/189 30944
/proc/meminfo: memFree=20672292/32950928 swapFree=67071984/67111528
[pid=30901] ppid=30899 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30901/stat : 30901 (prissAuto.sh) S 30899 30901 30862 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 593873615 8908800 252 33554432000 4194304 4922060 140733316053312 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30901/statm: 2175 252 211 178 0 68 0
[pid=30902] ppid=30901 vsize=1469188 CPUtime=4481.08 cores=1,3,5,7
/proc/30902/stat : 30902 (priss) S 30901 30901 30862 0 -1 4202496 616389 0 0 0 447906 202 0 0 18 0 5 0 593873615 1504448512 310662 33554432000 4194304 5787044 140734601060272 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/30902/statm: 367297 310662 418 389 0 363047 0
[pid=30902/tid=30907] ppid=30901 vsize=1469188 CPUtime=1121.67 cores=1,3,5,7
/proc/30902/task/30907/stat : 30907 (priss) R 30901 30901 30862 0 -1 4202560 89114 0 0 0 112123 44 0 0 25 0 5 0 593873658 1504448512 310662 33554432000 4194304 5787044 140734601060272 18446744073709551615 5591197 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30902/tid=30909] ppid=30901 vsize=1469188 CPUtime=1115.57 cores=1,3,5,7
/proc/30902/task/30909/stat : 30909 (priss) R 30901 30901 30862 0 -1 4202560 106892 0 0 0 111517 40 0 0 25 0 5 0 593873667 1504448512 310662 33554432000 4194304 5787044 140734601060272 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30902/tid=30910] ppid=30901 vsize=1469188 CPUtime=1121.6 cores=1,3,5,7
/proc/30902/task/30910/stat : 30910 (priss) R 30901 30901 30862 0 -1 4202560 109339 0 0 0 112103 57 0 0 25 0 5 0 593873676 1504448512 310662 33554432000 4194304 5787044 140734601060272 18446744073709551615 5591195 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30902/tid=30911] ppid=30901 vsize=1469188 CPUtime=1121.51 cores=1,3,5,7
/proc/30902/task/30911/stat : 30911 (priss) R 30901 30901 30862 0 -1 4202560 247637 0 0 0 112101 50 0 0 25 0 5 0 593873686 1504448512 310662 33554432000 4194304 5787044 140734601060272 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4481.08
Current children cumulated vsize (KiB) 1477888

[startup+1182.3 s]
/proc/loadavg: 8.17 8.17 7.98 9/188 30946
/proc/meminfo: memFree=20590376/32950928 swapFree=67071984/67111528
[pid=30901] ppid=30899 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30901/stat : 30901 (prissAuto.sh) S 30899 30901 30862 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 593873615 8908800 252 33554432000 4194304 4922060 140733316053312 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30901/statm: 2175 252 211 178 0 68 0
[pid=30902] ppid=30901 vsize=1469700 CPUtime=4720.76 cores=1,3,5,7
/proc/30902/stat : 30902 (priss) S 30901 30901 30862 0 -1 4202496 617474 0 0 0 471872 204 0 0 18 0 5 0 593873615 1504972800 311650 33554432000 4194304 5787044 140734601060272 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/30902/statm: 367425 311650 418 389 0 363175 0
[pid=30902/tid=30907] ppid=30901 vsize=1469700 CPUtime=1181.67 cores=1,3,5,7
/proc/30902/task/30907/stat : 30907 (priss) R 30901 30901 30862 0 -1 4202560 89196 0 0 0 118123 44 0 0 25 0 5 0 593873658 1504972800 311650 33554432000 4194304 5787044 140734601060272 18446744073709551615 5588298 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30902/tid=30909] ppid=30901 vsize=1469700 CPUtime=1175.25 cores=1,3,5,7
/proc/30902/task/30909/stat : 30909 (priss) R 30901 30901 30862 0 -1 4202560 107139 0 0 0 117485 40 0 0 25 0 5 0 593873667 1504972800 311650 33554432000 4194304 5787044 140734601060272 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30902/tid=30910] ppid=30901 vsize=1469700 CPUtime=1181.6 cores=1,3,5,7
/proc/30902/task/30910/stat : 30910 (priss) R 30901 30901 30862 0 -1 4202560 110094 0 0 0 118101 59 0 0 25 0 5 0 593873676 1504972800 311650 33554432000 4194304 5787044 140734601060272 18446744073709551615 5590248 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30902/tid=30911] ppid=30901 vsize=1469700 CPUtime=1181.51 cores=1,3,5,7
/proc/30902/task/30911/stat : 30911 (priss) R 30901 30901 30862 0 -1 4202560 247638 0 0 0 118101 50 0 0 25 0 5 0 593873686 1504972800 311650 33554432000 4194304 5787044 140734601060272 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4720.76
Current children cumulated vsize (KiB) 1478400



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.2 s]
/proc/loadavg: 8.18 8.17 7.99 9/188 30946
/proc/meminfo: memFree=20584660/32950928 swapFree=67071984/67111528
[pid=30901] ppid=30899 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/30901/stat : 30901 (prissAuto.sh) S 30899 30901 30862 0 -1 4202496 331 0 0 0 0 0 0 0 22 0 1 0 593873615 8908800 252 33554432000 4194304 4922060 140733316053312 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/30901/statm: 2175 252 211 178 0 68 0
[pid=30902] ppid=30901 vsize=1470052 CPUtime=4800.3 cores=1,3,5,7
/proc/30902/stat : 30902 (priss) S 30901 30901 30862 0 -1 4202496 618652 0 0 0 479824 206 0 0 18 0 5 0 593873615 1505333248 312828 33554432000 4194304 5787044 140734601060272 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0
/proc/30902/statm: 367513 312828 418 389 0 363263 0
[pid=30902/tid=30907] ppid=30901 vsize=1470052 CPUtime=1201.58 cores=1,3,5,7
/proc/30902/task/30907/stat : 30907 (priss) R 30901 30901 30862 0 -1 4202560 89252 0 0 0 120114 44 0 0 25 0 5 0 593873658 1505333248 312828 33554432000 4194304 5787044 140734601060272 18446744073709551615 5591760 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=30902/tid=30909] ppid=30901 vsize=1470052 CPUtime=1195.05 cores=1,3,5,7
/proc/30902/task/30909/stat : 30909 (priss) R 30901 30901 30862 0 -1 4202560 107230 0 0 0 119465 40 0 0 25 0 5 0 593873667 1505333248 312828 33554432000 4194304 5787044 140734601060272 18446744073709551615 5591184 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=30902/tid=30910] ppid=30901 vsize=1470052 CPUtime=1201.52 cores=1,3,5,7
/proc/30902/task/30910/stat : 30910 (priss) R 30901 30901 30862 0 -1 4202560 111125 0 0 0 120091 61 0 0 25 0 5 0 593873676 1505333248 312828 33554432000 4194304 5787044 140734601060272 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 3 0 0 0
[pid=30902/tid=30911] ppid=30901 vsize=1470052 CPUtime=1201.42 cores=1,3,5,7
/proc/30902/task/30911/stat : 30911 (priss) R 30901 30901 30862 0 -1 4202560 247638 0 0 0 120092 50 0 0 25 0 5 0 593873686 1505333248 312828 33554432000 4194304 5787044 140734601060272 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 1478752

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 30901 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=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 4800.3
#
# 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.3
CPU user time (s): 4798.24
CPU system time (s): 2.06
CPU usage (%): 399.285
Max. virtual memory (cumulated for all children) (KiB): 1478752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
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.79073 second user time and 4.78827 second system time

The end

Launcher Data 

Begin job on node116 at 2011-04-29 02:20:29
IDJOB=3280280
IDBENCH=20365
IDSOLVER=1602
FILE ID=node116/3280280-1304036428
RUNJOBID= node116-1304036428-30881
PBS_JOBID= 13170355
Free space on /tmp= 72472 MiB

SOLVER NAME= priss Auto
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/total-10-17-u.cnf
COMMAND LINE= DIR/prissAuto.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3280280-1304036428/watcher-3280280-1304036428 -o /tmp/evaluation-result-3280280-1304036428/solver-3280280-1304036428 -C 4800 -W 1300 -M 15500  HOME/prissAuto.sh HOME HOME/instance-3280280-1304036428.cnf 887909647 4800 15500 4

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

MD5SUM BENCH= 9ce7c48a28ddd5790e38607bb893dd38
RANDOM SEED=887909647

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
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.826
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.75
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.826
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.77
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.826
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.826
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.826
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:      23641916 kB
Buffers:       1892976 kB
Cached:        6926768 kB
SwapCached:       9732 kB
Active:        4378032 kB
Inactive:      4505464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23641916 kB
SwapTotal:    67111528 kB
SwapFree:     67071984 kB
Dirty:           47156 kB
Writeback:           4 kB
AnonPages:       57896 kB
Mapped:          14052 kB
Slab:           359792 kB
PageTables:       4920 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   234708 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= 72468 MiB
End job on node116 at 2011-04-29 02:40:34