Trace number 3280327

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.21 1202.12

General information on the benchmark

Nameindustrial/anbulagan/
hard-unsat/dated-10-17-u.cnf
MD5SUM780d946576ec5746b4ea9832bb01dbc5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1033.89
Satisfiable
(Un)Satisfiability was proved
Number of variables229544
Number of clauses1070757
Sum of the clauses size2471122
Maximum clause length10
Minimum clause length1
Number of clauses of size 119156
Number of clauses of size 2831957
Number of clauses of size 3176604
Number of clauses of size 44780
Number of clauses of size 519120
Number of clauses of size over 519140

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: 22232
0.00/0.27	c parsetime: 271219us
0.00/0.27	c parsed 1070757 clauses with 229544 variables
0.00/0.34	c NW started thread 0 successfully (1109653824)
0.00/0.40	c NW started thread 1 successfully (1120143680)
0.00/0.48	c NW started thread 2 successfully (1130633536)
0.00/0.55	c NW started thread 3 successfully (1141123392)
114.64/29.15	c preprocessor returned 229544 variables
114.64/29.15	c preprocessing returned UNKNOWN
114.64/29.15	c PP set 143897 variables
114.64/29.15	c pp time: 28767624us (28s)
115.84/29.46	c preprocessor returned 229544 variables
115.84/29.46	c preprocessing returned UNKNOWN
115.84/29.46	c PP set 143897 variables
115.84/29.46	c pp time: 28841788us (28s)
117.43/29.85	c preprocessor returned 229544 variables
117.43/29.85	c preprocessing returned UNKNOWN
117.43/29.85	c PP set 143897 variables
117.43/29.85	c pp time: 29396014us (29s)
117.84/29.92	c preprocessor returned 229544 variables
117.84/29.92	c preprocessing returned UNKNOWN
117.84/29.92	c PP set 143897 variables
117.84/29.92	c pp time: 29377205us (29s)
122.23/31.02	c HTE
127.02/32.27	c subsumption
127.82/32.42	c simplified formula contains 0 unit clauses
131.42/33.36	c HTE
135.01/34.23	c subsumption
135.41/34.32	c simplified formula contains 0 unit clauses
138.21/35.02	c HTE
140.60/35.67	c subsumption
141.00/35.75	c simplified formula contains 0 unit clauses
141.00/35.76	c received clause contains eliminated literal -156825
141.00/35.76	c received clause contains eliminated literal -28306
141.00/35.76	c received clause contains eliminated literal -224220
143.02/36.25	c HTE
144.60/36.68	c subsumption
145.00/36.74	c simplified formula contains 0 unit clauses
145.00/36.75	c received clause contains eliminated literal -97427
146.60/37.12	c HTE
147.81/37.48	c subsumption
148.19/37.54	c simplified formula contains 0 unit clauses
154.58/39.18	c HTE
156.21/39.58	c subsumption
156.61/39.66	c simplified formula contains 0 unit clauses
158.18/40.04	c HTE
159.38/40.39	c subsumption
159.78/40.46	c simplified formula contains 0 unit clauses
162.57/41.12	c HTE
163.78/41.42	c subsumption
163.78/41.48	c simplified formula contains 0 unit clauses
176.55/44.62	c received clause contains eliminated literal -86488
178.57/45.11	c received clause contains eliminated literal -52721
180.15/45.52	c HTE
181.35/45.80	c subsumption
181.75/45.92	c simplified formula contains 0 unit clauses
194.14/49.03	c received clause contains eliminated literal -124820
194.54/49.12	c received clause contains eliminated literal -86155
196.93/49.74	c received clause contains eliminated literal -43740
199.73/50.50	c received clause contains eliminated literal -23465
212.11/53.51	c received clause contains eliminated literal -131985
238.47/60.19	c HTE
240.46/60.62	c subsumption
241.66/60.91	c simplified formula contains 0 unit clauses
284.03/71.57	c received clause contains eliminated literal -106357
304.78/76.79	c received clause contains eliminated literal -34614
361.50/90.91	c HTE
366.70/92.28	c subsumption
369.49/92.91	c simplified formula contains 0 unit clauses
417.43/104.98	c received clause contains eliminated literal -52485
621.96/156.13	c received clause contains eliminated literal -18217
643.12/161.44	c received clause contains eliminated literal -43664
647.91/162.67	c HTE
652.30/163.77	c subsumption
678.27/170.26	c simplified formula contains 0 unit clauses
691.45/173.52	c received clause contains eliminated literal -45825
758.57/190.32	c HTE
765.75/192.11	c subsumption
770.14/193.22	c simplified formula contains 0 unit clauses
1058.95/265.50	c received clause contains eliminated literal -53138
1138.03/285.32	c received clause contains eliminated literal -36930
1199.14/300.65	c received clause contains eliminated literal -43703
1468.77/368.16	c received clause contains eliminated literal -133663
1588.22/398.03	c received clause contains eliminated literal -34614
1838.67/460.72	c received clause contains eliminated literal -208044
2043.58/512.09	c HTE
2135.86/535.17	c subsumption
2336.77/585.43	c simplified formula contains 0 unit clauses
2336.77/585.49	c received clause contains eliminated literal -34046
2610.79/654.05	c received clause contains eliminated literal 22271
3234.74/810.26	c received clause contains eliminated literal -43740

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-3280327-1304037062/watcher-3280327-1304037062 -o /tmp/evaluation-result-3280327-1304037062/solver-3280327-1304037062 -C 4800 -W 1300 -M 15500 HOME/priss.sh HOME HOME/instance-3280327-1304037062.cnf 1909348242 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.87 8.03 7.99 6/182 22231
/proc/meminfo: memFree=13460132/32951124 swapFree=67111528/67111528
[pid=22231] ppid=22229 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22231/stat : 22231 (priss.sh) S 22229 22231 22103 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 496122163 8908800 252 33554432000 4194304 4922060 140736340693248 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22231/statm: 2175 252 211 178 0 68 0

