Trace number 3285570

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
priss Auto? (TO) 4800.06 1202.22

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf
MD5SUM4ab53801f3b1a3f7169c9fb38cba4184
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 variables171676
Number of clauses870241
Sum of the clauses size2069671
Maximum clause length63
Minimum clause length1
Number of clauses of size 1211
Number of clauses of size 2859140
Number of clauses of size 32700
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 58190

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: 32476
0.00/0.00	c setup for 4cores
0.00/0.24	c parsetime: 239077us
0.00/0.24	c parsed 870241 clauses with 171676 variables
0.00/0.29	c NW started thread 0 successfully (1108351296)
0.00/0.35	c NW started thread 1 successfully (1118841152)
0.00/0.40	c NW started thread 2 successfully (1129331008)
0.00/0.47	c NW started thread 3 successfully (1139820864)
63.01/16.16	c preprocessor returned 171676 variables
63.01/16.16	c preprocessing returned UNKNOWN
63.01/16.16	c PP set 32479 variables
63.01/16.16	c pp time: 15828304us (15s)
64.22/16.50	c preprocessor returned 171676 variables
64.22/16.50	c preprocessing returned UNKNOWN
64.22/16.50	c PP set 32479 variables
64.22/16.50	c pp time: 15989674us (15s)
64.62/16.53	c preprocessor returned 171676 variables
64.62/16.53	c preprocessing returned UNKNOWN
64.62/16.53	c PP set 32479 variables
64.62/16.53	c pp time: 16149693us (16s)
64.62/16.58	c preprocessor returned 171676 variables
64.62/16.58	c preprocessing returned UNKNOWN
64.62/16.58	c PP set 32479 variables
64.62/16.58	c pp time: 16133182us (16s)
78.18/19.95	c HTE
94.16/23.97	c subsumption
101.35/25.72	c simplified formula contains 0 unit clauses
154.87/39.14	c HTE
167.66/42.33	c subsumption
297.87/74.95	c simplified formula contains 0 unit clauses
312.66/78.68	c HTE
325.04/81.76	c subsumption
464.85/116.76	c simplified formula contains 0 unit clauses
493.22/123.90	c received clause contains eliminated literal -19123
536.75/134.76	c HTE
611.46/153.43	c subsumption
697.36/174.97	c simplified formula contains 0 unit clauses
737.28/184.99	c HTE
749.68/188.01	c subsumption
1099.20/275.72	c simplified formula contains 0 unit clauses
1099.20/275.75	c received clause contains eliminated literal -19141
1389.21/348.33	c HTE
1401.59/351.43	c subsumption
3936.09/985.94	c simplified formula contains 0 unit clauses
3936.09/985.99	c received clause contains eliminated literal 160148
3936.09/985.99	c received clause contains eliminated literal -30554
3936.09/985.99	c received clause contains eliminated literal -22964
4135.41/1035.81	c HTE
4452.54/1115.29	c subsumption
4613.12/1155.40	c simplified formula contains 0 unit clauses
4630.70/1159.82	c received clause contains eliminated literal 163993

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-3285570-1304048143/watcher-3285570-1304048143 -o /tmp/evaluation-result-3285570-1304048143/solver-3285570-1304048143 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3285570-1304048143.cnf 762286547 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.58 7.89 7.96 5/182 32475
/proc/meminfo: memFree=21037684/32950928 swapFree=67071984/67111528
[pid=32475] ppid=32473 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32475/stat : 32475 (prissAuto.sh) S 32473 32475 30862 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 595045017 8908800 251 33554432000 4194304 4922060 140737245490640 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32475/statm: 2175 251 211 178 0 68 0

