Trace number 3250766

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.03 1201.72

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf
MD5SUMa08160883ea01d58c880b6f2b323ef8b
Bench CategoryCRAFTED (crafted 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 variables388
Number of clauses41212
Sum of the clauses size187726
Maximum clause length20
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 337442
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 53770

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: 11273
0.00/0.01	c parsetime: 13208us
0.00/0.01	c parsed 41212 clauses with 388 variables
0.00/0.02	c NW started thread 0 successfully (1103546688)
0.00/0.02	c NW started thread 1 successfully (1092897088)
0.00/0.03	c NW started thread 2 successfully (1114036544)
0.00/0.03	c NW started thread 3 successfully (1124526400)
10.69/2.78	c preprocessor returned 10027 variables
10.69/2.78	c preprocessing returned UNKNOWN
10.69/2.78	c PP set 0 variables
10.69/2.78	c pp time: 2759241us (2s)
10.69/2.78	c preprocessor returned 10027 variables
10.69/2.79	c preprocessing returned UNKNOWN
10.69/2.79	c PP set 0 variables
10.69/2.79	c pp time: 2764900us (2s)
11.10/2.81	c preprocessor returned 10027 variables
11.10/2.81	c preprocessing returned UNKNOWN
11.10/2.81	c PP set 0 variables
11.10/2.81	c pp time: 2783218us (2s)
180.86/45.39	c preprocessor returned 30028 variables
180.86/45.39	c preprocessing returned UNKNOWN
180.86/45.39	c PP set 0 variables
180.86/45.39	c pp time: 45363538us (45s)

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-3250766-1304061049/watcher-3250766-1304061049 -o /tmp/evaluation-result-3250766-1304061049/solver-3250766-1304061049 -C 4800 -W 1300 -M 15500 HOME/priss.sh HOME HOME/instance-3250766-1304061049.cnf 1289319626 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.78 7.99 7.98 5/182 11272
/proc/meminfo: memFree=15353640/32951124 swapFree=67111528/67111528
[pid=11272] ppid=11270 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11272/stat : 11272 (priss.sh) S 11270 11272 9766 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517705297 8908800 252 33554432000 4194304 4922060 140734938549648 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11272/statm: 2175 252 211 178 0 68 0

[startup+0.125029 s]
/proc/loadavg: 7.78 7.99 7.98 5/182 11272
/proc/meminfo: memFree=15353640/32951124 swapFree=67111528/67111528
[pid=11272] ppid=11270 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11272/stat : 11272 (priss.sh) S 11270 11272 9766 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517705297 8908800 252 33554432000 4194304 4922060 140734938549648 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11272/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.241782 s]
/proc/loadavg: 7.78 7.99 7.98 5/182 11272
/proc/meminfo: memFree=15353640/32951124 swapFree=67111528/67111528
[pid=11272] ppid=11270 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11272/stat : 11272 (priss.sh) S 11270 11272 9766 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517705297 8908800 252 33554432000 4194304 4922060 140734938549648 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11272/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.341765 s]
/proc/loadavg: 7.78 7.99 7.98 5/182 11272
/proc/meminfo: memFree=15353640/32951124 swapFree=67111528/67111528
[pid=11272] ppid=11270 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11272/stat : 11272 (priss.sh) S 11270 11272 9766 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517705297 8908800 252 33554432000 4194304 4922060 140734938549648 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11272/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700699 s]
/proc/loadavg: 7.78 7.99 7.98 5/182 11272
/proc/meminfo: memFree=15353640/32951124 swapFree=67111528/67111528
[pid=11272] ppid=11270 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11272/stat : 11272 (priss.sh) S 11270 11272 9766 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517705297 8908800 252 33554432000 4194304 4922060 140734938549648 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11272/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50055 s]
/proc/loadavg: 7.78 7.99 7.98 9/188 11278
/proc/meminfo: memFree=15336232/32951124 swapFree=67111528/67111528
[pid=11272] ppid=11270 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11272/stat : 11272 (priss.sh) S 11270 11272 9766 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517705297 8908800 252 33554432000 4194304 4922060 140734938549648 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11272/statm: 2175 252 211 178 0 68 0
[pid=11273] ppid=11272 vsize=265596 CPUtime=5.9 cores=0,2,4,6
/proc/11273/stat : 11273 (priss) S 11272 11272 9766 0 -1 4202496 5929 0 0 0 589 1 0 0 18 0 5 0 517705297 271970304 5801 33554432000 4194304 5787044 140735707205488 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11273/statm: 66399 5801 352 389 0 62149 0
[pid=11273/tid=11275] ppid=11272 vsize=265596 CPUtime=1.47 cores=0,2,4,6
/proc/11273/task/11275/stat : 11275 (priss) R 11272 11272 9766 0 -1 4202560 747 0 0 0 147 0 0 0 20 0 5 0 517705299 271970304 5801 33554432000 4194304 5787044 140735707205488 18446744073709551615 4336749 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=11273/tid=11276] ppid=11272 vsize=265596 CPUtime=1.46 cores=0,2,4,6
/proc/11273/task/11276/stat : 11276 (priss) R 11272 11272 9766 0 -1 4202560 699 0 0 0 146 0 0 0 20 0 5 0 517705299 271970304 5801 33554432000 4194304 5787044 140735707205488 18446744073709551615 4336696 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11273/tid=11277] ppid=11272 vsize=265596 CPUtime=1.45 cores=0,2,4,6
/proc/11273/task/11277/stat : 11277 (priss) R 11272 11272 9766 0 -1 4202560 741 0 0 0 145 0 0 0 23 0 5 0 517705300 271970304 5801 33554432000 4194304 5787044 140735707205488 18446744073709551615 4336773 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11273/tid=11278] ppid=11272 vsize=265596 CPUtime=1.46 cores=0,2,4,6
/proc/11273/task/11278/stat : 11278 (priss) R 11272 11272 9766 0 -1 4202560 681 0 0 0 146 0 0 0 20 0 5 0 517705300 271970304 5801 33554432000 4194304 5787044 140735707205488 18446744073709551615 4336120 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 274296

