Trace number 3280281

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
priss 1.0? (TO) 4800.07 1204.72

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: 18877
0.00/0.35	c parsetime: 346173us
0.00/0.35	c parsed 1370917 clauses with 293864 variables
0.00/0.43	c NW started thread 0 successfully (1101285696)
0.00/0.52	c NW started thread 1 successfully (1111775552)
0.00/0.61	c NW started thread 2 successfully (1122265408)
0.00/0.73	c NW started thread 3 successfully (1132755264)
222.19/58.64	c preprocessor returned 293864 variables
222.19/58.64	c preprocessing returned UNKNOWN
222.19/58.64	c PP set 181750 variables
222.19/58.64	c pp time: 57827946us (57s)
223.40/58.91	c preprocessor returned 293864 variables
223.40/58.91	c preprocessing returned UNKNOWN
223.40/58.91	c PP set 181750 variables
223.40/58.91	c pp time: 58321818us (58s)
232.19/61.12	c HTE
238.16/62.66	c preprocessor returned 293864 variables
238.16/62.66	c preprocessing returned UNKNOWN
238.16/62.66	c PP set 181750 variables
238.16/62.66	c pp time: 61951397us (61s)
240.16/63.17	c subsumption
240.98/63.32	c simplified formula contains 0 unit clauses
247.34/64.99	c HTE
250.16/65.66	c preprocessor returned 293864 variables
250.16/65.66	c preprocessing returned UNKNOWN
250.16/65.66	c PP set 181750 variables
250.16/65.66	c pp time: 65164347us (65s)
253.33/66.45	c subsumption
253.73/66.60	c simplified formula contains 0 unit clauses
254.15/66.62	c received clause contains eliminated literal -53815
254.15/66.62	c received clause contains eliminated literal -141801
254.15/66.62	c received clause contains eliminated literal -134451
254.15/66.62	c received clause contains eliminated literal -55299
254.15/66.62	c received clause contains eliminated literal -51667
254.15/66.62	c received clause contains eliminated literal -120378
254.15/66.62	c received clause contains eliminated literal -145723
258.55/67.71	c HTE
262.13/68.68	c subsumption
262.52/68.78	c simplified formula contains 0 unit clauses
262.52/68.80	c received clause contains eliminated literal -30695
262.52/68.80	c received clause contains eliminated literal -45083
262.52/68.80	c received clause contains eliminated literal -7789
266.11/69.66	c HTE
269.30/70.44	c subsumption
269.71/70.53	c simplified formula contains 0 unit clauses
269.71/70.54	c received clause contains eliminated literal -26579
269.71/70.54	c received clause contains eliminated literal -141431
269.71/70.54	c received clause contains eliminated literal -138758
269.71/70.54	c received clause contains eliminated literal -97251
272.50/71.30	c HTE
275.30/71.98	c subsumption
275.70/72.07	c simplified formula contains 0 unit clauses
275.70/72.08	c received clause contains eliminated literal -28073
275.70/72.08	c received clause contains eliminated literal -75645
278.89/72.82	c HTE
281.28/73.49	c subsumption
281.68/73.58	c simplified formula contains 0 unit clauses
281.68/73.59	c received clause contains eliminated literal 953
290.86/75.81	c HTE
293.25/76.44	c subsumption
293.67/76.57	c simplified formula contains 0 unit clauses
293.67/76.58	c received clause contains eliminated literal -62093
293.67/76.58	c received clause contains eliminated literal -146467
296.46/77.25	c HTE
298.84/77.84	c subsumption
299.24/77.94	c simplified formula contains 0 unit clauses
302.47/78.71	c HTE
304.04/79.18	c subsumption
304.44/79.25	c simplified formula contains 0 unit clauses
305.64/79.59	c received clause contains eliminated literal -62019
308.04/80.12	c HTE
309.64/80.54	c subsumption
310.04/80.63	c simplified formula contains 0 unit clauses
310.44/80.72	c received clause contains eliminated literal -24949
326.40/84.75	c received clause contains eliminated literal -10433
334.79/86.85	c HTE
336.80/87.32	c subsumption
337.62/87.56	c simplified formula contains 0 unit clauses
350.79/90.82	c received clause contains eliminated literal -7000
355.19/91.99	c HTE
356.77/92.37	c subsumption
357.17/92.47	c simplified formula contains 0 unit clauses
358.77/92.89	c received clause contains eliminated literal -13685
370.74/95.89	c HTE
373.16/96.42	c subsumption
374.33/96.76	c simplified formula contains 0 unit clauses
374.33/96.78	c received clause contains eliminated literal -37881
374.33/96.78	c received clause contains eliminated literal -52977
376.73/97.31	c received clause contains eliminated literal -290281
381.55/98.54	c received clause contains eliminated literal -227210
384.32/99.21	c received clause contains eliminated literal 1433
387.11/99.93	c received clause contains eliminated literal -63263
389.91/100.64	c received clause contains eliminated literal -288985
433.85/111.70	c HTE
435.44/112.09	c subsumption
436.24/112.21	c simplified formula contains 0 unit clauses
436.24/112.22	c received clause contains eliminated literal -100951
440.63/113.32	c received clause contains eliminated literal -46452
443.45/114.07	c received clause contains eliminated literal -62093
444.22/114.20	c received clause contains eliminated literal -56705
455.41/117.07	c HTE
457.80/117.62	c subsumption
459.40/118.07	c simplified formula contains 0 unit clauses
482.18/123.75	c received clause contains eliminated literal -46637
482.18/123.76	c received clause contains eliminated literal -80896
506.94/129.91	c received clause contains eliminated literal -261480
520.92/133.44	c received clause contains eliminated literal 1499
549.67/140.70	c received clause contains eliminated literal -237755
554.06/141.73	c received clause contains eliminated literal -170156
554.46/141.82	c received clause contains eliminated literal -76681
560.85/143.47	c received clause contains eliminated literal -91737
567.64/145.14	c received clause contains eliminated literal -58259
575.64/147.18	c HTE
580.42/148.39	c subsumption
584.04/149.21	c simplified formula contains 0 unit clauses
598.00/152.73	c received clause contains eliminated literal -52977
617.19/157.54	c received clause contains eliminated literal -90815
641.54/163.60	c HTE
656.72/167.43	c subsumption
667.90/170.29	c simplified formula contains 0 unit clauses
706.25/179.86	c received clause contains eliminated literal -7000
739.41/188.14	c received clause contains eliminated literal -261517
834.86/212.03	c received clause contains eliminated literal -28861
836.47/212.49	c received clause contains eliminated literal -54111
850.05/215.86	c received clause contains eliminated literal -37881
864.85/219.60	c received clause contains eliminated literal -13864
865.63/219.76	c received clause contains eliminated literal -46637
1177.20/297.79	c received clause contains eliminated literal -191838
1320.98/333.78	c received clause contains eliminated literal -81773
1719.63/433.57	c received clause contains eliminated literal -147290
1838.25/463.25	c received clause contains eliminated literal -79197
2008.01/505.78	c HTE
2107.46/530.65	c subsumption
2174.59/547.43	c simplified formula contains 0 unit clauses
2176.97/548.00	c HTE
2184.96/550.05	c subsumption
2204.13/554.83	c simplified formula contains 0 unit clauses
2560.42/644.09	c received clause contains eliminated literal -206053
2746.16/690.51	c HTE
2769.32/696.30	c subsumption
2787.69/700.90	c simplified formula contains 0 unit clauses
2800.87/704.27	c received clause contains eliminated literal -76903
2953.05/742.35	c received clause contains eliminated literal -237829
3349.69/841.64	c received clause contains eliminated literal -46452
4369.86/1097.04	c received clause contains eliminated literal 953

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-3280281-1304036726/watcher-3280281-1304036726 -o /tmp/evaluation-result-3280281-1304036726/solver-3280281-1304036726 -C 4800 -W 1300 -M 15500 HOME/priss.sh HOME HOME/instance-3280281-1304036726.cnf 1521103996 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.55 7.68 7.27 3/176 18876
/proc/meminfo: memFree=25177312/32951132 swapFree=67111524/67111528
[pid=18876] ppid=18874 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18876/stat : 18876 (priss.sh) S 18874 18876 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515272375 8908800 252 33554432000 4194304 4922060 140737068185152 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18876/statm: 2175 252 211 178 0 68 0

