Trace number 3281338

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.19 1205.32

General information on the benchmark

Nameindustrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
MD5SUM0fbc00fde383cec371bb97d621c5e7e5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark485.526
Satisfiable
(Un)Satisfiability was proved
Number of variables306095
Number of clauses6069108
Sum of the clauses size17675754
Maximum clause length163
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 25745111
Number of clauses of size 366910
Number of clauses of size 44878
Number of clauses of size 518476
Number of clauses of size over 5233732

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: 14727
0.00/0.00	c setup for 4cores
1.99/2.00	c parsetime: 2001359us
1.99/2.00	c parsed 6069108 clauses with 306095 variables
2.39/2.40	c NW started thread 0 successfully (1096591680)
2.39/2.47	c preprocessor returned 306095 variables
2.39/2.47	c preprocessing returned UNKNOWN
2.39/2.47	c PP set 0 variables
2.39/2.47	c pp time: 1us (0s)
3.18/2.85	c NW started thread 1 successfully (1107081536)
3.40/2.92	c preprocessor returned 306095 variables
3.40/2.92	c preprocessing returned UNKNOWN
3.40/2.92	c PP set 0 variables
3.40/2.92	c pp time: 1us (0s)
4.57/3.34	c NW started thread 2 successfully (1117571392)
4.78/3.45	c preprocessor returned 306095 variables
4.78/3.45	c preprocessing returned UNKNOWN
4.78/3.45	c PP set 0 variables
4.78/3.45	c pp time: 1us (0s)
6.12/3.85	c NW started thread 3 successfully (1128061248)
6.47/3.91	c preprocessor returned 306095 variables
6.47/3.91	c preprocessing returned UNKNOWN
6.47/3.91	c PP set 0 variables
6.47/3.91	c pp time: 3us (0s)
363.14/93.31	c HTE
506.75/129.49	c subsumption
506.75/129.49	c simplified formula contains 0 unit clauses
632.90/161.03	c HTE
771.52/195.86	c subsumption
771.52/195.86	c simplified formula contains 0 unit clauses
1117.96/282.69	c HTE
1268.75/320.41	c subsumption
1268.75/320.41	c simplified formula contains 0 unit clauses
1375.37/347.18	c HTE
1486.56/375.02	c subsumption
1486.56/375.02	c simplified formula contains 0 unit clauses
1596.36/402.57	c HTE
1711.36/431.39	c subsumption
1711.36/431.39	c simplified formula contains 0 unit clauses
1816.77/457.77	c HTE
1956.02/492.61	c subsumption
1956.02/492.61	c simplified formula contains 0 unit clauses
2310.04/581.38	c received clause contains eliminated literal -28948
2475.31/622.72	c HTE
2628.48/661.16	c subsumption
2628.48/661.16	c simplified formula contains 0 unit clauses
2685.60/675.47	c HTE
2749.36/691.42	c subsumption
2749.36/691.42	c simplified formula contains 0 unit clauses
2794.50/702.72	c HTE
2847.43/716.04	c subsumption
2847.43/716.04	c simplified formula contains 0 unit clauses
2890.94/726.91	c HTE
2936.30/738.39	c subsumption
2936.30/738.39	c simplified formula contains 0 unit clauses
2971.11/747.13	c HTE
3029.13/761.73	c subsumption
3029.13/761.73	c simplified formula contains 0 unit clauses
3069.46/771.81	c HTE
3116.09/783.51	c subsumption
3116.09/783.51	c simplified formula contains 0 unit clauses
3160.82/794.70	c HTE
3209.52/806.99	c subsumption
3209.52/806.99	c simplified formula contains 0 unit clauses
3249.85/817.01	c received clause contains eliminated literal -74778
3456.22/868.75	c received clause contains eliminated literal -28951
3461.42/870.01	c received clause contains eliminated literal -266290
3622.34/910.33	c HTE
3674.16/923.31	c subsumption
3674.16/923.31	c simplified formula contains 0 unit clauses
3713.71/933.20	c HTE
3761.63/945.20	c subsumption
3761.63/945.20	c simplified formula contains 0 unit clauses
4686.78/1176.96	c received clause contains eliminated literal -111285
4695.56/1179.13	c added unsatisfied clause
4695.56/1179.13	c failed to add network clauses

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3281338-1304039208/watcher-3281338-1304039208 -o /tmp/evaluation-result-3281338-1304039208/solver-3281338-1304039208 -C 4800 -W 1300 -M 15500 HOME/prissAuto.sh HOME HOME/instance-3281338-1304039208.cnf 1882905278 4800 15500 4 

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

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


[startup+0 s]
/proc/loadavg: 4.49 6.80 6.98 1/171 14726
/proc/meminfo: memFree=24630888/32951124 swapFree=67111524/67111528
[pid=14726] ppid=14724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14726/stat : 14726 (prissAuto.sh) S 14724 14726 13269 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 496337528 8908800 252 33554432000 4194304 4922060 140733334705200 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14726/statm: 2175 252 211 178 0 68 0