[startup+0.032904 s]
/proc/loadavg: 7.58 7.89 7.96 5/182 32475
/proc/meminfo: memFree=21037684/32950928 swapFree=67071984/67111528
[pid=32475] ppid=32473 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32475/stat : 32475 (prissAuto.sh) S 32473 32475 30862 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 595045017 8908800 251 33554432000 4194304 4922060 140737245490640 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32475/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100893 s]
/proc/loadavg: 7.58 7.89 7.96 5/182 32475
/proc/meminfo: memFree=21037684/32950928 swapFree=67071984/67111528
[pid=32475] ppid=32473 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32475/stat : 32475 (prissAuto.sh) S 32473 32475 30862 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 595045017 8908800 251 33554432000 4194304 4922060 140737245490640 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32475/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300857 s]
/proc/loadavg: 7.58 7.89 7.96 5/182 32475
/proc/meminfo: memFree=21037684/32950928 swapFree=67071984/67111528
[pid=32475] ppid=32473 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32475/stat : 32475 (prissAuto.sh) S 32473 32475 30862 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 595045017 8908800 251 33554432000 4194304 4922060 140737245490640 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32475/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700784 s]
/proc/loadavg: 7.58 7.89 7.96 5/182 32475
/proc/meminfo: memFree=21037684/32950928 swapFree=67071984/67111528
[pid=32475] ppid=32473 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32475/stat : 32475 (prissAuto.sh) S 32473 32475 30862 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 595045017 8908800 251 33554432000 4194304 4922060 140737245490640 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32475/statm: 2175 251 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50064 s]
/proc/loadavg: 7.58 7.89 7.96 9/188 32481
/proc/meminfo: memFree=20287568/32950928 swapFree=67071984/67111528
[pid=32475] ppid=32473 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32475/stat : 32475 (prissAuto.sh) S 32473 32475 30862 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 595045017 8908800 251 33554432000 4194304 4922060 140737245490640 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32475/statm: 2175 251 211 178 0 68 0
[pid=32476] ppid=32475 vsize=684300 CPUtime=4.72 cores=0,2,4,6
/proc/32476/stat : 32476 (priss) S 32475 32475 30862 0 -1 4202496 204866 0 0 0 418 54 0 0 25 0 5 0 595045017 700723200 105953 33554432000 4194304 5787044 140734141497072 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/32476/statm: 171075 105953 349 389 0 166825 0
[pid=32476/tid=32478] ppid=32475 vsize=684300 CPUtime=1.15 cores=0,2,4,6
/proc/32476/task/32478/stat : 32478 (priss) R 32475 32475 30862 0 -1 4202560 40178 0 0 0 103 12 0 0 18 0 5 0 595045047 700723200 105953 33554432000 4194304 5787044 140734141497072 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=32476/tid=32479] ppid=32475 vsize=684300 CPUtime=1.06 cores=0,2,4,6
/proc/32476/task/32479/stat : 32479 (priss) R 32475 32475 30862 0 -1 4202560 40077 0 0 0 94 12 0 0 18 0 5 0 595045052 700723200 105953 33554432000 4194304 5787044 140734141497072 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=32476/tid=32480] ppid=32475 vsize=684300 CPUtime=1.03 cores=0,2,4,6
/proc/32476/task/32480/stat : 32480 (priss) R 32475 32475 30862 0 -1 4202560 41843 0 0 0 92 11 0 0 18 0 5 0 595045058 700723200 105953 33554432000 4194304 5787044 140734141497072 18446744073709551615 4332213 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32476/tid=32481] ppid=32475 vsize=684300 CPUtime=0.99 cores=0,2,4,6
/proc/32476/task/32481/stat : 32481 (priss) R 32475 32475 30862 0 -1 4202560 40952 0 0 0 87 12 0 0 18 0 5 0 595045064 700723200 105953 33554432000 4194304 5787044 140734141497072 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.72
Current children cumulated vsize (KiB) 693000

[startup+3.10035 s]
/proc/loadavg: 7.61 7.89 7.96 9/188 32481
/proc/meminfo: memFree=20608232/32950928 swapFree=67071984/67111528
[pid=32475] ppid=32473 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32475/stat : 32475 (prissAuto.sh) S 32473 32475 30862 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 595045017 8908800 251 33554432000 4194304 4922060 140737245490640 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32475/statm: 2175 251 211 178 0 68 0
[pid=32476] ppid=32475 vsize=684300 CPUtime=11.11 cores=0,2,4,6
/proc/32476/stat : 32476 (priss) S 32475 32475 30862 0 -1 4202496 204866 0 0 0 1057 54 0 0 25 0 5 0 595045017 700723200 105953 33554432000 4194304 5787044 140734141497072 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/32476/statm: 171075 105953 349 389 0 166825 0
[pid=32476/tid=32478] ppid=32475 vsize=684300 CPUtime=2.75 cores=0,2,4,6
/proc/32476/task/32478/stat : 32478 (priss) R 32475 32475 30862 0 -1 4202560 40178 0 0 0 263 12 0 0 21 0 5 0 595045047 700723200 105953 33554432000 4194304 5787044 140734141497072 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=32476/tid=32479] ppid=32475 vsize=684300 CPUtime=2.65 cores=0,2,4,6
/proc/32476/task/32479/stat : 32479 (priss) R 32475 32475 30862 0 -1 4202560 40077 0 0 0 253 12 0 0 20 0 5 0 595045052 700723200 105953 33554432000 4194304 5787044 140734141497072 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=32476/tid=32480] ppid=32475 vsize=684300 CPUtime=2.63 cores=0,2,4,6
/proc/32476/task/32480/stat : 32480 (priss) R 32475 32475 30862 0 -1 4202560 41843 0 0 0 252 11 0 0 21 0 5 0 595045058 700723200 105953 33554432000 4194304 5787044 140734141497072 18446744073709551615 4330542 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32476/tid=32481] ppid=32475 vsize=684300 CPUtime=2.59 cores=0,2,4,6
/proc/32476/task/32481/stat : 32481 (priss) R 32475 32475 30862 0 -1 4202560 40952 0 0 0 247 12 0 0 21 0 5 0 595045064 700723200 105953 33554432000 4194304 5787044 140734141497072 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.11
Current children cumulated vsize (KiB) 693000