[startup+3.10125 s]
/proc/loadavg: 7.78 7.99 7.98 9/188 11278
/proc/meminfo: memFree=15313788/32951124 swapFree=67111528/67111528
[pid=11272] ppid=11270 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11272/stat : 11272 (priss.sh) S 11270 11272 9766 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517705297 8908800 252 33554432000 4194304 4922060 140734938549648 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11272/statm: 2175 252 211 178 0 68 0
[pid=11273] ppid=11272 vsize=284956 CPUtime=12.3 cores=0,2,4,6
/proc/11273/stat : 11273 (priss) S 11272 11272 9766 0 -1 4202496 14142 0 0 0 1228 2 0 0 18 0 5 0 517705297 291794944 12672 33554432000 4194304 5787044 140735707205488 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11273/statm: 71239 12672 404 389 0 66989 0
[pid=11273/tid=11275] ppid=11272 vsize=284956 CPUtime=3.07 cores=0,2,4,6
/proc/11273/task/11275/stat : 11275 (priss) R 11272 11272 9766 0 -1 4202560 2095 0 0 0 307 0 0 0 25 0 5 0 517705299 291794944 12672 33554432000 4194304 5787044 140735707205488 18446744073709551615 5585297 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=11273/tid=11276] ppid=11272 vsize=284956 CPUtime=3.06 cores=0,2,4,6
/proc/11273/task/11276/stat : 11276 (priss) R 11272 11272 9766 0 -1 4202560 2117 0 0 0 306 0 0 0 25 0 5 0 517705299 291794944 12672 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591722 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11273/tid=11277] ppid=11272 vsize=284956 CPUtime=3.05 cores=0,2,4,6
/proc/11273/task/11277/stat : 11277 (priss) R 11272 11272 9766 0 -1 4202560 4259 0 0 0 304 1 0 0 25 0 5 0 517705300 291794944 12672 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591521 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11273/tid=11278] ppid=11272 vsize=284956 CPUtime=3.06 cores=0,2,4,6
/proc/11273/task/11278/stat : 11278 (priss) R 11272 11272 9766 0 -1 4202560 2610 0 0 0 306 0 0 0 19 0 5 0 517705300 291794944 12672 33554432000 4194304 5787044 140735707205488 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 293656