[startup+0.106138 s]
/proc/loadavg: 6.55 7.68 7.27 3/176 18876
/proc/meminfo: memFree=25177312/32951132 swapFree=67111524/67111528
[pid=18876] ppid=18874 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18876/stat : 18876 (priss.sh) S 18874 18876 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515272375 8908800 252 33554432000 4194304 4922060 140737068185152 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18876/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.20115 s]
/proc/loadavg: 6.55 7.68 7.27 3/176 18876
/proc/meminfo: memFree=25177312/32951132 swapFree=67111524/67111528
[pid=18876] ppid=18874 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18876/stat : 18876 (priss.sh) S 18874 18876 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515272375 8908800 252 33554432000 4194304 4922060 140737068185152 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18876/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.301147 s]
/proc/loadavg: 6.55 7.68 7.27 3/176 18876
/proc/meminfo: memFree=25177312/32951132 swapFree=67111524/67111528
[pid=18876] ppid=18874 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18876/stat : 18876 (priss.sh) S 18874 18876 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515272375 8908800 252 33554432000 4194304 4922060 140737068185152 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18876/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.701016 s]
/proc/loadavg: 6.55 7.68 7.27 3/176 18876
/proc/meminfo: memFree=25177312/32951132 swapFree=67111524/67111528
[pid=18876] ppid=18874 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18876/stat : 18876 (priss.sh) S 18874 18876 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515272375 8908800 252 33554432000 4194304 4922060 140737068185152 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18876/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50085 s]
/proc/loadavg: 6.55 7.68 7.27 9/186 18886
/proc/meminfo: memFree=23539208/32951132 swapFree=67111524/67111528
[pid=18876] ppid=18874 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18876/stat : 18876 (priss.sh) S 18874 18876 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515272375 8908800 252 33554432000 4194304 4922060 140737068185152 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18876/statm: 2175 252 211 178 0 68 0
[pid=18877] ppid=18876 vsize=1276712 CPUtime=4.09 cores=1,3,5,7
/proc/18877/stat : 18877 (priss) S 18876 18876 18837 0 -1 4202496 282077 0 0 0 339 70 0 0 18 0 5 0 515272376 1307353088 273183 33554432000 4194304 5787044 140733710724608 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18877/statm: 319178 273185 344 389 0 314928 0
[pid=18877/tid=18883] ppid=18876 vsize=1276712 CPUtime=0.98 cores=1,3,5,7
/proc/18877/task/18883/stat : 18883 (priss) R 18876 18876 18837 0 -1 4202560 61537 0 0 0 80 18 0 0 18 0 5 0 515272419 1307353088 273186 33554432000 4194304 5787044 140733710724608 18446744073709551615 4306210 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=18877/tid=18884] ppid=18876 vsize=1276712 CPUtime=0.88 cores=1,3,5,7
/proc/18877/task/18884/stat : 18884 (priss) R 18876 18876 18837 0 -1 4202560 57424 0 0 0 70 18 0 0 18 0 5 0 515272428 1307353088 273187 33554432000 4194304 5787044 140733710724608 18446744073709551615 4306210 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18877/tid=18885] ppid=18876 vsize=1276712 CPUtime=0.79 cores=1,3,5,7
/proc/18877/task/18885/stat : 18885 (priss) R 18876 18876 18837 0 -1 4202560 53644 0 0 0 68 11 0 0 18 0 5 0 515272437 1307353088 273189 33554432000 4194304 5787044 140733710724608 18446744073709551615 4223304 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18877/tid=18886] ppid=18876 vsize=1276712 CPUtime=0.7 cores=1,3,5,7
/proc/18877/task/18886/stat : 18886 (priss) R 18876 18876 18837 0 -1 4202560 45233 0 0 0 58 12 0 0 18 0 5 0 515272449 1307353088 273190 33554432000 4194304 5787044 140733710724608 18446744073709551615 274664851639 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.09
Current children cumulated vsize (KiB) 1285412