[startup+6.30076 s]
/proc/loadavg: 7.61 7.89 7.96 9/188 32481
/proc/meminfo: memFree=20578352/32950928 swapFree=67071984/67111528
[pid=32475] ppid=32473 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32475/stat : 32475 (prissAuto.sh) S 32473 32475 30862 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 595045017 8908800 251 33554432000 4194304 4922060 140737245490640 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32475/statm: 2175 251 211 178 0 68 0
[pid=32476] ppid=32475 vsize=680280 CPUtime=23.88 cores=0,2,4,6
/proc/32476/stat : 32476 (priss) S 32475 32475 30862 0 -1 4202496 223219 0 0 0 2327 61 0 0 25 0 5 0 595045017 696606720 117795 33554432000 4194304 5787044 140734141497072 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/32476/statm: 170070 117795 352 389 0 165820 0
[pid=32476/tid=32478] ppid=32475 vsize=680280 CPUtime=5.94 cores=0,2,4,6
/proc/32476/task/32478/stat : 32478 (priss) R 32475 32475 30862 0 -1 4202560 44057 0 0 0 582 12 0 0 25 0 5 0 595045047 696606720 117795 33554432000 4194304 5787044 140734141497072 18446744073709551615 4278583 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=32476/tid=32479] ppid=32475 vsize=680280 CPUtime=5.83 cores=0,2,4,6
/proc/32476/task/32479/stat : 32479 (priss) R 32475 32475 30862 0 -1 4202560 45058 0 0 0 569 14 0 0 25 0 5 0 595045052 696606720 117795 33554432000 4194304 5787044 140734141497072 18446744073709551615 260905052837 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=32476/tid=32480] ppid=32475 vsize=680280 CPUtime=5.82 cores=0,2,4,6
/proc/32476/task/32480/stat : 32480 (priss) R 32475 32475 30862 0 -1 4202560 48801 0 0 0 568 14 0 0 19 0 5 0 595045058 696606720 117795 33554432000 4194304 5787044 140734141497072 18446744073709551615 4275920 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32476/tid=32481] ppid=32475 vsize=680280 CPUtime=5.78 cores=0,2,4,6
/proc/32476/task/32481/stat : 32481 (priss) R 32475 32475 30862 0 -1 4202560 43487 0 0 0 565 13 0 0 19 0 5 0 595045064 696606720 117795 33554432000 4194304 5787044 140734141497072 18446744073709551615 4278467 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.88
Current children cumulated vsize (KiB) 688980

[startup+12.7006 s]
/proc/loadavg: 7.67 7.89 7.96 9/188 32481
/proc/meminfo: memFree=20543524/32950928 swapFree=67071984/67111528
[pid=32475] ppid=32473 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32475/stat : 32475 (prissAuto.sh) S 32473 32475 30862 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 595045017 8908800 251 33554432000 4194304 4922060 140737245490640 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32475/statm: 2175 251 211 178 0 68 0
[pid=32476] ppid=32475 vsize=741456 CPUtime=49.44 cores=0,2,4,6
/proc/32476/stat : 32476 (priss) S 32475 32475 30862 0 -1 4202496 238530 0 0 0 4881 63 0 0 25 0 5 0 595045017 759250944 133106 33554432000 4194304 5787044 140734141497072 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/32476/statm: 185364 133106 353 389 0 181114 0
[pid=32476/tid=32478] ppid=32475 vsize=741456 CPUtime=12.34 cores=0,2,4,6
/proc/32476/task/32478/stat : 32478 (priss) R 32475 32475 30862 0 -1 4202560 59352 0 0 0 1220 14 0 0 25 0 5 0 595045047 759250944 133106 33554432000 4194304 5787044 140734141497072 18446744073709551615 47950807364759 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=32476/tid=32479] ppid=32475 vsize=741456 CPUtime=12.2 cores=0,2,4,6
/proc/32476/task/32479/stat : 32479 (priss) R 32475 32475 30862 0 -1 4202560 45066 0 0 0 1206 14 0 0 25 0 5 0 595045052 759250944 133106 33554432000 4194304 5787044 140734141497072 18446744073709551615 4336744 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=32476/tid=32480] ppid=32475 vsize=741456 CPUtime=12.22 cores=0,2,4,6
/proc/32476/task/32480/stat : 32480 (priss) R 32475 32475 30862 0 -1 4202560 48801 0 0 0 1208 14 0 0 25 0 5 0 595045058 759250944 133106 33554432000 4194304 5787044 140734141497072 18446744073709551615 4336181 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32476/tid=32481] ppid=32475 vsize=741456 CPUtime=12.18 cores=0,2,4,6
/proc/32476/task/32481/stat : 32481 (priss) R 32475 32475 30862 0 -1 4202560 43495 0 0 0 1205 13 0 0 25 0 5 0 595045064 759250944 133106 33554432000 4194304 5787044 140734141497072 18446744073709551615 4336808 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.44
Current children cumulated vsize (KiB) 750156