[startup+0.0822729 s]
/proc/loadavg: 4.49 6.80 6.98 1/171 14726
/proc/meminfo: memFree=24630888/32951124 swapFree=67111524/67111528
[pid=14726] ppid=14724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14726/stat : 14726 (prissAuto.sh) S 14724 14726 13269 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 496337528 8908800 252 33554432000 4194304 4922060 140733334705200 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14726/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.10029 s]
/proc/loadavg: 4.49 6.80 6.98 1/171 14726
/proc/meminfo: memFree=24630888/32951124 swapFree=67111524/67111528
[pid=14726] ppid=14724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14726/stat : 14726 (prissAuto.sh) S 14724 14726 13269 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 496337528 8908800 252 33554432000 4194304 4922060 140733334705200 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14726/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300248 s]
/proc/loadavg: 4.49 6.80 6.98 1/171 14726
/proc/meminfo: memFree=24630888/32951124 swapFree=67111524/67111528
[pid=14726] ppid=14724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14726/stat : 14726 (prissAuto.sh) S 14724 14726 13269 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 496337528 8908800 252 33554432000 4194304 4922060 140733334705200 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14726/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700164 s]
/proc/loadavg: 4.49 6.80 6.98 1/171 14726
/proc/meminfo: memFree=24630888/32951124 swapFree=67111524/67111528
[pid=14726] ppid=14724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14726/stat : 14726 (prissAuto.sh) S 14724 14726 13269 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 496337528 8908800 252 33554432000 4194304 4922060 140733334705200 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14726/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50105 s]
/proc/loadavg: 4.49 6.80 6.98 2/173 14728
/proc/meminfo: memFree=24507872/32951124 swapFree=67111524/67111528
[pid=14726] ppid=14724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14726/stat : 14726 (prissAuto.sh) S 14724 14726 13269 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 496337528 8908800 252 33554432000 4194304 4922060 140733334705200 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14726/statm: 2175 252 211 178 0 68 0
[pid=14727] ppid=14726 vsize=210384 CPUtime=1.49 cores=0,2,4,6
/proc/14727/stat : 14727 (priss) R 14726 14726 13269 0 -1 4202496 53075 0 0 0 140 9 0 0 25 0 1 0 496337528 215433216 45068 33554432000 4194304 5787044 140735406158944 18446744073709551615 212051482000 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/14727/statm: 52596 45068 304 389 0 48346 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 219084

[startup+3.10073 s]
/proc/loadavg: 4.21 6.70 6.95 2/173 14728
/proc/meminfo: memFree=24320260/32951124 swapFree=67111524/67111528
[pid=14726] ppid=14724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14726/stat : 14726 (prissAuto.sh) S 14724 14726 13269 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 496337528 8908800 252 33554432000 4194304 4922060 140733334705200 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14726/statm: 2175 252 211 178 0 68 0
[pid=14727] ppid=14726 vsize=1175820 CPUtime=3.97 cores=0,2,4,6
/proc/14727/stat : 14727 (priss) R 14726 14726 13269 0 -1 4202496 267021 0 0 0 321 76 0 0 18 0 3 0 496337528 1204039680 259014 33554432000 4194304 5787044 140735406158944 18446744073709551615 5517135 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/14727/statm: 293955 259017 356 389 0 289705 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 1184520

[startup+6.30115 s]
/proc/loadavg: 4.21 6.70 6.95 5/177 14732
/proc/meminfo: memFree=22715268/32951124 swapFree=67111524/67111528
[pid=14726] ppid=14724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14726/stat : 14726 (prissAuto.sh) S 14724 14726 13269 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 496337528 8908800 252 33554432000 4194304 4922060 140733334705200 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14726/statm: 2175 252 211 178 0 68 0
[pid=14727] ppid=14726 vsize=2206076 CPUtime=15.9 cores=0,2,4,6
/proc/14727/stat : 14727 (priss) S 14726 14726 13269 0 -1 4202496 486747 0 0 0 1380 210 0 0 18 0 5 0 496337528 2259021824 478736 33554432000 4194304 5787044 140735406158944 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/14727/statm: 551519 478736 403 389 0 547269 0
[pid=14727/tid=14729] ppid=14726 vsize=2206076 CPUtime=3.85 cores=0,2,4,6
/proc/14727/task/14729/stat : 14729 (priss) R 14726 14726 13269 0 -1 4202560 47584 0 0 0 373 12 0 0 20 0 5 0 496337768 2259021824 478736 33554432000 4194304 5787044 140735406158944 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=14727/tid=14730] ppid=14726 vsize=2206076 CPUtime=3.11 cores=0,2,4,6
/proc/14727/task/14730/stat : 14730 (priss) R 14726 14726 13269 0 -1 4202560 43278 0 0 0 307 4 0 0 18 0 5 0 496337813 2259021824 478736 33554432000 4194304 5787044 140735406158944 18446744073709551615 5586878 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14727/tid=14731] ppid=14726 vsize=2206076 CPUtime=2.78 cores=0,2,4,6
/proc/14727/task/14731/stat : 14731 (priss) R 14726 14726 13269 0 -1 4202560 46856 0 0 0 249 29 0 0 18 0 5 0 496337863 2259021824 478736 33554432000 4194304 5787044 140735406158944 18446744073709551615 212039760415 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=14727/tid=14732] ppid=14726 vsize=2206076 CPUtime=2.37 cores=0,2,4,6
/proc/14727/task/14732/stat : 14732 (priss) R 14726 14726 13269 0 -1 4202560 44398 0 0 0 195 42 0 0 18 0 5 0 496337913 2259021824 478736 33554432000 4194304 5787044 140735406158944 18446744073709551615 4254900 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 15.9
Current children cumulated vsize (KiB) 2214776