[startup+3.10058 s]
/proc/loadavg: 6.82 7.71 7.29 9/186 18886
/proc/meminfo: memFree=23907876/32951132 swapFree=67111524/67111528
[pid=18876] ppid=18874 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18876/stat : 18876 (priss.sh) S 18874 18876 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515272375 8908800 252 33554432000 4194304 4922060 140737068185152 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18876/statm: 2175 252 211 178 0 68 0
[pid=18877] ppid=18876 vsize=915032 CPUtime=10.44 cores=1,3,5,7
/proc/18877/stat : 18877 (priss) S 18876 18876 18837 0 -1 4202496 311851 0 0 0 965 79 0 0 18 0 5 0 515272376 936992768 171856 33554432000 4194304 5787044 140733710724608 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18877/statm: 228758 171856 349 389 0 224508 0
[pid=18877/tid=18883] ppid=18876 vsize=915032 CPUtime=2.55 cores=1,3,5,7
/proc/18877/task/18883/stat : 18883 (priss) R 18876 18876 18837 0 -1 4202560 65934 0 0 0 236 19 0 0 20 0 5 0 515272419 936992768 171856 33554432000 4194304 5787044 140733710724608 18446744073709551615 4330507 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=18877/tid=18884] ppid=18876 vsize=915032 CPUtime=2.48 cores=1,3,5,7
/proc/18877/task/18884/stat : 18884 (priss) R 18876 18876 18837 0 -1 4202560 61875 0 0 0 228 20 0 0 20 0 5 0 515272428 936992768 171856 33554432000 4194304 5787044 140733710724608 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18877/tid=18885] ppid=18876 vsize=915032 CPUtime=2.38 cores=1,3,5,7
/proc/18877/task/18885/stat : 18885 (priss) R 18876 18876 18837 0 -1 4202560 58134 0 0 0 225 13 0 0 20 0 5 0 515272437 936992768 171856 33554432000 4194304 5787044 140733710724608 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18877/tid=18886] ppid=18876 vsize=915032 CPUtime=2.29 cores=1,3,5,7
/proc/18877/task/18886/stat : 18886 (priss) R 18876 18876 18837 0 -1 4202560 61662 0 0 0 212 17 0 0 20 0 5 0 515272449 936992768 171856 33554432000 4194304 5787044 140733710724608 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 10.44
Current children cumulated vsize (KiB) 923732

[startup+8.2087 s]
/proc/loadavg: 6.82 7.71 7.29 9/186 18886
/proc/meminfo: memFree=23907876/32951132 swapFree=67111524/67111528
[pid=18876] ppid=18874 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18876/stat : 18876 (priss.sh) S 18874 18876 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515272375 8908800 252 33554432000 4194304 4922060 140737068185152 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18876/statm: 2175 252 211 178 0 68 0
[pid=18877] ppid=18876 vsize=915032 CPUtime=29.05 cores=1,3,5,7
/proc/18877/stat : 18877 (priss) S 18876 18876 18837 0 -1 4202496 311851 0 0 0 2695 210 0 0 18 0 5 0 515272376 936992768 171856 33554432000 4194304 5787044 140733710724608 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18877/statm: 228758 171856 349 389 0 224508 0
[pid=18877/tid=18883] ppid=18876 vsize=915032 CPUtime=5.94 cores=1,3,5,7
/proc/18877/task/18883/stat : 18883 (priss) R 18876 18876 18837 0 -1 4202560 65934 0 0 0 444 150 0 0 25 0 5 0 515272419 936992768 171856 33554432000 4194304 5787044 140733710724608 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18877/tid=18884] ppid=18876 vsize=915032 CPUtime=7.56 cores=1,3,5,7
/proc/18877/task/18884/stat : 18884 (priss) R 18876 18876 18837 0 -1 4202560 61875 0 0 0 736 20 0 0 25 0 5 0 515272428 936992768 171856 33554432000 4194304 5787044 140733710724608 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18877/tid=18885] ppid=18876 vsize=915032 CPUtime=7.41 cores=1,3,5,7
/proc/18877/task/18885/stat : 18885 (priss) R 18876 18876 18837 0 -1 4202560 58134 0 0 0 728 13 0 0 25 0 5 0 515272437 936992768 171856 33554432000 4194304 5787044 140733710724608 18446744073709551615 4330507 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18877/tid=18886] ppid=18876 vsize=915032 CPUtime=7.4 cores=1,3,5,7
/proc/18877/task/18886/stat : 18886 (priss) R 18876 18876 18837 0 -1 4202560 61662 0 0 0 723 17 0 0 25 0 5 0 515272449 936992768 171856 33554432000 4194304 5787044 140733710724608 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 29.05
Current children cumulated vsize (KiB) 923732

