Trace number 3287457

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.06 1202.62

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf
MD5SUM8dae13531986e2a9bdb6559418f57130
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1166.09
Satisfiable
(Un)Satisfiability was proved
Number of variables89190
Number of clauses265718
Sum of the clauses size620006
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2177144
Number of clauses of size 388572
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c *****************************************************
0.00/0.00	c *        riss, Copyright 2009 Norbert Manthey       *
0.00/0.00	c *   This program may be redistributed or modified   *
0.00/0.00	c * under the terms of the GNU General Public License *
0.00/0.00	c *****************************************************
0.00/0.00	c process id: 8502
0.00/0.07	c parsetime: 73753us
0.00/0.07	c parsed 265718 clauses with 89190 variables
0.00/0.09	c NW started thread 0 successfully (1113839936)
0.00/0.11	c NW started thread 1 successfully (1124329792)
0.00/0.13	c NW started thread 2 successfully (1098058048)
0.00/0.16	c NW started thread 3 successfully (1134819648)
9.49/2.54	c preprocessor returned 89190 variables
9.49/2.54	c preprocessing returned UNKNOWN
9.49/2.54	c PP set 173 variables
9.49/2.54	c pp time: 2424334us (2s)
9.49/2.54	c preprocessor returned 89190 variables
9.49/2.54	c preprocessing returned UNKNOWN
9.49/2.54	c PP set 173 variables
9.49/2.54	c pp time: 2415069us (2s)
9.49/2.55	c preprocessor returned 89190 variables
9.49/2.55	c preprocessing returned UNKNOWN
9.49/2.55	c PP set 173 variables
9.49/2.55	c pp time: 2398967us (2s)
9.49/2.56	c preprocessor returned 89190 variables
9.49/2.56	c preprocessing returned UNKNOWN
9.49/2.56	c PP set 173 variables
9.49/2.56	c pp time: 2386285us (2s)
11.87/3.19	c added unsatisfied clause
11.87/3.19	c failed to add network clauses
13.48/3.51	c added unsatisfied clause
13.48/3.51	c failed to add network clauses
120.89/30.41	c added unsatisfied clause
120.89/30.41	c failed to add network clauses
140.46/35.37	c added unsatisfied clause
140.46/35.37	c failed to add network clauses
150.85/37.91	c added unsatisfied clause
150.85/37.91	c failed to add network clauses
209.57/52.63	c added unsatisfied clause
209.57/52.63	c failed to add network clauses
329.38/82.68	c added unsatisfied clause
329.38/82.68	c failed to add network clauses
415.64/104.26	c added unsatisfied clause
415.64/104.26	c failed to add network clauses
422.44/105.93	c added unsatisfied clause
422.44/105.93	c failed to add network clauses
498.29/124.90	c added unsatisfied clause
498.29/124.90	c failed to add network clauses
604.92/151.64	c added unsatisfied clause
604.92/151.64	c failed to add network clauses
745.88/186.99	c added unsatisfied clause
745.88/186.99	c failed to add network clauses
818.14/205.07	c added unsatisfied clause
818.14/205.07	c failed to add network clauses
1006.65/252.26	c added unsatisfied clause
1006.65/252.26	c failed to add network clauses
1006.65/252.26	c added unsatisfied clause
1006.65/252.26	c failed to add network clauses
1186.73/297.36	c added unsatisfied clause
1186.73/297.36	c failed to add network clauses
1740.19/435.93	c added unsatisfied clause
1740.19/435.93	c failed to add network clauses
1781.69/446.33	c added unsatisfied clause
1781.69/446.33	c failed to add network clauses
1825.22/457.21	c added unsatisfied clause
1825.22/457.21	c failed to add network clauses
1826.02/457.46	c added unsatisfied clause
1826.02/457.46	c failed to add network clauses
1974.58/494.69	c added unsatisfied clause
1974.58/494.69	c failed to add network clauses
2022.90/506.72	c added unsatisfied clause
2022.90/506.72	c failed to add network clauses
2841.92/711.81	c added unsatisfied clause
2841.92/711.81	c failed to add network clauses
2841.92/711.81	c added unsatisfied clause
2841.92/711.81	c failed to add network clauses
3017.61/755.86	c added unsatisfied clause
3017.61/755.86	c failed to add network clauses
3187.73/798.43	c added unsatisfied clause
3187.73/798.43	c failed to add network clauses
3204.11/802.59	c added unsatisfied clause
3204.11/802.59	c failed to add network clauses
3250.03/814.08	c added unsatisfied clause
3250.03/814.08	c failed to add network clauses
3350.66/839.28	c added unsatisfied clause
3350.66/839.28	c failed to add network clauses
3422.56/857.23	c added unsatisfied clause
3422.56/857.23	c failed to add network clauses
3461.70/867.03	c added unsatisfied clause
3461.70/867.03	c failed to add network clauses
3714.07/930.23	c added unsatisfied clause
3714.07/930.23	c failed to add network clauses
3880.99/972.09	c added unsatisfied clause
3880.99/972.09	c failed to add network clauses

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3287457-1304051348/watcher-3287457-1304051348 -o /tmp/evaluation-result-3287457-1304051348/solver-3287457-1304051348 -C 4800 -W 1300 -M 15500 HOME/priss.sh HOME HOME/instance-3287457-1304051348.cnf 267097924 4800 15500 4 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.88 8.07 8.07 5/180 8501
/proc/meminfo: memFree=26298644/32951132 swapFree=67111364/67111528
[pid=8501] ppid=8499 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/8501/stat : 8501 (priss.sh) S 8499 8501 7814 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516733515 8908800 252 33554432000 4194304 4922060 140736489718080 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8501/statm: 2175 252 211 178 0 68 0

