Trace number 3280603

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

General information on the benchmark

Nameindustrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
MD5SUM0683489092a5eb0c881dd17c2c45d08e
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 variables105623
Number of clauses374254
Sum of the clauses size911890
Maximum clause length43
Minimum clause length1
Number of clauses of size 1128
Number of clauses of size 2269133
Number of clauses of size 399944
Number of clauses of size 4407
Number of clauses of size 5309
Number of clauses of size over 54333

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: 12727
0.00/0.10	c parsetime: 99683us
0.00/0.10	c parsed 374254 clauses with 106701 variables
0.00/0.12	c NW started thread 0 successfully (1095534912)
0.00/0.15	c NW started thread 1 successfully (1106024768)
0.00/0.18	c NW started thread 2 successfully (1116514624)
0.00/0.22	c NW started thread 3 successfully (1127004480)
34.75/9.02	c preprocessor returned 106701 variables
34.75/9.02	c preprocessing returned UNKNOWN
34.75/9.02	c PP set 240 variables
34.75/9.02	c pp time: 8840756us (8s)
34.75/9.02	c preprocessor returned 106701 variables
34.75/9.02	c preprocessing returned UNKNOWN
34.75/9.02	c PP set 240 variables
34.75/9.02	c pp time: 8774049us (8s)
34.75/9.03	c preprocessor returned 106701 variables
34.75/9.03	c preprocessing returned UNKNOWN
34.75/9.03	c PP set 240 variables
34.75/9.03	c pp time: 8754505us (8s)
34.75/9.04	c preprocessor returned 106701 variables
34.75/9.04	c preprocessing returned UNKNOWN
34.75/9.04	c PP set 240 variables
34.75/9.04	c pp time: 8888321us (8s)

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-3280603-1304038469/watcher-3280603-1304038469 -o /tmp/evaluation-result-3280603-1304038469/solver-3280603-1304038469 -C 4800 -W 1300 -M 15500 HOME/priss.sh HOME HOME/instance-3280603-1304038469.cnf 787364591 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: 4.31 5.01 6.28 3/174 12726
/proc/meminfo: memFree=30649928/32951124 swapFree=67111416/67111528
[pid=12726] ppid=12724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/12726/stat : 12726 (priss.sh) S 12724 12726 11686 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 515449291 8908800 252 33554432000 4194304 4922060 140734915554784 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12726/statm: 2175 252 211 178 0 68 0

[startup+0.0128081 s]
/proc/loadavg: 4.31 5.01 6.28 3/174 12726
/proc/meminfo: memFree=30649928/32951124 swapFree=67111416/67111528
[pid=12726] ppid=12724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/12726/stat : 12726 (priss.sh) S 12724 12726 11686 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 515449291 8908800 252 33554432000 4194304 4922060 140734915554784 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12726/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100767 s]
/proc/loadavg: 4.31 5.01 6.28 3/174 12726
/proc/meminfo: memFree=30649928/32951124 swapFree=67111416/67111528
[pid=12726] ppid=12724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/12726/stat : 12726 (priss.sh) S 12724 12726 11686 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 515449291 8908800 252 33554432000 4194304 4922060 140734915554784 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12726/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300694 s]
/proc/loadavg: 4.31 5.01 6.28 3/174 12726
/proc/meminfo: memFree=30649928/32951124 swapFree=67111416/67111528
[pid=12726] ppid=12724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/12726/stat : 12726 (priss.sh) S 12724 12726 11686 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 515449291 8908800 252 33554432000 4194304 4922060 140734915554784 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12726/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700631 s]
/proc/loadavg: 4.31 5.01 6.28 3/174 12726
/proc/meminfo: memFree=30649928/32951124 swapFree=67111416/67111528
[pid=12726] ppid=12724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/12726/stat : 12726 (priss.sh) S 12724 12726 11686 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 515449291 8908800 252 33554432000 4194304 4922060 140734915554784 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12726/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50044 s]
/proc/loadavg: 4.31 5.01 6.28 6/184 12739
/proc/meminfo: memFree=30357912/32951124 swapFree=67111416/67111528
[pid=12726] ppid=12724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/12726/stat : 12726 (priss.sh) S 12724 12726 11686 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 515449291 8908800 252 33554432000 4194304 4922060 140734915554784 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12726/statm: 2175 252 211 178 0 68 0
[pid=12727] ppid=12726 vsize=467732 CPUtime=4.98 cores=0,2,4,6
/proc/12727/stat : 12727 (priss) S 12726 12726 11686 0 -1 4202496 95895 0 0 0 464 34 0 0 18 0 5 0 515449291 478957568 55673 33554432000 4194304 5787044 140736634264320 18446744073709551615 212447840689 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12727/statm: 116933 55673 348 389 0 112683 0
[pid=12727/tid=12729] ppid=12726 vsize=467732 CPUtime=1.24 cores=0,2,4,6
/proc/12727/task/12729/stat : 12729 (priss) R 12726 12726 11686 0 -1 4202560 20231 0 0 0 111 13 0 0 19 0 5 0 515449303 478957568 55673 33554432000 4194304 5787044 140736634264320 18446744073709551615 4330542 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=12727/tid=12730] ppid=12726 vsize=467732 CPUtime=1.3 cores=0,2,4,6
/proc/12727/task/12730/stat : 12730 (priss) R 12726 12726 11686 0 -1 4202560 18586 0 0 0 124 6 0 0 19 0 5 0 515449306 478957568 55673 33554432000 4194304 5787044 140736634264320 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=12727/tid=12731] ppid=12726 vsize=467732 CPUtime=1.07 cores=0,2,4,6
/proc/12727/task/12731/stat : 12731 (priss) R 12726 12726 11686 0 -1 4202560 18668 0 0 0 107 0 0 0 19 0 5 0 515449309 478957568 55673 33554432000 4194304 5787044 140736634264320 18446744073709551615 4330532 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=12727/tid=12732] ppid=12726 vsize=467732 CPUtime=1.13 cores=0,2,4,6
/proc/12727/task/12732/stat : 12732 (priss) R 12726 12726 11686 0 -1 4202560 19968 0 0 0 102 11 0 0 19 0 5 0 515449313 478957568 55673 33554432000 4194304 5787044 140736634264320 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.98
Current children cumulated vsize (KiB) 476432