[startup+12.7009 s]
/proc/loadavg: 7.85 7.90 7.35 13/186 18887
/proc/meminfo: memFree=23990340/32951132 swapFree=67111524/67111528
[pid=18876] ppid=18874 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18876/stat : 18876 (priss.sh) S 18874 18876 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515272375 8908800 252 33554432000 4194304 4922060 140737068185152 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18876/statm: 2175 252 211 178 0 68 0
[pid=18877] ppid=18876 vsize=915032 CPUtime=42.51 cores=1,3,5,7
/proc/18877/stat : 18877 (priss) S 18876 18876 18837 0 -1 4202496 311851 0 0 0 4041 210 0 0 18 0 5 0 515272376 936992768 171856 33554432000 4194304 5787044 140733710724608 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18877/statm: 228758 171856 349 389 0 224508 0
[pid=18877/tid=18883] ppid=18876 vsize=915032 CPUtime=8.16 cores=1,3,5,7
/proc/18877/task/18883/stat : 18883 (priss) R 18876 18876 18837 0 -1 4202560 65934 0 0 0 666 150 0 0 25 0 5 0 515272419 936992768 171856 33554432000 4194304 5787044 140733710724608 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18877/tid=18884] ppid=18876 vsize=915032 CPUtime=12.06 cores=1,3,5,7
/proc/18877/task/18884/stat : 18884 (priss) R 18876 18876 18837 0 -1 4202560 61875 0 0 0 1186 20 0 0 25 0 5 0 515272428 936992768 171856 33554432000 4194304 5787044 140733710724608 18446744073709551615 4330514 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18877/tid=18885] ppid=18876 vsize=915032 CPUtime=9.66 cores=1,3,5,7
/proc/18877/task/18885/stat : 18885 (priss) R 18876 18876 18837 0 -1 4202560 58134 0 0 0 953 13 0 0 25 0 5 0 515272437 936992768 171856 33554432000 4194304 5787044 140733710724608 18446744073709551615 4330555 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18877/tid=18886] ppid=18876 vsize=915032 CPUtime=11.9 cores=1,3,5,7
/proc/18877/task/18886/stat : 18886 (priss) R 18876 18876 18837 0 -1 4202560 61662 0 0 0 1173 17 0 0 25 0 5 0 515272449 936992768 171856 33554432000 4194304 5787044 140733710724608 18446744073709551615 4330507 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 42.51
Current children cumulated vsize (KiB) 923732

[startup+25.5007 s]
/proc/loadavg: 7.87 7.91 7.36 9/186 18887
/proc/meminfo: memFree=23991616/32951132 swapFree=67111524/67111528
[pid=18876] ppid=18874 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18876/stat : 18876 (priss.sh) S 18874 18876 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515272375 8908800 252 33554432000 4194304 4922060 140737068185152 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18876/statm: 2175 252 211 178 0 68 0
[pid=18877] ppid=18876 vsize=915032 CPUtime=90.02 cores=1,3,5,7
/proc/18877/stat : 18877 (priss) S 18876 18876 18837 0 -1 4202496 311901 0 0 0 8787 215 0 0 18 0 5 0 515272376 936992768 171906 33554432000 4194304 5787044 140733710724608 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18877/statm: 228758 171906 349 389 0 224508 0
[pid=18877/tid=18883] ppid=18876 vsize=915032 CPUtime=19.14 cores=1,3,5,7
/proc/18877/task/18883/stat : 18883 (priss) R 18876 18876 18837 0 -1 4202560 65934 0 0 0 1764 150 0 0 25 0 5 0 515272419 936992768 171906 33554432000 4194304 5787044 140733710724608 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18877/tid=18884] ppid=18876 vsize=915032 CPUtime=24.85 cores=1,3,5,7
/proc/18877/task/18884/stat : 18884 (priss) R 18876 18876 18837 0 -1 4202560 61899 0 0 0 2465 20 0 0 25 0 5 0 515272428 936992768 171906 33554432000 4194304 5787044 140733710724608 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18877/tid=18885] ppid=18876 vsize=915032 CPUtime=20.59 cores=1,3,5,7
/proc/18877/task/18885/stat : 18885 (priss) R 18876 18876 18837 0 -1 4202560 58137 0 0 0 2042 17 0 0 25 0 5 0 515272437 936992768 171906 33554432000 4194304 5787044 140733710724608 18446744073709551615 4330507 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=18877/tid=18886] ppid=18876 vsize=915032 CPUtime=24.7 cores=1,3,5,7
/proc/18877/task/18886/stat : 18886 (priss) R 18876 18876 18837 0 -1 4202560 61685 0 0 0 2453 17 0 0 25 0 5 0 515272449 936992768 171906 33554432000 4194304 5787044 140733710724608 18446744073709551615 4330518 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (KiB) 923732