[startup+6.30065 s]
/proc/loadavg: 7.80 7.99 7.98 9/188 11279
/proc/meminfo: memFree=15299348/32951124 swapFree=67111528/67111528
[pid=11272] ppid=11270 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11272/stat : 11272 (priss.sh) S 11270 11272 9766 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517705297 8908800 252 33554432000 4194304 4922060 140734938549648 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11272/statm: 2175 252 211 178 0 68 0
[pid=11273] ppid=11272 vsize=286016 CPUtime=25.08 cores=0,2,4,6
/proc/11273/stat : 11273 (priss) S 11272 11272 9766 0 -1 4202496 14938 0 0 0 2505 3 0 0 18 0 5 0 517705297 292880384 13468 33554432000 4194304 5787044 140735707205488 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11273/statm: 71504 13468 404 389 0 67254 0
[pid=11273/tid=11275] ppid=11272 vsize=286016 CPUtime=6.27 cores=0,2,4,6
/proc/11273/task/11275/stat : 11275 (priss) R 11272 11272 9766 0 -1 4202560 2255 0 0 0 627 0 0 0 25 0 5 0 517705299 292880384 13468 33554432000 4194304 5787044 140735707205488 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=11273/tid=11276] ppid=11272 vsize=286016 CPUtime=6.26 cores=0,2,4,6
/proc/11273/task/11276/stat : 11276 (priss) R 11272 11272 9766 0 -1 4202560 2388 0 0 0 626 0 0 0 25 0 5 0 517705299 292880384 13468 33554432000 4194304 5787044 140735707205488 18446744073709551615 5590986 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11273/tid=11277] ppid=11272 vsize=286016 CPUtime=6.23 cores=0,2,4,6
/proc/11273/task/11277/stat : 11277 (priss) R 11272 11272 9766 0 -1 4202560 4581 0 0 0 622 1 0 0 25 0 5 0 517705300 292880384 13468 33554432000 4194304 5787044 140735707205488 18446744073709551615 5590388 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11273/tid=11278] ppid=11272 vsize=286016 CPUtime=6.26 cores=0,2,4,6
/proc/11273/task/11278/stat : 11278 (priss) R 11272 11272 9766 0 -1 4202560 2653 0 0 0 626 0 0 0 25 0 5 0 517705300 292880384 13468 33554432000 4194304 5787044 140735707205488 18446744073709551615 4359248 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 294716

[startup+12.7005 s]
/proc/loadavg: 7.82 7.99 7.98 9/188 11279
/proc/meminfo: memFree=15291920/32951124 swapFree=67111528/67111528
[pid=11272] ppid=11270 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11272/stat : 11272 (priss.sh) S 11270 11272 9766 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517705297 8908800 252 33554432000 4194304 4922060 140734938549648 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11272/statm: 2175 252 211 178 0 68 0
[pid=11273] ppid=11272 vsize=287788 CPUtime=50.64 cores=0,2,4,6
/proc/11273/stat : 11273 (priss) S 11272 11272 9766 0 -1 4202496 16307 0 0 0 5060 4 0 0 18 0 5 0 517705297 294694912 14837 33554432000 4194304 5787044 140735707205488 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11273/statm: 71947 14837 404 389 0 67697 0
[pid=11273/tid=11275] ppid=11272 vsize=287788 CPUtime=12.67 cores=0,2,4,6
/proc/11273/task/11275/stat : 11275 (priss) R 11272 11272 9766 0 -1 4202560 2694 0 0 0 1266 1 0 0 25 0 5 0 517705299 294694912 14837 33554432000 4194304 5787044 140735707205488 18446744073709551615 4220288 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=11273/tid=11276] ppid=11272 vsize=287788 CPUtime=12.66 cores=0,2,4,6
/proc/11273/task/11276/stat : 11276 (priss) R 11272 11272 9766 0 -1 4202560 2812 0 0 0 1266 0 0 0 25 0 5 0 517705299 294694912 14837 33554432000 4194304 5787044 140735707205488 18446744073709551615 5586888 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11273/tid=11277] ppid=11272 vsize=287788 CPUtime=12.59 cores=0,2,4,6
/proc/11273/task/11277/stat : 11277 (priss) R 11272 11272 9766 0 -1 4202560 5081 0 0 0 1257 2 0 0 25 0 5 0 517705300 294694912 14837 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11273/tid=11278] ppid=11272 vsize=287788 CPUtime=12.66 cores=0,2,4,6
/proc/11273/task/11278/stat : 11278 (priss) R 11272 11272 9766 0 -1 4202560 2659 0 0 0 1266 0 0 0 25 0 5 0 517705300 294694912 14837 33554432000 4194304 5787044 140735707205488 18446744073709551615 4359256 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 296488

[startup+25.5011 s]
/proc/loadavg: 7.94 8.01 7.99 9/188 11279
/proc/meminfo: memFree=15274564/32951124 swapFree=67111528/67111528
[pid=11272] ppid=11270 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11272/stat : 11272 (priss.sh) S 11270 11272 9766 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517705297 8908800 252 33554432000 4194304 4922060 140734938549648 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11272/statm: 2175 252 211 178 0 68 0
[pid=11273] ppid=11272 vsize=295452 CPUtime=101.76 cores=0,2,4,6
/proc/11273/stat : 11273 (priss) S 11272 11272 9766 0 -1 4202496 20229 0 0 0 10169 7 0 0 18 0 5 0 517705297 302542848 18759 33554432000 4194304 5787044 140735707205488 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11273/statm: 73863 18759 404 389 0 69613 0
[pid=11273/tid=11275] ppid=11272 vsize=295452 CPUtime=25.47 cores=0,2,4,6
/proc/11273/task/11275/stat : 11275 (priss) R 11272 11272 9766 0 -1 4202560 3585 0 0 0 2545 2 0 0 25 0 5 0 517705299 302542848 18759 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=11273/tid=11276] ppid=11272 vsize=295452 CPUtime=25.47 cores=0,2,4,6
/proc/11273/task/11276/stat : 11276 (priss) R 11272 11272 9766 0 -1 4202560 4736 0 0 0 2546 1 0 0 25 0 5 0 517705299 302542848 18759 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11273/tid=11277] ppid=11272 vsize=295452 CPUtime=25.31 cores=0,2,4,6
/proc/11273/task/11277/stat : 11277 (priss) R 11272 11272 9766 0 -1 4202560 6188 0 0 0 2528 3 0 0 25 0 5 0 517705300 302542848 18759 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11273/tid=11278] ppid=11272 vsize=295452 CPUtime=25.46 cores=0,2,4,6
/proc/11273/task/11278/stat : 11278 (priss) R 11272 11272 9766 0 -1 4202560 2659 0 0 0 2546 0 0 0 25 0 5 0 517705300 302542848 18759 33554432000 4194304 5787044 140735707205488 18446744073709551615 4359266 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 304152