[startup+0.0916771 s]
/proc/loadavg: 7.87 8.03 7.99 6/182 22231
/proc/meminfo: memFree=13460132/32951124 swapFree=67111528/67111528
[pid=22231] ppid=22229 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22231/stat : 22231 (priss.sh) S 22229 22231 22103 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 496122163 8908800 252 33554432000 4194304 4922060 140736340693248 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22231/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100642 s]
/proc/loadavg: 7.87 8.03 7.99 6/182 22231
/proc/meminfo: memFree=13460132/32951124 swapFree=67111528/67111528
[pid=22231] ppid=22229 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22231/stat : 22231 (priss.sh) S 22229 22231 22103 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 496122163 8908800 252 33554432000 4194304 4922060 140736340693248 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22231/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300609 s]
/proc/loadavg: 7.87 8.03 7.99 6/182 22231
/proc/meminfo: memFree=13460132/32951124 swapFree=67111528/67111528
[pid=22231] ppid=22229 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22231/stat : 22231 (priss.sh) S 22229 22231 22103 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 496122163 8908800 252 33554432000 4194304 4922060 140736340693248 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22231/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700496 s]
/proc/loadavg: 7.87 8.03 7.99 6/182 22231
/proc/meminfo: memFree=13460132/32951124 swapFree=67111528/67111528
[pid=22231] ppid=22229 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22231/stat : 22231 (priss.sh) S 22229 22231 22103 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 496122163 8908800 252 33554432000 4194304 4922060 140736340693248 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22231/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50035 s]
/proc/loadavg: 7.87 8.03 7.99 8/188 22237
/proc/meminfo: memFree=12733936/32951124 swapFree=67111528/67111528
[pid=22231] ppid=22229 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22231/stat : 22231 (priss.sh) S 22229 22231 22103 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 496122163 8908800 252 33554432000 4194304 4922060 140736340693248 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22231/statm: 2175 252 211 178 0 68 0
[pid=22232] ppid=22231 vsize=970172 CPUtime=4.51 cores=0,2,4,6
/proc/22232/stat : 22232 (priss) S 22231 22231 22103 0 -1 4202496 227893 0 0 0 397 54 0 0 18 0 5 0 496122163 993456128 198595 33554432000 4194304 5787044 140735079897856 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/22232/statm: 242543 198353 344 389 0 238293 0
[pid=22232/tid=22234] ppid=22231 vsize=970172 CPUtime=1.1 cores=0,2,4,6
/proc/22232/task/22234/stat : 22234 (priss) R 22231 22231 22103 0 -1 4202560 47662 0 0 0 97 13 0 0 18 0 5 0 496122197 993456128 198353 33554432000 4194304 5787044 140735079897856 18446744073709551615 233510340967 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=22232/tid=22235] ppid=22231 vsize=970172 CPUtime=1.01 cores=0,2,4,6
/proc/22232/task/22235/stat : 22235 (priss) R 22231 22231 22103 0 -1 4202560 45558 0 0 0 88 13 0 0 18 0 5 0 496122204 993456128 198353 33554432000 4194304 5787044 140735079897856 18446744073709551615 233509946482 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22232/tid=22236] ppid=22231 vsize=970172 CPUtime=0.94 cores=0,2,4,6
/proc/22232/task/22236/stat : 22236 (priss) R 22231 22231 22103 0 -1 4202560 43700 0 0 0 81 13 0 0 18 0 5 0 496122211 993456128 198353 33554432000 4194304 5787044 140735079897856 18446744073709551615 233509955318 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=22232/tid=22237] ppid=22231 vsize=970172 CPUtime=0.87 cores=0,2,4,6
/proc/22232/task/22237/stat : 22237 (priss) R 22231 22231 22103 0 -1 4202560 42725 0 0 0 80 7 0 0 18 0 5 0 496122219 993456128 198353 33554432000 4194304 5787044 140735079897856 18446744073709551615 233509955346 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.51
Current children cumulated vsize (KiB) 978872