[startup+12.701 s]
/proc/loadavg: 4.19 6.66 6.93 5/177 14732
/proc/meminfo: memFree=22664300/32951124 swapFree=67111524/67111528
[pid=14726] ppid=14724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14726/stat : 14726 (prissAuto.sh) S 14724 14726 13269 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 496337528 8908800 252 33554432000 4194304 4922060 140733334705200 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14726/statm: 2175 252 211 178 0 68 0
[pid=14727] ppid=14726 vsize=2416152 CPUtime=41.42 cores=0,2,4,6
/proc/14727/stat : 14727 (priss) S 14726 14726 13269 0 -1 4202496 535436 0 0 0 3853 289 0 0 18 0 5 0 496337528 2474139648 518879 33554432000 4194304 5787044 140735406158944 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/14727/statm: 604038 518879 411 389 0 599788 0
[pid=14727/tid=14729] ppid=14726 vsize=2416152 CPUtime=10.25 cores=0,2,4,6
/proc/14727/task/14729/stat : 14729 (priss) R 14726 14726 13269 0 -1 4202560 48030 0 0 0 1012 13 0 0 25 0 5 0 496337768 2474139648 518879 33554432000 4194304 5787044 140735406158944 18446744073709551615 5591526 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=14727/tid=14730] ppid=14726 vsize=2416152 CPUtime=9.49 cores=0,2,4,6
/proc/14727/task/14730/stat : 14730 (priss) R 14726 14726 13269 0 -1 4202560 43947 0 0 0 943 6 0 0 19 0 5 0 496337813 2474139648 518879 33554432000 4194304 5787044 140735406158944 18446744073709551615 5590388 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14727/tid=14731] ppid=14726 vsize=2416152 CPUtime=9.16 cores=0,2,4,6
/proc/14727/task/14731/stat : 14731 (priss) R 14726 14726 13269 0 -1 4202560 47336 0 0 0 886 30 0 0 25 0 5 0 496337863 2474139648 518879 33554432000 4194304 5787044 140735406158944 18446744073709551615 212039760415 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=14727/tid=14732] ppid=14726 vsize=2416152 CPUtime=8.71 cores=0,2,4,6
/proc/14727/task/14732/stat : 14732 (priss) R 14726 14726 13269 0 -1 4202560 91492 0 0 0 754 117 0 0 19 0 5 0 496337913 2474139648 518879 33554432000 4194304 5787044 140735406158944 18446744073709551615 4329923 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 41.42
Current children cumulated vsize (KiB) 2424852

[startup+25.5007 s]
/proc/loadavg: 4.22 6.54 6.89 5/177 14733
/proc/meminfo: memFree=22516604/32951124 swapFree=67111524/67111528
[pid=14726] ppid=14724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14726/stat : 14726 (prissAuto.sh) S 14724 14726 13269 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 496337528 8908800 252 33554432000 4194304 4922060 140733334705200 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14726/statm: 2175 252 211 178 0 68 0
[pid=14727] ppid=14726 vsize=2416152 CPUtime=92.52 cores=0,2,4,6
/proc/14727/stat : 14727 (priss) S 14726 14726 13269 0 -1 4202496 545623 0 0 0 8953 299 0 0 18 0 5 0 496337528 2474139648 528161 33554432000 4194304 5787044 140735406158944 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/14727/statm: 604038 528161 412 389 0 599788 0
[pid=14727/tid=14729] ppid=14726 vsize=2416152 CPUtime=23.05 cores=0,2,4,6
/proc/14727/task/14729/stat : 14729 (priss) R 14726 14726 13269 0 -1 4202560 48100 0 0 0 2291 14 0 0 25 0 5 0 496337768 2474139648 528161 33554432000 4194304 5787044 140735406158944 18446744073709551615 5591236 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=14727/tid=14730] ppid=14726 vsize=2416152 CPUtime=22.28 cores=0,2,4,6
/proc/14727/task/14730/stat : 14730 (priss) R 14726 14726 13269 0 -1 4202560 44941 0 0 0 2218 10 0 0 20 0 5 0 496337813 2474139648 528161 33554432000 4194304 5787044 140735406158944 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14727/tid=14731] ppid=14726 vsize=2416152 CPUtime=21.94 cores=0,2,4,6
/proc/14727/task/14731/stat : 14731 (priss) R 14726 14726 13269 0 -1 4202560 48755 0 0 0 2161 33 0 0 25 0 5 0 496337863 2474139648 528161 33554432000 4194304 5787044 140735406158944 18446744073709551615 5590420 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=14727/tid=14732] ppid=14726 vsize=2416152 CPUtime=21.45 cores=0,2,4,6
/proc/14727/task/14732/stat : 14732 (priss) R 14726 14726 13269 0 -1 4202560 99196 0 0 0 2026 119 0 0 25 0 5 0 496337913 2474139648 528161 33554432000 4194304 5787044 140735406158944 18446744073709551615 4330484 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 92.52
Current children cumulated vsize (KiB) 2424852