[startup+0.10048 s]
/proc/loadavg: 7.88 8.07 8.07 5/180 8501
/proc/meminfo: memFree=26298644/32951132 swapFree=67111364/67111528
[pid=8501] ppid=8499 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/8501/stat : 8501 (priss.sh) S 8499 8501 7814 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516733515 8908800 252 33554432000 4194304 4922060 140736489718080 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8501/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.200479 s]
/proc/loadavg: 7.88 8.07 8.07 5/180 8501
/proc/meminfo: memFree=26298644/32951132 swapFree=67111364/67111528
[pid=8501] ppid=8499 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/8501/stat : 8501 (priss.sh) S 8499 8501 7814 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516733515 8908800 252 33554432000 4194304 4922060 140736489718080 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8501/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.331179 s]
/proc/loadavg: 7.88 8.07 8.07 5/180 8501
/proc/meminfo: memFree=26298644/32951132 swapFree=67111364/67111528
[pid=8501] ppid=8499 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/8501/stat : 8501 (priss.sh) S 8499 8501 7814 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516733515 8908800 252 33554432000 4194304 4922060 140736489718080 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8501/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.783714 s]
/proc/loadavg: 7.88 8.07 8.07 5/180 8501
/proc/meminfo: memFree=26298644/32951132 swapFree=67111364/67111528
[pid=8501] ppid=8499 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/8501/stat : 8501 (priss.sh) S 8499 8501 7814 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516733515 8908800 252 33554432000 4194304 4922060 140736489718080 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8501/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50124 s]
/proc/loadavg: 7.88 8.07 8.07 9/186 8507
/proc/meminfo: memFree=26070196/32951132 swapFree=67111364/67111528
[pid=8501] ppid=8499 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/8501/stat : 8501 (priss.sh) S 8499 8501 7814 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516733515 8908800 252 33554432000 4194304 4922060 140736489718080 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8501/statm: 2175 252 211 178 0 68 0
[pid=8502] ppid=8501 vsize=408568 CPUtime=5.48 cores=0,2,4,6
/proc/8502/stat : 8502 (priss) S 8501 8501 7814 0 -1 4202496 89595 0 0 0 522 26 0 0 19 0 5 0 516733515 418373632 60182 33554432000 4194304 5787044 140733483406784 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/8502/statm: 102142 60182 351 389 0 97892 0
[pid=8502/tid=8504] ppid=8501 vsize=408568 CPUtime=1.35 cores=0,2,4,6
/proc/8502/task/8504/stat : 8504 (priss) R 8501 8501 7814 0 -1 4202560 17750 0 0 0 129 6 0 0 18 0 5 0 516733524 418373632 60182 33554432000 4194304 5787044 140733483406784 18446744073709551615 4278498 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=8502/tid=8505] ppid=8501 vsize=408568 CPUtime=1.34 cores=0,2,4,6
/proc/8502/task/8505/stat : 8505 (priss) R 8501 8501 7814 0 -1 4202560 20009 0 0 0 127 7 0 0 18 0 5 0 516733526 418373632 60182 33554432000 4194304 5787044 140733483406784 18446744073709551615 4278456 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=8502/tid=8506] ppid=8501 vsize=408568 CPUtime=1.31 cores=0,2,4,6
/proc/8502/task/8506/stat : 8506 (priss) R 8501 8501 7814 0 -1 4202560 18911 0 0 0 124 7 0 0 18 0 5 0 516733528 418373632 60182 33554432000 4194304 5787044 140733483406784 18446744073709551615 4345920 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=8502/tid=8507] ppid=8501 vsize=408568 CPUtime=1.3 cores=0,2,4,6
/proc/8502/task/8507/stat : 8507 (priss) R 8501 8501 7814 0 -1 4202560 19412 0 0 0 127 3 0 0 18 0 5 0 516733530 418373632 60182 33554432000 4194304 5787044 140733483406784 18446744073709551615 4278456 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.48
Current children cumulated vsize (KiB) 417268

[startup+3.10097 s]
/proc/loadavg: 7.88 8.07 8.07 9/186 8507
/proc/meminfo: memFree=26029532/32951132 swapFree=67111364/67111528
[pid=8501] ppid=8499 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/8501/stat : 8501 (priss.sh) S 8499 8501 7814 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516733515 8908800 252 33554432000 4194304 4922060 140736489718080 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8501/statm: 2175 252 211 178 0 68 0
[pid=8502] ppid=8501 vsize=491280 CPUtime=11.87 cores=0,2,4,6
/proc/8502/stat : 8502 (priss) S 8501 8501 7814 0 -1 4202496 115408 0 0 0 1157 30 0 0 19 0 5 0 516733515 503070720 76087 33554432000 4194304 5787044 140733483406784 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/8502/statm: 122820 76087 417 389 0 118570 0
[pid=8502/tid=8504] ppid=8501 vsize=491280 CPUtime=2.93 cores=0,2,4,6
/proc/8502/task/8504/stat : 8504 (priss) R 8501 8501 7814 0 -1 4202560 22507 0 0 0 287 6 0 0 21 0 5 0 516733524 503070720 76087 33554432000 4194304 5787044 140733483406784 18446744073709551615 4238583 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=8502/tid=8505] ppid=8501 vsize=491280 CPUtime=2.94 cores=0,2,4,6
/proc/8502/task/8505/stat : 8505 (priss) R 8501 8501 7814 0 -1 4202560 27260 0 0 0 286 8 0 0 21 0 5 0 516733526 503070720 76087 33554432000 4194304 5787044 140733483406784 18446744073709551615 5591596 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=8502/tid=8506] ppid=8501 vsize=491280 CPUtime=2.91 cores=0,2,4,6
/proc/8502/task/8506/stat : 8506 (priss) R 8501 8501 7814 0 -1 4202560 26560 0 0 0 283 8 0 0 21 0 5 0 516733528 503070720 76087 33554432000 4194304 5787044 140733483406784 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=8502/tid=8507] ppid=8501 vsize=491280 CPUtime=2.9 cores=0,2,4,6
/proc/8502/task/8507/stat : 8507 (priss) R 8501 8501 7814 0 -1 4202560 25568 0 0 0 285 5 0 0 21 0 5 0 516733530 503070720 76087 33554432000 4194304 5787044 140733483406784 18446744073709551615 5526883 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.87
Current children cumulated vsize (KiB) 499980