[startup+25.5012 s]
/proc/loadavg: 7.79 7.91 7.96 9/188 32481
/proc/meminfo: memFree=20250916/32950928 swapFree=67071984/67111528
[pid=32475] ppid=32473 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32475/stat : 32475 (prissAuto.sh) S 32473 32475 30862 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 595045017 8908800 251 33554432000 4194304 4922060 140737245490640 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32475/statm: 2175 251 211 178 0 68 0
[pid=32476] ppid=32475 vsize=962864 CPUtime=100.55 cores=0,2,4,6
/proc/32476/stat : 32476 (priss) S 32475 32475 30862 0 -1 4202496 363184 0 0 0 9970 85 0 0 25 0 5 0 595045017 985972736 177122 33554432000 4194304 5787044 140734141497072 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/32476/statm: 240716 177122 416 389 0 236466 0
[pid=32476/tid=32478] ppid=32475 vsize=962864 CPUtime=25.15 cores=0,2,4,6
/proc/32476/task/32478/stat : 32478 (priss) R 32475 32475 30862 0 -1 4202560 77695 0 0 0 2499 16 0 0 25 0 5 0 595045047 985972736 177122 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220668 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=32476/tid=32479] ppid=32475 vsize=962864 CPUtime=24.93 cores=0,2,4,6
/proc/32476/task/32479/stat : 32479 (priss) R 32475 32475 30862 0 -1 4202560 77616 0 0 0 2473 20 0 0 25 0 5 0 595045052 985972736 177122 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220782 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=32476/tid=32480] ppid=32475 vsize=962864 CPUtime=25.01 cores=0,2,4,6
/proc/32476/task/32480/stat : 32480 (priss) R 32475 32475 30862 0 -1 4202560 80621 0 0 0 2480 21 0 0 25 0 5 0 595045058 985972736 177122 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220347 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32476/tid=32481] ppid=32475 vsize=962864 CPUtime=24.98 cores=0,2,4,6
/proc/32476/task/32481/stat : 32481 (priss) R 32475 32475 30862 0 -1 4202560 85436 0 0 0 2476 22 0 0 25 0 5 0 595045064 985972736 177122 33554432000 4194304 5787044 140734141497072 18446744073709551615 4336781 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.55
Current children cumulated vsize (KiB) 971564

[startup+51.1005 s]
/proc/loadavg: 7.93 7.93 7.97 9/188 32482
/proc/meminfo: memFree=20201840/32950928 swapFree=67071984/67111528
[pid=32475] ppid=32473 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32475/stat : 32475 (prissAuto.sh) S 32473 32475 30862 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 595045017 8908800 251 33554432000 4194304 4922060 140737245490640 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32475/statm: 2175 251 211 178 0 68 0
[pid=32476] ppid=32475 vsize=1014072 CPUtime=202.81 cores=0,2,4,6
/proc/32476/stat : 32476 (priss) S 32475 32475 30862 0 -1 4202496 391914 0 0 0 20191 90 0 0 25 0 5 0 595045017 1038409728 183829 33554432000 4194304 5787044 140734141497072 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/32476/statm: 253518 183829 418 389 0 249268 0
[pid=32476/tid=32478] ppid=32475 vsize=1014072 CPUtime=50.75 cores=0,2,4,6
/proc/32476/task/32478/stat : 32478 (priss) R 32475 32475 30862 0 -1 4202560 78853 0 0 0 5059 16 0 0 25 0 5 0 595045047 1038409728 183829 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220225 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=32476/tid=32479] ppid=32475 vsize=1014072 CPUtime=50.38 cores=0,2,4,6
/proc/32476/task/32479/stat : 32479 (priss) R 32475 32475 30862 0 -1 4202560 84864 0 0 0 5018 20 0 0 25 0 5 0 595045052 1038409728 183829 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220241 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=32476/tid=32480] ppid=32475 vsize=1014072 CPUtime=50.6 cores=0,2,4,6
/proc/32476/task/32480/stat : 32480 (priss) R 32475 32475 30862 0 -1 4202560 81547 0 0 0 5039 21 0 0 25 0 5 0 595045058 1038409728 183829 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220738 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32476/tid=32481] ppid=32475 vsize=1014072 CPUtime=50.58 cores=0,2,4,6
/proc/32476/task/32481/stat : 32481 (priss) R 32475 32475 30862 0 -1 4202560 104834 0 0 0 5033 25 0 0 25 0 5 0 595045064 1038409728 183829 33554432000 4194304 5787044 140734141497072 18446744073709551615 4336770 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 202.81
Current children cumulated vsize (KiB) 1022772