[startup+51.1011 s]
/proc/loadavg: 4.14 6.34 6.81 5/177 14733
/proc/meminfo: memFree=22511184/32951124 swapFree=67111524/67111528
[pid=14726] ppid=14724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14726/stat : 14726 (prissAuto.sh) S 14724 14726 13269 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 496337528 8908800 252 33554432000 4194304 4922060 140733334705200 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14726/statm: 2175 252 211 178 0 68 0
[pid=14727] ppid=14726 vsize=2481688 CPUtime=194.69 cores=0,2,4,6
/proc/14727/stat : 14727 (priss) S 14726 14726 13269 0 -1 4202496 548036 0 0 0 19160 309 0 0 18 0 5 0 496337528 2541248512 529356 33554432000 4194304 5787044 140735406158944 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/14727/statm: 620422 529356 412 389 0 616172 0
[pid=14727/tid=14729] ppid=14726 vsize=2481688 CPUtime=48.65 cores=0,2,4,6
/proc/14727/task/14729/stat : 14729 (priss) R 14726 14726 13269 0 -1 4202560 48105 0 0 0 4850 15 0 0 25 0 5 0 496337768 2541248512 529356 33554432000 4194304 5787044 140735406158944 18446744073709551615 5586769 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=14727/tid=14730] ppid=14726 vsize=2481688 CPUtime=47.81 cores=0,2,4,6
/proc/14727/task/14730/stat : 14730 (priss) R 14726 14726 13269 0 -1 4202560 46030 0 0 0 4766 15 0 0 25 0 5 0 496337813 2541248512 529356 33554432000 4194304 5787044 140735406158944 18446744073709551615 212039760415 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14727/tid=14731] ppid=14726 vsize=2481688 CPUtime=47.5 cores=0,2,4,6
/proc/14727/task/14731/stat : 14731 (priss) R 14726 14726 13269 0 -1 4202560 50074 0 0 0 4713 37 0 0 25 0 5 0 496337863 2541248512 529356 33554432000 4194304 5787044 140735406158944 18446744073709551615 212039760415 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=14727/tid=14732] ppid=14726 vsize=2481688 CPUtime=46.92 cores=0,2,4,6
/proc/14727/task/14732/stat : 14732 (priss) R 14726 14726 13269 0 -1 4202560 99196 0 0 0 4573 119 0 0 25 0 5 0 496337913 2541248512 529356 33554432000 4194304 5787044 140735406158944 18446744073709551615 4330532 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 194.69
Current children cumulated vsize (KiB) 2490388

[startup+102.307 s]
/proc/loadavg: 4.10 5.96 6.65 5/177 14735
/proc/meminfo: memFree=22471492/32951124 swapFree=67111524/67111528
[pid=14726] ppid=14724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14726/stat : 14726 (prissAuto.sh) S 14724 14726 13269 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 496337528 8908800 252 33554432000 4194304 4922060 140733334705200 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14726/statm: 2175 252 211 178 0 68 0
[pid=14727] ppid=14726 vsize=2519272 CPUtime=399.1 cores=0,2,4,6
/proc/14727/stat : 14727 (priss) S 14726 14726 13269 0 -1 4202496 580468 0 0 0 39584 326 0 0 18 0 5 0 496337528 2579734528 539614 33554432000 4194304 5787044 140735406158944 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/14727/statm: 629818 539614 412 389 0 625568 0
[pid=14727/tid=14729] ppid=14726 vsize=2519272 CPUtime=99.85 cores=0,2,4,6
/proc/14727/task/14729/stat : 14729 (priss) R 14726 14726 13269 0 -1 4202560 50716 0 0 0 9968 17 0 0 25 0 5 0 496337768 2579734528 539614 33554432000 4194304 5787044 140735406158944 18446744073709551615 5590420 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=14727/tid=14730] ppid=14726 vsize=2519272 CPUtime=98.81 cores=0,2,4,6
/proc/14727/task/14730/stat : 14730 (priss) R 14726 14726 13269 0 -1 4202560 49622 0 0 0 9856 25 0 0 25 0 5 0 496337813 2579734528 539614 33554432000 4194304 5787044 140735406158944 18446744073709551615 4238583 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=14727/tid=14731] ppid=14726 vsize=2519272 CPUtime=98.64 cores=0,2,4,6
/proc/14727/task/14731/stat : 14731 (priss) R 14726 14726 13269 0 -1 4202560 50707 0 0 0 9826 38 0 0 25 0 5 0 496337863 2579734528 539614 33554432000 4194304 5787044 140735406158944 18446744073709551615 4254912 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=14727/tid=14732] ppid=14726 vsize=2519272 CPUtime=97.99 cores=0,2,4,6
/proc/14727/task/14732/stat : 14732 (priss) R 14726 14726 13269 0 -1 4202560 124792 0 0 0 9676 123 0 0 25 0 5 0 496337913 2579734528 539614 33554432000 4194304 5787044 140735406158944 18446744073709551615 4330563 0 0 4096 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 399.1
Current children cumulated vsize (KiB) 2527972