[startup+6.30041 s]
/proc/loadavg: 7.89 8.07 8.07 11/186 8507
/proc/meminfo: memFree=25986644/32951132 swapFree=67111364/67111528
[pid=8501] ppid=8499 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/8501/stat : 8501 (priss.sh) S 8499 8501 7814 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516733515 8908800 252 33554432000 4194304 4922060 140736489718080 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8501/statm: 2175 252 211 178 0 68 0
[pid=8502] ppid=8501 vsize=494100 CPUtime=24.64 cores=0,2,4,6
/proc/8502/stat : 8502 (priss) S 8501 8501 7814 0 -1 4202496 117333 0 0 0 2431 33 0 0 19 0 5 0 516733515 505958400 78012 33554432000 4194304 5787044 140733483406784 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/8502/statm: 123525 78012 417 389 0 119275 0
[pid=8502/tid=8504] ppid=8501 vsize=494100 CPUtime=6.12 cores=0,2,4,6
/proc/8502/task/8504/stat : 8504 (priss) R 8501 8501 7814 0 -1 4202560 22756 0 0 0 605 7 0 0 25 0 5 0 516733524 505958400 78012 33554432000 4194304 5787044 140733483406784 18446744073709551615 5590258 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=8502/tid=8505] ppid=8501 vsize=494100 CPUtime=6.13 cores=0,2,4,6
/proc/8502/task/8505/stat : 8505 (priss) R 8501 8501 7814 0 -1 4202560 27594 0 0 0 604 9 0 0 25 0 5 0 516733526 505958400 78012 33554432000 4194304 5787044 140733483406784 18446744073709551615 5591808 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=8502/tid=8506] ppid=8501 vsize=494100 CPUtime=6.11 cores=0,2,4,6
/proc/8502/task/8506/stat : 8506 (priss) R 8501 8501 7814 0 -1 4202560 27570 0 0 0 602 9 0 0 25 0 5 0 516733528 505958400 78012 33554432000 4194304 5787044 140733483406784 18446744073709551615 4254537 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=8502/tid=8507] ppid=8501 vsize=494100 CPUtime=6.1 cores=0,2,4,6
/proc/8502/task/8507/stat : 8507 (priss) R 8501 8501 7814 0 -1 4202560 25900 0 0 0 604 6 0 0 25 0 5 0 516733530 505958400 78012 33554432000 4194304 5787044 140733483406784 18446744073709551615 242969950722 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.64
Current children cumulated vsize (KiB) 502800

[startup+12.7003 s]
/proc/loadavg: 7.90 8.07 8.07 9/186 8508
/proc/meminfo: memFree=25971036/32951132 swapFree=67111364/67111528
[pid=8501] ppid=8499 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/8501/stat : 8501 (priss.sh) S 8499 8501 7814 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516733515 8908800 252 33554432000 4194304 4922060 140736489718080 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8501/statm: 2175 252 211 178 0 68 0
[pid=8502] ppid=8501 vsize=495860 CPUtime=50.21 cores=0,2,4,6
/proc/8502/stat : 8502 (priss) S 8501 8501 7814 0 -1 4202496 119897 0 0 0 4985 36 0 0 19 0 5 0 516733515 507760640 80576 33554432000 4194304 5787044 140733483406784 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/8502/statm: 123965 80576 417 389 0 119715 0
[pid=8502/tid=8504] ppid=8501 vsize=495860 CPUtime=12.48 cores=0,2,4,6
/proc/8502/task/8504/stat : 8504 (priss) R 8501 8501 7814 0 -1 4202560 23236 0 0 0 1241 7 0 0 25 0 5 0 516733524 507760640 80576 33554432000 4194304 5787044 140733483406784 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=8502/tid=8505] ppid=8501 vsize=495860 CPUtime=12.54 cores=0,2,4,6
/proc/8502/task/8505/stat : 8505 (priss) R 8501 8501 7814 0 -1 4202560 28381 0 0 0 1244 10 0 0 25 0 5 0 516733526 507760640 80576 33554432000 4194304 5787044 140733483406784 18446744073709551615 5591268 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=8502/tid=8506] ppid=8501 vsize=495860 CPUtime=12.5 cores=0,2,4,6
/proc/8502/task/8506/stat : 8506 (priss) R 8501 8501 7814 0 -1 4202560 28414 0 0 0 1241 9 0 0 25 0 5 0 516733528 507760640 80576 33554432000 4194304 5787044 140733483406784 18446744073709551615 4254546 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=8502/tid=8507] ppid=8501 vsize=495860 CPUtime=12.5 cores=0,2,4,6
/proc/8502/task/8507/stat : 8507 (priss) R 8501 8501 7814 0 -1 4202560 26353 0 0 0 1244 6 0 0 25 0 5 0 516733530 507760640 80576 33554432000 4194304 5787044 140733483406784 18446744073709551615 5527392 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.21
Current children cumulated vsize (KiB) 504560