[startup+3.10113 s]
/proc/loadavg: 4.31 5.01 6.28 9/188 12743
/proc/meminfo: memFree=29390928/32951124 swapFree=67111416/67111528
[pid=12726] ppid=12724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/12726/stat : 12726 (priss.sh) S 12724 12726 11686 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 515449291 8908800 252 33554432000 4194304 4922060 140734915554784 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12726/statm: 2175 252 211 178 0 68 0
[pid=12727] ppid=12726 vsize=486964 CPUtime=11.27 cores=0,2,4,6
/proc/12727/stat : 12727 (priss) S 12726 12726 11686 0 -1 4202496 115887 0 0 0 1078 49 0 0 18 0 5 0 515449291 498651136 72325 33554432000 4194304 5787044 140736634264320 18446744073709551615 212447840689 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12727/statm: 121741 72325 351 389 0 117491 0
[pid=12727/tid=12729] ppid=12726 vsize=486964 CPUtime=2.81 cores=0,2,4,6
/proc/12727/task/12729/stat : 12729 (priss) R 12726 12726 11686 0 -1 4202560 26782 0 0 0 264 17 0 0 18 0 5 0 515449303 498651136 72325 33554432000 4194304 5787044 140736634264320 18446744073709551615 212435675481 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=12727/tid=12730] ppid=12726 vsize=486964 CPUtime=2.88 cores=0,2,4,6
/proc/12727/task/12730/stat : 12730 (priss) R 12726 12726 11686 0 -1 4202560 24776 0 0 0 280 8 0 0 18 0 5 0 515449306 498651136 72325 33554432000 4194304 5787044 140736634264320 18446744073709551615 212447842997 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=12727/tid=12731] ppid=12726 vsize=486964 CPUtime=2.64 cores=0,2,4,6
/proc/12727/task/12731/stat : 12731 (priss) R 12726 12726 11686 0 -1 4202560 22606 0 0 0 260 4 0 0 18 0 5 0 515449309 498651136 72325 33554432000 4194304 5787044 140736634264320 18446744073709551615 212447842997 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=12727/tid=12732] ppid=12726 vsize=486964 CPUtime=2.7 cores=0,2,4,6
/proc/12727/task/12732/stat : 12732 (priss) R 12726 12726 11686 0 -1 4202560 23281 0 0 0 255 15 0 0 18 0 5 0 515449313 498651136 72325 33554432000 4194304 5787044 140736634264320 18446744073709551615 212447842997 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.27
Current children cumulated vsize (KiB) 495664

[startup+6.30052 s]
/proc/loadavg: 4.68 5.07 6.29 9/188 12743
/proc/meminfo: memFree=29511756/32951124 swapFree=67111416/67111528
[pid=12726] ppid=12724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/12726/stat : 12726 (priss.sh) S 12724 12726 11686 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 515449291 8908800 252 33554432000 4194304 4922060 140734915554784 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12726/statm: 2175 252 211 178 0 68 0
[pid=12727] ppid=12726 vsize=494244 CPUtime=24.03 cores=0,2,4,6
/proc/12727/stat : 12727 (priss) S 12726 12726 11686 0 -1 4202496 125956 0 0 0 2348 55 0 0 18 0 5 0 515449291 506105856 82394 33554432000 4194304 5787044 140736634264320 18446744073709551615 212447840689 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12727/statm: 123561 82394 352 389 0 119311 0
[pid=12727/tid=12729] ppid=12726 vsize=494244 CPUtime=5.98 cores=0,2,4,6
/proc/12727/task/12729/stat : 12729 (priss) R 12726 12726 11686 0 -1 4202560 28354 0 0 0 580 18 0 0 22 0 5 0 515449303 506105856 82394 33554432000 4194304 5787044 140736634264320 18446744073709551615 4275966 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=12727/tid=12730] ppid=12726 vsize=494244 CPUtime=6.08 cores=0,2,4,6
/proc/12727/task/12730/stat : 12730 (priss) R 12726 12726 11686 0 -1 4202560 27590 0 0 0 598 10 0 0 22 0 5 0 515449306 506105856 82394 33554432000 4194304 5787044 140736634264320 18446744073709551615 4276034 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=12727/tid=12731] ppid=12726 vsize=494244 CPUtime=5.85 cores=0,2,4,6
/proc/12727/task/12731/stat : 12731 (priss) R 12726 12726 11686 0 -1 4202560 26433 0 0 0 579 6 0 0 21 0 5 0 515449309 506105856 82394 33554432000 4194304 5787044 140736634264320 18446744073709551615 4276423 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=12727/tid=12732] ppid=12726 vsize=494244 CPUtime=5.89 cores=0,2,4,6
/proc/12727/task/12732/stat : 12732 (priss) R 12726 12726 11686 0 -1 4202560 25137 0 0 0 572 17 0 0 22 0 5 0 515449313 506105856 82394 33554432000 4194304 5787044 140736634264320 18446744073709551615 4279114 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.03
Current children cumulated vsize (KiB) 502944