[startup+102.306 s]
/proc/loadavg: 8.09 7.97 7.98 9/188 32484
/proc/meminfo: memFree=20065228/32950928 swapFree=67071984/67111528
[pid=32475] ppid=32473 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32475/stat : 32475 (prissAuto.sh) S 32473 32475 30862 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 595045017 8908800 251 33554432000 4194304 4922060 140737245490640 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32475/statm: 2175 251 211 178 0 68 0
[pid=32476] ppid=32475 vsize=1016064 CPUtime=407.36 cores=0,2,4,6
/proc/32476/stat : 32476 (priss) S 32475 32475 30862 0 -1 4202496 416668 0 0 0 40641 95 0 0 25 0 5 0 595045017 1040449536 197807 33554432000 4194304 5787044 140734141497072 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/32476/statm: 254016 197807 418 389 0 249766 0
[pid=32476/tid=32478] ppid=32475 vsize=1016064 CPUtime=101.95 cores=0,2,4,6
/proc/32476/task/32478/stat : 32478 (priss) R 32475 32475 30862 0 -1 4202560 82892 0 0 0 10178 17 0 0 25 0 5 0 595045047 1040449536 197807 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220878 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=32476/tid=32479] ppid=32475 vsize=1016064 CPUtime=101.31 cores=0,2,4,6
/proc/32476/task/32479/stat : 32479 (priss) R 32475 32475 30862 0 -1 4202560 89215 0 0 0 10110 21 0 0 25 0 5 0 595045052 1040449536 197807 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220708 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=32476/tid=32480] ppid=32475 vsize=1016064 CPUtime=101.81 cores=0,2,4,6
/proc/32476/task/32480/stat : 32480 (priss) R 32475 32475 30862 0 -1 4202560 84716 0 0 0 10158 23 0 0 25 0 5 0 595045058 1040449536 197807 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220814 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32476/tid=32481] ppid=32475 vsize=1016064 CPUtime=101.79 cores=0,2,4,6

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

/proc/32476/task/32479/stat : 32479 (priss) R 32475 32475 30862 0 -1 4202560 179903 0 0 0 81610 51 0 0 25 0 5 0 595045052 2125471744 442513 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220542 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=32476/tid=32480] ppid=32475 vsize=2075656 CPUtime=821.74 cores=0,2,4,6
/proc/32476/task/32480/stat : 32480 (priss) R 32475 32475 30862 0 -1 4202560 142750 0 0 0 82129 45 0 0 25 0 5 0 595045058 2125471744 442513 33554432000 4194304 5787044 140734141497072 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32476/tid=32481] ppid=32475 vsize=2075656 CPUtime=821.81 cores=0,2,4,6
/proc/32476/task/32481/stat : 32481 (priss) R 32475 32475 30862 0 -1 4202560 175093 0 0 0 82144 37 0 0 25 0 5 0 595045064 2125471744 442513 33554432000 4194304 5787044 140734141497072 18446744073709551615 4337006 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3282.6
Current children cumulated vsize (KiB) 2084356

[startup+882.301 s]
/proc/loadavg: 8.08 8.09 8.03 9/188 32507
/proc/meminfo: memFree=17702572/32950928 swapFree=67071984/67111528
[pid=32475] ppid=32473 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32475/stat : 32475 (prissAuto.sh) S 32473 32475 30862 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 595045017 8908800 251 33554432000 4194304 4922060 140737245490640 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32475/statm: 2175 251 211 178 0 68 0
[pid=32476] ppid=32475 vsize=2075656 CPUtime=3522.26 cores=0,2,4,6
/proc/32476/stat : 32476 (priss) S 32475 32475 30862 0 -1 4202496 708884 0 0 0 352042 184 0 0 25 0 5 0 595045017 2125471744 448191 33554432000 4194304 5787044 140734141497072 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/32476/statm: 518914 448191 418 389 0 514664 0
[pid=32476/tid=32478] ppid=32475 vsize=2075656 CPUtime=881.96 cores=0,2,4,6
/proc/32476/task/32478/stat : 32478 (priss) R 32475 32475 30862 0 -1 4202560 169321 0 0 0 88152 44 0 0 25 0 5 0 595045047 2125471744 448191 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220881 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=32476/tid=32479] ppid=32475 vsize=2075656 CPUtime=876.27 cores=0,2,4,6
/proc/32476/task/32479/stat : 32479 (priss) R 32475 32475 30862 0 -1 4202560 179904 0 0 0 87576 51 0 0 25 0 5 0 595045052 2125471744 448191 33554432000 4194304 5787044 140734141497072 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=32476/tid=32480] ppid=32475 vsize=2075656 CPUtime=881.73 cores=0,2,4,6
/proc/32476/task/32480/stat : 32480 (priss) R 32475 32475 30862 0 -1 4202560 142750 0 0 0 88128 45 0 0 25 0 5 0 595045058 2125471744 448191 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220688 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32476/tid=32481] ppid=32475 vsize=2075656 CPUtime=881.81 cores=0,2,4,6
/proc/32476/task/32481/stat : 32481 (priss) R 32475 32475 30862 0 -1 4202560 175093 0 0 0 88144 37 0 0 25 0 5 0 595045064 2125471744 448191 33554432000 4194304 5787044 140734141497072 18446744073709551615 4337001 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3522.26
Current children cumulated vsize (KiB) 2084356