[startup+162.301 s]
/proc/loadavg: 3.97 5.61 6.49 5/177 14736
/proc/meminfo: memFree=22094228/32951124 swapFree=67111524/67111528
[pid=14726] ppid=14724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14726/stat : 14726 (prissAuto.sh) S 14724 14726 13269 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 496337528 8908800 252 33554432000 4194304 4922060 140733334705200 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14726/statm: 2175 252 211 178 0 68 0
[pid=14727] ppid=14726 vsize=2875972 CPUtime=638.09 cores=0,2,4,6
/proc/14727/stat : 14727 (priss) S 14726 14726 13269 0 -1 4202496 710306 0 0 0 63206 603 0 0 18 0 5 0 496337528 2944995328 633539 33554432000 4194304 5787044 140735406158944 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/14727/statm: 718993 633539 415 389 0 714743 0
[pid=14727/tid=14729] ppid=14726 vsize=2875972 CPUtime=159.86 cores=0,2,4,6
/proc/14727/task/14729/stat : 14729 (priss) R 14726 14726 13269 0 -1 4202560 53300 0 0 0 15965 21 0 0 25 0 5 0 496337768 2944995328 633539 33554432000 4194304 5787044 140735406158944 18446744073709551615 4254813 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=14727/tid=14730] ppid=14726 vsize=2875972 CPUtime=158.17 cores=0,2,4,6

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

/proc/14727/task/14730/stat : 14730 (priss) R 14726 14726 13269 0 -1 4202560 52317 0 0 0 87596 53 0 0 18 0 5 0 496337813 3686834176 819276 33554432000 4194304 5787044 140735406158944 18446744073709551615 4220341 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=14727/tid=14731] ppid=14726 vsize=3600424 CPUtime=873.89 cores=0,2,4,6
/proc/14727/task/14731/stat : 14731 (priss) R 14726 14726 13269 0 -1 4202560 57463 0 0 0 87327 62 0 0 25 0 5 0 496337863 3686834176 819276 33554432000 4194304 5787044 140735406158944 18446744073709551615 5591543 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14727/tid=14732] ppid=14726 vsize=3600424 CPUtime=877 cores=0,2,4,6
/proc/14727/task/14732/stat : 14732 (priss) R 14726 14726 13269 0 -1 4202560 540411 0 0 0 86913 787 0 0 25 0 5 0 496337913 3686834176 819276 33554432000 4194304 5787044 140735406158944 18446744073709551615 4254552 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3510.51
Current children cumulated vsize (KiB) 3609124

[startup+942.301 s]
/proc/loadavg: 4.01 4.14 5.08 5/177 14757
/proc/meminfo: memFree=21293112/32951124 swapFree=67111524/67111528
[pid=14726] ppid=14724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14726/stat : 14726 (prissAuto.sh) S 14724 14726 13269 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 496337528 8908800 252 33554432000 4194304 4922060 140733334705200 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14726/statm: 2175 252 211 178 0 68 0
[pid=14727] ppid=14726 vsize=3629088 CPUtime=3750.05 cores=0,2,4,6
/proc/14727/stat : 14727 (priss) S 14726 14726 13269 0 -1 4202496 1024956 0 0 0 373917 1088 0 0 18 0 5 0 496337528 3716186112 833531 33554432000 4194304 5787044 140735406158944 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/14727/statm: 907272 833531 415 389 0 903022 0
[pid=14727/tid=14729] ppid=14726 vsize=3629088 CPUtime=939.32 cores=0,2,4,6
/proc/14727/task/14729/stat : 14729 (priss) R 14726 14726 13269 0 -1 4202560 55882 0 0 0 93888 44 0 0 25 0 5 0 496337768 3716186112 833531 33554432000 4194304 5787044 140735406158944 18446744073709551615 5590400 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=14727/tid=14730] ppid=14726 vsize=3629088 CPUtime=936.35 cores=0,2,4,6
/proc/14727/task/14730/stat : 14730 (priss) R 14726 14726 13269 0 -1 4202560 52363 0 0 0 93580 55 0 0 25 0 5 0 496337813 3716186112 833531 33554432000 4194304 5787044 140735406158944 18446744073709551615 4254900 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=14727/tid=14731] ppid=14726 vsize=3629088 CPUtime=933.88 cores=0,2,4,6
/proc/14727/task/14731/stat : 14731 (priss) R 14726 14726 13269 0 -1 4202560 57463 0 0 0 93325 63 0 0 25 0 5 0 496337863 3716186112 833531 33554432000 4194304 5787044 140735406158944 18446744073709551615 5586769 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14727/tid=14732] ppid=14726 vsize=3629088 CPUtime=936.71 cores=0,2,4,6
/proc/14727/task/14732/stat : 14732 (priss) R 14726 14726 13269 0 -1 4202560 554617 0 0 0 92868 803 0 0 25 0 5 0 496337913 3716186112 833531 33554432000 4194304 5787044 140735406158944 18446744073709551615 4302169 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3750.05
Current children cumulated vsize (KiB) 3637788