[startup+51.1013 s]
/proc/loadavg: 8.03 8.03 7.99 9/188 11280
/proc/meminfo: memFree=15241300/32951124 swapFree=67111528/67111528
[pid=11272] ppid=11270 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11272/stat : 11272 (priss.sh) S 11270 11272 9766 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517705297 8908800 252 33554432000 4194304 4922060 140734938549648 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11272/statm: 2175 252 211 178 0 68 0
[pid=11273] ppid=11272 vsize=305660 CPUtime=204.03 cores=0,2,4,6
/proc/11273/stat : 11273 (priss) S 11272 11272 9766 0 -1 4202496 28740 0 0 0 20390 13 0 0 18 0 5 0 517705297 312995840 25604 33554432000 4194304 5787044 140735707205488 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11273/statm: 76415 25604 417 389 0 72165 0
[pid=11273/tid=11275] ppid=11272 vsize=305660 CPUtime=51.07 cores=0,2,4,6
/proc/11273/task/11275/stat : 11275 (priss) R 11272 11272 9766 0 -1 4202560 5075 0 0 0 5103 4 0 0 25 0 5 0 517705299 312995840 25604 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=11273/tid=11276] ppid=11272 vsize=305660 CPUtime=51.07 cores=0,2,4,6
/proc/11273/task/11276/stat : 11276 (priss) R 11272 11272 9766 0 -1 4202560 6195 0 0 0 5105 2 0 0 25 0 5 0 517705299 312995840 25604 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591722 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11273/tid=11277] ppid=11272 vsize=305660 CPUtime=50.77 cores=0,2,4,6
/proc/11273/task/11277/stat : 11277 (priss) R 11272 11272 9766 0 -1 4202560 8697 0 0 0 5072 5 0 0 25 0 5 0 517705300 312995840 25604 33554432000 4194304 5787044 140735707205488 18446744073709551615 4219695 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11273/tid=11278] ppid=11272 vsize=305660 CPUtime=51.05 cores=0,2,4,6
/proc/11273/task/11278/stat : 11278 (priss) R 11272 11272 9766 0 -1 4202560 5712 0 0 0 5105 0 0 0 25 0 5 0 517705300 312995840 25604 33554432000 4194304 5787044 140735707205488 18446744073709551615 5527784 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.03
Current children cumulated vsize (KiB) 314360

[startup+102.301 s]
/proc/loadavg: 8.09 8.04 8.00 9/188 11281
/proc/meminfo: memFree=15193292/32951124 swapFree=67111528/67111528
[pid=11272] ppid=11270 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11272/stat : 11272 (priss.sh) S 11270 11272 9766 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517705297 8908800 252 33554432000 4194304 4922060 140734938549648 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11272/statm: 2175 252 211 178 0 68 0
[pid=11273] ppid=11272 vsize=321208 CPUtime=408.55 cores=0,2,4,6
/proc/11273/stat : 11273 (priss) S 11272 11272 9766 0 -1 4202496 38540 0 0 0 40832 23 0 0 18 0 5 0 517705297 328916992 35359 33554432000 4194304 5787044 140735707205488 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11273/statm: 80302 35359 417 389 0 76052 0
[pid=11273/tid=11275] ppid=11272 vsize=321208 CPUtime=102.26 cores=0,2,4,6
/proc/11273/task/11275/stat : 11275 (priss) R 11272 11272 9766 0 -1 4202560 6970 0 0 0 10220 6 0 0 25 0 5 0 517705299 328916992 35359 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591666 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=11273/tid=11276] ppid=11272 vsize=321208 CPUtime=102.27 cores=0,2,4,6
/proc/11273/task/11276/stat : 11276 (priss) R 11272 11272 9766 0 -1 4202560 8989 0 0 0 10224 3 0 0 25 0 5 0 517705299 328916992 35359 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591246 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11273/tid=11277] ppid=11272 vsize=321208 CPUtime=101.69 cores=0,2,4,6
/proc/11273/task/11277/stat : 11277 (priss) R 11272 11272 9766 0 -1 4202560 10749 0 0 0 10161 8 0 0 25 0 5 0 517705300 328916992 35359 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591727 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11273/tid=11278] ppid=11272 vsize=321208 CPUtime=102.26 cores=0,2,4,6

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