[startup+942.301 s]
/proc/loadavg: 8.15 8.10 8.03 9/188 32509
/proc/meminfo: memFree=17528812/32950928 swapFree=67071984/67111528
[pid=32475] ppid=32473 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32475/stat : 32475 (prissAuto.sh) S 32473 32475 30862 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 595045017 8908800 251 33554432000 4194304 4922060 140737245490640 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32475/statm: 2175 251 211 178 0 68 0
[pid=32476] ppid=32475 vsize=2075656 CPUtime=3761.93 cores=0,2,4,6
/proc/32476/stat : 32476 (priss) S 32475 32475 30862 0 -1 4202496 719004 0 0 0 376005 188 0 0 25 0 5 0 595045017 2125471744 458311 33554432000 4194304 5787044 140734141497072 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/32476/statm: 518914 458311 418 389 0 514664 0
[pid=32476/tid=32478] ppid=32475 vsize=2075656 CPUtime=941.96 cores=0,2,4,6
/proc/32476/task/32478/stat : 32478 (priss) R 32475 32475 30862 0 -1 4202560 179441 0 0 0 94147 49 0 0 25 0 5 0 595045047 2125471744 458311 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220688 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=32476/tid=32479] ppid=32475 vsize=2075656 CPUtime=935.95 cores=0,2,4,6
/proc/32476/task/32479/stat : 32479 (priss) R 32475 32475 30862 0 -1 4202560 179904 0 0 0 93544 51 0 0 25 0 5 0 595045052 2125471744 458311 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220225 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=32476/tid=32480] ppid=32475 vsize=2075656 CPUtime=941.72 cores=0,2,4,6
/proc/32476/task/32480/stat : 32480 (priss) R 32475 32475 30862 0 -1 4202560 142750 0 0 0 94127 45 0 0 25 0 5 0 595045058 2125471744 458311 33554432000 4194304 5787044 140734141497072 18446744073709551615 5590640 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32476/tid=32481] ppid=32475 vsize=2075656 CPUtime=941.81 cores=0,2,4,6
/proc/32476/task/32481/stat : 32481 (priss) R 32475 32475 30862 0 -1 4202560 175093 0 0 0 94144 37 0 0 25 0 5 0 595045064 2125471744 458311 33554432000 4194304 5787044 140734141497072 18446744073709551615 4337006 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3761.93
Current children cumulated vsize (KiB) 2084356

[startup+1002.3 s]
/proc/loadavg: 8.26 8.13 8.04 9/188 32544
/proc/meminfo: memFree=20993172/32950928 swapFree=67071984/67111528
[pid=32475] ppid=32473 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32475/stat : 32475 (prissAuto.sh) S 32473 32475 30862 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 595045017 8908800 251 33554432000 4194304 4922060 140737245490640 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32475/statm: 2175 251 211 178 0 68 0
[pid=32476] ppid=32475 vsize=2206728 CPUtime=4001.61 cores=0,2,4,6
/proc/32476/stat : 32476 (priss) S 32475 32475 30862 0 -1 4202496 754545 0 0 0 399958 203 0 0 25 0 5 0 595045017 2259689472 493852 33554432000 4194304 5787044 140734141497072 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/32476/statm: 551682 493852 418 389 0 547432 0
[pid=32476/tid=32478] ppid=32475 vsize=2206728 CPUtime=1001.96 cores=0,2,4,6
/proc/32476/task/32478/stat : 32478 (priss) R 32475 32475 30862 0 -1 4202560 197651 0 0 0 100141 55 0 0 25 0 5 0 595045047 2259689472 493852 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220738 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=32476/tid=32479] ppid=32475 vsize=2206728 CPUtime=995.62 cores=0,2,4,6
/proc/32476/task/32479/stat : 32479 (priss) R 32475 32475 30862 0 -1 4202560 181650 0 0 0 99510 52 0 0 25 0 5 0 595045052 2259689472 493852 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220778 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=32476/tid=32480] ppid=32475 vsize=2206728 CPUtime=1001.71 cores=0,2,4,6
/proc/32476/task/32480/stat : 32480 (priss) R 32475 32475 30862 0 -1 4202560 153889 0 0 0 100121 50 0 0 25 0 5 0 595045058 2259689472 493852 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220834 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32476/tid=32481] ppid=32475 vsize=2206728 CPUtime=1001.81 cores=0,2,4,6
/proc/32476/task/32481/stat : 32481 (priss) R 32475 32475 30862 0 -1 4202560 179539 0 0 0 100143 38 0 0 25 0 5 0 595045064 2259689472 493852 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220576 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4001.61
Current children cumulated vsize (KiB) 2215428