[startup+12.7003 s]
/proc/loadavg: 5.03 5.14 6.31 9/188 12743
/proc/meminfo: memFree=29443828/32951124 swapFree=67111416/67111528
[pid=12726] ppid=12724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/12726/stat : 12726 (priss.sh) S 12724 12726 11686 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 515449291 8908800 252 33554432000 4194304 4922060 140734915554784 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12726/statm: 2175 252 211 178 0 68 0
[pid=12727] ppid=12726 vsize=513080 CPUtime=49.53 cores=0,2,4,6
/proc/12727/stat : 12727 (priss) S 12726 12726 11686 0 -1 4202496 163966 0 0 0 4888 65 0 0 18 0 5 0 515449291 525393920 99456 33554432000 4194304 5787044 140736634264320 18446744073709551615 212447840689 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12727/statm: 128270 99456 417 389 0 124020 0
[pid=12727/tid=12729] ppid=12726 vsize=513080 CPUtime=12.33 cores=0,2,4,6
/proc/12727/task/12729/stat : 12729 (priss) R 12726 12726 11686 0 -1 4202560 39097 0 0 0 1212 21 0 0 25 0 5 0 515449303 525393920 99456 33554432000 4194304 5787044 140736634264320 18446744073709551615 5591044 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=12727/tid=12730] ppid=12726 vsize=513080 CPUtime=12.46 cores=0,2,4,6
/proc/12727/task/12730/stat : 12730 (priss) R 12726 12726 11686 0 -1 4202560 38621 0 0 0 1233 13 0 0 25 0 5 0 515449306 525393920 99456 33554432000 4194304 5787044 140736634264320 18446744073709551615 4238583 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=12727/tid=12731] ppid=12726 vsize=513080 CPUtime=12.23 cores=0,2,4,6
/proc/12727/task/12731/stat : 12731 (priss) R 12726 12726 11686 0 -1 4202560 33897 0 0 0 1215 8 0 0 25 0 5 0 515449309 525393920 99456 33554432000 4194304 5787044 140736634264320 18446744073709551615 5585354 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=12727/tid=12732] ppid=12726 vsize=513080 CPUtime=12.28 cores=0,2,4,6
/proc/12727/task/12732/stat : 12732 (priss) R 12726 12726 11686 0 -1 4202560 33909 0 0 0 1209 19 0 0 25 0 5 0 515449313 525393920 99456 33554432000 4194304 5787044 140736634264320 18446744073709551615 4238565 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 49.53
Current children cumulated vsize (KiB) 521780

[startup+25.5009 s]
/proc/loadavg: 5.68 5.28 6.33 9/188 12744
/proc/meminfo: memFree=29440936/32951124 swapFree=67111416/67111528
[pid=12726] ppid=12724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/12726/stat : 12726 (priss.sh) S 12724 12726 11686 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 515449291 8908800 252 33554432000 4194304 4922060 140734915554784 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12726/statm: 2175 252 211 178 0 68 0
[pid=12727] ppid=12726 vsize=514028 CPUtime=100.66 cores=0,2,4,6
/proc/12727/stat : 12727 (priss) S 12726 12726 11686 0 -1 4202496 164845 0 0 0 10000 66 0 0 18 0 5 0 515449291 526364672 100335 33554432000 4194304 5787044 140736634264320 18446744073709551615 212447840689 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12727/statm: 128507 100335 417 389 0 124257 0
[pid=12727/tid=12729] ppid=12726 vsize=514028 CPUtime=25.05 cores=0,2,4,6
/proc/12727/task/12729/stat : 12729 (priss) R 12726 12726 11686 0 -1 4202560 39289 0 0 0 2484 21 0 0 25 0 5 0 515449303 526364672 100335 33554432000 4194304 5787044 140736634264320 18446744073709551615 4213865 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=12727/tid=12730] ppid=12726 vsize=514028 CPUtime=25.26 cores=0,2,4,6
/proc/12727/task/12730/stat : 12730 (priss) R 12726 12726 11686 0 -1 4202560 38803 0 0 0 2513 13 0 0 25 0 5 0 515449306 526364672 100335 33554432000 4194304 5787044 140736634264320 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=12727/tid=12731] ppid=12726 vsize=514028 CPUtime=25.03 cores=0,2,4,6
/proc/12727/task/12731/stat : 12731 (priss) R 12726 12726 11686 0 -1 4202560 34159 0 0 0 2495 8 0 0 25 0 5 0 515449309 526364672 100335 33554432000 4194304 5787044 140736634264320 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=12727/tid=12732] ppid=12726 vsize=514028 CPUtime=25.08 cores=0,2,4,6
/proc/12727/task/12732/stat : 12732 (priss) R 12726 12726 11686 0 -1 4202560 34152 0 0 0 2488 20 0 0 25 0 5 0 515449313 526364672 100335 33554432000 4194304 5787044 140736634264320 18446744073709551615 5527101 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 100.66
Current children cumulated vsize (KiB) 522728