[startup+25.5011 s]
/proc/loadavg: 7.92 8.06 8.07 9/186 8508
/proc/meminfo: memFree=25941072/32951132 swapFree=67111364/67111528
[pid=8501] ppid=8499 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/8501/stat : 8501 (priss.sh) S 8499 8501 7814 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516733515 8908800 252 33554432000 4194304 4922060 140736489718080 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8501/statm: 2175 252 211 178 0 68 0
[pid=8502] ppid=8501 vsize=499584 CPUtime=101.34 cores=0,2,4,6
/proc/8502/stat : 8502 (priss) S 8501 8501 7814 0 -1 4202496 124431 0 0 0 10095 39 0 0 19 0 5 0 516733515 511574016 85108 33554432000 4194304 5787044 140733483406784 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/8502/statm: 124896 85108 417 389 0 120646 0
[pid=8502/tid=8504] ppid=8501 vsize=499584 CPUtime=25.21 cores=0,2,4,6
/proc/8502/task/8504/stat : 8504 (priss) R 8501 8501 7814 0 -1 4202560 23864 0 0 0 2513 8 0 0 25 0 5 0 516733524 511574016 85108 33554432000 4194304 5787044 140733483406784 18446744073709551615 5591488 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=8502/tid=8505] ppid=8501 vsize=499584 CPUtime=25.34 cores=0,2,4,6
/proc/8502/task/8505/stat : 8505 (priss) R 8501 8501 7814 0 -1 4202560 30526 0 0 0 2523 11 0 0 25 0 5 0 516733526 511574016 85108 33554432000 4194304 5787044 140733483406784 18446744073709551615 4254564 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=8502/tid=8506] ppid=8501 vsize=499584 CPUtime=25.32 cores=0,2,4,6
/proc/8502/task/8506/stat : 8506 (priss) R 8501 8501 7814 0 -1 4202560 29558 0 0 0 2521 11 0 0 23 0 5 0 516733528 511574016 85108 33554432000 4194304 5787044 140733483406784 18446744073709551615 5586779 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=8502/tid=8507] ppid=8501 vsize=499584 CPUtime=25.3 cores=0,2,4,6
/proc/8502/task/8507/stat : 8507 (priss) R 8501 8501 7814 0 -1 4202560 26970 0 0 0 2524 6 0 0 25 0 5 0 516733530 511574016 85108 33554432000 4194304 5787044 140733483406784 18446744073709551615 5534357 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.34
Current children cumulated vsize (KiB) 508284

[startup+51.1007 s]
/proc/loadavg: 8.10 8.09 8.07 9/186 8509
/proc/meminfo: memFree=25881020/32951132 swapFree=67111364/67111528
[pid=8501] ppid=8499 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/8501/stat : 8501 (priss.sh) S 8499 8501 7814 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516733515 8908800 252 33554432000 4194304 4922060 140736489718080 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8501/statm: 2175 252 211 178 0 68 0
[pid=8502] ppid=8501 vsize=633804 CPUtime=203.57 cores=0,2,4,6
/proc/8502/stat : 8502 (priss) S 8501 8501 7814 0 -1 4202496 132770 0 0 0 20309 48 0 0 19 0 5 0 516733515 649015296 93359 33554432000 4194304 5787044 140733483406784 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/8502/statm: 158451 93359 417 389 0 154201 0
[pid=8502/tid=8504] ppid=8501 vsize=633804 CPUtime=50.67 cores=0,2,4,6
/proc/8502/task/8504/stat : 8504 (priss) R 8501 8501 7814 0 -1 4202560 25924 0 0 0 5056 11 0 0 25 0 5 0 516733524 649015296 93359 33554432000 4194304 5787044 140733483406784 18446744073709551615 4254546 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=8502/tid=8505] ppid=8501 vsize=633804 CPUtime=50.93 cores=0,2,4,6
/proc/8502/task/8505/stat : 8505 (priss) R 8501 8501 7814 0 -1 4202560 32186 0 0 0 5080 13 0 0 25 0 5 0 516733526 649015296 93359 33554432000 4194304 5787044 140733483406784 18446744073709551615 5586853 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=8502/tid=8506] ppid=8501 vsize=633804 CPUtime=50.91 cores=0,2,4,6
/proc/8502/task/8506/stat : 8506 (priss) R 8501 8501 7814 0 -1 4202560 32699 0 0 0 5078 13 0 0 25 0 5 0 516733528 649015296 93359 33554432000 4194304 5787044 140733483406784 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=8502/tid=8507] ppid=8501 vsize=633804 CPUtime=50.89 cores=0,2,4,6
/proc/8502/task/8507/stat : 8507 (priss) R 8501 8501 7814 0 -1 4202560 28448 0 0 0 5080 9 0 0 25 0 5 0 516733530 649015296 93359 33554432000 4194304 5787044 140733483406784 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.57
Current children cumulated vsize (KiB) 642504