[startup+1002.3 s]
/proc/loadavg: 4.00 4.11 5.00 5/177 14759
/proc/meminfo: memFree=21292968/32951124 swapFree=67111524/67111528
[pid=14726] ppid=14724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14726/stat : 14726 (prissAuto.sh) S 14724 14726 13269 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 496337528 8908800 252 33554432000 4194304 4922060 140733334705200 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14726/statm: 2175 252 211 178 0 68 0
[pid=14727] ppid=14726 vsize=3629088 CPUtime=3989.63 cores=0,2,4,6
/proc/14727/stat : 14727 (priss) S 14726 14726 13269 0 -1 4202496 1024968 0 0 0 397866 1097 0 0 18 0 5 0 496337528 3716186112 833543 33554432000 4194304 5787044 140735406158944 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/14727/statm: 907272 833543 415 389 0 903022 0
[pid=14727/tid=14729] ppid=14726 vsize=3629088 CPUtime=999.32 cores=0,2,4,6
/proc/14727/task/14729/stat : 14729 (priss) R 14726 14726 13269 0 -1 4202560 55894 0 0 0 99886 46 0 0 25 0 5 0 496337768 3716186112 833543 33554432000 4194304 5787044 140735406158944 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=14727/tid=14730] ppid=14726 vsize=3629088 CPUtime=996.31 cores=0,2,4,6
/proc/14727/task/14730/stat : 14730 (priss) R 14726 14726 13269 0 -1 4202560 52363 0 0 0 99573 58 0 0 19 0 5 0 496337813 3716186112 833543 33554432000 4194304 5787044 140735406158944 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 4 0 0 0
[pid=14727/tid=14731] ppid=14726 vsize=3629088 CPUtime=993.86 cores=0,2,4,6
/proc/14727/task/14731/stat : 14731 (priss) R 14726 14726 13269 0 -1 4202560 57463 0 0 0 99321 65 0 0 25 0 5 0 496337863 3716186112 833543 33554432000 4194304 5787044 140735406158944 18446744073709551615 5590546 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14727/tid=14732] ppid=14726 vsize=3629088 CPUtime=996.35 cores=0,2,4,6
/proc/14727/task/14732/stat : 14732 (priss) R 14726 14726 13269 0 -1 4202560 554617 0 0 0 98829 806 0 0 25 0 5 0 496337913 3716186112 833543 33554432000 4194304 5787044 140735406158944 18446744073709551615 5526895 0 0 4096 0 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3989.63
Current children cumulated vsize (KiB) 3637788

[startup+1062.3 s]
/proc/loadavg: 4.04 4.11 4.95 5/177 14760
/proc/meminfo: memFree=21293076/32951124 swapFree=67111524/67111528
[pid=14726] ppid=14724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14726/stat : 14726 (prissAuto.sh) S 14724 14726 13269 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 496337528 8908800 252 33554432000 4194304 4922060 140733334705200 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14726/statm: 2175 252 211 178 0 68 0
[pid=14727] ppid=14726 vsize=3629088 CPUtime=4229.17 cores=0,2,4,6
/proc/14727/stat : 14727 (priss) S 14726 14726 13269 0 -1 4202496 1024968 0 0 0 421815 1102 0 0 18 0 5 0 496337528 3716186112 833543 33554432000 4194304 5787044 140735406158944 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/14727/statm: 907272 833543 415 389 0 903022 0
[pid=14727/tid=14729] ppid=14726 vsize=3629088 CPUtime=1059.31 cores=0,2,4,6
/proc/14727/task/14729/stat : 14729 (priss) R 14726 14726 13269 0 -1 4202560 55894 0 0 0 105884 47 0 0 25 0 5 0 496337768 3716186112 833543 33554432000 4194304 5787044 140735406158944 18446744073709551615 5590788 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=14727/tid=14730] ppid=14726 vsize=3629088 CPUtime=1056.14 cores=0,2,4,6
/proc/14727/task/14730/stat : 14730 (priss) R 14726 14726 13269 0 -1 4202560 52363 0 0 0 105555 59 0 0 25 0 5 0 496337813 3716186112 833543 33554432000 4194304 5787044 140735406158944 18446744073709551615 5591088 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=14727/tid=14731] ppid=14726 vsize=3629088 CPUtime=1053.82 cores=0,2,4,6
/proc/14727/task/14731/stat : 14731 (priss) R 14726 14726 13269 0 -1 4202560 57463 0 0 0 105316 66 0 0 25 0 5 0 496337863 3716186112 833543 33554432000 4194304 5787044 140735406158944 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14727/tid=14732] ppid=14726 vsize=3629088 CPUtime=1056.09 cores=0,2,4,6
/proc/14727/task/14732/stat : 14732 (priss) R 14726 14726 13269 0 -1 4202560 554617 0 0 0 104802 807 0 0 25 0 5 0 496337913 3716186112 833543 33554432000 4194304 5787044 140735406158944 18446744073709551615 5526823 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4229.17
Current children cumulated vsize (KiB) 3637788