[startup+51.1003 s]
/proc/loadavg: 7.98 7.93 7.38 9/186 18888
/proc/meminfo: memFree=23991592/32951132 swapFree=67111524/67111528
[pid=18876] ppid=18874 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18876/stat : 18876 (priss.sh) S 18874 18876 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515272375 8908800 252 33554432000 4194304 4922060 140737068185152 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18876/statm: 2175 252 211 178 0 68 0
[pid=18877] ppid=18876 vsize=915928 CPUtime=192.23 cores=1,3,5,7
/proc/18877/stat : 18877 (priss) S 18876 18876 18837 0 -1 4202496 312132 0 0 0 19004 219 0 0 18 0 5 0 515272376 937910272 172137 33554432000 4194304 5787044 140733710724608 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18877/statm: 228982 172137 349 389 0 224732 0
[pid=18877/tid=18883] ppid=18876 vsize=915928 CPUtime=44.6 cores=1,3,5,7
/proc/18877/task/18883/stat : 18883 (priss) R 18876 18876 18837 0 -1 4202560 65969 0 0 0 4310 150 0 0 25 0 5 0 515272419 937910272 172137 33554432000 4194304 5787044 140733710724608 18446744073709551615 4330507 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18877/tid=18884] ppid=18876 vsize=915928 CPUtime=50.45 cores=1,3,5,7
/proc/18877/task/18884/stat : 18884 (priss) R 18876 18876 18837 0 -1 4202560 61961 0 0 0 5025 20 0 0 25 0 5 0 515272428 937910272 172137 33554432000 4194304 5787044 140733710724608 18446744073709551615 4330504 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18877/tid=18885] ppid=18876 vsize=915928 CPUtime=46.16 cores=1,3,5,7
/proc/18877/task/18885/stat : 18885 (priss) R 18876 18876 18837 0 -1 4202560 58208 0 0 0 4594 22 0 0 25 0 5 0 515272437 937910272 172137 33554432000 4194304 5787044 140733710724608 18446744073709551615 4330484 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=18877/tid=18886] ppid=18876 vsize=915928 CPUtime=50.29 cores=1,3,5,7
/proc/18877/task/18886/stat : 18886 (priss) R 18876 18876 18837 0 -1 4202560 61748 0 0 0 5012 17 0 0 25 0 5 0 515272449 937910272 172137 33554432000 4194304 5787044 140733710724608 18446744073709551615 4330507 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 192.23
Current children cumulated vsize (KiB) 924628

[startup+102.3 s]
/proc/loadavg: 8.06 7.95 7.42 9/186 18889
/proc/meminfo: memFree=23388324/32951132 swapFree=67111524/67111528
[pid=18876] ppid=18874 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18876/stat : 18876 (priss.sh) S 18874 18876 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515272375 8908800 252 33554432000 4194304 4922060 140737068185152 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18876/statm: 2175 252 211 178 0 68 0
[pid=18877] ppid=18876 vsize=1173268 CPUtime=396.69 cores=1,3,5,7
/proc/18877/stat : 18877 (priss) S 18876 18876 18837 0 -1 4202496 505367 0 0 0 39418 251 0 0 18 0 5 0 515272376 1201426432 250089 33554432000 4194304 5787044 140733710724608 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18877/statm: 293317 250089 418 389 0 289067 0
[pid=18877/tid=18883] ppid=18876 vsize=1173268 CPUtime=95.48 cores=1,3,5,7
/proc/18877/task/18883/stat : 18883 (priss) R 18876 18876 18837 0 -1 4202560 96221 0 0 0 9393 155 0 0 25 0 5 0 515272419 1201426432 250089 33554432000 4194304 5787044 140733710724608 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18877/tid=18884] ppid=18876 vsize=1173268 CPUtime=101.65 cores=1,3,5,7
/proc/18877/task/18884/stat : 18884 (priss) R 18876 18876 18837 0 -1 4202560 79479 0 0 0 10142 23 0 0 25 0 5 0 515272428 1201426432 250089 33554432000 4194304 5787044 140733710724608 18446744073709551615 5591325 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18877/tid=18885] ppid=18876 vsize=1173268 CPUtime=97.34 cores=1,3,5,7
/proc/18877/task/18885/stat : 18885 (priss) R 18876 18876 18837 0 -1 4202560 89942 0 0 0 9705 29 0 0 25 0 5 0 515272437 1201426432 250089 33554432000 4194304 5787044 140733710724608 18446744073709551615 4220264 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=18877/tid=18886] ppid=18876 vsize=1173268 CPUtime=101.48 cores=1,3,5,7

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

/proc/18877/task/18884/stat : 18884 (priss) R 18876 18876 18837 0 -1 4202560 83138 0 0 0 82138 28 0 0 25 0 5 0 515272428 1503002624 306033 33554432000 4194304 5787044 140733710724608 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18877/tid=18885] ppid=18876 vsize=1467776 CPUtime=817.2 cores=1,3,5,7
/proc/18877/task/18885/stat : 18885 (priss) R 18876 18876 18837 0 -1 4202560 102816 0 0 0 81669 51 0 0 25 0 5 0 515272437 1503002624 306033 33554432000 4194304 5787044 140733710724608 18446744073709551615 5591328 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=18877/tid=18886] ppid=18876 vsize=1467776 CPUtime=821.46 cores=1,3,5,7
/proc/18877/task/18886/stat : 18886 (priss) R 18876 18876 18837 0 -1 4202560 242225 0 0 0 82091 55 0 0 25 0 5 0 515272449 1503002624 306033 33554432000 4194304 5787044 140733710724608 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3272.63
Current children cumulated vsize (KiB) 1476476