[startup+102.301 s]
/proc/loadavg: 8.12 8.09 8.08 9/186 8510
/proc/meminfo: memFree=25744980/32951132 swapFree=67111364/67111528
[pid=8501] ppid=8499 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/8501/stat : 8501 (priss.sh) S 8499 8501 7814 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516733515 8908800 252 33554432000 4194304 4922060 140736489718080 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8501/statm: 2175 252 211 178 0 68 0
[pid=8502] ppid=8501 vsize=646088 CPUtime=408.05 cores=0,2,4,6
/proc/8502/stat : 8502 (priss) S 8501 8501 7814 0 -1 4202496 147378 0 0 0 40742 63 0 0 19 0 5 0 516733515 661594112 107819 33554432000 4194304 5787044 140733483406784 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/8502/statm: 161522 107819 417 389 0 157272 0
[pid=8502/tid=8504] ppid=8501 vsize=646088 CPUtime=101.57 cores=0,2,4,6
/proc/8502/task/8504/stat : 8504 (priss) R 8501 8501 7814 0 -1 4202560 29523 0 0 0 10141 16 0 0 25 0 5 0 516733524 661594112 107819 33554432000 4194304 5787044 140733483406784 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=8502/tid=8505] ppid=8501 vsize=646088 CPUtime=102.12 cores=0,2,4,6
/proc/8502/task/8505/stat : 8505 (priss) R 8501 8501 7814 0 -1 4202560 36055 0 0 0 10195 17 0 0 25 0 5 0 516733526 661594112 107819 33554432000 4194304 5787044 140733483406784 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=8502/tid=8506] ppid=8501 vsize=646088 CPUtime=102.1 cores=0,2,4,6
/proc/8502/task/8506/stat : 8506 (priss) R 8501 8501 7814 0 -1 4202560 35258 0 0 0 10195 15 0 0 25 0 5 0 516733528 661594112 107819 33554432000 4194304 5787044 140733483406784 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=8502/tid=8507] ppid=8501 vsize=646088 CPUtime=102.08 cores=0,2,4,6

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

/proc/8502/task/8505/stat : 8505 (priss) R 8501 8501 7814 0 -1 4202560 57114 0 0 0 88122 42 0 0 25 0 5 0 516733526 982904832 186154 33554432000 4194304 5787044 140733483406784 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=8502/tid=8506] ppid=8501 vsize=959868 CPUtime=880.62 cores=0,2,4,6
/proc/8502/task/8506/stat : 8506 (priss) R 8501 8501 7814 0 -1 4202560 59052 0 0 0 88012 50 0 0 25 0 5 0 516733528 982904832 186154 33554432000 4194304 5787044 140733483406784 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=8502/tid=8507] ppid=8501 vsize=959868 CPUtime=879.96 cores=0,2,4,6
/proc/8502/task/8507/stat : 8507 (priss) R 8501 8501 7814 0 -1 4202560 51866 0 0 0 87957 39 0 0 25 0 5 0 516733530 982904832 186154 33554432000 4194304 5787044 140733483406784 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3522.77
Current children cumulated vsize (KiB) 968568

[startup+942.301 s]
/proc/loadavg: 8.12 8.10 8.09 9/186 8532
/proc/meminfo: memFree=24738168/32951132 swapFree=67111364/67111528
[pid=8501] ppid=8499 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/8501/stat : 8501 (priss.sh) S 8499 8501 7814 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516733515 8908800 252 33554432000 4194304 4922060 140736489718080 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8501/statm: 2175 252 211 178 0 68 0
[pid=8502] ppid=8501 vsize=1028044 CPUtime=3762.39 cores=0,2,4,6
/proc/8502/stat : 8502 (priss) S 8501 8501 7814 0 -1 4202496 233971 0 0 0 376055 184 0 0 19 0 5 0 516733515 1052717056 192370 33554432000 4194304 5787044 140733483406784 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/8502/statm: 257011 192370 417 389 0 252761 0
[pid=8502/tid=8504] ppid=8501 vsize=1028044 CPUtime=940.36 cores=0,2,4,6
/proc/8502/task/8504/stat : 8504 (priss) R 8501 8501 7814 0 -1 4202560 47877 0 0 0 93995 41 0 0 25 0 5 0 516733524 1052717056 192370 33554432000 4194304 5787044 140733483406784 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=8502/tid=8505] ppid=8501 vsize=1028044 CPUtime=941.64 cores=0,2,4,6
/proc/8502/task/8505/stat : 8505 (priss) R 8501 8501 7814 0 -1 4202560 59567 0 0 0 94116 48 0 0 25 0 5 0 516733526 1052717056 192370 33554432000 4194304 5787044 140733483406784 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=8502/tid=8506] ppid=8501 vsize=1028044 CPUtime=940.62 cores=0,2,4,6
/proc/8502/task/8506/stat : 8506 (priss) R 8501 8501 7814 0 -1 4202560 60426 0 0 0 94011 51 0 0 25 0 5 0 516733528 1052717056 192370 33554432000 4194304 5787044 140733483406784 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=8502/tid=8507] ppid=8501 vsize=1028044 CPUtime=939.58 cores=0,2,4,6
/proc/8502/task/8507/stat : 8507 (priss) R 8501 8501 7814 0 -1 4202560 52588 0 0 0 93918 40 0 0 25 0 5 0 516733530 1052717056 192370 33554432000 4194304 5787044 140733483406784 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3762.39
Current children cumulated vsize (KiB) 1036744