[startup+3.10107 s]
/proc/loadavg: 7.87 8.03 7.99 9/188 22237
/proc/meminfo: memFree=12919192/32951124 swapFree=67111528/67111528
[pid=22231] ppid=22229 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22231/stat : 22231 (priss.sh) S 22229 22231 22103 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 496122163 8908800 252 33554432000 4194304 4922060 140736340693248 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22231/statm: 2175 252 211 178 0 68 0
[pid=22232] ppid=22231 vsize=759988 CPUtime=10.81 cores=0,2,4,6
/proc/22232/stat : 22232 (priss) S 22231 22231 22103 0 -1 4202496 241391 0 0 0 1022 59 0 0 18 0 5 0 496122163 778227712 134268 33554432000 4194304 5787044 140735079897856 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/22232/statm: 189997 134268 349 389 0 185747 0
[pid=22232/tid=22234] ppid=22231 vsize=759988 CPUtime=2.61 cores=0,2,4,6
/proc/22232/task/22234/stat : 22234 (priss) R 22231 22231 22103 0 -1 4202560 50998 0 0 0 247 14 0 0 19 0 5 0 496122197 778227712 134268 33554432000 4194304 5787044 140735079897856 18446744073709551615 4330518 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=22232/tid=22235] ppid=22231 vsize=759988 CPUtime=2.61 cores=0,2,4,6
/proc/22232/task/22235/stat : 22235 (priss) R 22231 22231 22103 0 -1 4202560 48925 0 0 0 246 15 0 0 20 0 5 0 496122204 778227712 134268 33554432000 4194304 5787044 140735079897856 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22232/tid=22236] ppid=22231 vsize=759988 CPUtime=2.53 cores=0,2,4,6
/proc/22232/task/22236/stat : 22236 (priss) R 22231 22231 22103 0 -1 4202560 47061 0 0 0 239 14 0 0 20 0 5 0 496122211 778227712 134268 33554432000 4194304 5787044 140735079897856 18446744073709551615 4330507 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=22232/tid=22237] ppid=22231 vsize=759988 CPUtime=2.47 cores=0,2,4,6
/proc/22232/task/22237/stat : 22237 (priss) R 22231 22231 22103 0 -1 4202560 46159 0 0 0 239 8 0 0 20 0 5 0 496122219 778227712 134268 33554432000 4194304 5787044 140735079897856 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 10.81
Current children cumulated vsize (KiB) 768688

[startup+6.3005 s]
/proc/loadavg: 7.88 8.03 7.99 9/188 22237
/proc/meminfo: memFree=12881940/32951124 swapFree=67111528/67111528
[pid=22231] ppid=22229 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22231/stat : 22231 (priss.sh) S 22229 22231 22103 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 496122163 8908800 252 33554432000 4194304 4922060 140736340693248 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22231/statm: 2175 252 211 178 0 68 0
[pid=22232] ppid=22231 vsize=759988 CPUtime=23.59 cores=0,2,4,6
/proc/22232/stat : 22232 (priss) S 22231 22231 22103 0 -1 4202496 241391 0 0 0 2300 59 0 0 18 0 5 0 496122163 778227712 134268 33554432000 4194304 5787044 140735079897856 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/22232/statm: 189997 134268 349 389 0 185747 0
[pid=22232/tid=22234] ppid=22231 vsize=759988 CPUtime=5.81 cores=0,2,4,6
/proc/22232/task/22234/stat : 22234 (priss) R 22231 22231 22103 0 -1 4202560 50998 0 0 0 567 14 0 0 25 0 5 0 496122197 778227712 134268 33554432000 4194304 5787044 140735079897856 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=22232/tid=22235] ppid=22231 vsize=759988 CPUtime=5.81 cores=0,2,4,6
/proc/22232/task/22235/stat : 22235 (priss) R 22231 22231 22103 0 -1 4202560 48925 0 0 0 566 15 0 0 25 0 5 0 496122204 778227712 134268 33554432000 4194304 5787044 140735079897856 18446744073709551615 4330542 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22232/tid=22236] ppid=22231 vsize=759988 CPUtime=5.72 cores=0,2,4,6
/proc/22232/task/22236/stat : 22236 (priss) R 22231 22231 22103 0 -1 4202560 47061 0 0 0 558 14 0 0 25 0 5 0 496122211 778227712 134268 33554432000 4194304 5787044 140735079897856 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=22232/tid=22237] ppid=22231 vsize=759988 CPUtime=5.67 cores=0,2,4,6
/proc/22232/task/22237/stat : 22237 (priss) R 22231 22231 22103 0 -1 4202560 46159 0 0 0 559 8 0 0 25 0 5 0 496122219 778227712 134268 33554432000 4194304 5787044 140735079897856 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 23.59
Current children cumulated vsize (KiB) 768688

[startup+12.7004 s]
/proc/loadavg: 7.89 8.03 7.99 9/188 22237
/proc/meminfo: memFree=12877640/32951124 swapFree=67111528/67111528
[pid=22231] ppid=22229 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22231/stat : 22231 (priss.sh) S 22229 22231 22103 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 496122163 8908800 252 33554432000 4194304 4922060 140736340693248 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22231/statm: 2175 252 211 178 0 68 0
[pid=22232] ppid=22231 vsize=759988 CPUtime=49.15 cores=0,2,4,6
/proc/22232/stat : 22232 (priss) S 22231 22231 22103 0 -1 4202496 241396 0 0 0 4856 59 0 0 18 0 5 0 496122163 778227712 134273 33554432000 4194304 5787044 140735079897856 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/22232/statm: 189997 134273 349 389 0 185747 0
[pid=22232/tid=22234] ppid=22231 vsize=759988 CPUtime=12.21 cores=0,2,4,6
/proc/22232/task/22234/stat : 22234 (priss) R 22231 22231 22103 0 -1 4202560 51000 0 0 0 1207 14 0 0 25 0 5 0 496122197 778227712 134273 33554432000 4194304 5787044 140735079897856 18446744073709551615 4330511 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=22232/tid=22235] ppid=22231 vsize=759988 CPUtime=12.21 cores=0,2,4,6
/proc/22232/task/22235/stat : 22235 (priss) R 22231 22231 22103 0 -1 4202560 48926 0 0 0 1206 15 0 0 25 0 5 0 496122204 778227712 134273 33554432000 4194304 5787044 140735079897856 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22232/tid=22236] ppid=22231 vsize=759988 CPUtime=12.08 cores=0,2,4,6
/proc/22232/task/22236/stat : 22236 (priss) R 22231 22231 22103 0 -1 4202560 47062 0 0 0 1194 14 0 0 25 0 5 0 496122211 778227712 134273 33554432000 4194304 5787044 140735079897856 18446744073709551615 4330524 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=22232/tid=22237] ppid=22231 vsize=759988 CPUtime=12.07 cores=0,2,4,6
/proc/22232/task/22237/stat : 22237 (priss) R 22231 22231 22103 0 -1 4202560 46160 0 0 0 1199 8 0 0 25 0 5 0 496122219 778227712 134273 33554432000 4194304 5787044 140735079897856 18446744073709551615 4330490 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 49.15
Current children cumulated vsize (KiB) 768688