/proc/11273/task/11276/stat : 11276 (priss) R 11272 11272 9766 0 -1 4202560 23203 0 0 0 82214 12 0 0 25 0 5 0 517705299 618987520 93309 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11273/tid=11277] ppid=11272 vsize=604480 CPUtime=817.69 cores=0,2,4,6
/proc/11273/task/11277/stat : 11277 (priss) R 11272 11272 9766 0 -1 4202560 24116 0 0 0 81737 32 0 0 25 0 5 0 517705300 618987520 93309 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11273/tid=11278] ppid=11272 vsize=604480 CPUtime=822.27 cores=0,2,4,6
/proc/11273/task/11278/stat : 11278 (priss) R 11272 11272 9766 0 -1 4202560 23788 0 0 0 82205 22 0 0 25 0 5 0 517705300 618987520 93309 33554432000 4194304 5787044 140735707205488 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.52
Current children cumulated vsize (KiB) 613180

[startup+882.307 s]
/proc/loadavg: 7.99 8.05 8.01 9/188 11335
/proc/meminfo: memFree=15039648/32951124 swapFree=67111528/67111528
[pid=11272] ppid=11270 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11272/stat : 11272 (priss.sh) S 11270 11272 9766 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517705297 8908800 252 33554432000 4194304 4922060 140734938549648 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11272/statm: 2175 252 211 178 0 68 0
[pid=11273] ppid=11272 vsize=612680 CPUtime=3524.21 cores=0,2,4,6
/proc/11273/stat : 11273 (priss) S 11272 11272 9766 0 -1 4202496 101869 0 0 0 352327 94 0 0 18 0 5 0 517705297 627384320 97431 33554432000 4194304 5787044 140735707205488 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11273/statm: 153170 97431 417 389 0 148920 0
[pid=11273/tid=11275] ppid=11272 vsize=612680 CPUtime=882.25 cores=0,2,4,6
/proc/11273/task/11275/stat : 11275 (priss) R 11272 11272 9766 0 -1 4202560 24712 0 0 0 88202 23 0 0 25 0 5 0 517705299 627384320 97431 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591325 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=11273/tid=11276] ppid=11272 vsize=612680 CPUtime=882.27 cores=0,2,4,6
/proc/11273/task/11276/stat : 11276 (priss) R 11272 11272 9766 0 -1 4202560 23241 0 0 0 88215 12 0 0 25 0 5 0 517705299 627384320 97431 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591328 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11273/tid=11277] ppid=11272 vsize=612680 CPUtime=877.36 cores=0,2,4,6
/proc/11273/task/11277/stat : 11277 (priss) R 11272 11272 9766 0 -1 4202560 24141 0 0 0 87704 32 0 0 25 0 5 0 517705300 627384320 97431 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11273/tid=11278] ppid=11272 vsize=612680 CPUtime=882.26 cores=0,2,4,6
/proc/11273/task/11278/stat : 11278 (priss) R 11272 11272 9766 0 -1 4202560 26714 0 0 0 88201 25 0 0 25 0 5 0 517705300 627384320 97431 33554432000 4194304 5787044 140735707205488 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.21
Current children cumulated vsize (KiB) 621380