[startup+1002.3 s]
/proc/loadavg: 8.04 8.08 8.08 9/186 8534
/proc/meminfo: memFree=24692280/32951132 swapFree=67111364/67111528
[pid=8501] ppid=8499 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/8501/stat : 8501 (priss.sh) S 8499 8501 7814 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516733515 8908800 252 33554432000 4194304 4922060 140736489718080 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8501/statm: 2175 252 211 178 0 68 0
[pid=8502] ppid=8501 vsize=1040660 CPUtime=4002.02 cores=0,2,4,6
/proc/8502/stat : 8502 (priss) S 8501 8501 7814 0 -1 4202496 245184 0 0 0 400002 200 0 0 19 0 5 0 516733515 1065635840 203583 33554432000 4194304 5787044 140733483406784 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/8502/statm: 260165 203583 417 389 0 255915 0
[pid=8502/tid=8504] ppid=8501 vsize=1040660 CPUtime=1000.37 cores=0,2,4,6
/proc/8502/task/8504/stat : 8504 (priss) R 8501 8501 7814 0 -1 4202560 50205 0 0 0 99991 46 0 0 25 0 5 0 516733524 1065635840 203583 33554432000 4194304 5787044 140733483406784 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=8502/tid=8505] ppid=8501 vsize=1040660 CPUtime=1001.65 cores=0,2,4,6
/proc/8502/task/8505/stat : 8505 (priss) R 8501 8501 7814 0 -1 4202560 63083 0 0 0 100113 52 0 0 25 0 5 0 516733526 1065635840 203583 33554432000 4194304 5787044 140733483406784 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=8502/tid=8506] ppid=8501 vsize=1040660 CPUtime=1000.63 cores=0,2,4,6
/proc/8502/task/8506/stat : 8506 (priss) R 8501 8501 7814 0 -1 4202560 62313 0 0 0 100008 55 0 0 25 0 5 0 516733528 1065635840 203583 33554432000 4194304 5787044 140733483406784 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=8502/tid=8507] ppid=8501 vsize=1040660 CPUtime=999.19 cores=0,2,4,6
/proc/8502/task/8507/stat : 8507 (priss) R 8501 8501 7814 0 -1 4202560 56070 0 0 0 99875 44 0 0 25 0 5 0 516733530 1065635840 203583 33554432000 4194304 5787044 140733483406784 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4002.02
Current children cumulated vsize (KiB) 1049360

[startup+1062.3 s]
/proc/loadavg: 8.01 8.06 8.08 9/186 8536
/proc/meminfo: memFree=24650724/32951132 swapFree=67111364/67111528
[pid=8501] ppid=8499 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/8501/stat : 8501 (priss.sh) S 8499 8501 7814 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516733515 8908800 252 33554432000 4194304 4922060 140736489718080 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8501/statm: 2175 252 211 178 0 68 0
[pid=8502] ppid=8501 vsize=1109772 CPUtime=4241.6 cores=0,2,4,6
/proc/8502/stat : 8502 (priss) S 8501 8501 7814 0 -1 4202496 254730 0 0 0 423948 212 0 0 19 0 5 0 516733515 1136406528 213129 33554432000 4194304 5787044 140733483406784 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/8502/statm: 277443 213129 417 389 0 273193 0
[pid=8502/tid=8504] ppid=8501 vsize=1109772 CPUtime=1060.35 cores=0,2,4,6
/proc/8502/task/8504/stat : 8504 (priss) R 8501 8501 7814 0 -1 4202560 52592 0 0 0 105986 49 0 0 25 0 5 0 516733524 1136406528 213129 33554432000 4194304 5787044 140733483406784 18446744073709551615 5591359 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=8502/tid=8505] ppid=8501 vsize=1109772 CPUtime=1061.64 cores=0,2,4,6
/proc/8502/task/8505/stat : 8505 (priss) R 8501 8501 7814 0 -1 4202560 66553 0 0 0 106108 56 0 0 25 0 5 0 516733526 1136406528 213129 33554432000 4194304 5787044 140733483406784 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=8502/tid=8506] ppid=8501 vsize=1109772 CPUtime=1060.62 cores=0,2,4,6
/proc/8502/task/8506/stat : 8506 (priss) R 8501 8501 7814 0 -1 4202560 63656 0 0 0 106006 56 0 0 25 0 5 0 516733528 1136406528 213129 33554432000 4194304 5787044 140733483406784 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=8502/tid=8507] ppid=8501 vsize=1109772 CPUtime=1058.81 cores=0,2,4,6
/proc/8502/task/8507/stat : 8507 (priss) R 8501 8501 7814 0 -1 4202560 58416 0 0 0 105832 49 0 0 25 0 5 0 516733530 1136406528 213129 33554432000 4194304 5787044 140733483406784 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4241.6
Current children cumulated vsize (KiB) 1118472