[startup+1062.3 s]
/proc/loadavg: 8.15 8.12 8.04 9/188 32545
/proc/meminfo: memFree=20741424/32950928 swapFree=67071984/67111528
[pid=32475] ppid=32473 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32475/stat : 32475 (prissAuto.sh) S 32473 32475 30862 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 595045017 8908800 251 33554432000 4194304 4922060 140737245490640 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32475/statm: 2175 251 211 178 0 68 0
[pid=32476] ppid=32475 vsize=2368348 CPUtime=4241.26 cores=0,2,4,6
/proc/32476/stat : 32476 (priss) S 32475 32475 30862 0 -1 4202496 812501 0 0 0 423907 219 0 0 25 0 5 0 595045017 2425188352 545360 33554432000 4194304 5787044 140734141497072 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/32476/statm: 592087 545360 418 389 0 587837 0
[pid=32476/tid=32478] ppid=32475 vsize=2368348 CPUtime=1061.96 cores=0,2,4,6
/proc/32476/task/32478/stat : 32478 (priss) R 32475 32475 30862 0 -1 4202560 210245 0 0 0 106137 59 0 0 25 0 5 0 595045047 2425188352 545360 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220878 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=32476/tid=32479] ppid=32475 vsize=2368348 CPUtime=1055.3 cores=0,2,4,6
/proc/32476/task/32479/stat : 32479 (priss) R 32475 32475 30862 0 -1 4202560 205562 0 0 0 105473 57 0 0 25 0 5 0 595045052 2425188352 545360 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220335 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=32476/tid=32480] ppid=32475 vsize=2368348 CPUtime=1061.71 cores=0,2,4,6
/proc/32476/task/32480/stat : 32480 (priss) R 32475 32475 30862 0 -1 4202560 154727 0 0 0 106120 51 0 0 25 0 5 0 595045058 2425188352 545360 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220699 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32476/tid=32481] ppid=32475 vsize=2368348 CPUtime=1061.81 cores=0,2,4,6
/proc/32476/task/32481/stat : 32481 (priss) R 32475 32475 30862 0 -1 4202560 200151 0 0 0 106136 45 0 0 25 0 5 0 595045064 2425188352 545360 33554432000 4194304 5787044 140734141497072 18446744073709551615 4332669 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4241.26
Current children cumulated vsize (KiB) 2377048

[startup+1122.3 s]
/proc/loadavg: 8.11 8.11 8.04 9/188 32547
/proc/meminfo: memFree=20567128/32950928 swapFree=67071984/67111528
[pid=32475] ppid=32473 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32475/stat : 32475 (prissAuto.sh) S 32473 32475 30862 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 595045017 8908800 251 33554432000 4194304 4922060 140737245490640 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32475/statm: 2175 251 211 178 0 68 0
[pid=32476] ppid=32475 vsize=2578456 CPUtime=4480.91 cores=0,2,4,6
/proc/32476/stat : 32476 (priss) S 32475 32475 30862 0 -1 4202496 849715 0 0 0 447863 228 0 0 25 0 5 0 595045017 2640338944 581936 33554432000 4194304 5787044 140734141497072 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/32476/statm: 644614 581936 418 389 0 640364 0
[pid=32476/tid=32478] ppid=32475 vsize=2578456 CPUtime=1121.96 cores=0,2,4,6
/proc/32476/task/32478/stat : 32478 (priss) R 32475 32475 30862 0 -1 4202560 216005 0 0 0 112135 61 0 0 25 0 5 0 595045047 2640338944 581936 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220347 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=32476/tid=32479] ppid=32475 vsize=2578456 CPUtime=1115.02 cores=0,2,4,6
/proc/32476/task/32479/stat : 32479 (priss) R 32475 32475 30862 0 -1 4202560 220893 0 0 0 111440 62 0 0 25 0 5 0 595045052 2640338944 581936 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220855 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32476/tid=32480] ppid=32475 vsize=2578456 CPUtime=1121.63 cores=0,2,4,6
/proc/32476/task/32480/stat : 32480 (priss) R 32475 32475 30862 0 -1 4202560 166237 0 0 0 112110 53 0 0 25 0 5 0 595045058 2640338944 581936 33554432000 4194304 5787044 140734141497072 18446744073709551615 4227997 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=32476/tid=32481] ppid=32475 vsize=2578456 CPUtime=1121.81 cores=0,2,4,6
/proc/32476/task/32481/stat : 32481 (priss) R 32475 32475 30862 0 -1 4202560 204764 0 0 0 112136 45 0 0 25 0 5 0 595045064 2640338944 581936 33554432000 4194304 5787044 140734141497072 18446744073709551615 4336781 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4480.91
Current children cumulated vsize (KiB) 2587156