[startup+51.101 s]
/proc/loadavg: 6.47 5.50 6.38 9/188 12744
/proc/meminfo: memFree=29109780/32951124 swapFree=67111416/67111528
[pid=12726] ppid=12724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/12726/stat : 12726 (priss.sh) S 12724 12726 11686 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 515449291 8908800 252 33554432000 4194304 4922060 140734915554784 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12726/statm: 2175 252 211 178 0 68 0
[pid=12727] ppid=12726 vsize=515348 CPUtime=202.91 cores=0,2,4,6
/proc/12727/stat : 12727 (priss) S 12726 12726 11686 0 -1 4202496 166254 0 0 0 20224 67 0 0 18 0 5 0 515449291 527716352 101744 33554432000 4194304 5787044 140736634264320 18446744073709551615 212447840689 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12727/statm: 128837 101744 417 389 0 124587 0
[pid=12727/tid=12729] ppid=12726 vsize=515348 CPUtime=50.51 cores=0,2,4,6
/proc/12727/task/12729/stat : 12729 (priss) R 12726 12726 11686 0 -1 4202560 39606 0 0 0 5030 21 0 0 25 0 5 0 515449303 527716352 101744 33554432000 4194304 5787044 140736634264320 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=12727/tid=12730] ppid=12726 vsize=515348 CPUtime=50.87 cores=0,2,4,6
/proc/12727/task/12730/stat : 12730 (priss) R 12726 12726 11686 0 -1 4202560 39146 0 0 0 5073 14 0 0 25 0 5 0 515449306 527716352 101744 33554432000 4194304 5787044 140736634264320 18446744073709551615 5591337 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=12727/tid=12731] ppid=12726 vsize=515348 CPUtime=50.63 cores=0,2,4,6
/proc/12727/task/12731/stat : 12731 (priss) R 12726 12726 11686 0 -1 4202560 34495 0 0 0 5055 8 0 0 25 0 5 0 515449309 527716352 101744 33554432000 4194304 5787044 140736634264320 18446744073709551615 5591630 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=12727/tid=12732] ppid=12726 vsize=515348 CPUtime=50.67 cores=0,2,4,6
/proc/12727/task/12732/stat : 12732 (priss) R 12726 12726 11686 0 -1 4202560 34565 0 0 0 5047 20 0 0 25 0 5 0 515449313 527716352 101744 33554432000 4194304 5787044 140736634264320 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 202.91
Current children cumulated vsize (KiB) 524048

[startup+102.307 s]
/proc/loadavg: 7.39 5.90 6.47 9/188 12746
/proc/meminfo: memFree=28812408/32951124 swapFree=67111416/67111528
[pid=12726] ppid=12724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/12726/stat : 12726 (priss.sh) S 12724 12726 11686 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 515449291 8908800 252 33554432000 4194304 4922060 140734915554784 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12726/statm: 2175 252 211 178 0 68 0
[pid=12727] ppid=12726 vsize=517380 CPUtime=407.46 cores=0,2,4,6
/proc/12727/stat : 12727 (priss) S 12726 12726 11686 0 -1 4202496 168596 0 0 0 40675 71 0 0 18 0 5 0 515449291 529797120 104086 33554432000 4194304 5787044 140736634264320 18446744073709551615 212447840689 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12727/statm: 129345 104086 417 389 0 125095 0
[pid=12727/tid=12729] ppid=12726 vsize=517380 CPUtime=101.45 cores=0,2,4,6
/proc/12727/task/12729/stat : 12729 (priss) R 12726 12726 11686 0 -1 4202560 39982 0 0 0 10123 22 0 0 25 0 5 0 515449303 529797120 104086 33554432000 4194304 5787044 140736634264320 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=12727/tid=12730] ppid=12726 vsize=517380 CPUtime=102.07 cores=0,2,4,6
/proc/12727/task/12730/stat : 12730 (priss) R 12726 12726 11686 0 -1 4202560 39580 0 0 0 10192 15 0 0 25 0 5 0 515449306 529797120 104086 33554432000 4194304 5787044 140736634264320 18446744073709551615 5590569 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=12727/tid=12731] ppid=12726 vsize=517380 CPUtime=101.84 cores=0,2,4,6
/proc/12727/task/12731/stat : 12731 (priss) R 12726 12726 11686 0 -1 4202560 35274 0 0 0 10175 9 0 0 25 0 5 0 515449309 529797120 104086 33554432000 4194304 5787044 140736634264320 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=12727/tid=12732] ppid=12726 vsize=517380 CPUtime=101.88 cores=0,2,4,6

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