[startup+942.3 s]
/proc/loadavg: 8.04 8.05 8.01 9/188 11337
/proc/meminfo: memFree=14974752/32951124 swapFree=67111528/67111528
[pid=11272] ppid=11270 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11272/stat : 11272 (priss.sh) S 11270 11272 9766 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517705297 8908800 252 33554432000 4194304 4922060 140734938549648 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11272/statm: 2175 252 211 178 0 68 0
[pid=11273] ppid=11272 vsize=631424 CPUtime=3763.85 cores=0,2,4,6
/proc/11273/stat : 11273 (priss) S 11272 11272 9766 0 -1 4202496 107076 0 0 0 376287 98 0 0 18 0 5 0 517705297 646578176 102433 33554432000 4194304 5787044 140735707205488 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11273/statm: 157856 102433 417 389 0 153606 0
[pid=11273/tid=11275] ppid=11272 vsize=631424 CPUtime=942.24 cores=0,2,4,6
/proc/11273/task/11275/stat : 11275 (priss) R 11272 11272 9766 0 -1 4202560 25707 0 0 0 94200 24 0 0 25 0 5 0 517705299 646578176 102433 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=11273/tid=11276] ppid=11272 vsize=631424 CPUtime=942.26 cores=0,2,4,6
/proc/11273/task/11276/stat : 11276 (priss) R 11272 11272 9766 0 -1 4202560 24387 0 0 0 94213 13 0 0 25 0 5 0 517705299 646578176 102433 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11273/tid=11277] ppid=11272 vsize=631424 CPUtime=937.02 cores=0,2,4,6
/proc/11273/task/11277/stat : 11277 (priss) R 11272 11272 9766 0 -1 4202560 24761 0 0 0 93670 32 0 0 25 0 5 0 517705300 646578176 102433 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11273/tid=11278] ppid=11272 vsize=631424 CPUtime=942.26 cores=0,2,4,6
/proc/11273/task/11278/stat : 11278 (priss) R 11272 11272 9766 0 -1 4202560 29160 0 0 0 94199 27 0 0 25 0 5 0 517705300 646578176 102433 33554432000 4194304 5787044 140735707205488 18446744073709551615 5526823 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.85
Current children cumulated vsize (KiB) 640124

[startup+1002.3 s]
/proc/loadavg: 8.05 8.05 8.01 9/188 11338
/proc/meminfo: memFree=14923748/32951124 swapFree=67111528/67111528
[pid=11272] ppid=11270 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11272/stat : 11272 (priss.sh) S 11270 11272 9766 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517705297 8908800 252 33554432000 4194304 4922060 140734938549648 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11272/statm: 2175 252 211 178 0 68 0
[pid=11273] ppid=11272 vsize=638612 CPUtime=4003.52 cores=0,2,4,6
/proc/11273/stat : 11273 (priss) S 11272 11272 9766 0 -1 4202496 112152 0 0 0 400248 104 0 0 18 0 5 0 517705297 653938688 107509 33554432000 4194304 5787044 140735707205488 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11273/statm: 159653 107509 417 389 0 155403 0
[pid=11273/tid=11275] ppid=11272 vsize=638612 CPUtime=1002.24 cores=0,2,4,6
/proc/11273/task/11275/stat : 11275 (priss) R 11272 11272 9766 0 -1 4202560 27572 0 0 0 100197 27 0 0 25 0 5 0 517705299 653938688 107509 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=11273/tid=11276] ppid=11272 vsize=638612 CPUtime=1002.26 cores=0,2,4,6
/proc/11273/task/11276/stat : 11276 (priss) R 11272 11272 9766 0 -1 4202560 26206 0 0 0 100212 14 0 0 25 0 5 0 517705299 653938688 107509 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11273/tid=11277] ppid=11272 vsize=638612 CPUtime=996.7 cores=0,2,4,6
/proc/11273/task/11277/stat : 11277 (priss) R 11272 11272 9766 0 -1 4202560 26153 0 0 0 99636 34 0 0 25 0 5 0 517705300 653938688 107509 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11273/tid=11278] ppid=11272 vsize=638612 CPUtime=1002.26 cores=0,2,4,6
/proc/11273/task/11278/stat : 11278 (priss) R 11272 11272 9766 0 -1 4202560 29160 0 0 0 100199 27 0 0 25 0 5 0 517705300 653938688 107509 33554432000 4194304 5787044 140735707205488 18446744073709551615 5528429 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.52
Current children cumulated vsize (KiB) 647312

[startup+1062.3 s]
/proc/loadavg: 8.05 8.06 8.01 9/188 11340
/proc/meminfo: memFree=14873620/32951124 swapFree=67111528/67111528
[pid=11272] ppid=11270 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11272/stat : 11272 (priss.sh) S 11270 11272 9766 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517705297 8908800 252 33554432000 4194304 4922060 140734938549648 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11272/statm: 2175 252 211 178 0 68 0
[pid=11273] ppid=11272 vsize=649540 CPUtime=4243.2 cores=0,2,4,6
/proc/11273/stat : 11273 (priss) S 11272 11272 9766 0 -1 4202496 118593 0 0 0 424208 112 0 0 18 0 5 0 517705297 665128960 113950 33554432000 4194304 5787044 140735707205488 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11273/statm: 162385 113950 417 389 0 158135 0
[pid=11273/tid=11275] ppid=11272 vsize=649540 CPUtime=1062.23 cores=0,2,4,6
/proc/11273/task/11275/stat : 11275 (priss) R 11272 11272 9766 0 -1 4202560 29310 0 0 0 106193 30 0 0 25 0 5 0 517705299 665128960 113950 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=11273/tid=11276] ppid=11272 vsize=649540 CPUtime=1062.26 cores=0,2,4,6
/proc/11273/task/11276/stat : 11276 (priss) R 11272 11272 9766 0 -1 4202560 27920 0 0 0 106210 16 0 0 25 0 5 0 517705299 665128960 113950 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591197 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11273/tid=11277] ppid=11272 vsize=649540 CPUtime=1056.37 cores=0,2,4,6
/proc/11273/task/11277/stat : 11277 (priss) R 11272 11272 9766 0 -1 4202560 28116 0 0 0 105601 36 0 0 25 0 5 0 517705300 665128960 113950 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11273/tid=11278] ppid=11272 vsize=649540 CPUtime=1062.26 cores=0,2,4,6
/proc/11273/task/11278/stat : 11278 (priss) R 11272 11272 9766 0 -1 4202560 30186 0 0 0 106199 27 0 0 25 0 5 0 517705300 665128960 113950 33554432000 4194304 5787044 140735707205488 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.2
Current children cumulated vsize (KiB) 658240