[startup+1182.3 s]
/proc/loadavg: 8.19 8.13 8.05 9/188 32548
/proc/meminfo: memFree=20530296/32950928 swapFree=67071984/67111528
[pid=32475] ppid=32473 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32475/stat : 32475 (prissAuto.sh) S 32473 32475 30862 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 595045017 8908800 251 33554432000 4194304 4922060 140737245490640 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32475/statm: 2175 251 211 178 0 68 0
[pid=32476] ppid=32475 vsize=2578456 CPUtime=4720.54 cores=0,2,4,6
/proc/32476/stat : 32476 (priss) S 32475 32475 30862 0 -1 4202496 850376 0 0 0 471825 229 0 0 25 0 5 0 595045017 2640338944 582502 33554432000 4194304 5787044 140734141497072 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/32476/statm: 644614 582502 418 389 0 640364 0
[pid=32476/tid=32478] ppid=32475 vsize=2578456 CPUtime=1181.87 cores=0,2,4,6
/proc/32476/task/32478/stat : 32478 (priss) R 32475 32475 30862 0 -1 4202560 216046 0 0 0 118126 61 0 0 25 0 5 0 595045047 2640338944 582502 33554432000 4194304 5787044 140734141497072 18446744073709551615 4227995 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=32476/tid=32479] ppid=32475 vsize=2578456 CPUtime=1174.99 cores=0,2,4,6
/proc/32476/task/32479/stat : 32479 (priss) R 32475 32475 30862 0 -1 4202560 220909 0 0 0 117437 62 0 0 25 0 5 0 595045052 2640338944 582502 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220648 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=32476/tid=32480] ppid=32475 vsize=2578456 CPUtime=1181.38 cores=0,2,4,6
/proc/32476/task/32480/stat : 32480 (priss) R 32475 32475 30862 0 -1 4202560 166237 0 0 0 118085 53 0 0 25 0 5 0 595045058 2640338944 582502 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220699 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32476/tid=32481] ppid=32475 vsize=2578456 CPUtime=1181.81 cores=0,2,4,6
/proc/32476/task/32481/stat : 32481 (priss) R 32475 32475 30862 0 -1 4202560 205368 0 0 0 118136 45 0 0 25 0 5 0 595045064 2640338944 582502 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220738 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4720.54
Current children cumulated vsize (KiB) 2587156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.2 s]
/proc/loadavg: 8.14 8.12 8.05 9/188 32549
/proc/meminfo: memFree=20504132/32950928 swapFree=67071984/67111528
[pid=32475] ppid=32473 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/32475/stat : 32475 (prissAuto.sh) S 32473 32475 30862 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 595045017 8908800 251 33554432000 4194304 4922060 140737245490640 18446744073709551615 260905213061 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0
/proc/32475/statm: 2175 251 211 178 0 68 0
[pid=32476] ppid=32475 vsize=2578456 CPUtime=4800.06 cores=0,2,4,6
/proc/32476/stat : 32476 (priss) S 32475 32475 30862 0 -1 4202496 850376 0 0 0 479777 229 0 0 25 0 5 0 595045017 2640338944 582502 33554432000 4194304 5787044 140734141497072 18446744073709551615 260917217713 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/32476/statm: 644614 582502 418 389 0 640364 0
[pid=32476/tid=32478] ppid=32475 vsize=2578456 CPUtime=1201.66 cores=0,2,4,6
/proc/32476/task/32478/stat : 32478 (priss) R 32475 32475 30862 0 -1 4202560 216046 0 0 0 120105 61 0 0 25 0 5 0 595045047 2640338944 582502 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220798 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=32476/tid=32479] ppid=32475 vsize=2578456 CPUtime=1194.9 cores=0,2,4,6
/proc/32476/task/32479/stat : 32479 (priss) R 32475 32475 30862 0 -1 4202560 220909 0 0 0 119428 62 0 0 25 0 5 0 595045052 2640338944 582502 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220304 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=32476/tid=32480] ppid=32475 vsize=2578456 CPUtime=1201.28 cores=0,2,4,6
/proc/32476/task/32480/stat : 32480 (priss) R 32475 32475 30862 0 -1 4202560 166237 0 0 0 120075 53 0 0 25 0 5 0 595045058 2640338944 582502 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220855 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=32476/tid=32481] ppid=32475 vsize=2578456 CPUtime=1201.72 cores=0,2,4,6
/proc/32476/task/32481/stat : 32481 (priss) R 32475 32475 30862 0 -1 4202560 205368 0 0 0 120127 45 0 0 25 0 5 0 595045064 2640338944 582502 33554432000 4194304 5787044 140734141497072 18446744073709551615 4220674 0 0 4096 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 2587156

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

Real time (s): 1202.22
CPU time (s): 4800.06
CPU user time (s): 4797.77
CPU system time (s): 2.29
CPU usage (%): 399.265
Max. virtual memory (cumulated for all children) (KiB): 2587156

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

runsolver used 1.9927 second user time and 4.5763 second system time

The end

Launcher Data 

Begin job on node116 at 2011-04-29 05:35:43
IDJOB=3285570
IDBENCH=82389
IDSOLVER=1602
FILE ID=node116/3285570-1304048143
RUNJOBID= node116-1304036428-30880
PBS_JOBID= 13170355
Free space on /tmp= 72440 MiB

SOLVER NAME= priss Auto
BENCH NAME= SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf
COMMAND LINE= DIR/prissAuto.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3285570-1304048143/watcher-3285570-1304048143 -o /tmp/evaluation-result-3285570-1304048143/solver-3285570-1304048143 -C 4800 -W 1300 -M 15500  HOME/prissAuto.sh HOME HOME/instance-3285570-1304048143.cnf 762286547 4800 15500 4

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

MD5SUM BENCH= 4ab53801f3b1a3f7169c9fb38cba4184
RANDOM SEED=762286547

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      21037724 kB
Buffers:       1899324 kB
Cached:        6984368 kB
SwapCached:       9732 kB
Active:        6983568 kB
Inactive:      4489476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21037724 kB
SwapTotal:    67111528 kB
SwapFree:     67071984 kB
Dirty:           21864 kB
Writeback:           0 kB
AnonPages:     2582856 kB
Mapped:          14760 kB
Slab:           370880 kB
PageTables:      10056 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  3028760 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= 72480 MiB
End job on node116 at 2011-04-29 05:55:48