/proc/12727/task/12730/stat : 12730 (priss) R 12726 12726 11686 0 -1 4202560 45357 0 0 0 82168 23 0 0 25 0 5 0 515449306 766189568 144110 33554432000 4194304 5787044 140736634264320 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=12727/tid=12731] ppid=12726 vsize=748232 CPUtime=821.76 cores=0,2,4,6
/proc/12727/task/12731/stat : 12731 (priss) R 12726 12726 11686 0 -1 4202560 48159 0 0 0 82159 17 0 0 25 0 5 0 515449309 766189568 144110 33554432000 4194304 5787044 140736634264320 18446744073709551615 212435684314 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=12727/tid=12732] ppid=12726 vsize=748232 CPUtime=821.21 cores=0,2,4,6
/proc/12727/task/12732/stat : 12732 (priss) R 12726 12726 11686 0 -1 4202560 48863 0 0 0 82081 40 0 0 25 0 5 0 515449313 766189568 144110 33554432000 4194304 5787044 140736634264320 18446744073709551615 4215354 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3282.64
Current children cumulated vsize (KiB) 756932

[startup+882.301 s]
/proc/loadavg: 8.12 7.95 7.38 9/188 12778
/proc/meminfo: memFree=28607924/32951124 swapFree=67111416/67111528
[pid=12726] ppid=12724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/12726/stat : 12726 (priss.sh) S 12724 12726 11686 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 515449291 8908800 252 33554432000 4194304 4922060 140734915554784 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12726/statm: 2175 252 211 178 0 68 0
[pid=12727] ppid=12726 vsize=752068 CPUtime=3522.31 cores=0,2,4,6
/proc/12727/stat : 12727 (priss) S 12726 12726 11686 0 -1 4202496 214003 0 0 0 352110 121 0 0 18 0 5 0 515449291 770117632 148966 33554432000 4194304 5787044 140736634264320 18446744073709551615 212447840689 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12727/statm: 188017 148966 417 389 0 183767 0
[pid=12727/tid=12729] ppid=12726 vsize=752068 CPUtime=877.2 cores=0,2,4,6
/proc/12727/task/12729/stat : 12729 (priss) R 12726 12726 11686 0 -1 4202560 48850 0 0 0 87688 32 0 0 25 0 5 0 515449303 770117632 148966 33554432000 4194304 5787044 140736634264320 18446744073709551615 5590295 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=12727/tid=12730] ppid=12726 vsize=752068 CPUtime=881.91 cores=0,2,4,6
/proc/12727/task/12730/stat : 12730 (priss) R 12726 12726 11686 0 -1 4202560 47456 0 0 0 88166 25 0 0 25 0 5 0 515449306 770117632 148966 33554432000 4194304 5787044 140736634264320 18446744073709551615 5590264 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=12727/tid=12731] ppid=12726 vsize=752068 CPUtime=881.76 cores=0,2,4,6
/proc/12727/task/12731/stat : 12731 (priss) R 12726 12726 11686 0 -1 4202560 48985 0 0 0 88158 18 0 0 25 0 5 0 515449309 770117632 148966 33554432000 4194304 5787044 140736634264320 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=12727/tid=12732] ppid=12726 vsize=752068 CPUtime=881.21 cores=0,2,4,6
/proc/12727/task/12732/stat : 12732 (priss) R 12726 12726 11686 0 -1 4202560 50270 0 0 0 88079 42 0 0 25 0 5 0 515449313 770117632 148966 33554432000 4194304 5787044 140736634264320 18446744073709551615 5527491 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3522.31
Current children cumulated vsize (KiB) 760768