[startup+1122.31 s]
/proc/loadavg: 8.08 8.07 8.08 9/186 8537
/proc/meminfo: memFree=24582884/32951132 swapFree=67111364/67111528
[pid=8501] ppid=8499 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/8501/stat : 8501 (priss.sh) S 8499 8501 7814 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516733515 8908800 252 33554432000 4194304 4922060 140736489718080 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8501/statm: 2175 252 211 178 0 68 0
[pid=8502] ppid=8501 vsize=1118148 CPUtime=4481.2 cores=0,2,4,6
/proc/8502/stat : 8502 (priss) S 8501 8501 7814 0 -1 4202496 259776 0 0 0 447901 219 0 0 19 0 5 0 516733515 1144983552 218175 33554432000 4194304 5787044 140733483406784 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/8502/statm: 279537 218175 417 389 0 275287 0
[pid=8502/tid=8504] ppid=8501 vsize=1118148 CPUtime=1120.35 cores=0,2,4,6
/proc/8502/task/8504/stat : 8504 (priss) R 8501 8501 7814 0 -1 4202560 53433 0 0 0 111984 51 0 0 25 0 5 0 516733524 1144983552 218175 33554432000 4194304 5787044 140733483406784 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=8502/tid=8505] ppid=8501 vsize=1118148 CPUtime=1121.33 cores=0,2,4,6
/proc/8502/task/8505/stat : 8505 (priss) R 8501 8501 7814 0 -1 4202560 68312 0 0 0 112074 59 0 0 25 0 5 0 516733526 1144983552 218175 33554432000 4194304 5787044 140733483406784 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=8502/tid=8506] ppid=8501 vsize=1118148 CPUtime=1120.61 cores=0,2,4,6
/proc/8502/task/8506/stat : 8506 (priss) R 8501 8501 7814 0 -1 4202560 64374 0 0 0 112004 57 0 0 25 0 5 0 516733528 1144983552 218175 33554432000 4194304 5787044 140733483406784 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=8502/tid=8507] ppid=8501 vsize=1118148 CPUtime=1118.73 cores=0,2,4,6
/proc/8502/task/8507/stat : 8507 (priss) R 8501 8501 7814 0 -1 4202560 60144 0 0 0 111823 50 0 0 25 0 5 0 516733530 1144983552 218175 33554432000 4194304 5787044 140733483406784 18446744073709551615 5527491 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4481.2
Current children cumulated vsize (KiB) 1126848

[startup+1182.3 s]
/proc/loadavg: 8.16 8.08 8.08 9/186 8539
/proc/meminfo: memFree=24487272/32951132 swapFree=67111364/67111528
[pid=8501] ppid=8499 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/8501/stat : 8501 (priss.sh) S 8499 8501 7814 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516733515 8908800 252 33554432000 4194304 4922060 140736489718080 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8501/statm: 2175 252 211 178 0 68 0
[pid=8502] ppid=8501 vsize=1127540 CPUtime=4720.81 cores=0,2,4,6
/proc/8502/stat : 8502 (priss) S 8501 8501 7814 0 -1 4202496 265711 0 0 0 471854 227 0 0 19 0 5 0 516733515 1154600960 223447 33554432000 4194304 5787044 140733483406784 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/8502/statm: 281885 223447 417 389 0 277635 0
[pid=8502/tid=8504] ppid=8501 vsize=1127540 CPUtime=1180.35 cores=0,2,4,6
/proc/8502/task/8504/stat : 8504 (priss) R 8501 8501 7814 0 -1 4202560 55665 0 0 0 117982 53 0 0 25 0 5 0 516733524 1154600960 223447 33554432000 4194304 5787044 140733483406784 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=8502/tid=8505] ppid=8501 vsize=1127540 CPUtime=1180.96 cores=0,2,4,6
/proc/8502/task/8505/stat : 8505 (priss) R 8501 8501 7814 0 -1 4202560 69187 0 0 0 118036 60 0 0 25 0 5 0 516733526 1154600960 223447 33554432000 4194304 5787044 140733483406784 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=8502/tid=8506] ppid=8501 vsize=1127540 CPUtime=1180.6 cores=0,2,4,6
/proc/8502/task/8506/stat : 8506 (priss) R 8501 8501 7814 0 -1 4202560 66325 0 0 0 117999 61 0 0 25 0 5 0 516733528 1154600960 223447 33554432000 4194304 5787044 140733483406784 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=8502/tid=8507] ppid=8501 vsize=1127540 CPUtime=1178.72 cores=0,2,4,6
/proc/8502/task/8507/stat : 8507 (priss) R 8501 8501 7814 0 -1 4202560 61021 0 0 0 117821 51 0 0 25 0 5 0 516733530 1154600960 223447 33554432000 4194304 5787044 140733483406784 18446744073709551615 5521936 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4720.81
Current children cumulated vsize (KiB) 1136240



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.6 s]
/proc/loadavg: 7.93 8.03 8.06 9/186 8572
/proc/meminfo: memFree=25459952/32951132 swapFree=67111364/67111528
[pid=8501] ppid=8499 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/8501/stat : 8501 (priss.sh) S 8499 8501 7814 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516733515 8908800 252 33554432000 4194304 4922060 140736489718080 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8501/statm: 2175 252 211 178 0 68 0
[pid=8502] ppid=8501 vsize=1127540 CPUtime=4800.06 cores=0,2,4,6
/proc/8502/stat : 8502 (priss) S 8501 8501 7814 0 -1 4202496 265881 0 0 0 479776 230 0 0 19 0 5 0 516733515 1154600960 223617 33554432000 4194304 5787044 140733483406784 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/8502/statm: 281885 223617 417 389 0 277635 0
[pid=8502/tid=8504] ppid=8501 vsize=1127540 CPUtime=1200.65 cores=0,2,4,6
/proc/8502/task/8504/stat : 8504 (priss) R 8501 8501 7814 0 -1 4202560 55831 0 0 0 120012 53 0 0 25 0 5 0 516733524 1154600960 223617 33554432000 4194304 5787044 140733483406784 18446744073709551615 4218754 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=8502/tid=8505] ppid=8501 vsize=1127540 CPUtime=1200.18 cores=0,2,4,6
/proc/8502/task/8505/stat : 8505 (priss) R 8501 8501 7814 0 -1 4202560 69187 0 0 0 119956 62 0 0 25 0 5 0 516733526 1154600960 223617 33554432000 4194304 5787044 140733483406784 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=8502/tid=8506] ppid=8501 vsize=1127540 CPUtime=1200.91 cores=0,2,4,6
/proc/8502/task/8506/stat : 8506 (priss) R 8501 8501 7814 0 -1 4202560 66329 0 0 0 120030 61 0 0 25 0 5 0 516733528 1154600960 223617 33554432000 4194304 5787044 140733483406784 18446744073709551615 4219946 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=8502/tid=8507] ppid=8501 vsize=1127540 CPUtime=1198.14 cores=0,2,4,6
/proc/8502/task/8507/stat : 8507 (priss) R 8501 8501 7814 0 -1 4202560 61021 0 0 0 119763 51 0 0 25 0 5 0 516733530 1154600960 223617 33554432000 4194304 5787044 140733483406784 18446744073709551615 5526883 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 1136240

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

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