[startup+25.5011 s]
/proc/loadavg: 7.99 8.04 7.99 9/188 22238
/proc/meminfo: memFree=12865964/32951124 swapFree=67111528/67111528
[pid=22231] ppid=22229 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22231/stat : 22231 (priss.sh) S 22229 22231 22103 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 496122163 8908800 252 33554432000 4194304 4922060 140736340693248 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22231/statm: 2175 252 211 178 0 68 0
[pid=22232] ppid=22231 vsize=756700 CPUtime=100.28 cores=0,2,4,6
/proc/22232/stat : 22232 (priss) S 22231 22231 22103 0 -1 4202496 244614 0 0 0 9969 59 0 0 18 0 5 0 496122163 774860800 136285 33554432000 4194304 5787044 140735079897856 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/22232/statm: 189175 136285 351 389 0 184925 0
[pid=22232/tid=22234] ppid=22231 vsize=756700 CPUtime=25.01 cores=0,2,4,6
/proc/22232/task/22234/stat : 22234 (priss) R 22231 22231 22103 0 -1 4202560 53930 0 0 0 2487 14 0 0 25 0 5 0 496122197 774860800 136285 33554432000 4194304 5787044 140735079897856 18446744073709551615 4390800 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=22232/tid=22235] ppid=22231 vsize=756700 CPUtime=25 cores=0,2,4,6
/proc/22232/task/22235/stat : 22235 (priss) R 22231 22231 22103 0 -1 4202560 49006 0 0 0 2485 15 0 0 25 0 5 0 496122204 774860800 136285 33554432000 4194304 5787044 140735079897856 18446744073709551615 4390876 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22232/tid=22236] ppid=22231 vsize=756700 CPUtime=24.81 cores=0,2,4,6
/proc/22232/task/22236/stat : 22236 (priss) R 22231 22231 22103 0 -1 4202560 47099 0 0 0 2467 14 0 0 25 0 5 0 496122211 774860800 136285 33554432000 4194304 5787044 140735079897856 18446744073709551615 4334281 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=22232/tid=22237] ppid=22231 vsize=756700 CPUtime=24.87 cores=0,2,4,6
/proc/22232/task/22237/stat : 22237 (priss) R 22231 22231 22103 0 -1 4202560 46331 0 0 0 2479 8 0 0 25 0 5 0 496122219 774860800 136285 33554432000 4194304 5787044 140735079897856 18446744073709551615 4336020 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 100.28
Current children cumulated vsize (KiB) 765400

[startup+51.1005 s]
/proc/loadavg: 7.99 8.04 7.99 9/188 22238
/proc/meminfo: memFree=12614276/32951124 swapFree=67111528/67111528
[pid=22231] ppid=22229 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22231/stat : 22231 (priss.sh) S 22229 22231 22103 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 496122163 8908800 252 33554432000 4194304 4922060 140736340693248 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22231/statm: 2175 252 211 178 0 68 0
[pid=22232] ppid=22231 vsize=977832 CPUtime=202.52 cores=0,2,4,6
/proc/22232/stat : 22232 (priss) S 22231 22231 22103 0 -1 4202496 331202 0 0 0 20180 72 0 0 18 0 5 0 496122163 1001299968 193614 33554432000 4194304 5787044 140735079897856 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/22232/statm: 244458 193614 418 389 0 240208 0
[pid=22232/tid=22234] ppid=22231 vsize=977832 CPUtime=50.61 cores=0,2,4,6
/proc/22232/task/22234/stat : 22234 (priss) R 22231 22231 22103 0 -1 4202560 75459 0 0 0 5045 16 0 0 25 0 5 0 496122197 1001299968 193614 33554432000 4194304 5787044 140735079897856 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=22232/tid=22235] ppid=22231 vsize=977832 CPUtime=50.6 cores=0,2,4,6
/proc/22232/task/22235/stat : 22235 (priss) R 22231 22231 22103 0 -1 4202560 71400 0 0 0 5041 19 0 0 25 0 5 0 496122204 1001299968 193614 33554432000 4194304 5787044 140735079897856 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22232/tid=22236] ppid=22231 vsize=977832 CPUtime=50.26 cores=0,2,4,6
/proc/22232/task/22236/stat : 22236 (priss) R 22231 22231 22103 0 -1 4202560 70726 0 0 0 5007 19 0 0 25 0 5 0 496122211 1001299968 193614 33554432000 4194304 5787044 140735079897856 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=22232/tid=22237] ppid=22231 vsize=977832 CPUtime=50.47 cores=0,2,4,6
/proc/22232/task/22237/stat : 22237 (priss) R 22231 22231 22103 0 -1 4202560 65369 0 0 0 5037 10 0 0 25 0 5 0 496122219 1001299968 193614 33554432000 4194304 5787044 140735079897856 18446744073709551615 5528421 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 202.52
Current children cumulated vsize (KiB) 986532