[startup+942.301 s]
/proc/loadavg: 8.09 7.97 7.42 9/188 12780
/proc/meminfo: memFree=28602560/32951124 swapFree=67111416/67111528
[pid=12726] ppid=12724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/12726/stat : 12726 (priss.sh) S 12724 12726 11686 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 515449291 8908800 252 33554432000 4194304 4922060 140734915554784 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12726/statm: 2175 252 211 178 0 68 0
[pid=12727] ppid=12726 vsize=752956 CPUtime=3761.98 cores=0,2,4,6
/proc/12727/stat : 12727 (priss) S 12726 12726 11686 0 -1 4202496 215398 0 0 0 376076 122 0 0 18 0 5 0 515449291 771026944 150264 33554432000 4194304 5787044 140736634264320 18446744073709551615 212447840689 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12727/statm: 188239 150264 417 389 0 183989 0
[pid=12727/tid=12729] ppid=12726 vsize=752956 CPUtime=936.87 cores=0,2,4,6
/proc/12727/task/12729/stat : 12729 (priss) R 12726 12726 11686 0 -1 4202560 49114 0 0 0 93655 32 0 0 25 0 5 0 515449303 771026944 150264 33554432000 4194304 5787044 140736634264320 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=12727/tid=12730] ppid=12726 vsize=752956 CPUtime=941.92 cores=0,2,4,6
/proc/12727/task/12730/stat : 12730 (priss) R 12726 12726 11686 0 -1 4202560 48146 0 0 0 94166 26 0 0 25 0 5 0 515449306 771026944 150264 33554432000 4194304 5787044 140736634264320 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=12727/tid=12731] ppid=12726 vsize=752956 CPUtime=941.76 cores=0,2,4,6
/proc/12727/task/12731/stat : 12731 (priss) R 12726 12726 11686 0 -1 4202560 49155 0 0 0 94157 19 0 0 25 0 5 0 515449309 771026944 150264 33554432000 4194304 5787044 140736634264320 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=12727/tid=12732] ppid=12726 vsize=752956 CPUtime=941.21 cores=0,2,4,6
/proc/12727/task/12732/stat : 12732 (priss) R 12726 12726 11686 0 -1 4202560 50541 0 0 0 94079 42 0 0 25 0 5 0 515449313 771026944 150264 33554432000 4194304 5787044 140736634264320 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3761.98
Current children cumulated vsize (KiB) 761656

[startup+1002.3 s]
/proc/loadavg: 8.08 7.99 7.46 9/188 12782
/proc/meminfo: memFree=28584672/32951124 swapFree=67111416/67111528
[pid=12726] ppid=12724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/12726/stat : 12726 (priss.sh) S 12724 12726 11686 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 515449291 8908800 252 33554432000 4194304 4922060 140734915554784 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12726/statm: 2175 252 211 178 0 68 0
[pid=12727] ppid=12726 vsize=752956 CPUtime=4001.65 cores=0,2,4,6
/proc/12727/stat : 12727 (priss) S 12726 12726 11686 0 -1 4202496 218500 0 0 0 400037 128 0 0 18 0 5 0 515449291 771026944 153366 33554432000 4194304 5787044 140736634264320 18446744073709551615 212447840689 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12727/statm: 188239 153366 417 389 0 183989 0
[pid=12727/tid=12729] ppid=12726 vsize=752956 CPUtime=996.55 cores=0,2,4,6
/proc/12727/task/12729/stat : 12729 (priss) R 12726 12726 11686 0 -1 4202560 49824 0 0 0 99621 34 0 0 25 0 5 0 515449303 771026944 153366 33554432000 4194304 5787044 140736634264320 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=12727/tid=12730] ppid=12726 vsize=752956 CPUtime=1001.92 cores=0,2,4,6
/proc/12727/task/12730/stat : 12730 (priss) R 12726 12726 11686 0 -1 4202560 48243 0 0 0 100166 26 0 0 25 0 5 0 515449306 771026944 153366 33554432000 4194304 5787044 140736634264320 18446744073709551615 4215354 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=12727/tid=12731] ppid=12726 vsize=752956 CPUtime=1001.75 cores=0,2,4,6
/proc/12727/task/12731/stat : 12731 (priss) R 12726 12726 11686 0 -1 4202560 50877 0 0 0 100154 21 0 0 25 0 5 0 515449309 771026944 153366 33554432000 4194304 5787044 140736634264320 18446744073709551615 5591319 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=12727/tid=12732] ppid=12726 vsize=752956 CPUtime=1001.21 cores=0,2,4,6
/proc/12727/task/12732/stat : 12732 (priss) R 12726 12726 11686 0 -1 4202560 51114 0 0 0 100078 43 0 0 25 0 5 0 515449313 771026944 153366 33554432000 4194304 5787044 140736634264320 18446744073709551615 5527822 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4001.65
Current children cumulated vsize (KiB) 761656

[startup+1062.3 s]
/proc/loadavg: 8.12 8.02 7.50 9/188 12783
/proc/meminfo: memFree=28573240/32951124 swapFree=67111416/67111528
[pid=12726] ppid=12724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/12726/stat : 12726 (priss.sh) S 12724 12726 11686 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 515449291 8908800 252 33554432000 4194304 4922060 140734915554784 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12726/statm: 2175 252 211 178 0 68 0
[pid=12727] ppid=12726 vsize=758268 CPUtime=4241.32 cores=0,2,4,6
/proc/12727/stat : 12727 (priss) S 12726 12726 11686 0 -1 4202496 221100 0 0 0 424002 130 0 0 18 0 5 0 515449291 776466432 155869 33554432000 4194304 5787044 140736634264320 18446744073709551615 212447840689 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12727/statm: 189567 155869 417 389 0 185317 0
[pid=12727/tid=12729] ppid=12726 vsize=758268 CPUtime=1056.22 cores=0,2,4,6
/proc/12727/task/12729/stat : 12729 (priss) R 12726 12726 11686 0 -1 4202560 50428 0 0 0 105587 35 0 0 25 0 5 0 515449303 776466432 155869 33554432000 4194304 5787044 140736634264320 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=12727/tid=12730] ppid=12726 vsize=758268 CPUtime=1061.92 cores=0,2,4,6
/proc/12727/task/12730/stat : 12730 (priss) R 12726 12726 11686 0 -1 4202560 48588 0 0 0 106165 27 0 0 25 0 5 0 515449306 776466432 155869 33554432000 4194304 5787044 140736634264320 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=12727/tid=12731] ppid=12726 vsize=758268 CPUtime=1061.74 cores=0,2,4,6
/proc/12727/task/12731/stat : 12731 (priss) R 12726 12726 11686 0 -1 4202560 52124 0 0 0 106153 21 0 0 25 0 5 0 515449309 776466432 155869 33554432000 4194304 5787044 140736634264320 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=12727/tid=12732] ppid=12726 vsize=758268 CPUtime=1061.21 cores=0,2,4,6
/proc/12727/task/12732/stat : 12732 (priss) R 12726 12726 11686 0 -1 4202560 51518 0 0 0 106078 43 0 0 25 0 5 0 515449313 776466432 155869 33554432000 4194304 5787044 140736634264320 18446744073709551615 5524622 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4241.32
Current children cumulated vsize (KiB) 766968