[startup+1202.6 s]
/proc/loadavg: 7.93 8.03 8.06 9/186 8572
/proc/meminfo: memFree=25459952/32951132 swapFree=67111364/67111528
[pid=8501] ppid=8499 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/8501/stat : 8501 (priss.sh) S 8499 8501 7814 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 516733515 8908800 252 33554432000 4194304 4922060 140736489718080 18446744073709551615 242970369157 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/8501/statm: 2175 252 211 178 0 68 0
[pid=8502] ppid=8501 vsize=1127540 CPUtime=4800.06 cores=0,2,4,6
/proc/8502/stat : 8502 (priss) S 8501 8501 7814 0 -1 4202496 265881 0 0 0 479776 230 0 0 19 0 5 0 516733515 1154600960 223617 33554432000 4194304 5787044 140733483406784 18446744073709551615 242982373809 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/8502/statm: 281885 223617 417 389 0 277635 0
[pid=8502/tid=8504] ppid=8501 vsize=1127540 CPUtime=1200.65 cores=0,2,4,6
/proc/8502/task/8504/stat : 8504 (priss) R 8501 8501 7814 0 -1 4202560 55831 0 0 0 120012 53 0 0 25 0 5 0 516733524 1154600960 223617 33554432000 4194304 5787044 140733483406784 18446744073709551615 4218754 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=8502/tid=8505] ppid=8501 vsize=1127540 CPUtime=1200.18 cores=0,2,4,6
/proc/8502/task/8505/stat : 8505 (priss) R 8501 8501 7814 0 -1 4202560 69187 0 0 0 119956 62 0 0 25 0 5 0 516733526 1154600960 223617 33554432000 4194304 5787044 140733483406784 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=8502/tid=8506] ppid=8501 vsize=1127540 CPUtime=1200.91 cores=0,2,4,6
/proc/8502/task/8506/stat : 8506 (priss) R 8501 8501 7814 0 -1 4202560 66329 0 0 0 120030 61 0 0 25 0 5 0 516733528 1154600960 223617 33554432000 4194304 5787044 140733483406784 18446744073709551615 4219946 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=8502/tid=8507] ppid=8501 vsize=1127540 CPUtime=1198.14 cores=0,2,4,6
/proc/8502/task/8507/stat : 8507 (priss) R 8501 8501 7814 0 -1 4202560 61021 0 0 0 119763 51 0 0 25 0 5 0 516733530 1154600960 223617 33554432000 4194304 5787044 140733483406784 18446744073709551615 5526883 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 1136240

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1202.62
CPU time (s): 4800.06
CPU user time (s): 4797.76
CPU system time (s): 2.3
CPU usage (%): 399.135
Max. virtual memory (cumulated for all children) (KiB): 1136240

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

runsolver used 1.73773 second user time and 5.17121 second system time

The end

Launcher Data 

Begin job on node128 at 2011-04-29 06:29:09
IDJOB=3287457
IDBENCH=82467
IDSOLVER=1603
FILE ID=node128/3287457-1304051348
RUNJOBID= node128-1304045274-7832
PBS_JOBID= 13170398
Free space on /tmp= 66964 MiB

SOLVER NAME= priss 1.0
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtpmspalu-tseitin.cnf
COMMAND LINE= DIR/priss.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3287457-1304051348/watcher-3287457-1304051348 -o /tmp/evaluation-result-3287457-1304051348/solver-3287457-1304051348 -C 4800 -W 1300 -M 15500  HOME/priss.sh HOME HOME/instance-3287457-1304051348.cnf 267097924 4800 15500 4

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

MD5SUM BENCH= 8dae13531986e2a9bdb6559418f57130
RANDOM SEED=267097924

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      26298924 kB
Buffers:       1267276 kB
Cached:        4386724 kB
SwapCached:        160 kB
Active:         586472 kB
Inactive:      5479440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      26298924 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           12516 kB
Writeback:           0 kB
AnonPages:      411620 kB
Mapped:          16040 kB
Slab:           524152 kB
PageTables:       5468 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   633288 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= 66964 MiB
End job on node128 at 2011-04-29 06:49:13