[startup+102.306 s]
/proc/loadavg: 8.05 8.05 8.00 9/188 22240
/proc/meminfo: memFree=12582224/32951124 swapFree=67111528/67111528
[pid=22231] ppid=22229 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22231/stat : 22231 (priss.sh) S 22229 22231 22103 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 496122163 8908800 252 33554432000 4194304 4922060 140736340693248 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22231/statm: 2175 252 211 178 0 68 0
[pid=22232] ppid=22231 vsize=985784 CPUtime=407.06 cores=0,2,4,6
/proc/22232/stat : 22232 (priss) S 22231 22231 22103 0 -1 4202496 338898 0 0 0 40627 79 0 0 18 0 5 0 496122163 1009442816 201310 33554432000 4194304 5787044 140735079897856 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/22232/statm: 246446 201310 418 389 0 242196 0
[pid=22232/tid=22234] ppid=22231 vsize=985784 CPUtime=101.81 cores=0,2,4,6
/proc/22232/task/22234/stat : 22234 (priss) R 22231 22231 22103 0 -1 4202560 76997 0 0 0 10163 18 0 0 25 0 5 0 496122197 1009442816 201310 33554432000 4194304 5787044 140735079897856 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=22232/tid=22235] ppid=22231 vsize=985784 CPUtime=101.8 cores=0,2,4,6
/proc/22232/task/22235/stat : 22235 (priss) R 22231 22231 22103 0 -1 4202560 73134 0 0 0 10158 22 0 0 25 0 5 0 496122204 1009442816 201310 33554432000 4194304 5787044 140735079897856 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22232/tid=22236] ppid=22231 vsize=985784 CPUtime=101.19 cores=0,2,4,6
/proc/22232/task/22236/stat : 22236 (priss) R 22231 22231 22103 0 -1 4202560 73163 0 0 0 10098 21 0 0 25 0 5 0 496122211 1009442816 201310 33554432000 4194304 5787044 140735079897856 18446744073709551615 4255012 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=22232/tid=22237] ppid=22231 vsize=985784 CPUtime=101.68 cores=0,2,4,6

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

/proc/22232/task/22235/stat : 22235 (priss) R 22231 22231 22103 0 -1 4202560 84463 0 0 0 88136 37 0 0 25 0 5 0 496122204 1301336064 262719 33554432000 4194304 5787044 140735079897856 18446744073709551615 5591289 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22232/tid=22236] ppid=22231 vsize=1270836 CPUtime=876.95 cores=0,2,4,6
/proc/22232/task/22236/stat : 22236 (priss) R 22231 22231 22103 0 -1 4202560 90044 0 0 0 87651 44 0 0 25 0 5 0 496122211 1301336064 262719 33554432000 4194304 5787044 140735079897856 18446744073709551615 5591776 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=22232/tid=22237] ppid=22231 vsize=1270836 CPUtime=881.7 cores=0,2,4,6
/proc/22232/task/22237/stat : 22237 (priss) R 22231 22231 22103 0 -1 4202560 87586 0 0 0 88155 15 0 0 25 0 5 0 496122219 1301336064 262719 33554432000 4194304 5787044 140735079897856 18446744073709551615 5528375 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3522.74
Current children cumulated vsize (KiB) 1279536

[startup+942.301 s]
/proc/loadavg: 8.10 8.10 8.02 10/188 22295
/proc/meminfo: memFree=13043024/32951124 swapFree=67111528/67111528
[pid=22231] ppid=22229 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22231/stat : 22231 (priss.sh) S 22229 22231 22103 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 496122163 8908800 252 33554432000 4194304 4922060 140736340693248 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22231/statm: 2175 252 211 178 0 68 0
[pid=22232] ppid=22231 vsize=1336372 CPUtime=3762.41 cores=0,2,4,6
/proc/22232/stat : 22232 (priss) S 22231 22231 22103 0 -1 4202496 403245 0 0 0 376100 141 0 0 18 0 5 0 496122163 1368444928 265048 33554432000 4194304 5787044 140735079897856 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/22232/statm: 334093 265048 418 389 0 329843 0
[pid=22232/tid=22234] ppid=22231 vsize=1336372 CPUtime=941.8 cores=0,2,4,6
/proc/22232/task/22234/stat : 22234 (priss) R 22231 22231 22103 0 -1 4202560 90598 0 0 0 94143 37 0 0 25 0 5 0 496122197 1368444928 265048 33554432000 4194304 5787044 140735079897856 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=22232/tid=22235] ppid=22231 vsize=1336372 CPUtime=941.72 cores=0,2,4,6
/proc/22232/task/22235/stat : 22235 (priss) R 22231 22231 22103 0 -1 4202560 85717 0 0 0 94135 37 0 0 25 0 5 0 496122204 1368444928 265048 33554432000 4194304 5787044 140735079897856 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22232/tid=22236] ppid=22231 vsize=1336372 CPUtime=936.62 cores=0,2,4,6
/proc/22232/task/22236/stat : 22236 (priss) R 22231 22231 22103 0 -1 4202560 91094 0 0 0 93617 45 0 0 25 0 5 0 496122211 1368444928 265048 33554432000 4194304 5787044 140735079897856 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=22232/tid=22237] ppid=22231 vsize=1336372 CPUtime=941.7 cores=0,2,4,6
/proc/22232/task/22237/stat : 22237 (priss) R 22231 22231 22103 0 -1 4202560 87588 0 0 0 94155 15 0 0 25 0 5 0 496122219 1368444928 265048 33554432000 4194304 5787044 140735079897856 18446744073709551615 5527068 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3762.41
Current children cumulated vsize (KiB) 1345072