[startup+882.301 s]
/proc/loadavg: 8.17 8.11 7.80 9/186 18910
/proc/meminfo: memFree=22458576/32951132 swapFree=67111524/67111528
[pid=18876] ppid=18874 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18876/stat : 18876 (priss.sh) S 18874 18876 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515272375 8908800 252 33554432000 4194304 4922060 140737068185152 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18876/statm: 2175 252 211 178 0 68 0
[pid=18877] ppid=18876 vsize=1467776 CPUtime=3512.26 cores=1,3,5,7
/proc/18877/stat : 18877 (priss) S 18876 18876 18837 0 -1 4202496 602135 0 0 0 350909 317 0 0 18 0 5 0 515272376 1503002624 307777 33554432000 4194304 5787044 140733710724608 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18877/statm: 366944 307777 418 389 0 362694 0
[pid=18877/tid=18883] ppid=18876 vsize=1467776 CPUtime=871.24 cores=1,3,5,7
/proc/18877/task/18883/stat : 18883 (priss) R 18876 18876 18837 0 -1 4202560 107921 0 0 0 86952 172 0 0 25 0 5 0 515272419 1503002624 307777 33554432000 4194304 5787044 140733710724608 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18877/tid=18884] ppid=18876 vsize=1467776 CPUtime=881.65 cores=1,3,5,7
/proc/18877/task/18884/stat : 18884 (priss) R 18876 18876 18837 0 -1 4202560 83499 0 0 0 88137 28 0 0 25 0 5 0 515272428 1503002624 307777 33554432000 4194304 5787044 140733710724608 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18877/tid=18885] ppid=18876 vsize=1467776 CPUtime=877.2 cores=1,3,5,7
/proc/18877/task/18885/stat : 18885 (priss) R 18876 18876 18837 0 -1 4202560 103191 0 0 0 87668 52 0 0 25 0 5 0 515272437 1503002624 307777 33554432000 4194304 5787044 140733710724608 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=18877/tid=18886] ppid=18876 vsize=1467776 CPUtime=881.44 cores=1,3,5,7
/proc/18877/task/18886/stat : 18886 (priss) R 18876 18876 18837 0 -1 4202560 243278 0 0 0 88089 55 0 0 25 0 5 0 515272449 1503002624 307777 33554432000 4194304 5787044 140733710724608 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3512.26
Current children cumulated vsize (KiB) 1476476

[startup+942.307 s]
/proc/loadavg: 8.23 8.13 7.83 9/186 18911
/proc/meminfo: memFree=22450244/32951132 swapFree=67111524/67111528
[pid=18876] ppid=18874 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18876/stat : 18876 (priss.sh) S 18874 18876 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515272375 8908800 252 33554432000 4194304 4922060 140737068185152 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18876/statm: 2175 252 211 178 0 68 0
[pid=18877] ppid=18876 vsize=1467776 CPUtime=3751.95 cores=1,3,5,7
/proc/18877/stat : 18877 (priss) S 18876 18876 18837 0 -1 4202496 604058 0 0 0 374872 323 0 0 18 0 5 0 515272376 1503002624 309700 33554432000 4194304 5787044 140733710724608 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18877/statm: 366944 309700 418 389 0 362694 0
[pid=18877/tid=18883] ppid=18876 vsize=1467776 CPUtime=930.91 cores=1,3,5,7
/proc/18877/task/18883/stat : 18883 (priss) R 18876 18876 18837 0 -1 4202560 107994 0 0 0 92919 172 0 0 25 0 5 0 515272419 1503002624 309700 33554432000 4194304 5787044 140733710724608 18446744073709551615 5591024 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18877/tid=18884] ppid=18876 vsize=1467776 CPUtime=941.65 cores=1,3,5,7
/proc/18877/task/18884/stat : 18884 (priss) R 18876 18876 18837 0 -1 4202560 84811 0 0 0 94133 32 0 0 25 0 5 0 515272428 1503002624 309700 33554432000 4194304 5787044 140733710724608 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18877/tid=18885] ppid=18876 vsize=1467776 CPUtime=937.21 cores=1,3,5,7
/proc/18877/task/18885/stat : 18885 (priss) R 18876 18876 18837 0 -1 4202560 103195 0 0 0 93669 52 0 0 25 0 5 0 515272437 1503002624 309700 33554432000 4194304 5787044 140733710724608 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=18877/tid=18886] ppid=18876 vsize=1467776 CPUtime=941.44 cores=1,3,5,7
/proc/18877/task/18886/stat : 18886 (priss) R 18876 18876 18837 0 -1 4202560 243812 0 0 0 94088 56 0 0 25 0 5 0 515272449 1503002624 309700 33554432000 4194304 5787044 140733710724608 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3751.95
Current children cumulated vsize (KiB) 1476476

[startup+1002.3 s]
/proc/loadavg: 8.23 8.14 7.84 9/186 18913
/proc/meminfo: memFree=22369120/32951132 swapFree=67111524/67111528
[pid=18876] ppid=18874 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18876/stat : 18876 (priss.sh) S 18874 18876 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515272375 8908800 252 33554432000 4194304 4922060 140737068185152 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18876/statm: 2175 252 211 178 0 68 0
[pid=18877] ppid=18876 vsize=1479196 CPUtime=3991.59 cores=1,3,5,7
/proc/18877/stat : 18877 (priss) S 18876 18876 18837 0 -1 4202496 609657 0 0 0 398830 329 0 0 18 0 5 0 515272376 1514696704 315299 33554432000 4194304 5787044 140733710724608 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18877/statm: 369799 315299 418 389 0 365549 0
[pid=18877/tid=18883] ppid=18876 vsize=1479196 CPUtime=990.59 cores=1,3,5,7
/proc/18877/task/18883/stat : 18883 (priss) R 18876 18876 18837 0 -1 4202560 110426 0 0 0 98885 174 0 0 25 0 5 0 515272419 1514696704 315299 33554432000 4194304 5787044 140733710724608 18446744073709551615 5589533 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18877/tid=18884] ppid=18876 vsize=1479196 CPUtime=1001.65 cores=1,3,5,7
/proc/18877/task/18884/stat : 18884 (priss) R 18876 18876 18837 0 -1 4202560 86156 0 0 0 100130 35 0 0 25 0 5 0 515272428 1514696704 315299 33554432000 4194304 5787044 140733710724608 18446744073709551615 4254531 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18877/tid=18885] ppid=18876 vsize=1479196 CPUtime=997.2 cores=1,3,5,7
/proc/18877/task/18885/stat : 18885 (priss) R 18876 18876 18837 0 -1 4202560 103573 0 0 0 99668 52 0 0 25 0 5 0 515272437 1514696704 315299 33554432000 4194304 5787044 140733710724608 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=18877/tid=18886] ppid=18876 vsize=1479196 CPUtime=1001.41 cores=1,3,5,7
/proc/18877/task/18886/stat : 18886 (priss) R 18876 18876 18837 0 -1 4202560 245256 0 0 0 100084 57 0 0 25 0 5 0 515272449 1514696704 315299 33554432000 4194304 5787044 140733710724608 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3991.59
Current children cumulated vsize (KiB) 1487896