[startup+1122.3 s]
/proc/loadavg: 8.18 8.09 8.02 9/188 11341
/proc/meminfo: memFree=14823728/32951124 swapFree=67111528/67111528
[pid=11272] ppid=11270 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11272/stat : 11272 (priss.sh) S 11270 11272 9766 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517705297 8908800 252 33554432000 4194304 4922060 140734938549648 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11272/statm: 2175 252 211 178 0 68 0
[pid=11273] ppid=11272 vsize=657620 CPUtime=4482.85 cores=0,2,4,6
/proc/11273/stat : 11273 (priss) S 11272 11272 9766 0 -1 4202496 123535 0 0 0 448168 117 0 0 18 0 5 0 517705297 673402880 118667 33554432000 4194304 5787044 140735707205488 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11273/statm: 164405 118667 417 389 0 160155 0
[pid=11273/tid=11275] ppid=11272 vsize=657620 CPUtime=1122.22 cores=0,2,4,6
/proc/11273/task/11275/stat : 11275 (priss) R 11272 11272 9766 0 -1 4202560 30527 0 0 0 112190 32 0 0 25 0 5 0 517705299 673402880 118667 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=11273/tid=11276] ppid=11272 vsize=657620 CPUtime=1122.26 cores=0,2,4,6
/proc/11273/task/11276/stat : 11276 (priss) R 11272 11272 9766 0 -1 4202560 28703 0 0 0 112210 16 0 0 25 0 5 0 517705299 673402880 118667 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11273/tid=11277] ppid=11272 vsize=657620 CPUtime=1116.04 cores=0,2,4,6
/proc/11273/task/11277/stat : 11277 (priss) R 11272 11272 9766 0 -1 4202560 31032 0 0 0 111564 40 0 0 25 0 5 0 517705300 673402880 118667 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11273/tid=11278] ppid=11272 vsize=657620 CPUtime=1122.27 cores=0,2,4,6
/proc/11273/task/11278/stat : 11278 (priss) R 11272 11272 9766 0 -1 4202560 30212 0 0 0 112199 28 0 0 25 0 5 0 517705300 673402880 118667 33554432000 4194304 5787044 140735707205488 18446744073709551615 5526823 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.85
Current children cumulated vsize (KiB) 666320