[startup+1002.3 s]
/proc/loadavg: 8.03 8.08 8.02 10/188 22297
/proc/meminfo: memFree=12968076/32951124 swapFree=67111528/67111528
[pid=22231] ppid=22229 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22231/stat : 22231 (priss.sh) S 22229 22231 22103 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 496122163 8908800 252 33554432000 4194304 4922060 140736340693248 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22231/statm: 2175 252 211 178 0 68 0
[pid=22232] ppid=22231 vsize=1336372 CPUtime=4002.09 cores=0,2,4,6
/proc/22232/stat : 22232 (priss) S 22231 22231 22103 0 -1 4202496 407620 0 0 0 400060 149 0 0 18 0 5 0 496122163 1368444928 269423 33554432000 4194304 5787044 140735079897856 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/22232/statm: 334093 269423 418 389 0 329843 0
[pid=22232/tid=22234] ppid=22231 vsize=1336372 CPUtime=1001.8 cores=0,2,4,6
/proc/22232/task/22234/stat : 22234 (priss) R 22231 22231 22103 0 -1 4202560 90938 0 0 0 100142 38 0 0 25 0 5 0 496122197 1368444928 269423 33554432000 4194304 5787044 140735079897856 18446744073709551615 5585354 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=22232/tid=22235] ppid=22231 vsize=1336372 CPUtime=1001.72 cores=0,2,4,6
/proc/22232/task/22235/stat : 22235 (priss) R 22231 22231 22103 0 -1 4202560 87341 0 0 0 100133 39 0 0 25 0 5 0 496122204 1368444928 269423 33554432000 4194304 5787044 140735079897856 18446744073709551615 4218754 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22232/tid=22236] ppid=22231 vsize=1336372 CPUtime=996.3 cores=0,2,4,6
/proc/22232/task/22236/stat : 22236 (priss) R 22231 22231 22103 0 -1 4202560 93505 0 0 0 99580 50 0 0 25 0 5 0 496122211 1368444928 269423 33554432000 4194304 5787044 140735079897856 18446744073709551615 5588261 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=22232/tid=22237] ppid=22231 vsize=1336372 CPUtime=1001.7 cores=0,2,4,6
/proc/22232/task/22237/stat : 22237 (priss) R 22231 22231 22103 0 -1 4202560 87588 0 0 0 100155 15 0 0 25 0 5 0 496122219 1368444928 269423 33554432000 4194304 5787044 140735079897856 18446744073709551615 5528446 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4002.09
Current children cumulated vsize (KiB) 1345072

[startup+1062.3 s]
/proc/loadavg: 8.01 8.06 8.01 10/188 22298
/proc/meminfo: memFree=12913584/32951124 swapFree=67111528/67111528
[pid=22231] ppid=22229 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22231/stat : 22231 (priss.sh) S 22229 22231 22103 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 496122163 8908800 252 33554432000 4194304 4922060 140736340693248 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22231/statm: 2175 252 211 178 0 68 0
[pid=22232] ppid=22231 vsize=1336372 CPUtime=4241.76 cores=0,2,4,6
/proc/22232/stat : 22232 (priss) S 22231 22231 22103 0 -1 4202496 414173 0 0 0 424020 156 0 0 18 0 5 0 496122163 1368444928 275976 33554432000 4194304 5787044 140735079897856 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/22232/statm: 334093 275976 418 389 0 329843 0
[pid=22232/tid=22234] ppid=22231 vsize=1336372 CPUtime=1061.79 cores=0,2,4,6
/proc/22232/task/22234/stat : 22234 (priss) R 22231 22231 22103 0 -1 4202560 92665 0 0 0 106139 40 0 0 25 0 5 0 496122197 1368444928 275976 33554432000 4194304 5787044 140735079897856 18446744073709551615 5590442 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=22232/tid=22235] ppid=22231 vsize=1336372 CPUtime=1061.71 cores=0,2,4,6
/proc/22232/task/22235/stat : 22235 (priss) R 22231 22231 22103 0 -1 4202560 88786 0 0 0 106130 41 0 0 25 0 5 0 496122204 1368444928 275976 33554432000 4194304 5787044 140735079897856 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22232/tid=22236] ppid=22231 vsize=1336372 CPUtime=1055.98 cores=0,2,4,6
/proc/22232/task/22236/stat : 22236 (priss) R 22231 22231 22103 0 -1 4202560 96886 0 0 0 105545 53 0 0 25 0 5 0 496122211 1368444928 275976 33554432000 4194304 5787044 140735079897856 18446744073709551615 5591019 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=22232/tid=22237] ppid=22231 vsize=1336372 CPUtime=1061.7 cores=0,2,4,6
/proc/22232/task/22237/stat : 22237 (priss) R 22231 22231 22103 0 -1 4202560 87588 0 0 0 106155 15 0 0 25 0 5 0 496122219 1368444928 275976 33554432000 4194304 5787044 140735079897856 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4241.76
Current children cumulated vsize (KiB) 1345072