[startup+1122.3 s]
/proc/loadavg: 4.10 4.11 4.89 5/177 14765
/proc/meminfo: memFree=21292296/32951124 swapFree=67111524/67111528
[pid=14726] ppid=14724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14726/stat : 14726 (prissAuto.sh) S 14724 14726 13269 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 496337528 8908800 252 33554432000 4194304 4922060 140733334705200 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14726/statm: 2175 252 211 178 0 68 0
[pid=14727] ppid=14726 vsize=3629088 CPUtime=4468.74 cores=0,2,4,6
/proc/14727/stat : 14727 (priss) S 14726 14726 13269 0 -1 4202496 1024973 0 0 0 445764 1110 0 0 18 0 5 0 496337528 3716186112 833548 33554432000 4194304 5787044 140735406158944 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/14727/statm: 907272 833548 415 389 0 903022 0
[pid=14727/tid=14729] ppid=14726 vsize=3629088 CPUtime=1119.31 cores=0,2,4,6
/proc/14727/task/14729/stat : 14729 (priss) R 14726 14726 13269 0 -1 4202560 55895 0 0 0 111882 49 0 0 25 0 5 0 496337768 3716186112 833548 33554432000 4194304 5787044 140735406158944 18446744073709551615 5591019 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=14727/tid=14730] ppid=14726 vsize=3629088 CPUtime=1115.8 cores=0,2,4,6
/proc/14727/task/14730/stat : 14730 (priss) R 14726 14726 13269 0 -1 4202560 52366 0 0 0 111519 61 0 0 25 0 5 0 496337813 3716186112 833548 33554432000 4194304 5787044 140735406158944 18446744073709551615 5592744 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=14727/tid=14731] ppid=14726 vsize=3629088 CPUtime=1113.78 cores=0,2,4,6
/proc/14727/task/14731/stat : 14731 (priss) R 14726 14726 13269 0 -1 4202560 57463 0 0 0 111310 68 0 0 25 0 5 0 496337863 3716186112 833548 33554432000 4194304 5787044 140735406158944 18446744073709551615 5590751 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14727/tid=14732] ppid=14726 vsize=3629088 CPUtime=1116.04 cores=0,2,4,6
/proc/14727/task/14732/stat : 14732 (priss) R 14726 14726 13269 0 -1 4202560 554618 0 0 0 110795 809 0 0 25 0 5 0 496337913 3716186112 833548 33554432000 4194304 5787044 140735406158944 18446744073709551615 5526823 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4468.74
Current children cumulated vsize (KiB) 3637788

[startup+1182.3 s]
/proc/loadavg: 4.07 4.11 4.84 5/177 14766
/proc/meminfo: memFree=21292412/32951124 swapFree=67111524/67111528
[pid=14726] ppid=14724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14726/stat : 14726 (prissAuto.sh) S 14724 14726 13269 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 496337528 8908800 252 33554432000 4194304 4922060 140733334705200 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14726/statm: 2175 252 211 178 0 68 0
[pid=14727] ppid=14726 vsize=3629088 CPUtime=4708.33 cores=0,2,4,6
/proc/14727/stat : 14727 (priss) S 14726 14726 13269 0 -1 4202496 1024993 0 0 0 469717 1116 0 0 18 0 5 0 496337528 3716186112 833568 33554432000 4194304 5787044 140735406158944 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/14727/statm: 907272 833568 415 389 0 903022 0
[pid=14727/tid=14729] ppid=14726 vsize=3629088 CPUtime=1179.31 cores=0,2,4,6
/proc/14727/task/14729/stat : 14729 (priss) R 14726 14726 13269 0 -1 4202560 55904 0 0 0 117881 50 0 0 25 0 5 0 496337768 3716186112 833568 33554432000 4194304 5787044 140735406158944 18446744073709551615 5591768 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=14727/tid=14730] ppid=14726 vsize=3629088 CPUtime=1175.45 cores=0,2,4,6
/proc/14727/task/14730/stat : 14730 (priss) R 14726 14726 13269 0 -1 4202560 52377 0 0 0 117483 62 0 0 25 0 5 0 496337813 3716186112 833568 33554432000 4194304 5787044 140735406158944 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=14727/tid=14731] ppid=14726 vsize=3629088 CPUtime=1173.76 cores=0,2,4,6
/proc/14727/task/14731/stat : 14731 (priss) R 14726 14726 13269 0 -1 4202560 57463 0 0 0 117306 70 0 0 25 0 5 0 496337863 3716186112 833568 33554432000 4194304 5787044 140735406158944 18446744073709551615 5592068 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14727/tid=14732] ppid=14726 vsize=3629088 CPUtime=1176.01 cores=0,2,4,6
/proc/14727/task/14732/stat : 14732 (priss) R 14726 14726 13269 0 -1 4202560 554618 0 0 0 116790 811 0 0 25 0 5 0 496337913 3716186112 833568 33554432000 4194304 5787044 140735406158944 18446744073709551615 5529724 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4708.33
Current children cumulated vsize (KiB) 3637788



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1205.3 s]
/proc/loadavg: 4.11 4.11 4.82 5/177 14767
/proc/meminfo: memFree=21292408/32951124 swapFree=67111524/67111528
[pid=14726] ppid=14724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14726/stat : 14726 (prissAuto.sh) S 14724 14726 13269 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 496337528 8908800 252 33554432000 4194304 4922060 140733334705200 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14726/statm: 2175 252 211 178 0 68 0
[pid=14727] ppid=14726 vsize=3629088 CPUtime=4800.19 cores=0,2,4,6
/proc/14727/stat : 14727 (priss) S 14726 14726 13269 0 -1 4202496 1024995 0 0 0 478902 1117 0 0 18 0 5 0 496337528 3716186112 833570 33554432000 4194304 5787044 140735406158944 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/14727/statm: 907272 833570 415 389 0 903022 0
[pid=14727/tid=14729] ppid=14726 vsize=3629088 CPUtime=1202.32 cores=0,2,4,6
/proc/14727/task/14729/stat : 14729 (priss) R 14726 14726 13269 0 -1 4202560 55904 0 0 0 120181 51 0 0 25 0 5 0 496337768 3716186112 833570 33554432000 4194304 5787044 140735406158944 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=14727/tid=14730] ppid=14726 vsize=3629088 CPUtime=1198.32 cores=0,2,4,6
/proc/14727/task/14730/stat : 14730 (priss) R 14726 14726 13269 0 -1 4202560 52378 0 0 0 119770 62 0 0 25 0 5 0 496337813 3716186112 833570 33554432000 4194304 5787044 140735406158944 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=14727/tid=14731] ppid=14726 vsize=3629088 CPUtime=1196.75 cores=0,2,4,6
/proc/14727/task/14731/stat : 14731 (priss) R 14726 14726 13269 0 -1 4202560 57464 0 0 0 119605 70 0 0 25 0 5 0 496337863 3716186112 833570 33554432000 4194304 5787044 140735406158944 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14727/tid=14732] ppid=14726 vsize=3629088 CPUtime=1199 cores=0,2,4,6
/proc/14727/task/14732/stat : 14732 (priss) R 14726 14726 13269 0 -1 4202560 554618 0 0 0 119089 811 0 0 19 0 5 0 496337913 3716186112 833570 33554432000 4194304 5787044 140735406158944 18446744073709551615 5534201 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 3637788

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

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