[startup+1182.3 s]
/proc/loadavg: 8.14 8.09 8.02 9/188 11343
/proc/meminfo: memFree=14799892/32951124 swapFree=67111528/67111528
[pid=11272] ppid=11270 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11272/stat : 11272 (priss.sh) S 11270 11272 9766 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517705297 8908800 252 33554432000 4194304 4922060 140734938549648 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11272/statm: 2175 252 211 178 0 68 0
[pid=11273] ppid=11272 vsize=657620 CPUtime=4722.53 cores=0,2,4,6
/proc/11273/stat : 11273 (priss) S 11272 11272 9766 0 -1 4202496 124337 0 0 0 472135 118 0 0 18 0 5 0 517705297 673402880 119244 33554432000 4194304 5787044 140735707205488 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11273/statm: 164405 119244 417 389 0 160155 0
[pid=11273/tid=11275] ppid=11272 vsize=657620 CPUtime=1182.22 cores=0,2,4,6
/proc/11273/task/11275/stat : 11275 (priss) R 11272 11272 9766 0 -1 4202560 30528 0 0 0 118190 32 0 0 25 0 5 0 517705299 673402880 119244 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=11273/tid=11276] ppid=11272 vsize=657620 CPUtime=1182.26 cores=0,2,4,6
/proc/11273/task/11276/stat : 11276 (priss) R 11272 11272 9766 0 -1 4202560 28703 0 0 0 118210 16 0 0 25 0 5 0 517705299 673402880 119244 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11273/tid=11277] ppid=11272 vsize=657620 CPUtime=1175.72 cores=0,2,4,6
/proc/11273/task/11277/stat : 11277 (priss) R 11272 11272 9766 0 -1 4202560 31766 0 0 0 117532 40 0 0 25 0 5 0 517705300 673402880 119244 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11273/tid=11278] ppid=11272 vsize=657620 CPUtime=1182.27 cores=0,2,4,6
/proc/11273/task/11278/stat : 11278 (priss) R 11272 11272 9766 0 -1 4202560 30279 0 0 0 118199 28 0 0 25 0 5 0 517705300 673402880 119244 33554432000 4194304 5787044 140735707205488 18446744073709551615 5527101 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.53
Current children cumulated vsize (KiB) 666320



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.10 8.08 8.02 9/188 11343
/proc/meminfo: memFree=14797780/32951124 swapFree=67111528/67111528
[pid=11272] ppid=11270 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/11272/stat : 11272 (priss.sh) S 11270 11272 9766 0 -1 4202496 332 0 0 0 0 0 0 0 25 0 1 0 517705297 8908800 252 33554432000 4194304 4922060 140734938549648 18446744073709551615 244446764165 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/11272/statm: 2175 252 211 178 0 68 0
[pid=11273] ppid=11272 vsize=657620 CPUtime=4800.03 cores=0,2,4,6
/proc/11273/stat : 11273 (priss) S 11272 11272 9766 0 -1 4202496 124391 0 0 0 479885 118 0 0 18 0 5 0 517705297 673402880 119298 33554432000 4194304 5787044 140735707205488 18446744073709551615 244458768817 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/11273/statm: 164405 119298 417 389 0 160155 0
[pid=11273/tid=11275] ppid=11272 vsize=657620 CPUtime=1201.62 cores=0,2,4,6
/proc/11273/task/11275/stat : 11275 (priss) R 11272 11272 9766 0 -1 4202560 30529 0 0 0 120130 32 0 0 25 0 5 0 517705299 673402880 119298 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591640 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=11273/tid=11276] ppid=11272 vsize=657620 CPUtime=1201.67 cores=0,2,4,6
/proc/11273/task/11276/stat : 11276 (priss) R 11272 11272 9766 0 -1 4202560 28703 0 0 0 120151 16 0 0 25 0 5 0 517705299 673402880 119298 33554432000 4194304 5787044 140735707205488 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=11273/tid=11277] ppid=11272 vsize=657620 CPUtime=1195.01 cores=0,2,4,6
/proc/11273/task/11277/stat : 11277 (priss) R 11272 11272 9766 0 -1 4202560 31766 0 0 0 119461 40 0 0 25 0 5 0 517705300 673402880 119298 33554432000 4194304 5787044 140735707205488 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=11273/tid=11278] ppid=11272 vsize=657620 CPUtime=1201.68 cores=0,2,4,6
/proc/11273/task/11278/stat : 11278 (priss) R 11272 11272 9766 0 -1 4202560 30332 0 0 0 120140 28 0 0 25 0 5 0 517705300 673402880 119298 33554432000 4194304 5787044 140735707205488 18446744073709551615 5526823 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 666320

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

Real time (s): 1201.72
CPU time (s): 4800.03
CPU user time (s): 4798.85
CPU system time (s): 1.18
CPU usage (%): 399.431
Max. virtual memory (cumulated for all children) (KiB): 666320

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.74573 second user time and 4.81927 second system time

The end

Launcher Data 

Begin job on node105 at 2011-04-29 09:10:49
IDJOB=3250766
IDBENCH=83358
IDSOLVER=1603
FILE ID=node105/3250766-1304061049
RUNJOBID= node105-1304047118-9784
PBS_JOBID= 13170404
Free space on /tmp= 71936 MiB

SOLVER NAME= priss 1.0
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-20_388.cnf
COMMAND LINE= DIR/priss.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3250766-1304061049/watcher-3250766-1304061049 -o /tmp/evaluation-result-3250766-1304061049/solver-3250766-1304061049 -C 4800 -W 1300 -M 15500  HOME/priss.sh HOME HOME/instance-3250766-1304061049.cnf 1289319626 4800 15500 4

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

MD5SUM BENCH= a08160883ea01d58c880b6f2b323ef8b
RANDOM SEED=1289319626

node105.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.825
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.825
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.825
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.825
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.825
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	: 5410.70
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.825
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.74
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.825
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.825
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:      15353796 kB
Buffers:       2301076 kB
Cached:       14435640 kB
SwapCached:          0 kB
Active:        9168952 kB
Inactive:      7858236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      15353796 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            2344 kB
Writeback:           0 kB
AnonPages:      289972 kB
Mapped:          15628 kB
Slab:           507232 kB
PageTables:       5272 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   481368 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= 71936 MiB
End job on node105 at 2011-04-29 09:30:52