[startup+1122.3 s]
/proc/loadavg: 8.00 8.05 8.01 10/188 22300
/proc/meminfo: memFree=12752832/32951124 swapFree=67111528/67111528
[pid=22231] ppid=22229 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22231/stat : 22231 (priss.sh) S 22229 22231 22103 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 496122163 8908800 252 33554432000 4194304 4922060 140736340693248 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22231/statm: 2175 252 211 178 0 68 0
[pid=22232] ppid=22231 vsize=1336372 CPUtime=4481.42 cores=0,2,4,6
/proc/22232/stat : 22232 (priss) S 22231 22231 22103 0 -1 4202496 419032 0 0 0 447980 162 0 0 18 0 5 0 496122163 1368444928 280641 33554432000 4194304 5787044 140735079897856 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/22232/statm: 334093 280641 418 389 0 329843 0
[pid=22232/tid=22234] ppid=22231 vsize=1336372 CPUtime=1121.8 cores=0,2,4,6
/proc/22232/task/22234/stat : 22234 (priss) R 22231 22231 22103 0 -1 4202560 95410 0 0 0 112136 44 0 0 25 0 5 0 496122197 1368444928 280641 33554432000 4194304 5787044 140735079897856 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=22232/tid=22235] ppid=22231 vsize=1336372 CPUtime=1121.71 cores=0,2,4,6
/proc/22232/task/22235/stat : 22235 (priss) R 22231 22231 22103 0 -1 4202560 89788 0 0 0 112129 42 0 0 25 0 5 0 496122204 1368444928 280641 33554432000 4194304 5787044 140735079897856 18446744073709551615 5591197 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22232/tid=22236] ppid=22231 vsize=1336372 CPUtime=1115.65 cores=0,2,4,6
/proc/22232/task/22236/stat : 22236 (priss) R 22231 22231 22103 0 -1 4202560 97998 0 0 0 111511 54 0 0 25 0 5 0 496122211 1368444928 280641 33554432000 4194304 5787044 140735079897856 18446744073709551615 5591676 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=22232/tid=22237] ppid=22231 vsize=1336372 CPUtime=1121.69 cores=0,2,4,6
/proc/22232/task/22237/stat : 22237 (priss) R 22231 22231 22103 0 -1 4202560 87588 0 0 0 112154 15 0 0 25 0 5 0 496122219 1368444928 280641 33554432000 4194304 5787044 140735079897856 18446744073709551615 5527140 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4481.42
Current children cumulated vsize (KiB) 1345072

[startup+1182.3 s]
/proc/loadavg: 8.00 8.04 8.00 10/188 22301
/proc/meminfo: memFree=12746600/32951124 swapFree=67111528/67111528
[pid=22231] ppid=22229 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22231/stat : 22231 (priss.sh) S 22229 22231 22103 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 496122163 8908800 252 33554432000 4194304 4922060 140736340693248 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22231/statm: 2175 252 211 178 0 68 0
[pid=22232] ppid=22231 vsize=1336372 CPUtime=4721.1 cores=0,2,4,6
/proc/22232/stat : 22232 (priss) S 22231 22231 22103 0 -1 4202496 420481 0 0 0 471946 164 0 0 18 0 5 0 496122163 1368444928 281993 33554432000 4194304 5787044 140735079897856 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/22232/statm: 334093 281993 418 389 0 329843 0
[pid=22232/tid=22234] ppid=22231 vsize=1336372 CPUtime=1181.8 cores=0,2,4,6
/proc/22232/task/22234/stat : 22234 (priss) R 22231 22231 22103 0 -1 4202560 96824 0 0 0 118134 46 0 0 25 0 5 0 496122197 1368444928 281993 33554432000 4194304 5787044 140735079897856 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=22232/tid=22235] ppid=22231 vsize=1336372 CPUtime=1181.71 cores=0,2,4,6
/proc/22232/task/22235/stat : 22235 (priss) R 22231 22231 22103 0 -1 4202560 89791 0 0 0 118129 42 0 0 25 0 5 0 496122204 1368444928 281993 33554432000 4194304 5787044 140735079897856 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22232/tid=22236] ppid=22231 vsize=1336372 CPUtime=1175.32 cores=0,2,4,6
/proc/22232/task/22236/stat : 22236 (priss) R 22231 22231 22103 0 -1 4202560 97999 0 0 0 117478 54 0 0 25 0 5 0 496122211 1368444928 281993 33554432000 4194304 5787044 140735079897856 18446744073709551615 5591708 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=22232/tid=22237] ppid=22231 vsize=1336372 CPUtime=1181.7 cores=0,2,4,6
/proc/22232/task/22237/stat : 22237 (priss) R 22231 22231 22103 0 -1 4202560 87619 0 0 0 118155 15 0 0 25 0 5 0 496122219 1368444928 281993 33554432000 4194304 5787044 140735079897856 18446744073709551615 5527568 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4721.1
Current children cumulated vsize (KiB) 1345072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.1 s]
/proc/loadavg: 8.08 8.05 8.01 9/188 22302
/proc/meminfo: memFree=12738780/32951124 swapFree=67111528/67111528
[pid=22231] ppid=22229 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22231/stat : 22231 (priss.sh) S 22229 22231 22103 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 496122163 8908800 252 33554432000 4194304 4922060 140736340693248 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22231/statm: 2175 252 211 178 0 68 0
[pid=22232] ppid=22231 vsize=1336372 CPUtime=4800.21 cores=0,2,4,6
/proc/22232/stat : 22232 (priss) S 22231 22231 22103 0 -1 4202496 420493 0 0 0 479856 165 0 0 18 0 5 0 496122163 1368444928 282005 33554432000 4194304 5787044 140735079897856 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/22232/statm: 334093 282005 418 389 0 329843 0
[pid=22232/tid=22234] ppid=22231 vsize=1336372 CPUtime=1201.61 cores=0,2,4,6
/proc/22232/task/22234/stat : 22234 (priss) R 22231 22231 22103 0 -1 4202560 96824 0 0 0 120115 46 0 0 25 0 5 0 496122197 1368444928 282005 33554432000 4194304 5787044 140735079897856 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=22232/tid=22235] ppid=22231 vsize=1336372 CPUtime=1201.51 cores=0,2,4,6
/proc/22232/task/22235/stat : 22235 (priss) R 22231 22231 22103 0 -1 4202560 89791 0 0 0 120109 42 0 0 25 0 5 0 496122204 1368444928 282005 33554432000 4194304 5787044 140735079897856 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22232/tid=22236] ppid=22231 vsize=1336372 CPUtime=1195.02 cores=0,2,4,6
/proc/22232/task/22236/stat : 22236 (priss) R 22231 22231 22103 0 -1 4202560 97999 0 0 0 119448 54 0 0 25 0 5 0 496122211 1368444928 282005 33554432000 4194304 5787044 140735079897856 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=22232/tid=22237] ppid=22231 vsize=1336372 CPUtime=1201.5 cores=0,2,4,6
/proc/22232/task/22237/stat : 22237 (priss) R 22231 22231 22103 0 -1 4202560 87631 0 0 0 120135 15 0 0 25 0 5 0 496122219 1368444928 282005 33554432000 4194304 5787044 140735079897856 18446744073709551615 5527089 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 1345072

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

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