[startup+1205.3 s]
/proc/loadavg: 4.11 4.11 4.82 5/177 14767
/proc/meminfo: memFree=21292408/32951124 swapFree=67111524/67111528
[pid=14726] ppid=14724 vsize=8700 CPUtime=0 cores=0,2,4,6
/proc/14726/stat : 14726 (prissAuto.sh) S 14724 14726 13269 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 496337528 8908800 252 33554432000 4194304 4922060 140733334705200 18446744073709551615 212039474309 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0
/proc/14726/statm: 2175 252 211 178 0 68 0
[pid=14727] ppid=14726 vsize=3629088 CPUtime=4800.19 cores=0,2,4,6
/proc/14727/stat : 14727 (priss) S 14726 14726 13269 0 -1 4202496 1024995 0 0 0 478902 1117 0 0 18 0 5 0 496337528 3716186112 833570 33554432000 4194304 5787044 140735406158944 18446744073709551615 212051478961 0 0 4096 0 18446744073709551615 0 0 17 6 0 0 0
/proc/14727/statm: 907272 833570 415 389 0 903022 0
[pid=14727/tid=14729] ppid=14726 vsize=3629088 CPUtime=1202.32 cores=0,2,4,6
/proc/14727/task/14729/stat : 14729 (priss) R 14726 14726 13269 0 -1 4202560 55904 0 0 0 120181 51 0 0 25 0 5 0 496337768 3716186112 833570 33554432000 4194304 5787044 140735406158944 18446744073709551615 5591095 0 0 4096 0 0 0 0 -1 0 0 0 0
[pid=14727/tid=14730] ppid=14726 vsize=3629088 CPUtime=1198.32 cores=0,2,4,6
/proc/14727/task/14730/stat : 14730 (priss) R 14726 14726 13269 0 -1 4202560 52378 0 0 0 119770 62 0 0 25 0 5 0 496337813 3716186112 833570 33554432000 4194304 5787044 140735406158944 18446744073709551615 5591649 0 0 4096 0 0 0 0 -1 6 0 0 0
[pid=14727/tid=14731] ppid=14726 vsize=3629088 CPUtime=1196.75 cores=0,2,4,6
/proc/14727/task/14731/stat : 14731 (priss) R 14726 14726 13269 0 -1 4202560 57464 0 0 0 119605 70 0 0 25 0 5 0 496337863 3716186112 833570 33554432000 4194304 5787044 140735406158944 18446744073709551615 5591284 0 0 4096 0 0 0 0 -1 2 0 0 0
[pid=14727/tid=14732] ppid=14726 vsize=3629088 CPUtime=1199 cores=0,2,4,6
/proc/14727/task/14732/stat : 14732 (priss) R 14726 14726 13269 0 -1 4202560 554618 0 0 0 119089 811 0 0 19 0 5 0 496337913 3716186112 833570 33554432000 4194304 5787044 140735406158944 18446744073709551615 5534201 0 0 4096 0 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 3637788

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1205.32
CPU time (s): 4800.19
CPU user time (s): 4789.02
CPU system time (s): 11.17
CPU usage (%): 398.251
Max. virtual memory (cumulated for all children) (KiB): 3674660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
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= 333
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 2.16167 second user time and 4.22136 second system time

The end

Launcher Data 

Begin job on node146 at 2011-04-29 03:06:53
IDJOB=3281338
IDBENCH=20580
IDSOLVER=1602
FILE ID=node146/3281338-1304039208
RUNJOBID= node146-1304037954-14576
PBS_JOBID= 13170306
Free space on /tmp= 72868 MiB

SOLVER NAME= priss Auto
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq7.cnf
COMMAND LINE= DIR/prissAuto.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3281338-1304039208/watcher-3281338-1304039208 -o /tmp/evaluation-result-3281338-1304039208/solver-3281338-1304039208 -C 4800 -W 1300 -M 15500  HOME/prissAuto.sh HOME HOME/instance-3281338-1304039208.cnf 1882905278 4800 15500 4

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

MD5SUM BENCH= 0fbc00fde383cec371bb97d621c5e7e5
RANDOM SEED=1882905278

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24630920 kB
Buffers:       1636044 kB
Cached:        6101548 kB
SwapCached:          4 kB
Active:        1393096 kB
Inactive:      6407516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24630920 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:          133384 kB
Writeback:           0 kB
AnonPages:       62940 kB
Mapped:          14488 kB
Slab:           454276 kB
PageTables:       4336 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   182904 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= 72864 MiB
End job on node146 at 2011-04-29 03:27:00