[startup+1062.3 s]
/proc/loadavg: 8.20 8.14 7.86 9/186 18915
/proc/meminfo: memFree=22348144/32951132 swapFree=67111524/67111528
[pid=18876] ppid=18874 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18876/stat : 18876 (priss.sh) S 18874 18876 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515272375 8908800 252 33554432000 4194304 4922060 140737068185152 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18876/statm: 2175 252 211 178 0 68 0
[pid=18877] ppid=18876 vsize=1479388 CPUtime=4231.26 cores=1,3,5,7
/proc/18877/stat : 18877 (priss) S 18876 18876 18837 0 -1 4202496 610946 0 0 0 422795 331 0 0 18 0 5 0 515272376 1514893312 316491 33554432000 4194304 5787044 140733710724608 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18877/statm: 369847 316491 418 389 0 365597 0
[pid=18877/tid=18883] ppid=18876 vsize=1479388 CPUtime=1050.26 cores=1,3,5,7
/proc/18877/task/18883/stat : 18883 (priss) R 18876 18876 18837 0 -1 4202560 110426 0 0 0 104852 174 0 0 25 0 5 0 515272419 1514893312 316491 33554432000 4194304 5787044 140733710724608 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18877/tid=18884] ppid=18876 vsize=1479388 CPUtime=1061.64 cores=1,3,5,7
/proc/18877/task/18884/stat : 18884 (priss) R 18876 18876 18837 0 -1 4202560 86529 0 0 0 106129 35 0 0 25 0 5 0 515272428 1514893312 316491 33554432000 4194304 5787044 140733710724608 18446744073709551615 5588240 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18877/tid=18885] ppid=18876 vsize=1479388 CPUtime=1057.21 cores=1,3,5,7
/proc/18877/task/18885/stat : 18885 (priss) R 18876 18876 18837 0 -1 4202560 104191 0 0 0 105667 54 0 0 25 0 5 0 515272437 1514893312 316491 33554432000 4194304 5787044 140733710724608 18446744073709551615 5591090 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=18877/tid=18886] ppid=18876 vsize=1479388 CPUtime=1061.4 cores=1,3,5,7
/proc/18877/task/18886/stat : 18886 (priss) R 18876 18876 18837 0 -1 4202560 245554 0 0 0 106083 57 0 0 25 0 5 0 515272449 1514893312 316491 33554432000 4194304 5787044 140733710724608 18446744073709551615 5526823 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4231.26
Current children cumulated vsize (KiB) 1488088

[startup+1122.3 s]
/proc/loadavg: 8.21 8.15 7.88 9/186 18916
/proc/meminfo: memFree=22180832/32951132 swapFree=67111524/67111528
[pid=18876] ppid=18874 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18876/stat : 18876 (priss.sh) S 18874 18876 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515272375 8908800 252 33554432000 4194304 4922060 140737068185152 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18876/statm: 2175 252 211 178 0 68 0
[pid=18877] ppid=18876 vsize=1480492 CPUtime=4470.92 cores=1,3,5,7
/proc/18877/stat : 18877 (priss) S 18876 18876 18837 0 -1 4202496 613547 0 0 0 446759 333 0 0 18 0 5 0 515272376 1516023808 319092 33554432000 4194304 5787044 140733710724608 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18877/statm: 370123 319092 418 389 0 365873 0
[pid=18877/tid=18883] ppid=18876 vsize=1480492 CPUtime=1109.93 cores=1,3,5,7
/proc/18877/task/18883/stat : 18883 (priss) R 18876 18876 18837 0 -1 4202560 111150 0 0 0 110819 174 0 0 25 0 5 0 515272419 1516023808 319092 33554432000 4194304 5787044 140733710724608 18446744073709551615 4218330 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18877/tid=18884] ppid=18876 vsize=1480492 CPUtime=1121.65 cores=1,3,5,7
/proc/18877/task/18884/stat : 18884 (priss) R 18876 18876 18837 0 -1 4202560 88151 0 0 0 112128 37 0 0 25 0 5 0 515272428 1516023808 319092 33554432000 4194304 5787044 140733710724608 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18877/tid=18885] ppid=18876 vsize=1480492 CPUtime=1117.21 cores=1,3,5,7
/proc/18877/task/18885/stat : 18885 (priss) R 18876 18876 18837 0 -1 4202560 104445 0 0 0 111667 54 0 0 25 0 5 0 515272437 1516023808 319092 33554432000 4194304 5787044 140733710724608 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=18877/tid=18886] ppid=18876 vsize=1480492 CPUtime=1121.39 cores=1,3,5,7
/proc/18877/task/18886/stat : 18886 (priss) R 18876 18876 18837 0 -1 4202560 245555 0 0 0 112082 57 0 0 25 0 5 0 515272449 1516023808 319092 33554432000 4194304 5787044 140733710724608 18446744073709551615 4220542 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4470.92
Current children cumulated vsize (KiB) 1489192