[startup+1122.3 s]
/proc/loadavg: 8.13 8.04 7.54 9/188 12785
/proc/meminfo: memFree=28572460/32951124 swapFree=67111416/67111528
[pid=12726] ppid=12724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/12726/stat : 12726 (priss.sh) S 12724 12726 11686 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 515449291 8908800 252 33554432000 4194304 4922060 140734915554784 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12726/statm: 2175 252 211 178 0 68 0
[pid=12727] ppid=12726 vsize=758268 CPUtime=4480.99 cores=0,2,4,6
/proc/12727/stat : 12727 (priss) S 12726 12726 11686 0 -1 4202496 221268 0 0 0 447969 130 0 0 18 0 5 0 515449291 776466432 156037 33554432000 4194304 5787044 140736634264320 18446744073709551615 212447840689 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12727/statm: 189567 156037 417 389 0 185317 0
[pid=12727/tid=12729] ppid=12726 vsize=758268 CPUtime=1115.89 cores=0,2,4,6
/proc/12727/task/12729/stat : 12729 (priss) R 12726 12726 11686 0 -1 4202560 50463 0 0 0 111554 35 0 0 25 0 5 0 515449303 776466432 156037 33554432000 4194304 5787044 140736634264320 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=12727/tid=12730] ppid=12726 vsize=758268 CPUtime=1121.92 cores=0,2,4,6
/proc/12727/task/12730/stat : 12730 (priss) R 12726 12726 11686 0 -1 4202560 48719 0 0 0 112165 27 0 0 25 0 5 0 515449306 776466432 156037 33554432000 4194304 5787044 140736634264320 18446744073709551615 5591233 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=12727/tid=12731] ppid=12726 vsize=758268 CPUtime=1121.74 cores=0,2,4,6
/proc/12727/task/12731/stat : 12731 (priss) R 12726 12726 11686 0 -1 4202560 52124 0 0 0 112153 21 0 0 25 0 5 0 515449309 776466432 156037 33554432000 4194304 5787044 140736634264320 18446744073709551615 5588240 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=12727/tid=12732] ppid=12726 vsize=758268 CPUtime=1121.21 cores=0,2,4,6
/proc/12727/task/12732/stat : 12732 (priss) R 12726 12726 11686 0 -1 4202560 51520 0 0 0 112078 43 0 0 25 0 5 0 515449313 776466432 156037 33554432000 4194304 5787044 140736634264320 18446744073709551615 5527822 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4480.99
Current children cumulated vsize (KiB) 766968