[startup+1202.1 s]
/proc/loadavg: 8.08 8.05 8.01 9/188 22302
/proc/meminfo: memFree=12738780/32951124 swapFree=67111528/67111528
[pid=22231] ppid=22229 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/22231/stat : 22231 (priss.sh) S 22229 22231 22103 0 -1 4202496 331 0 0 0 0 0 0 0 21 0 1 0 496122163 8908800 252 33554432000 4194304 4922060 140736340693248 18446744073709551615 233510116485 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/22231/statm: 2175 252 211 178 0 68 0
[pid=22232] ppid=22231 vsize=1336372 CPUtime=4800.21 cores=0,2,4,6
/proc/22232/stat : 22232 (priss) S 22231 22231 22103 0 -1 4202496 420493 0 0 0 479856 165 0 0 18 0 5 0 496122163 1368444928 282005 33554432000 4194304 5787044 140735079897856 18446744073709551615 233522121137 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/22232/statm: 334093 282005 418 389 0 329843 0
[pid=22232/tid=22234] ppid=22231 vsize=1336372 CPUtime=1201.61 cores=0,2,4,6
/proc/22232/task/22234/stat : 22234 (priss) R 22231 22231 22103 0 -1 4202560 96824 0 0 0 120115 46 0 0 25 0 5 0 496122197 1368444928 282005 33554432000 4194304 5787044 140735079897856 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=22232/tid=22235] ppid=22231 vsize=1336372 CPUtime=1201.51 cores=0,2,4,6
/proc/22232/task/22235/stat : 22235 (priss) R 22231 22231 22103 0 -1 4202560 89791 0 0 0 120109 42 0 0 25 0 5 0 496122204 1368444928 282005 33554432000 4194304 5787044 140735079897856 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=22232/tid=22236] ppid=22231 vsize=1336372 CPUtime=1195.02 cores=0,2,4,6
/proc/22232/task/22236/stat : 22236 (priss) R 22231 22231 22103 0 -1 4202560 97999 0 0 0 119448 54 0 0 25 0 5 0 496122211 1368444928 282005 33554432000 4194304 5787044 140735079897856 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=22232/tid=22237] ppid=22231 vsize=1336372 CPUtime=1201.5 cores=0,2,4,6
/proc/22232/task/22237/stat : 22237 (priss) R 22231 22231 22103 0 -1 4202560 87631 0 0 0 120135 15 0 0 25 0 5 0 496122219 1368444928 282005 33554432000 4194304 5787044 140735079897856 18446744073709551615 5527089 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 1345072

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22231 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.21
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1202.12
CPU time (s): 4800.21
CPU user time (s): 4798.56
CPU system time (s): 1.65
CPU usage (%): 399.313
Max. virtual memory (cumulated for all children) (KiB): 1345072

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

runsolver used 1.79273 second user time and 4.77827 second system time

The end

Launcher Data 

Begin job on node145 at 2011-04-29 02:31:03
IDJOB=3280327
IDBENCH=20384
IDSOLVER=1603
FILE ID=node145/3280327-1304037062
RUNJOBID= node145-1304036411-22121
PBS_JOBID= 13170354
Free space on /tmp= 72160 MiB

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

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

MD5SUM BENCH= 780d946576ec5746b4ea9832bb01dbc5
RANDOM SEED=1909348242

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13460412 kB
Buffers:       2098108 kB
Cached:       15253084 kB
SwapCached:          0 kB
Active:        6665012 kB
Inactive:     12252340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13460412 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           20800 kB
Writeback:           8 kB
AnonPages:     1565640 kB
Mapped:          15688 kB
Slab:           508728 kB
PageTables:       7884 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1847348 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= 72172 MiB
End job on node145 at 2011-04-29 02:51:07