[startup+1182.3 s]
/proc/loadavg: 8.18 8.15 7.89 9/186 18918
/proc/meminfo: memFree=22062520/32951132 swapFree=67111524/67111528
[pid=18876] ppid=18874 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18876/stat : 18876 (priss.sh) S 18874 18876 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515272375 8908800 252 33554432000 4194304 4922060 140737068185152 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18876/statm: 2175 252 211 178 0 68 0
[pid=18877] ppid=18876 vsize=1546204 CPUtime=4710.59 cores=1,3,5,7
/proc/18877/stat : 18877 (priss) S 18876 18876 18837 0 -1 4202496 618826 0 0 0 470720 339 0 0 18 0 5 0 515272376 1583312896 324371 33554432000 4194304 5787044 140733710724608 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18877/statm: 386551 324371 418 389 0 382301 0
[pid=18877/tid=18883] ppid=18876 vsize=1546204 CPUtime=1169.6 cores=1,3,5,7
/proc/18877/task/18883/stat : 18883 (priss) R 18876 18876 18837 0 -1 4202560 113501 0 0 0 116785 175 0 0 25 0 5 0 515272419 1583312896 324371 33554432000 4194304 5787044 140733710724608 18446744073709551615 5586779 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18877/tid=18884] ppid=18876 vsize=1546204 CPUtime=1181.65 cores=1,3,5,7
/proc/18877/task/18884/stat : 18884 (priss) R 18876 18876 18837 0 -1 4202560 88906 0 0 0 118126 39 0 0 25 0 5 0 515272428 1583312896 324371 33554432000 4194304 5787044 140733710724608 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18877/tid=18885] ppid=18876 vsize=1546204 CPUtime=1177.21 cores=1,3,5,7
/proc/18877/task/18885/stat : 18885 (priss) R 18876 18876 18837 0 -1 4202560 106584 0 0 0 117664 57 0 0 25 0 5 0 515272437 1583312896 324371 33554432000 4194304 5787044 140733710724608 18446744073709551615 5592012 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=18877/tid=18886] ppid=18876 vsize=1546204 CPUtime=1181.39 cores=1,3,5,7
/proc/18877/task/18886/stat : 18886 (priss) R 18876 18876 18837 0 -1 4202560 245589 0 0 0 118081 58 0 0 25 0 5 0 515272449 1583312896 324371 33554432000 4194304 5787044 140733710724608 18446744073709551615 5526895 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4710.59
Current children cumulated vsize (KiB) 1554904



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.7 s]
/proc/loadavg: 8.13 8.14 7.89 5/179 18920
/proc/meminfo: memFree=23915368/32951132 swapFree=67111524/67111528
[pid=18876] ppid=18874 vsize=8700 CPUtime=0 cores=1,3,5,7
/proc/18876/stat : 18876 (priss.sh) S 18874 18876 18837 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 515272375 8908800 252 33554432000 4194304 4922060 140737068185152 18446744073709551615 274664627333 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/18876/statm: 2175 252 211 178 0 68 0
[pid=18877] ppid=18876 vsize=1546204 CPUtime=4800.07 cores=1,3,5,7
/proc/18877/stat : 18877 (priss) S 18876 18876 18837 0 -1 4202496 619753 0 0 0 479667 340 0 0 18 0 5 0 515272376 1583312896 325201 33554432000 4194304 5787044 140733710724608 18446744073709551615 274676631985 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/18877/statm: 386551 325201 418 389 0 382301 0
[pid=18877/tid=18883] ppid=18876 vsize=1546204 CPUtime=1191.88 cores=1,3,5,7
/proc/18877/task/18883/stat : 18883 (priss) R 18876 18876 18837 0 -1 4202560 113686 0 0 0 119013 175 0 0 25 0 5 0 515272419 1583312896 325201 33554432000 4194304 5787044 140733710724608 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 7 0 0 0
[pid=18877/tid=18884] ppid=18876 vsize=1546204 CPUtime=1204.05 cores=1,3,5,7
/proc/18877/task/18884/stat : 18884 (priss) R 18876 18876 18837 0 -1 4202560 89185 0 0 0 120366 39 0 0 25 0 5 0 515272428 1583312896 325201 33554432000 4194304 5787044 140733710724608 18446744073709551615 4218750 0 0 4096 0 0 0 0 -1 5 0 0 0
[pid=18877/tid=18885] ppid=18876 vsize=1546204 CPUtime=1199.6 cores=1,3,5,7
/proc/18877/task/18885/stat : 18885 (priss) R 18876 18876 18837 0 -1 4202560 107017 0 0 0 119903 57 0 0 25 0 5 0 515272437 1583312896 325201 33554432000 4194304 5787044 140733710724608 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 1 0 0 0
[pid=18877/tid=18886] ppid=18876 vsize=1546204 CPUtime=1203.79 cores=1,3,5,7
/proc/18877/task/18886/stat : 18886 (priss) R 18876 18876 18837 0 -1 4202560 245619 0 0 0 120321 58 0 0 25 0 5 0 515272449 1583312896 325201 33554432000 4194304 5787044 140733710724608 18446744073709551615 5524781 0 0 4096 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 1554904

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

Real time (s): 1204.72
CPU time (s): 4800.07
CPU user time (s): 4796.67
CPU system time (s): 3.4
CPU usage (%): 398.44
Max. virtual memory (cumulated for all children) (KiB): 1554904

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

runsolver used 1.74173 second user time and 4.81927 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-29 02:25:27
IDJOB=3280281
IDBENCH=20365
IDSOLVER=1603
FILE ID=node131/3280281-1304036726
RUNJOBID= node131-1304036726-18856
PBS_JOBID= 13170364
Free space on /tmp= 71340 MiB

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

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

MD5SUM BENCH= 9ce7c48a28ddd5790e38607bb893dd38
RANDOM SEED=1521103996

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      25177600 kB
Buffers:        937024 kB
Cached:        6241444 kB
SwapCached:          4 kB
Active:         268852 kB
Inactive:      7014460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      25177600 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           47316 kB
Writeback:           0 kB
AnonPages:      104880 kB
Mapped:          15392 kB
Slab:           423876 kB
PageTables:       4992 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   249556 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71348 MiB
End job on node131 at 2011-04-29 02:45:34