[startup+1182.3 s]
/proc/loadavg: 8.09 8.04 7.57 9/188 12786
/proc/meminfo: memFree=28568724/32951124 swapFree=67111416/67111528
[pid=12726] ppid=12724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/12726/stat : 12726 (priss.sh) S 12724 12726 11686 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 515449291 8908800 252 33554432000 4194304 4922060 140734915554784 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12726/statm: 2175 252 211 178 0 68 0
[pid=12727] ppid=12726 vsize=758268 CPUtime=4720.68 cores=0,2,4,6
/proc/12727/stat : 12727 (priss) S 12726 12726 11686 0 -1 4202496 221873 0 0 0 471937 131 0 0 18 0 5 0 515449291 776466432 156642 33554432000 4194304 5787044 140736634264320 18446744073709551615 212447840689 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12727/statm: 189567 156642 417 389 0 185317 0
[pid=12727/tid=12729] ppid=12726 vsize=758268 CPUtime=1175.57 cores=0,2,4,6
/proc/12727/task/12729/stat : 12729 (priss) R 12726 12726 11686 0 -1 4202560 50680 0 0 0 117522 35 0 0 25 0 5 0 515449303 776466432 156642 33554432000 4194304 5787044 140736634264320 18446744073709551615 4213832 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=12727/tid=12730] ppid=12726 vsize=758268 CPUtime=1181.92 cores=0,2,4,6
/proc/12727/task/12730/stat : 12730 (priss) R 12726 12726 11686 0 -1 4202560 49077 0 0 0 118165 27 0 0 25 0 5 0 515449306 776466432 156642 33554432000 4194304 5787044 140736634264320 18446744073709551615 5591552 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=12727/tid=12731] ppid=12726 vsize=758268 CPUtime=1181.73 cores=0,2,4,6
/proc/12727/task/12731/stat : 12731 (priss) R 12726 12726 11686 0 -1 4202560 52153 0 0 0 118152 21 0 0 25 0 5 0 515449309 776466432 156642 33554432000 4194304 5787044 140736634264320 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=12727/tid=12732] ppid=12726 vsize=758268 CPUtime=1181.21 cores=0,2,4,6
/proc/12727/task/12732/stat : 12732 (priss) R 12726 12726 11686 0 -1 4202560 51521 0 0 0 118078 43 0 0 25 0 5 0 515449313 776466432 156642 33554432000 4194304 5787044 140736634264320 18446744073709551615 4220508 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4720.68
Current children cumulated vsize (KiB) 766968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.2 s]
/proc/loadavg: 8.14 8.06 7.58 9/188 12787
/proc/meminfo: memFree=28562760/32951124 swapFree=67111416/67111528
[pid=12726] ppid=12724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/12726/stat : 12726 (priss.sh) S 12724 12726 11686 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 515449291 8908800 252 33554432000 4194304 4922060 140734915554784 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/12726/statm: 2175 252 211 178 0 68 0
[pid=12727] ppid=12726 vsize=759852 CPUtime=4800.2 cores=0,2,4,6
/proc/12727/stat : 12727 (priss) S 12726 12726 11686 0 -1 4202496 222928 0 0 0 479889 131 0 0 18 0 5 0 515449291 778088448 157697 33554432000 4194304 5787044 140736634264320 18446744073709551615 212447840689 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/12727/statm: 189963 157697 417 389 0 185713 0
[pid=12727/tid=12729] ppid=12726 vsize=759852 CPUtime=1195.36 cores=0,2,4,6
/proc/12727/task/12729/stat : 12729 (priss) R 12726 12726 11686 0 -1 4202560 50837 0 0 0 119501 35 0 0 25 0 5 0 515449303 778088448 157697 33554432000 4194304 5787044 140736634264320 18446744073709551615 5586769 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=12727/tid=12730] ppid=12726 vsize=759852 CPUtime=1201.83 cores=0,2,4,6
/proc/12727/task/12730/stat : 12730 (priss) R 12726 12726 11686 0 -1 4202560 49547 0 0 0 120156 27 0 0 25 0 5 0 515449306 778088448 157697 33554432000 4194304 5787044 140736634264320 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=12727/tid=12731] ppid=12726 vsize=759852 CPUtime=1201.65 cores=0,2,4,6
/proc/12727/task/12731/stat : 12731 (priss) R 12726 12726 11686 0 -1 4202560 52580 0 0 0 120143 22 0 0 25 0 5 0 515449309 778088448 157697 33554432000 4194304 5787044 140736634264320 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=12727/tid=12732] ppid=12726 vsize=759852 CPUtime=1201.12 cores=0,2,4,6
/proc/12727/task/12732/stat : 12732 (priss) R 12726 12726 11686 0 -1 4202560 51522 0 0 0 120069 43 0 0 25 0 5 0 515449313 778088448 157697 33554432000 4194304 5787044 140736634264320 18446744073709551615 4238583 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 768552

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 12726 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 4800.2
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1202.23
CPU time (s): 4800.2
CPU user time (s): 4798.89
CPU system time (s): 1.31
CPU usage (%): 399.276
Max. virtual memory (cumulated for all children) (KiB): 768552

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

runsolver used 1.71774 second user time and 4.85426 second system time

The end

Launcher Data 

Begin job on node102 at 2011-04-29 02:54:29
IDJOB=3280603
IDBENCH=20406
IDSOLVER=1603
FILE ID=node102/3280603-1304038469
RUNJOBID= node102-1304038469-12712
PBS_JOBID= 13170350
Free space on /tmp= 71548 MiB

SOLVER NAME= priss 1.0
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-7-ipc5-h15-unsat.cnf
COMMAND LINE= DIR/priss.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3280603-1304038469/watcher-3280603-1304038469 -o /tmp/evaluation-result-3280603-1304038469/solver-3280603-1304038469 -C 4800 -W 1300 -M 15500  HOME/priss.sh HOME HOME/instance-3280603-1304038469.cnf 787364591 4800 15500 4

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

MD5SUM BENCH= 0683489092a5eb0c881dd17c2c45d08e
RANDOM SEED=787364591

node102.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30650200 kB
Buffers:        602180 kB
Cached:        1217644 kB
SwapCached:          8 kB
Active:         210932 kB
Inactive:      1676836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30650200 kB
SwapTotal:    67111528 kB
SwapFree:     67111416 kB
Dirty:           14884 kB
Writeback:           0 kB
AnonPages:       67316 kB
Mapped:          14488 kB
Slab:           349304 kB
PageTables:       4340 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   195840 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71528 MiB
End job on node102 at 2011-04-29 03:14:34